Trace number 2700300

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.1596 29.1602

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh209_wcsp.wbo
MD5SUM9631dbe60bb4b54b94c0583eca7044d2
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.154975
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.032994 9.74609 1 1849
0.00/0.03	o 28314
0.00/0.03	c 0.033994 9.89453 1 2431
0.00/0.03	o 27697
0.00/0.04	c 0.034994 9.89453 2 3284
0.00/0.04	o 26696
0.00/0.04	c 0.034994 9.89453 2 4129
0.00/0.04	o 16165
0.00/0.04	c 0.035994 9.89453 2 4496
0.00/0.04	o 15943
0.00/0.04	c 0.035994 9.89453 3 4991
0.00/0.04	o 15597
0.00/0.04	c 0.035994 9.89453 6 5398
0.00/0.04	o 15343
0.00/0.04	c 0.035994 9.89453 6 5707
0.00/0.04	o 15293
0.00/0.05	c 0.038994 9.89453 11 6191
0.00/0.05	o 15039
0.09/0.12	c 0.053991 10.0195 434 8051
0.09/0.12	o 14802
0.09/0.14	c 0.056991 10.0195 493 8419
0.09/0.14	o 14669
0.49/0.51	c 0.114982 10.1445 498 13259
0.49/0.51	o 14616
0.49/0.53	c 0.119981 10.1445 639 13945
0.49/0.53	o 14597
0.69/0.70	c 0.145977 10.1445 560 16918
0.69/0.70	o 14560
0.69/0.72	c 0.149977 10.1445 331 17912
0.69/0.72	o 13952
0.69/0.72	c 0.149977 10.1445 332 18838
0.69/0.72	o 12542
0.69/0.72	c 0.151976 10.1445 333 19363
0.69/0.72	o 12089
0.69/0.73	c 0.151976 10.1445 347 19575
0.69/0.73	o 12072
0.69/0.79	c 0.164974 10.1445 634 20592
0.69/0.79	o 12009
0.79/0.83	c 0.171973 10.1445 497 21437
0.79/0.83	o 11668
0.79/0.85	c 0.176973 10.1445 657 22101
0.79/0.85	o 11626
1.00/1.01	c 0.202969 10.1445 622 25251
1.00/1.01	o 11503
1.09/1.16	c 0.226965 10.1445 475 28017
1.09/1.16	o 11457
1.18/1.26	c 0.242963 10.1445 374 29820
1.18/1.26	o 11374
1.18/1.29	c 0.246962 10.1445 528 30391
1.18/1.29	o 11373
1.28/1.34	c 0.25696 10.1445 502 31233
1.28/1.34	o 11312
1.39/1.46	c 0.278957 10.1445 553 33777
1.39/1.46	o 11238
1.39/1.47	c 0.280957 10.1445 630 34235
1.39/1.47	o 11059
1.49/1.51	c 0.288956 10.1445 488 34805
1.49/1.51	o 11058
1.49/1.54	c 0.296954 10.1445 641 35434
1.49/1.54	o 10987
1.49/1.57	c 0.304953 10.1445 498 36237
1.49/1.57	o 10652
1.58/1.60	c 0.311952 10.1445 661 36986
1.58/1.60	o 10595
1.69/1.78	c 0.351946 10.1445 475 40018
1.69/1.78	o 10365
2.20/2.25	c 0.417936 10.2695 952 46402
2.20/2.25	o 10305
2.29/2.32	c 0.428934 10.2695 553 47726
2.29/2.32	o 10246
2.29/2.33	c 0.429934 10.2695 587 48164
2.29/2.33	o 10155
2.39/2.47	c 0.468928 10.2695 659 50405
2.39/2.47	o 10045
2.89/2.93	c 0.576912 10.2695 386 55878
2.89/2.93	o 9678
2.89/2.94	c 0.577912 10.2695 386 56314
2.89/2.94	o 9371
2.89/2.94	c 0.577912 10.2695 392 56849
2.89/2.94	o 9088
2.89/2.94	c 0.580911 10.2695 412 57060
2.89/2.94	o 9020
3.09/3.18	c 0.616906 10.2695 709 60272
3.09/3.18	o 8905
3.30/3.34	c 0.638902 10.2695 881 61375
3.30/3.34	o 8846
3.79/3.82	c 0.729889 10.2695 845 65761
3.79/3.82	o 8735
4.19/4.25	c 0.802877 10.2695 533 71612
4.19/4.25	o 8690
4.89/4.92	c 0.904862 10.2695 876 78642
4.89/4.92	o 8651
4.98/5.08	c 0.936857 10.2695 526 81217
4.98/5.08	o 8579
5.50/5.53	c 1.09383 10.3906 542 85789
5.50/5.53	o 8530
5.99/6.06	c 1.2908 10.3906 613 92280
5.99/6.06	o 8470
6.49/6.59	c 1.48477 10.3906 495 100265
6.49/6.59	o 8282
6.89/6.95	c 1.54476 10.3906 635 104515
6.89/6.95	o 8254
7.39/7.41	c 1.63275 10.3906 450 108966
7.39/7.41	o 8248
7.49/7.51	c 1.64475 10.3906 505 110369
7.49/7.51	o 8240
7.70/7.73	c 1.67674 10.3906 635 112849
7.70/7.73	o 8219
7.99/8.09	c 1.74573 10.3906 476 117612
7.99/8.09	o 8035
9.09/9.11	c 1.89371 10.3906 392 128628
9.09/9.11	o 8014
9.39/9.42	c 1.9427 10.3906 574 130886
9.39/9.42	o 7943
9.89/9.93	c 2.03269 10.3906 752 137079
9.89/9.93	o 7923
9.89/9.96	c 2.03569 10.3906 516 137642
9.89/9.96	o 7907
10.49/10.51	c 2.11468 10.3906 428 143544
10.49/10.51	o 7836
10.49/10.55	c 2.12168 10.3906 677 144381
10.49/10.55	o 7811
10.59/10.68	c 2.13567 10.3906 578 146105
10.59/10.68	o 7694
11.19/11.29	c 2.22666 10.3906 486 153148
11.19/11.29	o 7679
11.29/11.33	c 2.23566 10.3906 398 153910
11.29/11.33	o 7632
11.29/11.39	c 2.24566 10.3906 642 154729
11.29/11.39	o 7587
11.89/11.95	c 2.39164 10.5156 721 159476
11.89/11.95	o 7559
12.09/12.17	c 2.46663 10.5156 530 162229
12.09/12.17	o 7532
12.29/12.36	c 2.52861 10.5156 510 164288
12.29/12.36	o 7493
12.29/12.37	c 2.53761 10.5156 626 164831
12.29/12.37	o 7341
12.69/12.70	c 2.6476 10.5156 680 168565
12.69/12.70	o 7279
12.79/12.84	c 2.67659 10.5156 739 170690
12.79/12.84	o 7255
12.79/12.86	c 2.68259 10.5156 455 170996
12.79/12.86	o 7197
13.09/13.18	c 2.77658 10.5156 673 174638
13.09/13.18	o 7053
13.19/13.21	c 2.79458 10.5156 426 175142
13.19/13.21	o 7049
13.19/13.25	c 2.80157 10.5156 549 175619
13.19/13.25	o 7030
13.19/13.27	c 2.80457 10.5156 624 175975
13.19/13.27	o 6959
13.79/13.82	c 2.89356 10.5156 758 180756
13.79/13.82	o 6940
13.79/13.88	c 2.90356 10.5156 655 181554
13.79/13.88	o 6927
14.09/14.10	c 2.94055 10.5156 808 184107
14.09/14.10	o 6855
14.09/14.15	c 2.95255 10.5156 635 184868
14.09/14.15	o 6849
14.69/14.71	c 3.03654 10.5156 707 190777
14.69/14.71	o 6839
14.69/14.76	c 3.04354 10.5156 538 191335
14.69/14.76	o 6827
14.69/14.79	c 3.04654 10.5156 675 191781
14.69/14.79	o 6823
14.79/14.83	c 3.05154 10.5156 432 192300
14.79/14.83	o 6773
15.09/15.12	c 3.09753 10.5156 665 195372
15.09/15.12	o 6731
15.19/15.23	c 3.11852 10.5156 694 196461
15.19/15.23	o 6674
15.49/15.53	c 3.17152 10.5156 751 199676
15.49/15.53	o 6521
15.69/15.72	c 3.19351 10.5156 483 202074
15.69/15.72	o 6501
15.69/15.75	c 3.19451 10.5156 600 202594
15.69/15.75	o 6392
15.99/16.07	c 3.24651 10.5156 563 205399
15.99/16.07	o 6314
16.09/16.10	c 3.2545 10.5156 686 205919
16.09/16.10	o 6301
16.29/16.40	c 3.2885 10.5156 657 208464
16.29/16.40	o 6292
16.49/16.56	c 3.3175 10.5156 936 210125
16.49/16.56	o 6239
16.49/16.60	c 3.32649 10.5156 636 210643
16.49/16.60	o 6231
16.69/16.70	c 3.34049 10.5156 675 211722
16.69/16.70	o 6213
16.79/16.82	c 3.35849 10.5156 778 213214
16.79/16.82	o 6176
16.99/17.04	c 3.39248 10.5156 637 216110
16.99/17.04	o 6138
17.60/17.65	c 3.49747 10.6406 693 222355
17.60/17.65	o 6119
18.09/18.19	c 3.57746 10.6406 597 228023
18.09/18.19	o 5987
18.29/18.32	c 3.60745 10.6406 783 229659
18.29/18.32	o 5948
18.29/18.36	c 3.61445 10.6406 514 230250
18.29/18.36	o 5815
18.49/18.54	c 3.68844 10.6406 534 232386
18.49/18.54	o 5723
18.79/18.84	c 3.77842 10.6406 798 234994
18.79/18.84	o 5694
18.79/18.88	c 3.79342 10.6406 595 235762
18.79/18.88	o 5518
19.09/19.12	c 3.86841 10.6406 542 237899
19.09/19.12	o 5502
19.09/19.18	c 3.89241 10.6406 431 238785
19.09/19.18	o 5429
19.19/19.20	c 3.89741 10.6406 499 239081
19.19/19.20	o 5349
19.49/19.57	c 3.97839 10.6406 705 242501
19.49/19.57	o 5312
19.89/19.95	c 4.03539 10.6406 435 246876
19.89/19.95	o 5299
20.39/20.47	c 4.11337 10.6406 675 251497
20.39/20.47	o 5261
20.49/20.50	c 4.11537 10.6406 753 251744
20.49/20.50	o 5257
20.49/20.51	c 4.11637 10.6406 427 251960
20.49/20.51	o 5249
20.69/20.73	c 4.14837 10.6406 473 254253
20.69/20.73	o 5202
20.69/20.75	c 4.14937 10.6406 513 254525
20.69/20.75	o 5140
20.89/20.96	c 4.18736 10.6406 523 256692
20.89/20.96	o 4954
20.99/21.09	c 4.21236 10.6406 708 258446
20.99/21.09	o 4886
21.09/21.10	c 4.21636 10.6406 759 258689
21.09/21.10	o 4835
21.20/21.20	c 4.23336 10.6406 762 259528
21.20/21.20	o 4829
21.29/21.33	c 4.25535 10.6406 425 260762
21.29/21.33	o 4823
21.49/21.55	c 4.28635 10.6406 750 262200
21.49/21.55	o 4820
21.79/21.84	c 4.32634 10.6406 514 263971
21.79/21.84	o 4772
22.09/22.17	c 4.37434 10.6406 786 266529
22.09/22.17	o 4754
22.09/22.18	c 4.37633 10.6406 440 266781
22.09/22.18	o 4707
22.19/22.28	c 4.39233 10.6406 720 267624
22.19/22.28	o 4556
22.79/22.80	c 4.47532 10.6406 889 271864
22.79/22.80	o 4550
23.10/23.12	c 4.51931 10.6406 442 274810
23.10/23.12	o 4543
23.19/23.22	c 4.54131 10.6406 438 275959
23.19/23.22	o 4351
23.29/23.35	c 4.5713 10.6406 861 276938
23.29/23.35	o 4307
23.49/23.58	c 4.5993 10.6406 461 279164
23.49/23.58	o 4210
23.69/23.79	c 4.63429 10.6406 771 281174
23.69/23.79	o 4194
23.79/23.88	c 4.65029 10.6406 692 282019
23.79/23.88	o 4171
23.90/23.95	c 4.65629 10.6406 479 282488
23.90/23.95	o 4166
23.99/24.03	c 4.66429 10.6406 761 283239
23.99/24.03	o 4140
24.29/24.31	c 4.69429 10.6406 460 285678
24.29/24.32	o 4122
24.29/24.37	c 4.70029 10.7578 624 286209
24.29/24.37	o 4034
24.59/24.65	c 4.74328 10.7578 586 287890
24.59/24.65	o 4028
24.79/24.82	c 4.76727 10.7578 720 289227
24.79/24.82	o 4010
24.79/24.84	c 4.77227 10.7578 799 289573
24.79/24.84	o 3840
25.09/25.15	c 4.87926 10.7578 512 291723
25.09/25.15	o 3757
25.39/25.42	c 4.97024 10.7578 522 293947
25.39/25.42	o 3746
25.39/25.42	c 4.97224 10.7578 538 294080
25.39/25.42	o 3712
25.39/25.45	c 4.98724 10.7578 613 294249
25.39/25.45	o 3700
25.49/25.59	c 5.03723 10.7578 615 295509
25.49/25.59	o 3669
25.59/25.60	c 5.04323 10.7578 647 295682
25.59/25.60	o 3656
25.59/25.61	c 5.04423 10.7578 657 295748
25.59/25.61	o 3653
25.59/25.62	c 5.05123 10.7578 709 296030
25.59/25.62	o 3554
25.59/25.66	c 5.06323 10.7578 435 296482
25.59/25.66	o 3510
25.69/25.73	c 5.09023 10.7578 668 297139
25.69/25.73	o 3491
25.99/26.03	c 5.17721 10.7578 947 299779
25.99/26.03	o 3490
26.09/26.10	c 5.20221 10.7578 709 300524
26.09/26.10	o 3384
26.09/26.13	c 5.21421 10.7578 432 301037
26.09/26.13	o 3310
26.29/26.33	c 5.2702 10.7578 665 302633
26.29/26.33	o 3298
26.29/26.36	c 5.2742 10.7578 752 302858
26.29/26.36	o 3257
26.29/26.37	c 5.2742 10.7578 785 303074
26.29/26.37	o 3199
26.59/26.66	c 5.30519 10.7578 832 305085
26.59/26.66	o 3184
26.70/26.75	c 5.31819 10.7578 713 305926
26.70/26.75	o 3138
26.70/26.80	c 5.32619 10.7578 430 306269
26.70/26.80	o 3133
26.89/26.92	c 5.34219 10.7578 804 307122
26.89/26.92	o 3114
26.89/26.99	c 5.35019 10.7578 638 307833
26.89/26.99	o 3056
26.99/27.07	c 5.36718 10.7578 833 308232
26.99/27.07	o 3033
27.19/27.24	c 5.40118 10.7578 617 309658
27.19/27.24	o 3009
27.19/27.28	c 5.40918 10.7578 737 310084
27.19/27.28	o 2974
27.29/27.34	c 5.41718 10.7578 488 310554
27.29/27.34	o 2884
27.40/27.47	c 5.43717 10.7578 518 311592
27.40/27.47	o 2857
27.40/27.48	c 5.43817 10.7578 557 311762
27.40/27.48	o 2792
27.40/27.49	c 5.44017 10.7578 573 311883
27.40/27.49	o 2777
27.40/27.49	c 5.44117 10.7578 574 311963
27.40/27.49	o 2761
27.40/27.49	c 5.44117 10.7578 576 312039
27.40/27.49	o 2736
27.50/27.54	c 5.45217 10.7578 701 312458
27.50/27.54	o 2684
27.50/27.57	c 5.46017 10.7578 407 312765
27.50/27.57	o 2658
27.50/27.58	c 5.46017 10.8789 427 312856
27.50/27.58	o 2644
27.50/27.59	c 5.46117 10.8789 472 313013
27.50/27.59	o 2599
27.59/27.62	c 5.46917 10.8789 547 313215
27.59/27.62	o 2567
27.59/27.66	c 5.47717 10.8789 671 313530
27.59/27.66	o 2552
27.59/27.68	c 5.47817 10.8789 699 313657
27.59/27.68	o 2501
27.59/27.68	c 5.47817 10.8789 721 313800
27.59/27.68	o 2433
27.70/27.73	c 5.49216 10.8789 471 314247
27.70/27.73	o 2362
27.80/27.82	c 5.50316 10.8789 750 314842
27.80/27.82	o 2346
27.80/27.84	c 5.50816 10.8789 816 314997
27.80/27.84	o 2332
27.80/27.88	c 5.51116 10.8789 518 315311
27.80/27.88	o 2327
27.80/27.89	c 5.51316 10.8789 546 315438
27.80/27.89	o 2290
27.80/27.89	c 5.51416 10.8789 561 315634
27.80/27.89	o 2141
27.89/27.92	c 5.51916 10.8789 631 315799
27.89/27.92	o 2133
27.89/27.93	c 5.52416 10.8789 649 315916
27.89/27.93	o 2098
27.89/27.95	c 5.52616 10.8789 739 316137
27.89/27.95	o 2089
27.99/28.02	c 5.54116 10.8789 579 316824
27.99/28.02	o 2064
28.09/28.10	c 5.55415 10.8789 796 317313
28.09/28.10	o 2058
28.09/28.15	c 5.56515 10.8789 595 317899
28.09/28.15	o 2044
28.09/28.17	c 5.56715 10.8789 640 318162
28.09/28.17	o 1918
28.09/28.19	c 5.57015 10.8789 690 318375
28.09/28.19	o 1912
28.19/28.25	c 5.58515 10.8789 855 318745
28.19/28.25	o 1892
28.19/28.29	c 5.59615 10.8789 571 319144
28.19/28.29	o 1847
28.29/28.32	c 5.60115 10.8789 652 319377
28.29/28.32	o 1843
28.29/28.34	c 5.60415 10.8789 703 319817
28.29/28.34	o 1673
28.29/28.35	c 5.60515 10.8789 726 319892
28.29/28.35	o 1671
28.39/28.42	c 5.61715 10.8789 532 320443
28.39/28.42	o 1619
28.39/28.49	c 5.62514 10.8789 767 321016
28.39/28.49	o 1600
28.49/28.51	c 5.63214 11.0078 837 321237
28.49/28.51	o 1566
28.49/28.57	c 5.64314 11.0078 582 321652
28.49/28.57	o 1551
28.49/28.58	c 5.64614 11.0078 619 321836
28.49/28.58	o 1549
28.49/28.58	c 5.64614 11.0078 624 321888
28.49/28.58	o 1529
28.49/28.59	c 5.64714 11.0078 631 321988
28.49/28.59	o 1457
28.49/28.60	c 5.64814 11.0078 655 322184
28.49/28.60	o 1341
28.59/28.61	c 5.65114 11.0078 704 322323
28.59/28.61	o 1268
28.59/28.66	c 5.66114 11.0078 881 322753
28.59/28.66	o 1231
28.59/28.69	c 5.66914 11.0078 500 322932
28.59/28.69	o 1182
28.70/28.70	c 5.67314 11.0078 534 323092
28.70/28.70	o 1136
28.70/28.72	c 5.67814 11.0078 588 323228
28.70/28.72	o 1094
28.70/28.72	c 5.67914 11.0078 612 323290
28.70/28.72	o 1087
28.70/28.73	c 5.68014 11.0078 632 323355
28.70/28.73	o 1080
28.70/28.73	c 5.68314 11.0078 660 323475
28.70/28.73	o 1062
28.70/28.74	c 5.68713 11.0078 690 323595
28.70/28.74	o 1037
28.70/28.75	c 5.68713 11.0078 695 323648
28.70/28.75	o 1015
28.70/28.75	c 5.68914 11.0078 708 323702
28.70/28.75	o 1014
28.70/28.76	c 5.69013 11.0078 725 323768
28.70/28.76	o 995
28.70/28.77	c 5.69313 11.0078 778 323971
28.70/28.77	o 962
28.79/28.82	c 5.70213 11.0078 492 324306
28.79/28.82	o 925
28.79/28.84	c 5.70813 11.0078 580 324498
28.79/28.84	o 895
28.79/28.85	c 5.71013 11.0078 595 324548
28.79/28.85	o 888
28.79/28.85	c 5.71113 11.0078 609 324620
28.79/28.85	o 849
28.79/28.87	c 5.71313 11.0078 674 324791
28.79/28.87	o 836
28.79/28.88	c 5.71713 11.0078 704 324895
28.79/28.88	o 802
28.89/28.90	c 5.71913 11.0078 759 325049
28.89/28.90	o 780
28.89/28.90	c 5.72013 11.0078 787 325133
28.89/28.90	o 779
28.89/28.91	c 5.72513 11.0078 819 325257
28.89/28.91	o 770
28.89/28.92	c 5.72713 11.0078 827 325314
28.89/28.92	o 752
28.89/28.93	c 5.73313 11.0078 875 325394
28.89/28.93	o 746
28.89/28.93	c 5.73613 11.0078 890 325437
28.89/28.93	o 734
28.89/28.94	c 5.74013 11.0078 906 325493
28.89/28.94	o 718
28.89/28.97	c 5.74213 11.0078 1023 325722
28.89/28.97	o 672
28.89/28.99	c 5.74613 11.0078 1064 325873
28.89/28.99	o 617
28.99/29.00	c 5.74813 11.0078 580 325952
28.99/29.00	o 616
28.99/29.01	c 5.75113 11.0078 653 326162
28.99/29.01	o 604
28.99/29.02	c 5.75312 11.0078 662 326258
28.99/29.02	o 596
28.99/29.05	c 5.76012 11.0078 770 326500
28.99/29.05	o 583
28.99/29.05	c 5.76012 11.0078 773 326532
28.99/29.05	o 580
28.99/29.06	c 5.76212 11.0078 778 326565
28.99/29.06	o 575
28.99/29.07	c 5.76512 11.0078 845 326741
28.99/29.07	o 539
28.99/29.07	c 5.76912 11.0078 874 326809
28.99/29.07	o 524
28.99/29.08	c 5.77112 11.0078 894 326904
28.99/29.08	o 492
29.09/29.10	c 5.77612 11.0078 948 327038
29.09/29.10	o 485
29.09/29.10	c 5.77812 11.0078 966 327092
29.09/29.10	o 464
29.09/29.11	c 5.78112 11.0078 998 327178
29.09/29.11	o 434
29.09/29.12	c 5.78112 11.0078 1018 327293
29.09/29.12	o 425
29.09/29.12	c 5.78312 11.0078 1037 327345
29.09/29.12	o 419
29.09/29.12	c 5.78612 11.1328 1049 327391
29.09/29.12	o 397
29.09/29.13	c 5.78812 11.1328 1078 327458
29.09/29.13	o 372
29.09/29.14	c 5.79412 11.1328 1125 327700
29.09/29.14	o 195
29.09/29.14	c 5.79512 11.1328 1125 327717
29.09/29.14	o 190
29.09/29.14	c 5.79512 11.1328 1125 327745
29.09/29.14	o 165
29.09/29.14	c 5.79612 11.1328 1127 327793
29.09/29.14	o 124
29.09/29.14	c 5.79912 11.1328 715 327888
29.09/29.14	o 49
29.09/29.14	c 5.79912 11.1328 716 327909
29.09/29.14	o 39
29.09/29.15	c 5.80112 11.1328 759 327988
29.09/29.15	o 12
29.09/29.15	c 5.80212 11.1328 762 328015
29.09/29.15	o 0
29.09/29.15	c 5.80212 11.1328 762 328015
29.09/29.15	s OPTIMUM FOUND
29.09/29.15	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-2700300-1278534673/watcher-2700300-1278534673 -o /tmp/evaluation-result-2700300-1278534673/solver-2700300-1278534673 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700300-1278534673.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 2.83 2.11 3/178 20111
/proc/meminfo: memFree=28898612/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=2136 CPUtime=0
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 262 0 0 0 0 0 0 0 21 0 1 0 21681106 2187264 181 4089446400 134512640 136421960 4287166288 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20111/statm: 534 181 144 467 0 65 0

