Trace number 2700159

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 101.416 101.416

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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.034994 9.74219 1 1845
0.00/0.04	o 26445
0.00/0.04	c 0.035994 9.89844 1 2693
0.00/0.04	o 25047
0.00/0.04	c 0.036994 9.89844 3 2850
0.00/0.04	o 24979
0.00/0.04	c 0.038994 9.89844 3 3701
0.00/0.04	o 13483
0.00/0.04	c 0.039993 9.89844 4 4280
0.00/0.04	o 13258
0.00/0.05	c 0.040993 9.89844 4 5126
0.00/0.05	o 10198
0.00/0.05	c 0.042993 9.89844 10 5407
0.00/0.05	o 10163
0.19/0.23	c 0.151976 10.0234 567 8239
0.19/0.23	o 9916
1.49/1.50	c 0.933858 10.1484 567 20912
1.49/1.50	o 9887
1.68/1.75	c 1.09683 10.1484 450 24536
1.68/1.75	o 9829
2.49/2.52	c 1.55476 10.1484 451 34290
2.49/2.52	o 9786
2.60/2.67	c 1.64975 10.1484 766 36023
2.60/2.67	o 9649
2.79/2.87	c 1.77673 10.1484 468 39179
2.79/2.87	o 9524
3.29/3.32	c 2.06969 10.1484 668 44948
3.29/3.32	o 9415
4.40/4.46	c 2.76358 10.2734 661 58781
4.40/4.46	o 9377
5.79/5.82	c 3.60245 10.2734 939 74169
5.79/5.82	o 9363
5.79/5.87	c 3.62745 10.2734 664 74999
5.79/5.87	o 9167
5.89/5.91	c 3.65644 10.2734 495 75597
5.89/5.91	o 9085
5.89/5.98	c 3.70044 10.2734 608 77072
5.89/5.98	o 8897
6.09/6.18	c 3.83042 10.2734 600 79637
6.09/6.18	o 8872
6.60/6.66	c 4.13737 10.2734 659 85910
6.60/6.66	o 8853
7.19/7.23	c 4.49532 10.2734 732 92718
7.19/7.23	o 8785
7.89/7.91	c 4.89626 10.2734 792 100500
7.89/7.91	o 8759
8.09/8.19	c 5.06723 10.2734 748 104094
8.09/8.19	o 8642
8.49/8.52	c 5.2542 10.2734 893 107150
8.49/8.52	o 8590
9.69/9.72	c 5.98809 10.2734 752 122948
9.69/9.72	o 8540
9.69/9.75	c 6.00509 10.2734 501 123416
9.69/9.75	o 8475
9.99/10.05	c 6.19206 10.2734 563 127494
9.99/10.05	o 8400
10.90/10.95	c 6.73998 10.3984 710 139295
10.90/10.95	o 8324
11.00/11.07	c 6.80797 10.3984 930 140834
11.00/11.07	o 8313
13.79/13.82	c 8.5167 10.3984 605 171395
13.79/13.82	o 8295
16.09/16.10	c 9.92849 10.3984 721 196290
16.09/16.10	o 8268
16.09/16.17	c 9.97448 10.3984 425 197548
16.09/16.17	o 8232
18.29/18.31	c 11.2663 10.3984 774 221163
18.29/18.31	o 8151
18.49/18.52	c 11.4003 10.3984 548 223774
18.49/18.52	o 8136
22.39/22.47	c 13.8959 10.5234 600 263727
22.39/22.47	o 8135
23.00/23.05	c 14.2578 10.5234 498 269779
23.00/23.05	o 8104
23.59/23.70	c 14.6498 10.5234 903 276748
23.59/23.70	o 8076
23.89/23.90	c 14.7738 10.5234 636 279109
23.89/23.90	o 8031
24.39/24.43	c 15.0927 10.5234 668 284615
24.39/24.43	o 8017
26.19/26.20	c 16.2215 10.5234 836 303393
26.19/26.20	o 8000
29.19/29.27	c 18.1742 10.5234 772 340159
29.19/29.27	o 7882
30.49/30.51	c 18.9711 10.5234 565 354421
30.49/30.51	o 7793
30.89/30.99	c 19.2761 10.5234 645 360478
30.89/30.99	o 7714
31.09/31.10	c 19.3481 10.5234 814 361979
31.09/31.10	o 7541
31.19/31.24	c 19.436 10.5234 644 363872
31.19/31.24	o 7438
31.89/31.92	c 19.849 10.5234 835 370551
31.89/31.92	o 7373
32.79/32.88	c 20.4459 10.5234 686 381745
32.79/32.88	o 7179
34.29/34.37	c 21.3897 10.5234 664 396548
34.29/34.37	o 7066
34.39/34.41	c 21.4127 10.5234 530 397208
34.39/34.41	o 7016
35.49/35.56	c 22.1216 10.5234 842 408454
35.49/35.56	o 7013
36.19/36.26	c 22.5326 10.5234 601 415924
36.19/36.26	o 7002
36.29/36.36	c 22.6016 10.6484 732 417292
36.29/36.36	o 6919
36.99/37.08	c 23.0495 10.6484 654 425621
36.99/37.08	o 6901
37.29/37.35	c 23.2105 10.6484 692 428445
37.29/37.35	o 6888
38.29/38.33	c 23.7844 10.6484 486 439542
38.29/38.33	o 6815
38.60/38.66	c 23.9834 10.6484 726 443480
38.60/38.66	o 6738
38.89/38.94	c 24.1713 10.6484 527 446732
38.89/38.94	o 6704
38.89/38.97	c 24.1883 10.6484 668 447197
38.89/38.97	o 6649
39.29/39.30	c 24.3853 10.6484 837 450038
39.29/39.30	o 6604
40.70/40.77	c 25.3002 10.6484 436 466910
40.70/40.77	o 6524
40.89/40.95	c 25.4101 10.6484 591 469438
40.89/40.95	o 6465
41.19/41.29	c 25.6241 10.6484 636 473235
41.19/41.29	o 6392
41.49/41.53	c 25.7811 10.6484 588 476168
41.49/41.53	o 6250
41.60/41.65	c 25.8571 10.6484 754 477246
41.60/41.65	o 6234
41.80/41.80	c 25.9521 10.6484 441 479598
41.80/41.80	o 6192
42.29/42.34	c 26.277 10.6484 515 484841
42.29/42.34	o 6162
43.39/43.48	c 26.9989 10.6484 418 495475
43.39/43.48	o 6104
44.49/44.52	c 27.6658 10.6484 805 505625
44.49/44.52	o 6102
46.70/46.79	c 29.0916 10.6484 654 525474
46.70/46.79	o 6042
48.89/48.96	c 30.4534 10.6484 762 546406
48.89/48.96	o 6025
48.99/49.03	c 30.4984 10.6484 717 547343
48.99/49.03	o 6001
50.20/50.25	c 31.2502 10.6484 833 557971
50.20/50.25	o 5993
51.29/51.34	c 31.9711 10.6484 593 569115
51.29/51.34	o 5973
51.59/51.69	c 32.1851 10.6484 388 573019
51.59/51.69	o 5955
52.70/52.73	c 32.818 10.6484 566 583968
52.70/52.73	o 5852
54.09/54.14	c 33.7049 10.6484 636 598412
54.09/54.14	o 5812
54.39/54.40	c 33.8589 10.6484 541 601323
54.39/54.40	o 5799
55.29/55.35	c 34.4638 10.6484 501 610414
55.29/55.35	o 5724
55.69/55.77	c 34.7277 10.6484 643 614730
55.69/55.77	o 5700
56.19/56.25	c 35.0237 10.7734 536 618929
56.19/56.25	o 5672
59.19/59.25	c 36.8584 10.7734 589 645248
59.19/59.25	o 5670
59.89/59.91	c 37.2723 10.7734 899 651182
59.89/59.91	o 5583
60.29/60.39	c 37.5733 10.7734 528 656527
60.29/60.39	o 5451
60.40/60.41	c 37.5863 10.7734 585 656735
60.40/60.41	o 5428
61.60/61.61	c 38.3382 10.7734 622 668350
61.60/61.61	o 5367
61.69/61.70	c 38.3942 10.7734 608 669302
61.69/61.70	o 5231
61.89/61.92	c 38.5321 10.7734 764 671394
61.89/61.92	o 5223
63.59/63.64	c 39.608 10.7734 927 685414
63.59/63.64	o 5184
65.90/65.96	c 41.0668 10.7734 770 708438
65.90/65.96	o 5033
66.39/66.45	c 41.3577 10.7734 590 712368
66.39/66.45	o 5031
67.00/67.00	c 41.7077 10.7734 551 717454
67.00/67.00	o 4912
67.00/67.05	c 41.7397 10.7734 758 718192
67.00/67.05	o 4736
68.89/69.00	c 42.9125 10.7734 835 734855
68.89/69.00	o 4637
69.10/69.10	c 42.9865 10.7734 773 735778
69.10/69.10	o 4629
69.10/69.14	c 43.0065 10.7734 509 736247
69.10/69.14	o 4580
69.19/69.26	c 43.0864 10.7734 697 738064
69.19/69.26	o 4490
69.39/69.45	c 43.2044 10.7734 593 739831
69.39/69.45	o 4420
69.49/69.59	c 43.2914 10.7734 738 741280
69.49/69.59	o 4405
69.59/69.62	c 43.3104 10.7734 456 741467
69.59/69.62	o 4399
69.79/69.87	c 43.4644 10.7734 497 743429
69.79/69.87	o 4398
69.99/70.09	c 43.5884 10.7734 466 745662
69.99/70.09	o 4378
71.99/72.04	c 44.8252 10.7734 779 764540
71.99/72.04	o 4365
72.29/72.30	c 44.9982 10.7734 520 766661
72.29/72.30	o 4298
73.49/73.54	c 45.751 10.7734 516 777608
73.49/73.54	o 4228
73.79/73.85	c 45.94 10.7734 888 780481
73.79/73.85	o 4054
74.69/74.74	c 46.4999 10.8984 718 788188
74.69/74.74	o 4045
75.80/75.87	c 47.1998 10.8945 774 797740
75.80/75.87	o 4042
75.90/75.91	c 47.2258 10.8945 539 798404
75.90/75.91	o 3910
75.90/75.96	c 47.2618 10.8945 712 798886
75.90/75.96	o 3908
77.29/77.32	c 48.0937 10.8945 793 811418
77.29/77.32	o 3894
77.49/77.52	c 48.2217 10.8945 648 813163
77.49/77.52	o 3892
78.29/78.36	c 48.7316 10.8945 874 820952
78.29/78.36	o 3695
78.99/79.00	c 49.1125 10.8945 712 825846
78.99/79.00	o 3667
79.29/79.31	c 49.3025 10.8945 501 828410
79.29/79.31	o 3625
81.49/81.55	c 50.6853 10.8945 642 845686
81.49/81.55	o 3571
82.40/82.47	c 51.2322 10.8945 846 852766
82.40/82.47	o 3539
82.59/82.69	c 51.3582 10.8945 734 854366
82.59/82.69	o 3532
82.69/82.79	c 51.4262 10.8945 751 855234
82.69/82.79	o 3496
83.50/83.55	c 51.8991 10.8945 924 861163
83.50/83.55	o 3456
85.39/85.48	c 53.0879 10.8945 640 876620
85.39/85.48	o 3424
85.79/85.81	c 53.2799 10.8945 652 879427
85.79/85.81	o 3420
85.99/86.03	c 53.4289 10.8945 649 881374
85.99/86.03	o 3208
87.29/87.39	c 54.2627 10.8945 729 890061
87.29/87.39	o 3128
87.49/87.59	c 54.3917 10.8945 660 891798
87.49/87.59	o 3088
87.79/87.81	c 54.5247 10.8945 660 893909
87.79/87.81	o 3078
87.90/87.99	c 54.6487 10.8945 477 895207
87.90/87.99	o 3062
88.59/88.66	c 55.0786 10.8945 680 900681
88.59/88.66	o 3061
89.10/89.18	c 55.3836 10.8945 641 904785
89.10/89.18	o 3037
89.69/89.73	c 55.7145 10.8945 511 909073
89.69/89.73	o 2927
90.20/90.20	c 56.0075 10.8945 470 913070
90.20/90.20	o 2859
90.29/90.36	c 56.1065 10.8945 511 914162
90.29/90.36	o 2853
90.39/90.41	c 56.1455 10.8945 656 914585
90.39/90.41	o 2791
90.60/90.67	c 56.3024 10.8945 770 916693
90.60/90.67	o 2783
90.69/90.75	c 56.3564 10.8945 610 917217
90.69/90.75	o 2764
91.09/91.20	c 56.6374 10.8945 494 920533
91.09/91.20	o 2755
91.30/91.37	c 56.7514 10.8945 654 921915
91.30/91.37	o 2738
91.59/91.65	c 56.9223 10.8945 504 924419
91.59/91.65	o 2684
91.70/91.70	c 56.9543 10.8945 667 924885
91.70/91.70	o 2616
93.79/93.80	c 58.2491 10.8945 582 939492
93.79/93.80	o 2602
93.79/93.85	c 58.2801 10.8945 742 939852
93.79/93.85	o 2598
94.29/94.39	c 58.6331 10.8945 500 943780
94.29/94.39	o 2595
94.40/94.50	c 58.7081 10.8945 820 944582
94.40/94.50	o 2553
95.09/95.16	c 59.136 10.8945 566 949656
95.09/95.16	o 2537
95.19/95.22	c 59.177 10.8945 741 950126
95.19/95.22	o 2531
95.39/95.49	c 59.332 10.8945 752 952020
95.39/95.49	o 2523
95.79/95.86	c 59.5709 10.8945 524 955078
95.79/95.86	o 2483
95.89/95.91	c 59.6019 11.0156 715 955588
95.89/95.91	o 2403
95.89/95.96	c 59.6349 11.0156 463 956080
95.89/95.96	o 2345
96.09/96.10	c 59.7199 11.0156 501 957144
96.09/96.10	o 2341
96.09/96.15	c 59.7469 11.0156 655 957603
96.09/96.15	o 2334
96.39/96.45	c 59.9259 11.0156 786 959437
96.39/96.45	o 2332
97.49/97.51	c 60.5598 11.0156 752 966504
97.49/97.51	o 2292
98.09/98.11	c 60.9487 11.0156 561 970034
98.09/98.11	o 2258
98.09/98.17	c 60.9867 11.0156 729 970563
98.09/98.17	o 2256
98.39/98.40	c 61.1217 11.0156 567 972119
98.39/98.40	o 2119
98.49/98.59	c 61.2347 11.0156 770 973536
98.49/98.59	o 2071
98.79/98.86	c 61.3997 11.0156 771 975242
98.79/98.86	o 1956
98.90/98.96	c 61.4637 11.0156 689 976182
98.90/98.96	o 1918
99.00/99.02	c 61.5037 11.0156 446 976735
99.00/99.02	o 1773
99.00/99.02	c 61.5066 11.0156 461 976796
99.00/99.02	o 1743
99.00/99.04	c 61.5226 11.0156 520 976944
99.00/99.04	o 1712
99.09/99.11	c 61.5576 11.0156 712 977492
99.09/99.11	o 1693
99.39/99.45	c 61.7576 11.0156 582 979994
99.39/99.45	o 1680
99.49/99.53	c 61.8056 11.0156 417 980645
99.49/99.53	o 1628
99.59/99.64	c 61.8806 11.0156 780 981495
99.59/99.64	o 1625
99.69/99.70	c 61.9136 11.0156 558 982051
99.69/99.70	o 1597
99.69/99.77	c 61.9586 11.0156 741 982586
99.69/99.77	o 1553
99.79/99.82	c 61.9906 11.0156 485 982968
99.79/99.82	o 1521
99.79/99.84	c 62.0006 11.0156 543 983272
99.79/99.84	o 1305
99.89/99.91	c 62.0466 11.0156 783 983878
99.89/99.91	o 1228
99.89/99.94	c 62.0676 11.0156 502 984144
99.89/99.94	o 1201
99.89/99.94	c 62.0706 11.0156 506 984198
99.89/99.94	o 1161
99.89/99.97	c 62.0906 11.0156 588 984393
99.89/99.97	o 1119
99.89/99.99	c 62.1006 11.0156 632 984534
99.89/99.99	o 1112
99.99/100.01	c 62.1076 11.0156 684 984712
99.99/100.01	o 1110
100.09/100.10	c 62.1695 11.0156 577 985343
100.09/100.10	o 1095
100.09/100.13	c 62.1855 11.0156 653 985524
100.09/100.13	o 1037
100.19/100.20	c 62.2315 11.0156 525 986171
100.19/100.20	o 1026
100.19/100.28	c 62.2855 11.0156 738 986730
100.19/100.28	o 963
100.29/100.37	c 62.3555 11.0156 660 987433
100.29/100.37	o 865
100.39/100.47	c 62.4175 11.1406 581 988093
100.39/100.47	o 859
100.49/100.51	c 62.4435 11.1406 721 988437
100.49/100.51	o 813
100.49/100.55	c 62.4665 11.1406 867 988745
100.49/100.55	o 797
100.59/100.61	c 62.5065 11.1406 619 989183
100.59/100.61	o 781
100.69/100.72	c 62.5905 11.1406 623 990108
100.69/100.72	o 749
100.69/100.74	c 62.6015 11.1406 688 990286
100.69/100.74	o 734
100.79/100.89	c 62.6935 11.1406 735 991422
100.79/100.89	o 687
100.89/100.94	c 62.7285 11.1406 946 991821
100.89/100.94	o 612
100.89/100.99	c 62.7675 11.1406 647 992277
100.89/100.99	o 588
100.99/101.10	c 62.8354 11.1406 1155 993187
100.99/101.10	o 502
101.09/101.16	c 62.8844 11.1406 926 993702
101.09/101.16	o 496
101.09/101.17	c 62.8894 11.1406 954 993787
101.09/101.17	o 493
101.09/101.18	c 62.8974 11.1406 1000 993894
101.09/101.18	o 484
101.20/101.24	c 62.9404 11.1406 678 994496
101.20/101.24	o 463
101.20/101.27	c 62.9654 11.1406 853 994777
101.20/101.27	o 429
101.20/101.28	c 62.9734 11.1406 919 994917
101.20/101.28	o 405
101.29/101.30	c 62.9904 11.1406 1040 995117
101.29/101.30	o 403
101.29/101.32	c 63.0014 11.1406 1132 995310
101.29/101.32	o 345
101.29/101.32	c 63.0014 11.1406 1133 995333
101.29/101.32	o 337
101.29/101.32	c 63.0024 11.1406 1133 995380
101.29/101.32	o 286
101.29/101.36	c 63.0254 11.1406 1311 995728
101.29/101.36	o 279
101.29/101.37	c 63.0344 11.1406 703 995874
101.29/101.37	o 241
101.29/101.39	c 63.0534 11.1406 856 996110
101.29/101.39	o 220
101.29/101.39	c 63.0554 11.1406 709 996161
101.29/101.39	o 204
101.39/101.40	c 63.0594 11.1406 746 996245
101.39/101.40	o 171
101.39/101.40	c 63.0604 11.1406 746 996261
101.39/101.40	o 165
101.39/101.40	c 63.0614 11.1406 746 996297
101.39/101.40	o 116
101.39/101.40	c 63.0614 11.1406 747 996320
101.39/101.40	o 104
101.39/101.40	c 63.0624 11.1406 747 996346
101.39/101.40	o 79
101.39/101.40	c 63.0624 11.1406 748 996347
101.39/101.40	s OPTIMUM FOUND
101.39/101.40	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-2700159-1278534212/watcher-2700159-1278534212 -o /tmp/evaluation-result-2700159-1278534212/solver-2700159-1278534212 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700159-1278534212.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.41 0.63 4/176 17397
/proc/meminfo: memFree=29101140/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=2136 CPUtime=0
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 21634651 2187264 174 4089446400 134512640 136422188 4290547200 18446744073709551615 135378273 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17397/statm: 534 174 144 467 0 65 0

