Trace number 2700156

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 100.641 100.639

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
MD5SUMbf55ab5b50211f096e62edcb64c4bf57
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark0.174973
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
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/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.031995 9.74219 1 1845
0.00/0.03	o 26445
0.00/0.04	c 0.031995 9.89844 1 2693
0.00/0.04	o 25047
0.00/0.04	c 0.032994 9.89844 3 2850
0.00/0.04	o 24979
0.00/0.04	c 0.033994 9.89844 3 3701
0.00/0.04	o 13483
0.00/0.04	c 0.034994 9.89844 4 4280
0.00/0.04	o 13258
0.00/0.04	c 0.034994 9.89844 4 5126
0.00/0.04	o 10198
0.00/0.05	c 0.034994 9.89844 10 5407
0.00/0.05	o 10163
0.19/0.21	c 0.06399 10.0234 567 8239
0.19/0.21	o 9916
1.29/1.35	c 0.273958 10.1484 567 20912
1.29/1.35	o 9887
1.49/1.57	c 0.32595 10.1484 450 24536
1.49/1.57	o 9829
2.20/2.27	c 0.51992 10.1484 451 34290
2.20/2.27	o 9786
2.39/2.41	c 0.559914 10.1484 766 36023
2.39/2.41	o 9649
2.49/2.59	c 0.603908 10.1484 468 39179
2.49/2.59	o 9524
2.99/3.01	c 0.688895 10.1484 668 44948
2.99/3.01	o 9415
4.09/4.15	c 0.880866 10.2734 661 58781
4.09/4.15	o 9377
5.50/5.50	c 1.10383 10.2734 939 74169
5.50/5.50	o 9363
5.50/5.55	c 1.10983 10.2734 664 74999
5.50/5.55	o 9167
5.50/5.59	c 1.11683 10.2734 495 75597
5.50/5.59	o 9085
5.59/5.66	c 1.13083 10.2734 608 77072
5.59/5.66	o 8897
5.79/5.86	c 1.16682 10.2734 600 79637
5.79/5.86	o 8872
6.29/6.33	c 1.23681 10.2734 659 85910
6.29/6.33	o 8853
6.89/6.90	c 1.3328 10.2734 732 92718
6.89/6.90	o 8785
7.49/7.58	c 1.42978 10.2734 792 100500
7.49/7.58	o 8759
7.79/7.86	c 1.47178 10.2734 748 104094
7.79/7.86	o 8642
8.09/8.18	c 1.55876 10.2734 893 107150
8.09/8.18	o 8590
9.29/9.39	c 1.87071 10.2734 752 122948
9.29/9.39	o 8540
9.39/9.41	c 1.87271 10.2734 501 123416
9.39/9.41	o 8475
9.69/9.71	c 1.92671 10.2734 563 127494
9.69/9.71	o 8400
10.59/10.60	c 2.07168 10.3984 710 139295
10.59/10.60	o 8324
10.69/10.72	c 2.08868 10.3984 930 140834
10.69/10.72	o 8313
13.39/13.46	c 2.50762 10.3984 605 171395
13.39/13.46	o 8295
15.69/15.73	c 2.99654 10.3984 721 196290
15.69/15.73	o 8268
15.79/15.80	c 3.00454 10.3984 425 197548
15.79/15.80	o 8232
17.89/17.93	c 3.33049 10.3984 774 221163
17.89/17.93	o 8151
18.09/18.14	c 3.36449 10.3984 548 223774
18.09/18.14	o 8136
22.00/22.07	c 4.09438 10.5234 600 263727
22.00/22.07	o 8135
22.59/22.65	c 4.18436 10.5234 498 269779
22.59/22.65	o 8104
23.19/23.29	c 4.28035 10.5234 903 276748
23.19/23.29	o 8076
23.40/23.50	c 4.32034 10.5234 636 279109
23.40/23.50	o 8031
24.00/24.02	c 4.39433 10.5234 668 284615
24.00/24.02	o 8017
25.70/25.79	c 4.67729 10.5234 836 303393
25.70/25.79	o 8000
28.79/28.83	c 5.31319 10.5234 772 340159
28.79/28.83	o 7882
30.00/30.07	c 5.51016 10.5234 565 354421
30.00/30.07	o 7793
30.50/30.55	c 5.57515 10.5234 645 360478
30.50/30.55	o 7714
30.60/30.66	c 5.59115 10.5234 814 361979
30.60/30.66	o 7541
30.70/30.80	c 5.61015 10.5234 644 363872
30.70/30.80	o 7438
31.39/31.47	c 5.71513 10.5234 835 370551
31.39/31.47	o 7373
32.39/32.43	c 5.84911 10.5234 686 381745
32.39/32.43	o 7179
33.89/33.91	c 6.08507 10.5234 664 396548
33.89/33.91	o 7066
33.89/33.95	c 6.09607 10.5234 530 397208
33.89/33.95	o 7016
34.99/35.09	c 6.35903 10.5234 842 408454
34.99/35.09	o 7013
35.70/35.79	c 6.50201 10.5234 601 415924
35.70/35.79	o 7002
35.79/35.89	c 6.52301 10.6484 732 417292
35.79/35.89	o 6919
36.59/36.61	c 6.63099 10.6484 654 425621
36.59/36.61	o 6901
36.79/36.88	c 6.67098 10.6484 692 428445
36.79/36.88	o 6888
37.79/37.86	c 6.83196 10.6484 486 439542
37.79/37.86	o 6815
38.09/38.18	c 6.88995 10.6484 726 443480
38.09/38.18	o 6738
38.39/38.46	c 6.92995 10.6484 527 446732
38.39/38.46	o 6704
38.39/38.49	c 6.93394 10.6484 668 447197
38.39/38.49	o 6649
38.79/38.82	c 6.98994 10.6484 837 450038
38.79/38.82	o 6604
40.19/40.28	c 7.2179 10.6484 436 466910
40.19/40.28	o 6524
40.39/40.46	c 7.2459 10.6484 591 469438
40.39/40.46	o 6465
40.79/40.80	c 7.31589 10.6484 636 473235
40.79/40.80	o 6392
40.99/41.04	c 7.38088 10.6484 588 476168
40.99/41.04	o 6250
41.10/41.16	c 7.41687 10.6484 754 477246
41.10/41.16	o 6234
41.29/41.31	c 7.46286 10.6484 441 479598
41.29/41.31	o 6192
41.80/41.84	c 7.60784 10.6484 515 484841
41.80/41.84	o 6162
42.89/42.98	c 7.79382 10.6484 418 495475
42.89/42.98	o 6104
44.00/44.01	c 7.93479 10.6484 805 505625
44.00/44.01	o 6102
46.19/46.26	c 8.25075 10.6484 654 525474
46.19/46.26	o 6042
48.40/48.43	c 8.68068 10.6484 762 546406
48.40/48.43	o 6025
48.49/48.50	c 8.69968 10.6484 717 547343
48.49/48.50	o 6001
49.69/49.71	c 8.90765 10.6484 833 557971
49.69/49.71	o 5993
50.79/50.80	c 9.06762 10.6484 593 569115
50.79/50.80	o 5973
51.09/51.14	c 9.11661 10.6484 388 573019
51.09/51.14	o 5955
52.09/52.18	c 9.27659 10.6484 566 583968
52.09/52.18	o 5852
53.49/53.59	c 9.49056 10.6484 636 598412
53.49/53.59	o 5812
53.80/53.84	c 9.52655 10.6484 541 601323
53.80/53.84	o 5799
54.69/54.79	c 9.75352 10.6484 501 610414
54.69/54.79	o 5724
55.20/55.20	c 9.8325 10.6484 643 614730
55.20/55.20	o 5700
55.59/55.68	c 9.8985 10.7734 536 618929
55.59/55.68	o 5672
58.59/58.67	c 10.3154 10.7734 589 645248
58.59/58.67	o 5670
59.30/59.32	c 10.4234 10.7734 899 651182
59.30/59.32	o 5583
59.79/59.80	c 10.4934 10.7734 528 656527
59.79/59.80	o 5451
59.79/59.82	c 10.4964 10.7734 585 656735
59.79/59.82	o 5428
60.99/61.02	c 10.7514 10.7734 622 668350
60.99/61.02	o 5367
61.09/61.10	c 10.7754 10.7734 608 669302
61.09/61.10	o 5231
61.29/61.33	c 10.8404 10.7734 764 671394
61.29/61.33	o 5223
63.00/63.04	c 11.1273 10.7734 927 685414
63.00/63.04	o 5184
65.29/65.35	c 11.4653 10.7734 770 708438
65.29/65.35	o 5033
65.80/65.83	c 11.5352 10.7734 590 712368
65.80/65.83	o 5031
66.30/66.39	c 11.6282 10.7734 551 717454
66.30/66.39	o 4912
66.39/66.44	c 11.6382 10.7734 758 718192
66.39/66.44	o 4736
68.30/68.37	c 12.0622 10.7734 835 734855
68.30/68.37	o 4637
68.40/68.47	c 12.0782 10.7734 773 735778
68.40/68.47	o 4629
68.49/68.51	c 12.0842 10.7734 509 736247
68.49/68.51	o 4580
68.60/68.64	c 12.1062 10.7734 697 738064
68.60/68.64	o 4490
68.79/68.83	c 12.1342 10.7734 593 739831
68.79/68.83	o 4420
68.90/68.96	c 12.1482 10.7734 738 741280
68.90/68.96	o 4405
68.90/68.99	c 12.1552 10.7734 456 741467
68.90/68.99	o 4399
69.20/69.24	c 12.1951 10.7734 497 743429
69.20/69.24	o 4398
69.39/69.46	c 12.2351 10.7734 466 745662
69.39/69.46	o 4378
71.39/71.41	c 12.5301 10.7734 779 764540
71.39/71.41	o 4365
71.59/71.66	c 12.5711 10.7734 520 766661
71.59/71.66	o 4298
72.79/72.89	c 12.7571 10.7734 516 777608
72.79/72.89	o 4228
73.20/73.20	c 12.7921 10.7734 888 780481
73.20/73.20	o 4054
73.99/74.09	c 12.96 10.8984 718 788188
73.99/74.09	o 4045
75.20/75.21	c 13.204 10.8945 774 797740
75.20/75.21	o 4042
75.20/75.25	c 13.209 10.8945 539 798404
75.20/75.25	o 3910
75.29/75.31	c 13.217 10.8945 712 798886
75.29/75.31	o 3908
76.59/76.65	c 13.403 10.8945 793 811418
76.59/76.65	o 3894
76.79/76.86	c 13.435 10.8945 648 813163
76.79/76.86	o 3892
77.60/77.69	c 13.5589 10.8945 874 820952
77.60/77.69	o 3695
78.29/78.33	c 13.6469 10.8945 712 825846
78.29/78.33	o 3667
78.59/78.64	c 13.6989 10.8945 501 828410
78.59/78.64	o 3625
80.79/80.87	c 14.1039 10.8945 642 845686
80.79/80.87	o 3571
81.70/81.79	c 14.2758 10.8945 846 852766
81.70/81.79	o 3539
81.99/82.00	c 14.3048 10.8945 734 854366
81.99/82.00	o 3532
82.09/82.11	c 14.3178 10.8945 751 855234
82.09/82.11	o 3496
82.79/82.86	c 14.4068 10.8945 924 861163
82.79/82.86	o 3456
84.70/84.78	c 14.6928 10.8945 640 876620
84.70/84.78	o 3424
85.09/85.10	c 14.7458 10.8945 652 879427
85.09/85.10	o 3420
85.29/85.33	c 14.7808 10.8945 649 881374
85.29/85.33	o 3208
86.60/86.68	c 14.9837 10.8945 729 890061
86.60/86.68	o 3128
86.80/86.88	c 15.0337 10.8945 660 891798
86.80/86.88	o 3088
87.09/87.10	c 15.0947 10.8945 660 893909
87.09/87.10	o 3078
87.20/87.28	c 15.1417 10.8945 477 895207
87.20/87.28	o 3062
87.90/87.94	c 15.2807 10.8945 680 900681
87.90/87.94	o 3061
88.39/88.46	c 15.3537 10.8945 641 904785
88.39/88.46	o 3037
89.00/89.01	c 15.4596 10.8945 511 909073
89.00/89.01	o 2927
89.39/89.48	c 15.5336 10.8945 470 913070
89.39/89.48	o 2859
89.60/89.64	c 15.5606 10.8945 511 914162
89.60/89.64	o 2853
89.60/89.69	c 15.5686 10.8945 656 914585
89.60/89.69	o 2791
89.90/89.95	c 15.6096 10.8945 770 916693
89.90/89.95	o 2783
89.99/90.03	c 15.6206 10.8945 610 917217
89.99/90.03	o 2764
90.40/90.47	c 15.6796 10.8945 494 920533
90.40/90.47	o 2755
90.59/90.64	c 15.7106 10.8945 654 921915
90.59/90.64	o 2738
90.90/90.92	c 15.7486 10.8945 504 924419
90.90/90.92	o 2684
90.90/90.97	c 15.7556 10.8945 667 924885
90.90/90.97	o 2616
92.99/93.06	c 16.0766 10.8945 582 939492
92.99/93.06	o 2602
93.10/93.11	c 16.0886 10.8945 742 939852
93.10/93.11	o 2598
93.60/93.64	c 16.2055 10.8945 500 943780
93.60/93.64	o 2595
93.69/93.76	c 16.2365 10.8945 820 944582
93.69/93.76	o 2553
94.39/94.42	c 16.4135 10.8945 566 949656
94.39/94.42	o 2537
94.39/94.48	c 16.4295 10.8945 741 950126
94.39/94.48	o 2531
94.69/94.74	c 16.4525 10.8945 752 952020
94.69/94.74	o 2523
95.09/95.11	c 16.5205 10.8945 524 955078
95.09/95.11	o 2483
95.09/95.16	c 16.5255 11.0156 715 955588
95.09/95.16	o 2403
95.19/95.21	c 16.5325 11.0156 463 956080
95.19/95.21	o 2345
95.30/95.35	c 16.5475 11.0156 501 957144
95.30/95.35	o 2341
95.30/95.39	c 16.5525 11.0156 655 957603
95.30/95.39	o 2334
95.59/95.70	c 16.5905 11.0156 786 959437
95.59/95.70	o 2332
96.70/96.75	c 16.7585 11.0156 752 966504
96.70/96.75	o 2292
97.29/97.35	c 16.8594 11.0156 561 970034
97.29/97.35	o 2258
97.40/97.41	c 16.8724 11.0156 729 970563
97.40/97.41	o 2256
97.59/97.64	c 16.9154 11.0156 567 972119
97.59/97.64	o 2119
97.79/97.82	c 16.9434 11.0156 770 973536
97.79/97.82	o 2071
98.00/98.09	c 16.9874 11.0156 771 975242
98.00/98.09	o 1956
98.09/98.19	c 17.0034 11.0156 689 976182
98.09/98.19	o 1918
98.19/98.25	c 17.0134 11.0156 446 976735
98.19/98.25	o 1773
98.19/98.25	c 17.0174 11.0156 461 976796
98.19/98.25	o 1743
98.19/98.28	c 17.0214 11.0156 520 976944
98.19/98.28	o 1712
98.29/98.34	c 17.0354 11.0156 712 977492
98.29/98.34	o 1693
98.60/98.68	c 17.0844 11.0156 582 979994
98.60/98.68	o 1680
98.69/98.76	c 17.0914 11.0156 417 980645
98.69/98.76	o 1628
98.79/98.87	c 17.1074 11.0156 780 981495
98.79/98.87	o 1625
98.89/98.93	c 17.1134 11.0156 558 982051
98.89/98.93	o 1597
98.89/99.00	c 17.1234 11.0156 741 982586
98.89/99.00	o 1553
99.00/99.05	c 17.1304 11.0156 485 982968
99.00/99.05	o 1521
99.00/99.07	c 17.1324 11.0156 543 983272
99.00/99.07	o 1305
99.09/99.14	c 17.1484 11.0156 783 983878
99.09/99.14	o 1228
99.09/99.17	c 17.1524 11.0156 502 984144
99.09/99.17	o 1201
99.09/99.17	c 17.1534 11.0156 506 984198
99.09/99.17	o 1161
99.20/99.20	c 17.1554 11.0156 588 984393
99.20/99.20	o 1119
99.20/99.22	c 17.1584 11.0156 632 984534
99.20/99.22	o 1112
99.20/99.23	c 17.1614 11.0156 684 984712
99.20/99.23	o 1110
99.29/99.33	c 17.1714 11.0156 577 985343
99.29/99.33	o 1095
99.29/99.36	c 17.1754 11.0156 653 985524
99.29/99.36	o 1037
99.39/99.43	c 17.1924 11.0156 525 986171
99.39/99.43	o 1026
99.49/99.50	c 17.2064 11.0156 738 986730
99.49/99.50	o 963
99.59/99.60	c 17.2274 11.0156 660 987433
99.59/99.60	o 865
99.70/99.70	c 17.2424 11.1406 581 988093
99.70/99.70	o 859
99.70/99.74	c 17.2514 11.1406 721 988437
99.70/99.74	o 813
99.70/99.78	c 17.2664 11.1406 867 988745
99.70/99.78	o 797
99.80/99.83	c 17.2874 11.1406 619 989183
99.80/99.83	o 781
99.90/99.95	c 17.3184 11.1406 623 990108
99.90/99.95	o 749
99.90/99.97	c 17.3264 11.1406 688 990286
99.90/99.97	o 734
100.10/100.11	c 17.3864 11.1406 735 991422
100.10/100.11	o 687
100.10/100.16	c 17.4064 11.1406 946 991821
100.10/100.16	o 612
100.20/100.21	c 17.4254 11.1406 647 992277
100.20/100.21	o 588
100.29/100.32	c 17.4643 11.1406 1155 993187
100.29/100.32	o 502
100.29/100.38	c 17.4943 11.1406 926 993702
100.29/100.38	o 496
100.29/100.39	c 17.4953 11.1406 954 993787
100.29/100.39	o 493
100.39/100.40	c 17.5013 11.1406 1000 993894
100.39/100.40	o 484
100.39/100.46	c 17.5363 11.1406 678 994496
100.39/100.46	o 463
100.49/100.50	c 17.5563 11.1406 853 994777
100.49/100.50	o 429
100.49/100.51	c 17.5613 11.1406 919 994917
100.49/100.51	o 405
100.49/100.53	c 17.5653 11.1406 1040 995117
100.49/100.53	o 403
100.49/100.54	c 17.5733 11.1406 1132 995310
100.49/100.54	o 345
100.49/100.55	c 17.5733 11.1406 1133 995333
100.49/100.55	o 337
100.49/100.55	c 17.5743 11.1406 1133 995380
100.49/100.55	o 286
100.49/100.58	c 17.5973 11.1406 1311 995728
100.49/100.58	o 279
100.49/100.59	c 17.6043 11.1406 703 995874
100.49/100.59	o 241
100.59/100.61	c 17.6203 11.1406 856 996110
100.59/100.61	o 220
100.59/100.62	c 17.6223 11.1406 709 996161
100.59/100.62	o 204
100.59/100.62	c 17.6263 11.1406 746 996245
100.59/100.62	o 171
100.59/100.62	c 17.6273 11.1406 746 996261
100.59/100.62	o 165
100.59/100.62	c 17.6273 11.1406 746 996297
100.59/100.62	o 116
100.59/100.62	c 17.6273 11.1406 747 996320
100.59/100.62	o 104
100.59/100.62	c 17.6273 11.1406 747 996346
100.59/100.62	o 79
100.59/100.62	c 17.6273 11.1406 748 996347
100.59/100.62	s OPTIMUM FOUND
100.59/100.62	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	79

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700156-1278534209/watcher-2700156-1278534209 -o /tmp/evaluation-result-2700156-1278534209/solver-2700156-1278534209 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700156-1278534209.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 1.46 0.68 4/178 17792
/proc/meminfo: memFree=29772884/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=2136 CPUtime=0
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 262 0 0 0 0 0 0 0 21 0 1 0 21635837 2187264 181 4089446400 134512640 136421960 4291122960 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17792/statm: 534 181 144 467 0 65 0

