Trace number 2700120

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 184.551 184.545

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
MD5SUM415715e3de5713a6aca23e12a1a413cb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark206
Best CPU time to get the best result obtained on this benchmark1.13183
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.03/0.03	c 0.037994 9.99609 1 1939
0.03/0.03	o 23387
0.03/0.04	c 0.037994 10.2188 1 2073
0.03/0.04	o 23348
0.03/0.04	c 0.037994 10.2188 2 2544
0.03/0.04	o 22886
0.03/0.04	c 0.037994 10.2188 2 3446
0.03/0.04	o 12918
0.03/0.04	c 0.037994 10.2188 2 4341
0.03/0.04	o 11507
0.03/0.04	c 0.037994 10.2188 5 4652
0.03/0.04	o 11367
0.03/0.07	c 0.047992 10.2188 129 5287
0.03/0.07	o 11286
0.39/0.49	c 0.108983 10.3438 672 11161
0.39/0.49	o 11149
0.79/0.85	c 0.181972 10.3438 688 16338
0.79/0.85	o 11083
0.89/0.93	c 0.19497 10.3438 703 17483
0.89/0.93	o 11001
1.89/1.96	c 0.387941 10.3438 643 32882
1.89/1.96	o 10940
2.49/2.50	c 0.478927 10.4688 654 37438
2.49/2.50	o 10919
2.49/2.57	c 0.486925 10.4688 667 38636
2.49/2.57	o 10865
2.99/3.04	c 0.579911 10.4688 771 44495
2.99/3.04	o 10842
3.49/3.52	c 0.659899 10.4688 751 51876
3.49/3.52	o 10789
4.69/4.75	c 0.905862 10.4688 718 67768
4.69/4.75	o 10700
7.09/7.16	c 1.41478 10.4688 474 93666
7.09/7.16	o 10645
7.19/7.23	c 1.42778 10.4688 547 94877
7.19/7.23	o 10630
7.19/7.28	c 1.43978 10.4688 416 95444
7.19/7.28	o 10605
7.29/7.35	c 1.45078 10.4688 717 96293
7.29/7.35	o 10594
7.70/7.76	c 1.52477 10.4688 633 100701
7.70/7.76	o 10593
7.99/8.08	c 1.58676 10.4688 432 105482
7.99/8.08	o 10371
8.09/8.14	c 1.59676 10.4688 708 106332
8.09/8.14	o 10248
13.69/13.71	c 2.6176 10.5938 913 167307
13.69/13.71	o 10096
16.50/16.56	c 3.14652 10.7148 779 194066
16.50/16.56	o 9986
16.69/16.78	c 3.18052 10.7148 591 196725
16.69/16.78	o 9958
17.09/17.10	c 3.23551 10.7148 879 201105
17.09/17.10	o 9931
19.80/19.81	c 3.77243 10.7148 904 232281
19.80/19.81	o 9850
19.80/19.86	c 3.77842 10.7148 623 232935
19.80/19.86	o 9690
20.80/20.83	c 3.9314 10.7148 788 245725
20.80/20.83	o 9622
21.09/21.17	c 4.00039 10.7148 607 248962
21.09/21.17	o 9584
26.59/26.63	c 4.97624 10.7148 572 311231
26.59/26.63	o 9359
27.19/27.26	c 5.07223 10.8398 585 319211
27.19/27.26	o 9260
43.39/43.49	c 8.16376 10.8398 463 490888
43.39/43.49	o 9248
43.49/43.55	c 8.16776 10.8398 698 491753
43.49/43.55	o 9061
43.69/43.71	c 8.19875 10.8398 624 493504
43.69/43.71	o 8979
45.79/45.89	c 8.65568 10.8398 605 519908
45.79/45.89	o 8973
47.20/47.26	c 8.88665 10.9648 676 534195
47.20/47.26	o 8794
47.80/47.84	c 8.97564 10.9648 549 541101
47.80/47.84	o 8763
48.49/48.53	c 9.09562 10.9648 901 549849
48.49/48.53	o 8586
50.29/50.32	c 9.37457 10.9648 824 568861
50.29/50.32	o 8512
51.29/51.31	c 9.65753 10.9648 753 580946
51.29/51.31	o 8487
53.69/53.79	c 10.0665 10.9648 731 608657
53.69/53.79	o 8410
55.29/55.35	c 10.3114 10.9648 835 622155
55.29/55.35	o 8343
57.30/57.36	c 10.7154 10.9648 502 645472
57.30/57.36	o 8291
60.30/60.35	c 11.2863 10.9648 465 680979
60.30/60.35	o 8235
61.70/61.77	c 11.5043 10.9648 540 696405
61.70/61.77	o 8162
62.19/62.24	c 11.5832 10.9648 612 701087
62.19/62.24	o 7846
63.09/63.14	c 11.7142 10.9648 593 711656
63.09/63.14	o 7836
63.59/63.69	c 11.8302 10.9648 643 717250
63.59/63.69	o 7731
64.09/64.13	c 11.9432 10.9648 772 722418
64.09/64.13	o 7601
65.09/65.19	c 12.1602 10.9648 494 733101
65.09/65.19	o 7549
68.20/68.28	c 12.6461 10.9648 649 766459
68.20/68.28	o 7490
70.89/70.96	c 13.195 10.9648 620 790017
70.89/70.96	o 7385
72.20/72.25	c 13.401 10.9648 537 801239
72.20/72.25	o 7281
72.69/72.77	c 13.476 10.9648 776 806978
72.69/72.77	o 7216
76.79/76.90	c 14.1888 10.9648 784 850149
76.79/76.90	o 7136
79.60/79.65	c 14.7088 10.9648 445 876394
79.60/79.65	o 7088
79.70/79.75	c 14.7318 10.9648 798 877351
79.70/79.75	o 7010
80.99/81.05	c 14.9287 11.0898 462 890908
80.99/81.05	o 6854
80.99/81.07	c 14.9347 11.0898 607 891496
80.99/81.07	o 6828
81.79/81.88	c 15.0517 11.0898 655 899939
81.79/81.88	o 6811
82.39/82.45	c 15.1377 11.0898 658 905713
82.39/82.45	o 6757
83.90/83.97	c 15.4906 11.0898 619 919529
83.90/83.97	o 6642
85.19/85.20	c 15.6976 11.0898 541 929789
85.19/85.20	o 6628
86.80/86.88	c 15.9636 11.0898 725 945398
86.80/86.88	o 6596
87.30/87.36	c 16.0306 11.0898 500 949307
87.30/87.36	o 6542
90.00/90.00	c 16.4425 11.0898 516 975259
90.00/90.00	o 6454
91.20/91.23	c 16.7315 11.0898 598 986487
91.20/91.23	o 6439
91.79/91.88	c 16.8374 11.0898 431 992817
91.79/91.88	o 6406
94.89/94.90	c 17.2964 11.0898 559 1020796
94.89/94.90	o 6381
95.29/95.39	c 17.3804 11.0898 707 1024921
95.29/95.39	o 6357
96.10/96.15	c 17.4913 11.0898 761 1031369
96.10/96.15	o 6356
97.09/97.12	c 17.7423 11.0898 664 1041038
97.09/97.12	o 6339
100.10/100.11	c 18.2212 11.0898 748 1069263
100.10/100.11	o 6332
100.80/100.82	c 18.3232 11.0898 787 1077187
100.80/100.82	o 6286
102.00/102.02	c 18.5082 11.0898 496 1087893
102.00/102.02	o 6199
102.00/102.08	c 18.5142 11.0898 659 1088533
102.00/102.08	o 6046
105.40/105.41	c 19.1321 11.0898 928 1117589
105.40/105.41	o 5897
105.69/105.73	c 19.1811 11.0898 610 1121822
105.69/105.73	o 5752
106.19/106.25	c 19.2591 11.0898 841 1127237
106.19/106.25	o 5693
106.30/106.39	c 19.2791 11.0898 519 1128700
106.30/106.39	o 5568
111.10/111.19	c 20.1149 11.0898 651 1168582
111.10/111.19	o 5520
111.39/111.49	c 20.1649 11.0898 424 1171996
111.39/111.49	o 5381
113.90/113.97	c 20.5499 11.0898 838 1193878
113.90/113.97	o 5344
114.00/114.08	c 20.5669 11.0898 803 1194819
114.00/114.08	o 5302
114.49/114.51	c 20.6269 11.0898 594 1198289
114.49/114.51	o 5244
116.99/117.00	c 21.1288 11.0898 733 1220529
116.99/117.00	o 5176
117.39/117.43	c 21.2058 11.0898 769 1224929
117.39/117.43	o 5138
120.00/120.08	c 21.6267 11.2148 650 1246753
120.00/120.08	o 5128
123.59/123.65	c 22.2806 11.2148 501 1274744
123.59/123.65	o 5075
125.69/125.79	c 22.6326 11.2148 726 1293297
125.69/125.79	o 4996
125.79/125.83	c 22.6396 11.2148 560 1293983
125.79/125.83	o 4889
126.90/126.97	c 22.8225 11.2148 388 1304275
126.90/126.97	o 4888
127.20/127.20	c 22.8625 11.2148 497 1306403
127.20/127.20	o 4869
127.60/127.66	c 22.9355 11.2148 505 1310652
127.60/127.66	o 4842
127.80/127.81	c 22.9555 11.2148 592 1311983
127.80/127.81	o 4766
128.39/128.42	c 23.0635 11.2148 566 1317769
128.39/128.42	o 4753
128.39/128.48	c 23.0725 11.2148 778 1318323
128.39/128.48	o 4739
131.80/131.86	c 23.7164 11.2148 471 1345865
131.80/131.86	o 4723
132.00/132.07	c 23.7544 11.2148 511 1348172
132.00/132.07	o 4662
132.39/132.47	c 23.8294 11.2148 615 1351259
132.39/132.47	o 4474
134.60/134.66	c 24.1683 11.2148 501 1370870
134.60/134.66	o 4394
134.79/134.83	c 24.1923 11.2148 667 1372411
134.79/134.83	o 4334
134.89/134.92	c 24.2023 11.2148 621 1373258
134.89/134.92	o 4301
135.59/135.69	c 24.3553 11.2148 773 1379381
135.59/135.69	o 4259
135.79/135.85	c 24.4013 11.2148 563 1380866
135.79/135.85	o 4248
135.79/135.87	c 24.4093 11.2148 629 1381164
135.79/135.87	o 4152
137.50/137.58	c 24.7532 11.2148 514 1394565
137.50/137.58	o 4138
140.00/140.04	c 25.1342 11.2148 603 1413265
140.00/140.04	o 4123
140.19/140.21	c 25.1572 11.2148 774 1414755
140.19/140.21	o 4121
141.00/141.06	c 25.2912 11.2148 760 1421080
141.00/141.06	o 4119
141.50/141.59	c 25.3581 11.2148 841 1425292
141.50/141.59	o 4104
141.99/142.09	c 25.4291 11.2148 674 1429044
141.99/142.09	o 4075
142.90/142.94	c 25.6571 11.2148 503 1434772
142.90/142.94	o 4073
143.69/143.77	c 25.8311 11.2148 763 1440676
143.69/143.77	o 3978
145.30/145.37	c 26.104 11.2148 641 1453218
145.30/145.37	o 3977
145.39/145.46	c 26.116 11.2148 568 1454062
145.39/145.46	o 3707
145.79/145.88	c 26.174 11.2148 675 1457164
145.79/145.88	o 3703
146.50/146.51	c 26.268 11.3398 525 1460984
146.50/146.51	o 3682
146.50/146.53	c 26.271 11.3398 586 1461205
146.50/146.53	o 3639
147.40/147.44	c 26.415 11.3398 874 1468721
147.40/147.44	o 3604
147.69/147.75	c 26.459 11.3398 678 1471549
147.69/147.75	o 3577
148.30/148.35	c 26.552 11.3398 887 1475671
148.30/148.35	o 3574
148.40/148.47	c 26.577 11.3398 825 1476736
148.40/148.47	o 3504
152.39/152.41	c 27.2659 11.3398 548 1504207
152.39/152.41	o 3306
153.60/153.62	c 27.4548 11.3398 647 1514160
153.60/153.62	o 3277
154.80/154.80	c 27.6418 11.3398 673 1522949
154.80/154.80	o 3113
155.29/155.30	c 27.7188 11.3398 740 1527173
155.29/155.30	o 3099
155.40/155.48	c 27.7678 11.3398 775 1528225
155.40/155.48	o 3069
155.40/155.48	c 27.7678 11.3398 396 1528342
155.40/155.48	o 3022
157.59/157.65	c 28.1857 11.3398 651 1542849
157.59/157.65	o 2978
158.40/158.45	c 28.3127 11.3398 865 1548959
158.40/158.45	o 2914
158.49/158.51	c 28.3197 11.3398 596 1549417
158.49/158.51	o 2893
158.49/158.56	c 28.3247 11.3398 763 1549873
158.49/158.56	o 2832
159.10/159.15	c 28.4237 11.3398 882 1553931
159.10/159.15	o 2830
160.70/160.77	c 28.6736 11.3398 741 1564102
160.70/160.77	o 2780
161.79/161.88	c 28.8636 11.3398 876 1572187
161.79/161.88	o 2772
161.90/161.96	c 28.8856 11.3398 673 1572754
161.90/161.96	o 2733
162.19/162.24	c 28.9506 11.3398 743 1574844
162.19/162.24	o 2639
163.40/163.46	c 29.2126 11.3398 446 1583874
163.40/163.46	o 2588
164.40/164.49	c 29.3715 11.3398 761 1590730
164.40/164.49	o 2566
164.50/164.53	c 29.3785 11.3398 455 1590934
164.50/164.53	o 2561
164.80/164.84	c 29.4245 11.3398 656 1593437
164.80/164.84	o 2542
165.40/165.50	c 29.5305 11.3398 518 1598044
165.40/165.50	o 2528
165.59/165.67	c 29.5545 11.3398 661 1599443
165.59/165.67	o 2515
167.59/167.63	c 29.8445 11.3398 631 1612277
167.59/167.63	o 2513
167.90/167.93	c 29.9025 11.3398 701 1614352
167.90/167.93	o 2475
168.30/168.35	c 29.9804 11.3398 781 1617397
168.30/168.35	o 2447
168.99/169.00	c 30.1494 11.3398 455 1622258
168.99/169.00	o 2384
169.30/169.31	c 30.2264 11.3398 484 1623873
169.30/169.31	o 2335
169.30/169.37	c 30.2354 11.3398 671 1624454
169.30/169.37	o 2305
169.49/169.50	c 30.2594 11.3398 683 1625459
169.49/169.50	o 2198
169.89/169.97	c 30.3374 11.3398 418 1628469
169.89/169.97	o 2169
169.99/170.03	c 30.3454 11.3398 559 1628783
169.99/170.03	o 2156
170.30/170.34	c 30.4004 11.3398 609 1630816
170.30/170.34	o 2092
170.59/170.61	c 30.4424 11.4648 495 1632692
170.59/170.61	o 2068
171.00/171.06	c 30.5094 11.4648 607 1635332
171.00/171.06	o 2065
173.49/173.53	c 30.9343 11.4648 558 1651706
173.49/173.53	o 2015
173.90/173.94	c 31.0103 11.4648 490 1654374
173.90/173.94	o 1995
174.81/174.83	c 31.1623 11.4648 658 1660230
174.81/174.83	o 1985
175.10/175.16	c 31.2562 11.4648 782 1662496
175.10/175.16	o 1973
175.20/175.22	c 31.2772 11.4648 578 1662927
175.20/175.22	o 1968
176.40/176.44	c 31.5722 11.4648 471 1671141
176.40/176.44	o 1812
176.70/176.78	c 31.6332 11.4648 563 1672692
176.70/176.78	o 1757
177.20/177.28	c 31.7172 11.4648 761 1676033
177.20/177.28	o 1684
177.30/177.33	c 31.7262 11.4648 449 1676358
177.30/177.33	o 1668
177.40/177.43	c 31.7382 11.4648 746 1677031
177.40/177.43	o 1633
177.90/177.90	c 31.8232 11.4648 835 1679880
177.90/177.90	o 1632
178.00/178.01	c 31.8432 11.4648 700 1680515
178.00/178.01	o 1629
178.10/178.17	c 31.8702 11.4648 754 1681672
178.10/178.17	o 1622
178.20/178.22	c 31.8792 11.4648 486 1682068
178.20/178.22	o 1563
179.10/179.14	c 32.0231 11.4648 584 1687592
179.10/179.14	o 1477
179.21/179.23	c 32.0371 11.4648 875 1688513
179.21/179.23	o 1464
179.69/179.76	c 32.1291 11.4648 743 1691937
179.69/179.76	o 1429
179.80/179.84	c 32.1451 11.4648 562 1692479
179.80/179.84	o 1385
179.90/179.94	c 32.1641 11.4648 825 1693145
179.90/179.94	o 1331
180.30/180.33	c 32.2321 11.4648 778 1695622
180.30/180.33	o 1307
180.59/180.68	c 32.2981 11.4648 637 1697970
180.59/180.68	o 1269
180.90/180.92	c 32.3361 11.4648 481 1699308
180.90/180.92	o 1216
180.90/180.93	c 32.3381 11.4648 504 1699416
180.90/180.93	o 1196
181.89/181.93	c 32.585 11.4648 595 1705308
181.89/181.93	o 1166
182.19/182.24	c 32.673 11.4648 738 1707409
182.19/182.24	o 1152
182.50/182.53	c 32.764 11.4648 767 1709410
182.50/182.53	o 1029
182.70/182.70	c 32.805 11.4648 495 1710658
182.70/182.70	o 998
182.70/182.76	c 32.826 11.4648 686 1711086
182.70/182.76	o 987
182.80/182.83	c 32.838 11.4648 450 1711494
182.80/182.83	o 974
183.00/183.01	c 32.883 11.4648 614 1712726
183.00/183.01	o 949
183.00/183.10	c 32.904 11.4648 467 1713235
183.00/183.10	o 937
183.10/183.16	c 32.924 11.4648 686 1713691
183.10/183.16	o 889
183.20/183.29	c 32.947 11.4648 650 1714509
183.20/183.29	o 853
183.29/183.34	c 32.955 11.4648 807 1714904
183.29/183.34	o 842
183.50/183.55	c 32.996 11.6016 976 1716323
183.50/183.55	o 815
183.61/183.61	c 33.011 11.6016 699 1716773
183.61/183.61	o 772
183.61/183.70	c 33.029 11.6016 972 1717369
183.61/183.70	o 699
183.70/183.76	c 33.044 11.6016 689 1717751
183.70/183.76	o 694
183.80/183.81	c 33.064 11.6016 859 1718107
183.80/183.81	o 622
183.89/183.91	c 33.092 11.6016 729 1718842
183.89/183.91	o 604
184.00/184.05	c 33.13 11.6016 850 1719956
184.00/184.05	o 578
184.00/184.07	c 33.134 11.6016 910 1720103
184.00/184.07	o 564
184.20/184.25	c 33.189 11.6016 644 1721555
184.20/184.25	o 527
184.29/184.35	c 33.211 11.6016 1183 1722385
184.29/184.35	o 505
184.40/184.45	c 33.2389 11.6016 1042 1723083
184.40/184.45	o 492
184.40/184.45	c 33.2409 11.6016 1028 1723199
184.40/184.45	o 415
184.50/184.52	c 33.2639 11.6016 730 1723764
184.50/184.52	o 350
184.50/184.52	c 33.2639 11.6016 734 1723800
184.50/184.52	o 311
184.50/184.52	c 33.2639 11.6016 739 1723848
184.50/184.52	o 258
184.50/184.52	c 33.2639 11.6016 746 1723886
184.50/184.52	o 222
184.50/184.53	c 33.2639 11.6016 754 1723911
184.50/184.53	o 206
184.50/184.53	c 33.2669 11.6016 801 1723966
184.50/184.53	s OPTIMUM FOUND
184.50/184.53	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	206

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700120-1278534022/watcher-2700120-1278534022 -o /tmp/evaluation-result-2700120-1278534022/solver-2700120-1278534022 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700120-1278534022.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.16 1.02 0.39 4/178 17711
/proc/meminfo: memFree=30024620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=2136 CPUtime=0
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 260 0 0 0 0 0 0 0 22 0 1 0 21617174 2187264 180 4089446400 134512640 136421960 4286802752 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17711/statm: 534 180 144 467 0 65 0

