Trace number 2700135

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 63.4664 63.4644

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
MD5SUM0a308225f12d2c01751496daa1233c60
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark0.986849
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.032994 9.73438 1 1841
0.00/0.03	o 27009
0.00/0.03	c 0.032994 9.89453 2 2208
0.00/0.03	o 26674
0.00/0.04	c 0.033994 9.89453 2 3057
0.00/0.04	o 11108
0.03/0.04	c 0.036994 9.89453 10 3438
0.03/0.04	o 10878
0.69/0.75	c 0.495924 10.1445 934 14100
0.69/0.75	o 10844
1.10/1.15	c 0.754885 10.1445 541 19324
1.10/1.15	o 10821
1.69/1.79	c 1.16082 10.1445 546 29646
1.69/1.79	o 10544
1.79/1.88	c 1.21981 10.1445 661 30795
1.79/1.88	o 10528
1.89/1.91	c 1.23681 10.1445 474 31484
1.89/1.91	o 10451
2.79/2.89	c 1.85672 10.1445 736 41674
2.79/2.89	o 10442
3.49/3.56	c 2.27665 10.1445 500 52467
3.49/3.56	o 10427
3.69/3.76	c 2.39963 10.1445 496 55354
3.69/3.76	o 10377
3.69/3.79	c 2.41663 10.1445 681 56066
3.69/3.79	o 10348
3.79/3.82	c 2.43963 10.1445 560 56942
3.79/3.82	o 10337
4.40/4.49	c 2.86356 10.2695 677 64452
4.40/4.49	o 10196
5.29/5.35	c 3.41048 10.2695 607 74147
5.29/5.35	o 10091
6.60/6.69	c 4.28335 10.2695 551 90907
6.60/6.69	o 9940
7.09/7.15	c 4.56331 10.2695 500 96140
7.09/7.15	o 9906
7.99/8.03	c 5.15422 10.2695 383 108194
7.99/8.03	o 9667
8.09/8.14	c 5.22121 10.2695 649 109775
8.09/8.14	o 9619
8.49/8.55	c 5.49017 10.2695 645 114482
8.49/8.55	o 9585
8.70/8.78	c 5.62814 10.2695 447 118260
8.70/8.78	o 9429
8.90/8.98	c 5.75712 10.2695 623 120988
8.90/8.98	o 9343
9.09/9.12	c 5.84411 10.2695 780 122372
9.09/9.12	o 9244
9.19/9.27	c 5.9451 10.2695 494 124744
9.19/9.27	o 9098
9.29/9.37	c 6.00909 10.2695 631 126132
9.29/9.37	o 9084
9.50/9.55	c 6.12707 10.2695 506 128690
9.50/9.55	o 8981
11.89/12.00	c 7.60684 10.3945 640 156381
11.89/12.00	o 8914
12.10/12.12	c 7.67483 10.3945 833 157576
12.10/12.12	o 8908
12.19/12.23	c 7.74482 10.3945 512 158912
12.19/12.23	o 8856
12.69/12.76	c 8.07977 10.3945 557 166178
12.69/12.76	o 8850
12.99/13.03	c 8.24375 10.3945 667 169579
12.99/13.03	o 8652
13.59/13.69	c 8.65868 10.3945 841 175737
13.59/13.69	o 8649
13.90/13.94	c 8.81266 10.3945 668 179713
13.90/13.94	o 8548
16.59/16.68	c 10.5294 10.3945 511 210276
16.59/16.68	o 8528
16.80/16.87	c 10.6294 10.3945 606 212224
16.80/16.87	o 8480
17.19/17.28	c 10.8753 10.5195 665 215989
17.19/17.28	o 8456
17.70/17.76	c 11.1763 10.5195 698 221804
17.70/17.76	o 8389
18.09/18.16	c 11.4133 10.5195 371 226785
18.09/18.16	o 8254
18.20/18.28	c 11.4973 10.5195 599 228260
18.20/18.28	o 8206
18.29/18.34	c 11.5282 10.5195 491 228894
18.29/18.34	o 8166
19.09/19.17	c 12.0492 10.5195 752 238944
19.09/19.17	o 8142
19.70/19.75	c 12.4111 10.5195 475 244857
19.70/19.75	o 8112
20.69/20.72	c 13.024 10.5195 359 256010
20.69/20.72	o 8090
20.80/20.87	c 13.12 10.5195 736 257875
20.80/20.87	o 8061
20.90/20.99	c 13.182 10.5195 869 259106
20.90/20.99	o 7993
21.09/21.12	c 13.274 10.5195 364 260936
21.09/21.12	o 7958
21.29/21.37	c 13.416 10.5195 685 263707
21.29/21.37	o 7941
22.19/22.21	c 13.9479 10.5195 714 272255
22.19/22.21	o 7840
22.50/22.59	c 14.1808 10.5195 477 276438
22.50/22.59	o 7660
22.79/22.85	c 14.3548 10.5195 825 279205
22.79/22.85	o 7638
22.99/23.06	c 14.4938 10.5195 566 281653
22.99/23.06	o 7612
23.79/23.84	c 14.9647 10.5195 768 291028
23.79/23.84	o 7502
23.99/24.03	c 15.0667 10.5195 513 292354
23.99/24.03	o 7468
24.79/24.86	c 15.5706 10.5195 511 301438
24.79/24.86	o 7414
25.09/25.17	c 15.7446 10.5195 514 305168
25.09/25.17	o 7411
25.30/25.32	c 15.8336 10.5195 604 306808
25.30/25.32	o 7009
25.59/25.64	c 16.0226 10.5195 697 310818
25.59/25.64	o 7007
25.70/25.72	c 16.0796 10.5195 453 312261
25.70/25.72	o 6840
26.30/26.33	c 16.4595 10.5195 620 319013
26.30/26.33	o 6699
26.69/26.73	c 16.7065 10.5195 679 322665
26.69/26.73	o 6607
27.89/27.91	c 17.4373 10.5195 576 333070
27.89/27.91	o 6594
27.89/27.95	c 17.4633 10.5195 410 333705
27.89/27.95	o 6492
28.09/28.13	c 17.5903 10.5195 682 335221
28.09/28.13	o 6452
28.20/28.20	c 17.6323 10.5195 567 335850
28.20/28.20	o 6443
28.29/28.35	c 17.7263 10.5195 700 337018
28.29/28.35	o 6431
28.39/28.42	c 17.7673 10.5195 640 337821
28.39/28.42	o 6378
29.39/29.48	c 18.4262 10.5195 479 348381
29.39/29.48	o 6341
30.09/30.18	c 18.8651 10.6445 665 354744
30.09/30.18	o 6338
30.49/30.50	c 19.0701 10.6445 772 358017
30.49/30.50	o 6288
30.89/31.00	c 19.3671 10.6445 523 363093
30.89/31.00	o 6162
31.29/31.37	c 19.599 10.6445 370 367621
31.29/31.37	o 6156
31.39/31.41	c 19.622 10.6445 504 368008
31.39/31.41	o 6128
32.29/32.33	c 20.1699 10.6445 502 377287
32.29/32.33	o 5998
32.39/32.43	c 20.2349 10.6445 536 378341
32.39/32.43	o 5910
32.39/32.46	c 20.2539 10.6445 618 378597
32.39/32.46	o 5903
32.49/32.51	c 20.2879 10.6445 430 379128
32.49/32.51	o 5875
32.69/32.72	c 20.4129 10.6445 676 380675
32.69/32.72	o 5823
32.90/32.91	c 20.5359 10.6445 584 382530
32.90/32.91	o 5761
33.09/33.12	c 20.6569 10.6445 748 384831
33.09/33.12	o 5725
33.30/33.36	c 20.8128 10.6445 514 387214
33.30/33.36	o 5672
33.89/33.90	c 21.1438 10.6445 597 392198
33.89/33.90	o 5613
34.39/34.49	c 21.5147 10.6445 672 396440
34.39/34.49	o 5593
35.10/35.18	c 21.9247 10.6445 761 402916
35.10/35.18	o 5553
35.59/35.68	c 22.2366 10.6445 467 407875
35.59/35.68	o 5552
35.69/35.74	c 22.2686 10.6445 671 408438
35.69/35.74	o 5538
35.79/35.86	c 22.3346 10.6445 657 409392
35.79/35.86	o 5432
35.89/35.96	c 22.4036 10.6445 662 410504
35.89/35.96	o 5356
35.89/35.99	c 22.4176 10.6445 403 410994
35.89/35.99	o 5334
36.09/36.10	c 22.4936 10.6445 828 411952
36.09/36.10	o 5303
36.29/36.32	c 22.6316 10.6445 805 414226
36.29/36.32	o 5276
36.49/36.58	c 22.7855 10.6445 476 415834
36.49/36.58	o 5270
36.99/37.07	c 23.0855 10.6445 472 420881
36.99/37.07	o 5261
37.40/37.47	c 23.3454 10.6445 602 424799
37.40/37.47	o 5217
37.40/37.47	c 23.3504 10.6445 620 424982
37.40/37.47	o 5135
37.59/37.67	c 23.4784 10.6445 494 426755
37.59/37.67	o 5089
37.79/37.85	c 23.5994 10.6445 767 428555
37.79/37.85	o 5081
38.20/38.21	c 23.8174 10.6445 692 431369
38.20/38.21	o 4994
40.49/40.51	c 25.2242 10.6445 497 448390
40.49/40.51	o 4888
40.60/40.69	c 25.3261 10.6445 733 450220
40.60/40.69	o 4877
40.70/40.76	c 25.3731 10.6445 617 450904
40.70/40.76	o 4875
40.79/40.88	c 25.4481 10.6445 699 452054
40.79/40.88	o 4784
40.89/40.92	c 25.4741 10.6445 462 452549
40.89/40.92	o 4782
41.70/41.79	c 26.01 10.7695 744 459606
41.70/41.79	o 4764
41.80/41.85	c 26.053 10.7695 649 460464
41.80/41.85	o 4684
41.90/41.98	c 26.135 10.7695 730 461642
41.90/41.98	o 4671
42.49/42.55	c 26.478 10.7695 586 465736
42.49/42.55	o 4639
43.39/43.45	c 27.0209 10.7695 573 473143
43.39/43.45	o 4574
43.39/43.49	c 27.0479 10.7695 728 473677
43.39/43.49	o 4469
43.80/43.85	c 27.2789 10.7695 469 476874
43.80/43.85	o 4457
44.39/44.41	c 27.6318 10.7695 659 481504
44.39/44.41	o 4444
44.39/44.46	c 27.6588 10.7695 425 481956
44.39/44.46	o 4441
44.69/44.79	c 27.8708 10.7695 815 484993
44.69/44.79	o 4396
45.60/45.60	c 28.3537 10.7695 634 491527
45.60/45.60	o 4381
45.79/45.87	c 28.5177 10.7695 689 493622
45.79/45.87	o 4355
45.89/45.93	c 28.5527 10.7695 496 494205
45.89/45.93	o 4354
46.39/46.44	c 28.8686 10.7695 713 498515
46.39/46.44	o 4263
47.10/47.14	c 29.2835 10.7695 681 504431
47.10/47.14	o 4240
47.39/47.45	c 29.4745 10.7695 861 506712
47.39/47.45	o 4229
47.80/47.82	c 29.7165 10.7695 601 510319
47.80/47.82	o 4192
47.89/48.00	c 29.8255 10.7695 838 511953
47.89/48.00	o 4081
48.70/48.78	c 30.3134 10.7695 752 519239
48.70/48.78	o 4068
48.99/49.05	c 30.4754 10.7695 591 522247
48.99/49.05	o 4033
49.40/49.44	c 30.7223 10.7695 875 525923
49.40/49.44	o 4011
49.50/49.57	c 30.8143 10.7695 484 527181
49.50/49.57	o 3847
50.00/50.02	c 31.0973 10.7695 555 530861
50.00/50.02	o 3826
50.09/50.17	c 31.1913 10.7695 660 532004
50.09/50.17	o 3809
50.39/50.42	c 31.3382 10.7695 657 533784
50.39/50.42	o 3798
50.50/50.51	c 31.3962 10.7695 554 534440
50.50/50.51	o 3734
50.60/50.63	c 31.4702 10.7695 568 535467
50.60/50.63	o 3693
51.19/51.23	c 31.8452 10.7695 484 539813
51.19/51.23	o 3568
51.60/51.69	c 32.1351 10.7695 530 543742
51.60/51.69	o 3545
51.89/52.00	c 32.3481 10.7695 604 545824
51.89/52.00	o 3524
52.10/52.12	c 32.4311 10.7695 634 546916
52.10/52.12	o 3504
52.29/52.33	c 32.5501 10.7695 859 548469
52.29/52.33	o 3468
52.39/52.44	c 32.624 10.7695 768 549331
52.39/52.44	o 3441
52.59/52.66	c 32.762 10.7695 447 551362
52.59/52.66	o 3437
52.70/52.73	c 32.805 10.7695 700 552118
52.70/52.73	o 3413
52.80/52.84	c 32.871 10.7695 641 553019
52.80/52.84	o 3361
55.50/55.59	c 34.5887 10.8906 571 571470
55.50/55.59	o 3346
55.69/55.72	c 34.6547 10.8906 486 572313
55.69/55.72	o 3328
55.69/55.76	c 34.6807 10.8906 625 572764
55.69/55.76	o 3322
55.79/55.88	c 34.7477 10.8906 562 573612
55.79/55.88	o 3297
56.10/56.13	c 34.9037 10.8906 579 575670
56.10/56.13	o 3169
56.29/56.32	c 35.0237 10.8906 697 576834
56.29/56.32	o 3136
56.40/56.44	c 35.0987 10.8906 725 578049
56.40/56.44	o 3104
56.89/56.94	c 35.4166 10.8906 718 581994
56.89/56.94	o 3095
56.89/56.98	c 35.4396 10.8906 435 582353
56.89/56.98	o 3091
57.10/57.14	c 35.5476 10.8906 497 583533
57.10/57.14	o 3041
57.29/57.34	c 35.6786 10.8906 743 585088
57.29/57.34	o 2998
57.40/57.41	c 35.7206 10.8906 509 585584
57.40/57.41	o 2960
57.59/57.67	c 35.9005 10.8906 660 587755
57.59/57.67	o 2951
57.80/57.87	c 36.0145 10.8906 831 589026
57.80/57.87	o 2899
57.89/57.95	c 36.0655 10.8906 669 589642
57.89/57.95	o 2874
57.89/57.98	c 36.0795 10.8906 764 589944
57.89/57.98	o 2797
57.99/58.05	c 36.1285 10.8906 596 590501
57.99/58.05	o 2763
58.09/58.11	c 36.1545 10.8906 745 590924
58.09/58.11	o 2728
58.20/58.23	c 36.2475 10.8906 706 591826
58.20/58.23	o 2727
58.20/58.29	c 36.2875 10.8906 474 592314
58.20/58.29	o 2714
58.30/58.34	c 36.3185 10.8906 617 592769
58.30/58.34	o 2711
58.39/58.43	c 36.3775 10.8906 491 593421
58.39/58.43	o 2668
58.49/58.52	c 36.4395 10.8906 845 594339
58.49/58.52	o 2648
58.49/58.54	c 36.4505 10.8906 485 594567
58.49/58.54	o 2601
58.49/58.59	c 36.4745 10.8906 641 594993
58.49/58.59	o 2565
58.89/58.98	c 36.7134 10.8906 543 597969
58.89/58.98	o 2564
58.99/59.07	c 36.7574 10.8906 809 598608
58.99/59.07	o 2546
59.59/59.64	c 37.1174 10.8906 544 602979
59.59/59.64	o 2529
59.69/59.70	c 37.1494 10.8906 742 603672
59.69/59.70	o 2409
59.69/59.76	c 37.1883 10.8906 499 604102
59.69/59.76	o 2369
59.79/59.81	c 37.2213 10.8906 673 604553
59.79/59.81	o 2340
59.79/59.89	c 37.2683 10.8906 512 605056
59.79/59.89	o 2315
60.09/60.10	c 37.3973 10.8906 769 606727
60.09/60.10	o 2313
60.20/60.26	c 37.5083 10.8906 851 607971
60.20/60.26	o 2266
60.40/60.48	c 37.6383 10.8906 651 609378
60.40/60.48	o 2238
60.59/60.60	c 37.7213 10.8906 619 610395
60.59/60.60	o 2230
60.59/60.67	c 37.7643 10.8906 811 610917
60.59/60.67	o 2179
60.70/60.79	c 37.8482 10.8906 744 611669
60.70/60.79	o 2135
60.79/60.83	c 37.8652 10.8906 463 612067
60.79/60.83	o 2096
60.79/60.85	c 37.8742 10.8906 494 612206
60.79/60.85	o 2077
60.79/60.86	c 37.8852 11.0078 537 612329
60.79/60.86	o 2075
60.89/60.91	c 37.9182 11.0078 692 612699
60.89/60.91	o 2062
60.89/60.97	c 37.9522 11.0078 439 613149
60.89/60.97	o 2031
61.19/61.20	c 38.0972 11.0078 745 615002
61.19/61.20	o 1954
61.19/61.22	c 38.1062 11.0078 791 615127
61.19/61.22	o 1952
61.40/61.43	c 38.2522 11.0078 612 616576
61.40/61.43	o 1940
61.40/61.44	c 38.2562 11.0078 636 616697
61.40/61.44	o 1916
61.50/61.54	c 38.3132 11.0078 481 617397
61.50/61.54	o 1893
61.50/61.58	c 38.3302 11.0078 568 617571
61.50/61.58	o 1880
61.60/61.63	c 38.3632 11.0078 725 618004
61.60/61.63	o 1852
61.89/61.97	c 38.5891 11.0078 824 620217
61.89/61.97	o 1848
61.89/61.98	c 38.5971 11.0078 443 620417
61.89/61.98	o 1713
62.00/62.01	c 38.6131 11.0078 516 620768
62.00/62.01	o 1523
62.00/62.05	c 38.6401 11.0078 655 621046
62.00/62.05	o 1522
62.29/62.31	c 38.8171 11.0078 604 622549
62.29/62.31	o 1469
62.49/62.55	c 38.9631 11.0078 583 624318
62.49/62.55	o 1459
62.60/62.65	c 39.0141 11.0078 867 625051
62.60/62.65	o 1371
62.80/62.81	c 39.1181 11.0078 503 626297
62.80/62.81	o 1287
62.80/62.84	c 39.14 11.0078 619 626594
62.80/62.84	o 1254
62.80/62.87	c 39.158 11.0078 704 626861
62.80/62.87	o 1152
62.80/62.89	c 39.172 11.0078 782 627041
62.80/62.89	o 1150
62.89/62.92	c 39.189 11.0078 862 627264
62.89/62.92	o 1084
62.89/62.95	c 39.213 11.0078 519 627428
62.89/62.95	o 1072
62.89/62.97	c 39.227 11.0078 582 627681
62.89/62.97	o 1000
62.99/63.03	c 39.259 11.0078 774 628042
62.99/63.03	o 988
62.99/63.08	c 39.297 11.0078 506 628457
62.99/63.08	o 932
63.09/63.10	c 39.311 11.0078 581 628769
63.09/63.10	o 759
63.09/63.11	c 39.317 11.0078 610 628852
63.09/63.11	o 748
63.09/63.17	c 39.345 11.0078 792 629359
63.09/63.17	o 647
63.19/63.23	c 39.383 11.1328 1001 629779
63.19/63.23	o 630
63.30/63.31	c 39.45 11.1328 811 630351
63.30/63.31	o 604
63.30/63.32	c 39.459 11.1328 847 630481
63.30/63.32	o 563
63.30/63.36	c 39.484 11.1328 1013 630895
63.30/63.36	o 465
63.30/63.36	c 39.488 11.1328 1051 630986
63.30/63.36	o 452
63.30/63.37	c 39.493 11.1328 1090 631068
63.30/63.37	o 417
63.30/63.38	c 39.503 11.1328 1087 631168
63.30/63.38	o 407
63.39/63.40	c 39.522 11.1328 1188 631338
63.39/63.40	o 391
63.39/63.41	c 39.526 11.1328 1203 631392
63.39/63.41	o 364
63.39/63.41	c 39.528 11.1328 1209 631417
63.39/63.41	o 359
63.39/63.41	c 39.529 11.1328 1225 631528
63.39/63.41	o 260
63.39/63.43	c 39.541 11.1328 680 631694
63.39/63.43	o 253
63.39/63.43	c 39.542 11.1328 671 631744
63.39/63.43	o 244
63.39/63.44	c 39.546 11.1328 730 631863
63.39/63.44	o 185
63.39/63.44	c 39.549 11.1328 759 631898
63.39/63.44	o 184
63.39/63.45	c 39.55 11.1328 759 631912
63.39/63.45	o 168
63.39/63.45	c 39.554 11.1328 790 632021
63.39/63.45	o 82
63.39/63.45	c 39.555 11.1328 559 632031
63.39/63.45	s OPTIMUM FOUND
63.39/63.45	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	82

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700135-1278534108/watcher-2700135-1278534108 -o /tmp/evaluation-result-2700135-1278534108/solver-2700135-1278534108 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700135-1278534108.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: 5.29 2.86 1.17 4/178 18967
/proc/meminfo: memFree=28399004/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=2136 CPUtime=0
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 21623946 2187264 181 4089446400 134512640 136422188 4289933264 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18967/statm: 534 181 144 467 0 65 0

