Trace number 2700111

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.1 fixedOPTIMUM 230.38 230.385

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
MD5SUM11b5917216c9682d33b4eac8f024a9c6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark130
Best CPU time to get the best result obtained on this benchmark1.55476
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.00	c PB/CT 0.1.2 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/850 units 0
0.00/0.00	c vars 200
0.02/0.04	c 0.037994 9.95312 1 1937
0.02/0.04	o 28964
0.02/0.04	c 0.039993 10.1133 2 2825
0.02/0.04	o 27569
0.02/0.04	c 0.040993 10.1133 2 3706
0.02/0.04	o 25125
0.02/0.04	c 0.040993 10.1133 2 4107
0.02/0.04	o 24860
0.02/0.05	c 0.041993 10.1133 2 4709
0.02/0.05	o 24322
0.02/0.05	c 0.042993 10.1133 2 5590
0.02/0.05	o 23313
0.02/0.05	c 0.044993 10.1133 2 6474
0.02/0.05	o 21129
0.02/0.05	c 0.045993 10.1133 3 7360
0.02/0.05	o 19757
0.02/0.05	c 0.047992 10.1133 3 8234
0.02/0.05	o 16755
0.02/0.06	c 0.049992 10.1133 4 9206
0.02/0.06	o 15337
0.02/0.07	c 0.056991 10.1133 39 9682
0.02/0.07	o 15173
0.19/0.20	c 0.134979 10.2383 674 11683
0.19/0.20	o 15117
0.19/0.22	c 0.148977 10.2383 452 12373
0.19/0.22	o 15036
0.49/0.54	c 0.345947 10.3633 493 18724
0.49/0.54	o 14970
1.18/1.27	c 0.553915 10.3633 645 31069
1.18/1.27	o 14903
1.18/1.29	c 0.561914 10.3633 441 31878
1.18/1.29	o 14610
2.78/2.85	c 1.02484 10.6133 591 54227
2.78/2.85	o 14607
3.19/3.26	c 1.11483 10.6133 504 60413
3.19/3.26	o 14595
3.99/4.09	c 1.2808 10.6133 429 72755
3.99/4.09	o 14343
4.09/4.10	c 1.2848 10.6133 483 73164
4.09/4.10	o 14156
4.09/4.12	c 1.2878 10.6133 604 73979
4.09/4.12	o 13824
4.09/4.14	c 1.2908 10.6133 659 74288
4.09/4.14	o 13749
4.09/4.16	c 1.2958 10.6133 474 75029
4.09/4.16	o 13662
4.39/4.42	c 1.3368 10.6133 463 78843
4.39/4.42	o 13632
4.39/4.46	c 1.34479 10.6133 340 79893
4.39/4.46	o 13387
4.39/4.46	c 1.3478 10.6133 359 80193
4.39/4.46	o 13247
4.49/4.52	c 1.35679 10.6133 377 81661
4.49/4.52	o 13073
5.39/5.44	c 1.53877 10.6133 549 94483
5.39/5.44	o 13031
5.79/5.87	c 1.60875 10.6133 519 101932
5.79/5.87	o 12990
5.99/6.03	c 1.63875 10.6133 713 104611
5.99/6.03	o 12958
7.39/7.41	c 1.88571 10.6133 553 126801
7.39/7.41	o 12900
7.39/7.42	c 1.88671 10.6133 578 127176
7.39/7.42	o 12651
7.49/7.56	c 1.91071 10.6133 971 129559
7.49/7.56	o 12493
7.78/7.86	c 1.9717 10.7383 571 133651
7.78/7.86	o 12451
15.59/15.62	c 3.69644 10.7383 519 231678
15.59/15.62	o 12229
15.59/15.66	c 3.70444 10.7383 694 232523
15.59/15.66	o 12195
15.59/15.69	c 3.70644 10.7383 496 233155
15.59/15.69	o 12159
16.28/16.31	c 3.82042 10.7383 493 243316
16.28/16.31	o 12158
16.28/16.35	c 3.83142 10.7383 677 244061
16.28/16.35	o 12091
19.39/19.42	c 4.36934 10.8633 681 283487
19.39/19.42	o 11945
21.99/22.06	c 4.97324 10.8633 463 322134
21.99/22.06	o 11707
22.09/22.15	c 4.99724 10.8633 901 323490
22.09/22.15	o 11648
22.39/22.46	c 5.06223 10.8633 683 327447
22.39/22.46	o 11641
23.39/23.44	c 5.2422 10.8633 655 339302
23.39/23.44	o 11625
23.49/23.59	c 5.2712 10.8633 443 341993
23.49/23.59	o 11562
24.59/24.64	c 5.46317 10.8633 789 358273
24.59/24.64	o 11475
25.38/25.42	c 5.60415 10.8633 614 371298
25.38/25.42	o 11474
25.38/25.47	c 5.61615 10.8633 564 372699
25.38/25.47	o 11028
25.69/25.76	c 5.67614 10.9844 694 376608
25.69/25.76	o 11006
26.09/26.19	c 5.75512 10.9844 675 382941
26.09/26.19	o 10995
26.19/26.22	c 5.76412 10.9844 533 383643
26.19/26.22	o 10917
26.19/26.24	c 5.76812 10.9844 654 384346
26.19/26.24	o 10661
27.19/27.29	c 5.9331 10.9844 523 395298
27.19/27.29	o 10610
27.58/27.65	c 5.99509 10.9844 605 398517
27.58/27.65	o 10552
28.98/29.05	c 6.37303 10.9844 517 416294
28.98/29.05	o 10493
29.39/29.41	c 6.42602 10.9844 447 421436
29.39/29.41	o 10476
30.09/30.13	c 6.549 10.9844 864 431836
30.09/30.13	o 10434
31.79/31.82	c 6.81696 10.9844 464 454398
31.79/31.82	o 10402
32.79/32.89	c 7.02893 10.9844 565 469935
32.79/32.89	o 10388
32.90/32.92	c 7.03793 10.9844 734 470629
32.90/32.92	o 10233
34.28/34.33	c 7.32489 10.9844 967 488550
34.28/34.33	o 10156
34.58/34.61	c 7.41287 10.9844 745 494055
34.58/34.61	o 10112
34.98/35.01	c 7.52086 10.9844 755 499808
34.98/35.01	o 9930
35.19/35.28	c 7.59485 10.9844 811 503433
35.19/35.28	o 9888
36.29/36.33	c 7.77782 10.9844 487 518261
36.29/36.33	o 9840
36.69/36.73	c 7.84081 10.9844 463 523422
36.69/36.73	o 9728
38.79/38.81	c 8.21575 10.9844 544 549477
38.79/38.81	o 9692
42.69/42.73	c 9.06362 10.9844 618 597975
42.69/42.73	o 9633
42.69/42.76	c 9.07162 10.9844 437 598630
42.69/42.76	o 9606
43.29/43.39	c 9.1766 10.9844 693 605837
43.29/43.39	o 9559
43.89/43.93	c 9.27359 10.9844 749 610317
43.89/43.93	o 9476
44.08/44.15	c 9.31058 10.9844 656 613401
44.08/44.15	o 9444
45.49/45.52	c 9.53955 11.1094 946 629733
45.49/45.52	o 9405
45.49/45.54	c 9.54655 11.1094 641 630448
45.49/45.54	o 9207
45.99/46.07	c 9.64353 11.1094 884 637303
45.99/46.07	o 9186
47.30/47.35	c 9.8725 11.1094 729 653364
47.30/47.35	o 9141
49.19/49.28	c 10.3364 11.1094 523 673088
49.19/49.28	o 9061
49.69/49.75	c 10.4224 11.1094 798 679441
49.69/49.75	o 9055
50.79/50.83	c 10.6124 11.1094 576 693594
50.79/50.83	o 8964
51.19/51.25	c 10.6914 11.1094 735 700281
51.19/51.25	o 8800
52.49/52.54	c 10.9153 11.1094 759 712361
52.49/52.54	o 8765
52.59/52.62	c 10.9233 11.1094 734 713521
52.59/52.62	o 8648
56.49/56.51	c 11.7242 11.1094 749 755362
56.49/56.51	o 8622
56.79/56.85	c 11.8192 11.1094 950 759018
56.79/56.85	o 8579
58.49/58.58	c 12.3191 11.2344 1112 776268
58.49/58.58	o 8570
60.49/60.52	c 12.84 11.2344 442 797469
60.49/60.52	o 8495
63.58/63.63	c 13.7209 11.2344 606 830686
63.58/63.63	o 8486
63.89/63.92	c 13.8139 11.2344 742 832857
63.89/63.92	o 8446
64.39/64.49	c 13.9809 11.2344 856 840213
64.39/64.49	o 8329
65.29/65.36	c 14.2068 11.2344 937 849474
65.29/65.36	o 8214
65.48/65.53	c 14.2528 11.2344 661 851186
65.48/65.53	o 8132
67.68/67.71	c 14.8627 11.2344 716 875081
67.68/67.71	o 7964
67.68/67.79	c 14.8797 11.2344 657 876017
67.68/67.79	o 7878
68.09/68.18	c 14.9867 11.2344 475 880781
68.09/68.18	o 7866
68.38/68.42	c 15.0507 11.2344 626 883347
68.38/68.42	o 7821
72.09/72.14	c 16.0726 11.2344 561 921806
72.09/72.14	o 7812
77.48/77.57	c 17.5723 11.2344 827 962228
77.48/77.57	o 7799
77.68/77.72	c 17.6073 11.2344 760 964451
77.68/77.72	o 7765
78.88/78.94	c 17.9603 11.2344 836 978320
78.88/78.94	o 7730
79.19/79.21	c 18.0293 11.2344 735 981343
79.19/79.21	o 7646
79.79/79.86	c 18.2032 11.2344 934 988907
79.79/79.86	o 7625
81.68/81.77	c 18.7312 11.2344 796 1007419
81.68/81.77	o 7526
84.59/84.65	c 19.537 11.2344 843 1039513
84.59/84.65	o 7492
87.28/87.38	c 20.3129 11.2344 584 1065398
87.28/87.38	o 7485
89.88/89.92	c 21.0138 11.2344 602 1091085
89.88/89.92	o 7440
99.09/99.10	c 23.5664 11.3594 755 1184613
99.09/99.10	o 7356
99.99/100.03	c 23.8304 11.3594 735 1194481
99.99/100.03	o 7349
100.09/100.12	c 23.8624 11.3594 777 1195792
100.09/100.12	o 7186
100.89/100.90	c 24.0823 11.3594 751 1202858
100.89/100.90	o 7044
102.89/102.96	c 24.6672 11.3594 912 1223809
102.89/102.96	o 6951
103.09/103.13	c 24.7122 11.3594 674 1225725
103.09/103.13	o 6888
104.49/104.58	c 25.0822 11.3594 776 1240671
104.49/104.58	o 6694
105.98/106.00	c 25.4881 11.3594 774 1256507
105.98/106.00	o 6684
107.29/107.37	c 25.8371 11.3594 530 1267264
107.29/107.37	o 6676
108.59/108.65	c 26.192 11.3594 718 1279197
108.59/108.65	o 6672
113.08/113.10	c 27.4198 11.3594 796 1322881
113.08/113.10	o 6534
115.68/115.71	c 28.1847 11.3594 1000 1348793
115.68/115.71	o 6519
118.69/118.74	c 29.0316 11.3594 795 1377929
118.69/118.74	o 6501
119.38/119.47	c 29.2216 11.3594 832 1385072
119.38/119.47	o 6479
119.89/119.99	c 29.3585 11.3594 705 1390550
119.89/119.99	o 6415
119.99/120.05	c 29.3805 11.3594 579 1391474
119.99/120.05	o 6368
123.09/123.14	c 30.2424 11.3594 500 1422311
123.09/123.14	o 6366
124.09/124.11	c 30.5254 11.3594 868 1431913
124.09/124.11	o 6284
125.48/125.59	c 30.9183 11.3594 919 1446383
125.48/125.59	o 6271
125.88/125.96	c 31.0273 11.3594 699 1450516
125.88/125.96	o 6242
126.39/126.45	c 31.1543 11.3594 429 1455757
126.39/126.45	o 6188
127.89/127.96	c 31.5482 11.3594 783 1469072
127.89/127.97	o 6159
135.49/135.52	c 33.5429 11.3594 484 1534140
135.49/135.52	o 6104
141.49/141.56	c 35.1277 11.4844 988 1575176
141.49/141.56	o 6064
143.00/143.05	c 35.5426 11.4844 1014 1586034
143.00/143.05	o 5948
143.28/143.31	c 35.6236 11.4844 796 1588983
143.28/143.31	o 5924
144.89/144.94	c 36.0745 11.4844 884 1602912
144.89/144.94	o 5893
146.19/146.29	c 36.4205 11.4844 882 1615671
146.19/146.29	o 5884
147.08/147.17	c 36.6514 11.4844 938 1622909
147.08/147.17	o 5852
148.98/149.08	c 37.1903 11.4844 517 1639799
148.98/149.08	o 5817
149.18/149.25	c 37.2463 11.4844 796 1641763
149.18/149.25	o 5791
150.29/150.36	c 37.5323 11.4844 473 1651112
150.29/150.36	o 5711
154.99/155.02	c 38.7771 11.4844 754 1688567
154.99/155.02	o 5687
155.18/155.22	c 38.8461 11.4844 941 1689960
155.18/155.22	o 5665
156.29/156.36	c 39.163 11.4844 767 1700840
156.29/156.36	o 5661
157.88/157.94	c 39.601 11.4844 716 1711734
157.88/157.94	o 5657
160.78/160.88	c 40.3989 11.4844 686 1737468
160.78/160.89	o 5598
162.38/162.43	c 40.7908 11.4844 667 1749852
162.38/162.43	o 5556
162.89/162.91	c 40.9238 11.4844 578 1753220
162.89/162.91	o 5531
162.99/163.10	c 40.9768 11.4844 634 1755477
162.99/163.10	o 5415
164.78/164.89	c 41.4627 11.4844 698 1770630
164.78/164.89	o 5318
165.99/166.02	c 41.7806 11.4844 571 1782248
165.99/166.02	o 5035
166.29/166.32	c 41.8596 11.6172 880 1785452
166.29/166.32	o 4983
167.99/168.00	c 42.3026 11.6172 723 1798236
167.99/168.00	o 4892
169.59/169.61	c 42.7685 11.6172 762 1811470
169.59/169.61	o 4858
170.09/170.12	c 42.8965 11.6172 785 1815559
170.09/170.12	o 4833
173.29/173.36	c 43.7403 11.6172 572 1838274
173.29/173.36	o 4755
174.59/174.68	c 44.1183 11.6172 604 1848467
174.59/174.68	o 4745
176.19/176.20	c 44.5712 11.6172 679 1862015
176.19/176.20	o 4668
177.78/177.85	c 45.0072 11.6172 770 1874873
177.78/177.85	o 4629
178.69/178.74	c 45.2391 11.6172 523 1881436
178.69/178.74	o 4626
178.98/179.03	c 45.3071 11.6172 715 1884296
178.98/179.03	o 4510
179.89/179.97	c 45.5661 11.6172 894 1892269
179.89/179.97	o 4486
180.79/180.89	c 45.823 11.6172 615 1899323
180.79/180.89	o 4437
180.99/181.05	c 45.866 11.6172 441 1901101
180.99/181.05	o 4387
182.08/182.19	c 46.177 11.6172 561 1910599
182.08/182.19	o 4379
184.38/184.41	c 46.7859 11.6172 853 1921853
184.38/184.41	o 4357
184.58/184.63	c 46.8499 11.6172 759 1923887
184.58/184.63	o 4341
189.79/189.81	c 48.2367 11.6172 802 1964488
189.79/189.81	o 4328
190.29/190.39	c 48.3936 11.6172 787 1969237
190.29/190.39	o 4219
191.08/191.15	c 48.5876 11.6172 752 1975198
191.08/191.15	o 4029
191.58/191.64	c 48.7196 11.6172 729 1979248
191.58/191.64	o 4005
193.18/193.28	c 49.1645 11.6172 678 1992110
193.18/193.28	o 3833
194.09/194.19	c 49.4155 11.6172 829 1998217
194.09/194.19	o 3825
194.59/194.64	c 49.5255 11.6172 482 2001451
194.59/194.64	o 3804
196.49/196.58	c 50.0274 11.6172 616 2016836
196.49/196.58	o 3793
196.89/196.94	c 50.1174 11.6172 494 2019729
196.89/196.94	o 3764
197.28/197.37	c 50.2374 11.6172 515 2022563
197.28/197.37	o 3729
198.18/198.20	c 50.4563 11.6172 774 2028994
198.18/198.20	o 3713
198.59/198.69	c 50.5713 11.6172 816 2032046
198.59/198.69	o 3594
200.49/200.54	c 51.0752 11.6172 558 2045683
200.49/200.54	o 3566
201.69/201.72	c 51.3862 11.6172 526 2055003
201.69/201.72	o 3558
202.48/202.53	c 51.6012 11.6172 825 2060731
202.48/202.53	o 3479
206.48/206.57	c 52.684 11.6172 787 2084784
206.48/206.57	o 3420
207.79/207.83	c 53.0109 11.6172 521 2094052
207.79/207.83	o 3409
208.59/208.60	c 53.2229 11.6172 812 2099646
208.59/208.60	o 3373
208.59/208.65	c 53.2429 11.6172 568 2100217
208.59/208.65	o 3259
208.79/208.88	c 53.2919 11.6172 821 2101933
208.79/208.88	o 3231
209.68/209.71	c 53.5229 11.6172 703 2108139
209.68/209.71	o 3098
209.68/209.76	c 53.5409 11.6172 478 2108651
209.68/209.76	o 3071
210.89/210.92	c 53.8498 11.6172 580 2116759
210.89/210.92	o 3043
211.19/211.24	c 53.9318 11.6172 608 2118967
211.19/211.24	o 2961
212.68/212.72	c 54.3107 11.6172 905 2129454
212.68/212.72	o 2857
212.79/212.81	c 54.3347 11.6172 750 2130222
212.79/212.81	o 2815
213.48/213.57	c 54.5607 11.7344 541 2135596
213.48/213.57	o 2697
214.28/214.36	c 54.7807 11.7344 787 2140717
214.28/214.36	o 2683
214.99/215.00	c 54.9756 11.7344 975 2144866
214.99/215.00	o 2647
215.29/215.32	c 55.0636 11.7344 542 2147352
215.29/215.32	o 2611
215.38/215.44	c 55.1026 11.7344 869 2148115
215.38/215.44	o 2600
215.59/215.67	c 55.1536 11.7344 702 2149764
215.59/215.67	o 2592
215.98/216.01	c 55.2426 11.7344 811 2152337
215.98/216.01	o 2572
216.89/216.94	c 55.4816 11.7344 545 2159081
216.89/216.94	o 2531
217.29/217.37	c 55.5915 11.7344 641 2162318
217.29/217.37	o 2465
217.99/218.03	c 55.7585 11.7344 807 2166662
217.99/218.03	o 2459
217.99/218.08	c 55.7755 11.7344 522 2167072
217.99/218.08	o 2441
218.38/218.40	c 55.8605 11.7344 519 2169204
218.38/218.40	o 2422
218.38/218.49	c 55.8895 11.7344 766 2169798
218.38/218.49	o 2362
218.49/218.52	c 55.8945 11.7344 853 2170057
218.49/218.52	o 2337
218.89/218.93	c 56.0205 11.7344 866 2172673
218.89/218.93	o 2314
219.09/219.12	c 56.0815 11.7344 626 2174406
219.09/219.12	o 2186
220.59/220.66	c 56.4674 11.7344 864 2184053
220.59/220.66	o 2177
222.09/222.18	c 56.8544 11.7344 660 2194691
222.09/222.18	o 2074
222.19/222.28	c 56.8884 11.7344 555 2195482
222.19/222.28	o 2019
222.49/222.53	c 56.9503 11.7344 802 2197044
222.49/222.53	o 1968
222.49/222.58	c 56.9633 11.7344 486 2197444
222.49/222.58	o 1933
223.09/223.20	c 57.1323 11.7344 960 2201246
223.09/223.20	o 1838
224.08/224.14	c 57.4073 11.7344 952 2206717
224.08/224.14	o 1753
224.39/224.43	c 57.4953 11.7344 546 2208561
224.39/224.43	o 1731
224.78/224.83	c 57.6042 11.7344 834 2211122
224.78/224.83	o 1728
224.78/224.88	c 57.6182 11.7344 570 2211535
224.78/224.88	o 1685
225.08/225.19	c 57.7242 11.7344 725 2213799
225.08/225.19	o 1659
226.18/226.26	c 58.0552 11.7344 537 2221019
226.18/226.26	o 1599
226.38/226.44	c 58.1282 11.7344 670 2222296
226.38/226.44	o 1586
226.59/226.63	c 58.1712 11.7344 735 2223453
226.59/226.63	o 1553
226.68/226.71	c 58.1942 11.7344 942 2224066
226.68/226.71	o 1339
227.39/227.44	c 58.3991 11.7344 446 2228603
227.39/227.44	o 1317
227.39/227.46	c 58.4051 11.7344 493 2228790
227.39/227.46	o 1229
227.48/227.50	c 58.4191 11.7344 631 2229263
227.48/227.50	o 1116
227.48/227.58	c 58.4491 11.7344 920 2229876
227.48/227.58	o 1106
227.70/227.77	c 58.5221 11.7344 612 2231128
227.70/227.77	o 1097
227.79/227.82	c 58.5391 11.8555 815 2231543
227.79/227.82	o 1088
227.99/228.01	c 58.6041 11.8555 585 2233022
227.99/228.01	o 1084
227.99/228.07	c 58.6221 11.8555 867 2233579
227.99/228.07	o 1077
228.08/228.16	c 58.6521 11.8555 701 2234256
228.08/228.16	o 976
228.39/228.42	c 58.7381 11.8555 1044 2235786
228.39/228.42	o 966
228.48/228.54	c 58.7731 11.8555 860 2236584
228.48/228.54	o 952
228.58/228.68	c 58.7981 11.8555 914 2237726
228.58/228.68	o 948
228.79/228.89	c 58.8541 11.8555 760 2239318
228.79/228.89	o 905
229.09/229.11	c 58.94 11.8555 1023 2240805
229.09/229.11	o 874
229.09/229.16	c 58.955 11.8555 685 2241181
229.09/229.16	o 867
229.18/229.20	c 58.971 11.8555 808 2241505
229.18/229.20	o 824
229.18/229.23	c 58.977 11.8555 883 2241705
229.18/229.23	o 782
229.18/229.24	c 58.981 11.8555 921 2241845
229.18/229.24	o 735
229.29/229.32	c 59.021 11.8555 684 2242593
229.29/229.32	o 651
229.39/229.47	c 59.079 11.8555 741 2243710
229.39/229.47	o 606
229.89/229.96	c 59.274 11.8555 1227 2247233
229.89/229.96	o 594
229.89/229.96	c 59.276 11.8555 661 2247407
229.89/229.96	o 503
229.98/230.05	c 59.32 11.8555 1133 2248077
229.98/230.05	o 492
230.09/230.14	c 59.351 11.8555 871 2248678
230.09/230.14	o 481
230.09/230.18	c 59.371 11.8555 1119 2249121
230.09/230.18	o 404
230.18/230.23	c 59.397 11.8555 1395 2249500
230.18/230.23	o 400
230.18/230.24	c 59.404 11.8555 790 2249647
230.18/230.24	o 377
230.18/230.29	c 59.424 11.8555 1019 2250039
230.18/230.29	o 362
230.28/230.30	c 59.432 11.8555 1102 2250167
230.28/230.30	o 320
230.28/230.33	c 59.454 11.8555 1311 2250596
230.28/230.33	o 182
230.28/230.34	c 59.46 11.8555 1353 2250677
230.28/230.34	o 150
230.28/230.35	c 59.47 11.8555 1149 2250829
230.28/230.35	o 130
230.28/230.37	c 59.481 11.8555 1293 2250996
230.28/230.37	s OPTIMUM FOUND
230.28/230.37	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	130

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700111-1278533981/watcher-2700111-1278533981 -o /tmp/evaluation-result-2700111-1278533981/solver-2700111-1278533981 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700111-1278533981.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.11 0.91 0.34 4/196 18561
/proc/meminfo: memFree=29151344/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=2136 CPUtime=0
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 21610439 2187264 175 4089446400 134512640 136422188 4287630000 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18561/statm: 534 175 144 467 0 65 0

