Trace number 2700243

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 90.1433 90.1477

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.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.02/0.04	c 0.035994 9.74219 1 1842
0.02/0.04	o 31226
0.02/0.04	c 0.035994 9.89844 1 2341
0.02/0.04	o 30717
0.02/0.04	c 0.037994 9.89844 2 2821
0.02/0.04	o 30243
0.02/0.04	c 0.037994 9.89844 2 3672
0.02/0.04	o 12311
0.02/0.04	c 0.038994 9.89844 3 4203
0.02/0.04	o 11884
0.02/0.04	c 0.039993 9.89844 3 4602
0.02/0.04	o 11643
0.02/0.05	c 0.041993 9.89844 3 5007
0.02/0.05	o 11424
0.02/0.05	c 0.041993 9.89844 9 5783
0.02/0.05	o 10873
0.09/0.16	c 0.107983 10.0234 368 8016
0.09/0.16	o 10740
0.59/0.60	c 0.375942 10.1484 734 13143
0.59/0.60	o 10702
1.39/1.40	c 0.875866 10.1484 548 24389
1.39/1.40	o 10693
1.69/1.72	c 1.06684 10.1484 653 28334
1.69/1.72	o 10553
2.09/2.13	c 1.3288 10.1484 776 33743
2.09/2.13	o 10438
2.59/2.66	c 1.65675 10.1484 945 38708
2.59/2.66	o 10420
3.89/3.93	c 2.46163 10.2734 505 55252
3.89/3.93	o 10402
3.99/4.06	c 2.55461 10.2734 463 57321
3.99/4.06	o 10311
4.09/4.10	c 2.57361 10.2734 647 57792
4.09/4.10	o 10310
4.89/4.99	c 3.15852 10.2734 730 68226
4.89/4.99	o 10161
5.49/5.57	c 3.53346 10.2734 718 73718
5.49/5.57	o 10102
6.69/6.75	c 4.25435 10.2734 622 89825
6.69/6.75	o 10089
6.99/7.01	c 4.41533 10.2734 691 93276
6.99/7.01	o 9926
7.79/7.80	c 4.89326 10.2734 539 104166
7.79/7.80	o 9791
8.09/8.10	c 5.07823 10.2734 666 107765
8.09/8.10	o 9725
8.19/8.27	c 5.19121 10.2734 488 110550
8.19/8.27	o 9601
8.48/8.53	c 5.36318 10.2734 731 113780
8.48/8.53	o 9556
8.48/8.57	c 5.38518 10.2734 530 114453
8.48/8.57	o 9555
8.59/8.63	c 5.42917 10.2734 628 116002
8.59/8.63	o 9489
10.29/10.37	c 6.51701 10.3984 751 137275
10.29/10.37	o 9452
10.39/10.41	c 6.547 10.3984 632 138224
10.39/10.41	o 9340
10.48/10.54	c 6.62899 10.3984 890 139713
10.48/10.54	o 9237
10.59/10.66	c 6.71498 10.3984 593 141236
10.59/10.66	o 9193
10.78/10.89	c 6.86796 10.3984 681 144250
10.78/10.89	o 9188
12.09/12.18	c 7.68683 10.3984 570 159277
12.09/12.18	o 9179
13.38/13.43	c 8.44971 10.3984 607 175170
13.38/13.43	o 9138
13.79/13.81	c 8.68968 10.3984 799 180424
13.79/13.81	o 9079
14.29/14.39	c 9.06362 10.3984 656 187998
14.29/14.39	o 8841
14.89/14.93	c 9.41757 10.3984 865 195496
14.89/14.93	o 8833
15.48/15.52	c 9.78651 10.3984 912 203334
15.48/15.52	o 8733
16.19/16.29	c 10.2774 10.3984 905 213702
16.19/16.29	o 8638
16.39/16.44	c 10.3654 10.3984 689 215995
16.39/16.44	o 8390
16.99/17.06	c 10.7444 10.3984 695 223407
16.99/17.06	o 8345
19.39/19.46	c 12.2451 10.5234 730 252735
19.39/19.46	o 8331
19.79/19.83	c 12.4641 10.5234 486 258137
19.79/19.83	o 8225
21.39/21.44	c 13.46 10.5234 540 277704
21.39/21.44	o 8170
21.39/21.48	c 13.4849 10.5234 399 278550
21.39/21.48	o 8077
22.08/22.10	c 13.8739 10.5234 762 286437
22.08/22.10	o 8049
22.69/22.72	c 14.2638 10.5234 607 293319
22.69/22.72	o 7811
23.09/23.18	c 14.5418 10.5234 692 297406
23.09/23.18	o 7729
23.28/23.32	c 14.6338 10.5234 656 299373
23.28/23.32	o 7650
23.48/23.58	c 14.7838 10.5234 750 302554
23.48/23.58	o 7549
26.59/26.64	c 16.6265 10.5234 774 334193
26.59/26.64	o 7504
27.58/27.66	c 17.2534 10.5234 758 346776
27.58/27.66	o 7484
30.80/30.82	c 19.2011 10.5234 644 379702
30.80/30.82	o 7394
31.79/31.90	c 19.86 10.5234 676 392399
31.79/31.90	o 7321
32.08/32.14	c 20.008 10.6484 794 394138
32.08/32.14	o 7277
32.89/32.99	c 20.5359 10.6484 575 404818
32.89/32.99	o 7270
33.99/34.09	c 21.2238 10.6484 856 415866
33.99/34.09	o 7221
34.58/34.69	c 21.6167 10.6484 839 422755
34.58/34.69	o 7194
35.19/35.24	c 21.9757 10.6484 630 429113
35.19/35.24	o 7095
35.28/35.40	c 22.0666 10.6484 553 430914
35.28/35.40	o 7087
36.09/36.17	c 22.5696 10.6484 539 438647
36.09/36.17	o 7037
36.58/36.60	c 22.8275 10.6484 806 443355
36.58/36.60	o 6956
36.58/36.68	c 22.8925 10.6484 706 444089
36.58/36.68	o 6914
36.99/37.03	c 23.1165 10.6484 918 448240
36.99/37.03	o 6851
37.78/37.85	c 23.6274 10.6484 533 457119
37.78/37.85	o 6802
37.89/37.91	c 23.6664 10.6484 771 457967
37.89/37.91	o 6484
37.99/38.00	c 23.7264 10.6484 746 459101
37.99/38.00	o 6236
38.49/38.57	c 24.0713 10.6484 832 464607
38.49/38.57	o 6189
40.09/40.17	c 25.0662 10.6484 790 480159
40.09/40.17	o 6049
40.38/40.43	c 25.2182 10.6484 854 483349
40.38/40.43	o 5982
42.09/42.16	c 26.28 10.6484 566 501279
42.09/42.16	o 5973
42.29/42.39	c 26.435 10.6484 806 504038
42.29/42.39	o 5950
43.89/43.96	c 27.4248 10.6484 778 518638
43.89/43.96	o 5926
44.09/44.19	c 27.5628 10.6484 604 521260
44.09/44.19	o 5917
45.48/45.50	c 28.3917 10.6484 581 533400
45.48/45.50	o 5835
48.18/48.24	c 30.0714 10.6484 452 562791
48.18/48.24	o 5505
48.29/48.39	c 30.1594 10.6484 648 564274
48.29/48.39	o 5447
48.69/48.76	c 30.3934 10.6484 660 568427
48.69/48.76	o 5419
51.60/51.60	c 32.1511 10.6484 826 593263
51.60/51.60	o 5398
53.09/53.19	c 33.145 10.7734 539 603556
53.09/53.19	o 5396
53.69/53.71	c 33.4749 10.7734 661 607405
53.69/53.71	o 5367
56.10/56.19	c 35.0287 10.7734 537 629353
56.10/56.19	o 5249
58.69/58.70	c 36.5434 10.7734 792 648960
58.69/58.70	o 5222
58.79/58.85	c 36.6414 10.7734 589 650465
58.79/58.85	o 5169
59.59/59.66	c 37.1424 10.7734 781 657262
59.59/59.66	o 5105
59.78/59.86	c 37.2533 10.7734 780 659320
59.78/59.86	o 4942
59.99/60.09	c 37.4083 10.7734 506 661875
59.99/60.09	o 4847
60.39/60.49	c 37.6543 10.7734 490 665492
60.39/60.49	o 4811
60.69/60.73	c 37.8053 10.7734 680 667828
60.69/60.73	o 4799
61.29/61.37	c 38.2292 10.7734 430 673182
61.29/61.37	o 4798
61.59/61.69	c 38.4372 10.7734 564 676436
61.59/61.69	o 4581
62.09/62.16	c 38.7241 10.7734 500 680117
62.09/62.16	o 4550
63.18/63.29	c 39.43 10.7734 933 687510
63.18/63.29	o 4504
64.28/64.36	c 40.0619 10.7734 509 697117
64.28/64.36	o 4475
64.39/64.46	c 40.1259 10.7734 494 698208
64.39/64.46	o 4342
64.69/64.77	c 40.3299 10.7734 629 700732
64.69/64.77	o 4324
64.80/64.89	c 40.4139 10.7734 713 701965
64.80/64.89	o 4267
64.90/64.96	c 40.4598 10.7734 587 702767
64.90/64.96	o 4230
65.29/65.35	c 40.6948 10.7734 731 706101
65.29/65.35	o 4222
65.49/65.51	c 40.8028 10.7734 576 707944
65.49/65.51	o 4079
66.08/66.10	c 41.1627 10.7734 815 711970
66.08/66.10	o 4063
66.18/66.27	c 41.2817 10.7734 675 713450
66.18/66.27	o 4051
66.58/66.68	c 41.5477 10.7734 725 716508
66.58/66.68	o 3936
67.00/67.03	c 41.7647 10.7734 757 719648
67.00/67.03	o 3877
67.19/67.26	c 41.9036 10.7734 732 721644
67.19/67.26	o 3790
67.29/67.38	c 41.9766 10.7734 813 722734
67.29/67.38	o 3762
67.69/67.72	c 42.1986 10.7734 719 725221
67.69/67.72	o 3714
67.78/67.83	c 42.2686 10.7734 750 726291
67.78/67.83	o 3682
68.79/68.83	c 42.8955 10.7734 641 734464
68.79/68.83	o 3615
69.39/69.49	c 43.2984 10.7734 571 739254
69.39/69.49	o 3518
69.49/69.57	c 43.3434 10.7734 845 739908
69.49/69.57	o 3496
70.08/70.19	c 43.7224 10.7734 541 745051
70.08/70.19	o 3468
70.19/70.22	c 43.7473 10.7734 695 745646
70.19/70.22	o 3348
70.19/70.24	c 43.7603 10.8945 782 745883
70.19/70.24	o 3344
71.59/71.65	c 44.6292 10.8945 781 756428
71.59/71.65	o 3295
72.28/72.34	c 45.0591 10.8945 718 761652
72.28/72.34	o 3247
72.69/72.71	c 45.2991 10.8945 695 764230
72.69/72.71	o 3226
72.99/73.05	c 45.5131 10.8945 606 766851
72.99/73.05	o 3133
72.99/73.07	c 45.5271 10.8945 700 767079
72.99/73.07	o 3117
73.28/73.32	c 45.6841 10.8945 727 768785
73.28/73.32	o 3069
73.38/73.47	c 45.776 10.8945 477 769957
73.38/73.47	o 3067
73.49/73.50	c 45.798 10.8945 600 770353
73.49/73.50	o 3053
74.39/74.47	c 46.3989 10.8945 499 777520
74.39/74.47	o 2971
74.59/74.67	c 46.5209 10.8945 808 779404
74.59/74.67	o 2899
75.08/75.18	c 46.8419 10.8945 646 782376
75.08/75.18	o 2859
75.58/75.65	c 47.1578 10.8945 592 785833
75.58/75.65	o 2854
75.69/75.78	c 47.2308 10.8945 551 786732
75.69/75.78	o 2760
75.79/75.86	c 47.2818 10.8945 789 787259
75.79/75.86	o 2753
75.89/75.99	c 47.3648 10.8945 423 788586
75.89/75.99	o 2707
75.99/76.07	c 47.4268 10.8945 688 789238
75.99/76.07	o 2695
76.79/76.80	c 47.8847 10.8945 724 794650
76.79/76.80	o 2671
77.49/77.54	c 48.3516 10.8945 488 798932
77.49/77.54	o 2612
77.78/77.86	c 48.5496 10.8945 683 801408
77.78/77.86	o 2569
77.89/77.95	c 48.6006 10.8945 557 802033
77.89/77.95	o 2561
78.29/78.39	c 48.8816 10.8945 657 804764
78.29/78.39	o 2541
79.09/79.14	c 49.3475 10.8945 780 810476
79.09/79.14	o 2438
79.09/79.19	c 49.3745 10.8945 542 810828
79.09/79.19	o 2418
79.49/79.53	c 49.5945 10.8945 706 813252
79.49/79.53	o 2320
79.49/79.56	c 49.6145 10.8945 417 813831
79.49/79.56	o 2104
79.58/79.64	c 49.6654 10.8945 651 814497
79.58/79.64	o 2079
79.68/79.77	c 49.7454 10.8945 638 815298
79.68/79.77	o 2055
79.99/80.04	c 49.9074 10.8945 641 817434
79.99/80.04	o 2041
80.19/80.29	c 50.0654 10.8945 638 819525
80.19/80.29	o 1992
82.29/82.35	c 51.3072 10.8945 694 831789
82.29/82.35	o 1968
82.39/82.41	c 51.3462 10.8945 494 832282
82.39/82.41	o 1937
82.78/82.82	c 51.5892 10.8945 568 834906
82.78/82.82	o 1923
82.89/82.98	c 51.6931 10.8945 730 836048
82.89/82.98	o 1907
83.18/83.25	c 51.8581 10.8945 767 837982
83.18/83.25	o 1874
83.29/83.36	c 51.9291 10.8945 753 838848
83.29/83.36	o 1855
83.38/83.44	c 51.9771 10.8945 684 839636
83.38/83.44	o 1745
83.69/83.73	c 52.1621 10.8945 744 841417
83.69/83.73	o 1726
83.88/83.95	c 52.303 11.0156 563 842898
83.88/83.95	o 1677
83.99/84.06	c 52.376 11.0156 469 843552
83.99/84.06	o 1673
84.09/84.12	c 52.406 11.0156 646 843976
84.09/84.12	o 1665
84.39/84.46	c 52.617 11.0156 767 846153
84.39/84.46	o 1636
84.49/84.53	c 52.667 11.0156 580 846675
84.49/84.53	o 1629
84.59/84.65	c 52.742 11.0156 562 847587
84.59/84.65	o 1566
84.79/84.89	c 52.891 11.0156 824 848827
84.79/84.89	o 1521
84.79/84.89	c 52.893 11.0156 430 848912
84.79/84.89	o 1517
84.88/84.97	c 52.944 11.0156 664 849426
84.88/84.97	o 1496
84.99/85.04	c 52.9929 11.0156 512 850096
84.99/85.04	o 1460
85.09/85.16	c 53.0669 11.0156 876 850979
85.09/85.16	o 1449
85.99/86.00	c 53.5789 11.0156 666 856803
85.99/86.00	o 1383
86.28/86.33	c 53.7818 11.0156 528 859478
86.28/86.33	o 1364
86.28/86.37	c 53.8088 11.0156 658 859811
86.28/86.37	o 1347
86.59/86.62	c 53.9748 11.0156 598 861589
86.59/86.62	o 1322
86.59/86.68	c 54.0078 11.0156 820 862165
86.59/86.68	o 1256
87.29/87.32	c 54.4097 11.0156 494 866803
87.29/87.32	o 1246
87.38/87.46	c 54.4927 11.0156 512 867730
87.38/87.46	o 1229
87.38/87.48	c 54.5067 11.0156 577 867913
87.38/87.48	o 1209
87.69/87.71	c 54.6547 11.0156 569 869635
87.69/87.71	o 1154
87.69/87.75	c 54.6867 11.0156 720 870095
87.69/87.75	o 1119
87.79/87.84	c 54.7387 11.0156 552 870629
87.79/87.84	o 1113
88.09/88.18	c 54.9596 11.0156 809 872811
88.09/88.18	o 1106
88.18/88.20	c 54.9716 11.0156 453 872968
88.18/88.20	o 1062
88.29/88.39	c 55.0786 11.0156 582 874167
88.29/88.39	o 1047
88.38/88.43	c 55.1076 11.0156 723 874507
88.38/88.43	o 1025
88.38/88.50	c 55.1516 11.0156 503 874896
88.38/88.50	o 1017
88.49/88.57	c 55.1956 11.0156 768 875395
88.49/88.57	o 1016
88.49/88.59	c 55.2076 11.0156 832 875576
88.49/88.59	o 946
88.59/88.69	c 55.2776 11.0156 770 876242
88.59/88.69	o 915
88.89/88.97	c 55.4396 11.0156 892 878175
88.89/88.97	o 895
88.99/89.01	c 55.4606 11.0156 624 878605
88.99/89.01	o 876
89.09/89.18	c 55.5586 11.0156 753 879773
89.09/89.18	o 872
89.19/89.27	c 55.6245 11.1367 575 880414
89.19/89.27	o 839
89.19/89.28	c 55.6295 11.1367 591 880499
89.19/89.28	o 815
89.39/89.41	c 55.7135 11.1367 619 881463
89.39/89.41	o 813
89.39/89.43	c 55.7275 11.1367 685 881626
89.39/89.43	o 796
89.39/89.45	c 55.7385 11.1367 752 881777
89.39/89.45	o 791
89.39/89.49	c 55.7635 11.1367 880 882091
89.39/89.49	o 731
89.48/89.56	c 55.8165 11.1367 714 882740
89.48/89.56	o 620
89.48/89.57	c 55.8245 11.1367 796 882900
89.48/89.57	o 575
89.59/89.67	c 55.8855 11.1367 1239 883667
89.59/89.67	o 560
89.69/89.77	c 55.9615 11.1367 1072 884519
89.69/89.77	o 552
89.79/89.86	c 56.0195 11.1367 931 885250
89.79/89.86	o 526
89.79/89.88	c 56.0335 11.1367 1030 885443
89.79/89.88	o 479
89.88/89.94	c 56.0795 11.1367 674 885903
89.88/89.94	o 469
89.88/89.95	c 56.0885 11.1367 741 886064
89.88/89.95	o 431
89.88/89.96	c 56.0915 11.1367 765 886125
89.88/89.96	o 419
89.88/89.98	c 56.1065 11.1367 850 886328
89.88/89.98	o 399
89.98/90.01	c 56.1265 11.1367 1006 886623
89.98/90.01	o 353
89.98/90.04	c 56.1445 11.1367 1139 886848
89.98/90.04	o 337
89.98/90.06	c 56.1615 11.1367 1237 887102
89.98/90.06	o 294
89.98/90.09	c 56.1865 11.1367 804 887427
89.98/90.09	o 271
90.09/90.11	c 56.2065 11.1367 968 887690
90.09/90.11	o 265
90.09/90.12	c 56.2095 11.1367 992 887738
90.09/90.12	o 244
90.09/90.12	c 56.2115 11.1367 1010 887775
90.09/90.12	o 239
90.09/90.13	c 56.2135 11.1367 788 887832
90.09/90.13	o 209
90.09/90.13	c 56.2145 11.1367 793 887860
90.09/90.13	o 192
90.09/90.13	c 56.2155 11.1367 793 887882
90.09/90.13	o 176
90.09/90.13	c 56.2165 11.1367 798 887924
90.09/90.13	o 140
90.09/90.13	c 56.2175 11.1367 802 887948
90.09/90.13	o 134
90.09/90.13	c 56.2195 11.1367 814 887978
90.09/90.13	o 133
90.09/90.13	c 56.2215 11.1367 817 888050
90.09/90.13	o 55
90.09/90.13	c 56.2225 11.1367 819 888068
90.09/90.13	o 39
90.09/90.13	c 56.2225 11.1367 819 888068
90.09/90.13	s OPTIMUM FOUND
90.09/90.13	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-2700243-1278534505/watcher-2700243-1278534505 -o /tmp/evaluation-result-2700243-1278534505/solver-2700243-1278534505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700243-1278534505.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.04 1.80 1.02 4/176 18152
/proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=2136 CPUtime=0
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 256 0 0 0 0 0 0 0 24 0 1 0 21664238 2187264 175 4089446400 134512640 136422188 4287290224 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18152/statm: 534 175 144 467 0 65 0