[startup+0.032805 s]
/proc/loadavg: 2.16 1.02 0.39 4/178 17711
/proc/meminfo: memFree=30024620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=9672 CPUtime=0.03
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2134 0 0 0 3 0 0 0 22 0 1 0 21617174 9904128 2054 4089446400 134512640 136421960 4286802752 18446744073709551615 135830543 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2418 2059 200 467 0 1949 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9672

[startup+0.100797 s]
/proc/loadavg: 2.16 1.02 0.39 4/178 17711
/proc/meminfo: memFree=30024620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10460 CPUtime=0.09
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2335 0 0 0 5 4 0 0 22 0 1 0 21617174 10711040 2248 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2615 2248 238 467 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10460

[startup+0.300765 s]
/proc/loadavg: 2.16 1.02 0.39 4/178 17711
/proc/meminfo: memFree=30024620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10460 CPUtime=0.29
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2361 0 0 0 8 21 0 0 22 0 1 0 21617174 10711040 2274 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2615 2274 238 467 0 2146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10460

[startup+0.700682 s]
/proc/loadavg: 2.16 1.02 0.39 4/178 17711
/proc/meminfo: memFree=30024620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10588 CPUtime=0.69
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2372 0 0 0 14 55 0 0 24 0 1 0 21617174 10842112 2284 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2647 2284 238 467 0 2178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10588

