Trace number 2700192

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
PB/CT 0.1OPTIMUM 333.78 333.775

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
MD5SUM4141aec8f84b614aac5b3a0221093342
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark321
Best CPU time to get the best result obtained on this benchmark1.64975
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 constraints1000
Number of soft constraints900
Number of constraints which are clauses900
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 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
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.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/900 units 0
0.00/0.00	c vars 200
0.01/0.04	c 0.032994 10.207 1 2049
0.01/0.04	o 26905
0.01/0.04	c 0.034994 10.3359 1 2835
0.01/0.04	o 26123
0.01/0.04	c 0.035994 10.3359 2 2959
0.01/0.04	o 26105
0.01/0.04	c 0.035994 10.3359 2 3883
0.01/0.04	o 21289
0.01/0.04	c 0.037994 10.3359 2 4812
0.01/0.04	o 20204
0.01/0.05	c 0.037994 10.3359 2 5368
0.01/0.05	o 20055
0.01/0.05	c 0.038994 10.3359 3 6132
0.01/0.05	o 19803
0.01/0.05	c 0.039993 10.3359 4 7030
0.01/0.05	o 19322
0.01/0.05	c 0.041993 10.3359 8 7463
0.01/0.05	o 19222
0.01/0.05	c 0.041993 10.3359 9 8405
0.01/0.05	o 14341
0.49/0.53	c 0.352946 10.582 676 18337
0.49/0.53	o 14290
0.69/0.76	c 0.490925 10.582 699 21551
0.69/0.76	o 14276
0.89/0.94	c 0.609907 10.582 797 24940
0.89/0.94	o 14203
2.29/2.37	c 1.53377 10.707 713 48751
2.29/2.37	o 13975
2.39/2.44	c 1.57376 10.707 473 50248
2.39/2.44	o 13907
2.39/2.47	c 1.58876 10.707 647 51067
2.39/2.47	o 13648
2.69/2.75	c 1.78073 10.707 722 55532
2.69/2.75	o 13629
3.19/3.22	c 2.07768 10.707 900 63615
3.19/3.22	o 13537
3.19/3.24	c 2.09468 10.707 592 64273
3.19/3.24	o 13425
3.89/3.93	c 2.53761 10.832 513 76352
3.89/3.93	o 13372
4.49/4.52	c 2.93555 10.832 766 84575
4.49/4.52	o 13106
5.79/5.88	c 3.77643 10.832 451 105781
5.79/5.88	o 13078
6.89/6.91	c 4.42533 10.832 742 121993
6.89/6.91	o 13044
7.39/7.46	c 4.77227 10.832 613 132111
7.39/7.46	o 13033
11.29/11.39	c 7.2449 10.9531 947 190520
11.29/11.39	o 12978
12.09/12.14	c 7.70483 10.9531 796 202492
12.09/12.14	o 12913
12.09/12.18	c 7.72783 10.9531 655 203609
12.09/12.18	o 12861
13.79/13.80	c 8.75067 10.9531 529 226345
13.79/13.80	o 12850
15.40/15.49	c 9.8355 10.9531 770 251784
15.40/15.49	o 12834
15.50/15.50	c 9.8455 10.9531 495 252364
15.50/15.50	o 12703
15.79/15.87	c 10.0615 10.9531 875 258463
15.79/15.87	o 12647
16.19/16.28	c 10.3124 10.9531 802 264950
16.19/16.28	o 12592
16.30/16.38	c 10.3654 10.9531 900 266715
16.30/16.38	o 12534
18.99/19.02	c 12.0452 11.0781 567 300169
18.99/19.02	o 12432
21.79/21.81	c 13.8249 11.0781 535 343173
21.79/21.81	o 12212
22.00/22.06	c 13.9829 11.0781 662 348024
22.00/22.06	o 12195
22.09/22.12	c 14.0189 11.0781 724 349550
22.09/22.12	o 12097
24.20/24.26	c 15.3367 11.0781 952 374759
24.20/24.26	o 12072
24.39/24.45	c 15.4547 11.0781 943 377498
24.39/24.45	o 12016
26.79/26.81	c 16.9254 11.0781 834 415594
26.79/26.81	o 11994
28.40/28.47	c 18.0053 11.0781 762 440886
28.40/28.47	o 11950
29.39/29.46	c 18.6532 11.2031 920 455790
29.39/29.46	o 11844
29.89/29.99	c 18.9821 11.2031 938 463679
29.89/29.99	o 11835
33.29/33.31	c 21.1298 11.2031 505 508029
33.29/33.31	o 11809
33.29/33.35	c 21.1608 11.2031 689 508842
33.29/33.35	o 11727
33.79/33.83	c 21.4467 11.2031 600 516072
33.79/33.83	o 11664
35.89/35.90	c 22.7575 11.2031 981 544920
35.89/35.90	o 11435
35.99/36.06	c 22.8565 11.2031 835 548374
35.99/36.06	o 11336
37.49/37.57	c 23.8214 11.2031 577 572628
37.49/37.57	o 11310
38.30/38.36	c 24.3103 11.2031 969 582479
38.30/38.36	o 11205
41.19/41.24	c 26.122 11.2031 955 626855
41.19/41.24	o 11059
44.69/44.76	c 28.3357 11.2031 474 680367
44.69/44.76	o 10876
45.29/45.34	c 28.7006 11.2031 744 689362
45.29/45.34	o 10693
45.99/46.09	c 29.1606 11.2031 765 700663
45.99/46.09	o 10606
54.09/54.17	c 34.4148 11.3281 691 793004
54.09/54.17	o 10388
55.49/55.57	c 35.2696 11.3281 399 814345
55.49/55.57	o 10235
57.49/57.55	c 36.5364 11.3281 507 835661
57.49/57.55	o 10203
57.59/57.63	c 36.5874 11.3281 573 837044
57.59/57.63	o 10164
57.59/57.68	c 36.6194 11.3281 777 838009
57.59/57.68	o 9812
60.49/60.51	c 38.3792 11.3281 872 875251
60.49/60.51	o 9770
74.70/74.71	c 47.3158 11.3281 820 1052571
74.70/74.71	o 9410
74.99/75.09	c 47.5618 11.3281 601 1058542
74.99/75.09	o 9298
78.99/79.04	c 50.0514 11.4531 596 1112432
78.99/79.04	o 9283
80.30/80.38	c 50.9053 11.4531 430 1129293
80.30/80.38	o 9128
80.39/80.40	c 50.9193 11.4531 554 1129813
80.39/80.40	o 9100
82.80/82.85	c 52.445 11.4531 768 1158541
82.80/82.85	o 9092
88.39/88.48	c 56.0315 11.4531 578 1226074
88.39/88.48	o 9089
93.19/93.23	c 58.983 11.4531 755 1282284
93.19/93.23	o 8950
94.40/94.46	c 59.7789 11.4531 585 1299283
94.40/94.46	o 8929
96.80/96.86	c 61.2517 11.4531 896 1328280
96.80/96.86	o 8912
97.19/97.25	c 61.4957 11.4531 639 1334290
97.19/97.25	o 8870
99.19/99.28	c 62.7435 11.4531 720 1357930
99.19/99.28	o 8728
99.80/99.83	c 63.0864 11.4531 739 1364186
99.80/99.83	o 8533
101.09/101.11	c 63.8883 11.4531 701 1380369
101.09/101.11	o 8398
101.69/101.73	c 64.2632 11.4531 643 1387986
101.69/101.73	o 8390
104.39/104.50	c 65.994 11.4531 619 1419022
104.39/104.50	o 8373
110.19/110.26	c 69.5534 11.4531 479 1483145
110.19/110.26	o 8344
115.89/115.92	c 73.0529 11.5781 681 1538875
115.89/115.92	o 8280
115.89/115.94	c 73.0719 11.5781 454 1539581
115.89/115.94	o 8241
117.30/117.31	c 73.8778 11.5781 961 1553463
117.30/117.31	o 8100
122.50/122.54	c 77.1773 11.5781 731 1614344
122.50/122.54	o 8059
125.60/125.67	c 79.147 11.5781 907 1649516
125.60/125.67	o 8012
131.70/131.79	c 82.9824 11.5781 703 1717187
131.70/131.79	o 7988
132.49/132.58	c 83.4943 11.5781 563 1726471
132.49/132.58	o 7983
132.80/132.84	c 83.6493 11.5781 756 1729282
132.80/132.84	o 7972
133.40/133.40	c 84.0062 11.5781 725 1736315
133.40/133.40	o 7954
135.00/135.03	c 85.0371 11.5781 524 1755949
135.00/135.03	o 7943
140.10/140.14	c 88.2176 11.5781 526 1812732
140.10/140.14	o 7897
140.49/140.58	c 88.4885 11.5781 903 1816813
140.49/140.58	o 7884
141.80/141.90	c 89.3144 11.5781 607 1833869
141.80/141.90	o 7757
142.90/142.96	c 89.9683 11.5781 539 1847411
142.90/142.96	o 7600
143.19/143.21	c 90.1233 11.5781 652 1849822
143.19/143.21	o 7534
143.90/143.97	c 90.5972 11.5781 664 1860249
143.90/143.97	o 7494
144.00/144.06	c 90.6552 11.5781 706 1861652
144.00/144.06	o 7273
149.89/149.91	c 94.3277 11.5781 699 1922724
149.89/149.91	o 7211
155.10/155.12	c 97.5832 11.5781 419 1983053
155.10/155.12	o 7180
155.80/155.87	c 98.0461 11.6992 662 1989019
155.80/155.87	o 7113
163.60/163.68	c 102.908 11.6992 609 2063681
163.60/163.68	o 7042
165.50/165.56	c 104.067 11.6992 500 2080082
165.50/165.56	o 6976
168.40/168.43	c 105.855 11.6992 649 2112148
168.40/168.43	o 6937
168.70/168.74	c 106.044 11.6992 655 2114934
168.70/168.74	o 6890
178.39/178.40	c 112.128 11.6992 793 2214400
178.39/178.40	o 6829
178.69/178.74	c 112.341 11.6992 710 2217390
178.69/178.74	o 6817
182.50/182.57	c 114.688 11.6992 513 2258278
182.50/182.57	o 6771
185.80/185.81	c 116.649 11.6992 810 2292207
185.80/185.81	o 6745
198.50/198.56	c 124.491 11.6992 618 2415791
198.50/198.56	o 6578
202.59/202.63	c 127.078 11.6992 751 2451232
202.59/202.63	o 6372
203.10/203.11	c 127.36 11.6992 719 2456057
203.10/203.11	o 6346
203.40/203.43	c 127.567 11.6992 808 2459713
203.40/203.43	o 6141
204.19/204.21	c 128.059 11.6992 791 2466509
204.19/204.21	o 6117
208.50/208.54	c 130.769 11.6992 858 2505529
208.50/208.54	o 6103
208.91/208.91	c 131.005 11.6992 513 2508926
208.91/208.91	o 6036
209.19/209.26	c 131.233 11.6992 597 2511991
209.19/209.26	o 6007
212.00/212.03	c 132.959 11.8203 511 2536892
212.00/212.03	o 5916
212.09/212.14	c 133.026 11.8203 903 2537877
212.09/212.14	o 5876
212.40/212.49	c 133.23 11.8203 640 2541414
212.40/212.49	o 5711
213.89/213.97	c 134.118 11.8203 751 2553387
213.89/213.97	o 5676
216.40/216.49	c 135.704 11.8203 894 2575660
216.40/216.49	o 5641
217.49/217.50	c 136.367 11.8203 832 2585542
217.49/217.50	o 5613
218.80/218.83	c 137.21 11.8203 457 2595987
218.80/218.83	o 5483
219.80/219.86	c 137.869 11.8203 918 2606231
219.80/219.86	o 5411
222.59/222.62	c 139.55 11.8203 595 2624559
222.59/222.62	o 5299
222.90/222.90	c 139.707 11.8203 892 2627129
222.90/222.90	o 5283
229.90/229.94	c 144.114 11.8203 739 2690525
229.90/229.94	o 5260
233.89/233.99	c 146.641 11.8203 544 2718779
233.89/233.99	o 5193
237.61/237.64	c 148.912 11.8203 659 2749947
237.61/237.64	o 5068
239.70/239.72	c 150.228 11.8203 598 2766535
239.70/239.72	o 5064
242.90/242.93	c 152.199 11.8203 802 2794603
242.90/242.93	o 5033
245.20/245.29	c 153.642 11.8203 579 2814938
245.20/245.29	o 4963
250.89/250.92	c 157.061 11.8203 759 2863536
250.89/250.92	o 4812
254.50/254.51	c 159.215 11.8203 857 2894823
254.50/254.51	o 4761
256.80/256.87	c 160.68 11.8203 477 2914489
256.80/256.87	o 4749
257.09/257.12	c 160.834 11.8203 875 2916666
257.09/257.12	o 4667
257.40/257.41	c 161.017 11.8203 786 2919187
257.40/257.41	o 4614
260.71/260.72	c 163.061 11.8203 755 2947147
260.71/260.72	o 4552
261.60/261.69	c 163.664 11.8203 489 2955307
261.60/261.69	o 4506
267.10/267.19	c 167.042 11.8203 630 2998279
267.10/267.19	o 4466
272.81/272.84	c 170.505 11.8203 531 3043562
272.81/272.84	o 4410
273.40/273.48	c 170.897 11.8203 685 3049075
273.40/273.48	o 4338
273.90/273.97	c 171.198 11.8203 909 3053609
273.90/273.97	o 4307
275.20/275.22	c 171.958 11.8203 927 3063979
275.20/275.22	o 4115
275.20/275.26	c 171.985 11.8203 622 3064533
275.20/275.26	o 4093
275.60/275.69	c 172.242 11.9492 702 3067819
275.60/275.69	o 4050
275.79/275.88	c 172.355 11.9492 895 3069154
275.79/275.88	o 4030
280.19/280.23	c 175.049 11.9492 577 3103455
280.19/280.23	o 3906
281.80/281.83	c 176.027 11.9492 669 3116369
281.80/281.83	o 3898
282.80/282.86	c 176.656 11.9492 842 3124562
282.80/282.86	o 3822
282.80/282.89	c 176.667 11.9492 502 3124894
282.80/282.89	o 3697
283.49/283.58	c 177.079 11.9492 734 3130165
283.49/283.58	o 3644
283.89/283.92	c 177.292 11.9492 683 3133167
283.89/283.92	o 3620
286.60/286.62	c 178.91 11.9492 756 3154588
286.60/286.62	o 3562
287.70/287.77	c 179.622 11.9492 659 3163228
287.70/287.77	o 3527
293.29/293.36	c 183.136 11.9492 795 3201875
293.29/293.36	o 3352
298.19/298.29	c 186.182 11.9492 1003 3241186
298.19/298.29	o 3343
300.00/300.07	c 187.297 11.9492 683 3255150
300.00/300.07	o 3272
300.80/300.88	c 187.811 11.9492 856 3260287
300.80/300.88	o 3238
300.99/301.00	c 187.88 11.9492 868 3261544
300.99/301.00	o 3234
301.80/301.87	c 188.41 11.9492 835 3268099
301.80/301.87	o 3230
303.19/303.26	c 189.243 11.9492 633 3278250
303.19/303.26	o 3193
303.51/303.59	c 189.438 11.9492 842 3280684
303.51/303.59	o 3085
305.00/305.03	c 190.345 11.9492 728 3291070
305.00/305.03	o 3007
305.60/305.61	c 190.682 11.9492 597 3296039
305.60/305.61	o 2926
306.50/306.50	c 191.208 11.9492 774 3301607
306.50/306.50	o 2841
309.50/309.50	c 193.032 11.9492 705 3322671
309.50/309.50	o 2709
309.60/309.68	c 193.133 11.9492 413 3323873
309.60/309.68	o 2697
314.20/314.20	c 195.942 11.9492 742 3354801
314.20/314.20	o 2669
314.80/314.89	c 196.354 11.9492 572 3360438
314.80/314.89	o 2582
315.19/315.29	c 196.598 11.9492 811 3362892
315.19/315.29	o 2525
315.90/315.95	c 197.014 11.9492 496 3367681
315.90/315.95	o 2523
316.30/316.35	c 197.264 11.9492 740 3370093
316.30/316.35	o 2468
316.99/317.07	c 197.717 11.9492 918 3375464
316.99/317.07	o 2417
317.19/317.22	c 197.813 11.9492 870 3376560
317.19/317.22	o 2413
317.59/317.66	c 198.092 11.9492 524 3379814
317.59/317.66	o 2373
318.39/318.42	c 198.564 11.9492 523 3384616
318.39/318.42	o 2341
319.59/319.61	c 199.287 11.9492 587 3392379
319.59/319.61	o 2284
320.80/320.88	c 200.048 11.9492 709 3399818
320.80/320.88	o 2123
321.29/321.31	c 200.306 11.9492 644 3402700
321.29/321.31	o 2096
321.59/321.69	c 200.551 11.9492 866 3405207
321.59/321.69	o 2076
321.70/321.73	c 200.578 11.9492 550 3405633
321.70/321.73	o 1968
321.99/322.08	c 200.8 12.0703 715 3407788
321.99/322.08	o 1931
322.09/322.13	c 200.827 12.0703 437 3408252
322.09/322.13	o 1872
323.50/323.50	c 201.67 12.0703 934 3416156
323.50/323.50	o 1777
323.60/323.61	c 201.742 12.0703 808 3417047
323.60/323.61	o 1738
324.40/324.46	c 202.279 12.0703 683 3422829
324.40/324.46	o 1734
324.51/324.54	c 202.323 12.0703 471 3423413
324.51/324.54	o 1680
325.00/325.06	c 202.66 12.0703 681 3426520
325.00/325.06	o 1671
325.50/325.56	c 202.976 12.0703 741 3429019
325.50/325.56	o 1666
326.40/326.49	c 203.583 12.0703 517 3435322
326.40/326.49	o 1659
327.19/327.21	c 204.046 12.0703 866 3440086
327.19/327.21	o 1652
327.19/327.26	c 204.079 12.0703 566 3440469
327.19/327.26	o 1611
327.30/327.31	c 204.113 12.0703 713 3440816
327.30/327.31	o 1610
327.30/327.36	c 204.144 12.0703 847 3441113
327.30/327.36	o 1582
327.50/327.56	c 204.259 12.0703 484 3442193
327.50/327.56	o 1568
327.70/327.80	c 204.409 12.0703 771 3443977
327.70/327.80	o 1556
327.80/327.85	c 204.444 12.0703 482 3444343
327.80/327.85	o 1543
328.00/328.03	c 204.556 12.0703 602 3445651
328.00/328.03	o 1541
328.00/328.05	c 204.571 12.0703 667 3445836
328.00/328.05	o 1525
328.40/328.42	c 204.807 12.0703 923 3448110
328.40/328.42	o 1510
328.90/328.97	c 205.159 12.0703 814 3451647
328.90/328.97	o 1470
329.20/329.28	c 205.35 12.0703 471 3453856
329.20/329.28	o 1452
329.50/329.54	c 205.5 12.0703 788 3455601
329.50/329.54	o 1417
329.69/329.79	c 205.669 12.0703 621 3457221
329.69/329.79	o 1399
330.79/330.86	c 206.326 12.0703 713 3464199
330.79/330.86	o 1376
331.00/331.03	c 206.433 12.0703 725 3465253
331.00/331.03	o 1365
331.10/331.13	c 206.503 12.0703 556 3465987
331.10/331.13	o 1246
331.30/331.34	c 206.624 12.0703 781 3467559
331.30/331.34	o 1173
331.30/331.40	c 206.662 12.0703 556 3468008
331.30/331.40	o 1167
331.50/331.53	c 206.749 12.0703 524 3469106
331.50/331.53	o 1160
331.89/331.93	c 206.992 12.0703 450 3471614
331.89/331.93	o 1152
332.10/332.14	c 207.117 12.0703 660 3472980
332.10/332.14	o 1126
332.20/332.25	c 207.198 12.0703 542 3473672
332.20/332.25	o 1107
332.59/332.61	c 207.424 12.1953 668 3475630
332.59/332.61	o 1094
332.59/332.68	c 207.468 12.1953 880 3476298
332.59/332.68	o 1059
332.69/332.70	c 207.48 12.1953 506 3476494
332.69/332.70	o 1031
332.69/332.77	c 207.528 12.1953 709 3477063
332.69/332.77	o 947
332.80/332.83	c 207.561 12.1953 890 3477562
332.80/332.83	o 886
332.90/333.00	c 207.657 12.1953 935 3478446
332.90/333.00	o 854
332.99/333.04	c 207.686 12.3281 617 3478838
332.99/333.04	o 840
333.10/333.10	c 207.728 12.3281 795 3479279
333.10/333.10	o 810
333.21/333.25	c 207.817 12.3281 786 3480255
333.21/333.25	o 762
333.40/333.48	c 207.964 12.3281 1072 3481850
333.40/333.48	o 639
333.59/333.62	c 208.066 12.3281 611 3482964
333.59/333.62	o 522
333.59/333.64	c 208.083 12.3281 702 3483129
333.59/333.64	o 483
333.70/333.72	c 208.142 12.3281 1035 3483683
333.70/333.72	o 427
333.70/333.75	c 208.166 12.3281 1214 3483943
333.70/333.75	o 382
333.70/333.75	c 208.169 12.3281 988 3484025
333.70/333.75	o 321
333.70/333.76	c 208.174 12.3281 1024 3484068
333.70/333.76	s OPTIMUM FOUND
333.70/333.76	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	321

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700192-1278534359/watcher-2700192-1278534359 -o /tmp/evaluation-result-2700192-1278534359/solver-2700192-1278534359 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700192-1278534359.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 1.70 0.89 4/178 17922
/proc/meminfo: memFree=29421532/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=2136 CPUtime=0
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 260 0 0 0 0 0 0 0 25 0 1 0 21648809 2187264 180 4089446400 134512640 136421960 4290789136 18446744073709551615 135154826 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17922/statm: 534 180 144 467 0 65 0