[startup+0.0328999 s]
/proc/loadavg: 2.04 1.80 1.02 4/176 18152
/proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=9416 CPUtime=0.02
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2071 0 0 0 2 0 0 0 24 0 1 0 21664238 9641984 1990 4089446400 134512640 136422188 4287290224 18446744073709551615 134815464 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2354 1990 199 467 0 1885 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9416

[startup+0.100901 s]
/proc/loadavg: 2.04 1.80 1.02 4/176 18152
/proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10132 CPUtime=0.09
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2280 0 0 0 6 3 0 0 24 0 1 0 21664238 10375168 2191 4089446400 134512640 136422188 4287290224 18446744073709551615 134862319 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2533 2191 238 467 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10132

[startup+0.30087 s]
/proc/loadavg: 2.04 1.80 1.02 4/176 18152
/proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10388 CPUtime=0.29
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2315 0 0 0 19 10 0 0 25 0 1 0 21664238 10637312 2225 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2597 2225 238 467 0 2128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10388

[startup+0.700801 s]
/proc/loadavg: 2.04 1.80 1.02 4/176 18152
/proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10388 CPUtime=0.69
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2321 0 0 0 42 27 0 0 25 0 1 0 21664238 10637312 2230 4089446400 134512640 136422188 4287290224 18446744073709551615 135011328 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2597 2230 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50066 s]
/proc/loadavg: 2.04 1.80 1.02 3/177 18153
/proc/meminfo: memFree=29087160/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10388 CPUtime=1.49
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2334 0 0 0 93 56 0 0 25 0 1 0 21664238 10637312 2242 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2597 2242 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.1004 s]
/proc/loadavg: 2.04 1.80 1.03 3/177 18153
/proc/meminfo: memFree=29085812/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10388 CPUtime=3.09
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2350 0 0 0 193 116 0 0 25 0 1 0 21664238 10637312 2255 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18152/statm: 2597 2255 238 467 0 2128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10388

