Trace number 2700408

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1OPTIMUM 29.9514 29.9511

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
MD5SUM862c57b9a103de4e976a73e17aca1258
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.471927
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.030995 9.75 1 1853
0.00/0.03	o 23932
0.00/0.03	c 0.032994 9.89844 1 2130
0.00/0.03	o 23705
0.00/0.04	c 0.034994 9.89844 1 2347
0.00/0.04	o 23573
0.00/0.04	c 0.035994 9.89844 1 2628
0.00/0.04	o 23346
0.00/0.04	c 0.035994 9.89844 3 2862
0.00/0.04	o 23198
0.00/0.04	c 0.036994 9.89844 3 3701
0.00/0.04	o 15330
0.00/0.04	c 0.038994 9.89844 3 4541
0.00/0.04	o 14284
0.00/0.04	c 0.039993 9.89844 3 5303
0.00/0.04	o 13554
0.00/0.05	c 0.041993 9.89844 5 5670
0.00/0.05	o 13424
0.00/0.05	c 0.041993 9.89844 5 6276
0.00/0.05	o 12986
0.00/0.05	c 0.043993 9.89844 32 6851
0.00/0.05	o 12879
0.00/0.06	c 0.047992 9.89844 47 7150
0.00/0.06	o 12785
0.00/0.08	c 0.06099 10.0234 149 7791
0.00/0.08	o 12755
0.00/0.08	c 0.06399 10.0234 166 8034
0.00/0.08	o 12746
0.29/0.36	c 0.232964 10.1484 489 13327
0.29/0.36	o 12728
0.29/0.38	c 0.248962 10.1484 582 13673
0.29/0.38	o 12720
0.39/0.40	c 0.253961 10.1484 647 14011
0.39/0.40	o 12607
0.39/0.41	c 0.25996 10.1484 432 14633
0.39/0.41	o 12476
0.39/0.42	c 0.266959 10.1484 495 15038
0.39/0.42	o 12349
0.49/0.52	c 0.32795 10.1484 430 17015
0.49/0.52	o 12291
0.49/0.52	c 0.329949 10.1484 444 17236
0.49/0.52	o 12262
0.49/0.54	c 0.339948 10.1484 509 17587
0.49/0.54	o 12203
0.49/0.57	c 0.360945 10.1484 712 18324
0.49/0.57	o 12127
0.69/0.77	c 0.476927 10.1484 720 21334
0.69/0.77	o 11891
0.79/0.80	c 0.501923 10.1484 574 22130
0.79/0.80	o 11880
0.79/0.82	c 0.513921 10.1484 634 22417
0.79/0.82	o 11867
2.10/2.18	c 1.38379 10.2734 773 39498
2.10/2.18	o 11809
2.19/2.25	c 1.43178 10.2734 454 40866
2.19/2.25	o 11723
2.29/2.35	c 1.49677 10.2734 698 42547
2.29/2.35	o 11668
2.29/2.37	c 1.51177 10.2734 508 43099
2.29/2.37	o 11659
2.39/2.43	c 1.54776 10.2734 769 43921
2.39/2.43	o 11606
2.39/2.45	c 1.55676 10.2734 490 44714
2.39/2.45	o 11407
2.39/2.45	c 1.55876 10.2734 491 45502
2.39/2.45	o 10619
2.39/2.49	c 1.59176 10.2734 361 46394
2.39/2.49	o 10547
2.49/2.53	c 1.61975 10.2734 566 47196
2.49/2.53	o 10536
2.49/2.54	c 1.62275 10.2734 585 47592
2.49/2.54	o 10330
2.49/2.55	c 1.63175 10.2734 655 47932
2.49/2.55	o 10254
2.49/2.57	c 1.64375 10.2734 472 48554
2.49/2.57	o 10206
3.69/3.71	c 2.38064 10.2734 598 65395
3.69/3.71	o 10142
5.40/5.46	c 3.51647 10.3984 812 86344
5.40/5.46	o 10094
5.49/5.54	c 3.56546 10.3984 424 87631
5.49/5.54	o 10092
5.49/5.54	c 3.56746 10.3984 427 87940
5.49/5.54	o 9883
5.49/5.55	c 3.56946 10.3984 433 88140
5.49/5.55	o 9821
5.49/5.56	c 3.57746 10.3984 493 88446
5.49/5.56	o 9802
5.59/5.66	c 3.63645 10.3984 627 90120
5.59/5.66	o 9631
5.79/5.87	c 3.76943 10.3984 705 92466
5.79/5.87	o 9577
5.99/6.02	c 3.86941 10.3984 731 94704
5.99/6.02	o 9547
5.99/6.07	c 3.90841 10.3984 353 95789
5.99/6.07	o 9488
6.19/6.26	c 4.02739 10.3984 713 97708
6.19/6.26	o 9412
6.19/6.28	c 4.04038 10.3984 437 98027
6.19/6.28	o 9363
6.79/6.86	c 4.40133 10.3984 755 104461
6.79/6.86	o 9360
6.89/6.93	c 4.45332 10.3984 686 105562
6.89/6.93	o 9155
7.09/7.11	c 4.55231 10.3984 735 107941
7.09/7.11	o 9036
7.09/7.18	c 4.5863 10.3984 646 108875
7.09/7.18	o 9002
7.20/7.26	c 4.64529 10.3984 664 110194
7.20/7.26	o 8796
7.59/7.68	c 4.89026 10.3984 521 113282
7.59/7.68	o 8787
7.89/7.90	c 5.02524 10.3984 527 116179
7.89/7.90	o 8784
8.00/8.07	c 5.13422 10.3984 671 118541
8.00/8.07	o 8762
8.00/8.09	c 5.14822 10.3984 426 118938
8.00/8.09	o 8658
8.29/8.35	c 5.29919 10.3984 529 122454
8.29/8.35	o 8610
8.29/8.38	c 5.31619 10.3984 664 123008
8.29/8.38	o 8585
8.70/8.76	c 5.54116 10.5234 825 127710
8.70/8.76	o 8442
8.80/8.84	c 5.59815 10.5234 748 128732
8.80/8.84	o 8423
8.89/8.99	c 5.69013 10.5234 706 130430
8.89/8.99	o 8381
9.19/9.25	c 5.85711 10.5234 421 133981
9.19/9.25	o 8222
9.39/9.43	c 5.96809 10.5234 498 136492
9.39/9.43	o 8131
9.49/9.52	c 6.02508 10.5234 638 137721
9.49/9.52	o 8103
9.80/9.88	c 6.23805 10.5234 716 141330
9.80/9.88	o 8101
10.00/10.05	c 6.34403 10.5234 801 143076
10.00/10.05	o 8086
10.39/10.42	c 6.58 10.5234 742 147697
10.39/10.42	o 8058
10.59/10.62	c 6.69898 10.5234 850 149599
10.59/10.62	o 8027
10.79/10.89	c 6.85996 10.5234 577 153133
10.79/10.89	o 7862
11.70/11.77	c 7.41587 10.5234 408 161870
11.70/11.77	o 7777
11.70/11.77	c 7.41887 10.5234 414 162055
11.70/11.77	o 7766
11.79/11.82	c 7.45187 10.5234 556 162637
11.79/11.82	o 7653
11.79/11.88	c 7.48586 10.5234 735 163153
11.79/11.88	o 7648
12.39/12.43	c 7.82381 10.5234 586 168937
12.39/12.43	o 7640
12.59/12.63	c 7.96279 10.5234 514 171743
12.59/12.63	o 7514
12.59/12.67	c 7.99179 10.5234 694 172366
12.59/12.67	o 7507
12.69/12.77	c 8.06077 10.5234 457 173851
12.69/12.77	o 7453
13.10/13.10	c 8.26674 10.5234 765 177709
13.10/13.10	o 7433
13.39/13.48	c 8.50671 10.5234 789 181536
13.39/13.48	o 7431
13.49/13.56	c 8.5517 10.5234 433 182677
13.49/13.56	o 7383
13.69/13.70	c 8.63269 10.5234 726 184545
13.69/13.70	o 7324
13.69/13.71	c 8.64069 10.5234 467 185010
13.69/13.71	o 7244
13.69/13.74	c 8.65468 10.5234 549 185325
13.69/13.74	o 7217
13.79/13.86	c 8.73067 10.5234 665 187067
13.79/13.86	o 7050
14.20/14.24	c 8.98163 10.6484 421 192602
14.20/14.24	o 7009
14.20/14.25	c 8.99463 10.6484 487 192960
14.20/14.25	o 6904
14.30/14.31	c 9.02863 10.6484 671 193537
14.30/14.31	o 6897
14.30/14.38	c 9.08162 10.6484 558 194278
14.30/14.38	o 6814
14.59/14.66	c 9.25259 10.6484 737 198253
14.59/14.66	o 6531
15.19/15.28	c 9.63453 10.6484 547 204931
15.19/15.28	o 6394
15.49/15.51	c 9.78251 10.6484 590 207838
15.49/15.51	o 6390
15.79/15.84	c 9.98248 10.6484 855 211421
15.79/15.84	o 6360
15.89/15.97	c 10.0685 10.6484 609 212923
15.89/15.97	o 6330
15.99/16.08	c 10.1375 10.6484 732 214082
15.99/16.08	o 6250
16.19/16.25	c 10.2444 10.6484 438 216449
16.19/16.25	o 6159
16.19/16.28	c 10.2654 10.6484 595 216897
16.19/16.28	o 6156
16.79/16.81	c 10.5834 10.6484 837 222312
16.79/16.81	o 6154
16.79/16.89	c 10.6394 10.6484 454 223601
16.79/16.89	o 6132
17.20/17.24	c 10.8523 10.6484 674 227272
17.20/17.24	o 6123
17.20/17.27	c 10.8743 10.6484 437 227749
17.20/17.27	o 6089
17.29/17.38	c 10.9473 10.6484 848 228885
17.29/17.38	o 5954
17.50/17.52	c 11.0333 10.6484 505 230107
17.50/17.52	o 5938
17.60/17.66	c 11.1383 10.6484 501 232017
17.60/17.66	o 5822
17.69/17.79	c 11.2173 10.6484 664 233582
17.69/17.79	o 5802
18.19/18.21	c 11.4743 10.6484 773 237307
18.19/18.21	o 5710
18.19/18.23	c 11.4873 10.6484 499 237761
18.19/18.23	o 5700
18.19/18.26	c 11.5092 10.6484 623 238266
18.19/18.26	o 5655
18.60/18.65	c 11.7542 10.6484 610 242186
18.60/18.65	o 5605
18.70/18.74	c 11.8102 10.6484 583 243339
18.70/18.74	o 5436
18.89/18.91	c 11.9112 10.6484 786 244855
18.89/18.91	o 5295
18.89/18.97	c 11.9512 10.6484 641 245529
18.89/18.97	o 5208
19.09/19.16	c 12.0722 10.6484 592 247311
19.09/19.16	o 5158
19.39/19.42	c 12.2361 10.6484 887 250338
19.39/19.42	o 5004
19.49/19.55	c 12.3131 10.6484 632 252028
19.49/19.55	o 4949
19.59/19.65	c 12.3781 10.6484 635 252817
19.59/19.65	o 4933
19.99/20.05	c 12.6431 10.6484 763 257498
19.99/20.05	o 4898
20.39/20.43	c 12.886 10.7695 640 260477
20.39/20.43	o 4885
20.39/20.48	c 12.918 10.7695 446 261041
20.39/20.48	o 4780
20.49/20.52	c 12.939 10.7695 598 261555
20.49/20.52	o 4732
20.49/20.56	c 12.963 10.7695 781 262188
20.49/20.56	o 4636
20.59/20.68	c 13.034 10.7695 792 263094
20.59/20.68	o 4584
20.79/20.84	c 13.127 10.7695 637 264980
20.79/20.84	o 4523
20.99/21.00	c 13.226 10.7695 792 266262
20.99/21.00	o 4505
21.19/21.23	c 13.357 10.7695 510 268633
21.19/21.23	o 4473
22.09/22.12	c 13.9129 10.7695 517 277457
22.09/22.12	o 4385
22.39/22.43	c 14.1029 10.7695 575 280945
22.39/22.43	o 4381
22.59/22.68	c 14.2698 10.7695 852 283209
22.59/22.68	o 4325
22.79/22.86	c 14.3868 10.7695 745 285208
22.79/22.86	o 4322
23.00/23.01	c 14.4858 10.7695 852 286525
23.00/23.01	o 4318
23.10/23.10	c 14.5458 10.7695 757 287520
23.10/23.10	o 4172
23.19/23.26	c 14.6568 10.7695 522 288971
23.19/23.26	o 4146
23.29/23.32	c 14.6948 10.7695 777 289805
23.29/23.32	o 4101
23.29/23.38	c 14.7328 10.7695 645 290548
23.29/23.38	o 4065
23.39/23.40	c 14.7498 10.7695 714 290793
23.39/23.40	o 4036
23.39/23.43	c 14.7668 10.7695 427 291257
23.39/23.43	o 4021
23.49/23.56	c 14.8487 10.7695 879 292408
23.49/23.56	o 3988
23.59/23.68	c 14.9207 10.7695 526 293807
23.59/23.68	o 3955
23.69/23.74	c 14.9657 10.7695 812 294751
23.69/23.74	o 3916
23.69/23.76	c 14.9767 10.7695 456 295034
23.69/23.76	o 3850
24.00/24.00	c 15.1337 10.7695 431 297052
24.00/24.00	o 3840
24.19/24.21	c 15.2747 10.7695 748 298960
24.19/24.21	o 3788
24.19/24.24	c 15.2947 10.7695 511 299359
24.19/24.24	o 3787
24.19/24.25	c 15.3017 10.7695 543 299514
24.19/24.25	o 3757
24.50/24.59	c 15.5196 10.7695 572 302389
24.50/24.59	o 3733
24.59/24.69	c 15.5866 10.7695 624 303566
24.59/24.69	o 3679
24.69/24.71	c 15.5976 10.7695 679 303814
24.69/24.71	o 3656
24.69/24.78	c 15.6296 10.7695 581 304575
24.69/24.78	o 3635
24.79/24.88	c 15.6986 10.7695 553 305624
24.79/24.88	o 3634
24.89/24.94	c 15.7346 10.7695 741 306092
24.89/24.94	o 3631
25.09/25.17	c 15.8816 10.7695 704 308100
25.09/25.17	o 3613
25.09/25.19	c 15.9006 10.7695 790 308389
25.09/25.19	o 3558
25.30/25.37	c 16.0196 10.7695 498 309810
25.30/25.37	o 3475
25.30/25.39	c 16.0296 10.7695 531 309972
25.30/25.39	o 3465
25.39/25.42	c 16.0486 10.7695 610 310187
25.39/25.42	o 3440
25.49/25.53	c 16.1255 10.7695 563 311295
25.49/25.53	o 3345
25.49/25.56	c 16.1415 10.7695 639 311568
25.49/25.56	o 3256
25.80/25.85	c 16.3265 10.8945 443 314271
25.80/25.85	o 3173
25.80/25.89	c 16.3495 10.8945 563 314687
25.80/25.89	o 3124
25.80/25.89	c 16.3505 10.8945 563 314742
25.80/25.89	o 3106
25.80/25.89	c 16.3515 10.8945 563 314778
25.80/25.89	o 3105
25.80/25.89	c 16.3545 10.8945 584 314899
25.80/25.89	o 3032
25.99/26.08	c 16.4695 10.8945 799 316522
25.99/26.08	o 3003
26.19/26.23	c 16.5615 10.8945 470 317740
26.19/26.23	o 2969
26.19/26.25	c 16.5725 10.8945 515 317932
26.19/26.25	o 2962
26.19/26.28	c 16.5895 10.8945 610 318253
26.19/26.28	o 2955
26.49/26.56	c 16.7724 10.8945 705 320443
26.49/26.56	o 2941
26.59/26.65	c 16.8454 10.8945 589 321207
26.59/26.65	o 2937
26.59/26.68	c 16.8644 10.8945 673 321529
26.59/26.68	o 2899
26.79/26.88	c 16.9904 10.8945 498 323124
26.79/26.88	o 2893
26.89/26.91	c 17.0054 10.8945 593 323368
26.89/26.91	o 2883
26.99/27.06	c 17.1004 10.8945 616 324603
26.99/27.06	o 2857
26.99/27.09	c 17.1144 10.8945 737 325079
26.99/27.09	o 2818
27.19/27.23	c 17.1994 10.8945 730 326215
27.19/27.23	o 2799
27.29/27.39	c 17.3034 10.8945 783 327299
27.29/27.39	o 2798
27.40/27.41	c 17.3134 10.8945 448 327477
27.40/27.41	o 2781
27.40/27.45	c 17.3414 10.8945 584 327923
27.40/27.45	o 2753
27.59/27.67	c 17.4653 10.8945 932 329684
27.59/27.67	o 2751
27.79/27.85	c 17.5753 10.8945 538 330864
27.79/27.85	o 2718
27.79/27.88	c 17.5973 10.8945 627 331224
27.79/27.88	o 2608
28.09/28.12	c 17.7443 10.8945 686 333348
28.09/28.12	o 2607
28.09/28.13	c 17.7503 10.8945 711 333453
28.09/28.13	o 2599
28.19/28.25	c 17.8153 10.8945 671 334311
28.19/28.25	o 2553
28.19/28.29	c 17.8423 10.8945 810 334773
28.19/28.29	o 2538
28.29/28.32	c 17.8613 10.8945 491 335046
28.29/28.32	o 2507
28.39/28.42	c 17.9233 10.8945 769 335906
28.39/28.42	o 2405
28.50/28.53	c 17.9913 10.8945 680 336851
28.50/28.53	o 2338
28.50/28.53	c 17.9933 10.8945 701 337033
28.50/28.53	o 2249
28.50/28.58	c 18.0213 10.8945 463 337503
28.50/28.58	o 2211
28.69/28.71	c 18.1012 10.8945 849 338387
28.69/28.71	o 2191
28.69/28.78	c 18.1472 10.8945 649 338918
28.69/28.78	o 2184
28.79/28.81	c 18.1632 10.8945 732 339131
28.79/28.81	o 2162
28.79/28.82	c 18.1722 10.8945 766 339304
28.79/28.82	o 2123
28.89/28.99	c 18.2772 10.8945 809 340392
28.89/28.99	o 2075
29.00/29.02	c 18.2952 10.8945 507 340679
29.00/29.02	o 2024
29.00/29.03	c 18.2972 11.0273 509 340742
29.00/29.03	o 1997
29.00/29.04	c 18.3052 11.0273 533 340901
29.00/29.04	o 1930
29.00/29.09	c 18.3372 11.0273 680 341285
29.00/29.09	o 1923
29.09/29.18	c 18.3942 11.0273 500 342151
29.09/29.18	o 1876
29.09/29.18	c 18.3972 11.0273 507 342265
29.09/29.18	o 1820
29.19/29.20	c 18.4082 11.0273 542 342371
29.19/29.20	o 1815
29.19/29.22	c 18.4202 11.0273 626 342544
29.19/29.22	o 1766
29.19/29.22	c 18.4222 11.0273 643 342694
29.19/29.22	o 1686
29.19/29.24	c 18.4322 11.0273 686 342820
29.19/29.24	o 1663
29.19/29.25	c 18.4382 11.0273 710 342927
29.19/29.25	o 1638
29.19/29.25	c 18.4422 11.0273 728 343089
29.19/29.25	o 1531
29.19/29.28	c 18.4532 11.0273 826 343315
29.19/29.28	o 1520
29.19/29.28	c 18.4582 11.0273 426 343430
29.19/29.28	o 1468
29.19/29.29	c 18.4612 11.0273 446 343537
29.19/29.29	o 1409
29.29/29.30	c 18.4682 11.0273 484 343743
29.29/29.30	o 1310
29.29/29.31	c 18.4692 11.0273 490 343795
29.29/29.31	o 1295
29.29/29.32	c 18.4802 11.0273 537 343976
29.29/29.32	o 1258
29.49/29.51	c 18.5962 11.0273 654 345123
29.49/29.51	o 1249
29.49/29.52	c 18.6012 11.0273 679 345243
29.49/29.52	o 1184
29.49/29.56	c 18.6242 11.0273 855 345575
29.49/29.56	o 1181
29.49/29.59	c 18.6482 11.0273 565 345880
29.49/29.59	o 1157
29.60/29.61	c 18.6652 11.0273 636 346131
29.60/29.61	o 1151
29.60/29.63	c 18.6682 11.0273 666 346233
29.60/29.63	o 1144
29.60/29.64	c 18.6782 11.0273 706 346335
29.60/29.64	o 1140
29.70/29.72	c 18.7202 11.0273 463 346894
29.70/29.72	o 1090
29.70/29.75	c 18.7491 11.0273 607 347238
29.70/29.75	o 1086
29.70/29.76	c 18.7571 11.0273 634 347321
29.70/29.76	o 1062
29.70/29.76	c 18.7591 11.0273 639 347382
29.70/29.76	o 1043
29.70/29.78	c 18.7681 11.0273 687 347559
29.70/29.78	o 1003
29.79/29.80	c 18.7821 11.0273 740 347912
29.79/29.80	o 881
29.79/29.81	c 18.7871 11.0273 765 348042
29.79/29.81	o 812
29.79/29.82	c 18.7951 11.0273 802 348160
29.79/29.82	o 755
29.79/29.84	c 18.8021 11.0273 842 348358
29.79/29.84	o 661
29.79/29.84	c 18.8051 11.0273 812 348398
29.79/29.84	o 657
29.79/29.84	c 18.8071 11.0273 819 348466
29.79/29.84	o 599
29.79/29.85	c 18.8111 11.0273 837 348579
29.79/29.85	o 536
29.79/29.86	c 18.8201 11.1523 921 348748
29.79/29.86	o 459
29.79/29.86	c 18.8251 11.1523 781 348837
29.79/29.86	o 409
29.79/29.87	c 18.8271 11.1523 800 348889
29.79/29.87	o 394
29.79/29.87	c 18.8291 11.1523 809 348924
29.79/29.87	o 385
29.79/29.88	c 18.8401 11.1523 872 349052
29.79/29.88	o 348
29.79/29.89	c 18.8441 11.1523 684 349116
29.79/29.89	o 345
29.79/29.90	c 18.8471 11.1523 701 349184
29.79/29.90	o 317
29.89/29.90	c 18.8501 11.1523 723 349262
29.89/29.90	o 286
29.89/29.90	c 18.8521 11.1523 735 349304
29.89/29.90	o 282
29.89/29.92	c 18.8671 11.1523 695 349473
29.89/29.92	o 261
29.89/29.92	c 18.8681 11.1523 695 349491
29.89/29.92	o 260
29.89/29.92	c 18.8691 11.1523 701 349530
29.89/29.92	o 252
29.89/29.92	c 18.8691 11.1523 702 349564
29.89/29.92	o 246
29.89/29.92	c 18.8701 11.1523 703 349675
29.89/29.92	o 137
29.89/29.92	c 18.8711 11.1523 703 349720
29.89/29.92	o 99
29.89/29.92	c 18.8711 11.1523 703 349740
29.89/29.92	o 98
29.89/29.93	c 18.8761 11.1523 739 349834
29.89/29.93	o 60
29.89/29.93	c 18.8791 11.1523 769 349894
29.89/29.93	o 38
29.89/29.94	c 18.8851 11.1523 828 349998
29.89/29.94	o 0
29.89/29.94	c 18.8851 11.1523 671 349998
29.89/29.94	s OPTIMUM FOUND
29.89/29.94	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-2700408-1278535503/watcher-2700408-1278535503 -o /tmp/evaluation-result-2700408-1278535503/solver-2700408-1278535503 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700408-1278535503.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.97 1.98 1.65 4/176 18611
/proc/meminfo: memFree=28273784/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=2136 CPUtime=0
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 21764046 2187264 181 4089446400 134512640 136421960 4292711200 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18611/statm: 534 181 144 467 0 65 0

