Trace number 2700003

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 43.1424 43.1421

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.02/0.03	c 0.034994 9.67188 1 1857
0.02/0.03	o 23328
0.02/0.03	c 0.034994 9.90234 1 2019
0.02/0.03	o 23258
0.02/0.04	c 0.034994 9.90234 6 2461
0.02/0.04	o 23019
0.02/0.04	c 0.035994 9.90234 6 3175
0.02/0.04	o 22287
0.02/0.04	c 0.035994 9.90234 7 3557
0.02/0.04	o 22087
0.02/0.04	c 0.035994 9.90234 7 4391
0.02/0.04	o 20880
0.02/0.04	c 0.035994 9.90234 7 4921
0.02/0.04	o 20673
0.02/0.05	c 0.035994 9.90234 8 5323
0.02/0.05	o 20629
0.02/0.05	c 0.035994 9.90234 8 6137
0.02/0.05	o 19723
0.02/0.05	c 0.035994 9.90234 8 6964
0.02/0.05	o 17951
0.02/0.05	c 0.036994 9.90234 8 7793
0.02/0.05	o 16178
0.02/0.05	c 0.036994 9.90234 13 8206
0.02/0.05	o 16149
0.02/0.05	c 0.037994 9.90234 13 8489
0.02/0.05	o 16094
0.02/0.06	c 0.037994 9.90234 13 8695
0.02/0.06	o 16061
0.09/0.13	c 0.051992 10.0273 372 9993
0.09/0.13	o 15825
0.09/0.19	c 0.06499 10.1523 680 11052
0.09/0.19	o 15776
0.09/0.19	c 0.067989 10.1523 366 11380
0.09/0.19	o 15698
0.19/0.20	c 0.070989 10.1523 414 11712
0.19/0.20	o 15590
0.29/0.31	c 0.089986 10.1523 886 12977
0.29/0.31	o 15561
0.29/0.39	c 0.102984 10.1523 330 14779
0.29/0.39	o 15493
0.39/0.40	c 0.104984 10.1523 371 15347
0.39/0.41	o 15117
0.39/0.41	c 0.105983 10.1523 387 15608
0.39/0.41	o 15091
0.39/0.42	c 0.106983 10.1523 476 15980
0.39/0.42	o 14996
0.39/0.45	c 0.109983 10.1523 609 16559
0.39/0.45	o 14972
0.49/0.53	c 0.12598 10.1523 437 18463
0.49/0.53	o 14932
0.49/0.56	c 0.136979 10.1523 618 19256
0.49/0.56	o 14921
0.49/0.56	c 0.136979 10.1523 618 19486
0.49/0.56	o 14841
0.49/0.59	c 0.142978 10.1523 361 20380
0.49/0.59	o 14340
0.49/0.59	c 0.142978 10.1523 364 20765
0.49/0.59	o 14087
0.49/0.59	c 0.142978 10.1523 374 21039
0.49/0.59	o 13941
0.49/0.59	c 0.143978 10.1523 374 21508
0.49/0.59	o 13608
0.49/0.60	c 0.143978 10.1523 374 21865
0.49/0.60	o 13394
0.59/0.60	c 0.143978 10.1523 383 22191
0.59/0.60	o 13255
0.59/0.61	c 0.144977 10.1523 426 22581
0.59/0.61	o 13171
0.59/0.62	c 0.149977 10.1523 530 23175
0.59/0.62	o 13164
0.59/0.62	c 0.150977 10.1523 530 23714
0.59/0.62	o 12836
0.59/0.63	c 0.150977 10.1523 531 24345
0.59/0.63	o 12363
0.59/0.63	c 0.151976 10.1523 541 24856
0.59/0.63	o 11969
0.59/0.64	c 0.152976 10.1523 567 25112
0.59/0.64	o 11905
0.69/0.73	c 0.175973 10.1523 463 26964
0.69/0.73	o 11854
1.09/1.14	c 0.246962 10.2773 680 30898
1.09/1.14	o 11833
1.09/1.16	c 0.249962 10.2773 452 31538
1.09/1.16	o 11648
1.09/1.16	c 0.251961 10.2773 475 31853
1.09/1.16	o 11472
1.19/1.23	c 0.265959 10.2773 627 33451
1.19/1.23	o 11385
1.19/1.25	c 0.269958 10.2773 399 34020
1.19/1.25	o 11342
1.19/1.27	c 0.274958 10.2773 498 34726
1.19/1.27	o 10853
1.29/1.34	c 0.288956 10.2773 444 35742
1.29/1.34	o 10717
1.69/1.74	c 0.359945 10.2773 526 41771
1.69/1.74	o 10651
1.99/2.00	c 0.400939 10.2773 546 45655
1.99/2.00	o 10558
2.39/2.49	c 0.488925 10.2773 564 53197
2.39/2.49	o 10504
2.49/2.52	c 0.497924 10.2773 402 53959
2.49/2.52	o 10378
2.49/2.54	c 0.503923 10.2773 559 54886
2.49/2.54	o 10028
2.49/2.59	c 0.510922 10.2773 499 55670
2.49/2.59	o 9978
2.89/2.90	c 0.561914 10.2773 704 59972
2.89/2.90	o 9925
2.89/2.95	c 0.572912 10.2773 632 60880
2.89/2.95	o 9873
2.99/3.06	c 0.59091 10.2773 417 62756
2.99/3.06	o 9799
3.20/3.26	c 0.622905 10.2773 500 65966
3.20/3.26	o 9768
3.89/3.91	c 0.733888 10.4023 548 75090
3.89/3.91	o 9509
5.89/5.93	c 1.20782 10.4023 788 101467
5.89/5.93	o 9482
5.89/5.94	c 1.20882 10.4023 453 101739
5.89/5.94	o 9475
5.99/6.02	c 1.21881 10.4023 429 102799
5.99/6.02	o 9460
6.59/6.61	c 1.3368 10.5273 464 110575
6.59/6.61	o 9448
6.59/6.66	c 1.3458 10.5273 700 111350
6.59/6.66	o 9309
7.29/7.34	c 1.48277 10.5273 639 119000
7.29/7.34	o 9282
7.29/7.39	c 1.48977 10.5273 548 120031
7.29/7.39	o 9258
7.49/7.50	c 1.50877 10.5273 686 121837
7.49/7.50	o 8903
7.59/7.67	c 1.53677 10.5273 560 124628
7.59/7.67	o 8835
7.59/7.69	c 1.53977 10.5273 683 125165
7.59/7.69	o 8762
7.70/7.70	c 1.54276 10.5273 391 125505
7.70/7.70	o 8664
7.70/7.75	c 1.54976 10.5273 634 126443
7.70/7.75	o 8575
7.79/7.87	c 1.56876 10.5273 521 128266
7.79/7.87	o 8378
8.29/8.32	c 1.64875 10.5273 693 133661
8.29/8.32	o 8279
8.39/8.45	c 1.67274 10.5273 949 135210
8.39/8.45	o 8204
8.89/8.91	c 1.74573 10.5273 558 141698
8.89/8.91	o 8092
8.89/8.92	c 1.74973 10.5273 610 141990
8.89/8.92	o 8061
9.19/9.25	c 1.81172 10.5273 666 146098
9.19/9.25	o 7990
9.49/9.56	c 1.87771 10.5273 656 149517
9.49/9.56	o 7930
10.29/10.30	c 2.00769 10.5273 586 159175
10.29/10.30	o 7726
10.29/10.32	c 2.01169 10.5273 651 159576
10.29/10.32	o 7531
10.39/10.47	c 2.03769 10.5273 652 161952
10.39/10.47	o 7524
10.99/11.04	c 2.18367 10.5273 596 167582
10.99/11.04	o 7480
11.10/11.13	c 2.21066 10.5273 696 168881
11.10/11.13	o 7404
11.29/11.31	c 2.25666 10.5273 733 171180
11.29/11.31	o 7403
11.59/11.61	c 2.32565 10.5273 797 174347
11.59/11.61	o 7392
12.09/12.11	c 2.42263 10.5273 636 180208
12.09/12.11	o 7350
12.39/12.46	c 2.48062 10.5273 691 184145
12.39/12.46	o 7255
13.10/13.13	c 2.6066 10.5273 455 193573
13.10/13.13	o 7222
14.10/14.14	c 2.76858 10.6484 930 203472
14.10/14.14	o 7181
14.89/14.97	c 2.90356 10.6484 554 212971
14.89/14.97	o 7109
14.89/14.99	c 2.90456 10.6484 662 213443
14.89/14.99	o 7064
14.99/15.07	c 2.92056 10.6484 624 214624
14.99/15.07	o 6971
15.29/15.37	c 2.96355 10.6484 573 217801
15.29/15.37	o 6934
15.49/15.55	c 2.98854 10.6484 638 220254
15.49/15.55	o 6928
15.59/15.67	c 3.00354 10.6484 759 221727
15.59/15.67	o 6886
15.70/15.72	c 3.01254 10.6484 566 222458
15.70/15.72	o 6729
15.79/15.84	c 3.02854 10.6484 565 223551
15.79/15.84	o 6661
16.40/16.40	c 3.12053 10.6484 907 229461
16.40/16.40	o 6489
16.69/16.74	c 3.18552 10.6484 805 232365
16.69/16.74	o 6477
16.79/16.83	c 3.20251 10.6484 517 233685
16.79/16.83	o 6355
16.99/17.09	c 3.24351 10.6484 785 236618
16.99/17.09	o 6332
17.60/17.67	c 3.36449 10.6484 602 242849
17.60/17.67	o 6216
18.49/18.54	c 3.57746 10.6484 742 252258
18.49/18.54	o 6089
19.19/19.29	c 3.69544 10.6484 515 259970
19.19/19.29	o 6071
19.49/19.50	c 3.72543 10.6484 502 262054
19.49/19.50	o 5970
19.89/19.91	c 3.78542 10.6484 714 266356
19.89/19.91	o 5939
20.09/20.12	c 3.81542 10.6484 900 268560
20.09/20.12	o 5930
20.39/20.42	c 3.85741 10.6484 628 271035
20.39/20.42	o 5821
20.59/20.68	c 3.90141 10.6484 602 273970
20.59/20.68	o 5768
20.69/20.72	c 3.90541 10.6484 789 274636
20.69/20.72	o 5726
21.20/21.20	c 3.98139 10.6484 711 279632
21.20/21.20	o 5664
21.20/21.24	c 3.98639 10.6484 511 280103
21.20/21.24	o 5594
21.39/21.48	c 4.02139 10.6484 625 282320
21.39/21.48	o 5528
22.00/22.02	c 4.11337 10.6484 595 287753
22.00/22.02	o 5415
22.59/22.62	c 4.21036 10.6484 804 294095
22.59/22.62	o 5392
22.59/22.67	c 4.21936 10.6484 586 294744
22.59/22.67	o 5297
23.00/23.02	c 4.27735 10.7656 469 298616
23.00/23.02	o 5198
24.49/24.52	c 4.63429 10.7656 423 312788
24.49/24.52	o 5072
24.49/24.57	c 4.64329 10.7656 604 313483
24.49/24.57	o 5041
24.79/24.88	c 4.72228 10.7656 707 317300
24.79/24.88	o 4992
24.89/24.99	c 4.74028 10.7656 731 318641
24.89/24.99	o 4820
24.99/25.04	c 4.74928 10.7656 544 319463
24.99/25.04	o 4554
24.99/25.09	c 4.75728 10.7656 780 320208
24.99/25.09	o 4442
25.29/25.36	c 4.79827 10.7656 612 322614
25.29/25.36	o 4434
26.69/26.77	c 5.01724 10.7656 569 335308
26.69/26.77	o 4405
27.79/27.81	c 5.16821 10.7656 535 344748
27.79/27.81	o 4383
27.89/27.97	c 5.19221 10.7656 688 346086
27.89/27.97	o 4327
29.29/29.36	c 5.38718 10.7656 624 357678
29.29/29.36	o 4252
29.39/29.47	c 5.40818 10.7656 607 358678
29.39/29.47	o 4206
29.60/29.66	c 5.43117 10.7656 586 360704
29.60/29.66	o 4169
30.90/30.93	c 5.69213 10.7656 741 372133
30.90/30.93	o 4127
30.99/31.05	c 5.72613 10.7656 805 373146
30.99/31.05	o 4103
31.19/31.27	c 5.79312 10.7656 596 375695
31.19/31.27	o 4039
31.40/31.47	c 5.83211 10.7656 466 377689
31.40/31.47	o 4011
31.49/31.53	c 5.83711 10.7656 692 378256
31.49/31.53	o 3991
32.19/32.23	c 5.9411 10.7656 881 385042
32.19/32.23	o 3963
32.19/32.24	c 5.9421 10.7656 475 385309
32.19/32.24	o 3822
32.29/32.34	c 5.94909 10.7656 800 386159
32.29/32.34	o 3820
32.39/32.45	c 5.96409 10.7656 415 387385
32.39/32.45	o 3811
32.39/32.48	c 5.96709 10.7656 492 387594
32.39/32.48	o 3805
33.00/33.09	c 6.04208 10.7656 582 392357
33.00/33.09	o 3780
33.50/33.51	c 6.09507 10.7656 651 395629
33.50/33.51	o 3779
35.20/35.26	c 6.33904 10.8906 853 408457
35.20/35.26	o 3723
35.39/35.48	c 6.36503 10.8906 861 410695
35.39/35.48	o 3687
36.09/36.19	c 6.47902 10.8906 725 415848
36.09/36.19	o 3664
36.30/36.32	c 6.50301 10.8906 779 417063
36.30/36.32	o 3654
36.30/36.35	c 6.50401 10.8906 466 417378
36.30/36.35	o 3627
37.09/37.19	c 6.67598 10.8906 904 423348
37.09/37.19	o 3601
37.49/37.53	c 6.76197 10.8906 432 426117
37.49/37.53	o 3584
37.49/37.53	c 6.76297 10.8906 440 426220
37.49/37.53	o 3561
37.79/37.85	c 6.85496 10.8906 693 428945
37.79/37.85	o 3552
38.89/38.95	c 7.03493 10.8906 517 437876
38.89/38.95	o 3474
39.00/39.00	c 7.04193 10.8906 661 438277
39.00/39.00	o 3470
39.19/39.23	c 7.07992 10.8906 777 440613
39.19/39.23	o 3446
39.19/39.26	c 7.08192 10.8906 466 440878
39.19/39.26	o 3392
39.29/39.31	c 7.09092 10.8906 659 441467
39.29/39.31	o 3365
39.50/39.51	c 7.11592 10.8906 863 442786
39.50/39.51	o 3329
39.69/39.70	c 7.14891 10.8906 530 444180
39.69/39.70	o 3320
39.69/39.75	c 7.15791 10.8906 703 444599
39.69/39.75	o 3315
39.79/39.84	c 7.17291 10.8906 635 445824
39.79/39.84	o 2985
39.90/39.95	c 7.18991 10.8906 524 446603
39.90/39.95	o 2889
39.99/40.09	c 7.2119 10.8906 620 447798
39.99/40.09	o 2832
40.09/40.11	c 7.2159 10.8906 669 448067
40.09/40.11	o 2760
40.09/40.15	c 7.2209 10.8906 398 448483
40.09/40.15	o 2751
40.09/40.15	c 7.2209 10.8906 406 448633
40.09/40.15	o 2647
40.19/40.25	c 7.2409 10.8906 694 449403
40.19/40.25	o 2498
40.29/40.31	c 7.2479 10.8906 419 449822
40.29/40.31	o 2437
40.29/40.32	c 7.2499 10.8906 440 449922
40.29/40.32	o 2432
40.29/40.36	c 7.2549 10.8906 533 450160
40.29/40.36	o 2428
40.39/40.43	c 7.2629 10.8906 765 450772
40.39/40.43	o 2382
40.39/40.45	c 7.2659 10.8906 844 451077
40.39/40.45	o 2282
40.49/40.57	c 7.29089 10.8906 770 451998
40.49/40.57	o 2259
40.60/40.67	c 7.30689 10.8906 691 452891
40.60/40.67	o 2218
40.70/40.74	c 7.31589 10.8906 541 453608
40.70/40.74	o 2170
40.79/40.81	c 7.32289 10.8906 740 454101
40.79/40.81	o 2085
40.99/41.07	c 7.35888 10.8906 661 455951
40.99/41.07	o 2047
41.09/41.18	c 7.37788 10.8906 529 456787
41.09/41.18	o 2017
41.20/41.21	c 7.38488 10.8906 612 457177
41.20/41.21	o 1820
41.20/41.21	c 7.38788 10.8906 635 457303
41.20/41.21	o 1782
41.20/41.23	c 7.38988 10.8906 672 457432
41.20/41.23	o 1776
41.20/41.27	c 7.39588 10.8906 810 457817
41.20/41.27	o 1741
41.20/41.28	c 7.39787 10.8906 418 457916
41.20/41.28	o 1725
41.29/41.33	c 7.40787 10.8906 556 458298
41.29/41.33	o 1678
41.29/41.35	c 7.40887 10.8906 585 458387
41.29/41.35	o 1676
41.29/41.36	c 7.41287 10.8906 645 458520
41.29/41.36	o 1664
41.49/41.52	c 7.43887 11.0156 704 459781
41.49/41.52	o 1617
41.59/41.68	c 7.45687 11.0156 770 460897
41.59/41.68	o 1522
41.80/41.83	c 7.47986 11.0156 789 461977
41.80/41.83	o 1463
41.80/41.84	c 7.48186 11.0156 415 462089
41.80/41.84	o 1408
41.89/41.97	c 7.50886 11.0156 823 462864
41.89/41.97	o 1386
42.00/42.08	c 7.52585 11.0156 781 463730
42.00/42.08	o 1298
42.00/42.09	c 7.52785 11.0156 803 463856
42.00/42.09	o 1271
42.09/42.14	c 7.53585 11.0156 529 464223
42.09/42.14	o 1255
42.29/42.32	c 7.57185 11.0156 718 465465
42.29/42.32	o 1224
42.29/42.39	c 7.58785 11.0156 537 465947
42.29/42.39	o 1215
42.39/42.43	c 7.59685 11.0156 675 466407
42.39/42.43	o 1187
42.39/42.45	c 7.59984 11.0156 762 466690
42.39/42.45	o 1097
42.39/42.48	c 7.60184 11.0156 824 467062
42.39/42.48	o 959
42.49/42.56	c 7.62184 11.0156 700 467707
42.49/42.56	o 948
42.49/42.57	c 7.62384 11.0156 728 467841
42.49/42.57	o 883
42.59/42.65	c 7.64384 11.0156 551 468478
42.59/42.65	o 837
42.59/42.66	c 7.64684 11.0156 563 468556
42.59/42.66	o 804
42.59/42.67	c 7.64884 11.0156 589 468641
42.59/42.67	o 794
42.59/42.67	c 7.65084 11.0156 600 468693
42.59/42.67	o 767
42.59/42.69	c 7.65684 11.0156 691 468881
42.59/42.69	o 738
42.69/42.75	c 7.66483 11.0156 896 469586
42.69/42.75	o 626
42.69/42.79	c 7.67283 11.0156 1056 469958
42.69/42.79	o 625
42.80/42.81	c 7.67483 11.0156 567 470101
42.80/42.81	o 551
42.80/42.83	c 7.68283 11.0156 664 470400
42.80/42.83	o 505
42.80/42.86	c 7.69083 11.0156 773 470645
42.80/42.86	o 487
42.89/42.99	c 7.71983 11.0156 784 471721
42.89/42.99	o 474
42.99/43.01	c 7.72583 11.0156 880 471900
42.99/43.01	o 473
42.99/43.02	c 7.72682 11.0156 907 471963
42.99/43.02	o 462
42.99/43.04	c 7.73382 11.0156 1022 472200
42.99/43.04	o 456
42.99/43.04	c 7.73582 11.1406 1045 472286
42.99/43.04	o 426
42.99/43.04	c 7.73682 11.1406 1060 472354
42.99/43.04	o 390
42.99/43.06	c 7.74282 11.1406 1127 472541
42.99/43.06	o 372
42.99/43.06	c 7.74282 11.1406 1146 472599
42.99/43.06	o 367
42.99/43.09	c 7.75282 11.1406 1278 472797
42.99/43.09	o 352
43.09/43.10	c 7.75382 11.1406 1272 472868
43.09/43.10	o 333
43.09/43.10	c 7.75382 11.1406 1285 472996
43.09/43.10	o 226
43.09/43.10	c 7.75482 11.1406 1298 473041
43.09/43.10	o 223
43.09/43.11	c 7.75682 11.1406 1314 473090
43.09/43.11	o 210
43.09/43.11	c 7.75882 11.1406 1326 473127
43.09/43.11	o 196
43.09/43.11	c 7.76082 11.1406 1349 473180
43.09/43.11	o 179
43.09/43.12	c 7.76282 11.1406 1369 473236
43.09/43.12	o 148
43.09/43.12	c 7.76482 11.1406 1398 473296
43.09/43.12	o 141
43.09/43.12	c 7.76482 11.1406 1176 473359
43.09/43.12	o 84
43.09/43.13	c 7.76682 11.1406 1203 473445
43.09/43.13	o 28
43.09/43.13	c 7.76782 11.1406 1205 473480
43.09/43.13	o 10
43.09/43.13	c 7.76782 11.1406 1205 473499
43.09/43.13	o 9
43.09/43.13	c 7.76782 11.1406 1209 473522
43.09/43.13	o 0
43.09/43.13	c 7.76782 11.1406 1209 473522
43.09/43.13	s OPTIMUM FOUND
43.09/43.13	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 -x79 x80 x81 -x82 -x83 x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 x95 -x96 -x97 x98 -x99 x100 x101 -x102 x103 -x104 -x105 x106 x107 -x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131 x132 -x133 x134 x135 -x136 -x137 x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 -x188 x189 -x190 -x191 x192 -x193 x194 x195 -x196 -x197 x198 x199 -x200

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700003-1278533879/watcher-2700003-1278533879 -o /tmp/evaluation-result-2700003-1278533879/solver-2700003-1278533879 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700003-1278533879.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: 0.89 0.27 0.09 3/178 20192
/proc/meminfo: memFree=29747624/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=2136 CPUtime=0
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 262 0 0 0 0 0 0 0 21 0 1 0 21600825 2187264 181 4089446400 134512640 136422188 4287878224 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20192/statm: 534 181 144 467 0 65 0

