Trace number 2700312

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 82.3125 82.3103

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
MD5SUM8941aeee87a1a646f79f1fa97035d3b2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.042992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/850 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.035994 9.94922 1 1947
0.00/0.04	o 29848
0.00/0.04	c 0.035994 10.1172 1 2430
0.00/0.04	o 29389
0.00/0.04	c 0.036994 10.1172 1 2684
0.00/0.04	o 29204
0.00/0.04	c 0.036994 10.1172 2 3585
0.00/0.04	o 27355
0.00/0.04	c 0.037994 10.1172 2 4482
0.00/0.04	o 12585
0.00/0.04	c 0.037994 10.1172 3 5139
0.00/0.04	o 12182
0.00/0.05	c 0.037994 10.1172 6 5389
0.00/0.05	o 12153
0.04/0.05	c 0.041993 10.1172 54 5761
0.04/0.05	o 12113
1.49/1.56	c 0.45893 10.3672 591 27471
1.49/1.56	o 12049
1.89/1.96	c 0.577912 10.3672 666 33240
1.89/1.96	o 11985
2.10/2.18	c 0.641902 10.3672 627 37350
2.10/2.18	o 11964
2.59/2.61	c 0.739887 10.4922 933 41411
2.59/2.61	o 11890
3.09/3.13	c 0.897863 10.4922 631 48816
3.09/3.13	o 11807
3.09/3.18	c 0.910861 10.4922 531 49758
3.09/3.18	o 11695
3.69/3.78	c 1.08283 10.4922 589 58812
3.69/3.78	o 11636
3.99/4.08	c 1.17882 10.4922 559 63715
3.99/4.08	o 11581
3.99/4.09	c 1.18382 10.4922 628 64001
3.99/4.09	o 11579
4.79/4.83	c 1.38279 10.4922 513 74301
4.79/4.83	o 11530
4.79/4.90	c 1.39979 10.4922 886 75560
4.79/4.90	o 11458
4.89/4.92	c 1.40579 10.4922 610 76226
4.89/4.92	o 11375
6.09/6.16	c 1.74473 10.4922 741 91380
6.09/6.16	o 11361
6.49/6.60	c 1.87271 10.4922 681 98117
6.49/6.60	o 11221
6.69/6.78	c 1.92171 10.4922 470 100630
6.69/6.78	o 11168
7.70/7.71	c 2.16367 10.6172 587 110201
7.70/7.71	o 11082
7.99/8.02	c 2.24866 10.6172 711 115551
7.99/8.02	o 11059
8.29/8.37	c 2.35464 10.6172 529 120926
8.29/8.37	o 10910
9.29/9.35	c 2.6146 10.6172 742 134361
9.29/9.35	o 10848
9.79/9.87	c 2.74658 10.6172 510 141099
9.79/9.87	o 10786
9.99/10.06	c 2.80357 10.6172 927 143662
9.99/10.06	o 10702
10.09/10.10	c 2.81357 10.6172 685 144387
10.09/10.10	o 10601
12.49/12.59	c 3.56746 10.7422 614 177609
12.49/12.59	o 10521
13.10/13.20	c 3.74343 10.7422 907 185547
13.10/13.20	o 10289
13.20/13.22	c 3.74643 10.7422 562 186065
13.20/13.22	o 10262
13.20/13.28	c 3.76543 10.7422 475 186909
13.20/13.28	o 10241
13.29/13.33	c 3.77643 10.7422 403 187844
13.29/13.33	o 10220
13.39/13.42	c 3.80542 10.7422 569 189510
13.39/13.42	o 10135
13.69/13.73	c 3.89541 10.7422 538 194251
13.69/13.73	o 10104
13.69/13.73	c 3.89641 10.7422 543 194479
13.69/13.73	o 10000
13.69/13.79	c 3.9114 10.7422 437 195684
13.69/13.79	o 9745
13.79/13.85	c 3.9284 10.7422 380 196858
13.79/13.85	o 9606
14.00/14.01	c 3.9624 10.7422 636 198553
14.00/14.01	o 9604
15.89/15.98	c 4.51131 10.7422 783 222020
15.89/15.98	o 9505
15.99/16.01	c 4.51731 10.7422 544 222660
15.99/16.01	o 9393
16.19/16.27	c 4.5863 10.7422 657 226218
16.19/16.27	o 9093
16.29/16.33	c 4.6023 10.7422 518 227042
16.29/16.33	o 9036
16.99/17.06	c 4.80527 10.7422 538 236272
16.99/17.06	o 9032
19.90/19.97	c 5.62914 10.7422 689 267670
19.90/19.97	o 8940
19.99/20.04	c 5.65214 10.7422 391 269059
19.99/20.04	o 8931
20.50/20.57	c 5.79212 10.7422 530 275222
20.50/20.57	o 8864
20.70/20.79	c 5.82311 10.7422 558 278397
20.70/20.79	o 8863
22.00/22.09	c 6.03608 10.7422 873 293174
22.00/22.09	o 8851
22.99/23.08	c 6.27804 10.7422 567 307736
22.99/23.08	o 8793
25.30/25.35	c 6.74297 10.8672 539 332366
25.30/25.35	o 8774
25.89/25.95	c 6.87096 10.8672 817 338635
25.89/25.95	o 8716
26.59/26.65	c 6.98794 10.8672 568 346341
26.59/26.65	o 8621
27.29/27.33	c 7.09692 10.8672 911 355708
27.29/27.33	o 8311
27.69/27.70	c 7.15691 10.8672 573 360479
27.69/27.70	o 8277
27.79/27.82	c 7.17691 10.8672 576 361782
27.79/27.82	o 8201
28.29/28.38	c 7.2529 10.8672 778 368338
28.29/28.38	o 8060
29.70/29.77	c 7.58585 10.8672 646 381299
29.70/29.77	o 8005
29.99/30.06	c 7.65984 10.8672 529 384762
29.99/30.06	o 7984
31.39/31.46	c 7.94679 10.8672 634 401681
31.39/31.46	o 7947
32.29/32.32	c 8.06677 10.8672 745 411364
32.29/32.32	o 7943
33.69/33.79	c 8.34573 10.8672 725 425318
33.69/33.79	o 7916
34.00/34.03	c 8.37673 10.8672 572 428141
34.00/34.03	o 7896
34.19/34.22	c 8.39872 10.8672 624 430313
34.19/34.22	o 7832
35.20/35.26	c 8.59669 10.8672 710 441496
35.20/35.26	o 7810
36.39/36.48	c 8.88765 10.8672 594 456387
36.39/36.48	o 7568
36.50/36.53	c 8.90065 10.8672 407 456916
36.50/36.53	o 7530
36.79/36.80	c 8.97963 10.8672 723 459629
36.79/36.80	o 7435
37.29/37.32	c 9.06262 10.8672 649 466526
37.29/37.32	o 7427
38.19/38.21	c 9.2076 10.9922 525 473742
38.19/38.21	o 7359
38.29/38.32	c 9.2196 10.9922 615 475085
38.29/38.32	o 7159
38.40/38.47	c 9.2416 10.9922 846 476566
38.40/38.47	o 7022
38.69/38.76	c 9.30358 10.9922 700 480111
38.69/38.76	o 6886
40.59/40.67	c 9.57754 10.9922 885 498328
40.59/40.67	o 6883
40.70/40.71	c 9.58654 10.9922 586 498815
40.70/40.71	o 6862
41.39/41.44	c 9.71552 10.9922 741 507283
41.39/41.44	o 6831
42.49/42.50	c 9.8745 10.9922 707 517072
42.49/42.50	o 6775
43.19/43.24	c 10.0915 10.9922 532 524785
43.19/43.24	o 6684
43.60/43.64	c 10.1675 10.9922 531 528822
43.60/43.64	o 6609
43.99/44.01	c 10.2074 10.9922 535 531832
43.99/44.01	o 6554
43.99/44.07	c 10.2274 10.9922 775 532501
43.99/44.07	o 6442
44.79/44.86	c 10.3914 10.9922 590 540693
44.79/44.86	o 6433
45.19/45.20	c 10.4524 10.9922 426 544662
45.19/45.20	o 6376
51.19/51.28	c 11.6792 10.9922 898 600283
51.19/51.28	o 6364
52.09/52.18	c 11.8142 10.9922 549 610485
52.09/52.18	o 6363
52.49/52.51	c 11.8782 10.9922 652 613544
52.49/52.51	o 6282
53.30/53.39	c 12.0642 11.1172 691 622520
53.30/53.39	o 6277
53.49/53.54	c 12.0802 11.1172 576 624177
53.49/53.54	o 6276
54.09/54.16	c 12.1801 11.1172 614 630246
54.09/54.16	o 6227
54.90/54.93	c 12.3461 11.1172 694 639077
54.90/54.93	o 6212
55.20/55.21	c 12.3941 11.1172 702 642153
55.20/55.21	o 6184
57.59/57.67	c 12.98 11.1172 612 663429
57.59/57.67	o 6176
57.69/57.70	c 12.986 11.1172 399 663956
57.69/57.70	o 6078
58.49/58.57	c 13.126 11.1172 707 672629
58.49/58.57	o 5948
58.89/58.93	c 13.194 11.1172 566 676244
58.89/58.93	o 5921
59.79/59.82	c 13.356 11.1172 506 684020
59.79/59.82	o 5911
61.09/61.17	c 13.6029 11.1172 429 696420
61.09/61.17	o 5740
61.49/61.55	c 13.6649 11.1172 792 701111
61.49/61.55	o 5642
61.69/61.76	c 13.6929 11.1172 520 703645
61.69/61.76	o 5355
63.29/63.33	c 14.0669 11.1172 410 717907
63.29/63.33	o 5319
63.59/63.61	c 14.1079 11.1172 742 720882
63.59/63.61	o 5207
63.69/63.73	c 14.1249 11.1172 475 722225
63.69/63.73	o 5197
63.80/63.81	c 14.1388 11.1172 752 723017
63.80/63.81	o 5136
63.80/63.83	c 14.1388 11.1172 422 723165
63.80/63.83	o 5129
64.49/64.53	c 14.2598 11.1172 594 729139
64.49/64.53	o 5008
64.60/64.67	c 14.2808 11.1172 726 730465
64.60/64.67	o 4942
66.19/66.25	c 14.5368 11.1172 951 744838
66.19/66.25	o 4931
67.49/67.56	c 14.7618 11.1172 736 756461
67.49/67.56	o 4918
67.69/67.70	c 14.7848 11.1172 447 757749
67.69/67.70	o 4777
67.89/67.92	c 14.8207 11.1172 821 759721
67.89/67.92	o 4665
67.89/67.98	c 14.8287 11.1172 700 760649
67.89/67.98	o 4629
67.99/68.01	c 14.8347 11.1172 782 761007
67.99/68.01	o 4442
67.99/68.02	c 14.8377 11.1172 446 761195
67.99/68.02	o 4432
68.49/68.50	c 14.9217 11.1172 499 765428
68.49/68.50	o 4188
68.89/68.99	c 15.0497 11.1172 757 770184
68.89/68.99	o 4155
70.80/70.81	c 15.4047 11.1172 620 785549
70.80/70.81	o 4111
70.99/71.01	c 15.4517 11.1172 572 787329
70.99/71.01	o 4085
71.40/71.42	c 15.5396 11.1172 552 790245
71.40/71.42	o 4084
71.79/71.85	c 15.6026 11.1172 540 792713
71.79/71.85	o 4057
72.79/72.80	c 15.7656 11.1172 849 800374
72.79/72.80	o 4032
73.30/73.31	c 15.8626 11.1172 746 805174
73.30/73.31	o 3880
73.30/73.37	c 15.8746 11.1172 558 805725
73.30/73.37	o 3839
73.60/73.67	c 15.9256 11.1172 761 808097
73.60/73.67	o 3724
74.09/74.14	c 15.9876 11.1172 844 811793
74.09/74.14	o 3644
75.00/75.07	c 16.1485 11.2383 912 819347
75.00/75.07	o 3641
75.09/75.11	c 16.1655 11.2383 624 819894
75.09/75.11	o 3572
75.09/75.14	c 16.1735 11.2383 741 820253
75.09/75.14	o 3557
75.09/75.17	c 16.1825 11.2383 829 820501
75.09/75.17	o 3536
75.19/75.20	c 16.1885 11.2383 506 820811
75.19/75.20	o 3516
75.19/75.26	c 16.2035 11.2383 660 821313
75.19/75.26	o 3417
75.50/75.50	c 16.2625 11.2383 829 823671
75.50/75.50	o 3397
75.50/75.54	c 16.2695 11.2383 547 824336
75.50/75.54	o 3247
75.60/75.61	c 16.2925 11.2383 757 824881
75.60/75.61	o 3239
76.09/76.12	c 16.4185 11.2383 490 828900
76.09/76.12	o 3092
76.09/76.13	c 16.4225 11.2383 519 829080
76.09/76.13	o 2983
76.19/76.25	c 16.4525 11.2383 542 830227
76.19/76.25	o 2896
76.69/76.79	c 16.5385 11.2383 539 834394
76.69/76.79	o 2687
77.40/77.45	c 16.6795 11.2383 453 839073
77.40/77.45	o 2658
77.40/77.48	c 16.6845 11.2383 515 839267
77.40/77.48	o 2632
77.80/77.87	c 16.7405 11.2383 817 841784
77.80/77.87	o 2501
77.80/77.88	c 16.7415 11.2383 445 841951
77.80/77.88	o 2465
78.19/78.22	c 16.8024 11.2383 584 844379
78.19/78.22	o 2378
78.19/78.24	c 16.8054 11.2383 618 844467
78.19/78.24	o 2368
78.29/78.33	c 16.8224 11.2383 877 845069
78.29/78.33	o 2309
78.70/78.76	c 16.9104 11.2383 989 847896
78.70/78.76	o 2260
78.79/78.83	c 16.9254 11.2383 668 848455
78.79/78.83	o 2227
78.89/78.93	c 16.9624 11.2383 667 849360
78.89/78.93	o 2203
78.99/79.05	c 16.9844 11.2383 607 850187
78.99/79.05	o 2202
79.10/79.11	c 16.9914 11.2383 780 850594
79.10/79.11	o 2129
79.10/79.17	c 17.0024 11.2383 550 851063
79.10/79.17	o 2097
79.20/79.29	c 17.0424 11.2383 558 851810
79.20/79.29	o 2091
79.29/79.39	c 17.0704 11.2383 499 852691
79.29/79.39	o 2079
79.49/79.52	c 17.0924 11.2383 877 853640
79.49/79.52	o 2069
79.59/79.60	c 17.1074 11.2383 663 854213
79.59/79.60	o 2056
79.59/79.62	c 17.1124 11.2383 707 854412
79.59/79.62	o 1956
79.59/79.63	c 17.1144 11.2383 740 854522
79.59/79.63	o 1935
79.90/79.93	c 17.1554 11.2383 748 856567
79.90/79.93	o 1854
80.10/80.12	c 17.1844 11.2383 819 857762
80.10/80.12	o 1818
80.10/80.13	c 17.1874 11.2383 449 857905
80.10/80.13	o 1800
80.20/80.29	c 17.2184 11.3633 541 858992
80.20/80.29	o 1797
80.29/80.38	c 17.2344 11.3633 448 859777
80.29/80.38	o 1745
80.39/80.49	c 17.2534 11.3633 738 860385
80.39/80.49	o 1741
80.49/80.54	c 17.2604 11.3633 492 860878
80.49/80.54	o 1676
80.59/80.60	c 17.2674 11.3633 689 861360
80.59/80.60	o 1660
80.59/80.67	c 17.2784 11.3633 494 861926
80.59/80.67	o 1542
80.70/80.71	c 17.2824 11.3633 637 862277
80.70/80.71	o 1521
81.00/81.07	c 17.3524 11.3633 783 864511
81.00/81.07	o 1518
81.09/81.12	c 17.3644 11.3633 506 864939
81.09/81.12	o 1432
81.19/81.28	c 17.3984 11.3633 555 866046
81.19/81.28	o 1423
81.30/81.38	c 17.4263 11.3633 836 866768
81.30/81.38	o 1361
81.40/81.41	c 17.4293 11.3633 486 866991
81.40/81.41	o 1331
81.40/81.46	c 17.4353 11.3633 638 867434
81.40/81.46	o 1330
81.49/81.52	c 17.4483 11.3633 826 867856
81.49/81.52	o 1309
81.49/81.59	c 17.4583 11.3633 608 868332
81.49/81.59	o 1237
81.60/81.60	c 17.4633 11.3633 651 868444
81.60/81.60	o 1218
81.60/81.65	c 17.4783 11.3633 791 868859
81.60/81.65	o 1177
81.69/81.74	c 17.5063 11.3633 622 869373
81.69/81.74	o 1156
81.69/81.76	c 17.5153 11.3633 690 869530
81.69/81.76	o 1145
81.69/81.77	c 17.5193 11.3633 731 869685
81.69/81.77	o 1061
81.79/81.87	c 17.5523 11.3633 630 870371
81.79/81.87	o 1021
81.79/81.89	c 17.5603 11.3633 696 870558
81.79/81.89	o 971
81.90/81.96	c 17.5833 11.3633 966 871119
81.90/81.96	o 915
81.90/81.97	c 17.5843 11.3633 489 871178
81.90/81.97	o 869
81.90/81.99	c 17.5903 11.3633 560 871312
81.90/81.99	o 866
81.99/82.00	c 17.5953 11.3633 592 871589
81.99/82.00	o 723
81.99/82.02	c 17.6013 11.3633 696 871777
81.99/82.02	o 684
81.99/82.02	c 17.6023 11.3633 714 871834
81.99/82.02	o 682
81.99/82.05	c 17.6103 11.3633 786 872051
81.99/82.05	o 658
81.99/82.05	c 17.6103 11.3633 793 872113
81.99/82.05	o 605
81.99/82.08	c 17.6193 11.3633 886 872288
81.99/82.08	o 593
81.99/82.09	c 17.6243 11.3633 929 872390
81.99/82.09	o 581
82.09/82.15	c 17.6403 11.4883 1093 872848
82.09/82.15	o 557
82.09/82.17	c 17.6523 11.4883 643 873110
82.09/82.17	o 536
82.09/82.18	c 17.6583 11.4883 723 873229
82.09/82.18	o 522
82.09/82.19	c 17.6613 11.4883 765 873303
82.09/82.19	o 520
82.20/82.22	c 17.6723 11.4883 880 873641
82.20/82.22	o 428
82.20/82.22	c 17.6733 11.4883 910 873748
82.20/82.22	o 386
82.20/82.23	c 17.6733 11.4883 917 873776
82.20/82.23	o 382
82.20/82.23	c 17.6743 11.4883 943 873835
82.20/82.23	o 375
82.20/82.24	c 17.6783 11.4883 980 873988
82.20/82.24	o 278
82.20/82.24	c 17.6813 11.4883 1011 874057
82.20/82.24	o 262
82.20/82.24	c 17.6813 11.4883 1012 874098
82.20/82.24	o 234
82.20/82.24	c 17.6823 11.4883 816 874140
82.20/82.24	o 199
82.20/82.24	c 17.6833 11.4883 816 874167
82.20/82.24	o 193
82.20/82.25	c 17.6883 11.4883 878 874277
82.20/82.25	o 167
82.20/82.25	c 17.6893 11.4883 894 874312
82.20/82.25	o 153
82.20/82.26	c 17.6903 11.4883 924 874357
82.20/82.26	o 142
82.20/82.26	c 17.6933 11.4883 966 874427
82.20/82.26	o 140
82.20/82.26	c 17.6933 11.4883 785 874451
82.20/82.26	o 128
82.20/82.26	c 17.6933 11.4883 792 874495
82.20/82.26	o 100
82.20/82.27	c 17.6973 11.4883 853 874613
82.20/82.27	o 58
82.20/82.27	c 17.6983 11.4883 875 874652
82.20/82.27	o 55
82.20/82.28	c 17.6993 11.4883 906 874716
82.20/82.28	o 52
82.20/82.28	c 17.7003 11.4883 928 874762
82.20/82.28	o 28
82.20/82.28	c 17.7033 11.4883 721 874841
82.20/82.28	o 19
82.20/82.28	c 17.7043 11.4883 724 874862
82.20/82.28	o 17
82.20/82.28	c 17.7043 11.4883 724 874880
82.20/82.28	o 6
82.30/82.30	c 17.7123 11.4883 866 875056
82.30/82.30	s OPTIMUM FOUND
82.30/82.30	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	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700312-1278534703/watcher-2700312-1278534703 -o /tmp/evaluation-result-2700312-1278534703/solver-2700312-1278534703 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700312-1278534703.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.01 2.57 2.04 3/182 18282
/proc/meminfo: memFree=30156268/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=2136 CPUtime=0
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 262 0 0 0 0 0 0 0 23 0 1 0 21683591 2187264 181 4089446400 134512640 136421960 4287136800 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18282/statm: 534 181 144 467 0 65 0

