Trace number 3715119

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 633.227 634.007

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MD5SUMa9c1b78c2cafd61259a4392acdb09fa2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark0.020996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c run usual solver
0.00/0.06	o 2064
0.00/0.06	c fallback to adder encoding
1.37/1.49	o 2063
1.37/1.49	c fallback to adder encoding
5.26/5.46	o 2048
5.26/5.46	c fallback to adder encoding
7.07/7.36	o 2045
7.07/7.36	c fallback to adder encoding
11.08/11.38	o 2042
11.08/11.38	c fallback to adder encoding
13.39/13.65	o 2023
13.39/13.65	c fallback to adder encoding
17.29/17.58	o 1894
17.29/17.58	c fallback to adder encoding
20.60/20.86	o 1888
20.60/20.86	c fallback to adder encoding
24.77/25.02	o 1879
24.77/25.02	c fallback to adder encoding
26.10/26.37	o 1878
26.10/26.37	c fallback to adder encoding
28.60/28.87	o 1877
28.60/28.87	c fallback to adder encoding
33.80/34.09	o 1876
33.80/34.09	c fallback to adder encoding
37.59/37.87	o 1841
37.59/37.87	c fallback to adder encoding
41.74/42.00	o 1840
41.74/42.00	c fallback to adder encoding
45.36/45.69	o 1837
45.36/45.69	c fallback to adder encoding
48.25/48.59	o 1834
48.25/48.59	c fallback to adder encoding
51.95/52.28	o 1833
51.95/52.28	c fallback to adder encoding
54.65/54.98	o 1826
54.65/54.98	c fallback to adder encoding
59.55/59.85	o 1817
59.55/59.85	c fallback to adder encoding
63.75/64.00	o 1816
63.75/64.00	c fallback to adder encoding
67.72/68.00	o 1809
67.72/68.00	c fallback to adder encoding
71.85/72.13	o 1800
71.85/72.13	c fallback to adder encoding
76.55/76.85	o 1799
76.55/76.85	c fallback to adder encoding
79.33/79.62	o 1798
79.33/79.62	c fallback to adder encoding
84.54/84.86	o 1797
84.54/84.86	c fallback to adder encoding
87.53/87.81	o 1793
87.53/87.81	c fallback to adder encoding
92.04/92.33	o 1792
92.04/92.33	c fallback to adder encoding
95.33/95.64	o 1791
95.33/95.64	c fallback to adder encoding
96.93/97.29	o 1782
96.93/97.29	c fallback to adder encoding
98.73/99.09	o 1781
98.73/99.09	c fallback to adder encoding
103.44/103.77	o 1770
103.44/103.77	c fallback to adder encoding
106.13/106.48	o 1738
106.13/106.48	c fallback to adder encoding
108.54/108.86	o 1729
108.54/108.86	c fallback to adder encoding
110.91/111.29	o 1728
110.91/111.29	c fallback to adder encoding
114.23/114.54	o 1724
114.23/114.54	c fallback to adder encoding
117.09/117.47	o 1715
117.09/117.47	c fallback to adder encoding
119.50/119.89	o 1713
119.50/119.89	c fallback to adder encoding
122.19/122.51	o 1709
122.19/122.51	c fallback to adder encoding
125.50/125.82	o 1705
125.50/125.82	c fallback to adder encoding
129.11/129.48	o 1698
129.11/129.48	c fallback to adder encoding
133.39/133.76	o 1693
133.39/133.76	c fallback to adder encoding
137.01/137.30	o 1689
137.01/137.30	c fallback to adder encoding
141.00/141.34	o 1680
141.00/141.34	c fallback to adder encoding
145.07/145.42	o 1675
145.07/145.42	c fallback to adder encoding
149.09/149.40	o 1626
149.09/149.40	c fallback to adder encoding
151.38/151.72	o 1616
151.38/151.72	c fallback to adder encoding
155.88/156.26	o 1610
155.88/156.26	c fallback to adder encoding
159.87/160.28	o 1560
159.87/160.28	c fallback to adder encoding
161.28/161.64	o 1556
161.28/161.64	c fallback to adder encoding
163.78/164.18	o 1543
163.78/164.18	c fallback to adder encoding
168.47/168.83	o 1536
168.47/168.83	c fallback to adder encoding
170.87/171.23	o 1534
170.87/171.23	c fallback to adder encoding
172.56/172.94	o 1523
172.56/172.94	c fallback to adder encoding
175.77/176.17	o 1515
175.77/176.17	c fallback to adder encoding
178.87/179.25	o 1504
178.87/179.25	c fallback to adder encoding
181.07/181.47	o 1485
181.07/181.47	c fallback to adder encoding
185.47/185.84	o 1481
185.47/185.84	c fallback to adder encoding
189.06/189.49	o 1473
189.06/189.49	c fallback to adder encoding
192.34/192.71	o 1464
192.34/192.71	c fallback to adder encoding
195.66/196.05	o 1461
195.66/196.05	c fallback to adder encoding
198.56/199.00	o 1447
198.56/199.00	c fallback to adder encoding
201.45/201.81	o 1446
201.45/201.81	c fallback to adder encoding
204.95/205.36	o 1442
204.95/205.36	c fallback to adder encoding
208.46/208.87	o 1437
208.46/208.87	c fallback to adder encoding
212.86/213.20	o 1432
212.86/213.20	c fallback to adder encoding
215.86/216.23	o 1429
215.86/216.23	c fallback to adder encoding
218.16/218.54	o 1426
218.16/218.54	c fallback to adder encoding
220.05/220.48	o 1419
220.05/220.48	c fallback to adder encoding
223.86/224.29	o 1418
223.86/224.29	c fallback to adder encoding
229.95/230.32	o 1411
229.95/230.32	c fallback to adder encoding
232.26/232.64	o 1400
232.26/232.64	c fallback to adder encoding
235.95/236.34	o 1396
235.95/236.34	c fallback to adder encoding
241.14/241.57	o 1394
241.14/241.57	c fallback to adder encoding
244.83/245.26	o 1393
244.83/245.26	c fallback to adder encoding
248.81/249.22	o 1391
248.81/249.22	c fallback to adder encoding
250.51/250.92	o 1385
250.51/250.92	c fallback to adder encoding
254.52/254.98	o 1384
254.52/254.98	c fallback to adder encoding
257.83/258.23	o 1382
257.83/258.23	c fallback to adder encoding
261.42/261.89	o 1381
261.42/261.89	c fallback to adder encoding
265.72/266.13	o 1380
265.72/266.13	c fallback to adder encoding
268.59/269.01	o 1378
268.59/269.01	c fallback to adder encoding
271.22/271.63	o 1367
271.22/271.63	c fallback to adder encoding
273.60/274.02	o 1362
273.60/274.02	c fallback to adder encoding
277.81/278.24	o 1359
277.81/278.24	c fallback to adder encoding
280.30/280.76	o 1354
280.30/280.76	c fallback to adder encoding
284.20/284.67	o 1353
284.20/284.67	c fallback to adder encoding
287.10/287.50	o 1344
287.10/287.50	c fallback to adder encoding
290.07/290.51	o 1337
290.07/290.51	c fallback to adder encoding
291.79/292.24	o 1327
291.79/292.24	c fallback to adder encoding
293.49/293.92	o 1326
293.49/293.92	c fallback to adder encoding
296.87/297.32	o 1314
296.87/297.32	c fallback to adder encoding
301.38/301.83	o 1312
301.38/301.83	c fallback to adder encoding
304.49/304.99	o 1305
304.49/304.99	c fallback to adder encoding
309.69/310.11	o 1303
309.69/310.11	c fallback to adder encoding
313.28/313.74	o 1301
313.28/313.74	c fallback to adder encoding
316.17/316.68	o 1297
316.17/316.68	c fallback to adder encoding
319.19/319.65	o 1295
319.19/319.65	c fallback to adder encoding
322.06/322.52	o 1294
322.06/322.52	c fallback to adder encoding
325.08/325.56	o 1293
325.08/325.56	c fallback to adder encoding
328.27/328.78	o 1290
328.27/328.78	c fallback to adder encoding
334.15/334.60	o 1289
334.15/334.60	c fallback to adder encoding
337.29/337.77	o 1284
337.29/337.77	c fallback to adder encoding
341.79/342.26	o 1283
341.79/342.26	c fallback to adder encoding
345.46/345.99	o 1280
345.46/345.99	c fallback to adder encoding
348.57/349.04	o 1275
348.57/349.04	c fallback to adder encoding
352.48/352.94	o 1274
352.48/352.94	c fallback to adder encoding
355.28/355.74	o 1272
355.28/355.74	c fallback to adder encoding
358.77/359.28	o 1264
358.77/359.28	c fallback to adder encoding
360.35/360.81	o 1263
360.35/360.81	c fallback to adder encoding
363.46/363.92	o 1226
363.46/363.92	c fallback to adder encoding
368.37/368.86	o 1224
368.37/368.86	c fallback to adder encoding
371.96/372.47	o 1223
371.96/372.47	c fallback to adder encoding
375.36/375.80	o 1152
375.36/375.80	c fallback to adder encoding
377.95/378.45	o 1132
377.95/378.45	c fallback to adder encoding
380.24/380.75	o 1121
380.24/380.75	c fallback to adder encoding
382.86/383.36	o 1116
382.86/383.36	c fallback to adder encoding
385.25/385.70	o 1112
385.25/385.70	c fallback to adder encoding
387.62/388.12	o 1111
387.62/388.12	c fallback to adder encoding
390.84/391.33	o 1108
390.84/391.33	c fallback to adder encoding
395.02/395.60	o 1107
395.02/395.60	c fallback to adder encoding
399.83/400.33	o 1095
399.83/400.33	c fallback to adder encoding
404.13/404.66	o 1086
404.13/404.66	c fallback to adder encoding
407.33/407.89	o 1059
407.33/407.89	c fallback to adder encoding
410.40/410.93	o 1047
410.40/410.93	c fallback to adder encoding
412.89/413.43	o 1046
412.89/413.43	c fallback to adder encoding
415.68/416.28	o 1043
415.68/416.28	c fallback to adder encoding
420.47/421.02	o 1040
420.47/421.02	c fallback to adder encoding
423.06/423.61	o 1039
423.06/423.61	c fallback to adder encoding
426.88/427.47	o 1032
426.88/427.47	c fallback to adder encoding
429.99/430.59	o 1031
429.99/430.59	c fallback to adder encoding
433.48/434.08	o 1030
433.48/434.08	c fallback to adder encoding
436.49/437.00	o 1025
436.49/437.00	c fallback to adder encoding
442.07/442.66	o 1024
442.07/442.66	c fallback to adder encoding
443.39/443.90	o 1013
443.39/443.90	c fallback to adder encoding
445.78/446.38	o 1012
445.78/446.38	c fallback to adder encoding
447.39/447.95	o 1005
447.39/447.95	c fallback to adder encoding
450.17/450.75	o 1004
450.17/450.75	c fallback to adder encoding
451.97/452.53	o 1000
451.97/452.53	c fallback to adder encoding
454.08/454.68	o 992
454.08/454.68	c fallback to adder encoding
455.47/456.08	o 979
455.47/456.08	c fallback to adder encoding
459.08/459.70	o 977
459.08/459.70	c fallback to adder encoding
461.58/462.13	o 976
461.58/462.13	c fallback to adder encoding
464.58/465.15	o 975
464.58/465.15	c fallback to adder encoding
466.17/466.79	o 974
466.17/466.79	c fallback to adder encoding
468.26/468.80	o 973
468.26/468.80	c fallback to adder encoding
470.38/470.94	o 967
470.38/470.94	c fallback to adder encoding
472.26/472.82	o 966
472.26/472.82	c fallback to adder encoding
475.48/476.07	o 964
475.48/476.07	c fallback to adder encoding
477.95/478.54	o 939
477.95/478.54	c fallback to adder encoding
479.92/480.59	o 932
479.92/480.59	c fallback to adder encoding
482.03/482.69	o 919
482.03/482.69	c fallback to adder encoding
484.22/484.88	o 917
484.22/484.88	c fallback to adder encoding
488.52/489.16	o 916
488.52/489.16	c fallback to adder encoding
491.41/492.01	o 915
491.41/492.01	c fallback to adder encoding
494.03/494.67	o 913
494.03/494.67	c fallback to adder encoding
496.13/496.76	o 904
496.13/496.76	c fallback to adder encoding
499.33/499.94	o 899
499.33/499.94	c fallback to adder encoding
502.12/502.76	o 898
502.12/502.76	c fallback to adder encoding
503.72/504.32	o 897
503.72/504.32	c fallback to adder encoding
505.62/506.24	o 896
505.62/506.24	c fallback to adder encoding
507.24/507.83	o 893
507.24/507.83	c fallback to adder encoding
508.52/509.18	o 892
508.52/509.18	c fallback to adder encoding
510.92/511.56	o 885
510.92/511.56	c fallback to adder encoding
512.53/513.18	o 875
512.53/513.18	c fallback to adder encoding
515.30/515.92	o 872
515.30/515.92	c fallback to adder encoding
516.72/517.35	o 869
516.72/517.35	c fallback to adder encoding
518.62/519.27	o 862
518.62/519.27	c fallback to adder encoding
521.81/522.43	o 859
521.81/522.43	c fallback to adder encoding
523.77/524.45	o 845
523.77/524.45	c fallback to adder encoding
525.48/526.19	o 830
525.48/526.19	c fallback to adder encoding
526.86/527.51	o 828
526.86/527.51	c fallback to adder encoding
528.13/528.84	o 827
528.13/528.84	c fallback to adder encoding
529.74/530.48	o 826
529.74/530.48	c fallback to adder encoding
531.84/532.55	o 825
531.84/532.55	c fallback to adder encoding
533.81/534.55	o 821
533.81/534.55	c fallback to adder encoding
536.04/536.77	o 820
536.04/536.77	c fallback to adder encoding
537.91/538.61	o 809
537.91/538.61	c fallback to adder encoding
539.82/540.51	o 808
539.82/540.51	c fallback to adder encoding
541.32/542.02	o 801
541.32/542.02	c fallback to adder encoding
542.72/543.47	o 798
542.72/543.47	c fallback to adder encoding
544.59/545.37	o 795
544.59/545.37	c fallback to adder encoding
546.08/546.86	o 791
546.08/546.86	c fallback to adder encoding
547.89/548.66	o 775
547.89/548.66	c fallback to adder encoding
549.35/550.13	o 769
549.35/550.13	c fallback to adder encoding
551.86/552.62	o 768
551.86/552.62	c fallback to adder encoding
554.36/555.11	o 767
554.36/555.11	c fallback to adder encoding
555.66/556.41	o 766
555.66/556.41	c fallback to adder encoding
556.68/557.46	o 761
556.68/557.46	c fallback to adder encoding
557.87/558.69	o 757
557.87/558.69	c fallback to adder encoding
559.67/560.42	o 754
559.67/560.42	c fallback to adder encoding
561.57/562.35	o 753
561.57/562.35	c fallback to adder encoding
563.06/563.82	o 748
563.06/563.82	c fallback to adder encoding
564.86/565.67	o 747
564.86/565.67	c fallback to adder encoding
566.84/567.62	o 731
566.84/567.62	c fallback to adder encoding
567.85/568.69	o 730
567.85/568.69	c fallback to adder encoding
569.25/570.06	o 729
569.25/570.06	c fallback to adder encoding
570.35/571.18	o 728
570.35/571.18	c fallback to adder encoding
572.04/572.81	o 727
572.04/572.81	c fallback to adder encoding
573.06/573.80	o 723
573.06/573.80	c fallback to adder encoding
574.26/575.03	o 722
574.26/575.03	c fallback to adder encoding
576.16/576.92	o 715
576.16/576.92	c fallback to adder encoding
578.24/579.01	o 714
578.24/579.01	c fallback to adder encoding
579.73/580.53	o 713
579.73/580.53	c fallback to adder encoding
581.05/581.87	o 711
581.05/581.87	c fallback to adder encoding
582.00/582.82	o 710
582.00/582.82	c fallback to adder encoding
584.51/585.36	o 703
584.51/585.36	c fallback to adder encoding
585.72/586.56	o 696
585.72/586.56	c fallback to adder encoding
587.21/588.03	o 689
587.21/588.03	c fallback to adder encoding
588.40/589.20	o 684
588.40/589.20	c fallback to adder encoding
589.50/590.38	o 681
589.50/590.38	c fallback to adder encoding
591.32/592.12	o 680
591.32/592.12	c fallback to adder encoding
592.89/593.75	o 674
592.89/593.75	c fallback to adder encoding
594.90/595.71	o 673
594.90/595.71	c fallback to adder encoding
596.30/597.10	o 667
596.30/597.10	c fallback to adder encoding
597.60/598.46	o 655
597.60/598.46	c fallback to adder encoding
598.50/599.32	o 652
598.50/599.32	c fallback to adder encoding
599.71/600.60	o 641
599.71/600.60	c fallback to adder encoding
600.90/601.76	o 640
600.90/601.76	c fallback to adder encoding
602.19/603.00	o 639
602.19/603.00	c fallback to adder encoding
603.30/604.11	o 638
603.30/604.11	c fallback to adder encoding
604.49/605.36	o 635
604.49/605.36	c fallback to adder encoding
606.61/607.43	o 633
606.61/607.43	c fallback to adder encoding
607.40/608.26	o 624
607.40/608.26	c fallback to adder encoding
608.71/609.52	o 617
608.71/609.52	c fallback to adder encoding
610.20/611.01	o 612
610.20/611.01	c fallback to adder encoding
611.01/611.83	o 610
611.01/611.83	c fallback to adder encoding
612.30/613.16	o 603
612.30/613.16	c fallback to adder encoding
613.60/614.44	o 597
613.60/614.44	c fallback to adder encoding
615.00/615.86	o 596
615.00/615.86	c fallback to adder encoding
616.10/616.99	o 592
616.10/616.99	c fallback to adder encoding
617.50/618.33	o 591
617.50/618.33	c fallback to adder encoding
618.61/619.49	o 590
618.61/619.49	c fallback to adder encoding
619.70/620.59	o 583
619.70/620.59	c fallback to adder encoding
620.80/621.65	o 577
620.80/621.65	c fallback to adder encoding
622.30/623.12	o 576
622.30/623.12	c fallback to adder encoding
622.90/623.74	o 571
622.90/623.74	c fallback to adder encoding
622.99/624.65	o 570
622.99/624.65	c fallback to adder encoding
624.49/625.33	o 565
624.49/625.33	c fallback to adder encoding
625.20/626.07	o 563
625.20/626.07	c fallback to adder encoding
626.28/627.11	o 512
626.28/627.11	c fallback to adder encoding
626.34/627.54	o 509
626.34/627.54	c fallback to adder encoding
626.78/628.00	o 502
626.78/628.00	c fallback to adder encoding
627.22/628.87	o 491
627.22/628.87	c fallback to adder encoding
628.30/629.18	o 486
628.30/629.18	c fallback to adder encoding
628.89/629.70	o 483
628.89/629.70	c fallback to adder encoding
628.93/630.07	o 482
628.93/630.07	c fallback to adder encoding
629.58/630.47	o 481
629.58/630.47	c fallback to adder encoding
629.70/630.94	o 475
629.70/630.94	c fallback to adder encoding
630.60/631.44	o 474
630.60/631.44	c fallback to adder encoding
630.99/631.82	o 464
630.99/631.82	c fallback to adder encoding
631.05/632.25	o 463
631.05/632.25	c fallback to adder encoding
631.79/632.67	o 456
631.79/632.67	c fallback to adder encoding
631.89/633.22	o 455
631.89/633.22	c fallback to adder encoding
632.45/633.47	o 454
632.45/633.47	c fallback to adder encoding
632.89/633.78	o 203
633.05/633.91	o 118
633.05/633.97	o 101
633.19/634.00	c display solution
633.19/634.00	s OPTIMUM FOUND
633.19/634.00	v -x1 x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 -x31 x32 x33 -x34 x35 -x36 -x37 x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 x187 -x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200 

