Trace number 2700108

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 231.293 231.291

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.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/850 units 0
0.00/0.00	c vars 200
0.02/0.04	c 0.036994 9.95312 1 1937
0.02/0.04	o 28964
0.02/0.04	c 0.038994 10.1133 2 2825
0.02/0.04	o 27569
0.02/0.04	c 0.038994 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.044993 10.1133 3 7360
0.02/0.05	o 19757
0.02/0.05	c 0.045993 10.1133 3 8234
0.02/0.05	o 16755
0.02/0.06	c 0.045993 10.1133 4 9206
0.02/0.06	o 15337
0.02/0.07	c 0.050992 10.1133 39 9682
0.02/0.07	o 15173
0.09/0.19	c 0.12998 10.2383 674 11683
0.09/0.19	o 15117
0.19/0.21	c 0.138978 10.2383 452 12373
0.19/0.21	o 15036
0.49/0.53	c 0.343947 10.3633 493 18724
0.49/0.53	o 14970
1.29/1.34	c 0.847871 10.3633 645 31069
1.29/1.34	o 14903
1.29/1.35	c 0.858869 10.3633 441 31878
1.29/1.35	o 14610
2.99/3.09	c 1.9537 10.6133 591 54227
2.99/3.09	o 14607
3.49/3.54	c 2.22366 10.6133 504 60413
3.49/3.54	o 14595
4.39/4.46	c 2.81157 10.6133 429 72755
4.39/4.46	o 14343
4.39/4.48	c 2.81957 10.6133 483 73164
4.39/4.48	o 14156
4.49/4.50	c 2.83057 10.6133 604 73979
4.49/4.50	o 13824
4.49/4.52	c 2.84357 10.6133 659 74288
4.49/4.52	o 13749
4.49/4.55	c 2.85857 10.6133 474 75029
4.49/4.55	o 13662
4.79/4.83	c 3.04754 10.6133 463 78843
4.79/4.83	o 13632
4.79/4.87	c 3.07253 10.6133 340 79893
4.79/4.87	o 13387
4.79/4.88	c 3.07853 10.6133 359 80193
4.79/4.88	o 13247
4.89/4.94	c 3.11053 10.6133 377 81661
4.89/4.94	o 13073
5.89/5.96	c 3.74543 10.6133 549 94483
5.89/5.96	o 13031
6.39/6.44	c 4.04738 10.6133 519 101932
6.39/6.44	o 12990
6.59/6.61	c 4.15737 10.6133 713 104611
6.59/6.61	o 12958
8.09/8.13	c 5.10422 10.6133 553 126801
8.09/8.13	o 12900
8.09/8.14	c 5.10822 10.6133 578 127176
8.09/8.14	o 12651
8.29/8.30	c 5.21021 10.6133 971 129559
8.29/8.30	o 12493
8.59/8.64	c 5.41818 10.7383 571 133651
8.59/8.64	o 12451
17.19/17.24	c 10.8623 10.7383 519 231678
17.19/17.24	o 12229
17.19/17.27	c 10.8803 10.7383 694 232523
17.19/17.27	o 12195
17.29/17.31	c 10.9023 10.7383 496 233155
17.29/17.31	o 12159
17.89/17.93	c 11.3073 10.7383 493 243316
17.89/17.93	o 12158
17.89/17.97	c 11.3323 10.7383 677 244061
17.89/17.97	o 12091
20.99/21.03	c 13.261 10.8633 681 283487
20.99/21.03	o 11945
23.59/23.65	c 14.9197 10.8633 463 322134
23.59/23.65	o 11707
23.69/23.74	c 14.9717 10.8633 901 323490
23.69/23.74	o 11648
23.99/24.05	c 15.1717 10.8633 683 327447
23.99/24.05	o 11641
24.99/25.03	c 15.7816 10.8633 655 339302
24.99/25.03	o 11625
25.09/25.18	c 15.8666 10.8633 443 341993
25.09/25.18	o 11562
26.19/26.22	c 16.5375 10.8633 789 358273
26.19/26.22	o 11475
26.89/26.99	c 17.0154 10.8633 614 371298
26.89/26.99	o 11474
26.99/27.05	c 17.0494 10.8633 564 372699
26.99/27.05	o 11028
27.29/27.33	c 17.2264 10.9844 694 376608
27.29/27.33	o 11006
27.69/27.77	c 17.4923 10.9844 675 382941
27.69/27.77	o 10995
27.79/27.80	c 17.5123 10.9844 533 383643
27.79/27.80	o 10917
27.79/27.81	c 17.5233 10.9844 654 384346
27.79/27.81	o 10661
28.79/28.86	c 18.1842 10.9844 523 395298
28.79/28.86	o 10610
29.19/29.21	c 18.3972 10.9844 605 398517
29.19/29.21	o 10552
30.59/30.61	c 19.2541 10.9844 517 416294
30.59/30.61	o 10493
30.89/30.97	c 19.474 10.9844 447 421436
30.89/30.97	o 10476
31.59/31.69	c 19.925 10.9844 864 431836
31.59/31.69	o 10434
33.29/33.37	c 20.9608 10.9844 464 454398
33.29/33.37	o 10402
34.39/34.43	c 21.6567 10.9844 565 469935
34.39/34.43	o 10388
34.39/34.47	c 21.6747 10.9844 734 470629
34.39/34.47	o 10233
35.78/35.87	c 22.5416 10.9844 967 488550
35.78/35.87	o 10156
36.08/36.15	c 22.7215 10.9844 745 494055
36.08/36.15	o 10112
36.49/36.54	c 22.9665 10.9844 755 499808
36.49/36.54	o 9930
36.79/36.82	c 23.1485 10.9844 811 503433
36.79/36.82	o 9888
37.79/37.85	c 23.8154 10.9844 487 518261
37.79/37.85	o 9840
38.19/38.25	c 24.0563 10.9844 463 523422
38.19/38.25	o 9728
40.29/40.33	c 25.3661 10.9844 544 549477
40.29/40.33	o 9692
44.18/44.22	c 27.8028 10.9844 618 597975
44.18/44.22	o 9633
44.18/44.26	c 27.8158 10.9844 437 598630
44.18/44.26	o 9606
44.79/44.88	c 28.1937 10.9844 693 605837
44.79/44.88	o 9559
45.39/45.42	c 28.5307 10.9844 749 610317
45.39/45.42	o 9476
45.59/45.64	c 28.6636 10.9844 656 613401
45.59/45.64	o 9444
46.99/47.00	c 29.5165 11.1094 946 629733
46.99/47.00	o 9405
46.99/47.03	c 29.5325 11.1094 641 630448
46.99/47.03	o 9207
47.49/47.55	c 29.8605 11.1094 884 637303
47.49/47.55	o 9186
48.79/48.83	c 30.6703 11.1094 729 653364
48.79/48.83	o 9141
50.69/50.74	c 31.9012 11.1094 523 673088
50.69/50.74	o 9061
51.19/51.22	c 32.2231 11.1094 798 679441
51.19/51.22	o 9055
52.19/52.28	c 32.872 11.1094 576 693594
52.19/52.28	o 8964
52.59/52.70	c 33.143 11.1094 735 700281
52.59/52.70	o 8800
53.89/53.99	c 33.9698 11.1094 759 712361
53.89/53.99	o 8765
53.99/54.07	c 34.0098 11.1094 734 713521
53.99/54.07	o 8648
57.89/57.94	c 36.4915 11.1094 749 755362
57.89/57.94	o 8622
58.20/58.28	c 36.6954 11.1094 950 759018
58.20/58.28	o 8579
59.99/60.00	c 37.8173 11.2344 1112 776268
59.99/60.00	o 8570
61.89/61.93	c 39.0181 11.2344 442 797469
61.89/61.93	o 8495
64.99/65.02	c 40.9168 11.2344 606 830686
64.99/65.02	o 8486
65.29/65.31	c 41.0948 11.2344 742 832857
65.29/65.31	o 8446
65.79/65.88	c 41.4407 11.2344 856 840213
65.79/65.88	o 8329
66.69/66.75	c 41.9806 11.2344 937 849474
66.69/66.75	o 8214
66.89/66.92	c 42.0806 11.2344 661 851186
66.89/66.92	o 8132
68.99/69.08	c 43.4404 11.2344 716 875081
68.99/69.08	o 7964
69.09/69.17	c 43.4964 11.2344 657 876017
69.09/69.17	o 7878
69.49/69.56	c 43.7473 11.2344 475 880781
69.49/69.56	o 7866
69.69/69.79	c 43.8933 11.2344 626 883347
69.69/69.79	o 7821
73.49/73.50	c 46.238 11.2344 561 921806
73.49/73.50	o 7812
78.89/78.90	c 49.6385 11.2344 827 962228
78.89/78.90	o 7799
78.99/79.06	c 49.7424 11.2344 760 964451
78.99/79.06	o 7765
80.20/80.27	c 50.5053 11.2344 836 978320
80.20/80.27	o 7730
80.49/80.54	c 50.6853 11.2344 735 981343
80.49/80.54	o 7646
81.09/81.18	c 51.0892 11.2344 934 988907
81.09/81.18	o 7625
82.99/83.09	c 52.304 11.2344 796 1007419
82.99/83.09	o 7526
85.89/85.96	c 54.1298 11.2344 843 1039513
85.89/85.96	o 7492
88.59/88.67	c 55.7765 11.2344 584 1065398
88.59/88.67	o 7485
91.20/91.21	c 57.3683 11.2344 602 1091085
91.20/91.21	o 7440
100.29/100.35	c 63.0474 11.3594 755 1184613
100.29/100.35	o 7356
101.20/101.27	c 63.6193 11.3594 735 1194481
101.20/101.27	o 7349
101.29/101.36	c 63.6863 11.3594 777 1195792
101.29/101.36	o 7186
102.09/102.14	c 64.1762 11.3594 751 1202858
102.09/102.14	o 7044
104.09/104.19	c 65.3991 11.3594 912 1223809
104.09/104.19	o 6951
104.29/104.36	c 65.501 11.3594 674 1225725
104.29/104.36	o 6888
105.79/105.81	c 66.3859 11.3594 776 1240671
105.79/105.81	o 6694
107.19/107.22	c 67.2388 11.3594 774 1256507
107.19/107.22	o 6684
108.49/108.58	c 68.0777 11.3594 530 1267264
108.49/108.58	o 6676
109.79/109.85	c 68.8525 11.3594 718 1279197
109.79/109.85	o 6672
114.19/114.29	c 71.6441 11.3594 796 1322881
114.19/114.29	o 6534
116.79/116.90	c 73.2399 11.3594 1000 1348793
116.79/116.90	o 6519
119.90/119.90	c 75.1506 11.3594 795 1377929
119.90/119.90	o 6501
120.60/120.63	c 75.5885 11.3594 832 1385072
120.60/120.63	o 6479
121.10/121.15	c 75.9375 11.3594 705 1390550
121.10/121.15	o 6415
121.20/121.21	c 75.9764 11.3594 579 1391474
121.20/121.21	o 6368
124.19/124.28	c 77.8982 11.3594 500 1422311
124.19/124.28	o 6366
125.20/125.25	c 78.4911 11.3594 868 1431913
125.20/125.25	o 6284
126.69/126.73	c 79.3939 11.3594 919 1446383
126.69/126.73	o 6271
127.09/127.10	c 79.6369 11.3594 699 1450516
127.09/127.10	o 6242
127.50/127.59	c 79.9738 11.3594 429 1455757
127.50/127.59	o 6188
128.99/129.09	c 80.8927 11.3594 783 1469072
128.99/129.09	o 6159
136.59/136.63	c 85.559 11.3594 484 1534140
136.59/136.63	o 6104
142.59/142.65	c 89.3034 11.4844 988 1575176
142.59/142.65	o 6064
144.10/144.13	c 90.2103 11.4844 1014 1586034
144.10/144.13	o 5948
144.30/144.39	c 90.3743 11.4844 796 1588983
144.30/144.39	o 5924
145.99/146.02	c 91.3551 11.4844 884 1602912
145.99/146.02	o 5893
147.30/147.36	c 92.213 11.4844 882 1615671
147.30/147.36	o 5884
148.19/148.24	c 92.7339 11.4844 938 1622909
148.19/148.24	o 5852
150.09/150.14	c 93.9367 11.4844 517 1639799
150.09/150.14	o 5817
150.29/150.31	c 94.0447 11.4844 796 1641763
150.29/150.31	o 5791
151.39/151.42	c 94.7176 11.4844 473 1651112
151.39/151.42	o 5711
155.99/156.07	c 97.6792 11.4844 754 1688567
155.99/156.07	o 5687
156.20/156.27	c 97.8011 11.4844 941 1689960
156.20/156.27	o 5665
157.39/157.41	c 98.539 11.4844 767 1700840
157.39/157.41	o 5661
158.89/158.98	c 99.5089 11.4844 716 1711734
158.89/158.98	o 5657
161.89/161.92	c 101.359 11.4844 686 1737468
161.89/161.92	o 5598
163.39/163.45	c 102.299 11.4844 667 1749852
163.39/163.45	o 5556
163.90/163.93	c 102.601 11.4844 578 1753220
163.90/163.93	o 5531
164.09/164.12	c 102.702 11.4844 634 1755477
164.09/164.12	o 5415
165.89/165.91	c 103.806 11.4844 698 1770630
165.89/165.91	o 5318
166.99/167.04	c 104.515 11.4844 571 1782248
166.99/167.04	o 5035
167.30/167.34	c 104.725 11.6172 880 1785452
167.30/167.34	o 4983
168.99/169.02	c 105.771 11.6172 723 1798236
168.99/169.02	o 4892
170.59/170.63	c 106.713 11.6172 762 1811470
170.59/170.63	o 4858
171.09/171.13	c 107.02 11.6172 785 1815559
171.09/171.13	o 4833
174.29/174.37	c 109.032 11.6172 572 1838274
174.29/174.37	o 4755
175.59/175.69	c 109.88 11.6172 604 1848467
175.59/175.69	o 4745
177.19/177.20	c 110.826 11.6172 679 1862015
177.19/177.20	o 4668
178.79/178.85	c 111.846 11.6172 770 1874873
178.79/178.85	o 4629
179.69/179.74	c 112.399 11.6172 523 1881436
179.69/179.74	o 4626
179.99/180.03	c 112.577 11.6172 715 1884296
179.99/180.03	o 4510
180.90/180.97	c 113.159 11.6172 894 1892269
180.90/180.97	o 4486
181.79/181.88	c 113.745 11.6172 615 1899323
181.79/181.88	o 4437
181.99/182.04	c 113.849 11.6172 441 1901101
181.99/182.04	o 4387
183.10/183.18	c 114.562 11.6172 561 1910599
183.10/183.18	o 4379
185.40/185.40	c 115.98 11.6172 853 1921853
185.40/185.40	o 4357
185.59/185.62	c 116.122 11.6172 759 1923887
185.59/185.62	o 4341
190.69/190.78	c 119.312 11.6172 802 1964488
190.69/190.78	o 4328
191.30/191.37	c 119.693 11.6172 787 1969237
191.30/191.37	o 4219
192.10/192.12	c 120.142 11.6172 752 1975198
192.10/192.12	o 4029
192.59/192.62	c 120.457 11.6172 729 1979248
192.59/192.62	o 4005
194.19/194.25	c 121.504 11.6172 678 1992110
194.19/194.25	o 3833
195.10/195.16	c 122.09 11.6172 829 1998217
195.10/195.16	o 3825
195.59/195.60	c 122.354 11.6172 482 2001451
195.59/195.60	o 3804
197.49/197.54	c 123.548 11.6172 616 2016836
197.49/197.54	o 3793
197.90/197.91	c 123.763 11.6172 494 2019729
197.90/197.91	o 3764
198.29/198.33	c 124.006 11.6172 515 2022563
198.29/198.33	o 3729
199.10/199.16	c 124.542 11.6172 774 2028994
199.10/199.16	o 3713
199.59/199.65	c 124.845 11.6172 816 2032046
199.59/199.65	o 3594
201.49/201.50	c 126.03 11.6172 558 2045683
201.49/201.50	o 3566
202.60/202.67	c 126.773 11.6172 526 2055003
202.60/202.67	o 3558
203.40/203.48	c 127.288 11.6172 825 2060731
203.40/203.48	o 3479
207.50/207.52	c 129.844 11.6172 787 2084784
207.50/207.52	o 3420
208.69/208.78	c 130.636 11.6172 521 2094052
208.69/208.78	o 3409
209.49/209.54	c 131.12 11.6172 812 2099646
209.49/209.54	o 3373
209.49/209.60	c 131.151 11.6172 568 2100217
209.49/209.60	o 3259
209.79/209.82	c 131.279 11.6172 821 2101933
209.79/209.82	o 3231
210.59/210.65	c 131.809 11.6172 703 2108139
210.59/210.65	o 3098
210.69/210.70	c 131.839 11.6172 478 2108651
210.69/210.70	o 3071
211.80/211.86	c 132.553 11.6172 580 2116759
211.80/211.86	o 3043
212.09/212.18	c 132.755 11.6172 608 2118967
212.09/212.18	o 2961
213.59/213.65	c 133.664 11.6172 905 2129454
213.59/213.65	o 2857
213.69/213.74	c 133.721 11.6172 750 2130222
213.69/213.74	o 2815
214.50/214.51	c 134.202 11.7344 541 2135596
214.50/214.51	o 2697
215.19/215.29	c 134.679 11.7344 787 2140717
215.19/215.29	o 2683
215.90/215.93	c 135.076 11.7344 975 2144866
215.90/215.93	o 2647
216.19/216.25	c 135.285 11.7344 542 2147352
216.19/216.25	o 2611
216.29/216.37	c 135.356 11.7344 869 2148115
216.29/216.37	o 2600
216.49/216.60	c 135.49 11.7344 702 2149764
216.49/216.60	o 2592
216.89/216.94	c 135.701 11.7344 811 2152337
216.89/216.94	o 2572
217.80/217.87	c 136.287 11.7344 545 2159081
217.80/217.87	o 2531
218.30/218.30	c 136.574 11.7344 641 2162318
218.30/218.30	o 2465
218.90/218.95	c 136.968 11.7344 807 2166662
218.90/218.95	o 2459
218.99/219.01	c 137.005 11.7344 522 2167072
218.99/219.01	o 2441
219.29/219.33	c 137.197 11.7344 519 2169204
219.29/219.33	o 2422
219.39/219.42	c 137.256 11.7344 766 2169798
219.39/219.42	o 2362
219.39/219.45	c 137.274 11.7344 853 2170057
219.39/219.45	o 2337
219.79/219.85	c 137.534 11.7344 866 2172673
219.79/219.85	o 2314
220.00/220.05	c 137.661 11.7344 626 2174406
220.00/220.05	o 2186
221.49/221.58	c 138.602 11.7344 864 2184053
221.49/221.58	o 2177
223.09/223.10	c 139.549 11.7344 660 2194691
223.09/223.10	o 2074
223.20/223.21	c 139.62 11.7344 555 2195482
223.20/223.21	o 2019
223.40/223.45	c 139.763 11.7344 802 2197044
223.40/223.45	o 1968
223.49/223.50	c 139.793 11.7344 486 2197444
223.49/223.50	o 1933
224.09/224.12	c 140.194 11.7344 960 2201246
224.09/224.12	o 1838
224.99/225.06	c 140.782 11.7344 952 2206717
224.99/225.06	o 1753
225.30/225.35	c 140.975 11.7344 546 2208561
225.30/225.35	o 1731
225.69/225.75	c 141.212 11.7344 834 2211122
225.69/225.75	o 1728
225.80/225.80	c 141.245 11.7344 570 2211535
225.80/225.80	o 1685
226.09/226.11	c 141.434 11.7344 725 2213799
226.09/226.11	o 1659
227.09/227.17	c 142.128 11.7344 537 2221019
227.09/227.17	o 1599
227.30/227.36	c 142.253 11.7344 670 2222296
227.30/227.36	o 1586
227.49/227.55	c 142.367 11.7344 735 2223453
227.49/227.55	o 1553
227.60/227.63	c 142.412 11.7344 942 2224066
227.60/227.63	o 1339
228.30/228.36	c 142.88 11.7344 446 2228603
228.30/228.36	o 1317
228.30/228.37	c 142.889 11.7344 493 2228790
228.30/228.37	o 1229
228.39/228.42	c 142.919 11.7344 631 2229263
228.39/228.42	o 1116
228.39/228.49	c 142.965 11.7344 920 2229876
228.39/228.49	o 1106
228.59/228.68	c 143.082 11.7344 612 2231128
228.59/228.68	o 1097
228.70/228.74	c 143.114 11.8555 815 2231543
228.70/228.74	o 1088
228.90/228.92	c 143.236 11.8555 585 2233022
228.90/228.92	o 1084
228.90/228.99	c 143.284 11.8555 867 2233579
228.90/228.99	o 1077
228.99/229.08	c 143.345 11.8555 701 2234256
228.99/229.08	o 976
229.29/229.34	c 143.509 11.8555 1044 2235786
229.29/229.34	o 966
229.39/229.45	c 143.58 11.8555 860 2236584
229.39/229.45	o 952
229.49/229.59	c 143.673 11.8555 914 2237726
229.49/229.59	o 948
229.80/229.81	c 143.816 11.8555 760 2239318
229.80/229.81	o 905
230.00/230.03	c 143.952 11.8555 1023 2240805
230.00/230.03	o 874
230.00/230.07	c 143.988 11.8555 685 2241181
230.00/230.07	o 867
230.10/230.12	c 144.019 11.8555 808 2241505
230.10/230.12	o 824
230.10/230.14	c 144.036 11.8555 883 2241705
230.10/230.14	o 782
230.10/230.15	c 144.044 11.8555 921 2241845
230.10/230.15	o 735
230.20/230.23	c 144.101 11.8555 684 2242593
230.20/230.23	o 651
230.29/230.38	c 144.202 11.8555 741 2243710
230.29/230.38	o 606
230.80/230.87	c 144.538 11.8555 1227 2247233
230.80/230.87	o 594
230.80/230.87	c 144.545 11.8555 661 2247407
230.80/230.87	o 503
230.90/230.96	c 144.608 11.8555 1133 2248077
230.90/230.96	o 492
231.00/231.04	c 144.665 11.8555 871 2248678
231.00/231.04	o 481
231.00/231.09	c 144.7 11.8555 1119 2249121
231.00/231.09	o 404
231.09/231.13	c 144.733 11.8555 1395 2249500
231.09/231.13	o 400
231.09/231.15	c 144.747 11.8555 790 2249647
231.09/231.15	o 377
231.20/231.20	c 144.781 11.8555 1019 2250039
231.20/231.20	o 362
231.20/231.21	c 144.792 11.8555 1102 2250167
231.20/231.21	o 320
231.20/231.24	c 144.818 11.8555 1311 2250596
231.20/231.24	o 182
231.20/231.24	c 144.824 11.8555 1353 2250677
231.20/231.24	o 150
231.20/231.26	c 144.837 11.8555 1149 2250829
231.20/231.26	o 130
231.20/231.28	c 144.85 11.8555 1293 2250996
231.20/231.28	s OPTIMUM FOUND
231.20/231.28	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-2700108-1278533978/watcher-2700108-1278533978 -o /tmp/evaluation-result-2700108-1278533978/solver-2700108-1278533978 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700108-1278533978.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: 1.73 0.68 0.24 5/176 17298
/proc/meminfo: memFree=29327424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=2136 CPUtime=0
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 21611235 2187264 175 4089446400 134512640 136421960 4288467760 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17298/statm: 534 175 144 467 0 65 0