[startup+0.0318661 s]
/proc/loadavg: 2.11 0.91 0.34 4/196 18561
/proc/meminfo: memFree=29151344/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=8224 CPUtime=0.02
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 1760 0 0 0 2 0 0 0 23 0 1 0 21610439 8421376 1679 4089446400 134512640 136422188 4287630000 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18561/statm: 2056 1686 193 467 0 1587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8224

[startup+0.100853 s]
/proc/loadavg: 2.11 0.91 0.34 4/196 18561
/proc/meminfo: memFree=29151344/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10480 CPUtime=0.09
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2347 0 0 0 7 2 0 0 23 0 1 0 21610439 10731520 2255 4089446400 134512640 136422188 4287630000 18446744073709551615 134863952 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18561/statm: 2620 2255 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300814 s]
/proc/loadavg: 2.11 0.91 0.34 4/196 18561
/proc/meminfo: memFree=29151344/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10608 CPUtime=0.29
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2379 0 0 0 19 10 0 0 23 0 1 0 21610439 10862592 2285 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18561/statm: 2652 2285 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700729 s]
/proc/loadavg: 2.11 0.91 0.34 4/196 18561
/proc/meminfo: memFree=29151344/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10608 CPUtime=0.69
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2404 0 0 0 39 30 0 0 25 0 1 0 21610439 10862592 2309 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2652 2309 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50057 s]
/proc/loadavg: 2.11 0.91 0.34 3/197 18562
/proc/meminfo: memFree=29142780/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10736 CPUtime=1.49
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2414 0 0 0 63 86 0 0 25 0 1 0 21610439 10993664 2317 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2684 2317 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10025 s]
/proc/loadavg: 2.11 0.91 0.34 3/197 18562
/proc/meminfo: memFree=29142160/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10864 CPUtime=3.08
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2447 0 0 0 107 201 0 0 25 0 1 0 21610439 11124736 2349 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2716 2349 238 467 0 2247 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10864