[startup+0.05505 s]
/proc/loadavg: 2.00 1.46 0.68 4/178 17792
/proc/meminfo: memFree=29772884/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10132 CPUtime=0.04
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2272 0 0 0 3 1 0 0 21 0 1 0 21635837 10375168 2184 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2533 2184 237 467 0 2064 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10132

[startup+0.101027 s]
/proc/loadavg: 2.00 1.46 0.68 4/178 17792
/proc/meminfo: memFree=29772884/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10260 CPUtime=0.09
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2279 0 0 0 4 5 0 0 21 0 1 0 21635837 10506240 2191 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2565 2191 238 467 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.300992 s]
/proc/loadavg: 2.00 1.46 0.68 4/178 17792
/proc/meminfo: memFree=29772884/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10260 CPUtime=0.29
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2308 0 0 0 8 21 0 0 21 0 1 0 21635837 10506240 2219 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2565 2219 238 467 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10260

[startup+0.700918 s]
/proc/loadavg: 2.00 1.46 0.68 4/178 17792
/proc/meminfo: memFree=29772884/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10388 CPUtime=0.69
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2313 0 0 0 16 53 0 0 22 0 1 0 21635837 10637312 2224 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2597 2224 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50079 s]
/proc/loadavg: 2.00 1.46 0.68 3/179 17793
/proc/meminfo: memFree=29764412/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10388 CPUtime=1.49
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2337 0 0 0 30 119 0 0 25 0 1 0 21635837 10637312 2247 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2597 2247 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.1005 s]
/proc/loadavg: 2.00 1.46 0.68 3/179 17793
/proc/meminfo: memFree=29762428/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10388 CPUtime=3.09
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2342 0 0 0 70 239 0 0 25 0 1 0 21635837 10637312 2247 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2597 2247 238 467 0 2128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10388

