Trace number 2700240

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 89.9223 90.7342

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
MD5SUM542e56009f24e88bce5dd1146eaa3ca2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark0.022995
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.02	c constraints 100/0 clauses 0/800 units 0
0.00/0.02	c vars 200
0.03/0.11	c 0.035994 9.74219 1 1842
0.03/0.11	o 31226
0.03/0.12	c 0.035994 9.89844 1 2341
0.03/0.12	o 30717
0.03/0.12	c 0.035994 9.89844 2 2821
0.03/0.12	o 30243
0.03/0.12	c 0.036994 9.89844 2 3672
0.03/0.12	o 12311
0.03/0.13	c 0.036994 9.89844 3 4203
0.03/0.13	o 11884
0.03/0.13	c 0.037994 9.89844 3 4602
0.03/0.13	o 11643
0.03/0.14	c 0.038994 9.89844 3 5007
0.03/0.14	o 11424
0.03/0.14	c 0.038994 9.89844 9 5783
0.03/0.15	o 10873
0.08/0.30	c 0.087986 10.0234 368 8016
0.08/0.30	o 10740
0.45/0.69	c 0.188971 10.1484 734 13143
0.45/0.69	o 10702
1.25/1.41	c 0.387941 10.1484 548 24389
1.25/1.41	o 10693
1.45/1.68	c 0.45593 10.1484 653 28334
1.45/1.68	o 10553
1.91/2.30	c 0.568913 10.1484 776 33743
1.91/2.30	o 10438
2.38/2.83	c 0.728889 10.1484 945 38708
2.38/2.83	o 10420
3.47/3.96	c 1.11283 10.2734 505 55252
3.47/3.96	o 10402
3.58/4.09	c 1.15282 10.2734 463 57321
3.58/4.09	o 10311
3.67/4.12	c 1.16282 10.2734 647 57792
3.67/4.12	o 10310
4.48/4.92	c 1.41478 10.2734 730 68226
4.48/4.92	o 10161
4.98/5.44	c 1.59176 10.2734 718 73718
4.98/5.44	o 10102
6.08/6.59	c 1.9797 10.2734 622 89825
6.08/6.59	o 10089
6.38/6.86	c 2.06768 10.2734 691 93276
6.38/6.86	o 9926
7.18/7.64	c 2.32565 10.2734 539 104166
7.18/7.64	o 9791
7.48/7.94	c 2.42463 10.2734 666 107765
7.48/7.94	o 9725
7.67/8.11	c 2.50162 10.2734 488 110550
7.67/8.11	o 9601
7.87/8.37	c 2.6046 10.2734 731 113780
7.87/8.37	o 9556
7.98/8.40	c 2.6126 10.2734 530 114453
7.98/8.40	o 9555
7.98/8.46	c 2.6326 10.2734 628 116002
7.98/8.46	o 9489
9.68/10.19	c 3.19051 10.3984 751 137275
9.68/10.19	o 9452
9.78/10.24	c 3.20151 10.3984 632 138224
9.78/10.24	o 9340
9.88/10.36	c 3.24451 10.3984 890 139713
9.88/10.36	o 9237
9.98/10.48	c 3.2765 10.3984 593 141236
9.98/10.48	o 9193
10.27/10.71	c 3.33049 10.3984 681 144250
10.27/10.71	o 9188
11.47/11.99	c 3.76243 10.3984 570 159277
11.47/11.99	o 9179
12.78/13.24	c 4.16937 10.3984 607 175170
12.78/13.24	o 9138
13.18/13.62	c 4.30934 10.3984 799 180424
13.18/13.62	o 9079
13.68/14.19	c 4.50831 10.3984 656 187998
13.68/14.19	o 8841
14.27/14.73	c 4.70928 10.3984 865 195496
14.27/14.73	o 8833
14.88/15.32	c 4.92225 10.3984 912 203334
14.88/15.32	o 8733
15.57/16.08	c 5.14422 10.3984 905 213702
15.57/16.08	o 8638
15.77/16.23	c 5.20021 10.3984 689 215995
15.77/16.23	o 8390
16.37/16.84	c 5.43217 10.3984 695 223407
16.37/16.84	o 8345
18.78/19.23	c 6.20206 10.5234 730 252735
18.78/19.23	o 8331
19.18/19.60	c 6.31404 10.5234 486 258137
19.18/19.60	o 8225
20.77/21.20	c 6.82896 10.5234 540 277704
20.77/21.20	o 8170
20.77/21.24	c 6.84996 10.5234 399 278550
20.77/21.24	o 8077
21.38/21.86	c 7.03393 10.5234 762 286437
21.38/21.86	o 8049
21.98/22.47	c 7.2199 10.5234 607 293319
21.98/22.47	o 7811
22.47/23.25	c 7.36288 10.5234 692 297406
22.47/23.25	o 7729
22.55/23.39	c 7.39987 10.5234 656 299373
22.55/23.39	o 7650
22.85/23.64	c 7.45986 10.5234 750 302554
22.85/23.64	o 7549
25.85/26.69	c 8.19475 10.5234 774 334193
25.85/26.69	o 7504
26.95/27.71	c 8.41772 10.5234 758 346776
26.95/27.71	o 7484
30.08/30.95	c 9.40857 10.5234 644 379702
30.08/30.95	o 7394
31.18/32.05	c 10.0795 10.5234 676 392399
31.18/32.05	o 7321
31.48/32.30	c 10.2294 10.6484 794 394138
31.48/32.30	o 7277
32.28/33.16	c 10.7734 10.6484 575 404818
32.28/33.16	o 7270
33.37/34.26	c 11.4663 10.6484 856 415866
33.37/34.26	o 7221
33.98/34.86	c 11.8362 10.6484 839 422755
33.98/34.86	o 7194
34.58/35.42	c 12.1911 10.6484 630 429113
34.58/35.42	o 7095
34.68/35.57	c 12.2891 10.6484 553 430914
34.68/35.57	o 7087
35.48/36.35	c 12.7661 10.6484 539 438647
35.48/36.35	o 7037
35.87/36.78	c 13.018 10.6484 806 443355
35.87/36.78	o 6956
35.98/36.87	c 13.064 10.6484 706 444089
35.98/36.87	o 6914
36.38/37.22	c 13.292 10.6484 918 448240
36.38/37.22	o 6851
37.18/38.04	c 13.7839 10.6484 533 457119
37.18/38.04	o 6802
37.27/38.10	c 13.8199 10.6484 771 457967
37.27/38.10	o 6484
37.27/38.18	c 13.8699 10.6484 746 459101
37.27/38.18	o 6236
37.88/38.76	c 14.2238 10.6484 832 464607
37.88/38.76	o 6189
39.48/40.38	c 15.2087 10.6484 790 480159
39.48/40.38	o 6049
39.79/40.65	c 15.3907 10.6484 854 483349
39.79/40.65	o 5982
41.48/42.38	c 16.4455 10.6484 566 501279
41.48/42.38	o 5973
41.77/42.61	c 16.5965 10.6484 806 504038
41.77/42.61	o 5950
43.38/44.22	c 17.5793 10.6484 778 518638
43.38/44.22	o 5926
43.58/44.45	c 17.7323 10.6484 604 521260
43.58/44.45	o 5917
44.88/45.77	c 18.5622 10.6484 581 533400
44.88/45.77	o 5835
47.68/48.52	c 20.2179 10.6484 452 562791
47.68/48.52	o 5505
47.77/48.67	c 20.2989 10.6484 648 564274
47.77/48.67	o 5447
48.18/49.05	c 20.5329 10.6484 660 568427
48.18/49.05	o 5419
50.98/51.89	c 22.2876 10.6484 826 593263
50.98/51.89	o 5398
52.58/53.49	c 23.2885 10.7734 539 603556
52.58/53.49	o 5396
53.18/54.01	c 23.5994 10.7734 661 607405
53.18/54.01	o 5367
55.67/56.50	c 25.2082 10.7734 537 629353
55.67/56.50	o 5249
58.18/59.03	c 26.7799 10.7734 792 648960
58.18/59.03	o 5222
58.27/59.19	c 26.8749 10.7734 589 650465
58.27/59.19	o 5169
59.18/60.03	c 27.3688 10.7734 781 657262
59.18/60.03	o 5105
59.38/60.24	c 27.4938 10.7734 780 659320
59.38/60.24	o 4942
59.59/60.48	c 27.6458 10.7734 506 661875
59.59/60.48	o 4847
59.98/60.89	c 27.8928 10.7734 490 665492
59.98/60.89	o 4811
60.28/61.13	c 28.0457 10.7734 680 667828
60.28/61.13	o 4799
60.98/61.80	c 28.4487 10.7734 430 673182
60.98/61.80	o 4798
61.28/62.13	c 28.6566 10.7734 564 676436
61.28/62.13	o 4581
61.78/62.61	c 28.9516 10.7734 500 680117
61.78/62.61	o 4550
62.89/63.74	c 29.6535 10.7734 933 687510
62.89/63.74	o 4504
63.98/64.81	c 30.3024 10.7734 509 697117
63.98/64.81	o 4475
64.08/64.91	c 30.3654 10.7734 494 698208
64.08/64.91	o 4342
64.38/65.22	c 30.5464 10.7734 629 700732
64.38/65.22	o 4324
64.48/65.35	c 30.6273 10.7734 713 701965
64.48/65.35	o 4267
64.58/65.42	c 30.6653 10.7734 587 702767
64.58/65.42	o 4230
64.98/65.81	c 30.8913 10.7734 731 706101
64.98/65.81	o 4222
65.08/65.97	c 30.9913 10.7734 576 707944
65.08/65.97	o 4079
65.68/66.57	c 31.3842 10.7734 815 711970
65.68/66.57	o 4063
65.87/66.74	c 31.4922 10.7734 675 713450
65.87/66.74	o 4051
66.29/67.14	c 31.7282 10.7734 725 716508
66.29/67.14	o 3936
66.68/67.50	c 31.9371 10.7734 757 719648
66.68/67.50	o 3877
66.87/67.73	c 32.0781 10.7734 732 721644
66.87/67.73	o 3790
66.98/67.84	c 32.1541 10.7734 813 722734
66.98/67.84	o 3762
67.28/68.19	c 32.3721 10.7734 719 725221
67.28/68.19	o 3714
67.48/68.30	c 32.4561 10.7734 750 726291
67.48/68.30	o 3682
68.49/69.31	c 33.074 10.7734 641 734464
68.49/69.31	o 3615
69.08/69.97	c 33.4839 10.7734 571 739254
69.08/69.97	o 3518
69.18/70.05	c 33.5349 10.7734 845 739908
69.18/70.05	o 3496
69.78/70.67	c 33.8978 10.7734 541 745051
69.78/70.67	o 3468
69.88/70.71	c 33.9198 10.7734 695 745646
69.88/70.71	o 3348
69.88/70.73	c 33.9338 10.8945 782 745883
69.88/70.73	o 3344
71.27/72.13	c 34.7947 10.8945 781 756428
71.27/72.13	o 3295
71.98/72.83	c 35.2226 10.8945 718 761652
71.98/72.83	o 3247
72.37/73.20	c 35.4416 10.8945 695 764230
72.37/73.20	o 3226
72.67/73.54	c 35.6596 10.8945 606 766851
72.67/73.54	o 3133
72.67/73.56	c 35.6736 10.8945 700 767079
72.67/73.56	o 3117
72.97/73.82	c 35.8216 10.8945 727 768785
72.97/73.82	o 3069
73.08/73.96	c 35.9065 10.8945 477 769957
73.08/73.96	o 3067
73.18/74.00	c 35.9255 10.8945 600 770353
73.18/74.00	o 3053
74.07/74.97	c 36.5174 10.8945 499 777520
74.07/74.97	o 2971
74.28/75.17	c 36.6454 10.8945 808 779404
74.28/75.17	o 2899
74.78/75.68	c 36.9524 10.8945 646 782376
74.78/75.68	o 2859
75.28/76.16	c 37.2563 10.8945 592 785833
75.28/76.16	o 2854
75.38/76.29	c 37.3273 10.8945 551 786732
75.38/76.29	o 2760
75.48/76.36	c 37.3783 10.8945 789 787259
75.48/76.36	o 2753
75.58/76.49	c 37.4703 10.8945 423 788586
75.58/76.49	o 2707
75.68/76.57	c 37.5193 10.8945 688 789238
75.68/76.57	o 2695
76.48/77.31	c 37.9502 10.8945 724 794650
76.48/77.31	o 2671
77.18/78.05	c 38.4172 10.8945 488 798932
77.18/78.05	o 2612
77.48/78.37	c 38.6111 10.8945 683 801408
77.48/78.37	o 2569
77.58/78.46	c 38.6731 10.8945 557 802033
77.58/78.46	o 2561
78.08/78.90	c 38.9541 10.8945 657 804764
78.08/78.90	o 2541
78.78/79.66	c 39.429 10.8945 780 810476
78.78/79.66	o 2438
78.88/79.71	c 39.465 10.8945 542 810828
78.88/79.71	o 2418
79.17/80.05	c 39.702 10.8945 706 813252
79.17/80.05	o 2320
79.17/80.08	c 39.724 10.8945 417 813831
79.17/80.08	o 2104
79.28/80.17	c 39.773 10.8945 651 814497
79.28/80.17	o 2079
79.38/80.29	c 39.8539 10.8945 638 815298
79.38/80.29	o 2055
79.68/80.56	c 40.0299 10.8945 641 817434
79.68/80.56	o 2041
79.98/80.83	c 40.1899 10.8945 638 819525
79.98/80.83	o 1992
81.98/82.89	c 41.4797 10.8945 694 831789
81.98/82.89	o 1968
82.08/82.95	c 41.5197 10.8945 494 832282
82.08/82.95	o 1937
82.48/83.36	c 41.7726 10.8945 568 834906
82.48/83.36	o 1923
82.69/83.52	c 41.8816 10.8945 730 836048
82.69/83.52	o 1907
82.88/83.79	c 42.0626 10.8945 767 837982
82.88/83.79	o 1874
83.08/83.91	c 42.1396 10.8945 753 838848
83.08/83.91	o 1855
83.08/83.98	c 42.1876 10.8945 684 839636
83.08/83.98	o 1745
83.38/84.29	c 42.3826 10.8945 744 841417
83.38/84.29	o 1726
83.68/84.51	c 42.5215 11.0156 563 842898
83.68/84.51	o 1677
83.79/84.63	c 42.5945 11.0156 469 843552
83.79/84.63	o 1673
83.79/84.68	c 42.6195 11.0156 646 843976
83.79/84.68	o 1665
84.18/85.03	c 42.8305 11.0156 767 846153
84.18/85.03	o 1636
84.28/85.10	c 42.8785 11.0156 580 846675
84.28/85.10	o 1629
84.38/85.22	c 42.9545 11.0156 562 847587
84.38/85.22	o 1566
84.57/85.45	c 43.1004 11.0156 824 848827
84.57/85.45	o 1521
84.57/85.46	c 43.1034 11.0156 430 848912
84.57/85.46	o 1517
84.68/85.53	c 43.1514 11.0156 664 849426
84.68/85.53	o 1496
84.78/85.61	c 43.2074 11.0156 512 850096
84.78/85.61	o 1460
84.89/85.73	c 43.2864 11.0156 876 850979
84.89/85.73	o 1449
85.68/86.57	c 43.8033 11.0156 666 856803
85.68/86.57	o 1383
86.08/86.90	c 44.0053 11.0156 528 859478
86.08/86.90	o 1364
86.08/86.94	c 44.0373 11.0156 658 859811
86.08/86.94	o 1347
86.38/87.20	c 44.2003 11.0156 598 861589
86.38/87.20	o 1322
86.38/87.25	c 44.2333 11.0156 820 862165
86.38/87.25	o 1256
86.98/87.90	c 44.6352 11.0156 494 866803
86.98/87.90	o 1246
87.18/88.03	c 44.7282 11.0156 512 867730
87.18/88.03	o 1229
87.18/88.06	c 44.7442 11.0156 577 867913
87.18/88.06	o 1209
87.38/88.28	c 44.8892 11.0156 569 869635
87.38/88.28	o 1154
87.48/88.33	c 44.9202 11.0156 720 870095
87.48/88.33	o 1119
87.58/88.41	c 44.9612 11.0156 552 870629
87.58/88.41	o 1113
87.88/88.76	c 45.1911 11.0156 809 872811
87.88/88.76	o 1106
87.88/88.78	c 45.2031 11.0156 453 872968
87.88/88.78	o 1062
88.08/88.97	c 45.3331 11.0156 582 874167
88.08/88.97	o 1047
88.18/89.02	c 45.3571 11.0156 723 874507
88.18/89.02	o 1025
88.18/89.08	c 45.4011 11.0156 503 874896
88.18/89.08	o 1017
88.28/89.15	c 45.4491 11.0156 768 875395
88.28/89.15	o 1016
88.28/89.17	c 45.4591 11.0156 832 875576
88.28/89.17	o 946
88.38/89.28	c 45.5301 11.0156 770 876242
88.38/89.28	o 915
88.68/89.56	c 45.7081 11.0156 892 878175
88.68/89.56	o 895
88.68/89.59	c 45.733 11.0156 624 878605
88.68/89.59	o 876
88.88/89.76	c 45.84 11.0156 753 879773
88.88/89.76	o 872
88.98/89.86	c 45.909 11.1367 575 880414
88.98/89.86	o 839
88.98/89.86	c 45.91 11.1367 591 880499
88.98/89.86	o 815
89.08/89.99	c 46.002 11.1367 619 881463
89.08/89.99	o 813
89.18/90.01	c 46.012 11.1367 685 881626
89.18/90.01	o 796
89.18/90.03	c 46.023 11.1367 752 881777
89.18/90.03	o 791
89.18/90.07	c 46.044 11.1367 880 882091
89.18/90.07	o 731
89.28/90.14	c 46.091 11.1367 714 882740
89.28/90.14	o 620
89.28/90.16	c 46.099 11.1367 796 882900
89.28/90.16	o 575
89.39/90.25	c 46.171 11.1367 1239 883667
89.39/90.25	o 560
89.48/90.35	c 46.241 11.1367 1072 884519
89.48/90.35	o 552
89.58/90.45	c 46.296 11.1367 931 885250
89.58/90.45	o 526
89.58/90.47	c 46.31 11.1367 1030 885443
89.58/90.47	o 479
89.68/90.53	c 46.354 11.1367 674 885903
89.68/90.53	o 469
89.68/90.54	c 46.365 11.1367 741 886064
89.68/90.54	o 431
89.68/90.54	c 46.367 11.1367 765 886125
89.68/90.54	o 419
89.68/90.57	c 46.3819 11.1367 850 886328
89.68/90.57	o 399
89.68/90.60	c 46.3999 11.1367 1006 886623
89.68/90.60	o 353
89.78/90.62	c 46.4169 11.1367 1139 886848
89.78/90.62	o 337
89.78/90.64	c 46.4289 11.1367 1237 887102
89.78/90.64	o 294
89.78/90.68	c 46.4539 11.1367 804 887427
89.78/90.68	o 271
89.88/90.70	c 46.4759 11.1367 968 887690
89.88/90.70	o 265
89.88/90.70	c 46.4779 11.1367 992 887738
89.88/90.70	o 244
89.88/90.71	c 46.4809 11.1367 1010 887775
89.88/90.71	o 239
89.88/90.71	c 46.4839 11.1367 788 887832
89.88/90.71	o 209
89.88/90.71	c 46.4849 11.1367 793 887860
89.88/90.71	o 192
89.88/90.71	c 46.4859 11.1367 793 887882
89.88/90.71	o 176
89.88/90.71	c 46.4869 11.1367 798 887924
89.88/90.71	o 140
89.88/90.72	c 46.4879 11.1367 802 887948
89.88/90.72	o 134
89.88/90.72	c 46.4899 11.1367 814 887978
89.88/90.72	o 133
89.88/90.72	c 46.4909 11.1367 817 888050
89.88/90.72	o 55
89.88/90.72	c 46.4919 11.1367 819 888068
89.88/90.72	o 39
89.88/90.72	c 46.4919 11.1367 819 888068
89.88/90.72	s OPTIMUM FOUND
89.88/90.72	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	39

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700240-1278534498/watcher-2700240-1278534498 -o /tmp/evaluation-result-2700240-1278534498/solver-2700240-1278534498 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700240-1278534498.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: 6.39 5.61 3.26 4/186 18451
/proc/meminfo: memFree=29802216/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=2136 CPUtime=0
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 21662050 2187264 174 4089446400 134512640 136421960 4290539824 18446744073709551615 135161782 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18451/statm: 534 174 144 467 0 65 0

