Trace number 2700255

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 227.3 227.292

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh308_wcsp.wbo
MD5SUM9e4ae11dd0361dce6825f0168cc6adb2
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.04784
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.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/900 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.039993 10.1523 1 2043
0.00/0.04	o 31306
0.00/0.04	c 0.041993 10.3359 1 2677
0.00/0.04	o 30689
0.00/0.04	c 0.043993 10.3359 2 3623
0.00/0.04	o 29688
0.00/0.04	c 0.044993 10.3359 2 4560
0.00/0.04	o 18899
0.00/0.04	c 0.045993 10.3359 2 4936
0.04/0.04	o 18698
0.04/0.05	c 0.046992 10.3359 2 5673
0.04/0.05	o 18026
0.04/0.05	c 0.048992 10.3359 2 6062
0.04/0.05	o 17941
0.04/0.05	c 0.050992 10.3359 6 6372
0.04/0.05	o 17887
0.04/0.05	c 0.051992 10.3359 14 6736
0.04/0.05	o 17849
0.04/0.06	c 0.058991 10.3359 47 7295
0.04/0.06	o 17539
0.04/0.07	c 0.06099 10.3359 55 7573
0.04/0.07	o 17520
0.04/0.07	c 0.06199 10.3359 55 8513
0.04/0.07	o 16077
0.04/0.07	c 0.06499 10.3359 70 8955
0.04/0.07	o 16058
0.49/0.50	c 0.330949 10.5859 502 17574
0.49/0.50	o 15834
0.49/0.50	c 0.334949 10.5859 524 17937
0.49/0.50	o 15685
0.69/0.78	c 0.501923 10.7109 1026 21524
0.69/0.78	o 15577
0.69/0.79	c 0.509922 10.7109 615 22209
0.69/0.79	o 15366
0.79/0.83	c 0.536918 10.7109 408 23008
0.79/0.83	o 15162
1.39/1.45	c 0.947855 10.7109 604 34418
1.39/1.45	o 15131
1.39/1.47	c 0.959854 10.7109 682 34818
1.39/1.47	o 15121
1.39/1.49	c 0.972852 10.7109 492 35581
1.39/1.49	o 14886
1.49/1.50	c 0.98385 10.7109 610 36165
1.49/1.50	o 14840
1.59/1.60	c 1.04184 10.7109 1133 37659
1.59/1.60	o 14816
1.99/2.02	c 1.3128 10.7109 700 45882
1.99/2.02	o 14778
2.09/2.12	c 1.38079 10.7109 586 47957
2.09/2.12	o 14723
2.09/2.14	c 1.39479 10.7109 670 48370
2.09/2.14	o 14586
2.09/2.16	c 1.40779 10.7109 449 49326
2.09/2.16	o 14206
2.99/3.05	c 1.9707 10.7109 644 63528
2.99/3.05	o 14186
3.39/3.49	c 2.23166 10.7109 776 71134
3.39/3.49	o 14131
3.99/4.00	c 2.54961 10.8359 839 77138
3.99/4.00	o 14072
5.49/5.58	c 3.53846 10.8359 620 102849
5.49/5.58	o 14065
5.79/5.84	c 3.70844 10.8359 557 108942
5.79/5.84	o 13999
5.79/5.89	c 3.73743 10.8359 792 109743
5.79/5.89	o 13965
6.09/6.12	c 3.89941 10.8359 663 114054
6.09/6.12	o 13888
6.09/6.13	c 3.90541 10.8359 385 114694
6.09/6.13	o 13823
6.09/6.14	c 3.9074 10.8359 388 114926
6.09/6.14	o 13746
6.09/6.14	c 3.90841 10.8359 389 115120
6.09/6.14	o 13718
6.09/6.14	c 3.9104 10.8359 389 115360
6.09/6.14	o 13675
6.09/6.14	c 3.91241 10.8359 389 115566
6.09/6.14	o 13646
6.09/6.14	c 3.9144 10.8359 389 116063
6.09/6.14	o 13262
6.09/6.14	c 3.9154 10.8359 390 116294
6.09/6.14	o 13179
6.09/6.15	c 3.9164 10.8359 390 117241
6.09/6.15	o 10931
6.09/6.15	c 3.9174 10.8359 390 117484
6.09/6.15	o 10864
6.09/6.15	c 3.9194 10.8359 390 117692
6.09/6.15	o 10855
6.09/6.15	c 3.9204 10.8359 390 118019
6.09/6.15	o 10692
6.09/6.15	c 3.9214 10.8359 390 118365
6.09/6.15	o 10478
6.09/6.16	c 3.9234 10.8359 391 118654
6.09/6.16	o 10357
6.99/7.06	c 4.50731 10.957 900 132193
6.99/7.06	o 10286
8.80/8.86	c 5.63314 10.957 1013 152719
8.80/8.86	o 10269
9.89/9.93	c 6.29904 10.957 1001 164601
9.89/9.93	o 10224
10.00/10.04	c 6.36603 10.957 461 166696
10.00/10.04	o 10202
10.19/10.21	c 6.47302 10.957 558 169393
10.19/10.21	o 10123
11.29/11.33	c 7.15591 10.957 500 180949
11.29/11.33	o 10072
11.40/11.44	c 7.2169 10.957 749 182880
11.40/11.44	o 10015
11.80/11.85	c 7.47286 10.957 794 187802
11.80/11.85	o 10003
20.29/20.30	c 12.7471 11.082 614 284821
20.29/20.30	o 9962
20.49/20.57	c 12.903 11.082 586 288000
20.49/20.57	o 9937
23.60/23.68	c 14.8457 11.082 1039 328636
23.60/23.68	o 9892
25.09/25.16	c 15.7826 11.082 885 348840
25.09/25.16	o 9887
37.79/37.88	c 23.7394 11.207 860 461019
37.79/37.88	o 9823
39.39/39.43	c 24.7142 11.207 688 481888
39.39/39.43	o 9707
41.70/41.76	c 26.176 11.207 894 510432
41.70/41.76	o 9617
43.40/43.42	c 27.2149 11.207 650 533423
43.40/43.42	o 9561
45.89/45.93	c 28.7966 11.207 756 564899
45.89/45.93	o 9396
46.20/46.23	c 28.9806 11.207 584 568672
46.20/46.23	o 9351
50.29/50.36	c 31.5932 11.332 710 619466
50.29/50.36	o 9329
50.40/50.45	c 31.6392 11.332 458 620793
50.40/50.45	o 9311
50.60/50.65	c 31.7592 11.332 695 623323
50.60/50.65	o 9154
51.39/51.47	c 32.2851 11.332 784 634022
51.39/51.47	o 9011
51.50/51.53	c 32.3211 11.332 650 634945
51.50/51.53	o 8886
53.80/53.86	c 33.7289 11.332 970 658278
53.80/53.86	o 8830
55.19/55.28	c 34.6067 11.332 858 675015
55.19/55.28	o 8702
56.20/56.26	c 35.2146 11.332 786 688280
56.20/56.26	o 8583
56.50/56.59	c 35.4316 11.332 1020 691841
56.50/56.59	o 8493
58.09/58.18	c 36.4165 11.332 692 704569
58.09/58.18	o 8416
60.50/60.56	c 37.9072 11.332 511 728679
60.50/60.56	o 8402
61.50/61.53	c 38.5121 11.332 1026 739317
61.50/61.53	o 8377
62.39/62.47	c 39.0971 11.332 624 751945
62.39/62.47	o 8172
62.79/62.80	c 39.314 11.332 696 755548
62.79/62.80	o 8108
67.30/67.31	c 42.1766 11.332 899 805834
67.30/67.31	o 8020
69.90/69.99	c 43.8723 11.332 610 832714
69.90/69.99	o 7953
74.50/74.55	c 46.7069 11.4609 469 885114
74.50/74.55	o 7757
74.70/74.79	c 46.8499 11.4609 732 887748
74.70/74.79	o 7712
75.19/75.26	c 47.1378 11.4609 705 892224
75.19/75.26	o 7698
75.60/75.67	c 47.3808 11.4609 554 897253
75.60/75.67	o 7695
77.39/77.41	c 48.4366 11.4609 675 914784
77.39/77.41	o 7694
77.50/77.50	c 48.4946 11.4609 689 916098
77.50/77.50	o 7692
81.00/81.09	c 50.7063 11.4609 642 951576
81.00/81.09	o 7691
84.49/84.59	c 52.894 11.4609 957 989122
84.49/84.59	o 7581
88.89/88.95	c 55.5975 11.4609 625 1035030
88.89/88.95	o 7529
94.30/94.34	c 58.941 11.4609 599 1087496
94.30/94.34	o 7476
94.80/94.80	c 59.226 11.4609 559 1093272
94.80/94.80	o 7420
96.80/96.89	c 60.5078 11.4609 634 1115669
96.80/96.89	o 7401
98.19/98.22	c 61.3367 11.4609 942 1129926
98.19/98.22	o 7312
102.20/102.24	c 63.8133 11.4609 653 1171656
102.20/102.24	o 7292
104.00/104.03	c 64.9001 11.4609 578 1189319
104.00/104.03	o 7169
104.00/104.09	c 64.9321 11.4609 822 1190321
104.00/104.09	o 6838
105.20/105.27	c 65.671 11.6016 606 1199727
105.20/105.27	o 6799
105.40/105.49	c 65.825 11.6016 696 1202170
105.40/105.49	o 6783
105.80/105.89	c 66.059 11.6016 634 1205124
105.80/105.89	o 6774
109.30/109.39	c 68.2646 11.6016 843 1237892
109.30/109.39	o 6759
110.30/110.33	c 68.8545 11.6016 769 1247604
110.30/110.33	o 6712
112.90/112.94	c 70.5343 11.6016 895 1272159
112.90/112.94	o 6619
114.00/114.08	c 71.2292 11.6016 968 1280917
114.00/114.08	o 6562
117.50/117.50	c 73.3858 11.6016 888 1315296
117.50/117.50	o 6455
117.89/117.97	c 73.6738 11.6016 995 1318608
117.89/117.97	o 6385
121.30/121.39	c 75.8445 11.6016 942 1351416
121.30/121.39	o 6343
122.70/122.79	c 76.7123 11.6016 609 1361194
122.70/122.79	o 6338
125.90/125.94	c 78.622 11.6016 590 1388495
125.90/125.94	o 6224
127.30/127.30	c 79.4499 11.6016 935 1401073
127.30/127.30	o 6190
131.09/131.18	c 81.8036 11.6016 578 1435681
131.09/131.18	o 6000
131.19/131.29	c 81.8616 11.6016 897 1436514
131.19/131.29	o 5975
132.00/132.09	c 82.3795 11.6016 561 1444003
132.00/132.09	o 5946
132.80/132.88	c 82.8784 11.6016 825 1451553
132.80/132.88	o 5905
133.30/133.31	c 83.1414 11.6016 548 1456047
133.30/133.31	o 5868
135.10/135.15	c 84.2882 11.6016 780 1471781
135.10/135.15	o 5834
136.50/136.54	c 85.1431 11.6016 581 1483173
136.50/136.54	o 5696
141.70/141.71	c 88.3746 11.6016 586 1523698
141.70/141.71	o 5620
143.30/143.34	c 89.4064 11.6016 679 1532718
143.30/143.34	o 5616
143.80/143.80	c 89.6874 11.6016 597 1536096
143.80/143.80	o 5519
145.00/145.03	c 90.4433 11.6016 583 1548873
145.00/145.03	o 5500
145.10/145.16	c 90.5172 11.6016 525 1549972
145.10/145.16	o 5489
149.30/149.36	c 93.0938 11.7227 637 1583090
149.30/149.36	o 5422
150.00/150.06	c 93.5358 11.7227 690 1588836
150.00/150.06	o 5376
150.80/150.85	c 94.0267 11.7227 774 1595274
150.80/150.85	o 5349
152.49/152.58	c 95.1125 11.7227 841 1609406
152.49/152.58	o 5323
152.80/152.86	c 95.2905 11.7227 631 1612162
152.80/152.86	o 5275
155.20/155.20	c 96.7693 11.7227 541 1631319
155.20/155.20	o 5243
155.30/155.34	c 96.8663 11.7227 1016 1632583
155.30/155.34	o 5188
156.21/156.23	c 97.4312 11.7227 903 1640575
156.21/156.23	o 5135
156.99/157.05	c 97.9371 11.7227 786 1647831
156.99/157.05	o 5084
158.20/158.29	c 98.716 11.7227 868 1658938
158.20/158.29	o 5041
159.59/159.61	c 99.5109 11.7227 552 1670144
159.59/159.61	o 5025
159.70/159.77	c 99.6039 11.7227 689 1671648
159.70/159.77	o 4989
161.60/161.67	c 100.774 11.7227 794 1682824
161.60/161.67	o 4843
161.70/161.75	c 100.828 11.7227 681 1683621
161.70/161.75	o 4781
162.10/162.15	c 101.068 11.7227 478 1687180
162.10/162.15	o 4755
162.50/162.56	c 101.346 11.7227 570 1690141
162.50/162.56	o 4719
164.30/164.33	c 102.475 11.7227 567 1703797
164.30/164.33	o 4624
165.50/165.52	c 103.176 11.7227 434 1713140
165.50/165.52	o 4568
166.40/166.41	c 103.726 11.7227 879 1718250
166.40/166.41	o 4510
168.20/168.29	c 104.897 11.7227 815 1731584
168.20/168.29	o 4414
169.10/169.15	c 105.415 11.7227 856 1738282
169.10/169.15	o 4254
169.60/169.69	c 105.753 11.7227 452 1742525
169.60/169.69	o 4172
170.20/170.29	c 106.133 11.7227 895 1746010
170.20/170.29	o 4140
170.51/170.58	c 106.309 11.7227 893 1748091
170.51/170.58	o 4138
171.60/171.64	c 106.956 11.7227 763 1756428
171.60/171.64	o 4134
172.49/172.55	c 107.513 11.7227 684 1762848
172.49/172.55	o 4123
174.90/174.94	c 108.946 11.7227 690 1779961
174.90/174.94	o 4102
175.80/175.83	c 109.492 11.7227 738 1786858
175.80/175.83	o 4046
176.60/176.63	c 109.987 11.7227 737 1792969
176.60/176.63	o 4039
181.90/181.99	c 113.262 11.7227 624 1831468
181.90/181.99	o 4005
182.10/182.11	c 113.349 11.7227 622 1832566
182.10/182.11	o 3997
182.80/182.82	c 113.779 11.7227 784 1838084
182.80/182.82	o 3987
184.29/184.31	c 114.68 11.7227 949 1848101
184.29/184.31	o 3943
184.59/184.66	c 114.885 11.7227 643 1850505
184.59/184.66	o 3896
185.00/185.07	c 115.147 11.7227 644 1853514
185.00/185.07	o 3892
186.10/186.19	c 115.835 11.7227 649 1861530
186.10/186.19	o 3879
188.80/188.84	c 117.411 11.8477 751 1881715
188.80/188.84	o 3872
189.11/189.17	c 117.6 11.8477 585 1884241
189.11/189.17	o 3848
190.20/190.20	c 118.21 11.8477 736 1891675
190.20/190.20	o 3777
190.50/190.56	c 118.436 11.8477 584 1894439
190.50/190.56	o 3687
190.60/190.64	c 118.481 11.8477 836 1895183
190.60/190.64	o 3666
191.60/191.66	c 119.075 11.8477 511 1902294
191.60/191.66	o 3605
191.70/191.78	c 119.149 11.8477 463 1903241
191.70/191.78	o 3540
192.90/192.96	c 119.861 11.8477 620 1911400
192.90/192.96	o 3537
196.10/196.16	c 121.843 11.8477 733 1932515
196.10/196.16	o 3513
198.01/198.09	c 123.011 11.8477 746 1946496
198.01/198.09	o 3478
199.00/199.07	c 123.601 11.8477 770 1953225
199.00/199.07	o 3415
199.70/199.72	c 123.993 11.8477 768 1958453
199.70/199.72	o 3362
200.40/200.49	c 124.476 11.8477 686 1962728
200.40/200.49	o 3350
203.10/203.19	c 126.166 11.8477 687 1976688
203.10/203.19	o 3290
203.40/203.43	c 126.322 11.8477 556 1978558
203.40/203.43	o 3198
203.90/203.97	c 126.648 11.8477 907 1982439
203.90/203.97	o 3123
204.20/204.24	c 126.824 11.8477 825 1984413
204.20/204.24	o 3071
206.00/206.09	c 127.973 11.8477 690 1996282
206.00/206.09	o 3032
206.20/206.20	c 128.054 11.8477 1024 1997183
206.20/206.20	o 2997
206.30/206.35	c 128.153 11.8477 482 1998315
206.30/206.35	o 2912
207.91/207.93	c 129.119 11.8477 905 2007423
207.91/207.93	o 2910
208.40/208.45	c 129.435 11.8477 742 2011086
208.40/208.45	o 2818
209.20/209.22	c 129.933 11.8477 709 2015933
209.20/209.22	o 2800
209.60/209.62	c 130.174 11.8477 541 2018572
209.60/209.62	o 2785
209.70/209.74	c 130.246 11.8477 889 2019355
209.70/209.74	o 2773
210.30/210.32	c 130.603 11.8477 822 2023212
210.30/210.32	o 2721
211.00/211.05	c 131.042 11.8477 699 2028334
211.00/211.05	o 2571
211.11/211.19	c 131.128 11.8477 629 2029637
211.11/211.19	o 2374
212.00/212.01	c 131.624 11.8477 713 2034674
212.00/212.01	o 2348
212.21/212.21	c 131.748 11.8477 767 2035781
212.21/212.21	o 2329
212.21/212.26	c 131.777 11.8477 462 2036144
212.21/212.26	o 2305
212.31/212.34	c 131.824 11.8477 729 2036818
212.31/212.34	o 2228
212.70/212.70	c 132.05 11.8477 476 2039166
212.70/212.70	o 2205
213.40/213.41	c 132.481 11.8477 607 2043415
213.40/213.41	o 2187
213.70/213.71	c 132.673 11.8477 569 2045509
213.70/213.71	o 2142
213.79/213.86	c 132.758 11.8477 982 2046391
213.79/213.86	o 2061
214.70/214.76	c 133.348 11.8477 806 2051869
214.70/214.76	o 2054
214.80/214.89	c 133.43 11.8477 750 2052830
214.80/214.89	o 2048
215.10/215.10	c 133.565 11.8477 473 2054220
215.10/215.10	o 2000
216.20/216.21	c 134.268 11.9727 1022 2060724
216.20/216.21	o 1930
216.50/216.52	c 134.472 11.9727 491 2062765
216.50/216.52	o 1857
217.00/217.06	c 134.801 11.9727 593 2066322
217.00/217.06	o 1849
217.20/217.27	c 134.922 11.9727 802 2068074
217.20/217.27	o 1822
217.60/217.63	c 135.158 11.9727 474 2070523
217.60/217.63	o 1782
218.90/218.96	c 135.976 11.9727 688 2078164
218.90/218.96	o 1774
219.00/219.09	c 136.056 11.9727 594 2079128
219.00/219.09	o 1688
219.60/219.63	c 136.409 11.9727 817 2082258
219.60/219.63	o 1687
219.80/219.89	c 136.572 11.9727 570 2083601
219.80/219.89	o 1671
219.91/219.99	c 136.641 11.9727 812 2084248
219.91/219.99	o 1587
221.70/221.79	c 137.783 11.9727 685 2094729
221.70/221.79	o 1564
221.90/221.98	c 137.912 11.9727 766 2095966
221.90/221.98	o 1545
222.00/222.08	c 137.962 11.9727 625 2096811
222.00/222.08	o 1526
222.80/222.87	c 138.462 11.9727 602 2101769
222.80/222.87	o 1405
223.10/223.15	c 138.626 11.9727 905 2103715
223.10/223.15	o 1384
223.70/223.74	c 139.012 11.9727 1017 2107679
223.70/223.74	o 1353
223.80/223.87	c 139.085 11.9727 843 2108486
223.80/223.87	o 1335
224.30/224.39	c 139.404 12.1641 506 2111520
224.30/224.39	o 1215
224.41/224.41	c 139.416 12.1641 544 2111673
224.41/224.41	o 1202
224.90/224.91	c 139.726 12.1641 701 2115046
224.90/224.91	o 1078
224.90/224.95	c 139.753 12.1641 848 2115312
224.90/224.95	o 1077
225.30/225.33	c 140.005 12.1641 829 2117487
225.30/225.33	o 1068
225.30/225.40	c 140.041 12.1641 558 2117938
225.30/225.40	o 1039
225.40/225.42	c 140.054 12.1641 637 2118159
225.40/225.42	o 1019
225.60/225.67	c 140.212 12.1641 530 2119775
225.60/225.67	o 985
225.70/225.76	c 140.273 12.1641 795 2120278
225.70/225.76	o 968
225.99/226.01	c 140.43 12.1641 549 2121558
225.99/226.01	o 889
226.29/226.36	c 140.64 12.1641 748 2123740
226.29/226.36	o 841
226.29/226.39	c 140.663 12.1641 818 2123991
226.29/226.39	o 725
226.39/226.41	c 140.682 12.1641 917 2124318
226.39/226.41	o 568
226.39/226.49	c 140.742 12.1641 733 2124882
226.39/226.49	o 542
226.50/226.58	c 140.81 12.1641 1093 2125377
226.50/226.58	o 536
226.70/226.75	c 140.93 12.1641 1093 2126494
226.70/226.75	o 524
226.90/226.91	c 141.046 12.1641 1302 2127648
226.90/226.91	o 506
226.90/226.96	c 141.08 12.1641 892 2128021
226.90/226.96	o 504
226.90/227.00	c 141.11 12.1641 1077 2128344
226.90/227.00	o 427
227.00/227.08	c 141.172 12.1641 845 2128984
227.00/227.08	o 413
227.20/227.21	c 141.282 12.1641 943 2130045
227.20/227.21	o 394
227.20/227.23	c 141.293 12.1641 1019 2130210
227.20/227.23	o 311
227.20/227.27	c 141.323 12.1641 1221 2130660
227.20/227.27	o 130
227.20/227.28	c 141.333 12.1641 1173 2130756
227.20/227.28	s OPTIMUM FOUND
227.20/227.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-2700255-1278534538/watcher-2700255-1278534538 -o /tmp/evaluation-result-2700255-1278534538/solver-2700255-1278534538 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700255-1278534538.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: 3.94 3.72 2.23 4/178 17928
/proc/meminfo: memFree=29132320/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=2136 CPUtime=0
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 21668820 2187264 181 4089446400 134512640 136422188 4288776400 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17928/statm: 534 181 144 467 0 65 0