[startup+0.0219061 s]
/proc/loadavg: 0.89 0.27 0.09 3/178 20192
/proc/meminfo: memFree=29747624/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=6476 CPUtime=0.02
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 1339 0 0 0 2 0 0 0 21 0 1 0 21600825 6631424 1258 4089446400 134512640 136422188 4287878224 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 1619 1259 193 467 0 1150 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6476

[startup+0.100891 s]
/proc/loadavg: 0.89 0.27 0.09 3/178 20192
/proc/meminfo: memFree=29747624/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10264 CPUtime=0.09
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2296 0 0 0 4 5 0 0 21 0 1 0 21600825 10510336 2201 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2566 2201 238 467 0 2097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10264

[startup+0.300856 s]
/proc/loadavg: 0.89 0.27 0.09 3/178 20192
/proc/meminfo: memFree=29747624/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10392 CPUtime=0.29
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2338 0 0 0 8 21 0 0 21 0 1 0 21600825 10641408 2239 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2598 2239 238 467 0 2129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10392

[startup+0.700785 s]
/proc/loadavg: 0.89 0.27 0.09 3/178 20192
/proc/meminfo: memFree=29747624/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10392 CPUtime=0.69
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2369 0 0 0 16 53 0 0 22 0 1 0 21600825 10641408 2249 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2598 2249 238 467 0 2129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10392