[startup+0.0391931 s]
/proc/loadavg: 6.39 5.61 3.26 4/186 18451
/proc/meminfo: memFree=29802216/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=4116 CPUtime=0.01
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 730 0 0 0 1 0 0 0 25 0 1 0 21662050 4214784 650 4089446400 134512640 136421960 4290539824 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 1029 652 193 467 0 560 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4116

[startup+0.101382 s]
/proc/loadavg: 6.39 5.61 3.26 4/186 18451
/proc/meminfo: memFree=29802216/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=9564 CPUtime=0.03
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2113 0 0 0 3 0 0 0 25 0 1 0 21662050 9793536 2033 4089446400 134512640 136421960 4290539824 18446744073709551615 134887911 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18451/statm: 2391 2033 203 467 0 1922 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9564

[startup+0.300507 s]
/proc/loadavg: 6.39 5.61 3.26 4/186 18451
/proc/meminfo: memFree=29802216/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10260 CPUtime=0.14
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2293 0 0 0 8 6 0 0 25 0 1 0 21662050 10506240 2204 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/18451/statm: 2565 2204 238 467 0 2096 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10260

[startup+0.700281 s]
/proc/loadavg: 6.39 5.61 3.26 4/186 18451
/proc/meminfo: memFree=29802216/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10388 CPUtime=0.55
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2319 0 0 0 19 36 0 0 25 0 1 0 21662050 10637312 2229 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/18451/statm: 2597 2229 238 467 0 2128 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10388