[startup+0.022917 s]
/proc/loadavg: 1.73 0.68 0.24 5/176 17298
/proc/meminfo: memFree=29327424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=6220 CPUtime=0.02
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 1273 0 0 0 2 0 0 0 25 0 1 0 21611235 6369280 1192 4089446400 134512640 136421960 4288467760 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 1588 1201 193 467 0 1119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6220

[startup+0.100904 s]
/proc/loadavg: 1.73 0.68 0.24 5/176 17298
/proc/meminfo: memFree=29327424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10480 CPUtime=0.09
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2347 0 0 0 7 2 0 0 25 0 1 0 21611235 10731520 2255 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2620 2256 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300869 s]
/proc/loadavg: 1.73 0.68 0.24 5/176 17298
/proc/meminfo: memFree=29327424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10608 CPUtime=0.29
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2379 0 0 0 19 10 0 0 25 0 1 0 21611235 10862592 2285 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2652 2285 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700797 s]
/proc/loadavg: 1.73 0.68 0.24 5/176 17298
/proc/meminfo: memFree=29327424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10608 CPUtime=0.69
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2404 0 0 0 44 25 0 0 25 0 1 0 21611235 10862592 2309 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2652 2309 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50066 s]
/proc/loadavg: 1.83 0.71 0.25 3/177 17299
/proc/meminfo: memFree=29318492/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10736 CPUtime=1.49
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2414 0 0 0 95 54 0 0 25 0 1 0 21611235 10993664 2317 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2684 2317 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10038 s]
/proc/loadavg: 1.83 0.71 0.25 3/177 17299
/proc/meminfo: memFree=29316756/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10864 CPUtime=3.09
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2447 0 0 0 195 114 0 0 25 0 1 0 21611235 11124736 2349 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2716 2349 238 467 0 2247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10864

