Trace number 2700075

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 69.2265 69.2245

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.031995 9.74219 1 1856
0.00/0.03	o 24869
0.00/0.04	c 0.032994 9.89453 1 2386
0.00/0.04	o 24313
0.00/0.04	c 0.032994 9.89453 1 2665
0.00/0.04	o 24082
0.00/0.04	c 0.032994 9.89453 1 3167
0.00/0.04	o 23668
0.00/0.04	c 0.032994 9.89453 2 3517
0.00/0.04	o 23370
0.00/0.04	c 0.032994 9.89453 2 4355
0.00/0.04	o 11933
0.00/0.04	c 0.033994 9.89453 4 4875
0.00/0.04	o 11664
0.00/0.04	c 0.033994 9.89453 4 5622
0.00/0.04	o 10966
0.00/0.05	c 0.033994 9.89453 11 5882
0.00/0.05	o 10950
0.00/0.06	c 0.033994 9.89453 70 6238
0.00/0.06	o 10943
0.09/0.19	c 0.112982 10.0195 791 8292
0.09/0.19	o 10919
1.39/1.49	c 0.934857 10.1445 739 25349
1.39/1.49	o 10843
1.69/1.71	c 1.07984 10.1445 472 27604
1.69/1.71	o 10781
1.69/1.78	c 1.11983 10.1445 370 28655
1.69/1.78	o 10676
1.89/1.93	c 1.21382 10.1445 415 30935
1.89/1.93	o 10619
2.29/2.36	c 1.49177 10.1445 722 36241
2.29/2.36	o 10580
2.89/2.96	c 1.87271 10.1445 465 43267
2.89/2.96	o 10351
3.29/3.33	c 2.10568 10.1445 422 47897
3.29/3.33	o 10247
3.29/3.36	c 2.12268 10.1445 519 48196
3.29/3.36	o 10204
3.79/3.80	c 2.39264 10.2695 532 52299
3.79/3.80	o 10008
3.99/4.08	c 2.57161 10.2695 632 56604
3.99/4.08	o 9980
4.19/4.28	c 2.69659 10.2695 740 58430
4.19/4.28	o 9876
4.69/4.73	c 2.97955 10.2695 485 63657
4.69/4.73	o 9875
4.89/5.00	c 3.15652 10.2695 659 66212
4.89/5.00	o 9744
5.40/5.43	c 3.41648 10.2695 890 71772
5.40/5.43	o 9715
5.80/5.86	c 3.66444 10.2695 709 77228
5.80/5.86	o 9486
5.99/6.06	c 3.79342 10.2695 629 79952
5.99/6.06	o 9450
6.09/6.14	c 3.84741 10.2695 631 80951
6.09/6.14	o 9353
6.59/6.68	c 4.18736 10.2695 870 87001
6.59/6.68	o 9276
7.60/7.65	c 4.79927 10.2695 569 97933
7.60/7.65	o 9187
8.09/8.18	c 5.11322 10.3945 724 103323
8.09/8.18	o 9157
8.49/8.54	c 5.34819 10.3945 574 107808
8.49/8.54	o 9134
8.59/8.62	c 5.40018 10.3945 516 108571
8.59/8.62	o 9128
8.90/8.99	c 5.62914 10.3945 520 112758
8.90/8.99	o 9101
9.00/9.03	c 5.64914 10.3945 678 113405
9.00/9.03	o 9056
9.19/9.25	c 5.78512 10.3945 569 115823
9.19/9.25	o 9035
10.09/10.10	c 6.32604 10.3945 647 123145
10.09/10.10	o 8961
10.29/10.31	c 6.46902 10.3945 431 125418
10.29/10.31	o 8926
10.29/10.35	c 6.49001 10.3945 556 125958
10.29/10.35	o 8810
10.29/10.39	c 6.51701 10.3945 375 126487
10.29/10.39	o 8808
11.39/11.45	c 7.18491 10.3945 555 137518
11.39/11.45	o 8751
12.49/12.56	c 7.8918 10.3945 869 145278
12.49/12.56	o 8699
12.69/12.75	c 8.01578 10.3945 812 147448
12.69/12.75	o 8668
12.79/12.85	c 8.07577 10.3945 462 148798
12.79/12.85	o 8605
12.99/13.01	c 8.18176 10.3945 859 150640
12.99/13.01	o 8601
13.49/13.53	c 8.50771 10.3945 525 157167
13.49/13.53	o 8430
13.59/13.62	c 8.5617 10.3945 568 158504
13.59/13.62	o 8419
13.79/13.88	c 8.71667 10.3945 407 161025
13.79/13.88	o 8381
14.59/14.67	c 9.1826 10.3945 675 169003
14.59/14.67	o 8321
14.99/15.02	c 9.39657 10.3945 775 171858
14.99/15.02	o 8274
16.09/16.12	c 10.0815 10.5195 745 184103
16.09/16.12	o 8054
16.09/16.19	c 10.1275 10.5195 401 185214
16.09/16.19	o 8027
17.29/17.39	c 10.8713 10.5195 504 196154
17.29/17.39	o 7874
18.19/18.28	c 11.4143 10.5195 459 206006
18.19/18.28	o 7768
18.49/18.51	c 11.5642 10.5195 537 208091
18.49/18.51	o 7551
20.30/20.32	c 12.6681 10.5195 869 221008
20.30/20.32	o 7455
20.30/20.36	c 12.6921 10.5195 603 221643
20.30/20.36	o 7391
22.89/22.95	c 14.3118 10.5195 610 244849
22.89/22.95	o 7361
22.99/23.00	c 14.3388 10.5195 422 245391
22.99/23.00	o 7337
23.19/23.20	c 14.4628 10.5195 609 247905
23.19/23.20	o 7194
23.19/23.26	c 14.5008 10.5195 491 248535
23.19/23.26	o 7147
23.69/23.77	c 14.8157 10.5195 601 252812
23.69/23.77	o 7018
24.29/24.35	c 15.1847 10.5195 709 258896
24.29/24.35	o 7012
24.89/24.96	c 15.5516 10.5195 757 265334
24.89/24.96	o 6998
25.80/25.85	c 16.0946 10.5195 469 274385
25.80/25.85	o 6953
26.09/26.18	c 16.2985 10.5195 428 277852
26.09/26.18	o 6882
26.19/26.24	c 16.3355 10.5195 645 278566
26.19/26.24	o 6840
26.29/26.37	c 16.4205 10.5195 412 279905
26.29/26.37	o 6816
26.49/26.51	c 16.5065 10.5195 496 281052
26.49/26.51	o 6800
27.19/27.25	c 16.9754 10.6406 876 286222
27.19/27.25	o 6791
27.90/27.94	c 17.3834 10.6406 611 290294
27.90/27.94	o 6782
27.90/27.99	c 17.4204 10.6406 450 290916
27.90/27.99	o 6781
28.69/28.74	c 17.8763 10.6406 762 298570
28.69/28.74	o 6640
29.20/29.25	c 18.1852 10.6406 470 303626
29.20/29.25	o 6637
32.60/32.67	c 20.2999 10.6406 558 333484
32.60/32.67	o 6525
34.69/34.72	c 21.5577 10.6406 788 350900
34.69/34.72	o 6505
35.79/35.82	c 22.2536 10.6406 902 360343
35.79/35.82	o 6451
37.20/37.21	c 23.1335 10.6406 925 369865
37.20/37.21	o 6412
37.30/37.38	c 23.2365 10.6406 713 371609
37.30/37.38	o 6336
38.40/38.42	c 23.8734 10.6406 550 381081
38.40/38.42	o 6309
38.59/38.60	c 23.9874 10.6406 875 383101
38.59/38.60	o 6053
38.69/38.74	c 24.0653 10.6406 707 384938
38.69/38.74	o 6030
38.79/38.82	c 24.1153 10.6406 597 385533
38.79/38.82	o 6002
39.09/39.13	c 24.3033 10.6406 625 388424
39.09/39.13	o 5895
39.09/39.14	c 24.3083 10.6406 641 388610
39.09/39.14	o 5843
39.40/39.46	c 24.5203 10.6406 557 391386
39.40/39.46	o 5718
40.09/40.15	c 24.9582 10.6406 774 396650
40.09/40.15	o 5666
40.49/40.51	c 25.1792 10.6406 715 399497
40.49/40.51	o 5597
42.09/42.11	c 26.193 10.6406 662 412021
42.09/42.11	o 5574
42.49/42.52	c 26.451 10.6406 720 415843
42.49/42.52	o 5528
42.90/42.96	c 26.7219 10.7656 567 419997
42.90/42.96	o 5441
43.69/43.73	c 27.1859 10.7656 551 426487
43.69/43.73	o 5379
43.79/43.84	c 27.2539 10.7656 605 427825
43.79/43.84	o 5339
43.90/43.96	c 27.3198 10.7656 697 429071
43.90/43.96	o 5310
45.00/45.01	c 27.9198 10.7656 637 437831
45.00/45.01	o 5265
45.59/45.67	c 28.3367 10.7656 751 442695
45.59/45.67	o 5232
45.79/45.81	c 28.4277 10.7656 541 444362
45.79/45.81	o 5086
45.89/45.90	c 28.4837 10.7656 827 445039
45.89/45.90	o 5046
45.99/46.09	c 28.6146 10.7656 638 446661
45.99/46.09	o 5045
46.99/47.08	c 29.2166 10.7656 437 454514
46.99/47.08	o 5036
47.20/47.21	c 29.3015 10.7656 844 455340
47.20/47.21	o 5007
47.40/47.47	c 29.4595 10.7656 543 457586
47.40/47.47	o 4926
47.50/47.50	c 29.4755 10.7656 636 458114
47.50/47.50	o 4764
47.59/47.65	c 29.5575 10.7656 759 459320
47.59/47.65	o 4759
47.99/48.05	c 29.7965 10.7656 473 462221
47.99/48.05	o 4755
48.29/48.35	c 29.9734 10.7656 736 464664
48.29/48.35	o 4663
48.90/48.95	c 30.3784 10.7656 674 469016
48.90/48.95	o 4662
49.10/49.16	c 30.5114 10.7656 534 470755
49.10/49.16	o 4644
49.50/49.56	c 30.7623 10.7656 703 474251
49.50/49.56	o 4506
49.89/49.94	c 30.9843 10.7656 564 478040
49.89/49.94	o 4472
49.89/49.98	c 31.0103 10.7656 693 478550
49.89/49.98	o 4314
49.99/50.05	c 31.0543 10.7656 515 479160
49.99/50.05	o 4236
50.09/50.14	c 31.1203 10.7656 779 479738
50.09/50.14	o 4210
50.19/50.28	c 31.2083 10.7656 844 480910
50.19/50.28	o 4165
50.29/50.34	c 31.2413 10.7656 585 481341
50.29/50.34	o 4136
50.29/50.38	c 31.2672 10.7656 704 481713
50.29/50.38	o 4088
50.79/50.82	c 31.5332 10.7656 442 484610
50.79/50.82	o 4034
50.89/50.90	c 31.5692 10.7656 668 485375
50.89/50.90	o 3876
51.99/52.01	c 32.2431 10.7656 667 492989
51.99/52.01	o 3869
51.99/52.08	c 32.2881 10.7656 450 493550
51.99/52.08	o 3839
52.39/52.45	c 32.5161 10.7656 456 496481
52.39/52.45	o 3810
53.39/53.46	c 33.139 10.7656 686 503276
53.39/53.46	o 3786
53.59/53.69	c 33.2849 10.7656 579 505024
53.59/53.69	o 3775
53.69/53.76	c 33.3339 10.7656 780 505539
53.69/53.76	o 3748
54.00/54.02	c 33.4899 10.7656 751 507445
54.00/54.02	o 3713
54.29/54.40	c 33.7199 10.7656 585 509896
54.29/54.40	o 3673
54.69/54.73	c 33.9258 10.7656 770 512554
54.69/54.73	o 3645
55.19/55.29	c 34.2718 10.7656 891 515979
55.19/55.29	o 3621
55.29/55.36	c 34.3188 10.7656 694 516696
55.29/55.36	o 3523
55.39/55.41	c 34.3508 10.7656 491 517205
55.39/55.41	o 3508
55.39/55.46	c 34.3888 10.7656 668 517669
55.39/55.46	o 3463
55.80/55.85	c 34.6327 10.7656 683 520420
55.80/55.85	o 3353
56.59/56.61	c 35.0847 10.7656 598 525725
56.59/56.61	o 3317
56.59/56.67	c 35.1117 10.7656 800 526278
56.59/56.67	o 3247
56.69/56.76	c 35.1657 10.7656 662 526934
56.69/56.76	o 3212
56.89/56.97	c 35.2976 10.8867 837 528076
56.89/56.97	o 3206
56.99/57.00	c 35.3166 10.8867 531 528524
56.99/57.00	o 3200
57.10/57.13	c 35.3896 10.8867 443 529241
57.10/57.13	o 3179
57.29/57.35	c 35.5226 10.8867 697 530619
57.29/57.35	o 3143
57.49/57.57	c 35.6596 10.8867 592 532266
57.49/57.57	o 3127
57.59/57.65	c 35.7066 10.8867 804 532929
57.59/57.65	o 3046
57.70/57.76	c 35.7726 10.8867 680 533671
57.70/57.76	o 3040
57.79/57.80	c 35.7996 10.8867 402 533985
57.79/57.80	o 3021
57.79/57.81	c 35.8106 10.8867 427 534123
57.79/57.81	o 2980
58.10/58.19	c 36.0405 10.8867 725 536721
58.10/58.19	o 2863
58.20/58.21	c 36.0515 10.8867 775 536882
58.20/58.21	o 2831
58.20/58.28	c 36.0925 10.8867 616 537450
58.20/58.29	o 2829
58.30/58.34	c 36.1325 10.8867 426 538125
58.30/58.34	o 2788
58.49/58.57	c 36.2715 10.8867 640 539422
58.49/58.57	o 2749
58.89/58.96	c 36.5164 10.8867 916 542119
58.89/58.96	o 2729
59.09/59.19	c 36.6484 10.8867 740 543811
59.09/59.19	o 2728
60.19/60.27	c 37.2723 10.8867 539 550381
60.19/60.27	o 2725
60.49/60.57	c 37.4533 10.8867 532 552382
60.49/60.57	o 2701
60.59/60.68	c 37.5153 10.8867 455 553375
60.59/60.68	o 2689
61.20/61.26	c 37.8762 10.8867 713 556534
61.20/61.26	o 2613
61.60/61.66	c 38.1172 10.8867 625 559047
61.60/61.66	o 2588
62.29/62.30	c 38.5031 10.8867 802 563213
62.29/62.30	o 2569
62.40/62.46	c 38.6021 10.8867 837 564358
62.40/62.46	o 2526
62.70/62.79	c 38.8251 10.8867 572 566785
62.70/62.79	o 2487
62.99/63.00	c 38.9581 10.8867 823 568391
62.99/63.00	o 2321
63.19/63.22	c 39.1011 10.8867 621 569896
63.19/63.22	o 2287
63.30/63.33	c 39.177 10.8867 487 570528
63.30/63.33	o 2262
63.30/63.38	c 39.21 10.8867 651 571026
63.30/63.38	o 2187
63.99/64.02	c 39.61 10.8867 769 575144
63.99/64.02	o 2175
63.99/64.06	c 39.639 10.8867 504 575497
63.99/64.06	o 2116
64.10/64.10	c 39.666 10.8867 620 575813
64.10/64.10	o 2105
64.30/64.33	c 39.8019 10.8867 754 577221
64.30/64.33	o 1951
64.59/64.63	c 39.9849 10.8867 754 579238
64.59/64.63	o 1931
64.69/64.79	c 40.0769 10.8867 766 580412
64.69/64.79	o 1856
64.90/64.91	c 40.1479 10.8867 704 581325
64.90/64.91	o 1848
65.69/65.75	c 40.6738 11.0078 494 586117
65.69/65.75	o 1847
65.79/65.80	c 40.7098 11.0078 604 586468
65.79/65.80	o 1784
65.79/65.80	c 40.7138 11.0078 610 586536
65.79/65.80	o 1756
65.79/65.83	c 40.7318 11.0078 675 586765
65.79/65.83	o 1701
65.79/65.90	c 40.7698 11.0078 484 587232
65.79/65.90	o 1663
66.00/66.02	c 40.8408 11.0078 417 588012
66.00/66.02	o 1660
66.00/66.08	c 40.8828 11.0078 560 588402
66.00/66.08	o 1656
66.00/66.09	c 40.8898 11.0078 586 588508
66.00/66.09	o 1628
66.39/66.47	c 41.1387 11.0078 422 590873
66.39/66.47	o 1562
66.59/66.61	c 41.2257 11.0078 774 591628
66.59/66.61	o 1506
66.59/66.67	c 41.2697 11.0078 515 592146
66.59/66.67	o 1376
66.79/66.81	c 41.3557 11.0078 570 593176
66.79/66.81	o 1363
66.79/66.88	c 41.4007 11.0078 777 593741
66.79/66.88	o 1357
66.90/66.98	c 41.4667 11.0078 601 594371
66.90/66.98	o 1323
66.90/66.99	c 41.4717 11.0078 623 594443
66.90/66.99	o 1312
66.90/67.00	c 41.4737 11.0078 635 594489
66.90/67.00	o 1297
67.00/67.07	c 41.5237 11.0078 846 595000
67.00/67.07	o 1267
67.40/67.43	c 41.7497 11.0078 590 597015
67.40/67.43	o 1257
67.40/67.49	c 41.7856 11.0078 787 597496
67.40/67.49	o 1254
67.50/67.58	c 41.8406 11.0078 589 598112
67.50/67.58	o 1246
67.70/67.79	c 41.9616 11.0078 717 599322
67.70/67.79	o 1165
67.90/67.91	c 42.0426 11.0078 719 600285
67.90/67.91	o 1113
67.90/67.99	c 42.0956 11.0078 542 600787
67.90/67.99	o 1107
67.99/68.08	c 42.1516 11.0078 790 601474
67.99/68.08	o 1097
68.10/68.14	c 42.1906 11.0078 494 601869
68.10/68.14	o 1092
68.20/68.20	c 42.2386 11.0078 693 602463
68.20/68.20	o 928
68.20/68.29	c 42.2936 11.0078 515 603052
68.20/68.29	o 893
68.39/68.42	c 42.3776 11.1484 886 603840
68.39/68.42	o 870
68.59/68.66	c 42.5295 11.1484 739 605435
68.59/68.66	o 836
68.69/68.70	c 42.5575 11.1484 879 605887
68.69/68.70	o 835
68.69/68.76	c 42.6005 11.1484 554 606282
68.69/68.76	o 823
68.69/68.79	c 42.6125 11.1484 615 606509
68.69/68.79	o 776
68.80/68.89	c 42.6835 11.1484 964 607214
68.80/68.89	o 699
68.89/68.90	c 42.6885 11.1484 502 607312
68.89/68.90	o 654
68.89/68.93	c 42.7105 11.1484 601 607514
68.89/68.93	o 631
68.89/68.99	c 42.7465 11.1484 843 608061
68.89/68.99	o 612
68.99/69.02	c 42.7675 11.1484 965 608306
68.99/69.02	o 592
68.99/69.05	c 42.7875 11.1484 1062 608565
68.99/69.05	o 554
68.99/69.06	c 42.7975 11.1484 1143 608768
68.99/69.06	o 543
68.99/69.08	c 42.8075 11.1484 1189 608879
68.99/69.08	o 535
69.10/69.11	c 42.8365 11.1484 748 609152
69.10/69.11	o 521
69.10/69.16	c 42.8765 11.1484 975 609674
69.10/69.16	o 321
69.10/69.18	c 42.8925 11.1484 1091 609927
69.10/69.18	o 240
69.10/69.19	c 42.8955 11.1484 1116 610012
69.10/69.19	o 185
69.10/69.19	c 42.9015 11.1484 1171 610102
69.10/69.20	o 177
69.20/69.20	c 42.9095 11.1484 987 610204
69.20/69.20	o 147
69.20/69.21	c 42.9115 11.1484 1003 610262
69.20/69.21	o 109
69.20/69.21	c 42.9125 11.1484 1004 610285
69.20/69.21	o 93
69.20/69.21	c 42.9135 11.1484 1004 610298
69.20/69.21	o 88
69.20/69.21	c 42.9135 11.1484 1005 610299
69.20/69.21	s OPTIMUM FOUND
69.20/69.21	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	88

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700075-1278533951/watcher-2700075-1278533951 -o /tmp/evaluation-result-2700075-1278533951/solver-2700075-1278533951 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700075-1278533951.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: 1.75 0.67 0.24 3/178 17633
/proc/meminfo: memFree=30120752/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=2136 CPUtime=0
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 21610030 2187264 181 4089446400 134512640 136422188 4293414784 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17633/statm: 534 181 144 467 0 65 0