[startup+0.0482629 s]
/proc/loadavg: 3.94 3.72 2.23 4/178 17928
/proc/meminfo: memFree=29132320/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10580 CPUtime=0.04
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2392 0 0 0 4 0 0 0 25 0 1 0 21668820 10833920 2307 4089446400 134512640 136422188 4288776400 18446744073709551615 134974265 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2645 2307 237 467 0 2176 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10580

[startup+0.100251 s]
/proc/loadavg: 3.94 3.72 2.23 4/178 17928
/proc/meminfo: memFree=29132320/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10708 CPUtime=0.09
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2413 0 0 0 7 2 0 0 25 0 1 0 21668820 10964992 2319 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2677 2319 238 467 0 2208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10708

[startup+0.30021 s]
/proc/loadavg: 3.94 3.72 2.23 4/178 17928
/proc/meminfo: memFree=29132320/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10836 CPUtime=0.29
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2462 0 0 0 19 10 0 0 25 0 1 0 21668820 11096064 2368 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2709 2368 238 467 0 2240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10836

[startup+0.701147 s]
/proc/loadavg: 3.94 3.72 2.23 4/178 17928
/proc/meminfo: memFree=29132320/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10964 CPUtime=0.69
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2473 0 0 0 44 25 0 0 25 0 1 0 21668820 11227136 2377 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2741 2377 238 467 0 2272 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10964