[startup+0.0120341 s]
/proc/loadavg: 1.97 2.83 2.11 3/178 20111
/proc/meminfo: memFree=28898612/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=3708 CPUtime=0
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 630 0 0 0 0 0 0 0 21 0 1 0 21681106 3796992 549 4089446400 134512640 136421960 4287166288 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 927 551 193 467 0 458 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3708

[startup+0.101018 s]
/proc/loadavg: 1.97 2.83 2.11 3/178 20111
/proc/meminfo: memFree=28898612/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10256 CPUtime=0.09
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2288 0 0 0 5 4 0 0 21 0 1 0 21681106 10502144 2198 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2564 2198 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300978 s]
/proc/loadavg: 1.97 2.83 2.11 3/178 20111
/proc/meminfo: memFree=28898612/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10384 CPUtime=0.29
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2334 0 0 0 7 22 0 0 21 0 1 0 21681106 10633216 2242 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2596 2242 238 467 0 2127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10384

[startup+0.700966 s]
/proc/loadavg: 1.97 2.83 2.11 3/178 20111
/proc/meminfo: memFree=28898612/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10384 CPUtime=0.69
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2337 0 0 0 14 55 0 0 22 0 1 0 21681106 10633216 2243 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2596 2243 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50075 s]
/proc/loadavg: 1.97 2.83 2.11 3/179 20112
/proc/meminfo: memFree=28888808/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10384 CPUtime=1.49
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2357 0 0 0 28 121 0 0 25 0 1 0 21681106 10633216 2248 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2596 2248 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10051 s]
/proc/loadavg: 1.97 2.83 2.11 3/179 20112
/proc/meminfo: memFree=28887580/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10512 CPUtime=3.09
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2399 0 0 0 60 249 0 0 25 0 1 0 21681106 10764288 2277 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2628 2277 238 467 0 2159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10512