[startup+0.0826129 s]
/proc/loadavg: 2.00 1.41 0.63 4/176 17397
/proc/meminfo: memFree=29101140/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10132 CPUtime=0.07
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2274 0 0 0 6 1 0 0 25 0 1 0 21634651 10375168 2186 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17397/statm: 2533 2186 238 467 0 2064 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10132

[startup+0.100606 s]
/proc/loadavg: 2.00 1.41 0.63 4/176 17397
/proc/meminfo: memFree=29101140/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10132 CPUtime=0.09
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2277 0 0 0 7 2 0 0 25 0 1 0 21634651 10375168 2189 4089446400 134512640 136422188 4290547200 18446744073709551615 135028676 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17397/statm: 2533 2189 238 467 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10132

[startup+0.300558 s]
/proc/loadavg: 2.00 1.41 0.63 4/176 17397
/proc/meminfo: memFree=29101140/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10260 CPUtime=0.29
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2307 0 0 0 19 10 0 0 25 0 1 0 21634651 10506240 2218 4089446400 134512640 136422188 4290547200 18446744073709551615 135028683 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17397/statm: 2565 2218 238 467 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10260

[startup+0.700501 s]
/proc/loadavg: 2.00 1.41 0.63 4/176 17397
/proc/meminfo: memFree=29101140/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10388 CPUtime=0.69
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2313 0 0 0 44 25 0 0 25 0 1 0 21634651 10637312 2224 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17397/statm: 2597 2224 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50036 s]
/proc/loadavg: 2.00 1.41 0.63 3/177 17398
/proc/meminfo: memFree=29092328/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10388 CPUtime=1.49
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2335 0 0 0 92 57 0 0 25 0 1 0 21634651 10637312 2246 4089446400 134512640 136422188 4290547200 18446744073709551615 135024008 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17397/statm: 2597 2246 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.10107 s]
/proc/loadavg: 2.00 1.42 0.64 3/177 17398
/proc/meminfo: memFree=29091956/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10388 CPUtime=3.09
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2341 0 0 0 193 116 0 0 25 0 1 0 21634651 10637312 2247 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2597 2247 238 467 0 2128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10388