[startup+1.50055 s]
/proc/loadavg: 2.16 1.02 0.39 3/179 17712
/proc/meminfo: memFree=30014940/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10588 CPUtime=1.49
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2386 0 0 0 29 120 0 0 25 0 1 0 21617174 10842112 2296 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2647 2296 238 467 0 2178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10588

[startup+3.10026 s]
/proc/loadavg: 2.16 1.02 0.39 3/179 17712
/proc/meminfo: memFree=30012708/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10716 CPUtime=3.09
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2412 0 0 0 58 251 0 0 25 0 1 0 21617174 10973184 2318 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2679 2318 238 467 0 2210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10716

[startup+6.30067 s]
/proc/loadavg: 2.15 1.03 0.40 3/179 17712
/proc/meminfo: memFree=30008368/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10716 CPUtime=6.29
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2434 0 0 0 127 502 0 0 25 0 1 0 21617174 10973184 2338 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2679 2338 238 467 0 2210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10716

[startup+12.7005 s]
/proc/loadavg: 2.14 1.05 0.41 3/179 17712
/proc/meminfo: memFree=30001204/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10844 CPUtime=12.69
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2457 0 0 0 245 1024 0 0 25 0 1 0 21617174 11104256 2354 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2711 2354 238 467 0 2242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10844

