Trace number 2700348

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 278.099 278.091

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
MD5SUMf8c09bda9afe7c43c5a568001f4bbb58
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark462
Best CPU time to get the best result obtained on this benchmark1.65975
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.00/0.03	c 0.036994 9.94531 1 1941
0.00/0.03	o 31445
0.00/0.04	c 0.037994 10.1094 1 2129
0.00/0.04	o 31349
0.00/0.04	c 0.037994 10.1094 1 3022
0.00/0.04	o 29293
0.00/0.04	c 0.039993 10.1094 1 3247
0.00/0.04	o 29158
0.00/0.04	c 0.040993 10.1094 2 3562
0.00/0.04	o 28906
0.00/0.04	c 0.041993 10.1094 2 4451
0.00/0.04	o 13369
0.04/0.05	c 0.043993 10.1094 10 4826
0.04/0.05	o 13178
1.10/1.15	c 0.755885 10.3594 791 25078
1.10/1.15	o 13122
1.49/1.58	c 1.03384 10.3594 333 32556
1.49/1.58	o 12978
1.59/1.60	c 1.04384 10.3594 383 32854
1.59/1.60	o 12903
1.59/1.67	c 1.09383 10.3594 507 34392
1.59/1.67	o 12805
2.10/2.13	c 1.39379 10.4844 739 40978
2.10/2.13	o 12717
2.49/2.59	c 1.69174 10.4844 481 50250
2.49/2.59	o 12470
2.59/2.63	c 1.71974 10.4844 466 51405
2.59/2.63	o 12433
2.59/2.64	c 1.73174 10.4844 534 51916
2.59/2.64	o 12175
2.89/2.93	c 1.92171 10.4844 753 55801
2.89/2.93	o 12067
3.09/3.18	c 2.07868 10.4844 583 60504
3.09/3.18	o 11955
3.20/3.27	c 2.13768 10.4844 536 62453
3.20/3.27	o 11887
3.79/3.81	c 2.46462 10.4844 723 70703
3.79/3.81	o 11874
3.79/3.88	c 2.50062 10.4844 632 71455
3.79/3.88	o 11823
4.39/4.44	c 2.86056 10.4844 516 79504
4.39/4.44	o 11736
7.29/7.36	c 4.69728 10.6094 558 120940
7.29/7.36	o 11720
10.29/10.40	c 6.66999 10.6094 606 165906
10.29/10.40	o 11616
11.29/11.35	c 7.27489 10.6094 611 182358
11.29/11.35	o 11411
15.29/15.38	c 9.80851 10.7344 646 242955
15.29/15.38	o 11401
15.40/15.42	c 9.8365 10.7344 585 243994
15.40/15.42	o 11029
15.80/15.87	c 10.1275 10.7344 800 252128
15.80/15.87	o 10946
18.19/18.26	c 11.6302 10.7344 764 286597
18.19/18.26	o 10811
19.80/19.89	c 12.6471 10.7344 754 310367
19.80/19.89	o 10738
21.59/21.68	c 13.7649 10.7344 845 333063
21.59/21.68	o 10734
21.79/21.88	c 13.8899 10.7344 892 335359
21.79/21.88	o 10713
22.60/22.60	c 14.3458 10.7344 451 347093
22.60/22.60	o 10633
23.99/24.06	c 15.2487 10.7344 589 367933
23.99/24.06	o 10620
24.49/24.51	c 15.5156 10.7344 932 372966
24.49/24.51	o 10487
24.59/24.68	c 15.6236 10.7344 804 375857
24.59/24.68	o 10482
24.89/24.97	c 15.8046 10.7344 713 379964
24.89/24.97	o 10356
29.70/29.73	c 18.7751 10.8594 692 446370
29.70/29.73	o 10260
31.39/31.40	c 19.87 10.8594 898 470407
31.39/31.40	o 10236
31.49/31.54	c 19.953 10.8594 561 472783
31.49/31.54	o 10231
32.49/32.59	c 20.6279 10.8594 854 487331
32.49/32.59	o 10197
33.00/33.07	c 20.9228 10.8594 785 494593
33.00/33.07	o 10192
33.09/33.17	c 20.9758 10.8594 583 496668
33.09/33.17	o 10017
33.89/33.91	c 21.4347 10.8594 760 507343
33.89/33.91	o 9670
35.49/35.53	c 22.4356 10.8594 702 522351
35.49/35.53	o 9635
37.89/37.92	c 23.9264 10.8594 433 556116
37.89/37.92	o 9623
38.59/38.61	c 24.3663 10.8594 850 562655
38.59/38.61	o 9589
40.99/41.05	c 25.9051 10.8594 622 595539
40.99/41.05	o 9537
41.60/41.63	c 26.273 10.8594 966 601309
41.60/41.63	o 9513
45.59/45.60	c 28.7906 10.9844 525 653404
45.59/45.60	o 9438
47.20/47.22	c 29.8215 10.9805 654 676237
47.20/47.22	o 9368
47.30/47.34	c 29.8925 10.9805 818 677895
47.30/47.34	o 9182
47.49/47.54	c 30.0194 10.9805 810 679993
47.49/47.54	o 9158
50.29/50.34	c 31.7932 10.9805 527 709981
50.29/50.34	o 9156
53.09/53.15	c 33.5459 10.9805 530 744258
53.09/53.15	o 9096
55.89/55.97	c 35.3436 10.9805 449 783232
55.89/55.97	o 9058
59.30/59.37	c 37.4943 10.9805 742 815636
59.30/59.37	o 9047
59.59/59.62	c 37.6473 10.9805 634 818525
59.59/59.62	o 9028
61.19/61.28	c 38.6651 10.9805 612 841941
61.19/61.28	o 8975
64.69/64.70	c 40.8148 10.9805 750 885990
64.69/64.70	o 8897
69.59/69.61	c 43.9433 10.9805 919 952034
69.59/69.61	o 8739
70.79/70.87	c 44.7132 10.9805 546 968639
70.79/70.87	o 8641
72.69/72.78	c 45.891 10.9805 763 991577
72.69/72.78	o 8568
73.79/73.83	c 46.5439 10.9805 562 1006740
73.79/73.83	o 8532
76.69/76.76	c 48.3886 11.1055 521 1039519
76.69/76.76	o 8500
76.80/76.83	c 48.4446 11.1055 514 1040544
76.80/76.83	o 8484
78.99/79.06	c 49.8334 11.1055 485 1068908
78.99/79.06	o 8476
79.20/79.25	c 49.9384 11.1055 497 1070996
79.20/79.25	o 8465
79.69/79.72	c 50.2424 11.1055 543 1076698
79.69/79.72	o 8430
80.09/80.12	c 50.4873 11.1055 796 1082421
80.09/80.12	o 8397
80.60/80.69	c 50.8513 11.1055 848 1089662
80.60/80.69	o 8296
80.69/80.72	c 50.8733 11.1055 563 1090102
80.69/80.72	o 8243
82.40/82.41	c 51.9521 11.1055 899 1111118
82.40/82.41	o 8239
87.90/87.95	c 55.4366 11.1055 706 1174594
87.90/87.95	o 8229
88.69/88.76	c 55.9535 11.1055 776 1184257
88.69/88.76	o 8205
89.49/89.51	c 56.4164 11.1055 775 1194809
89.49/89.51	o 8169
90.20/90.28	c 56.8963 11.1055 597 1203206
90.20/90.28	o 8147
91.00/91.08	c 57.4163 11.1055 670 1212967
91.00/91.08	o 8139
91.69/91.74	c 57.8252 11.1055 815 1220036
91.69/91.74	o 7861
92.80/92.81	c 58.4931 11.1055 659 1233629
92.80/92.81	o 7846
94.89/94.90	c 59.7809 11.1055 523 1251627
94.89/94.90	o 7815
98.90/98.91	c 62.2285 11.1055 511 1297250
98.90/98.91	o 7787
99.70/99.78	c 62.7625 11.1055 749 1308300
99.70/99.78	o 7536
105.39/105.49	c 66.3609 11.1055 521 1366684
105.39/105.49	o 7487
106.60/106.70	c 67.1568 11.1055 909 1381412
106.60/106.70	o 7367
107.09/107.11	c 67.4247 11.2266 743 1385123
107.09/107.11	o 7208
118.10/118.18	c 74.3647 11.2266 670 1498059
118.10/118.18	o 7169
120.30/120.35	c 75.6995 11.2266 705 1516826
120.30/120.35	o 6906
124.19/124.21	c 78.0761 11.2266 894 1555431
124.19/124.21	o 6828
124.99/125.08	c 78.647 11.2266 649 1566259
124.99/125.08	o 6741
125.19/125.25	c 78.752 11.2266 602 1568250
125.19/125.25	o 6658
126.79/126.84	c 79.7309 11.2266 741 1586562
126.79/126.84	o 6653
127.19/127.26	c 79.9938 11.2266 508 1589701
127.19/127.26	o 6631
127.79/127.87	c 80.3808 11.2266 912 1596514
127.79/127.87	o 6608
131.10/131.10	c 82.3545 11.2266 445 1633125
131.10/131.10	o 6519
132.59/132.66	c 83.3603 11.2266 847 1648530
132.59/132.66	o 6435
137.20/137.26	c 86.2499 11.2266 863 1689621
137.20/137.26	o 6363
142.90/142.93	c 89.7324 11.2266 728 1746493
142.90/142.93	o 6066
143.19/143.20	c 89.9113 11.2266 742 1749567
143.19/143.20	o 6039
145.79/145.85	c 91.5371 11.2266 661 1772553
145.79/145.85	o 6006
147.89/147.99	c 92.8499 11.2266 552 1793089
147.89/147.99	o 5930
148.70/148.78	c 93.3368 11.2266 571 1801662
148.70/148.78	o 5847
155.00/155.10	c 97.2482 11.3516 802 1861876
155.00/155.10	o 5787
155.59/155.61	c 97.5652 11.3516 759 1867764
155.59/155.61	o 5736
160.30/160.35	c 100.548 11.3516 646 1914402
160.30/160.35	o 5729
162.10/162.11	c 101.669 11.3516 555 1931919
162.10/162.11	o 5694
162.30/162.30	c 101.792 11.3516 777 1933561
162.30/162.30	o 5562
164.90/164.96	c 103.443 11.3516 663 1956699
164.90/164.96	o 5423
166.29/166.37	c 104.354 11.3516 856 1970050
166.29/166.37	o 5333
168.20/168.27	c 105.539 11.3516 583 1987283
168.20/168.27	o 5291
173.09/173.13	c 108.572 11.3516 821 2029739
173.09/173.13	o 5283
174.20/174.26	c 109.285 11.3516 543 2039933
174.20/174.26	o 5226
176.30/176.39	c 110.596 11.3516 542 2060480
176.30/176.39	o 5210
179.70/179.71	c 112.659 11.3516 648 2096167
179.70/179.71	o 5087
180.50/180.54	c 113.187 11.3516 697 2104100
180.50/180.54	o 5014
182.69/182.79	c 114.558 11.3516 756 2122822
182.69/182.79	o 4996
184.20/184.20	c 115.448 11.3516 462 2138626
184.20/184.20	o 4882
185.10/185.12	c 115.995 11.3516 512 2147527
185.10/185.12	o 4823
186.69/186.73	c 116.976 11.3516 478 2162502
186.69/186.73	o 4806
189.10/189.13	c 118.44 11.3516 606 2183374
189.10/189.13	o 4677
190.40/190.40	c 119.209 11.3516 873 2194373
190.40/190.40	o 4665
196.10/196.13	c 122.777 11.3516 848 2239335
196.10/196.13	o 4641
196.29/196.31	c 122.903 11.3516 715 2241113
196.29/196.31	o 4610
200.20/200.24	c 125.344 11.3516 855 2273311
200.20/200.24	o 4509
201.80/201.80	c 126.319 11.3516 895 2289047
201.80/201.80	o 4487
202.89/202.95	c 127.031 11.3516 623 2300328
202.89/202.95	o 4408
205.00/205.06	c 128.376 11.3516 767 2318435
205.00/205.06	o 4354
205.90/205.91	c 128.895 11.3516 689 2326044
205.90/205.91	o 4325
206.10/206.10	c 129.012 11.3516 648 2328035
206.10/206.10	o 4200
206.70/206.73	c 129.417 11.3516 731 2333522
206.70/206.73	o 4077
207.10/207.15	c 129.667 11.3516 599 2337576
207.10/207.15	o 4054
209.30/209.32	c 131.019 11.3516 493 2356237
209.30/209.32	o 3944
209.90/209.97	c 131.429 11.3516 792 2361474
209.90/209.97	o 3862
210.20/210.21	c 131.57 11.3516 546 2364079
210.20/210.21	o 3850
210.70/210.70	c 131.896 11.3516 919 2367973
210.70/210.70	o 3800
211.10/211.11	c 132.133 11.3516 736 2371403
211.10/211.11	o 3778
211.49/211.58	c 132.422 11.3516 760 2375214
211.49/211.58	o 3705
213.70/213.73	c 133.81 11.3516 740 2391981
213.70/213.73	o 3656
219.59/219.61	c 137.475 11.4727 515 2441260
219.59/219.61	o 3616
222.30/222.32	c 139.168 11.4727 654 2462244
222.30/222.32	o 3520
223.90/223.97	c 140.186 11.4727 567 2474943
223.90/223.97	o 3479
225.10/225.16	c 140.885 11.4727 453 2485681
225.10/225.16	o 3425
225.80/225.83	c 141.322 11.4727 475 2491396
225.80/225.83	o 3409
226.80/226.85	c 141.948 11.4727 677 2499221
226.80/226.85	o 3403
233.79/233.88	c 146.29 11.4727 489 2553674
233.79/233.88	o 3372
233.90/233.96	c 146.346 11.4727 768 2554385
233.90/233.96	o 3340
235.40/235.47	c 147.279 11.4727 719 2565433
235.40/235.47	o 3277
236.89/236.95	c 148.232 11.4727 681 2576546
236.89/236.95	o 3237
238.70/238.72	c 149.347 11.4727 787 2587025
238.70/238.72	o 3221
240.00/240.02	c 150.138 11.4727 823 2597389
240.00/240.02	o 3046
243.01/243.04	c 152.035 11.4727 535 2618965
243.01/243.04	o 2992
243.10/243.18	c 152.119 11.4727 576 2620093
243.10/243.18	o 2968
243.30/243.37	c 152.23 11.4727 780 2621607
243.30/243.37	o 2942
243.80/243.82	c 152.502 11.4727 691 2624867
243.80/243.82	o 2902
246.31/246.36	c 154.118 11.4727 480 2644438
246.31/246.36	o 2788
247.30/247.34	c 154.718 11.4727 627 2650763
247.30/247.34	o 2750
247.90/247.94	c 155.099 11.4727 647 2654351
247.90/247.94	o 2669
247.99/248.06	c 155.176 11.4727 592 2655139
247.99/248.06	o 2666
249.70/249.77	c 156.247 11.4727 695 2666856
249.70/249.77	o 2638
249.80/249.89	c 156.331 11.4727 705 2667952
249.80/249.89	o 2623
250.70/250.78	c 156.877 11.4727 510 2675402
250.70/250.78	o 2583
250.80/250.85	c 156.913 11.4727 730 2675922
250.80/250.85	o 2546
251.40/251.44	c 157.273 11.4727 722 2680331
251.40/251.44	o 2541
251.69/251.75	c 157.471 11.4727 476 2682606
251.69/251.75	o 2533
252.90/252.98	c 158.252 11.4727 638 2691093
252.90/252.98	o 2503
254.20/254.26	c 159.035 11.4727 586 2700093
254.20/254.26	o 2489
255.80/255.85	c 160.024 11.4727 506 2712228
255.80/255.85	o 2470
256.10/256.15	c 160.206 11.5977 624 2714459
256.10/256.15	o 2436
257.30/257.35	c 160.945 11.5977 858 2722411
257.30/257.35	o 2431
258.50/258.59	c 161.726 11.5977 814 2731315
258.50/258.59	o 2417
259.20/259.29	c 162.154 11.5977 637 2736508
259.20/259.29	o 2389
261.80/261.86	c 163.754 11.5977 681 2754474
261.80/261.86	o 2381
262.60/262.60	c 164.211 11.5977 881 2759379
262.60/262.60	o 2309
263.80/263.88	c 165.038 11.5977 664 2768307
263.80/263.88	o 2283
265.70/265.71	c 166.2 11.5977 855 2781311
265.70/265.71	o 2230
265.70/265.76	c 166.232 11.5977 585 2781772
265.70/265.76	o 2219
266.00/266.00	c 166.387 11.5977 518 2783751
266.00/266.00	o 2162
266.60/266.67	c 166.822 11.5977 516 2788221
266.60/266.67	o 2126
266.69/266.76	c 166.885 11.5977 802 2788910
266.69/266.76	o 2077
268.49/268.57	c 168.005 11.5977 813 2802030
268.49/268.57	o 2028
268.80/268.81	c 168.143 11.5977 747 2803696
268.80/268.81	o 1954
269.40/269.44	c 168.523 11.5977 703 2808626
269.40/269.44	o 1917
269.51/269.57	c 168.601 11.5977 657 2809457
269.51/269.57	o 1910
269.60/269.65	c 168.652 11.5977 497 2810032
269.60/269.65	o 1828
270.30/270.37	c 169.104 11.5977 765 2814949
270.30/270.37	o 1774
270.60/270.67	c 169.307 11.5977 530 2817320
270.60/270.67	o 1740
270.90/270.97	c 169.497 11.5977 516 2819264
270.90/270.97	o 1728
271.19/271.25	c 169.674 11.5977 551 2821135
271.19/271.25	o 1700
271.30/271.38	c 169.748 11.5977 495 2822112
271.30/271.38	o 1541
272.49/272.54	c 170.464 11.5977 481 2830289
272.49/272.54	o 1495
272.49/272.59	c 170.5 11.5977 618 2830733
272.49/272.59	o 1377
273.10/273.16	c 170.86 11.5977 753 2834364
273.10/273.16	o 1345
273.30/273.35	c 170.977 11.5977 539 2835546
273.30/273.35	o 1324
273.60/273.68	c 171.182 11.5977 717 2837519
273.60/273.68	o 1315
273.70/273.77	c 171.245 11.5977 642 2838362
273.70/273.77	o 1174
275.40/275.49	c 172.355 11.7227 593 2849464
275.40/275.49	o 1141
275.60/275.64	c 172.45 11.7227 636 2850493
275.60/275.64	o 1117
275.60/275.68	c 172.48 11.7227 794 2850915
275.60/275.68	o 1116
275.90/275.91	c 172.621 11.7227 772 2852655
275.90/275.91	o 1028
276.11/276.11	c 172.736 11.7227 620 2854192
276.11/276.11	o 1003
276.20/276.23	c 172.812 11.7227 612 2854901
276.20/276.23	o 969
276.30/276.39	c 172.924 11.7227 799 2856110
276.30/276.39	o 918
277.40/277.43	c 173.572 11.7227 551 2862793
277.40/277.43	o 853
277.50/277.53	c 173.642 11.7227 889 2863429
277.50/277.53	o 830
277.60/277.64	c 173.7 11.7227 864 2864243
277.60/277.64	o 815
277.60/277.68	c 173.727 11.7227 552 2864562
277.60/277.68	o 779
277.70/277.72	c 173.753 11.7227 718 2864868
277.70/277.72	o 757
277.80/277.83	c 173.817 11.7227 560 2865474
277.80/277.83	o 743
277.80/277.88	c 173.855 11.7227 774 2865852
277.80/277.88	o 694
278.00/278.00	c 173.933 11.7227 680 2866622
278.00/278.00	o 634
278.00/278.04	c 173.958 11.7227 857 2867076
278.00/278.04	o 462
278.00/278.08	c 173.989 11.7227 867 2867406
278.00/278.08	s OPTIMUM FOUND
278.00/278.08	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	462

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700348-1278534911/watcher-2700348-1278534911 -o /tmp/evaluation-result-2700348-1278534911/solver-2700348-1278534911 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700348-1278534911.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.00 2.43 2.17 4/182 27770
/proc/meminfo: memFree=28733940/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=2136 CPUtime=0
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21704438 2187264 181 4089446400 134512640 136421960 4290582592 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27770/statm: 534 181 144 467 0 65 0