[startup+0.053627 s]
/proc/loadavg: 2.01 2.57 2.04 3/182 18282
/proc/meminfo: memFree=30156268/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10356 CPUtime=0.04
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2333 0 0 0 3 1 0 0 23 0 1 0 21683591 10604544 2245 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2589 2245 237 467 0 2120 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10356

[startup+0.100622 s]
/proc/loadavg: 2.01 2.57 2.04 3/182 18282
/proc/meminfo: memFree=30156268/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10484 CPUtime=0.09
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2347 0 0 0 5 4 0 0 23 0 1 0 21683591 10735616 2258 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2621 2258 238 467 0 2152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10484

[startup+0.300596 s]
/proc/loadavg: 2.01 2.57 2.04 3/182 18282
/proc/meminfo: memFree=30156268/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10612 CPUtime=0.29
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2374 0 0 0 10 19 0 0 23 0 1 0 21683591 10866688 2285 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2653 2285 238 467 0 2184 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10612

[startup+0.700523 s]
/proc/loadavg: 2.01 2.57 2.04 3/182 18282
/proc/meminfo: memFree=30156268/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10612 CPUtime=0.69
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2387 0 0 0 23 46 0 0 25 0 1 0 21683591 10866688 2298 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2653 2298 238 467 0 2184 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10612