[startup+1.50065 s]
/proc/loadavg: 0.89 0.27 0.09 3/179 20193
/proc/meminfo: memFree=29739060/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10520 CPUtime=1.49
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2407 0 0 0 31 118 0 0 25 0 1 0 21600825 10772480 2279 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2630 2279 238 467 0 2161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10520

[startup+3.10036 s]
/proc/loadavg: 0.89 0.27 0.09 3/179 20193
/proc/meminfo: memFree=29738936/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10520 CPUtime=3.09
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2421 0 0 0 59 250 0 0 25 0 1 0 21600825 10772480 2284 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2630 2284 238 467 0 2161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10520

[startup+6.3008 s]
/proc/loadavg: 0.98 0.30 0.10 3/179 20193
/proc/meminfo: memFree=29734092/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10648 CPUtime=6.29
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2460 0 0 0 126 503 0 0 25 0 1 0 21600825 10903552 2318 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2662 2318 238 467 0 2193 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10648

[startup+12.7007 s]
/proc/loadavg: 1.06 0.33 0.11 3/179 20193
/proc/meminfo: memFree=29727140/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=10776 CPUtime=12.69
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2519 0 0 0 252 1017 0 0 25 0 1 0 21600825 11034624 2352 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2694 2352 238 467 0 2225 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10776