[startup+0.0489109 s]
/proc/loadavg: 2.00 2.43 2.17 4/182 27770
/proc/meminfo: memFree=28733940/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10348 CPUtime=0.04
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2332 0 0 0 4 0 0 0 25 0 1 0 21704438 10596352 2246 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/27770/statm: 2587 2246 237 467 0 2118 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10348

[startup+0.100905 s]
/proc/loadavg: 2.00 2.43 2.17 4/182 27770
/proc/meminfo: memFree=28733940/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10476 CPUtime=0.09
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2345 0 0 0 7 2 0 0 25 0 1 0 21704438 10727424 2258 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/27770/statm: 2619 2258 238 467 0 2150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10476

[startup+0.300877 s]
/proc/loadavg: 2.00 2.43 2.17 4/182 27770
/proc/meminfo: memFree=28733940/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10604 CPUtime=0.29
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2370 0 0 0 20 9 0 0 25 0 1 0 21704438 10858496 2283 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/27770/statm: 2651 2283 238 467 0 2182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10604

[startup+0.700805 s]
/proc/loadavg: 2.00 2.43 2.17 4/182 27770
/proc/meminfo: memFree=28733940/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10604 CPUtime=0.69
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2378 0 0 0 45 24 0 0 25 0 1 0 21704438 10858496 2291 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/27770/statm: 2651 2291 238 467 0 2182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10604

