Trace number 2699988

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 67.4327 67.4326

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh216_wcsp.wbo
MD5SUM830bcbfbc6ad7e0fb8e641f5751577e3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.032994
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.04	c 0.037994 9.66406 1 1842
0.00/0.04	o 24825
0.00/0.04	c 0.042993 9.89453 21 2046
0.00/0.04	o 24736
0.00/0.05	c 0.043993 9.89453 21 2893
0.00/0.05	o 18873
0.00/0.05	c 0.044993 9.89453 21 3691
0.00/0.05	o 17938
0.00/0.05	c 0.047992 9.89453 23 4462
0.00/0.05	o 17097
0.00/0.05	c 0.047992 9.89453 23 5299
0.00/0.05	o 14194
0.00/0.05	c 0.049992 9.89453 23 5893
0.00/0.05	o 13796
0.00/0.06	c 0.053991 9.89453 35 6450
0.00/0.06	o 13527
0.00/0.06	c 0.054991 9.89453 35 7055
0.00/0.06	o 13071
0.06/0.07	c 0.06099 9.89453 72 7453
0.06/0.07	o 13039
0.09/0.19	c 0.135979 10.1445 843 9981
0.09/0.19	o 12907
1.00/1.04	c 0.705892 10.1445 1004 20154
1.00/1.04	o 12867
1.00/1.07	c 0.72189 10.1445 568 20462
1.00/1.07	o 12847
1.00/1.08	c 0.727889 10.1445 590 20711
1.00/1.08	o 12826
1.29/1.35	c 0.891864 10.1445 484 24763
1.29/1.35	o 12765
1.39/1.49	c 0.986849 10.1445 790 26744
1.39/1.49	o 12516
1.49/1.54	c 1.02684 10.1445 355 28215
1.49/1.54	o 12302
1.79/1.82	c 1.21881 10.1445 587 32348
1.79/1.82	o 12193
1.99/2.02	c 1.3398 10.1445 742 34412
1.99/2.02	o 12177
2.09/2.15	c 1.42878 10.2695 989 35603
2.09/2.15	o 12137
2.09/2.17	c 1.44278 10.2656 575 35945
2.09/2.17	o 12100
2.19/2.25	c 1.49477 10.2656 323 37411
2.19/2.25	o 11883
2.59/2.60	c 1.73774 10.2656 493 42523
2.59/2.60	o 11726
2.69/2.75	c 1.83972 10.2656 608 45140
2.69/2.75	o 11524
3.79/3.84	c 2.52162 10.2656 643 57571
3.79/3.84	o 11487
3.99/4.00	c 2.6126 10.2656 579 59255
3.99/4.00	o 11440
3.99/4.09	c 2.66359 10.2656 608 60595
3.99/4.09	o 11236
4.19/4.20	c 2.73458 10.2656 446 61904
4.19/4.20	o 11223
4.19/4.27	c 2.77258 10.2656 527 63199
4.19/4.27	o 11173
4.19/4.27	c 2.77458 10.2656 535 63494
4.19/4.27	o 11101
4.59/4.67	c 3.02754 10.2656 969 67809
4.59/4.67	o 11092
4.89/4.99	c 3.21751 10.2656 700 70527
4.89/4.99	o 10986
5.09/5.10	c 3.2965 10.2656 468 72045
5.09/5.10	o 10971
5.09/5.13	c 3.3145 10.2656 624 72613
5.09/5.13	o 10954
5.09/5.19	c 3.34949 10.2656 435 73245
5.09/5.19	o 10922
5.39/5.48	c 3.52946 10.2656 692 76797
5.39/5.48	o 10815
5.49/5.52	c 3.55846 10.2656 523 77464
5.49/5.52	o 10713
5.89/5.94	c 3.82542 10.2656 467 83033
5.89/5.94	o 10658
5.99/6.00	c 3.86541 10.2656 449 84088
5.99/6.00	o 10623
6.19/6.27	c 4.03939 10.2656 434 88389
6.19/6.27	o 10595
7.19/7.27	c 4.65129 10.3906 856 98897
7.19/7.27	o 10538
8.09/8.12	c 5.16221 10.3906 698 109508
8.09/8.12	o 10361
8.09/8.18	c 5.20121 10.3906 342 110834
8.09/8.18	o 10133
9.39/9.40	c 5.96109 10.3906 564 126248
9.39/9.40	o 9931
9.99/10.07	c 6.38503 10.3906 950 133474
9.99/10.07	o 9889
10.49/10.53	c 6.64099 10.5195 824 137561
10.49/10.53	o 9872
11.39/11.40	c 7.18591 10.5195 993 147188
11.39/11.40	o 9679
12.49/12.57	c 7.9218 10.5195 787 160953
12.49/12.57	o 9511
13.59/13.66	c 8.61069 10.5195 428 172236
13.59/13.66	o 9508
13.79/13.89	c 8.75667 10.5195 629 175913
13.79/13.89	o 9468
14.59/14.60	c 9.1996 10.5195 709 184431
14.59/14.60	o 9400
14.90/14.91	c 9.40257 10.5195 690 188233
14.90/14.91	o 9342
14.99/15.05	c 9.50056 10.5195 657 190090
14.99/15.05	o 9296
15.30/15.38	c 9.70352 10.5195 449 193632
15.30/15.38	o 9172
15.39/15.44	c 9.74552 10.5195 661 194350
15.39/15.44	o 9129
15.99/16.07	c 10.1555 10.5195 838 199452
15.99/16.07	o 9042
16.19/16.24	c 10.2544 10.5195 507 202002
16.19/16.24	o 8872
16.89/16.90	c 10.6624 10.5195 801 208403
16.89/16.90	o 8824
16.89/16.98	c 10.7194 10.5195 407 209548
16.89/16.98	o 8797
17.79/17.87	c 11.2933 10.5195 657 217228
17.79/17.87	o 8697
18.09/18.11	c 11.4443 10.5195 549 220026
18.09/18.11	o 8673
18.29/18.31	c 11.5652 10.5195 740 222579
18.29/18.31	o 8666
18.29/18.34	c 11.5882 10.5195 515 223114
18.29/18.34	o 8637
18.39/18.40	c 11.6262 10.5195 739 223852
18.39/18.40	o 8622
19.69/19.78	c 12.4741 10.5195 535 238324
19.69/19.78	o 8579
19.99/20.05	c 12.6561 10.5195 382 241238
19.99/20.05	o 8545
20.29/20.30	c 12.7871 10.5195 590 243758
20.29/20.30	o 8517
20.59/20.66	c 13.016 10.5195 899 247003
20.59/20.66	o 8511
20.69/20.71	c 13.05 10.5195 635 247716
20.69/20.71	o 8384
22.49/22.50	c 14.1738 10.5195 588 266858
22.49/22.50	o 8250
22.59/22.64	c 14.2568 10.5195 453 268609
22.59/22.64	o 8144
22.79/22.82	c 14.3688 10.5195 529 270705
22.79/22.82	o 7997
23.19/23.24	c 14.6258 10.6445 546 274773
23.19/23.24	o 7891
23.29/23.37	c 14.7078 10.6445 654 276249
23.29/23.37	o 7828
23.39/23.44	c 14.7548 10.6445 552 277077
23.39/23.44	o 7776
26.79/26.88	c 16.8814 10.6445 773 300893
26.79/26.88	o 7645
26.89/26.99	c 16.9464 10.6445 488 302150
26.89/26.99	o 7633
26.99/27.04	c 16.9764 10.6445 685 302799
26.99/27.04	o 7597
27.79/27.81	c 17.4533 10.6445 664 311268
27.79/27.81	o 7550
29.89/29.92	c 18.7831 10.6445 535 329883
29.89/29.92	o 7451
30.29/30.35	c 19.0581 10.6445 910 333652
30.29/30.35	o 7426
30.89/30.99	c 19.454 10.6445 574 340154
30.89/30.99	o 7395
31.20/31.20	c 19.572 10.6445 678 342466
31.20/31.20	o 7382
31.39/31.43	c 19.712 10.6445 447 344740
31.39/31.43	o 7376
31.69/31.79	c 19.916 10.6445 705 347255
31.69/31.79	o 7346
31.89/31.96	c 20.027 10.6445 624 349101
31.89/31.96	o 7322
32.19/32.29	c 20.2299 10.6445 749 352200
32.19/32.29	o 7254
32.40/32.45	c 20.3369 10.6445 708 354386
32.40/32.45	o 7224
33.80/33.83	c 21.2228 10.7695 528 367032
33.80/33.83	o 7177
34.10/34.14	c 21.4177 10.7695 505 370306
34.10/34.14	o 7000
34.29/34.31	c 21.5267 10.7695 587 372528
34.29/34.31	o 6975
34.59/34.67	c 21.7557 10.7695 691 375648
34.59/34.67	o 6893
34.89/34.96	c 21.9377 10.7695 431 378884
34.89/34.96	o 6854
35.49/35.57	c 22.3216 10.7695 838 384676
35.49/35.57	o 6784
35.69/35.71	c 22.4116 10.7695 617 386305
35.69/35.71	o 6727
36.19/36.24	c 22.7345 10.7695 515 390936
36.19/36.24	o 6708
37.89/37.94	c 23.8064 10.7695 904 405160
37.89/37.94	o 6501
38.29/38.34	c 24.0623 10.7695 470 409160
38.29/38.34	o 6451
38.40/38.41	c 24.1023 10.7695 719 409736
38.40/38.41	o 6421
38.59/38.66	c 24.2683 10.7695 725 411342
38.59/38.66	o 6393
38.79/38.83	c 24.3723 10.7695 585 413346
38.79/38.83	o 6379
39.50/39.56	c 24.8212 10.7695 678 419260
39.50/39.56	o 6376
39.60/39.64	c 24.8732 10.7695 643 420275
39.60/39.64	o 6300
39.89/39.94	c 25.0522 10.7695 638 423155
39.89/39.94	o 6213
40.09/40.12	c 25.1682 10.7695 914 424409
40.09/40.12	o 6204
40.30/40.35	c 25.3052 10.7695 737 425841
40.30/40.35	o 6156
40.39/40.49	c 25.3841 10.7695 829 427033
40.39/40.49	o 6108
40.89/40.90	c 25.6371 10.7695 721 430985
40.89/40.90	o 6073
41.49/41.50	c 26.012 10.7695 766 435535
41.49/41.50	o 5983
41.89/41.93	c 26.283 10.7695 873 439377
41.89/41.93	o 5974
41.89/41.96	c 26.299 10.7695 505 439636
41.89/41.96	o 5958
42.19/42.26	c 26.487 10.7695 440 442857
42.19/42.26	o 5945
42.90/42.97	c 26.9299 10.7695 571 448699
42.90/42.97	o 5834
42.99/43.06	c 26.9929 10.7695 857 449457
42.99/43.06	o 5809
44.29/44.34	c 27.7828 10.7695 650 457611
44.29/44.34	o 5765
44.99/45.09	c 28.2717 10.7695 800 463197
44.99/45.09	o 5748
45.19/45.29	c 28.3957 10.7695 799 465412
45.19/45.29	o 5730
45.59/45.61	c 28.5757 10.7695 745 468368
45.59/45.61	o 5721
46.20/46.22	c 28.9686 10.7695 665 473588
46.20/46.22	o 5632
47.39/47.47	c 29.7625 10.7695 749 483741
47.39/47.47	o 5579
48.09/48.12	c 30.1724 10.7695 793 488587
48.09/48.12	o 5550
48.40/48.47	c 30.3834 10.7695 762 491719
48.40/48.47	o 5504
48.79/48.80	c 30.5684 10.7695 768 494611
48.79/48.80	o 5485
48.99/49.07	c 30.7353 10.7695 452 496918
48.99/49.07	o 5357
49.99/50.05	c 31.3612 10.7695 737 504350
49.99/50.05	o 5341
50.50/50.55	c 31.6562 10.8945 542 508754
50.50/50.55	o 5194
50.79/50.89	c 31.8722 10.8945 710 511239
50.79/50.89	o 5173
51.09/51.16	c 32.0431 10.8945 444 513673
51.09/51.16	o 5157
51.19/51.26	c 32.1031 10.8945 708 514369
51.19/51.26	o 5129
51.29/51.35	c 32.1631 10.8945 635 515241
51.29/51.35	o 5050
51.60/51.67	c 32.3431 10.8945 884 517632
51.60/51.67	o 4979
53.19/53.21	c 33.2609 10.8945 741 529412
53.19/53.21	o 4950
53.29/53.32	c 33.3319 10.8945 740 530332
53.29/53.32	o 4897
53.49/53.50	c 33.4359 10.8945 555 531996
53.49/53.50	o 4767
53.79/53.87	c 33.6639 10.8945 500 535044
53.79/53.87	o 4747
54.19/54.28	c 33.9048 10.8945 772 537614
54.19/54.28	o 4746
54.39/54.41	c 33.9828 10.8945 785 538620
54.39/54.41	o 4740
54.49/54.56	c 34.0708 10.8945 487 540066
54.49/54.56	o 4727
54.49/54.58	c 34.0788 10.8945 554 540394
54.49/54.58	o 4648
54.79/54.86	c 34.2578 10.8945 619 542456
54.79/54.86	o 4557
55.09/55.19	c 34.4678 10.8945 786 544635
55.09/55.19	o 4410
55.49/55.59	c 34.7047 10.8945 779 547385
55.49/55.59	o 4394
55.69/55.73	c 34.7937 10.8945 958 548788
55.69/55.73	o 4369
55.79/55.81	c 34.8477 10.8945 750 549480
55.79/55.81	o 4331
55.79/55.85	c 34.8677 10.8945 460 549803
55.79/55.85	o 4196
56.19/56.22	c 35.0967 10.8945 578 553150
56.19/56.22	o 4142
56.29/56.37	c 35.1787 10.8945 550 554062
56.29/56.37	o 4082
56.59/56.61	c 35.3276 10.8945 588 556213
56.59/56.61	o 4043
56.89/56.96	c 35.5506 10.8945 443 558905
56.89/56.96	o 4012
56.89/56.98	c 35.5596 10.8945 504 559120
56.89/56.98	o 3938
56.99/57.00	c 35.5756 10.8945 565 559327
56.99/57.00	o 3878
57.49/57.51	c 35.8995 10.8945 541 562999
57.49/57.51	o 3860
57.60/57.60	c 35.9555 10.8945 864 563903
57.60/57.60	o 3851
57.69/57.78	c 36.0675 10.8945 935 565058
57.69/57.78	o 3850
57.79/57.87	c 36.1215 10.8945 716 565740
57.79/57.87	o 3843
57.99/58.02	c 36.2195 10.8945 759 566964
57.99/58.02	o 3816
58.30/58.34	c 36.4215 10.8945 551 569363
58.30/58.34	o 3743
58.39/58.43	c 36.4765 10.8945 829 570058
58.39/58.43	o 3725
58.39/58.49	c 36.5074 10.8945 590 570598
58.39/58.49	o 3646
58.49/58.57	c 36.5584 10.8945 851 571260
58.49/58.57	o 3534
58.59/58.66	c 36.6154 10.8945 686 571922
58.59/58.66	o 3492
58.99/59.08	c 36.8844 10.8945 454 575156
58.99/59.08	o 3478
59.09/59.18	c 36.9394 10.8945 748 575932
59.09/59.18	o 3440
59.49/59.55	c 37.1713 10.8945 602 578457
59.49/59.55	o 3428
59.69/59.78	c 37.3193 10.8945 901 580088
59.69/59.78	o 3381
60.29/60.32	c 37.6523 11.0195 551 583715
60.29/60.32	o 3365
60.79/60.85	c 37.9722 11.0195 745 587610
60.79/60.85	o 3314
60.90/60.99	c 38.0602 11.0195 753 588688
60.90/60.99	o 3207
61.19/61.23	c 38.2162 11.0195 691 590672
61.19/61.23	o 3122
61.39/61.41	c 38.3242 11.0195 431 592045
61.39/61.41	o 3091
61.39/61.50	c 38.3742 11.0195 651 592646
61.39/61.50	o 3076
61.79/61.84	c 38.6171 11.0195 792 595055
61.79/61.84	o 3049
61.89/61.96	c 38.6781 11.0195 704 595771
61.89/61.96	o 2999
62.19/62.28	c 38.8721 11.0195 835 597977
62.19/62.28	o 2983
62.29/62.38	c 38.9361 11.0195 750 598706
62.29/62.38	o 2980
62.39/62.44	c 38.9651 11.0195 511 599190
62.39/62.44	o 2948
62.49/62.58	c 39.0471 11.0195 897 600018
62.49/62.58	o 2902
62.59/62.69	c 39.1131 11.0195 768 600770
62.59/62.69	o 2885
62.89/62.96	c 39.285 11.0195 609 602280
62.89/62.96	o 2829
62.99/63.10	c 39.369 11.0195 591 603229
62.99/63.10	o 2818
63.19/63.20	c 39.424 11.0195 477 603978
63.19/63.20	o 2789
63.19/63.27	c 39.473 11.0195 666 604515
63.19/63.27	o 2752
63.29/63.32	c 39.51 11.0195 832 604979
63.29/63.32	o 2709
63.49/63.53	c 39.638 11.0195 562 606330
63.49/63.53	o 2677
63.49/63.56	c 39.652 11.0195 621 606520
63.49/63.56	o 2622
63.69/63.74	c 39.769 11.0195 684 607629
63.69/63.74	o 2604
63.79/63.82	c 39.8249 11.0195 890 608249
63.79/63.82	o 2522
63.89/63.90	c 39.8749 11.0195 672 608934
63.89/63.90	o 2406
63.89/63.95	c 39.9039 11.0195 797 609301
63.89/63.95	o 2370
63.89/63.96	c 39.9149 11.0195 457 609484
63.89/63.96	o 2289
63.99/64.02	c 39.9529 11.0195 627 609971
63.99/64.02	o 2253
63.99/64.08	c 39.9899 11.0195 821 610435
63.99/64.08	o 2235
64.09/64.17	c 40.0479 11.0195 708 611026
64.09/64.17	o 2225
64.09/64.17	c 40.0509 11.0195 715 611086
64.09/64.17	o 2194
64.19/64.21	c 40.0719 11.0195 429 611402
64.19/64.21	o 2166
64.19/64.27	c 40.1079 11.0195 608 611905
64.19/64.27	o 2108
64.19/64.29	c 40.1209 11.0195 662 612060
64.19/64.29	o 2085
64.49/64.50	c 40.2579 11.1484 430 613530
64.49/64.50	o 2074
64.49/64.52	c 40.2689 11.1484 473 613647
64.49/64.52	o 2062
64.49/64.53	c 40.2769 11.1484 523 613816
64.49/64.54	o 2026
64.49/64.56	c 40.2879 11.1484 574 614013
64.49/64.56	o 1976
64.49/64.59	c 40.3109 11.1484 693 614376
64.49/64.59	o 1956
64.59/64.63	c 40.3399 11.1484 847 614681
64.59/64.63	o 1928
64.69/64.71	c 40.3919 11.1484 625 615278
64.69/64.71	o 1884
64.89/64.91	c 40.5218 11.1484 742 616560
64.89/64.91	o 1860
65.19/65.21	c 40.7128 11.1484 796 618691
65.19/65.21	o 1831
65.19/65.23	c 40.7228 11.1484 831 618831
65.19/65.23	o 1797
65.19/65.23	c 40.7248 11.1484 425 618906
65.19/65.23	o 1723
65.19/65.25	c 40.7378 11.1484 478 619055
65.19/65.25	o 1683
65.19/65.26	c 40.7448 11.1484 505 619167
65.19/65.26	o 1670
65.19/65.29	c 40.7618 11.1484 575 619384
65.19/65.29	o 1661
65.29/65.30	c 40.7688 11.1484 603 619531
65.29/65.30	o 1586
65.29/65.31	c 40.7758 11.1484 620 619666
65.29/65.31	o 1525
65.39/65.47	c 40.8858 11.1484 614 620584
65.39/65.47	o 1476
65.49/65.50	c 40.9028 11.1484 725 620921
65.49/65.50	o 1450
65.49/65.57	c 40.9458 11.1484 477 621268
65.49/65.57	o 1437
65.59/65.68	c 41.0208 11.1484 841 622223
65.59/65.68	o 1433
65.69/65.72	c 41.0548 11.1484 532 622522
65.69/65.72	o 1423
65.69/65.74	c 41.0698 11.1484 569 622654
65.69/65.74	o 1372
65.90/65.94	c 41.2027 11.1484 721 624132
65.90/65.94	o 1366
65.90/65.97	c 41.2217 11.1484 809 624306
65.90/65.97	o 1364
65.90/65.99	c 41.2257 11.1484 847 624472
65.90/65.99	o 1363
65.99/66.06	c 41.2747 11.1484 632 624914
65.99/66.06	o 1335
65.99/66.06	c 41.2797 11.1484 660 625009
65.99/66.06	o 1313
66.09/66.12	c 41.3197 11.1484 826 625414
66.09/66.12	o 1312
66.29/66.36	c 41.4677 11.1484 625 626756
66.29/66.36	o 1255
66.29/66.38	c 41.4807 11.1484 686 626901
66.29/66.38	o 1220
66.39/66.50	c 41.5537 11.1484 513 627513
66.39/66.50	o 1216
66.59/66.61	c 41.6257 11.1484 850 628249
66.59/66.61	o 1201
66.59/66.67	c 41.6647 11.1484 609 628735
66.59/66.67	o 1142
66.69/66.70	c 41.6847 11.1484 696 628909
66.69/66.70	o 1138
66.69/66.72	c 41.7007 11.1484 764 629066
66.69/66.72	o 1135
66.69/66.76	c 41.7227 11.1484 862 629269
66.69/66.76	o 1123
66.69/66.79	c 41.7457 11.1484 536 629526
66.69/66.79	o 1054
66.69/66.80	c 41.7477 11.1484 539 629600
66.69/66.80	o 1018
66.79/66.80	c 41.7517 11.1484 559 629686
66.79/66.80	o 1001
66.79/66.83	c 41.7666 11.1484 618 629818
66.79/66.83	o 993
66.79/66.85	c 41.7816 11.1484 676 629961
66.79/66.85	o 967
66.79/66.86	c 41.7846 11.1484 701 630060
66.79/66.86	o 952
66.79/66.86	c 41.7856 11.1484 705 630088
66.79/66.86	o 951
66.79/66.87	c 41.7916 11.1484 723 630158
66.79/66.87	o 931
66.89/66.91	c 41.8196 11.2734 825 630492
66.89/66.91	o 917
66.89/66.93	c 41.8336 11.2734 875 630628
66.89/66.93	o 898
66.89/67.00	c 41.8756 11.2734 601 631116
66.89/67.00	o 859
67.00/67.07	c 41.9146 11.2734 800 631640
67.00/67.07	o 842
67.00/67.09	c 41.9256 11.2734 857 631751
67.00/67.09	o 841
67.10/67.13	c 41.9536 11.2734 968 632083
67.10/67.13	o 832
67.10/67.14	c 41.9656 11.2734 1007 632201
67.10/67.14	o 810
67.10/67.17	c 41.9876 11.2734 583 632380
67.10/67.17	o 760
67.10/67.19	c 42.0066 11.2734 660 632611
67.10/67.19	o 732
67.19/67.21	c 42.0176 11.2734 715 632731
67.19/67.21	o 722
67.19/67.22	c 42.0226 11.2734 738 632816
67.19/67.22	o 663
67.19/67.25	c 42.0466 11.2734 828 633146
67.19/67.25	o 593
67.19/67.28	c 42.0676 11.2734 939 633356
67.19/67.28	o 589
67.29/67.30	c 42.0796 11.2734 1000 633497
67.29/67.30	o 543
67.29/67.30	c 42.0806 11.2734 1012 633540
67.29/67.30	o 529
67.29/67.36	c 42.1286 11.2734 1244 633942
67.29/67.36	o 526
67.29/67.36	c 42.1306 11.2734 627 634027
67.29/67.36	o 446
67.29/67.37	c 42.1356 11.2734 662 634091
67.29/67.37	o 422
67.29/67.37	c 42.1356 11.2734 675 634145
67.29/67.37	o 387
67.29/67.38	c 42.1376 11.2734 688 634245
67.29/67.38	o 295
67.29/67.38	c 42.1426 11.2734 719 634307
67.29/67.38	o 285
67.40/67.40	c 42.1516 11.2734 785 634464
67.40/67.40	o 215
67.40/67.40	c 42.1556 11.2734 832 634550
67.40/67.40	o 206
67.40/67.40	c 42.1576 11.2734 738 634654
67.40/67.40	o 105
67.40/67.41	c 42.1586 11.2734 749 634697
67.40/67.41	o 94
67.40/67.41	c 42.1626 11.2734 792 634758
67.40/67.41	o 90
67.40/67.41	c 42.1636 11.2734 795 634796
67.40/67.41	o 51
67.40/67.41	c 42.1656 11.2734 802 634835
67.40/67.41	o 12
67.40/67.42	c 42.1666 11.2734 838 634876
67.40/67.42	s OPTIMUM FOUND
67.40/67.42	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	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699988-1278533867/watcher-2699988-1278533867 -o /tmp/evaluation-result-2699988-1278533867/solver-2699988-1278533867 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699988-1278533867.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.77 0.27 0.09 4/178 20698
/proc/meminfo: memFree=29260640/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=2136 CPUtime=0
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 21600818 2187264 175 4089446400 134512640 136421960 4290751472 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20698/statm: 534 175 144 467 0 65 0