[startup+6.30053 s]
/proc/loadavg: 2.00 1.42 0.64 3/177 17399
/proc/meminfo: memFree=29090228/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10516 CPUtime=6.29
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2368 0 0 0 390 239 0 0 25 0 1 0 21634651 10768384 2267 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2629 2267 238 467 0 2160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10516

[startup+12.7004 s]
/proc/loadavg: 2.00 1.43 0.65 3/177 17399
/proc/meminfo: memFree=29084968/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10644 CPUtime=12.69
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2407 0 0 0 785 484 0 0 25 0 1 0 21634651 10899456 2296 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2661 2296 238 467 0 2192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5002 s]
/proc/loadavg: 2.00 1.45 0.67 3/177 17399
/proc/meminfo: memFree=29078880/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10772 CPUtime=25.49
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2453 0 0 0 1576 973 0 0 25 0 1 0 21634651 11030528 2332 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/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.50 0.70 3/177 17400
/proc/meminfo: memFree=29059976/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=10900 CPUtime=51.09
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2542 0 0 0 3181 1928 0 0 25 0 1 0 21634651 11161600 2388 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/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.7003 s]
/proc/loadavg: 2.00 1.54 0.73 3/177 17400
/proc/meminfo: memFree=29042360/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11152 CPUtime=76.69
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2617 0 0 0 4772 2897 0 0 25 0 1 0 21634651 11419648 2426 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2788 2426 238 467 0 2319 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11152