[startup+6.30083 s]
/proc/loadavg: 1.84 0.73 0.26 3/177 17299
/proc/meminfo: memFree=29312632/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10864 CPUtime=6.3
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2474 0 0 0 395 235 0 0 25 0 1 0 21611235 11124736 2365 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2716 2365 238 467 0 2247 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10864

[startup+12.7007 s]
/proc/loadavg: 1.85 0.76 0.27 3/177 17299
/proc/meminfo: memFree=29305820/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=10992 CPUtime=12.69
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2510 0 0 0 795 474 0 0 25 0 1 0 21611235 11255808 2395 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17298/statm: 2748 2395 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5005 s]
/proc/loadavg: 1.88 0.80 0.29 3/177 17303
/proc/meminfo: memFree=29289328/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=11120 CPUtime=25.49
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2563 0 0 0 1608 941 0 0 25 0 1 0 21611235 11386880 2437 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 2780 2437 238 467 0 2311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11120

[startup+51.1011 s]
/proc/loadavg: 1.92 0.91 0.34 3/177 17304
/proc/meminfo: memFree=29268808/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=11372 CPUtime=51.09
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2655 0 0 0 3214 1895 0 0 25 0 1 0 21611235 11644928 2497 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/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.09 0.43 3/177 17305
/proc/meminfo: memFree=29212768/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=11628 CPUtime=102.3
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2743 0 0 0 6427 3803 0 0 25 0 1 0 21611235 11907072 2553 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 2907 2553 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.01 1.25 0.53 3/177 17306
/proc/meminfo: memFree=29162000/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=11756 CPUtime=162.29
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2817 0 0 0 10158 6071 0 0 25 0 1 0 21611235 12038144 2594 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 2939 2594 238 467 0 2470 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11756