[startup+0.0218939 s]
/proc/loadavg: 2.03 1.70 0.89 4/178 17922
/proc/meminfo: memFree=29421532/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=6364 CPUtime=0.01
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 1287 0 0 0 1 0 0 0 25 0 1 0 21648809 6516736 1207 4089446400 134512640 136421960 4290789136 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 1591 1209 193 467 0 1122 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6364

[startup+0.100877 s]
/proc/loadavg: 2.03 1.70 0.89 4/178 17922
/proc/meminfo: memFree=29421532/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=10708 CPUtime=0.09
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2410 0 0 0 6 3 0 0 25 0 1 0 21648809 10964992 2320 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2677 2320 238 467 0 2208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10708

[startup+0.300851 s]
/proc/loadavg: 2.03 1.70 0.89 4/178 17922
/proc/meminfo: memFree=29421532/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=10832 CPUtime=0.29
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2448 0 0 0 19 10 0 0 25 0 1 0 21648809 11091968 2358 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2708 2358 238 467 0 2239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10832

[startup+0.700767 s]
/proc/loadavg: 2.03 1.70 0.89 4/178 17922
/proc/meminfo: memFree=29421532/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=10832 CPUtime=0.69
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2451 0 0 0 45 24 0 0 25 0 1 0 21648809 11091968 2360 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2708 2360 238 467 0 2239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10832