[startup+1.50013 s]
/proc/loadavg: 6.60 5.66 3.29 5/187 18452
/proc/meminfo: memFree=29793032/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10388 CPUtime=1.35
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2332 0 0 0 41 94 0 0 25 0 1 0 21662050 10637312 2241 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/18451/statm: 2597 2241 238 467 0 2128 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10388

[startup+3.10084 s]
/proc/loadavg: 6.60 5.66 3.29 8/187 18452
/proc/meminfo: memFree=29791916/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10388 CPUtime=2.67
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2348 0 0 0 80 187 0 0 25 0 1 0 21662050 10637312 2254 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18451/statm: 2597 2254 238 467 0 2128 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10388

[startup+6.30027 s]
/proc/loadavg: 6.60 5.66 3.29 5/187 18452
/proc/meminfo: memFree=29790328/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10516 CPUtime=5.88
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2373 0 0 0 187 401 0 0 25 0 1 0 21662050 10768384 2274 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18451/statm: 2629 2274 238 467 0 2160 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 10516

[startup+12.7001 s]
/proc/loadavg: 6.12 5.59 3.29 3/187 18452
/proc/meminfo: memFree=29788976/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10644 CPUtime=12.27
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2422 0 0 0 399 828 0 0 25 0 1 0 21662050 10899456 2309 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18451/statm: 2661 2309 238 467 0 2192 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 10644