[startup+0.070276 s]
/proc/loadavg: 0.77 0.27 0.09 4/178 20698
/proc/meminfo: memFree=29260640/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10128 CPUtime=0.06
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2273 0 0 0 5 1 0 0 25 0 1 0 21600818 10371072 2184 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2532 2184 237 467 0 2063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10128

[startup+0.100273 s]
/proc/loadavg: 0.77 0.27 0.09 4/178 20698
/proc/meminfo: memFree=29260640/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10256 CPUtime=0.09
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2283 0 0 0 7 2 0 0 25 0 1 0 21600818 10502144 2193 4089446400 134512640 136421960 4290751472 18446744073709551615 134855905 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2564 2193 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300236 s]
/proc/loadavg: 0.77 0.27 0.09 4/178 20698
/proc/meminfo: memFree=29260640/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10384 CPUtime=0.29
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2318 0 0 0 20 9 0 0 25 0 1 0 21600818 10633216 2227 4089446400 134512640 136421960 4290751472 18446744073709551615 135830502 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2596 2227 238 467 0 2127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10384

[startup+0.700162 s]
/proc/loadavg: 0.77 0.27 0.09 4/178 20698
/proc/meminfo: memFree=29260640/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10384 CPUtime=0.68
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2320 0 0 0 47 21 0 0 25 0 1 0 21600818 10633216 2229 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2596 2229 238 467 0 2127 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10384