[startup+0.0905739 s]
/proc/loadavg: 1.75 0.67 0.24 3/178 17633
/proc/meminfo: memFree=30120752/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10256 CPUtime=0.08
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2285 0 0 0 5 3 0 0 25 0 1 0 21610030 10502144 2194 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2564 2194 238 467 0 2095 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10256

[startup+0.1006 s]
/proc/loadavg: 1.75 0.67 0.24 3/178 17633
/proc/meminfo: memFree=30120752/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10256 CPUtime=0.09
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2287 0 0 0 5 4 0 0 25 0 1 0 21610030 10502144 2196 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2564 2196 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300552 s]
/proc/loadavg: 1.75 0.67 0.24 3/178 17633
/proc/meminfo: memFree=30120752/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10256 CPUtime=0.29
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2312 0 0 0 17 12 0 0 25 0 1 0 21610030 10502144 2220 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2564 2220 238 467 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.700482 s]
/proc/loadavg: 1.75 0.67 0.24 3/178 17633
/proc/meminfo: memFree=30120752/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10384 CPUtime=0.69
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2320 0 0 0 42 27 0 0 25 0 1 0 21610030 10633216 2228 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2596 2228 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50034 s]
/proc/loadavg: 1.77 0.70 0.25 3/179 17634
/proc/meminfo: memFree=30112684/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10384 CPUtime=1.49
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2342 0 0 0 94 55 0 0 25 0 1 0 21610030 10633216 2249 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2596 2249 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10105 s]
/proc/loadavg: 1.77 0.70 0.25 3/179 17634
/proc/meminfo: memFree=30109956/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10384 CPUtime=3.09
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2352 0 0 0 195 114 0 0 25 0 1 0 21610030 10633216 2254 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2596 2254 238 467 0 2127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10384