[startup+1.50065 s]
/proc/loadavg: 2.00 2.43 2.17 3/183 27771
/proc/meminfo: memFree=28724640/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10604 CPUtime=1.49
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2402 0 0 0 97 52 0 0 25 0 1 0 21704438 10858496 2314 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2651 2314 238 467 0 2182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10604

[startup+3.10036 s]
/proc/loadavg: 2.00 2.43 2.17 3/183 27771
/proc/meminfo: memFree=28723524/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10732 CPUtime=3.09
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2423 0 0 0 201 108 0 0 25 0 1 0 21704438 10989568 2327 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2683 2327 238 467 0 2214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10732

[startup+6.30079 s]
/proc/loadavg: 2.00 2.43 2.17 3/183 27771
/proc/meminfo: memFree=28718568/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10732 CPUtime=6.29
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2448 0 0 0 402 227 0 0 25 0 1 0 21704438 10989568 2347 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2683 2347 238 467 0 2214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10732

[startup+12.7006 s]
/proc/loadavg: 2.00 2.41 2.17 3/183 27771
/proc/meminfo: memFree=28711116/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10860 CPUtime=12.69
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2478 0 0 0 810 459 0 0 25 0 1 0 21704438 11120640 2374 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2715 2374 238 467 0 2246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10860

