Trace number 2699943

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 35.1247 35.1234

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh301_wcsp.wbo
MD5SUM43b9aaaba58886f82a61abd15f4e868b
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.199969
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 constraints1000
Number of soft constraints900
Number of constraints which are clauses900
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 constraint14
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 27
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/900 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.037994 10.1836 1 2027
0.00/0.04	o 32979
0.00/0.04	c 0.037994 10.3711 1 2959
0.00/0.04	o 30899
0.00/0.04	c 0.037994 10.3711 1 3153
0.00/0.04	o 30795
0.00/0.04	c 0.038994 10.3711 1 4089
0.00/0.04	o 28359
0.00/0.04	c 0.038994 10.3711 2 4272
0.00/0.04	o 28272
0.00/0.05	c 0.039993 10.3711 2 5203
0.00/0.05	o 18171
0.00/0.05	c 0.041993 10.3711 20 5473
0.00/0.05	o 18133
0.00/0.06	c 0.044993 10.3711 85 5947
0.00/0.06	o 17928
0.09/0.14	c 0.056991 10.4961 586 8047
0.09/0.14	o 17876
0.09/0.15	c 0.058991 10.4961 608 8385
0.09/0.15	o 17708
0.09/0.16	c 0.05999 10.6211 692 9223
0.09/0.16	o 17158
0.09/0.18	c 0.06299 10.6211 451 9829
0.09/0.18	o 17113
0.09/0.19	c 0.06399 10.6211 470 10074
0.09/0.19	o 17102
0.19/0.20	c 0.06499 10.6211 509 10456
0.19/0.20	o 16994
0.19/0.22	c 0.066989 10.6211 597 10805
0.19/0.22	o 16964
0.19/0.27	c 0.072988 10.6211 456 11549
0.19/0.27	o 16889
0.19/0.27	c 0.072988 10.6211 481 11806
0.19/0.27	o 16881
0.19/0.28	c 0.072988 10.6211 481 12757
0.19/0.28	o 14931
0.19/0.28	c 0.072988 10.6211 482 13166
0.19/0.28	o 14838
0.19/0.28	c 0.072988 10.6211 482 13430
0.19/0.28	o 14822
0.19/0.28	c 0.072988 10.6211 482 13723
0.19/0.28	o 14772
0.19/0.28	c 0.072988 10.6211 483 14681
0.19/0.28	o 13843
0.19/0.29	c 0.072988 10.6211 484 14994
0.19/0.29	o 13708
0.19/0.29	c 0.072988 10.6211 499 15513
0.19/0.29	o 13340
0.39/0.40	c 0.092985 10.7461 589 17088
0.39/0.40	o 13199
0.69/0.76	c 0.142978 10.7461 526 22539
0.69/0.76	o 13030
0.69/0.77	c 0.142978 10.7461 536 22808
0.69/0.77	o 12907
0.69/0.77	c 0.142978 10.7461 536 23253
0.69/0.77	o 12647
0.69/0.77	c 0.143978 10.7461 541 23579
0.69/0.77	o 12549
0.69/0.77	c 0.144977 10.7461 542 23984
0.69/0.77	o 12394
0.69/0.78	c 0.144977 10.7461 543 24385
0.69/0.78	o 12192
0.69/0.78	c 0.145977 10.7461 547 24727
0.69/0.78	o 11978
0.79/0.80	c 0.149977 10.7461 630 25237
0.79/0.80	o 11772
0.79/0.83	c 0.152976 10.7461 407 25719
0.79/0.83	o 11767
0.89/1.00	c 0.169974 10.7461 575 28352
0.89/1.00	o 11761
1.19/1.28	c 0.212967 10.7461 738 31338
1.19/1.28	o 11748
1.39/1.40	c 0.229965 10.7461 582 33282
1.39/1.40	o 11734
1.39/1.42	c 0.230964 10.7461 377 33999
1.39/1.42	o 11639
1.39/1.42	c 0.230964 10.7461 380 34205
1.39/1.42	o 11582
1.49/1.50	c 0.240963 10.7461 426 35343
1.49/1.50	o 11542
1.99/2.02	c 0.32795 10.7461 721 42979
1.99/2.02	o 11320
1.99/2.04	c 0.329949 10.7461 458 43493
1.99/2.04	o 11297
1.99/2.07	c 0.337948 10.7461 601 44036
1.99/2.07	o 11270
2.10/2.11	c 0.340948 10.7461 421 44730
2.10/2.11	o 11242
2.10/2.13	c 0.343947 10.7461 554 45379
2.10/2.13	o 11067
2.10/2.15	c 0.346947 10.7461 666 45946
2.10/2.15	o 10997
2.10/2.19	c 0.352946 10.7461 474 46642
2.10/2.19	o 10975
2.20/2.23	c 0.358945 10.7461 680 47317
2.20/2.23	o 10922
2.60/2.61	c 0.404938 10.7461 792 51275
2.60/2.61	o 10900
2.89/2.93	c 0.452931 10.7461 515 56253
2.89/2.93	o 10882
2.99/3.06	c 0.465929 10.8672 593 57880
2.99/3.06	o 10733
4.99/5.02	c 0.827874 10.8672 746 78575
4.99/5.02	o 10657
4.99/5.09	c 0.833873 10.8672 464 80067
4.99/5.09	o 10525
5.29/5.36	c 0.872867 10.8672 717 84043
5.29/5.36	o 10520
5.59/5.64	c 0.91886 10.8672 766 87056
5.59/5.64	o 10515
5.69/5.70	c 0.930858 10.8672 659 88108
5.69/5.70	o 10403
5.69/5.74	c 0.935857 10.8672 421 88643
5.69/5.74	o 10323
6.39/6.49	c 1.06684 10.8672 659 100107
6.39/6.49	o 10257
6.99/7.08	c 1.16782 10.8672 777 106874
6.99/7.08	o 10197
7.19/7.24	c 1.18982 10.8672 712 108937
7.19/7.24	o 10182
7.60/7.61	c 1.25881 10.9922 667 112220
7.60/7.61	o 9999
7.60/7.67	c 1.26681 10.9922 564 113219
7.60/7.67	o 9851
7.80/7.82	c 1.2838 10.9922 587 115959
7.80/7.82	o 9850
7.99/8.09	c 1.3218 10.9922 819 118963
7.99/8.09	o 9686
8.09/8.11	c 1.3288 10.9922 522 119585
8.09/8.11	o 9544
8.39/8.47	c 1.37879 10.9922 727 124392
8.39/8.47	o 9537
8.70/8.79	c 1.42578 10.9922 785 127855
8.70/8.79	o 9393
8.99/9.04	c 1.46778 10.9922 751 130649
8.99/9.04	o 9364
9.49/9.54	c 1.58776 10.9922 517 136817
9.49/9.54	o 9360
9.80/9.80	c 1.65275 10.9922 520 140234
9.80/9.80	o 9333
11.19/11.25	c 1.9617 10.9922 984 153076
11.19/11.25	o 9244
11.40/11.45	c 1.9957 10.9922 699 155716
11.40/11.45	o 9218
11.59/11.60	c 2.01369 10.9922 732 158084
11.59/11.60	o 9206
11.59/11.61	c 2.01669 10.9922 394 158344
11.59/11.61	o 9152
11.89/11.91	c 2.07168 10.9922 525 162165
11.89/11.91	o 8847
12.19/12.25	c 2.11368 10.9922 637 165778
12.19/12.25	o 8838
12.30/12.36	c 2.13667 10.9922 763 167343
12.30/12.36	o 8779
12.40/12.45	c 2.14767 10.9922 704 168235
12.40/12.45	o 8759
12.49/12.53	c 2.15967 10.9922 567 169074
12.49/12.53	o 8718
12.69/12.73	c 2.19167 10.9922 543 171283
12.69/12.73	o 8667
12.79/12.87	c 2.22066 10.9922 665 172727
12.79/12.87	o 8545
12.89/12.99	c 2.24466 10.9922 834 174144
12.89/12.99	o 8493
13.10/13.14	c 2.26765 10.9922 764 175972
13.10/13.14	o 8488
13.89/13.99	c 2.39864 11.1172 763 182597
13.89/13.99	o 8390
14.09/14.19	c 2.43263 11.1172 434 184977
14.09/14.19	o 8179
14.30/14.38	c 2.45063 11.1172 465 187457
14.30/14.38	o 8144
14.39/14.40	c 2.45463 11.1172 584 188143
14.39/14.40	o 7978
14.60/14.63	c 2.48462 11.1172 612 190362
14.60/14.63	o 7963
15.49/15.53	c 2.6206 11.1172 599 199911
15.49/15.53	o 7945
16.09/16.10	c 2.74058 11.1172 691 205928
16.09/16.10	o 7922
16.29/16.34	c 2.81757 11.1172 566 208891
16.29/16.34	o 7850
16.29/16.35	c 2.82157 11.1172 589 209102
16.29/16.35	o 7838
16.40/16.47	c 2.85257 11.1172 566 210215
16.40/16.47	o 7816
17.20/17.26	c 3.03454 11.1172 460 219052
17.20/17.26	o 7801
17.39/17.43	c 3.07453 11.1172 701 221321
17.39/17.43	o 7776
17.69/17.74	c 3.13552 11.1172 490 224952
17.69/17.74	o 7758
17.69/17.75	c 3.13652 11.1172 542 225175
17.69/17.75	o 7696
17.89/17.94	c 3.17252 11.1172 799 227198
17.89/17.94	o 7464
18.79/18.83	c 3.3095 11.2422 620 235910
18.79/18.83	o 7282
19.09/19.17	c 3.35849 11.2422 877 238867
19.09/19.17	o 7261
19.19/19.24	c 3.36549 11.2422 763 239709
19.19/19.24	o 7183
19.39/19.43	c 3.39848 11.2422 469 241940
19.39/19.43	o 7173
19.79/19.83	c 3.45248 11.2422 711 245502
19.79/19.83	o 7033
19.90/19.96	c 3.47447 11.2422 535 247307
19.90/19.96	o 6964
20.09/20.11	c 3.49947 11.2422 675 248822
20.09/20.11	o 6941
20.29/20.38	c 3.54046 11.2422 928 251431
20.29/20.38	o 6934
20.90/20.99	c 3.64145 11.2422 580 257430
20.90/20.99	o 6740
20.99/21.06	c 3.65344 11.2422 518 258335
20.99/21.06	o 6735
21.09/21.16	c 3.67344 11.2422 481 259565
21.09/21.16	o 6648
21.09/21.19	c 3.67644 11.2422 577 260053
21.09/21.19	o 6540
21.29/21.37	c 3.70344 11.2422 521 262148
21.29/21.37	o 6495
21.29/21.38	c 3.70444 11.2422 559 262383
21.29/21.38	o 6453
21.39/21.47	c 3.71644 11.2422 823 263115
21.39/21.47	o 6400
21.39/21.47	c 3.71943 11.2422 429 263482
21.39/21.47	o 6232
21.49/21.52	c 3.72543 11.2422 597 264092
21.49/21.52	o 6197
21.49/21.56	c 3.73043 11.2422 761 264738
21.49/21.56	o 6125
21.70/21.71	c 3.75443 11.2422 529 266317
21.70/21.71	o 6032
21.79/21.83	c 3.77343 11.2422 640 267995
21.79/21.83	o 5953
22.09/22.14	c 3.82842 11.2422 666 270184
22.09/22.14	o 5935
22.19/22.28	c 3.85141 11.2422 732 271602
22.19/22.28	o 5896
22.49/22.50	c 3.88941 11.2422 681 273620
22.49/22.50	o 5820
22.59/22.61	c 3.9144 11.2422 753 274985
22.59/22.61	o 5757
22.89/22.95	c 3.99439 11.2422 952 277607
22.89/22.95	o 5715
23.00/23.09	c 4.03639 11.2422 548 278872
23.00/23.09	o 5682
23.09/23.14	c 4.04538 11.2422 683 279271
23.09/23.14	o 5681
23.49/23.59	c 4.15837 11.2422 944 282733
23.49/23.59	o 5667
23.59/23.67	c 4.17237 11.2422 715 283427
23.59/23.67	o 5608
23.69/23.75	c 4.18836 11.2422 561 284120
23.69/23.75	o 5598
23.79/23.81	c 4.19636 11.2422 801 284886
23.79/23.81	o 5576
23.89/23.98	c 4.22236 11.2422 642 286912
23.89/23.98	o 5458
25.99/26.01	c 4.54531 11.2422 487 300612
25.99/26.01	o 5396
25.99/26.05	c 4.55431 11.2422 659 301236
25.99/26.05	o 5294
26.10/26.17	c 4.5733 11.2422 570 302304
26.10/26.17	o 5267
26.19/26.23	c 4.5803 11.2422 726 302817
26.19/26.23	o 5189
26.29/26.35	c 4.5973 11.2422 761 304027
26.29/26.35	o 5158
26.79/26.88	c 4.69229 11.3633 534 308363
26.79/26.88	o 5051
26.89/26.99	c 4.71028 11.3633 899 309415
26.89/26.99	o 4881
27.40/27.47	c 4.78027 11.3633 713 312979
27.40/27.47	o 4865
27.50/27.54	c 4.78927 11.3633 536 313636
27.50/27.54	o 4816
27.69/27.70	c 4.82027 11.3633 715 315203
27.69/27.70	o 4770
27.79/27.81	c 4.83826 11.3633 715 316353
27.79/27.81	o 4734
27.79/27.87	c 4.84326 11.3633 501 316930
27.79/27.87	o 4684
27.89/27.92	c 4.85226 11.3633 711 317574
27.89/27.92	o 4576
27.99/28.00	c 4.86726 11.3633 568 318248
27.99/28.00	o 4558
27.99/28.04	c 4.87726 11.3633 730 318707
27.99/28.04	o 4504
28.40/28.48	c 4.94625 11.3633 762 321881
28.40/28.48	o 4481
28.70/28.72	c 4.97524 11.3633 418 324045
28.70/28.72	o 4469
28.89/28.91	c 4.99924 11.3633 659 325675
28.89/28.91	o 4460
28.99/29.05	c 5.02324 11.3633 665 326960
28.99/29.05	o 4410
28.99/29.07	c 5.02623 11.3633 703 327189
28.99/29.07	o 4378
29.09/29.13	c 5.04123 11.3633 451 327662
29.09/29.13	o 4331
29.09/29.15	c 5.04823 11.3633 514 327931
29.09/29.15	o 4244
29.29/29.38	c 5.12122 11.3633 771 329573
29.29/29.38	o 4144
29.49/29.54	c 5.16921 11.3633 532 331226
29.49/29.54	o 4079
29.49/29.56	c 5.17321 11.3633 595 331522
29.49/29.56	o 3981
29.60/29.62	c 5.18721 11.3633 758 331936
29.60/29.62	o 3963
29.80/29.86	c 5.2532 11.3633 668 333623
29.80/29.86	o 3940
30.10/30.13	c 5.31819 11.3633 758 335942
30.10/30.13	o 3938
30.10/30.16	c 5.32719 11.3633 461 336366
30.10/30.16	o 3907
30.29/30.36	c 5.35518 11.3633 628 338043
30.29/30.36	o 3809
30.40/30.44	c 5.36618 11.3633 950 338930
30.40/30.44	o 3723
30.40/30.48	c 5.37318 11.3633 627 339549
30.40/30.48	o 3649
30.49/30.57	c 5.38918 11.3633 911 340208
30.49/30.57	o 3644
30.70/30.71	c 5.41218 11.3633 451 341300
30.70/30.71	o 3630
30.70/30.79	c 5.42717 11.3633 695 341933
30.70/30.79	o 3572
30.99/31.00	c 5.45917 11.3633 853 343477
30.99/31.00	o 3523
30.99/31.04	c 5.46717 11.3633 516 343730
30.99/31.04	o 3447
31.09/31.11	c 5.47817 11.3633 692 344282
31.09/31.11	o 3444
31.30/31.40	c 5.52516 11.3633 718 346520
31.30/31.40	o 3373
31.59/31.64	c 5.55215 11.3633 636 348465
31.59/31.64	o 3282
31.80/31.87	c 5.59315 11.3633 858 349663
31.80/31.87	o 3242
31.90/31.96	c 5.60115 11.3633 619 350161
31.90/31.96	o 3164
31.99/32.09	c 5.62614 11.3633 605 351192
31.99/32.09	o 3158
32.09/32.18	c 5.63314 11.3633 797 351807
32.09/32.18	o 3104
32.19/32.25	c 5.64614 11.3633 541 352359
32.19/32.25	o 3033
32.29/32.30	c 5.65014 11.3633 738 352780
32.29/32.30	o 3021
32.59/32.67	c 5.70613 11.4883 782 355811
32.59/32.67	o 2929
32.79/32.81	c 5.72513 11.4883 822 357068
32.79/32.81	o 2925
32.79/32.81	c 5.72713 11.625 440 357286
32.79/32.81	o 2879
32.79/32.82	c 5.72813 11.625 465 357419
32.79/32.82	o 2843
32.89/32.92	c 5.75213 11.625 777 358235
32.89/32.92	o 2832
32.89/33.00	c 5.76812 11.625 596 358858
32.89/33.00	o 2813
32.99/33.09	c 5.78312 11.625 878 359566
32.99/33.09	o 2802
33.09/33.16	c 5.79112 11.625 611 360015
33.09/33.16	o 2794
33.19/33.23	c 5.79912 11.625 785 360487
33.19/33.23	o 2793
33.29/33.33	c 5.81912 11.625 600 361206
33.29/33.33	o 2776
33.29/33.35	c 5.82211 11.625 658 361531
33.29/33.35	o 2604
33.40/33.48	c 5.84211 11.625 597 362566
33.40/33.48	o 2565
33.49/33.58	c 5.86111 11.625 856 363281
33.49/33.58	o 2451
33.59/33.62	c 5.87211 11.625 545 363665
33.59/33.62	o 2418
33.59/33.66	c 5.87911 11.625 650 364019
33.59/33.66	o 2374
33.59/33.67	c 5.88011 11.7539 657 364084
33.59/33.67	o 2359
33.59/33.67	c 5.88011 11.7539 658 364130
33.59/33.67	o 2350
33.59/33.67	c 5.8811 11.7539 662 364191
33.59/33.67	o 2344
33.69/33.74	c 5.8931 11.7539 850 364605
33.69/33.74	o 2317
33.69/33.78	c 5.8981 11.7539 540 364986
33.69/33.78	o 2307
33.69/33.79	c 5.9011 11.7539 566 365116
33.69/33.79	o 2245
33.80/33.80	c 5.9021 11.7539 584 365192
33.80/33.80	o 2244
33.80/33.83	c 5.9041 11.7539 659 365393
33.80/33.83	o 2223
33.80/33.87	c 5.9101 11.7539 757 365674
33.80/33.87	o 2133
33.90/33.90	c 5.9121 11.7539 823 365944
33.90/33.90	o 2099
34.00/34.04	c 5.9321 11.7539 737 366985
34.00/34.04	o 1872
34.29/34.35	c 5.97609 11.7539 654 368702
34.29/34.35	o 1848
34.29/34.36	c 5.97909 11.7539 685 368948
34.29/34.36	o 1729
34.29/34.38	c 5.98109 11.7539 723 369089
34.29/34.38	o 1728
34.39/34.41	c 5.98609 11.7539 796 369350
34.39/34.41	o 1724
34.39/34.46	c 5.99509 11.7539 488 369692
34.39/34.46	o 1678
34.49/34.54	c 6.00309 11.7539 678 370189
34.49/34.54	o 1640
34.49/34.55	c 6.00609 11.7539 712 370316
34.49/34.55	o 1607
34.49/34.56	c 6.00809 11.7539 744 370420
34.49/34.56	o 1605
34.59/34.63	c 6.02108 11.7539 485 370852
34.59/34.63	o 1522
34.59/34.67	c 6.03008 11.7539 618 371260
34.59/34.67	o 1512
34.70/34.74	c 6.03308 11.7539 783 371851
34.70/34.74	o 1353
34.70/34.74	c 6.03408 11.7539 799 372008
34.70/34.74	o 1293
34.70/34.77	c 6.03708 11.7539 870 372233
34.70/34.77	o 1220
34.80/34.82	c 6.04608 11.7539 572 372632
34.80/34.82	o 1185
34.80/34.84	c 6.04808 11.7539 625 372770
34.80/34.84	o 1127
34.80/34.87	c 6.05008 11.7539 718 373000
34.80/34.87	o 1108
34.80/34.88	c 6.05308 11.7539 752 373270
34.80/34.88	o 1099
34.89/34.90	c 6.05708 11.7539 823 373456
34.89/34.90	o 1090
34.89/34.91	c 6.05808 11.7539 838 373621
34.89/34.91	o 988
34.89/34.92	c 6.06108 11.7539 885 373721
34.89/34.92	o 964
34.89/34.92	c 6.06208 11.7539 450 373850
34.89/34.92	o 950
34.89/34.93	c 6.06308 11.7539 475 373961
34.89/34.93	o 918
34.89/34.96	c 6.07208 11.7539 527 374144
34.89/34.96	o 877
34.89/34.96	c 6.07708 11.7539 563 374221
34.89/34.96	o 862
34.89/34.98	c 6.08007 11.7539 601 374610
34.89/34.98	o 637
34.89/34.98	c 6.08007 11.7539 590 374664
34.89/34.98	o 616
34.89/34.98	c 6.08207 11.7539 598 374738
34.89/34.98	o 584
34.99/35.00	c 6.08607 11.7539 686 374922
34.99/35.00	o 577
34.99/35.01	c 6.08907 11.7539 527 375006
34.99/35.01	o 524
34.99/35.02	c 6.09007 11.7539 553 375126
34.99/35.02	o 440
34.99/35.04	c 6.09607 11.7539 644 375329
34.99/35.04	o 437
34.99/35.05	c 6.09807 11.7539 673 375430
34.99/35.05	o 404
34.99/35.05	c 6.10207 11.7539 703 375491
34.99/35.05	o 393
34.99/35.08	c 6.10707 11.7539 753 375680
34.99/35.08	o 380
34.99/35.08	c 6.10807 11.7539 757 375709
34.99/35.08	o 371
34.99/35.09	c 6.11207 11.7539 838 375833
34.99/35.09	o 368
34.99/35.09	c 6.11207 11.7539 850 375912
34.99/35.10	o 316
34.99/35.10	c 6.11207 11.7539 850 375953
34.99/35.10	o 284
34.99/35.10	c 6.11207 11.7539 851 375999
34.99/35.10	o 248
34.99/35.10	c 6.11307 11.7539 851 376037
34.99/35.10	o 216
34.99/35.10	c 6.11307 11.7539 852 376086
34.99/35.10	o 169
34.99/35.10	c 6.11307 11.7539 860 376135
34.99/35.10	o 141
34.99/35.10	c 6.11407 11.8906 865 376213
34.99/35.10	o 76
35.10/35.10	c 6.11507 11.8906 877 376244
35.10/35.10	o 75
35.10/35.10	c 6.11607 11.8906 635 376276
35.10/35.10	o 64
35.10/35.11	c 6.11707 11.8906 642 376324
35.10/35.11	o 23
35.10/35.11	c 6.11907 11.8906 651 376353
35.10/35.11	o 12
35.10/35.11	c 6.12007 11.8906 665 376389
35.10/35.11	o 0
35.10/35.11	c 6.12107 11.8906 665 376389
35.10/35.11	s OPTIMUM FOUND
35.10/35.11	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-2699943-1278533859/watcher-2699943-1278533859 -o /tmp/evaluation-result-2699943-1278533859/solver-2699943-1278533859 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699943-1278533859.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.11 0.03 0.01 2/173 19888
/proc/meminfo: memFree=29951740/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=2136 CPUtime=0
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 21598131 2187264 176 4089446400 134512640 136422188 4286825488 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19888/statm: 534 176 144 467 0 65 0