[startup+1.50099 s]
/proc/loadavg: 3.79 3.70 2.22 3/179 17929
/proc/meminfo: memFree=29122516/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10964 CPUtime=1.49
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2493 0 0 0 97 52 0 0 25 0 1 0 21668820 11227136 2391 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2741 2391 238 467 0 2272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10964

[startup+3.10068 s]
/proc/loadavg: 3.79 3.70 2.22 3/179 17930
/proc/meminfo: memFree=29121236/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=10964 CPUtime=3.09
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2516 0 0 0 199 110 0 0 25 0 1 0 21668820 11227136 2407 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2741 2407 238 467 0 2272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10964

[startup+6.30108 s]
/proc/loadavg: 3.79 3.70 2.22 3/179 17930
/proc/meminfo: memFree=29116120/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=11092 CPUtime=6.3
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2561 0 0 0 400 230 0 0 25 0 1 0 21668820 11358208 2433 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2773 2433 238 467 0 2304 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11092

[startup+12.7009 s]
/proc/loadavg: 3.51 3.64 2.22 3/179 17930
/proc/meminfo: memFree=29106500/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=11216 CPUtime=12.69
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2603 0 0 0 799 470 0 0 25 0 1 0 21668820 11485184 2467 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2804 2467 238 467 0 2335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11216