[startup+1.50038 s]
/proc/loadavg: 2.01 2.56 2.04 3/183 18283
/proc/meminfo: memFree=30148248/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10612 CPUtime=1.49
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2401 0 0 0 44 105 0 0 25 0 1 0 21683591 10866688 2312 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2653 2312 238 467 0 2184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10612

[startup+3.1011 s]
/proc/loadavg: 2.01 2.56 2.04 3/183 18283
/proc/meminfo: memFree=30148000/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10740 CPUtime=3.09
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2412 0 0 0 88 221 0 0 25 0 1 0 21683591 10997760 2319 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2685 2319 238 467 0 2216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10740

[startup+6.30053 s]
/proc/loadavg: 2.01 2.56 2.04 3/183 18283
/proc/meminfo: memFree=30148604/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10740 CPUtime=6.29
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2446 0 0 0 178 451 0 0 25 0 1 0 21683591 10997760 2344 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2685 2344 238 467 0 2216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10740

[startup+12.7004 s]
/proc/loadavg: 2.01 2.54 2.04 3/183 18283
/proc/meminfo: memFree=30148124/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=10996 CPUtime=12.69
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2502 0 0 0 360 909 0 0 25 0 1 0 21683591 11259904 2390 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2749 2390 238 467 0 2280 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10996