[startup+0.0904819 s]
/proc/loadavg: 0.11 0.03 0.01 2/173 19888
/proc/meminfo: memFree=29951740/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=10744 CPUtime=0.08
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2412 0 0 0 4 4 0 0 25 0 1 0 21598131 11001856 2324 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2686 2324 238 467 0 2217 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10744

[startup+0.100484 s]
/proc/loadavg: 0.11 0.03 0.01 2/173 19888
/proc/meminfo: memFree=29951740/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=10744 CPUtime=0.09
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2414 0 0 0 4 5 0 0 25 0 1 0 21598131 11001856 2326 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2686 2326 238 467 0 2217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10744

[startup+0.300459 s]
/proc/loadavg: 0.11 0.03 0.01 2/173 19888
/proc/meminfo: memFree=29951740/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=10872 CPUtime=0.29
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2464 0 0 0 7 22 0 0 25 0 1 0 21598131 11132928 2360 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2718 2360 238 467 0 2249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10872

[startup+0.700384 s]
/proc/loadavg: 0.11 0.03 0.01 2/173 19888
/proc/meminfo: memFree=29951740/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11000 CPUtime=0.69
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2497 0 0 0 13 56 0 0 25 0 1 0 21598131 11264000 2392 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2750 2392 238 467 0 2281 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11000