[startup+6.30047 s]
/proc/loadavg: 1.78 0.72 0.26 3/179 17634
/proc/meminfo: memFree=30105608/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10512 CPUtime=6.29
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2395 0 0 0 393 236 0 0 25 0 1 0 21610030 10764288 2286 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2628 2286 238 467 0 2159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10512

[startup+12.7003 s]
/proc/loadavg: 1.80 0.74 0.27 3/179 17634
/proc/meminfo: memFree=30095668/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10640 CPUtime=12.69
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2440 0 0 0 798 471 0 0 25 0 1 0 21610030 10895360 2317 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2660 2317 238 467 0 2191 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10640

[startup+25.501 s]
/proc/loadavg: 1.83 0.78 0.29 3/179 17635
/proc/meminfo: memFree=30080040/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=10768 CPUtime=25.49
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2495 0 0 0 1588 961 0 0 25 0 1 0 21610030 11026432 2350 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2692 2350 238 467 0 2223 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10768

[startup+51.1003 s]
/proc/loadavg: 1.90 0.89 0.34 3/179 17636
/proc/meminfo: memFree=30047372/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11020 CPUtime=51.1
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2608 0 0 0 3168 1942 0 0 25 0 1 0 21610030 11284480 2409 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2755 2409 238 467 0 2286 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11020

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