[startup+25.5005 s]
/proc/loadavg: 3.28 3.59 2.22 3/179 17930
/proc/meminfo: memFree=29084332/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=11344 CPUtime=25.49
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2642 0 0 0 1597 952 0 0 25 0 1 0 21668820 11616256 2502 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2836 2502 238 467 0 2367 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11344

[startup+51.1006 s]
/proc/loadavg: 2.84 3.46 2.21 3/179 17930
/proc/meminfo: memFree=29056400/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=11600 CPUtime=51.1
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2690 0 0 0 3205 1905 0 0 25 0 1 0 21668820 11878400 2541 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2900 2541 238 467 0 2431 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11600

[startup+102.306 s]
/proc/loadavg: 2.33 3.21 2.19 3/179 17932
/proc/meminfo: memFree=28978484/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=11732 CPUtime=102.3
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2771 0 0 0 6384 3846 0 0 25 0 1 0 21668820 12013568 2595 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 2933 2595 238 467 0 2464 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11732

[startup+162.301 s]
/proc/loadavg: 2.12 2.99 2.18 3/179 17934
/proc/meminfo: memFree=28890156/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12000 CPUtime=162.3
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 2872 0 0 0 10117 6113 0 0 25 0 1 0 21668820 12288000 2654 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3000 2654 238 467 0 2531 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 12000