[startup+6.30086 s]
/proc/loadavg: 2.04 1.80 1.03 3/177 18153
/proc/meminfo: memFree=29082776/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10516 CPUtime=6.29
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2375 0 0 0 397 232 0 0 25 0 1 0 21664238 10768384 2275 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18152/statm: 2629 2275 238 467 0 2160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10516

[startup+12.7008 s]
/proc/loadavg: 2.03 1.81 1.04 3/177 18153
/proc/meminfo: memFree=29077688/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10644 CPUtime=12.69
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2424 0 0 0 800 469 0 0 25 0 1 0 21664238 10899456 2310 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2661 2310 238 467 0 2192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5006 s]
/proc/loadavg: 2.03 1.81 1.05 3/177 18153
/proc/meminfo: memFree=29071264/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10772 CPUtime=25.49
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2478 0 0 0 1595 954 0 0 25 0 1 0 21664238 11030528 2347 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2693 2347 238 467 0 2224 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10772

[startup+51.1003 s]
/proc/loadavg: 2.02 1.83 1.07 3/177 18154
/proc/meminfo: memFree=29047916/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=10900 CPUtime=51.09
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2546 0 0 0 3183 1926 0 0 25 0 1 0 21664238 11161600 2387 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2725 2387 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.7009 s]
/proc/loadavg: 2.01 1.84 1.09 3/177 18155
/proc/meminfo: memFree=29024948/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11152 CPUtime=76.69
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2648 0 0 0 4782 2887 0 0 25 0 1 0 21664238 11419648 2437 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2788 2437 238 467 0 2319 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11152