[startup+1.50022 s]
/proc/loadavg: 0.11 0.03 0.01 2/174 19889
/proc/meminfo: memFree=29943432/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11000 CPUtime=1.49
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2517 0 0 0 23 126 0 0 25 0 1 0 21598131 11264000 2398 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2750 2398 238 467 0 2281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11000

[startup+3.10088 s]
/proc/loadavg: 0.11 0.03 0.01 2/174 19916
/proc/meminfo: memFree=29941944/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11124 CPUtime=3.09
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2549 0 0 0 46 263 0 0 25 0 1 0 21598131 11390976 2418 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2781 2418 238 467 0 2312 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11124

[startup+6.30029 s]
/proc/loadavg: 0.18 0.04 0.01 3/179 19926
/proc/meminfo: memFree=29931972/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11124 CPUtime=6.29
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2581 0 0 0 103 526 0 0 25 0 1 0 21598131 11390976 2444 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2781 2444 238 467 0 2312 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11124

[startup+12.7011 s]
/proc/loadavg: 0.32 0.08 0.02 3/179 19926
/proc/meminfo: memFree=29931624/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11252 CPUtime=12.69
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2640 0 0 0 218 1051 0 0 25 0 1 0 21598131 11522048 2481 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2813 2481 238 467 0 2344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11252