[startup+222.3 s]
/proc/loadavg: 2.00 1.39 0.62 3/177 17308
/proc/meminfo: memFree=29119516/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12012 CPUtime=222.3
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2952 0 0 0 13904 8326 0 0 25 0 1 0 21611235 12300288 2665 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3003 2665 238 467 0 2534 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 12012

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

[startup+223.901 s]
/proc/loadavg: 2.00 1.39 0.62 3/177 17308
/proc/meminfo: memFree=29118400/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12012 CPUtime=223.89
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2956 0 0 0 14005 8384 0 0 25 0 1 0 21611235 12300288 2665 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3003 2665 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.40 0.62 3/177 17308
/proc/meminfo: memFree=29116424/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12012 CPUtime=227.09
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2972 0 0 0 14207 8502 0 0 25 0 1 0 21611235 12300288 2675 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3003 2675 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.40 0.62 3/177 17308
/proc/meminfo: memFree=29114560/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12012 CPUtime=228.7
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 2982 0 0 0 14309 8561 0 0 25 0 1 0 21611235 12300288 2676 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3003 2676 238 467 0 2534 0
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (KiB) 12012

[startup+230.301 s]
/proc/loadavg: 2.00 1.40 0.62 3/177 17308
/proc/meminfo: memFree=29114064/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12136 CPUtime=230.29
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 3011 0 0 0 14414 8615 0 0 25 0 1 0 21611235 12427264 2691 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3034 2691 238 467 0 2565 0
Current children cumulated CPU time (s) 230.29
Current children cumulated vsize (KiB) 12136