Verifier Data

OK	101

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715119-1338224033/watcher-3715119-1338224033 -o /tmp/evaluation-result-3715119-1338224033/solver-3715119-1338224033 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715119-1338224033.wbo 810153593 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0

[startup+0.015278 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10027 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300308 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700239 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50043 s]
/proc/loadavg: 1.93 2.04 2.00 3/183 24130
/proc/meminfo: memFree=29582360/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=3368 CPUtime=1.48 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) R 24116 24116 12592 0 -1 4202496 2743 13998 0 0 8 1 135 4 20 0 1 0 288527695 3448832 462 33554432000 4194304 5990268 140733818702928 140733818694928 5042551 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 842 462 166 439 0 399 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12516

[startup+3.10044 s]
/proc/loadavg: 1.93 2.04 2.00 3/183 24137
/proc/meminfo: memFree=29578640/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11304 CPUtime=1.54 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 4150 13998 0 0 14 1 135 4 20 0 1 0 288527695 11575296 2378 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2826 2378 166 439 0 2383 0
[pid=24136] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24136/stat : 24136 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288527851 9367552 266 33554432000 4194304 5064252 140736441615104 140736441614016 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24136/statm: 2287 266 226 213 0 72 0
[pid=24137] ppid=24136 vsize=16696 CPUtime=1.52 cores=1,3,5,7
/proc/24137/stat : 24137 (glucose) R 24136 24116 12592 0 -1 4202496 4249 0 0 0 152 0 0 0 20 0 1 0 288527852 17096704 3546 33554432000 4194304 5208918 140735429027168 140735429024920 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24137/statm: 4174 3546 105 248 0 3923 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46296