[startup+6.30083 s]
/proc/loadavg: 1.97 2.82 2.11 3/179 20112
/proc/meminfo: memFree=28883364/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10636 CPUtime=6.29
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2428 0 0 0 139 490 0 0 25 0 1 0 21681106 10891264 2298 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2659 2298 238 467 0 2190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10636

[startup+12.7006 s]
/proc/loadavg: 1.97 2.80 2.11 3/179 20112
/proc/meminfo: memFree=28875092/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=10764 CPUtime=12.69
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2478 0 0 0 264 1005 0 0 25 0 1 0 21681106 11022336 2328 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2691 2328 238 467 0 2222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10764

[startup+25.5002 s]
/proc/loadavg: 1.98 2.76 2.11 3/179 20112
/proc/meminfo: memFree=28860012/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=11012 CPUtime=25.49
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2621 0 0 0 500 2049 0 0 25 0 1 0 21681106 11276288 2398 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2753 2398 238 467 0 2284 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11012

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

[startup+27.1008 s]
/proc/loadavg: 1.98 2.76 2.11 3/179 20112
/proc/meminfo: memFree=28858620/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=11012 CPUtime=27.09
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2653 0 0 0 537 2172 0 0 25 0 1 0 21681106 11276288 2412 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2753 2412 238 467 0 2284 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 11012