[startup+1.50062 s]
/proc/loadavg: 2.03 1.70 0.89 3/179 17923
/proc/meminfo: memFree=29409868/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=10832 CPUtime=1.49
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2465 0 0 0 97 52 0 0 25 0 1 0 21648809 11091968 2372 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2708 2372 238 467 0 2239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10832

[startup+3.10034 s]
/proc/loadavg: 2.03 1.70 0.89 3/179 17923
/proc/meminfo: memFree=29409372/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=10960 CPUtime=3.09
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2492 0 0 0 199 110 0 0 25 0 1 0 21648809 11223040 2395 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2740 2395 238 467 0 2271 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10960

[startup+6.30074 s]
/proc/loadavg: 2.03 1.70 0.90 3/179 17924
/proc/meminfo: memFree=29405404/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11088 CPUtime=6.29
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2521 0 0 0 403 226 0 0 25 0 1 0 21648809 11354112 2419 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2772 2419 238 467 0 2303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11088

[startup+12.7006 s]
/proc/loadavg: 2.03 1.71 0.90 3/179 17924
/proc/meminfo: memFree=29397684/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11212 CPUtime=12.69
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2559 0 0 0 806 463 0 0 25 0 1 0 21648809 11481088 2452 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17922/statm: 2803 2452 238 467 0 2334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11212