[startup+0.00998391 s]
/proc/loadavg: 1.97 1.98 1.65 4/176 18611
/proc/meminfo: memFree=28273784/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=3180 CPUtime=0
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 510 0 0 0 0 0 0 0 25 0 1 0 21764046 3256320 429 4089446400 134512640 136421960 4292711200 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 795 431 193 467 0 326 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3180

[startup+0.10097 s]
/proc/loadavg: 1.97 1.98 1.65 4/176 18611
/proc/meminfo: memFree=28273784/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10260 CPUtime=0.09
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2296 0 0 0 7 2 0 0 25 0 1 0 21764046 10506240 2201 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2565 2201 238 467 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.300938 s]
/proc/loadavg: 1.97 1.98 1.65 4/176 18611
/proc/meminfo: memFree=28273784/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10388 CPUtime=0.29
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2323 0 0 0 19 10 0 0 25 0 1 0 21764046 10637312 2228 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2597 2228 238 467 0 2128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10388

[startup+0.700856 s]
/proc/loadavg: 1.97 1.98 1.65 4/176 18611
/proc/meminfo: memFree=28273784/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10388 CPUtime=0.69
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2348 0 0 0 43 26 0 0 25 0 1 0 21764046 10637312 2244 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2597 2244 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50073 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18612
/proc/meminfo: memFree=28264728/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10516 CPUtime=1.49
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2369 0 0 0 93 56 0 0 25 0 1 0 21764046 10768384 2262 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2629 2262 238 467 0 2160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10516