[startup+25.5002 s]
/proc/loadavg: 2.11 1.09 0.43 3/179 17713
/proc/meminfo: memFree=29983680/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=10968 CPUtime=25.49
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2505 0 0 0 479 2070 0 0 25 0 1 0 21617174 11231232 2394 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2742 2394 238 467 0 2273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10968

[startup+51.1005 s]
/proc/loadavg: 2.07 1.16 0.48 3/179 17713
/proc/meminfo: memFree=29950540/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11224 CPUtime=51.09
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2557 0 0 0 958 4151 0 0 25 0 1 0 21617174 11493376 2436 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2806 2436 238 467 0 2337 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11224

[startup+102.306 s]
/proc/loadavg: 2.03 1.29 0.55 3/179 17715
/proc/meminfo: memFree=29879192/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11352 CPUtime=102.3
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2647 0 0 0 1853 8377 0 0 25 0 1 0 21617174 11624448 2489 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2838 2489 238 467 0 2369 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11352

[startup+162.3 s]
/proc/loadavg: 2.01 1.42 0.64 3/179 17716
/proc/meminfo: memFree=29798908/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11608 CPUtime=162.3
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2769 0 0 0 2896 13334 0 0 25 0 1 0 21617174 11886592 2549 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2902 2549 238 467 0 2433 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11608

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