[startup+25.5007 s]
/proc/loadavg: 0.69 0.17 0.05 3/179 19926
/proc/meminfo: memFree=29932428/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11508 CPUtime=25.5
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2759 0 0 0 448 2102 0 0 25 0 1 0 21598131 11784192 2549 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2877 2549 238 467 0 2408 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 11508

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

[startup+31.9064 s]
/proc/loadavg: 0.80 0.20 0.06 3/179 19926
/proc/meminfo: memFree=29932276/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11632 CPUtime=31.9
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2829 0 0 0 559 2631 0 0 25 0 1 0 21598131 11911168 2578 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2908 2578 238 467 0 2439 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11632

[startup+33.5011 s]
/proc/loadavg: 0.97 0.25 0.08 3/179 19926
/proc/meminfo: memFree=29932028/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=11900 CPUtime=33.49
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2869 0 0 0 584 2765 0 0 25 0 1 0 21598131 12185600 2601 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 2975 2601 238 467 0 2506 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 11900

[startup+34.301 s]
/proc/loadavg: 0.97 0.25 0.08 3/179 19927
/proc/meminfo: memFree=29931780/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=12032 CPUtime=34.29
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2917 0 0 0 596 2833 0 0 25 0 1 0 21598131 12320768 2635 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 3008 2635 238 467 0 2539 0
Current children cumulated CPU time (s) 34.29
Current children cumulated vsize (KiB) 12032