[startup+25.5002 s]
/proc/loadavg: 2.02 1.72 0.92 3/179 17924
/proc/meminfo: memFree=29382192/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11340 CPUtime=25.49
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2613 0 0 0 1609 940 0 0 25 0 1 0 21648809 11612160 2494 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 2835 2494 238 467 0 2366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11340

[startup+51.1005 s]
/proc/loadavg: 2.01 1.74 0.95 3/179 17924
/proc/meminfo: memFree=29346184/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11596 CPUtime=51.09
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2671 0 0 0 3239 1870 0 0 25 0 1 0 21648809 11874304 2537 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 2899 2537 238 467 0 2430 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11596

[startup+102.306 s]
/proc/loadavg: 2.00 1.78 1.01 3/179 17926
/proc/meminfo: memFree=29280028/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11724 CPUtime=102.3
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2745 0 0 0 6461 3769 0 0 25 0 1 0 21648809 12005376 2590 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 2931 2590 238 467 0 2462 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11724

[startup+162.3 s]
/proc/loadavg: 2.00 1.82 1.06 3/179 17928
/proc/meminfo: memFree=29201720/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=11976 CPUtime=162.29
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2820 0 0 0 10207 6022 0 0 25 0 1 0 21648809 12263424 2643 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 2994 2643 238 467 0 2525 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11976