[startup+6.30033 s]
/proc/loadavg: 1.94 2.04 2.00 2/182 24142
/proc/meminfo: memFree=29590148/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=5.32 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 5820 22672 0 0 19 2 503 8 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 20404

[startup+12.7004 s]
/proc/loadavg: 1.94 2.04 2.00 3/183 24158
/proc/meminfo: memFree=29579940/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=11.25 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 9160 36521 0 0 31 4 1074 16 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24157] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24157/stat : 24157 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288528840 9367552 266 33554432000 4194304 5064252 140735396870944 140735396869856 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24157/statm: 2287 266 226 213 0 72 0
[pid=24158] ppid=24157 vsize=15416 CPUtime=1.24 cores=1,3,5,7
/proc/24158/stat : 24158 (glucose) R 24157 24116 12592 0 -1 4202496 4056 0 0 0 123 1 0 0 20 0 1 0 288528840 15785984 3249 33554432000 4194304 5208918 140734371818304 140734371816152 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24158/statm: 3854 3249 105 248 0 3603 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 44968

[startup+25.5004 s]
/proc/loadavg: 1.95 2.03 2.00 3/183 24186
/proc/meminfo: memFree=29580488/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=24.89 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 15840 65536 0 0 53 8 2397 31 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24185] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24185/stat : 24185 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288530203 9367552 267 33554432000 4194304 5064252 140734395423296 140734395422208 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24185/statm: 2287 267 226 213 0 72 0
[pid=24186] ppid=24185 vsize=13452 CPUtime=0.4 cores=1,3,5,7
/proc/24186/stat : 24186 (glucose) R 24185 24116 12592 0 -1 4202496 3631 0 0 0 40 0 0 0 20 0 1 0 288530204 13774848 3065 33554432000 4194304 5208918 140735902103600 140734395422232 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24186/statm: 3363 3065 104 248 0 3112 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 43004