[startup+1.50101 s]
/proc/loadavg: 0.77 0.27 0.09 3/179 20699
/proc/meminfo: memFree=29252456/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10384 CPUtime=1.49
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2340 0 0 0 99 50 0 0 25 0 1 0 21600818 10633216 2244 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2596 2244 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10072 s]
/proc/loadavg: 0.77 0.27 0.09 3/179 20699
/proc/meminfo: memFree=29252456/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10508 CPUtime=3.09
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2367 0 0 0 205 104 0 0 25 0 1 0 21600818 10760192 2263 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2627 2263 238 467 0 2158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10508

[startup+6.30014 s]
/proc/loadavg: 0.87 0.30 0.10 3/179 20699
/proc/meminfo: memFree=29253168/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10508 CPUtime=6.29
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2407 0 0 0 405 224 0 0 25 0 1 0 21600818 10760192 2287 4089446400 134512640 136421960 4290751472 18446744073709551615 135028496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2627 2287 238 467 0 2158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10508

[startup+12.701 s]
/proc/loadavg: 0.96 0.33 0.11 3/179 20699
/proc/meminfo: memFree=29254108/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10768 CPUtime=12.69
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2453 0 0 0 800 469 0 0 25 0 1 0 21600818 11026432 2325 4089446400 134512640 136421960 4290751472 18446744073709551615 135022128 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2692 2325 238 467 0 2223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10768