[startup+222.3 s]
/proc/loadavg: 2.04 2.80 2.17 3/179 17935
/proc/meminfo: memFree=28818440/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12256 CPUtime=222.3
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3013 0 0 0 13810 8420 0 0 25 0 1 0 21668820 12550144 2722 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3064 2722 238 467 0 2595 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 12256

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

[startup+223.901 s]
/proc/loadavg: 2.04 2.80 2.17 3/179 17935
/proc/meminfo: memFree=28814472/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=223.9
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3033 0 0 0 13909 8481 0 0 25 0 1 0 21668820 12750848 2738 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2738 238 467 0 2644 0
Current children cumulated CPU time (s) 223.9
Current children cumulated vsize (KiB) 12452

[startup+225.507 s]
/proc/loadavg: 2.04 2.80 2.17 3/179 17935
/proc/meminfo: memFree=28812220/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=225.5
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3041 0 0 0 14010 8540 0 0 25 0 1 0 21668820 12750848 2739 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2739 238 467 0 2644 0
Current children cumulated CPU time (s) 225.5
Current children cumulated vsize (KiB) 12452

[startup+226.301 s]
/proc/loadavg: 2.04 2.80 2.17 3/179 17935
/proc/meminfo: memFree=28812220/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=226.29
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3044 0 0 0 14059 8570 0 0 25 0 1 0 21668820 12750848 2739 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2739 238 467 0 2644 0
Current children cumulated CPU time (s) 226.29
Current children cumulated vsize (KiB) 12452