[startup+25.5009 s]
/proc/loadavg: 5.97 5.57 3.31 7/187 18452
/proc/meminfo: memFree=29785356/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10772 CPUtime=24.76
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2476 0 0 0 791 1685 0 0 25 0 1 0 21662050 11030528 2346 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/18451/statm: 2693 2346 238 467 0 2224 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 10772

[startup+51.1002 s]
/proc/loadavg: 5.26 5.44 3.33 9/187 18460
/proc/meminfo: memFree=29777632/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=10900 CPUtime=50.28
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2544 0 0 0 2179 2849 0 0 25 0 1 0 21662050 11161600 2386 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2725 2386 238 467 0 2256 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 10900

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

[startup+76.7006 s]
/proc/loadavg: 5.75 5.53 3.42 4/187 18461
/proc/meminfo: memFree=29772232/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11152 CPUtime=75.88
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2643 0 0 0 3759 3829 0 0 25 0 1 0 21662050 11419648 2433 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2788 2433 238 467 0 2319 0
Current children cumulated CPU time (s) 75.88
Current children cumulated vsize (KiB) 11152

[startup+83.102 s]
/proc/loadavg: 6.01 5.59 3.45 7/187 18461
/proc/meminfo: memFree=29770248/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11152 CPUtime=82.27
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2675 0 0 0 4160 4067 0 0 25 0 1 0 21662050 11419648 2450 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2788 2450 238 467 0 2319 0
Current children cumulated CPU time (s) 82.27
Current children cumulated vsize (KiB) 11152