[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 24235
/proc/meminfo: memFree=29577860/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=48.42 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 27530 119491 0 0 93 14 4680 55 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24234] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24234/stat : 24234 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288532561 9367552 267 33554432000 4194304 5064252 140736300667856 140736300666768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24234/statm: 2287 267 226 213 0 72 0
[pid=24235] ppid=24234 vsize=15688 CPUtime=2.42 cores=1,3,5,7
/proc/24235/stat : 24235 (glucose) R 24234 24116 12592 0 -1 4202496 3629 0 0 0 242 0 0 0 20 0 1 0 288532561 16064512 3499 33554432000 4194304 5208918 140736188127904 140736188125656 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24235/statm: 3922 3499 105 248 0 3671 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 45240

[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24333
/proc/meminfo: memFree=29573368/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=98.91 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 50910 223604 0 0 171 27 9590 103 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24332] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24332/stat : 24332 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288537611 9367552 267 33554432000 4194304 5064252 140735431961856 140735431960768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24332/statm: 2287 267 226 213 0 72 0
[pid=24333] ppid=24332 vsize=15676 CPUtime=3.13 cores=1,3,5,7
/proc/24333/stat : 24333 (glucose) R 24332 24116 12592 0 -1 4202496 3708 0 0 0 313 0 0 0 20 0 1 0 288537611 16052224 3596 33554432000 4194304 5208918 140734615005408 140734615003080 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24333/statm: 3919 3596 105 248 0 3668 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 45228

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 24463
/proc/meminfo: memFree=29582516/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=161.39 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 82640 363683 0 0 277 43 15651 168 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
Current children cumulated CPU time (s) 161.39
Current children cumulated vsize (KiB) 20404

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24600
/proc/meminfo: memFree=29574708/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=220.22 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 114370 501885 0 0 381 62 21343 236 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24599] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11220 CPUtime=461.68 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 237958 1041217 0 0 786 126 44763 493 20 0 1 0 288527695 11489280 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24117/statm: 2805 2357 166 439 0 2362 0
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (KiB) 20368

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 25320
/proc/meminfo: memFree=29573340/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11176 CPUtime=518.75 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 279758 1206566 0 0 902 145 50260 568 20 0 1 0 288527695 11444224 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24117/statm: 2794 2357 166 439 0 2351 0
[pid=25319] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25319/stat : 25319 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288579627 9367552 267 33554432000 4194304 5064252 140734126696224 140734126695136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25319/statm: 2287 267 226 213 0 72 0
[pid=25320] ppid=25319 vsize=14568 CPUtime=2.96 cores=1,3,5,7
/proc/25320/stat : 25320 (glucose) R 25319 24116 12592 0 -1 4202496 3532 0 0 0 296 0 0 0 20 0 1 0 288579628 14917632 3102 33554432000 4194304 5208918 140734495504592 140734495500968 4231478 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25320/statm: 3642 3102 105 248 0 3391 0
Current children cumulated CPU time (s) 521.71
Current children cumulated vsize (KiB) 44040