[startup+25.5011 s]
/proc/loadavg: 1.92 2.50 2.03 3/183 18310
/proc/meminfo: memFree=30126480/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11124 CPUtime=25.49
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2554 0 0 0 677 1872 0 0 25 0 1 0 21683591 11390976 2420 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2781 2420 238 467 0 2312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11124

[startup+51.1005 s]
/proc/loadavg: 2.07 2.49 2.04 3/183 18311
/proc/meminfo: memFree=30076488/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11252 CPUtime=51.09
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2640 0 0 0 1164 3945 0 0 25 0 1 0 21683591 11522048 2474 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2813 2474 238 467 0 2344 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11252

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

[startup+63.9003 s]
/proc/loadavg: 2.06 2.47 2.04 3/183 18311
/proc/meminfo: memFree=30050648/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11380 CPUtime=63.9
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2684 0 0 0 1415 4975 0 0 25 0 1 0 21683591 11653120 2497 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2845 2497 238 467 0 2376 0
Current children cumulated CPU time (s) 63.9
Current children cumulated vsize (KiB) 11380

[startup+70.3001 s]
/proc/loadavg: 2.05 2.46 2.04 3/183 18312
/proc/meminfo: memFree=30038732/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11380 CPUtime=70.3
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2704 0 0 0 1531 5499 0 0 25 0 1 0 21683591 11653120 2506 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2845 2506 238 467 0 2376 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 11380