[startup+89.5011 s]
/proc/loadavg: 2.00 1.56 0.75 3/177 17401
/proc/meminfo: memFree=29033288/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11152 CPUtime=89.49
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2656 0 0 0 5557 3392 0 0 25 0 1 0 21634651 11419648 2446 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2788 2446 238 467 0 2319 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 11152

[startup+95.901 s]
/proc/loadavg: 2.00 1.56 0.76 3/177 17401
/proc/meminfo: memFree=29028068/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11152 CPUtime=95.89
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2681 0 0 0 5959 3630 0 0 25 0 1 0 21634651 11419648 2453 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2788 2453 238 467 0 2319 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 11152

[startup+99.1005 s]
/proc/loadavg: 2.00 1.57 0.77 3/177 17401
/proc/meminfo: memFree=29026204/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11276 CPUtime=99.09
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2709 0 0 0 6154 3755 0 0 25 0 1 0 21634651 11546624 2466 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2819 2466 238 467 0 2350 0
Current children cumulated CPU time (s) 99.09
Current children cumulated vsize (KiB) 11276

[startup+100.7 s]
/proc/loadavg: 2.00 1.57 0.77 3/177 17401
/proc/meminfo: memFree=29023972/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11404 CPUtime=100.69
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2754 0 0 0 6256 3813 0 0 18 0 1 0 21634651 11677696 2488 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2851 2488 238 467 0 2382 0
Current children cumulated CPU time (s) 100.69
Current children cumulated vsize (KiB) 11404