[startup+25.5004 s]
/proc/loadavg: 1.27 0.41 0.14 3/179 20193
/proc/meminfo: memFree=29713648/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11020 CPUtime=25.49
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2605 0 0 0 481 2068 0 0 25 0 1 0 21600825 11284480 2401 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2755 2401 238 467 0 2286 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11020

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

[startup+31.9063 s]
/proc/loadavg: 1.32 0.44 0.15 3/179 20194
/proc/meminfo: memFree=29705324/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11020 CPUtime=31.9
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2627 0 0 0 589 2601 0 0 25 0 1 0 21600825 11284480 2412 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2755 2412 238 467 0 2286 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11020

[startup+38.3002 s]
/proc/loadavg: 1.38 0.46 0.16 3/179 20195
/proc/meminfo: memFree=29697364/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11148 CPUtime=38.29
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2659 0 0 0 694 3135 0 0 25 0 1 0 21600825 11415552 2428 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2787 2428 238 467 0 2318 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 11148

[startup+41.5006 s]
/proc/loadavg: 1.43 0.49 0.17 3/179 20195
/proc/meminfo: memFree=29693760/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11148 CPUtime=41.49
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2719 0 0 0 743 3406 0 0 25 0 1 0 21600825 11415552 2454 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2787 2454 238 467 0 2318 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 11148