[startup+6.30091 s]
/proc/loadavg: 2.00 1.47 0.68 3/179 17793
/proc/meminfo: memFree=29758140/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10516 CPUtime=6.29
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2368 0 0 0 122 507 0 0 25 0 1 0 21635837 10768384 2267 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2629 2267 238 467 0 2160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10516

[startup+12.7007 s]
/proc/loadavg: 2.00 1.48 0.69 3/179 17793
/proc/meminfo: memFree=29748964/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10644 CPUtime=12.69
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2408 0 0 0 239 1030 0 0 25 0 1 0 21635837 10899456 2297 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2661 2297 238 467 0 2192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5004 s]
/proc/loadavg: 2.00 1.50 0.71 3/179 17794
/proc/meminfo: memFree=29731872/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10772 CPUtime=25.49
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2453 0 0 0 462 2087 0 0 25 0 1 0 21635837 11030528 2332 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2693 2332 238 467 0 2224 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10772

[startup+51.1008 s]
/proc/loadavg: 2.00 1.54 0.74 3/179 17794
/proc/meminfo: memFree=29695756/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=10900 CPUtime=51.09
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2543 0 0 0 910 4199 0 0 25 0 1 0 21635837 11161600 2388 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2725 2388 238 467 0 2256 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10900

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

[startup+76.7001 s]
/proc/loadavg: 2.08 1.60 0.78 3/179 17795
/proc/meminfo: memFree=29660024/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11152 CPUtime=76.69
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2618 0 0 0 1340 6329 0 0 25 0 1 0 21635837 11419648 2426 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2788 2426 238 467 0 2319 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11152