[startup+582.3 s]
/proc/loadavg: 1.91 1.97 1.98 3/183 25572
/proc/meminfo: memFree=29575628/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11104 CPUtime=581.18 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 341623 1441030 0 0 1049 174 56228 667 20 0 1 0 288527695 11370496 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 2776 2357 166 439 0 2333 0
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (KiB) 20252

Solver just ended. Dumping a history of the last processes samples

[startup+588.7 s]
/proc/loadavg: 1.92 1.97 1.98 3/183 25607
/proc/meminfo: memFree=29577008/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11092 CPUtime=587.29 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 348311 1466121 0 0 1063 177 56813 676 20 0 1 0 288527695 11358208 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 2773 2357 166 439 0 2330 0
[pid=25606] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25606/stat : 25606 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288586503 9367552 267 33554432000 4194304 5064252 140733337642368 140733337641280 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25606/statm: 2287 267 226 213 0 72 0
[pid=25607] ppid=25606 vsize=11004 CPUtime=0.61 cores=1,3,5,7
/proc/25607/stat : 25607 (glucose) R 25606 24116 12592 0 -1 4202496 2763 0 0 0 61 0 0 0 20 0 1 0 288586503 11268096 2263 33554432000 4194304 5208918 140734413184528 140733337641304 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25607/statm: 2751 2263 104 248 0 2500 0
Current children cumulated CPU time (s) 587.9
Current children cumulated vsize (KiB) 40392