[startup+230.701 s]
/proc/loadavg: 2.00 1.40 0.62 3/177 17308
/proc/meminfo: memFree=29114064/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12136 CPUtime=230.7
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 3013 0 0 0 14442 8628 0 0 25 0 1 0 21611235 12427264 2692 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3034 2692 238 467 0 2565 0
Current children cumulated CPU time (s) 230.7
Current children cumulated vsize (KiB) 12136

[startup+231.101 s]
/proc/loadavg: 2.00 1.41 0.63 3/177 17308
/proc/meminfo: memFree=29113692/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12136 CPUtime=231.09
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 3021 0 0 0 14470 8639 0 0 18 0 1 0 21611235 12427264 2695 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3034 2695 238 467 0 2565 0
Current children cumulated CPU time (s) 231.09
Current children cumulated vsize (KiB) 12136

[startup+231.201 s]
/proc/loadavg: 2.00 1.41 0.63 3/177 17308
/proc/meminfo: memFree=29113692/32951132 swapFree=67111528/67111528
[pid=17298] ppid=17296 vsize=12136 CPUtime=231.2
/proc/17298/stat : 17298 (pbct) R 17296 17298 16659 0 -1 4202496 3025 0 0 0 14478 8642 0 0 18 0 1 0 21611235 12427264 2697 4089446400 134512640 136421960 4288467760 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17298/statm: 3034 2697 238 467 0 2565 0
Current children cumulated CPU time (s) 231.2
Current children cumulated vsize (KiB) 12136