[startup+25.5003 s]
/proc/loadavg: 2.00 2.40 2.17 3/183 27772
/proc/meminfo: memFree=28694636/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=10988 CPUtime=25.49
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2528 0 0 0 1613 936 0 0 25 0 1 0 21704438 11251712 2412 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2747 2412 238 467 0 2278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10988

[startup+51.1006 s]
/proc/loadavg: 2.00 2.36 2.16 3/183 27773
/proc/meminfo: memFree=28663196/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11240 CPUtime=51.09
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2587 0 0 0 3225 1884 0 0 25 0 1 0 21704438 11509760 2454 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2810 2454 238 467 0 2341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11240

[startup+102.306 s]
/proc/loadavg: 2.00 2.30 2.15 3/183 27774
/proc/meminfo: memFree=28592584/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11368 CPUtime=102.3
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2668 0 0 0 6437 3793 0 0 25 0 1 0 21704438 11640832 2506 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2842 2506 238 467 0 2373 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11368

[startup+162.3 s]
/proc/loadavg: 2.07 2.26 2.15 3/183 27775
/proc/meminfo: memFree=28515768/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11620 CPUtime=162.3
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2728 0 0 0 10179 6051 0 0 25 0 1 0 21704438 11898880 2543 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2905 2543 238 467 0 2436 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11620