[startup+226.701 s]
/proc/loadavg: 2.04 2.79 2.17 3/179 17935
/proc/meminfo: memFree=28811352/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=226.7
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3051 0 0 0 14089 8581 0 0 18 0 1 0 21668820 12750848 2741 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2741 238 467 0 2644 0
Current children cumulated CPU time (s) 226.7
Current children cumulated vsize (KiB) 12452

[startup+227.1 s]
/proc/loadavg: 2.04 2.79 2.17 3/179 17935
/proc/meminfo: memFree=28811352/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=227.1
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3056 0 0 0 14118 8592 0 0 18 0 1 0 21668820 12750848 2741 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2741 238 467 0 2644 0
Current children cumulated CPU time (s) 227.1
Current children cumulated vsize (KiB) 12452

[startup+227.2 s]
/proc/loadavg: 2.04 2.79 2.17 3/179 17935
/proc/meminfo: memFree=28811352/32951124 swapFree=67111528/67111528
[pid=17928] ppid=17926 vsize=12452 CPUtime=227.2
/proc/17928/stat : 17928 (pbct) R 17926 17928 17447 0 -1 4202496 3056 0 0 0 14126 8594 0 0 19 0 1 0 21668820 12750848 2741 4089446400 134512640 136422188 4288776400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17928/statm: 3113 2741 238 467 0 2644 0
Current children cumulated CPU time (s) 227.2
Current children cumulated vsize (KiB) 12452

Child status: 0
Real time (s): 227.292
CPU time (s): 227.3
CPU user time (s): 141.342
CPU system time (s): 85.9589
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 12452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.342
system time used= 85.9589
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3064
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= 2615

runsolver used 0.32795 second user time and 0.748886 second system time

The end

Launcher Data 

Begin job on node102 at 2010-07-07 22:28:58
IDJOB=2700255
IDBENCH=79412
IDSOLVER=1212
FILE ID=node102/2700255-1278534538
PBS_JOBID= 11239274
Free space on /tmp= 72988 MiB

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

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

MD5SUM BENCH= 9e4ae11dd0361dce6825f0168cc6adb2
RANDOM SEED=241082697

node102.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.806
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.61
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.806
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.806
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.806
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.806
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.85
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.806
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.806
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.806
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	: 5397.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29132840 kB
Buffers:        133588 kB
Cached:        2974812 kB
SwapCached:          0 kB
Active:        1565708 kB
Inactive:      2060516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29132840 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:      518024 kB
Mapped:          17364 kB
Slab:           127332 kB
PageTables:       5612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   666932 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= 72988 MiB
End job on node102 at 2010-07-07 22:32:45