[startup+6.30062 s]
/proc/loadavg: 2.10 0.93 0.35 3/197 18562
/proc/meminfo: memFree=29142784/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10864 CPUtime=6.28
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2479 0 0 0 167 461 0 0 25 0 1 0 21610439 11124736 2368 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2716 2368 238 467 0 2247 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10864

[startup+12.7003 s]
/proc/loadavg: 2.10 0.94 0.36 3/197 18562
/proc/meminfo: memFree=29143664/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=10992 CPUtime=12.69
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2518 0 0 0 300 969 0 0 25 0 1 0 21610439 11255808 2403 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2748 2403 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5008 s]
/proc/loadavg: 2.07 1.00 0.38 3/197 18562
/proc/meminfo: memFree=29144388/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=11120 CPUtime=25.49
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2568 0 0 0 562 1987 0 0 25 0 1 0 21610439 11386880 2439 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2780 2439 238 467 0 2311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11120

[startup+51.1007 s]
/proc/loadavg: 2.05 1.08 0.43 3/197 18562
/proc/meminfo: memFree=29143332/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=11372 CPUtime=51.09
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2657 0 0 0 1067 4042 0 0 25 0 1 0 21610439 11644928 2497 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2843 2497 238 467 0 2374 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11372

[startup+102.306 s]
/proc/loadavg: 2.02 1.22 0.51 3/197 18564
/proc/meminfo: memFree=29132240/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=11628 CPUtime=102.3
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2742 0 0 0 2449 7781 0 0 21 0 1 0 21610439 11907072 2552 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18561/statm: 2907 2552 238 467 0 2438 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11628