[startup+86.3013 s]
/proc/loadavg: 5.77 5.55 3.45 4/187 18461
/proc/meminfo: memFree=29769004/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11276 CPUtime=85.48
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2712 0 0 0 4363 4185 0 0 25 0 1 0 21662050 11546624 2470 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2819 2470 238 467 0 2350 0
Current children cumulated CPU time (s) 85.48
Current children cumulated vsize (KiB) 11276

[startup+87.9006 s]
/proc/loadavg: 5.77 5.55 3.45 4/187 18461
/proc/meminfo: memFree=29768752/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11276 CPUtime=87.08
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2719 0 0 0 4463 4245 0 0 25 0 1 0 21662050 11546624 2471 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2819 2471 238 467 0 2350 0
Current children cumulated CPU time (s) 87.08
Current children cumulated vsize (KiB) 11276

[startup+89.5011 s]
/proc/loadavg: 5.77 5.55 3.45 3/187 18461
/proc/meminfo: memFree=29768256/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11276 CPUtime=88.68
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2742 0 0 0 4566 4302 0 0 25 0 1 0 21662050 11546624 2481 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2819 2481 238 467 0 2350 0
Current children cumulated CPU time (s) 88.68
Current children cumulated vsize (KiB) 11276

[startup+90.3003 s]
/proc/loadavg: 5.77 5.55 3.45 7/187 18461
/proc/meminfo: memFree=29768256/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11400 CPUtime=89.48
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2771 0 0 0 4620 4328 0 0 25 0 1 0 21662050 11673600 2498 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2850 2498 238 467 0 2381 0
Current children cumulated CPU time (s) 89.48
Current children cumulated vsize (KiB) 11400