[startup+222.3 s]
/proc/loadavg: 2.00 1.85 1.12 3/179 17929
/proc/meminfo: memFree=29121668/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12100 CPUtime=222.3
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2873 0 0 0 13935 8295 0 0 25 0 1 0 21648809 12390400 2672 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3025 2672 238 467 0 2556 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 12100

[startup+282.3 s]
/proc/loadavg: 2.00 1.87 1.17 3/179 17930
/proc/meminfo: memFree=29043720/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12232 CPUtime=282.3
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2924 0 0 0 17631 10599 0 0 25 0 1 0 21648809 12525568 2698 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3058 2698 238 467 0 2589 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 12232

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

[startup+307.101 s]
/proc/loadavg: 2.00 1.88 1.19 3/179 17932
/proc/meminfo: memFree=29012440/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12232 CPUtime=307.1
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2959 0 0 0 19157 11553 0 0 25 0 1 0 21648809 12525568 2716 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3058 2716 238 467 0 2589 0
Current children cumulated CPU time (s) 307.1
Current children cumulated vsize (KiB) 12232

[startup+319.9 s]
/proc/loadavg: 2.00 1.89 1.20 3/179 17932
/proc/meminfo: memFree=28994820/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12232 CPUtime=319.89
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 2979 0 0 0 19946 12043 0 0 25 0 1 0 21648809 12525568 2724 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3058 2724 238 467 0 2589 0
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (KiB) 12232