[startup+27.9007 s]
/proc/loadavg: 1.98 2.76 2.11 3/179 20112
/proc/meminfo: memFree=28857876/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=11136 CPUtime=27.89
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2693 0 0 0 551 2238 0 0 25 0 1 0 21681106 11403264 2430 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2784 2430 238 467 0 2315 0
Current children cumulated CPU time (s) 27.89
Current children cumulated vsize (KiB) 11136

[startup+28.7005 s]
/proc/loadavg: 1.98 2.75 2.11 3/179 20112
/proc/meminfo: memFree=28854280/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=11268 CPUtime=28.7
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2747 0 0 0 567 2303 0 0 25 0 1 0 21681106 11538432 2460 4089446400 134512640 136421960 4287166288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2817 2460 238 467 0 2348 0
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (KiB) 11268

[startup+29.1005 s]
/proc/loadavg: 1.98 2.75 2.11 3/179 20112
/proc/meminfo: memFree=28854280/32950928 swapFree=67111528/67111528
[pid=20111] ppid=20109 vsize=11268 CPUtime=29.09
/proc/20111/stat : 20111 (pbct) R 20109 20111 19207 0 -1 4202496 2808 0 0 0 577 2332 0 0 25 0 1 0 21681106 11538432 2487 4089446400 134512640 136421960 4287166288 18446744073709551615 134868285 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20111/statm: 2817 2487 238 467 0 2348 0
Current children cumulated CPU time (s) 29.09
Current children cumulated vsize (KiB) 11268

Child status: 0
Real time (s): 29.1602
CPU time (s): 29.1596
CPU user time (s): 5.81112
CPU system time (s): 23.3484
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 11268

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

runsolver used 0.035994 second user time and 0.122981 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-07 22:31:13
IDJOB=2700300
IDBENCH=79416
IDSOLVER=1208
FILE ID=node127/2700300-1278534673
PBS_JOBID= 11239223
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= 9631dbe60bb4b54b94c0583eca7044d2
RANDOM SEED=908019581

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28899256 kB
Buffers:        137992 kB
Cached:        2617592 kB
SwapCached:          0 kB
Active:        2205984 kB
Inactive:      1685396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28899256 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2024 kB
Writeback:           0 kB
AnonPages:     1135796 kB
Mapped:          16852 kB
Slab:            92632 kB
PageTables:       6776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1294540 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= 73196 MiB
End job on node127 at 2010-07-07 22:31:42