[startup+42.3005 s]
/proc/loadavg: 1.43 0.49 0.17 3/179 20195
/proc/meminfo: memFree=29693636/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11276 CPUtime=42.29
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2739 0 0 0 756 3473 0 0 25 0 1 0 21600825 11546624 2466 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2819 2466 238 467 0 2350 0
Current children cumulated CPU time (s) 42.29
Current children cumulated vsize (KiB) 11276

[startup+42.7004 s]
/proc/loadavg: 1.43 0.49 0.17 3/179 20195
/proc/meminfo: memFree=29693636/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11276 CPUtime=42.69
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2765 0 0 0 765 3504 0 0 25 0 1 0 21600825 11546624 2480 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2819 2480 238 467 0 2350 0
Current children cumulated CPU time (s) 42.69
Current children cumulated vsize (KiB) 11276

[startup+43.1003 s]
/proc/loadavg: 1.43 0.49 0.17 3/179 20195
/proc/meminfo: memFree=29690784/32951124 swapFree=67111528/67111528
[pid=20192] ppid=20190 vsize=11404 CPUtime=43.09
/proc/20192/stat : 20192 (pbct) R 20190 20192 19739 0 -1 4202496 2787 0 0 0 775 3534 0 0 25 0 1 0 21600825 11677696 2488 4089446400 134512640 136422188 4287878224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20192/statm: 2851 2488 238 467 0 2382 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 43.1421
CPU time (s): 43.1424
CPU user time (s): 7.77682
CPU system time (s): 35.3656
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 11404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.77682
system time used= 35.3656
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= 1
involuntary context switches= 72

runsolver used 0.069989 second user time and 0.142978 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-07 22:17:59
IDJOB=2700003
IDBENCH=79391
IDSOLVER=1212
FILE ID=node144/2700003-1278533879
PBS_JOBID= 11239190
Free space on /tmp= 73736 MiB

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

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

MD5SUM BENCH= a376d7f23eea0592d561601b8922f58b
RANDOM SEED=1402057638

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29748144 kB
Buffers:        145136 kB
Cached:        2796420 kB
SwapCached:          0 kB
Active:         835340 kB
Inactive:      2205480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29748144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6588 kB
Writeback:           0 kB
AnonPages:      100072 kB
Mapped:          16880 kB
Slab:            96360 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   241888 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= 73736 MiB
End job on node144 at 2010-07-07 22:18:42