[startup+614.3 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 25740
/proc/meminfo: memFree=29582024/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=612.41 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 374564 1578652 0 0 1127 187 59200 727 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25739] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25739/stat : 25739 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288589015 9367552 266 33554432000 4194304 5064252 140733683572224 140733683571136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25739/statm: 2287 266 226 213 0 72 0
[pid=25740] ppid=25739 vsize=10408 CPUtime=1.09 cores=1,3,5,7
/proc/25740/stat : 25740 (glucose) R 25739 24116 12592 0 -1 4202496 2555 0 0 0 109 0 0 0 20 0 1 0 288589015 10657792 2179 33554432000 4194304 5208918 140736224820256 140736224818104 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25740/statm: 2602 2179 105 248 0 2351 0
Current children cumulated CPU time (s) 613.5
Current children cumulated vsize (KiB) 35672

[startup+627.1 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25824
/proc/meminfo: memFree=29581900/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=626.28 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 387926 1648490 0 0 1161 192 60520 755 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 626.28
Current children cumulated vsize (KiB) 16116

[startup+630.307 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25873
/proc/meminfo: memFree=29584140/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=629.29 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 394827 1681763 0 0 1177 193 60790 769 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25872] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25872/stat : 25872 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288590704 9367552 267 33554432000 4194304 5064252 140736074499456 140736074498368 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25872/statm: 2287 267 226 213 0 72 0
[pid=25873] ppid=25872 vsize=7832 CPUtime=0.2 cores=1,3,5,7
/proc/25873/stat : 25873 (glucose) R 25872 24116 12592 0 -1 4202496 2111 0 0 0 20 0 0 0 20 0 1 0 288590705 8019968 1565 33554432000 4194304 5208918 140736856599744 140736074498392 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25873/statm: 1958 1565 103 248 0 1707 0
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (KiB) 33096

[startup+631.9 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25887
/proc/meminfo: memFree=29584016/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=631.05 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 398692 1703077 0 0 1185 195 60948 777 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 631.05
Current children cumulated vsize (KiB) 16116

[startup+632.7 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25908
/proc/meminfo: memFree=29584264/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=631.89 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 400595 1712530 0 0 1189 195 61024 781 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 631.89
Current children cumulated vsize (KiB) 16116

[startup+633.5 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=632.7 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 402491 1723515 0 0 1193 196 61096 785 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25928] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25928/stat : 25928 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288591044 9367552 267 33554432000 4194304 5064252 140733610003856 140733610002768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25928/statm: 2287 267 226 213 0 72 0
[pid=25929] ppid=25928 vsize=8336 CPUtime=0 cores=1,3,5,7
/proc/25929/stat : 25929 (glucose) R 25928 24116 12592 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 288591045 8536064 846 33554432000 4194304 5208918 140734006698288 140733610002792 4545360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25929/statm: 2084 857 70 248 0 1833 0
Current children cumulated CPU time (s) 632.7
Current children cumulated vsize (KiB) 33600

[startup+633.9 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=633.05 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 403430 1732494 0 0 1195 196 61126 788 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 633.05
Current children cumulated vsize (KiB) 16116

[startup+634 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=633.19 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 404057 1742113 0 0 1196 196 61134 793 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 633.19
Current children cumulated vsize (KiB) 16116

Child status: 0
Real time (s): 634.007
CPU time (s): 633.227
CPU user time (s): 623.312
CPU system time (s): 9.91449
CPU usage (%): 99.8769
Max. virtual memory (cumulated for all children) (KiB): 52548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 623.312
system time used= 9.91449
maximum resident set size= 21296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2149801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1572288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8392
involuntary context switches= 3363

runsolver used 1.36079 second user time and 3.85541 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-28 18:53:53
IDJOB=3715119
IDBENCH=79389
IDSOLVER=2296
FILE ID=node145/3715119-1338224033
RUNJOBID= node145-1338210676-15246
PBS_JOBID= 14624578
Free space on /tmp= 71504 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh14_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715119-1338224033/watcher-3715119-1338224033 -o /tmp/evaluation-result-3715119-1338224033/solver-3715119-1338224033 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715119-1338224033.wbo 810153593 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=810153593

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29605420 kB
Buffers:          352200 kB
Cached:          1914028 kB
SwapCached:            0 kB
Active:           944496 kB
Inactive:        1502976 kB
Active(anon):     172452 kB
Inactive(anon):    10912 kB
Active(file):     772044 kB
Inactive(file):  1492064 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             53208 kB
Writeback:             0 kB
AnonPages:        423392 kB
Mapped:            15044 kB
Shmem:               200 kB
Slab:             680232 kB
SReclaimable:     121804 kB
SUnreclaim:       558428 kB
KernelStack:        1520 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     333708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node145 at 2012-05-28 19:04:27