[startup+57.5012 s]
/proc/loadavg: 1.90 0.91 0.35 3/179 17636
/proc/meminfo: memFree=30037820/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11144 CPUtime=57.49
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2651 0 0 0 3560 2189 0 0 25 0 1 0 21610030 11411456 2431 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2786 2431 238 467 0 2317 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11144

[startup+63.901 s]
/proc/loadavg: 1.91 0.93 0.36 3/179 17636
/proc/meminfo: memFree=30028012/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11144 CPUtime=63.89
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2698 0 0 0 3953 2436 0 0 25 0 1 0 21610030 11411456 2454 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2786 2454 238 467 0 2317 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11144

[startup+67.1064 s]
/proc/loadavg: 1.92 0.95 0.37 3/179 17636
/proc/meminfo: memFree=30023416/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11268 CPUtime=67.1
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2739 0 0 0 4154 2556 0 0 25 0 1 0 21610030 11538432 2471 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2817 2471 238 467 0 2348 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 11268

[startup+67.9003 s]
/proc/loadavg: 1.92 0.95 0.37 3/179 17636
/proc/meminfo: memFree=30023416/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11268 CPUtime=67.9
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2750 0 0 0 4203 2587 0 0 25 0 1 0 21610030 11538432 2478 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2817 2478 238 467 0 2348 0
Current children cumulated CPU time (s) 67.9
Current children cumulated vsize (KiB) 11268