[startup+222.3 s]
/proc/loadavg: 2.02 2.21 2.14 3/183 27777
/proc/meminfo: memFree=28435216/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11744 CPUtime=222.3
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2797 0 0 0 13915 8315 0 0 25 0 1 0 21704438 12025856 2579 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2936 2579 238 467 0 2467 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 11744

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

[startup+230.301 s]
/proc/loadavg: 2.02 2.21 2.13 3/183 27777
/proc/meminfo: memFree=28423672/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11744 CPUtime=230.3
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2805 0 0 0 14407 8623 0 0 25 0 1 0 21704438 12025856 2582 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2936 2582 238 467 0 2467 0
Current children cumulated CPU time (s) 230.3
Current children cumulated vsize (KiB) 11744

[startup+255.9 s]
/proc/loadavg: 2.01 2.19 2.13 3/183 27778
/proc/meminfo: memFree=28387920/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11744 CPUtime=255.89
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2850 0 0 0 16004 9585 0 0 25 0 1 0 21704438 12025856 2604 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2936 2604 238 467 0 2467 0
Current children cumulated CPU time (s) 255.89
Current children cumulated vsize (KiB) 11744

[startup+268.701 s]
/proc/loadavg: 2.01 2.18 2.13 3/183 27778
/proc/meminfo: memFree=28372284/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11872 CPUtime=268.7
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2875 0 0 0 16807 10063 0 0 25 0 1 0 21704438 12156928 2616 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2968 2616 238 467 0 2499 0
Current children cumulated CPU time (s) 268.7
Current children cumulated vsize (KiB) 11872