[startup+89.5008 s]
/proc/loadavg: 2.06 1.61 0.80 3/179 17795
/proc/meminfo: memFree=29639304/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11152 CPUtime=89.49
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2658 0 0 0 1553 7396 0 0 25 0 1 0 21635837 11419648 2446 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2788 2446 238 467 0 2319 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 11152

[startup+95.9006 s]
/proc/loadavg: 2.06 1.62 0.81 3/179 17796
/proc/meminfo: memFree=29630240/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11276 CPUtime=95.89
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2692 0 0 0 1662 7927 0 0 25 0 1 0 21635837 11546624 2459 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2819 2459 238 467 0 2350 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 11276

[startup+99.1011 s]
/proc/loadavg: 2.05 1.63 0.81 3/179 17796
/proc/meminfo: memFree=29624792/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11276 CPUtime=99.09
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2722 0 0 0 1713 8196 0 0 25 0 1 0 21635837 11546624 2471 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2819 2471 238 467 0 2350 0
Current children cumulated CPU time (s) 99.09
Current children cumulated vsize (KiB) 11276

[startup+99.9009 s]
/proc/loadavg: 2.05 1.63 0.81 3/179 17796
/proc/meminfo: memFree=29624792/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11404 CPUtime=99.9
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2754 0 0 0 1730 8260 0 0 25 0 1 0 21635837 11677696 2488 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2851 2488 238 467 0 2382 0
Current children cumulated CPU time (s) 99.9
Current children cumulated vsize (KiB) 11404