[startup+166.301 s]
/proc/loadavg: 2.01 1.43 0.65 3/179 17716
/proc/meminfo: memFree=29791708/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11608 CPUtime=166.3
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2784 0 0 0 2964 13666 0 0 25 0 1 0 21617174 11886592 2558 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2902 2558 238 467 0 2433 0
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (KiB) 11608

[startup+172.706 s]
/proc/loadavg: 2.01 1.44 0.65 3/179 17716
/proc/meminfo: memFree=29782400/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11736 CPUtime=172.7
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2816 0 0 0 3078 14192 0 0 25 0 1 0 21617174 12017664 2578 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2934 2578 238 467 0 2465 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 11736

[startup+179.1 s]
/proc/loadavg: 2.01 1.44 0.66 3/179 17717
/proc/meminfo: memFree=29775700/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11736 CPUtime=179.1
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2838 0 0 0 3201 14709 0 0 25 0 1 0 21617174 12017664 2586 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2934 2586 238 467 0 2465 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 11736

[startup+182.301 s]
/proc/loadavg: 2.01 1.45 0.67 3/179 17717
/proc/meminfo: memFree=29771236/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11736 CPUtime=182.3
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2864 0 0 0 3269 14961 0 0 25 0 1 0 21617174 12017664 2601 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2934 2601 238 467 0 2465 0
Current children cumulated CPU time (s) 182.3
Current children cumulated vsize (KiB) 11736