[startup+76.701 s]
/proc/loadavg: 2.04 2.45 2.04 3/183 18312
/proc/meminfo: memFree=30028928/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11504 CPUtime=76.69
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2742 0 0 0 1651 6018 0 0 25 0 1 0 21683591 11780096 2523 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2876 2523 238 467 0 2407 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11504

[startup+79.9004 s]
/proc/loadavg: 2.04 2.45 2.04 3/183 18312
/proc/meminfo: memFree=30021608/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11504 CPUtime=79.9
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2783 0 0 0 1715 6275 0 0 25 0 1 0 21683591 11780096 2544 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2876 2544 238 467 0 2407 0
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (KiB) 11504

[startup+81.5001 s]
/proc/loadavg: 2.04 2.44 2.04 3/183 18312
/proc/meminfo: memFree=30016888/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11632 CPUtime=81.49
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2811 0 0 0 1744 6405 0 0 25 0 1 0 21683591 11911168 2556 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2908 2556 238 467 0 2439 0
Current children cumulated CPU time (s) 81.49
Current children cumulated vsize (KiB) 11632

[startup+81.9011 s]
/proc/loadavg: 2.04 2.44 2.04 3/183 18312
/proc/meminfo: memFree=30016888/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11632 CPUtime=81.9
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2827 0 0 0 1756 6434 0 0 25 0 1 0 21683591 11911168 2563 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2908 2563 238 467 0 2439 0
Current children cumulated CPU time (s) 81.9
Current children cumulated vsize (KiB) 11632