[startup+326.3 s]
/proc/loadavg: 2.00 1.89 1.20 3/179 17932
/proc/meminfo: memFree=28985508/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12356 CPUtime=326.3
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3002 0 0 0 20345 12285 0 0 25 0 1 0 21648809 12652544 2735 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3089 2735 238 467 0 2620 0
Current children cumulated CPU time (s) 326.3
Current children cumulated vsize (KiB) 12356

[startup+329.501 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 17932
/proc/meminfo: memFree=28980424/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12356 CPUtime=329.5
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3026 0 0 0 20547 12403 0 0 25 0 1 0 21648809 12652544 2746 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3089 2746 238 467 0 2620 0
Current children cumulated CPU time (s) 329.5
Current children cumulated vsize (KiB) 12356

[startup+331.106 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 17932
/proc/meminfo: memFree=28978680/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12356 CPUtime=331.1
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3032 0 0 0 20648 12462 0 0 25 0 1 0 21648809 12652544 2748 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3089 2748 238 467 0 2620 0
Current children cumulated CPU time (s) 331.1
Current children cumulated vsize (KiB) 12356

[startup+332.701 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 17932
/proc/meminfo: memFree=28976820/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12484 CPUtime=332.69
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3053 0 0 0 20747 12522 0 0 25 0 1 0 21648809 12783616 2760 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3121 2760 238 467 0 2652 0
Current children cumulated CPU time (s) 332.69
Current children cumulated vsize (KiB) 12484

[startup+333.501 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 17932
/proc/meminfo: memFree=28976448/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12620 CPUtime=333.5
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3078 0 0 0 20797 12553 0 0 25 0 1 0 21648809 12922880 2777 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3155 2777 238 467 0 2686 0
Current children cumulated CPU time (s) 333.5
Current children cumulated vsize (KiB) 12620

[startup+333.701 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 17932
/proc/meminfo: memFree=28976448/32951124 swapFree=67111528/67111528
[pid=17922] ppid=17920 vsize=12620 CPUtime=333.7
/proc/17922/stat : 17922 (pbct) R 17920 17922 17528 0 -1 4202496 3080 0 0 0 20812 12558 0 0 25 0 1 0 21648809 12922880 2777 4089446400 134512640 136421960 4290789136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17922/statm: 3155 2777 238 467 0 2686 0
Current children cumulated CPU time (s) 333.7
Current children cumulated vsize (KiB) 12620

Child status: 0
Real time (s): 333.775
CPU time (s): 333.78
CPU user time (s): 208.183
CPU system time (s): 125.597
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.183
system time used= 125.597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 879

runsolver used 0.430934 second user time and 1.10683 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-07 22:25:59
IDJOB=2700192
IDBENCH=79407
IDSOLVER=1208
FILE ID=node142/2700192-1278534359
PBS_JOBID= 11239193
Free space on /tmp= 73328 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh304_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700192-1278534359/watcher-2700192-1278534359 -o /tmp/evaluation-result-2700192-1278534359/solver-2700192-1278534359 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700192-1278534359.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342
RANDOM SEED=1672803092

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.874
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5311.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29422052 kB
Buffers:        134140 kB
Cached:        3049828 kB
SwapCached:          0 kB
Active:        1090604 kB
Inactive:      2284784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29422052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:      190576 kB
Mapped:          17048 kB
Slab:            89432 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   338860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73324 MiB
End job on node142 at 2010-07-07 22:31:33