[startup+0.0426081 s]
/proc/loadavg: 5.29 2.86 1.17 4/178 18967
/proc/meminfo: memFree=28399004/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10128 CPUtime=0.03
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2268 0 0 0 3 0 0 0 25 0 1 0 21623946 10371072 2184 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2532 2184 237 467 0 2063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10128

[startup+0.100579 s]
/proc/loadavg: 5.29 2.86 1.17 4/178 18967
/proc/meminfo: memFree=28399004/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10256 CPUtime=0.09
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2276 0 0 0 6 3 0 0 25 0 1 0 21623946 10502144 2191 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2564 2191 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300545 s]
/proc/loadavg: 5.29 2.86 1.17 4/178 18967
/proc/meminfo: memFree=28399004/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10256 CPUtime=0.29
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2299 0 0 0 18 11 0 0 25 0 1 0 21623946 10502144 2214 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2564 2214 238 467 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.70047 s]
/proc/loadavg: 5.29 2.86 1.17 4/178 18967
/proc/meminfo: memFree=28399004/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10384 CPUtime=0.69
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2321 0 0 0 45 24 0 0 25 0 1 0 21623946 10633216 2236 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2596 2236 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50032 s]
/proc/loadavg: 5.29 2.86 1.17 3/179 18968
/proc/meminfo: memFree=28388952/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10384 CPUtime=1.49
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2323 0 0 0 97 52 0 0 25 0 1 0 21623946 10633216 2236 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2596 2236 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10103 s]
/proc/loadavg: 5.03 2.85 1.17 3/179 18968
/proc/meminfo: memFree=28386224/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10384 CPUtime=3.09
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2342 0 0 0 198 111 0 0 25 0 1 0 21623946 10633216 2251 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2596 2251 238 467 0 2127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10384