[startup+68.7011 s]
/proc/loadavg: 1.92 0.95 0.37 3/179 17636
/proc/meminfo: memFree=30021308/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11412 CPUtime=68.69
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2772 0 0 0 4255 2614 0 0 25 0 1 0 21610030 11685888 2492 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2853 2492 238 467 0 2384 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 11412

[startup+69.1011 s]
/proc/loadavg: 1.92 0.95 0.37 3/179 17636
/proc/meminfo: memFree=30021308/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11412 CPUtime=69.1
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2792 0 0 0 4282 2628 0 0 18 0 1 0 21610030 11685888 2501 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2853 2501 238 467 0 2384 0
Current children cumulated CPU time (s) 69.1
Current children cumulated vsize (KiB) 11412

[startup+69.201 s]
/proc/loadavg: 1.92 0.95 0.37 3/179 17636
/proc/meminfo: memFree=30020192/32951124 swapFree=67111528/67111528
[pid=17633] ppid=17631 vsize=11412 CPUtime=69.2
/proc/17633/stat : 17633 (pbct) R 17631 17633 17152 0 -1 4202496 2799 0 0 0 4290 2630 0 0 18 0 1 0 21610030 11685888 2503 4089446400 134512640 136422188 4293414784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17633/statm: 2853 2503 238 467 0 2384 0
Current children cumulated CPU time (s) 69.2
Current children cumulated vsize (KiB) 11412

Child status: 0
Real time (s): 69.2245
CPU time (s): 69.2265
CPU user time (s): 42.9235
CPU system time (s): 26.303
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.9235
system time used= 26.303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 161

runsolver used 0.110983 second user time and 0.211967 second system time

The end

Launcher Data 

Begin job on node106 at 2010-07-07 22:19:11
IDJOB=2700075
IDBENCH=79397
IDSOLVER=1212
FILE ID=node106/2700075-1278533951
PBS_JOBID= 11239265
Free space on /tmp= 73244 MiB

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

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

MD5SUM BENCH= f6fb73f0a02abbaaed6c5aa05fa83af7
RANDOM SEED=1567576262

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30121288 kB
Buffers:        130176 kB
Cached:        2360920 kB
SwapCached:          0 kB
Active:        1171392 kB
Inactive:      1504332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30121288 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1964 kB
Writeback:           0 kB
AnonPages:      184520 kB
Mapped:          16716 kB
Slab:            89780 kB
PageTables:       5216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   328560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73240 MiB
End job on node106 at 2010-07-07 22:20:20