[startup+25.5006 s]
/proc/loadavg: 1.19 0.41 0.14 3/179 20726
/proc/meminfo: memFree=29281260/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=10896 CPUtime=25.49
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2518 0 0 0 1602 947 0 0 25 0 1 0 21600818 11157504 2363 4089446400 134512640 136421960 4290751472 18446744073709551615 135032248 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2724 2363 238 467 0 2255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10896

[startup+51.1009 s]
/proc/loadavg: 1.53 0.55 0.20 3/179 20758
/proc/meminfo: memFree=29278912/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11152 CPUtime=51.09
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2632 0 0 0 3199 1910 0 0 25 0 1 0 21600818 11419648 2425 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2788 2425 238 467 0 2319 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11152

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

[startup+57.5007 s]
/proc/loadavg: 1.57 0.57 0.21 3/179 20758
/proc/meminfo: memFree=29279308/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11152 CPUtime=57.49
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2674 0 0 0 3589 2160 0 0 25 0 1 0 21600818 11419648 2443 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2788 2443 238 467 0 2319 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11152

[startup+63.9006 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280404/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11280 CPUtime=63.89
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2741 0 0 0 3987 2402 0 0 25 0 1 0 21600818 11550720 2474 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2820 2474 238 467 0 2351 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11280

[startup+65.5003 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280404/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11412 CPUtime=65.49
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2798 0 0 0 4089 2460 0 0 25 0 1 0 21600818 11685888 2504 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2853 2504 238 467 0 2384 0
Current children cumulated CPU time (s) 65.49
Current children cumulated vsize (KiB) 11412

[startup+66.3011 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280404/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11412 CPUtime=66.29
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2822 0 0 0 4143 2486 0 0 25 0 1 0 21600818 11685888 2517 4089446400 134512640 136421960 4290751472 18446744073709551615 135028480 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2853 2517 238 467 0 2384 0
Current children cumulated CPU time (s) 66.29
Current children cumulated vsize (KiB) 11412

[startup+67.106 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280568/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11540 CPUtime=67.1
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2857 0 0 0 4193 2517 0 0 25 0 1 0 21600818 11816960 2531 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2885 2531 238 467 0 2416 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 11540

[startup+67.3009 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280568/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11540 CPUtime=67.29
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2871 0 0 0 4207 2522 0 0 18 0 1 0 21600818 11816960 2537 4089446400 134512640 136421960 4290751472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2885 2537 238 467 0 2416 0
Current children cumulated CPU time (s) 67.29
Current children cumulated vsize (KiB) 11540

[startup+67.4009 s]
/proc/loadavg: 1.64 0.62 0.22 3/179 20758
/proc/meminfo: memFree=29280568/32951124 swapFree=67111528/67111528
[pid=20698] ppid=20696 vsize=11540 CPUtime=67.4
/proc/20698/stat : 20698 (pbct) R 20696 20698 20215 0 -1 4202496 2890 0 0 0 4215 2525 0 0 18 0 1 0 21600818 11816960 2548 4089446400 134512640 136421960 4290751472 18446744073709551615 134864965 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20698/statm: 2885 2548 238 467 0 2416 0
Current children cumulated CPU time (s) 67.4
Current children cumulated vsize (KiB) 11540

Child status: 0
Real time (s): 67.4326
CPU time (s): 67.4327
CPU user time (s): 42.1766
CPU system time (s): 25.2562
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 11540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1766
system time used= 25.2562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2903
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= 3
involuntary context switches= 232

runsolver used 0.095985 second user time and 0.215967 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-07 22:17:48
IDJOB=2699988
IDBENCH=79390
IDSOLVER=1208
FILE ID=node109/2699988-1278533867
PBS_JOBID= 11239259
Free space on /tmp= 73768 MiB

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

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

MD5SUM BENCH= 830bcbfbc6ad7e0fb8e641f5751577e3
RANDOM SEED=1292945687

node109.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.817
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.63
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.817
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.82
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.817
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.817
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.817
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.817
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.817
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.817
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:     32951124 kB
MemFree:      29261152 kB
Buffers:        136260 kB
Cached:        3308488 kB
SwapCached:          0 kB
Active:        1977924 kB
Inactive:      1565264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29261152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4064 kB
Writeback:           0 kB
AnonPages:       98576 kB
Mapped:          15728 kB
Slab:            81124 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   241148 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= 73768 MiB
End job on node109 at 2010-07-07 22:18:55