[startup+162.301 s]
/proc/loadavg: 2.00 1.36 0.60 3/197 18566
/proc/meminfo: memFree=29119292/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=11756 CPUtime=162.28
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2816 0 0 0 4075 12153 0 0 25 0 1 0 21610439 12038144 2593 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 2939 2593 238 467 0 2470 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 11756

[startup+222.301 s]
/proc/loadavg: 2.00 1.47 0.68 3/197 18567
/proc/meminfo: memFree=29108164/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12012 CPUtime=222.29
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2953 0 0 0 5689 16540 0 0 25 0 1 0 21610439 12300288 2664 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3003 2664 238 467 0 2534 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 12012

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

[startup+223.9 s]
/proc/loadavg: 2.00 1.48 0.69 3/197 18568
/proc/meminfo: memFree=29107912/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12012 CPUtime=223.89
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2959 0 0 0 5733 16656 0 0 25 0 1 0 21610439 12300288 2667 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3003 2667 238 467 0 2534 0
Current children cumulated CPU time (s) 223.89
Current children cumulated vsize (KiB) 12012

[startup+227.101 s]
/proc/loadavg: 2.00 1.48 0.69 3/197 18568
/proc/meminfo: memFree=29106804/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12012 CPUtime=227.09
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2975 0 0 0 5831 16878 0 0 25 0 1 0 21610439 12300288 2674 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3003 2674 238 467 0 2534 0
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (KiB) 12012