[startup+6.30045 s]
/proc/loadavg: 5.03 2.85 1.17 3/179 18968
/proc/meminfo: memFree=28383504/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10512 CPUtime=6.29
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2378 0 0 0 403 226 0 0 25 0 1 0 21623946 10764288 2281 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2628 2281 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: 4.56 2.82 1.18 3/179 18968
/proc/meminfo: memFree=28376732/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10640 CPUtime=12.69
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2413 0 0 0 802 467 0 0 25 0 1 0 21623946 10895360 2302 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2660 2302 238 467 0 2191 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10640

[startup+25.5009 s]
/proc/loadavg: 4.17 2.79 1.19 3/179 18968
/proc/meminfo: memFree=28360324/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=10768 CPUtime=25.49
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2476 0 0 0 1593 956 0 0 25 0 1 0 21623946 11026432 2338 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2692 2338 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: 3.43 2.73 1.21 3/179 18968
/proc/meminfo: memFree=28326296/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11024 CPUtime=51.09
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2625 0 0 0 3175 1934 0 0 25 0 1 0 21623946 11288576 2414 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2756 2414 238 467 0 2287 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11024

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

[startup+57.5011 s]
/proc/loadavg: 3.21 2.70 1.22 3/179 18969
/proc/meminfo: memFree=28318856/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11148 CPUtime=57.49
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2665 0 0 0 3578 2171 0 0 25 0 1 0 21623946 11415552 2433 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2787 2433 238 467 0 2318 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11148