[startup+271.9 s]
/proc/loadavg: 2.01 2.18 2.13 3/183 27779
/proc/meminfo: memFree=28368432/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11872 CPUtime=271.9
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2891 0 0 0 17007 10183 0 0 25 0 1 0 21704438 12156928 2623 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 271.9
Current children cumulated vsize (KiB) 11872

[startup+275.101 s]
/proc/loadavg: 2.01 2.18 2.13 3/183 27779
/proc/meminfo: memFree=28363720/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=11872 CPUtime=275.1
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2909 0 0 0 17208 10302 0 0 25 0 1 0 21704438 12156928 2635 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 2968 2635 238 467 0 2499 0
Current children cumulated CPU time (s) 275.1
Current children cumulated vsize (KiB) 11872

[startup+276.701 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27779
/proc/meminfo: memFree=28362356/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=12000 CPUtime=276.7
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2920 0 0 0 17312 10358 0 0 25 0 1 0 21704438 12288000 2639 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 3000 2639 238 467 0 2531 0
Current children cumulated CPU time (s) 276.7
Current children cumulated vsize (KiB) 12000

[startup+277.5 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27779
/proc/meminfo: memFree=28361612/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=12000 CPUtime=277.5
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2924 0 0 0 17362 10388 0 0 25 0 1 0 21704438 12288000 2642 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 3000 2642 238 467 0 2531 0
Current children cumulated CPU time (s) 277.5
Current children cumulated vsize (KiB) 12000

[startup+277.9 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27779
/proc/meminfo: memFree=28361612/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=12000 CPUtime=277.9
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2930 0 0 0 17386 10404 0 0 18 0 1 0 21704438 12288000 2642 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 3000 2642 238 467 0 2531 0
Current children cumulated CPU time (s) 277.9
Current children cumulated vsize (KiB) 12000

[startup+278 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27779
/proc/meminfo: memFree=28361612/32951124 swapFree=67111528/67111528
[pid=27770] ppid=27768 vsize=12000 CPUtime=278
/proc/27770/stat : 27770 (pbct) R 27768 27770 26954 0 -1 4202496 2931 0 0 0 17392 10408 0 0 18 0 1 0 21704438 12288000 2643 4089446400 134512640 136421960 4290582592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27770/statm: 3000 2643 238 467 0 2531 0
Current children cumulated CPU time (s) 278
Current children cumulated vsize (KiB) 12000

Child status: 0
Real time (s): 278.091
CPU time (s): 278.099
CPU user time (s): 173.998
CPU system time (s): 104.101
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.998
system time used= 104.101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2939
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= 3
involuntary context switches= 316

runsolver used 0.385941 second user time and 0.888864 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-07 22:35:11
IDJOB=2700348
IDBENCH=79420
IDSOLVER=1208
FILE ID=node134/2700348-1278534911
PBS_JOBID= 11239209
Free space on /tmp= 73712 MiB

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

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

MD5SUM BENCH= f8c09bda9afe7c43c5a568001f4bbb58
RANDOM SEED=525820831

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28734344 kB
Buffers:        144452 kB
Cached:        2476132 kB
SwapCached:          0 kB
Active:        2686896 kB
Inactive:      1382136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28734344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:     1448656 kB
Mapped:          16876 kB
Slab:            81612 kB
PageTables:       7868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1606624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73708 MiB
End job on node134 at 2010-07-07 22:39:49