Child status: 0
Real time (s): 231.291
CPU time (s): 231.293
CPU user time (s): 144.859
CPU system time (s): 86.4339
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 12136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.859
system time used= 86.4339
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3036
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= 2
involuntary context switches= 246

runsolver used 0.333949 second user time and 0.764883 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-07 22:19:38
IDJOB=2700108
IDBENCH=79400
IDSOLVER=1208
FILE ID=node128/2700108-1278533978
PBS_JOBID= 11239222
Free space on /tmp= 73136 MiB

SOLVER NAME= PB/CT 0.1
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-2700108-1278533978/watcher-2700108-1278533978 -o /tmp/evaluation-result-2700108-1278533978/solver-2700108-1278533978 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700108-1278533978.wbo

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

MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6
RANDOM SEED=250089841

node128.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.816
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.63
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.816
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.816
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.816
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.75
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.816
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	: 5332.75
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.816
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.74
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.816
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.816
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29328068 kB
Buffers:        124872 kB
Cached:        3052532 kB
SwapCached:          0 kB
Active:        1594324 kB
Inactive:      1867352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29328068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:      284384 kB
Mapped:          16532 kB
Slab:            99448 kB
PageTables:       4952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   437148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73136 MiB
End job on node128 at 2010-07-07 22:23:30