[startup+60.7005 s]
/proc/loadavg: 3.21 2.70 1.22 3/179 18969
/proc/meminfo: memFree=28313144/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11148 CPUtime=60.7
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2711 0 0 0 3778 2292 0 0 25 0 1 0 21623946 11415552 2454 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2787 2454 238 467 0 2318 0
Current children cumulated CPU time (s) 60.7
Current children cumulated vsize (KiB) 11148

[startup+62.3002 s]
/proc/loadavg: 3.11 2.69 1.22 3/179 18969
/proc/meminfo: memFree=28311036/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11268 CPUtime=62.29
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2742 0 0 0 3880 2349 0 0 25 0 1 0 21623946 11538432 2468 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2817 2468 238 467 0 2348 0
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (KiB) 11268

[startup+63.1011 s]
/proc/loadavg: 3.11 2.69 1.22 3/179 18969
/proc/meminfo: memFree=28310416/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11268 CPUtime=63.09
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2769 0 0 0 3930 2379 0 0 18 0 1 0 21623946 11538432 2483 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2817 2483 238 467 0 2348 0
Current children cumulated CPU time (s) 63.09
Current children cumulated vsize (KiB) 11268

[startup+63.301 s]
/proc/loadavg: 3.11 2.69 1.22 3/179 18969
/proc/meminfo: memFree=28310416/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11396 CPUtime=63.3
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2778 0 0 0 3944 2386 0 0 18 0 1 0 21623946 11669504 2488 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2849 2488 238 467 0 2380 0
Current children cumulated CPU time (s) 63.3
Current children cumulated vsize (KiB) 11396