[startup+228.7 s]
/proc/loadavg: 2.00 1.49 0.70 3/197 18568
/proc/meminfo: memFree=29106800/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12136 CPUtime=228.69
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 2996 0 0 0 5880 16989 0 0 25 0 1 0 21610439 12427264 2683 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3034 2683 238 467 0 2565 0
Current children cumulated CPU time (s) 228.69
Current children cumulated vsize (KiB) 12136

[startup+229.501 s]
/proc/loadavg: 2.00 1.49 0.70 3/197 18568
/proc/meminfo: memFree=29106800/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12136 CPUtime=229.49
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 3011 0 0 0 5909 17040 0 0 25 0 1 0 21610439 12427264 2690 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3034 2690 238 467 0 2565 0
Current children cumulated CPU time (s) 229.49
Current children cumulated vsize (KiB) 12136

[startup+229.906 s]
/proc/loadavg: 2.00 1.49 0.70 3/197 18568
/proc/meminfo: memFree=29106304/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12136 CPUtime=229.89
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 3012 0 0 0 5925 17064 0 0 25 0 1 0 21610439 12427264 2691 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3034 2691 238 467 0 2565 0
Current children cumulated CPU time (s) 229.89
Current children cumulated vsize (KiB) 12136

[startup+230.301 s]
/proc/loadavg: 2.00 1.49 0.70 3/197 18568
/proc/meminfo: memFree=29106304/32951124 swapFree=67111528/67111528
[pid=18561] ppid=18559 vsize=12136 CPUtime=230.28
/proc/18561/stat : 18561 (pbct) R 18559 18561 18190 0 -1 4202496 3025 0 0 0 5942 17086 0 0 25 0 1 0 21610439 12427264 2696 4089446400 134512640 136422188 4287630000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18561/statm: 3034 2696 238 467 0 2565 0
Current children cumulated CPU time (s) 230.28
Current children cumulated vsize (KiB) 12136

Child status: 0
Real time (s): 230.385
CPU time (s): 230.38
CPU user time (s): 59.491
CPU system time (s): 170.889
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 12136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.491
system time used= 170.889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3035
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= 5
involuntary context switches= 4683

runsolver used 0.296954 second user time and 0.767883 second system time

The end

Launcher Data 

Begin job on node143 at 2010-07-07 22:19:41
IDJOB=2700111
IDBENCH=79400
IDSOLVER=1212
FILE ID=node143/2700111-1278533981
PBS_JOBID= 11239192
Free space on /tmp= 73244 MiB

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

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

MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6
RANDOM SEED=2062217385

node143.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.829
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.65
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.829
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.829
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.82
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.829
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.72
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.829
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	: 5338.82
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.829
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.75
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.829
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.74
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.829
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29151740 kB
Buffers:        133976 kB
Cached:        3168964 kB
SwapCached:          0 kB
Active:        1876344 kB
Inactive:      1765124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29151740 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:      338492 kB
Mapped:          20572 kB
Slab:            92268 kB
PageTables:       5916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1649312 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= 73244 MiB
End job on node143 at 2010-07-07 22:23:31