[startup+34.7009 s]
/proc/loadavg: 0.97 0.25 0.08 3/179 19927
/proc/meminfo: memFree=29931780/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=12032 CPUtime=34.7
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2927 0 0 0 603 2867 0 0 25 0 1 0 21598131 12320768 2635 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 3008 2635 238 467 0 2539 0
Current children cumulated CPU time (s) 34.7
Current children cumulated vsize (KiB) 12032

[startup+35.1008 s]
/proc/loadavg: 0.97 0.25 0.08 3/179 19927
/proc/meminfo: memFree=29931780/32951124 swapFree=67111528/67111528
[pid=19888] ppid=19886 vsize=12172 CPUtime=35.1
/proc/19888/stat : 19888 (pbct) R 19886 19888 19312 0 -1 4202496 2963 0 0 0 611 2899 0 0 25 0 1 0 21598131 12464128 2639 4089446400 134512640 136422188 4286825488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19888/statm: 3043 2639 238 467 0 2574 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 12172

Child status: 0
Real time (s): 35.1234
CPU time (s): 35.1247
CPU user time (s): 6.13007
CPU system time (s): 28.9946
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12172

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

runsolver used 0.056991 second user time and 0.115982 second system time

The end

Launcher Data 

Begin job on node141 at 2010-07-07 22:17:39
IDJOB=2699943
IDBENCH=79386
IDSOLVER=1212
FILE ID=node141/2699943-1278533859
PBS_JOBID= 11239196
Free space on /tmp= 73648 MiB

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

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

MD5SUM BENCH= 43b9aaaba58886f82a61abd15f4e868b
RANDOM SEED=2062217385

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29952144 kB
Buffers:        141740 kB
Cached:        2642184 kB
SwapCached:          0 kB
Active:        1223644 kB
Inactive:      1622188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29952144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2128 kB
Writeback:           0 kB
AnonPages:       61760 kB
Mapped:          14672 kB
Slab:            88704 kB
PageTables:       3896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183836 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= 73644 MiB
End job on node141 at 2010-07-07 22:18:14