[startup+100.301 s]
/proc/loadavg: 2.05 1.63 0.81 3/179 17796
/proc/meminfo: memFree=29623924/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11404 CPUtime=100.29
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2761 0 0 0 1745 8284 0 0 25 0 1 0 21635837 11677696 2490 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2851 2490 238 467 0 2382 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 11404

[startup+100.501 s]
/proc/loadavg: 2.05 1.63 0.81 3/179 17796
/proc/meminfo: memFree=29623924/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11404 CPUtime=100.49
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2772 0 0 0 1755 8294 0 0 25 0 1 0 21635837 11677696 2496 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2851 2496 238 467 0 2382 0
Current children cumulated CPU time (s) 100.49
Current children cumulated vsize (KiB) 11404

[startup+100.601 s]
/proc/loadavg: 2.05 1.63 0.81 3/179 17796
/proc/meminfo: memFree=29623924/32951124 swapFree=67111528/67111528
[pid=17792] ppid=17790 vsize=11404 CPUtime=100.59
/proc/17792/stat : 17792 (pbct) R 17790 17792 17152 0 -1 4202496 2790 0 0 0 1760 8299 0 0 25 0 1 0 21635837 11677696 2506 4089446400 134512640 136421960 4291122960 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17792/statm: 2851 2506 238 467 0 2382 0
Current children cumulated CPU time (s) 100.59
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 100.639
CPU time (s): 100.641
CPU user time (s): 17.6363
CPU system time (s): 83.0044
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11404

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

runsolver used 0.120981 second user time and 0.347947 second system time

The end

Launcher Data 

Begin job on node106 at 2010-07-07 22:23:29
IDJOB=2700156
IDBENCH=79404
IDSOLVER=1208
FILE ID=node106/2700156-1278534209
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-jnh208_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700156-1278534209/watcher-2700156-1278534209 -o /tmp/evaluation-result-2700156-1278534209/solver-2700156-1278534209 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700156-1278534209.wbo

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

MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57
RANDOM SEED=241082697

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:      29772916 kB
Buffers:        130744 kB
Cached:        2361028 kB
SwapCached:          0 kB
Active:        1518572 kB
Inactive:      1504776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29772916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:      531984 kB
Mapped:          17080 kB
Slab:            89728 kB
PageTables:       5468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   672244 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:25:10