[startup+90.7001 s]
/proc/loadavg: 5.77 5.55 3.45 7/187 18461
/proc/meminfo: memFree=29768256/32951124 swapFree=67111528/67111528
[pid=18451] ppid=18449 vsize=11400 CPUtime=89.88
/proc/18451/stat : 18451 (pbct) R 18449 18451 17689 0 -1 4202496 2793 0 0 0 4647 4341 0 0 25 0 1 0 21662050 11673600 2509 4089446400 134512640 136421960 4290539824 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18451/statm: 2850 2509 238 467 0 2381 0
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (KiB) 11400

Child status: 0
Real time (s): 90.7342
CPU time (s): 89.9223
CPU user time (s): 46.5009
CPU system time (s): 43.4214
CPU usage (%): 99.1052
Max. virtual memory (cumulated for all children) (KiB): 11400

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

runsolver used 0.137979 second user time and 0.304953 second system time

The end

Launcher Data 

Begin job on node145 at 2010-07-07 22:28:18
IDJOB=2700240
IDBENCH=79411
IDSOLVER=1208
FILE ID=node145/2700240-1278534498
PBS_JOBID= 11239188
Free space on /tmp= 73592 MiB

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

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

MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2
RANDOM SEED=1258429090

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.859
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.74
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.859
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.859
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.859
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:     32951124 kB
MemFree:      29802496 kB
Buffers:        138924 kB
Cached:        2528600 kB
SwapCached:          0 kB
Active:        1688680 kB
Inactive:      1310132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29802496 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:      331404 kB
Mapped:          19124 kB
Slab:            84692 kB
PageTables:       5844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   546292 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= 73592 MiB
End job on node145 at 2010-07-07 22:29:49