[startup+83.1009 s]
/proc/loadavg: 2.01 1.84 1.10 3/177 18155
/proc/meminfo: memFree=29021580/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11152 CPUtime=83.09
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2680 0 0 0 5176 3133 0 0 25 0 1 0 21664238 11419648 2452 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2788 2452 238 467 0 2319 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 11152

[startup+86.3003 s]
/proc/loadavg: 2.01 1.84 1.10 3/177 18155
/proc/meminfo: memFree=29018844/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11276 CPUtime=86.28
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2716 0 0 0 5375 3253 0 0 25 0 1 0 21664238 11546624 2472 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2819 2472 238 467 0 2350 0
Current children cumulated CPU time (s) 86.28
Current children cumulated vsize (KiB) 11276

[startup+87.901 s]
/proc/loadavg: 2.01 1.85 1.11 3/177 18155
/proc/meminfo: memFree=29016364/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11276 CPUtime=87.89
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2732 0 0 0 5477 3312 0 0 25 0 1 0 21664238 11546624 2478 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2819 2478 238 467 0 2350 0
Current children cumulated CPU time (s) 87.89
Current children cumulated vsize (KiB) 11276

[startup+89.5008 s]
/proc/loadavg: 2.01 1.85 1.11 3/177 18155
/proc/meminfo: memFree=29015372/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11400 CPUtime=89.48
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2761 0 0 0 5576 3372 0 0 18 0 1 0 21664238 11673600 2490 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2850 2490 238 467 0 2381 0
Current children cumulated CPU time (s) 89.48
Current children cumulated vsize (KiB) 11400