[startup+63.401 s]
/proc/loadavg: 3.11 2.69 1.22 3/179 18969
/proc/meminfo: memFree=28310416/32951124 swapFree=67111528/67111528
[pid=18967] ppid=18965 vsize=11396 CPUtime=63.39
/proc/18967/stat : 18967 (pbct) R 18965 18967 18367 0 -1 4202496 2791 0 0 0 3951 2388 0 0 18 0 1 0 21623946 11669504 2495 4089446400 134512640 136422188 4289933264 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18967/statm: 2849 2495 238 467 0 2380 0
Current children cumulated CPU time (s) 63.39
Current children cumulated vsize (KiB) 11396

Child status: 0
Real time (s): 63.4644
CPU time (s): 63.4664
CPU user time (s): 39.563
CPU system time (s): 23.9034
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.563
system time used= 23.9034
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= 49

runsolver used 0.099984 second user time and 0.204968 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-07 22:21:48
IDJOB=2700135
IDBENCH=79402
IDSOLVER=1212
FILE ID=node138/2700135-1278534108
PBS_JOBID= 11239202
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60
RANDOM SEED=1079811677

node138.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.845
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.69
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.845
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	: 5266.27
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.845
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.82
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.845
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.73
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.845
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.845
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.845
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.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28399532 kB
Buffers:        127648 kB
Cached:        3965924 kB
SwapCached:          0 kB
Active:        1847792 kB
Inactive:      2553132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28399532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2192 kB
Writeback:           0 kB
AnonPages:      306928 kB
Mapped:          16840 kB
Slab:            84496 kB
PageTables:       5144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   454224 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= 73608 MiB
End job on node138 at 2010-07-07 22:22:52