[startup+183.9 s]
/proc/loadavg: 2.01 1.45 0.67 3/179 17717
/proc/meminfo: memFree=29768620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11876 CPUtime=183.89
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2887 0 0 0 3308 15081 0 0 25 0 1 0 21617174 12161024 2610 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2969 2610 238 467 0 2500 0
Current children cumulated CPU time (s) 183.89
Current children cumulated vsize (KiB) 11876

[startup+184.3 s]
/proc/loadavg: 2.01 1.45 0.67 3/179 17717
/proc/meminfo: memFree=29768620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11876 CPUtime=184.29
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2893 0 0 0 3319 15110 0 0 25 0 1 0 21617174 12161024 2612 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2969 2612 238 467 0 2500 0
Current children cumulated CPU time (s) 184.29
Current children cumulated vsize (KiB) 11876

[startup+184.5 s]
/proc/loadavg: 2.01 1.45 0.67 3/179 17717
/proc/meminfo: memFree=29768620/32951124 swapFree=67111528/67111528
[pid=17711] ppid=17709 vsize=11876 CPUtime=184.5
/proc/17711/stat : 17711 (pbct) R 17709 17711 17152 0 -1 4202496 2897 0 0 0 3325 15125 0 0 25 0 1 0 21617174 12161024 2613 4089446400 134512640 136421960 4286802752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17711/statm: 2969 2613 238 467 0 2500 0
Current children cumulated CPU time (s) 184.5
Current children cumulated vsize (KiB) 11876

Child status: 0
Real time (s): 184.545
CPU time (s): 184.551
CPU user time (s): 33.2749
CPU system time (s): 151.276
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11876

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

runsolver used 0.340948 second user time and 0.650901 second system time

The end

Launcher Data 

Begin job on node106 at 2010-07-07 22:20:23
IDJOB=2700120
IDBENCH=79401
IDSOLVER=1208
FILE ID=node106/2700120-1278534022
PBS_JOBID= 11239265
Free space on /tmp= 73244 MiB

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

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

MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb
RANDOM SEED=457841496

node106.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.814
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.62
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.814
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.814
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.76
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.814
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.77
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.814
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.814
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.814
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.82
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.814
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30024900 kB
Buffers:        130368 kB
Cached:        2360976 kB
SwapCached:          0 kB
Active:        1266872 kB
Inactive:      1504464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30024900 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:      280100 kB
Mapped:          17112 kB
Slab:            89772 kB
PageTables:       5040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   421832 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= 73240 MiB
End job on node106 at 2010-07-07 22:23:27