[startup+101.101 s]
/proc/loadavg: 2.08 1.59 0.78 3/177 17401
/proc/meminfo: memFree=29023848/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11404 CPUtime=101.09
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2765 0 0 0 6283 3826 0 0 18 0 1 0 21634651 11677696 2493 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2851 2493 238 467 0 2382 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 11404

[startup+101.301 s]
/proc/loadavg: 2.08 1.59 0.78 3/177 17401
/proc/meminfo: memFree=29023848/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11404 CPUtime=101.29
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2782 0 0 0 6298 3831 0 0 18 0 1 0 21634651 11677696 2504 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2851 2504 238 467 0 2382 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 11404

[startup+101.401 s]
/proc/loadavg: 2.08 1.59 0.78 3/177 17401
/proc/meminfo: memFree=29023848/32951132 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=11404 CPUtime=101.39
/proc/17397/stat : 17397 (pbct) R 17395 17397 16659 0 -1 4202496 2793 0 0 0 6305 3834 0 0 19 0 1 0 21634651 11677696 2507 4089446400 134512640 136422188 4290547200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17397/statm: 2851 2507 238 467 0 2382 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 101.416
CPU time (s): 101.416
CPU user time (s): 63.0714
CPU system time (s): 38.3442
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 11404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0714
system time used= 38.3442
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= 2
involuntary context switches= 79

runsolver used 0.141978 second user time and 0.32595 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-07 22:23:32
IDJOB=2700159
IDBENCH=79404
IDSOLVER=1212
FILE ID=node128/2700159-1278534212
PBS_JOBID= 11239222
Free space on /tmp= 73136 MiB

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

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

MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57
RANDOM SEED=908019581

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29101676 kB
Buffers:        125344 kB
Cached:        3069152 kB
SwapCached:          0 kB
Active:        1800388 kB
Inactive:      1884292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29101676 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1936 kB
Writeback:           0 kB
AnonPages:      490112 kB
Mapped:          16460 kB
Slab:           101052 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   655348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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