[startup+3.10046 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18612
/proc/meminfo: memFree=28263612/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10516 CPUtime=3.09
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2405 0 0 0 198 111 0 0 25 0 1 0 21764046 10768384 2286 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2629 2286 238 467 0 2160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10516

[startup+6.30092 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18612
/proc/meminfo: memFree=28261748/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10644 CPUtime=6.29
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2444 0 0 0 405 224 0 0 25 0 1 0 21764046 10899456 2313 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2661 2313 238 467 0 2192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10644

[startup+12.7008 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18612
/proc/meminfo: memFree=28256928/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=10772 CPUtime=12.69
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2512 0 0 0 800 469 0 0 25 0 1 0 21764046 11030528 2352 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2693 2352 238 467 0 2224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10772

[startup+25.5007 s]
/proc/loadavg: 1.98 1.98 1.65 3/177 18613
/proc/meminfo: memFree=28246424/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=11024 CPUtime=25.49
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2662 0 0 0 1610 939 0 0 25 0 1 0 21764046 11288576 2424 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2756 2424 238 467 0 2287 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11024

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

[startup+27.1004 s]
/proc/loadavg: 1.98 1.98 1.65 3/177 18613
/proc/meminfo: memFree=28245556/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=11152 CPUtime=27.09
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2696 0 0 0 1711 998 0 0 25 0 1 0 21764046 11419648 2440 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2788 2440 238 467 0 2319 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 11152

[startup+28.7001 s]
/proc/loadavg: 1.98 1.98 1.66 3/177 18613
/proc/meminfo: memFree=28243940/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=11152 CPUtime=28.69
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2725 0 0 0 1809 1060 0 0 25 0 1 0 21764046 11419648 2453 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2788 2453 238 467 0 2319 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 11152

[startup+29.501 s]
/proc/loadavg: 1.98 1.98 1.66 3/177 18613
/proc/meminfo: memFree=28243940/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=11288 CPUtime=29.49
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2777 0 0 0 1858 1091 0 0 25 0 1 0 21764046 11558912 2482 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2822 2482 238 467 0 2353 0
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (KiB) 11288

[startup+29.9009 s]
/proc/loadavg: 1.98 1.98 1.66 3/177 18613
/proc/meminfo: memFree=28242700/32951132 swapFree=67111528/67111528
[pid=18611] ppid=18609 vsize=11416 CPUtime=29.89
/proc/18611/stat : 18611 (pbct) R 18609 18611 17444 0 -1 4202496 2817 0 0 0 1884 1105 0 0 25 0 1 0 21764046 11689984 2496 4089446400 134512640 136421960 4292711200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18611/statm: 2854 2496 238 467 0 2385 0
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (KiB) 11416

Child status: 0
Real time (s): 29.9511
CPU time (s): 29.9514
CPU user time (s): 18.8931
CPU system time (s): 11.0583
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 11416

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

runsolver used 0.038994 second user time and 0.104984 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 22:45:03
IDJOB=2700408
IDBENCH=79425
IDSOLVER=1208
FILE ID=node129/2700408-1278535503
PBS_JOBID= 11239220
Free space on /tmp= 73788 MiB

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

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

MD5SUM BENCH= 862c57b9a103de4e976a73e17aca1258
RANDOM SEED=108174224

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28274304 kB
Buffers:        138780 kB
Cached:        2881844 kB
SwapCached:          0 kB
Active:        2672140 kB
Inactive:      1864652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28274304 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1988 kB
Writeback:           4 kB
AnonPages:     1516336 kB
Mapped:          15560 kB
Slab:            75864 kB
PageTables:       7664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1657504 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73788 MiB
End job on node129 at 2010-07-07 22:45:33