[startup+82.301 s]
/proc/loadavg: 2.04 2.44 2.04 3/183 18312
/proc/meminfo: memFree=30016888/32951124 swapFree=67111528/67111528
[pid=18282] ppid=18280 vsize=11760 CPUtime=82.3
/proc/18282/stat : 18282 (pbct) R 18280 18282 17251 0 -1 4202496 2883 0 0 0 1771 6459 0 0 25 0 1 0 21683591 12042240 2583 4089446400 134512640 136421960 4287136800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18282/statm: 2940 2583 238 467 0 2471 0
Current children cumulated CPU time (s) 82.3
Current children cumulated vsize (KiB) 11760

Child status: 0
Real time (s): 82.3103
CPU time (s): 82.3125
CPU user time (s): 17.7203
CPU system time (s): 64.5922
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11760

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

runsolver used 0.123981 second user time and 0.270958 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 22:31:43
IDJOB=2700312
IDBENCH=79417
IDSOLVER=1208
FILE ID=node132/2700312-1278534703
PBS_JOBID= 11239213
Free space on /tmp= 73580 MiB

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

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

MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2
RANDOM SEED=1530223261

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30157036 kB
Buffers:        130148 kB
Cached:        2446132 kB
SwapCached:          0 kB
Active:         917112 kB
Inactive:      1730636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30157036 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4080 kB
Writeback:           0 kB
AnonPages:       71388 kB
Mapped:          15652 kB
Slab:            81616 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73572 MiB
End job on node132 at 2010-07-07 22:33:06