[startup+89.9007 s]
/proc/loadavg: 2.01 1.85 1.11 3/177 18155
/proc/meminfo: memFree=29015372/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11400 CPUtime=89.88
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2776 0 0 0 5604 3384 0 0 18 0 1 0 21664238 11673600 2499 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2850 2499 238 467 0 2381 0
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (KiB) 11400

[startup+90.1007 s]
/proc/loadavg: 2.01 1.85 1.11 3/177 18155
/proc/meminfo: memFree=29014388/32951132 swapFree=67111528/67111528
[pid=18152] ppid=18150 vsize=11400 CPUtime=90.09
/proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2795 0 0 0 5619 3390 0 0 18 0 1 0 21664238 11673600 2510 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18152/statm: 2850 2510 238 467 0 2381 0
Current children cumulated CPU time (s) 90.09
Current children cumulated vsize (KiB) 11400

Child status: 0
Real time (s): 90.1477
CPU time (s): 90.1433
CPU user time (s): 56.2304
CPU system time (s): 33.9128
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 11400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.2305
system time used= 33.9128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2812
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= 5
involuntary context switches= 114

runsolver used 0.148977 second user time and 0.306953 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 22:28:25
IDJOB=2700243
IDBENCH=79411
IDSOLVER=1212
FILE ID=node129/2700243-1278534505
PBS_JOBID= 11239220
Free space on /tmp= 73788 MiB

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

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

MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2
RANDOM SEED=525820831

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29096988 kB
Buffers:        136828 kB
Cached:        2864920 kB
SwapCached:          0 kB
Active:        1844040 kB
Inactive:      1868232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29096988 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1936 kB
Writeback:           0 kB
AnonPages:      711236 kB
Mapped:          15328 kB
Slab:            75708 kB
PageTables:       6432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   859688 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= 73788 MiB
End job on node129 at 2010-07-07 22:29:55