Trace number 2699991

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 67.1658 67.1637

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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.035994 9.66406 1 1842
0.00/0.04	o 24825
0.03/0.04	c 0.041993 9.89453 21 2046
0.03/0.04	o 24736
0.03/0.04	c 0.043993 9.89453 21 2893
0.03/0.04	o 18873
0.03/0.05	c 0.045993 9.89453 21 3691
0.03/0.05	o 17938
0.03/0.05	c 0.047992 9.89453 23 4462
0.03/0.05	o 17097
0.03/0.05	c 0.048992 9.89453 23 5299
0.03/0.05	o 14194
0.03/0.05	c 0.048992 9.89453 23 5893
0.03/0.05	o 13796
0.03/0.06	c 0.050992 9.89453 35 6450
0.03/0.06	o 13527
0.03/0.06	c 0.052991 9.89453 35 7055
0.03/0.06	o 13071
0.03/0.07	c 0.05999 9.89453 72 7453
0.03/0.07	o 13039
0.09/0.19	c 0.132979 10.1445 843 9981
0.09/0.19	o 12907
0.99/1.01	c 0.626904 10.1445 1004 20154
0.99/1.01	o 12867
0.99/1.04	c 0.641902 10.1445 568 20462
0.99/1.04	o 12847
0.99/1.05	c 0.647901 10.1445 590 20711
0.99/1.05	o 12826
1.29/1.31	c 0.804877 10.1445 484 24763
1.29/1.31	o 12765
1.39/1.45	c 0.892864 10.1445 790 26744
1.39/1.45	o 12516
1.49/1.50	c 0.930858 10.1445 355 28215
1.49/1.50	o 12302
1.69/1.78	c 1.09783 10.1445 587 32348
1.69/1.78	o 12193
1.89/1.97	c 1.22381 10.1445 742 34412
1.89/1.97	o 12177
2.09/2.11	c 1.2998 10.2695 989 35603
2.09/2.11	o 12137
2.09/2.13	c 1.3158 10.2656 575 35945
2.09/2.13	o 12100
2.09/2.20	c 1.36179 10.2656 323 37411
2.09/2.20	o 11883
2.49/2.55	c 1.59076 10.2656 493 42523
2.49/2.55	o 11726
2.69/2.71	c 1.68574 10.2656 608 45140
2.69/2.71	o 11524
3.79/3.81	c 2.35764 10.2656 643 57571
3.79/3.81	o 11487
3.89/3.96	c 2.45263 10.2656 579 59255
3.89/3.96	o 11440
3.99/4.05	c 2.50462 10.2656 608 60595
3.99/4.05	o 11236
4.09/4.16	c 2.57161 10.2656 446 61904
4.09/4.16	o 11223
4.19/4.23	c 2.6116 10.2656 527 63199
4.19/4.23	o 11173
4.19/4.23	c 2.6146 10.2656 535 63494
4.19/4.23	o 11101
4.59/4.62	c 2.87256 10.2656 969 67809
4.59/4.62	o 11092
4.89/4.94	c 3.06553 10.2656 700 70527
4.89/4.94	o 10986
4.99/5.05	c 3.14652 10.2656 468 72045
4.99/5.05	o 10971
4.99/5.08	c 3.16752 10.2656 624 72613
4.99/5.08	o 10954
5.09/5.14	c 3.19251 10.2656 435 73245
5.09/5.14	o 10922
5.40/5.42	c 3.36649 10.2656 692 76797
5.40/5.42	o 10815
5.40/5.46	c 3.39448 10.2656 523 77464
5.40/5.46	o 10713
5.79/5.88	c 3.66444 10.2656 467 83033
5.79/5.88	o 10658
5.89/5.94	c 3.69444 10.2656 449 84088
5.89/5.94	o 10623
6.19/6.21	c 3.86541 10.2656 434 88389
6.19/6.21	o 10595
7.19/7.20	c 4.48932 10.3906 856 98897
7.19/7.20	o 10538
7.99/8.01	c 5.01724 10.3906 698 109508
7.99/8.01	o 10361
7.99/8.07	c 5.05523 10.3906 342 110834
7.99/8.07	o 10133
9.20/9.29	c 5.84911 10.3906 564 126248
9.20/9.29	o 9931
9.90/9.98	c 6.27105 10.3906 950 133474
9.90/9.98	o 9889
10.39/10.43	c 6.554 10.5195 824 137561
10.39/10.43	o 9872
11.19/11.29	c 7.08592 10.5195 993 147188
11.19/11.29	o 9679
12.39/12.45	c 7.80981 10.5195 787 160953
12.39/12.45	o 9511
13.49/13.52	c 8.48371 10.5195 428 172236
13.49/13.52	o 9508
13.69/13.74	c 8.62869 10.5195 629 175913
13.69/13.74	o 9468
14.39/14.43	c 9.08162 10.5195 709 184431
14.39/14.43	o 9400
14.69/14.74	c 9.27859 10.5195 690 188233
14.69/14.74	o 9342
14.79/14.88	c 9.35758 10.5195 657 190090
14.79/14.88	o 9296
15.19/15.20	c 9.56155 10.5195 449 193632
15.19/15.20	o 9172
15.19/15.26	c 9.59754 10.5195 661 194350
15.19/15.26	o 9129
15.89/15.90	c 10.0175 10.5195 838 199452
15.89/15.90	o 9042
15.99/16.07	c 10.1235 10.5195 507 202002
15.99/16.07	o 8872
16.69/16.73	c 10.5324 10.5195 801 208403
16.69/16.73	o 8824
16.79/16.82	c 10.5944 10.5195 407 209548
16.79/16.82	o 8797
17.69/17.70	c 11.1483 10.5195 657 217228
17.69/17.70	o 8697
17.89/17.93	c 11.2973 10.5195 549 220026
17.89/17.93	o 8673
18.09/18.13	c 11.4273 10.5195 740 222579
18.09/18.13	o 8666
18.09/18.16	c 11.4453 10.5195 515 223114
18.09/18.16	o 8637
18.19/18.22	c 11.4883 10.5195 739 223852
18.19/18.22	o 8622
19.49/19.59	c 12.3351 10.5195 535 238324
19.49/19.59	o 8579
19.79/19.86	c 12.5111 10.5195 382 241238
19.79/19.86	o 8545
20.10/20.10	c 12.6621 10.5195 590 243758
20.10/20.10	o 8517
20.39/20.45	c 12.877 10.5195 899 247003
20.39/20.45	o 8511
20.49/20.50	c 12.903 10.5195 635 247716
20.49/20.50	o 8384
22.19/22.29	c 14.0639 10.5195 588 266858
22.19/22.29	o 8250
22.39/22.43	c 14.1488 10.5195 453 268609
22.39/22.43	o 8144
22.59/22.61	c 14.2698 10.5195 529 270705
22.59/22.61	o 7997
23.00/23.05	c 14.5328 10.6445 546 274773
23.00/23.05	o 7891
23.09/23.18	c 14.6138 10.6445 654 276249
23.09/23.18	o 7828
23.20/23.25	c 14.6488 10.6445 552 277077
23.20/23.25	o 7776
26.59/26.66	c 16.7974 10.6445 773 300893
26.59/26.66	o 7645
26.69/26.77	c 16.8684 10.6445 488 302150
26.69/26.77	o 7633
26.79/26.81	c 16.8964 10.6445 685 302799
26.79/26.81	o 7597
27.50/27.57	c 17.3564 10.6445 664 311268
27.50/27.57	o 7550
29.60/29.69	c 18.6982 10.6445 535 329883
29.60/29.69	o 7451
30.09/30.12	c 18.9621 10.6445 910 333652
30.09/30.12	o 7426
30.69/30.76	c 19.3671 10.6445 574 340154
30.69/30.76	o 7395
30.89/30.96	c 19.504 10.6445 678 342466
30.89/30.96	o 7382
31.10/31.19	c 19.639 10.6445 447 344740
31.10/31.19	o 7376
31.50/31.55	c 19.854 10.6445 705 347255
31.50/31.55	o 7346
31.69/31.72	c 19.967 10.6445 624 349101
31.69/31.72	o 7322
31.99/32.04	c 20.1729 10.6445 749 352200
31.99/32.04	o 7254
32.19/32.21	c 20.2699 10.6445 708 354386
32.19/32.21	o 7224
33.49/33.58	c 21.1328 10.7695 528 367032
33.49/33.58	o 7177
33.79/33.88	c 21.3138 10.7695 505 370306
33.79/33.88	o 7000
33.99/34.05	c 21.4167 10.7695 587 372528
33.99/34.05	o 6975
34.39/34.40	c 21.6387 10.7695 691 375648
34.39/34.40	o 6893
34.59/34.68	c 21.8107 10.7695 431 378884
34.59/34.68	o 6854
35.29/35.30	c 22.1926 10.7695 838 384676
35.29/35.30	o 6784
35.39/35.45	c 22.2906 10.7695 617 386305
35.39/35.45	o 6727
35.99/36.00	c 22.6116 10.7695 515 390936
35.99/36.00	o 6708
37.69/37.73	c 23.7074 10.7695 904 405160
37.69/37.73	o 6501
38.09/38.13	c 23.9434 10.7695 470 409160
38.09/38.13	o 6451
38.20/38.20	c 23.9864 10.7695 719 409736
38.20/38.20	o 6421
38.39/38.46	c 24.1443 10.7695 725 411342
38.39/38.46	o 6393
38.60/38.64	c 24.2523 10.7695 585 413346
38.60/38.64	o 6379
39.29/39.36	c 24.7112 10.7695 678 419260
39.29/39.36	o 6376
39.39/39.44	c 24.7602 10.7695 643 420275
39.39/39.44	o 6300
39.70/39.74	c 24.9392 10.7695 638 423155
39.70/39.74	o 6213
39.89/39.92	c 25.0602 10.7695 914 424409
39.89/39.92	o 6204
40.09/40.14	c 25.2032 10.7695 737 425841
40.09/40.14	o 6156
40.19/40.27	c 25.2752 10.7695 829 427033
40.19/40.27	o 6108
40.60/40.67	c 25.5091 10.7695 721 430985
40.60/40.67	o 6073
41.19/41.27	c 25.8831 10.7695 766 435535
41.19/41.27	o 5983
41.70/41.71	c 26.157 10.7695 873 439377
41.70/41.71	o 5974
41.70/41.74	c 26.171 10.7695 505 439636
41.70/41.74	o 5958
41.99/42.05	c 26.36 10.7695 440 442857
41.99/42.05	o 5945
42.69/42.77	c 26.8009 10.7695 571 448699
42.69/42.77	o 5834
42.79/42.86	c 26.8569 10.7695 857 449457
42.79/42.86	o 5809
44.10/44.15	c 27.6538 10.7695 650 457611
44.10/44.15	o 5765
44.79/44.88	c 28.0847 10.7695 800 463197
44.79/44.88	o 5748
45.00/45.09	c 28.2267 10.7695 799 465412
45.00/45.09	o 5730
45.39/45.40	c 28.4107 10.7695 745 468368
45.39/45.40	o 5721
46.00/46.02	c 28.7946 10.7695 665 473588
46.00/46.02	o 5632
47.19/47.25	c 29.5675 10.7695 749 483741
47.19/47.25	o 5579
47.89/47.90	c 29.9774 10.7695 793 488587
47.89/47.90	o 5550
48.20/48.25	c 30.1904 10.7695 762 491719
48.20/48.25	o 5504
48.49/48.58	c 30.3854 10.7695 768 494611
48.49/48.58	o 5485
48.79/48.86	c 30.5604 10.7695 452 496918
48.79/48.86	o 5357
49.79/49.85	c 31.1583 10.7695 737 504350
49.79/49.85	o 5341
50.29/50.34	c 31.4712 10.8945 542 508754
50.29/50.34	o 5194
50.60/50.68	c 31.6722 10.8945 710 511239
50.60/50.68	o 5173
50.90/50.95	c 31.8482 10.8945 444 513673
50.90/50.95	o 5157
50.99/51.05	c 31.9071 10.8945 708 514369
50.99/51.05	o 5129
51.10/51.14	c 31.9611 10.8945 635 515241
51.10/51.14	o 5050
51.39/51.46	c 32.1581 10.8945 884 517632
51.39/51.46	o 4979
52.89/52.99	c 33.106 10.8945 741 529412
52.89/52.99	o 4950
53.09/53.10	c 33.171 10.8945 740 530332
53.09/53.10	o 4897
53.19/53.27	c 33.2759 10.8945 555 531996
53.19/53.27	o 4767
53.59/53.64	c 33.4839 10.8945 500 535044
53.59/53.64	o 4747
53.99/54.04	c 33.7269 10.8945 772 537614
53.99/54.04	o 4746
54.09/54.17	c 33.7969 10.8945 785 538620
54.09/54.17	o 4740
54.29/54.32	c 33.8878 10.8945 487 540066
54.29/54.32	o 4727
54.29/54.34	c 33.9008 10.8945 554 540394
54.29/54.34	o 4648
54.59/54.62	c 34.0778 10.8945 619 542456
54.59/54.62	o 4557
54.90/54.96	c 34.2808 10.8945 786 544635
54.90/54.96	o 4410
55.29/55.36	c 34.5277 10.8945 779 547385
55.29/55.36	o 4394
55.49/55.50	c 34.6107 10.8945 958 548788
55.49/55.50	o 4369
55.49/55.59	c 34.6627 10.8945 750 549480
55.49/55.59	o 4331
55.59/55.62	c 34.6767 10.8945 460 549803
55.59/55.62	o 4196
55.89/56.00	c 34.9057 10.8945 578 553150
55.89/56.00	o 4142
56.09/56.15	c 35.0017 10.8945 550 554062
56.09/56.15	o 4082
56.29/56.38	c 35.1597 10.8945 588 556213
56.29/56.38	o 4043
56.69/56.74	c 35.3786 10.8945 443 558905
56.69/56.74	o 4012
56.69/56.76	c 35.3906 10.8945 504 559120
56.69/56.76	o 3938
56.69/56.78	c 35.4046 10.8945 565 559327
56.69/56.78	o 3878
57.19/57.28	c 35.7386 10.8945 541 562999
57.19/57.28	o 3860
57.29/57.38	c 35.8036 10.8945 864 563903
57.29/57.38	o 3851
57.49/57.55	c 35.9235 10.8945 935 565058
57.49/57.55	o 3850
57.59/57.64	c 35.9805 10.8945 716 565740
57.59/57.64	o 3843
57.79/57.80	c 36.0745 10.8945 759 566964
57.79/57.80	o 3816
58.09/58.11	c 36.2625 10.8945 551 569363
58.09/58.11	o 3743
58.09/58.20	c 36.3185 10.8945 829 570058
58.09/58.20	o 3725
58.19/58.26	c 36.3515 10.8945 590 570598
58.19/58.26	o 3646
58.30/58.34	c 36.4065 10.8945 851 571260
58.30/58.34	o 3534
58.39/58.43	c 36.4605 10.8945 686 571922
58.39/58.43	o 3492
58.79/58.85	c 36.7244 10.8945 454 575156
58.79/58.85	o 3478
58.90/58.95	c 36.7854 10.8945 748 575932
58.90/58.95	o 3440
59.29/59.32	c 37.0304 10.8945 602 578457
59.29/59.32	o 3428
59.49/59.55	c 37.1733 10.8945 901 580088
59.49/59.55	o 3381
59.99/60.07	c 37.4953 11.0195 551 583715
59.99/60.07	o 3365
60.50/60.58	c 37.8123 11.0195 745 587610
60.50/60.58	o 3314
60.69/60.73	c 37.9112 11.0195 753 588688
60.69/60.73	o 3207
60.89/60.97	c 38.0622 11.0195 691 590672
60.89/60.97	o 3122
61.09/61.15	c 38.1812 11.0195 431 592045
61.09/61.15	o 3091
61.19/61.24	c 38.2292 11.0195 651 592646
61.19/61.24	o 3076
61.50/61.59	c 38.4452 11.0195 792 595055
61.50/61.59	o 3049
61.69/61.71	c 38.5171 11.0195 704 595771
61.69/61.71	o 2999
61.99/62.03	c 38.7071 11.0195 835 597977
61.99/62.03	o 2983
62.09/62.14	c 38.7691 11.0195 750 598706
62.09/62.14	o 2980
62.20/62.20	c 38.8041 11.0195 511 599190
62.20/62.20	o 2948
62.29/62.34	c 38.8991 11.0195 897 600018
62.29/62.34	o 2902
62.39/62.45	c 38.9641 11.0195 768 600770
62.39/62.45	o 2885
62.70/62.72	c 39.1321 11.0195 609 602280
62.70/62.72	o 2829
62.80/62.86	c 39.208 11.0195 591 603229
62.80/62.86	o 2818
62.89/62.96	c 39.279 11.0195 477 603978
62.89/62.96	o 2789
62.99/63.03	c 39.331 11.0195 666 604515
62.99/63.03	o 2752
62.99/63.08	c 39.365 11.0195 832 604979
62.99/63.09	o 2709
63.19/63.29	c 39.486 11.0195 562 606330
63.19/63.29	o 2677
63.29/63.32	c 39.499 11.0195 621 606520
63.29/63.32	o 2622
63.50/63.50	c 39.604 11.0195 684 607629
63.50/63.50	o 2604
63.50/63.58	c 39.655 11.0195 890 608249
63.50/63.58	o 2522
63.59/63.66	c 39.711 11.0195 672 608934
63.59/63.66	o 2406
63.70/63.71	c 39.739 11.0195 797 609301
63.70/63.71	o 2370
63.70/63.72	c 39.747 11.0195 457 609484
63.70/63.72	o 2289
63.70/63.78	c 39.776 11.0195 627 609971
63.70/63.78	o 2253
63.80/63.84	c 39.8099 11.0195 821 610435
63.80/63.84	o 2235
63.89/63.93	c 39.8639 11.0195 708 611026
63.89/63.93	o 2225
63.89/63.93	c 39.8649 11.0195 715 611086
63.89/63.93	o 2194
63.89/63.97	c 39.8849 11.0195 429 611402
63.89/63.97	o 2166
63.99/64.03	c 39.9249 11.0195 608 611905
63.99/64.03	o 2108
63.99/64.06	c 39.9369 11.0195 662 612060
63.99/64.06	o 2085
64.19/64.26	c 40.0709 11.1484 430 613530
64.19/64.26	o 2074
64.19/64.28	c 40.0819 11.1484 473 613647
64.19/64.28	o 2062
64.19/64.29	c 40.0939 11.1484 523 613816
64.19/64.29	o 2026
64.29/64.31	c 40.1099 11.1484 574 614013
64.29/64.31	o 1976
64.29/64.35	c 40.1309 11.1484 693 614376
64.29/64.35	o 1956
64.29/64.39	c 40.1529 11.1484 847 614681
64.29/64.39	o 1928
64.39/64.47	c 40.2049 11.1484 625 615278
64.39/64.47	o 1884
64.59/64.66	c 40.3319 11.1484 742 616560
64.59/64.66	o 1860
64.89/64.97	c 40.5298 11.1484 796 618691
64.89/64.97	o 1831
64.89/64.98	c 40.5408 11.1484 831 618831
64.89/64.98	o 1797
64.89/64.99	c 40.5448 11.1484 425 618906
64.89/64.99	o 1723
65.00/65.01	c 40.5578 11.1484 478 619055
65.00/65.01	o 1683
65.00/65.02	c 40.5638 11.1484 505 619167
65.00/65.02	o 1670
65.00/65.05	c 40.5828 11.1484 575 619384
65.00/65.05	o 1661
65.00/65.06	c 40.5928 11.1484 603 619531
65.00/65.06	o 1586
65.00/65.07	c 40.5988 11.1484 620 619666
65.00/65.07	o 1525
65.19/65.23	c 40.6898 11.1484 614 620584
65.19/65.23	o 1476
65.19/65.26	c 40.7058 11.1484 725 620921
65.19/65.26	o 1450
65.29/65.32	c 40.7478 11.1484 477 621268
65.29/65.32	o 1437
65.39/65.43	c 40.8178 11.1484 841 622223
65.39/65.43	o 1433
65.39/65.48	c 40.8488 11.1484 532 622522
65.39/65.48	o 1423
65.49/65.50	c 40.8648 11.1484 569 622654
65.49/65.50	o 1372
65.70/65.70	c 41.0018 11.1484 721 624132
65.70/65.70	o 1366
65.70/65.73	c 41.0188 11.1484 809 624306
65.70/65.73	o 1364
65.70/65.74	c 41.0268 11.1484 847 624472
65.70/65.74	o 1363
65.79/65.81	c 41.0768 11.1484 632 624914
65.79/65.81	o 1335
65.79/65.82	c 41.0818 11.1484 660 625009
65.79/65.82	o 1313
65.79/65.88	c 41.1217 11.1484 826 625414
65.79/65.88	o 1312
66.10/66.11	c 41.2707 11.1484 625 626756
66.10/66.11	o 1255
66.10/66.13	c 41.2797 11.1484 686 626901
66.10/66.13	o 1220
66.19/66.24	c 41.3497 11.1484 513 627513
66.19/66.24	o 1216
66.29/66.35	c 41.4157 11.1484 850 628249
66.29/66.35	o 1201
66.39/66.41	c 41.4557 11.1484 609 628735
66.39/66.41	o 1142
66.39/66.44	c 41.4737 11.1484 696 628909
66.39/66.44	o 1138
66.39/66.46	c 41.4837 11.1484 764 629066
66.39/66.46	o 1135
66.39/66.50	c 41.5057 11.1484 862 629269
66.39/66.50	o 1123
66.49/66.53	c 41.5307 11.1484 536 629526
66.49/66.53	o 1054
66.49/66.54	c 41.5337 11.1484 539 629600
66.49/66.54	o 1018
66.49/66.54	c 41.5377 11.1484 559 629686
66.49/66.54	o 1001
66.49/66.57	c 41.5537 11.1484 618 629818
66.49/66.57	o 993
66.49/66.59	c 41.5677 11.1484 676 629961
66.49/66.59	o 967
66.59/66.60	c 41.5697 11.1484 701 630060
66.59/66.60	o 952
66.59/66.60	c 41.5707 11.1484 705 630088
66.59/66.60	o 951
66.59/66.61	c 41.5727 11.1484 723 630158
66.59/66.61	o 931
66.59/66.65	c 41.5987 11.2734 825 630492
66.59/66.65	o 917
66.59/66.67	c 41.6077 11.2734 875 630628
66.59/66.67	o 898
66.69/66.74	c 41.6537 11.2734 601 631116
66.69/66.74	o 859
66.79/66.81	c 41.6947 11.2734 800 631640
66.79/66.81	o 842
66.79/66.82	c 41.7057 11.2734 857 631751
66.79/66.82	o 841
66.79/66.86	c 41.7247 11.2734 968 632083
66.79/66.86	o 832
66.79/66.88	c 41.7377 11.2734 1007 632201
66.79/66.88	o 810
66.89/66.90	c 41.7607 11.2734 583 632380
66.89/66.90	o 760
66.89/66.93	c 41.7756 11.2734 660 632611
66.89/66.93	o 732
66.89/66.95	c 41.7866 11.2734 715 632731
66.89/66.95	o 722
66.89/66.95	c 41.7926 11.2734 738 632816
66.89/66.95	o 663
66.89/66.98	c 41.8096 11.2734 828 633146
66.89/66.98	o 593
67.00/67.01	c 41.8306 11.2734 939 633356
67.00/67.01	o 589
67.00/67.03	c 41.8376 11.2734 1000 633497
67.00/67.03	o 543
67.00/67.03	c 41.8406 11.2734 1012 633540
67.00/67.03	o 529
67.00/67.09	c 41.8776 11.2734 1244 633942
67.00/67.09	o 526
67.00/67.09	c 41.8796 11.2734 627 634027
67.00/67.09	o 446
67.10/67.10	c 41.8836 11.2734 662 634091
67.10/67.10	o 422
67.10/67.10	c 41.8866 11.2734 675 634145
67.10/67.10	o 387
67.10/67.11	c 41.8886 11.2734 688 634245
67.10/67.11	o 295
67.10/67.12	c 41.8936 11.2734 719 634307
67.10/67.12	o 285
67.10/67.13	c 41.9036 11.2734 785 634464
67.10/67.13	o 215
67.10/67.13	c 41.9096 11.2734 832 634550
67.10/67.13	o 206
67.10/67.14	c 41.9106 11.2734 738 634654
67.10/67.14	o 105
67.10/67.14	c 41.9116 11.2734 749 634697
67.10/67.14	o 94
67.10/67.14	c 41.9176 11.2734 792 634758
67.10/67.14	o 90
67.10/67.14	c 41.9186 11.2734 795 634796
67.10/67.14	o 51
67.10/67.15	c 41.9186 11.2734 802 634835
67.10/67.15	o 12
67.10/67.15	c 41.9226 11.2734 838 634876
67.10/67.15	s OPTIMUM FOUND
67.10/67.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	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-2699991-1278533868/watcher-2699991-1278533868 -o /tmp/evaluation-result-2699991-1278533868/solver-2699991-1278533868 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699991-1278533868.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.39 0.09 0.03 4/178 19845
/proc/meminfo: memFree=29039392/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=2136 CPUtime=0
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 21600983 2187264 176 4089446400 134512640 136422188 4288286496 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19845/statm: 534 176 144 467 0 65 0

[startup+0.042294 s]
/proc/loadavg: 0.39 0.09 0.03 4/178 19845
/proc/meminfo: memFree=29039392/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10128 CPUtime=0.03
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2266 0 0 0 3 0 0 0 25 0 1 0 21600983 10371072 2184 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2532 2184 237 467 0 2063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10128

[startup+0.100293 s]
/proc/loadavg: 0.39 0.09 0.03 4/178 19845
/proc/meminfo: memFree=29039392/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10256 CPUtime=0.09
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2285 0 0 0 7 2 0 0 25 0 1 0 21600983 10502144 2194 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2564 2194 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300246 s]
/proc/loadavg: 0.39 0.09 0.03 4/178 19845
/proc/meminfo: memFree=29039392/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10384 CPUtime=0.29
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2319 0 0 0 18 11 0 0 25 0 1 0 21600983 10633216 2227 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2596 2227 238 467 0 2127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10384

[startup+0.700172 s]
/proc/loadavg: 0.39 0.09 0.03 4/178 19845
/proc/meminfo: memFree=29039392/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10384 CPUtime=0.69
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2323 0 0 0 42 27 0 0 25 0 1 0 21600983 10633216 2231 4089446400 134512640 136422188 4288286496 18446744073709551615 134902541 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2596 2231 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50102 s]
/proc/loadavg: 0.39 0.09 0.03 3/179 19846
/proc/meminfo: memFree=29030828/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10384 CPUtime=1.49
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2341 0 0 0 92 57 0 0 25 0 1 0 21600983 10633216 2244 4089446400 134512640 136422188 4288286496 18446744073709551615 135874787 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/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.39 0.09 0.03 3/179 19846
/proc/meminfo: memFree=29029588/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10508 CPUtime=3.09
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2372 0 0 0 192 117 0 0 25 0 1 0 21600983 10760192 2267 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2627 2267 238 467 0 2158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10508

[startup+6.30013 s]
/proc/loadavg: 0.60 0.14 0.04 3/179 19846
/proc/meminfo: memFree=29026472/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10636 CPUtime=6.29
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2409 0 0 0 392 237 0 0 25 0 1 0 21600983 10891264 2288 4089446400 134512640 136422188 4288286496 18446744073709551615 134863952 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2659 2288 238 467 0 2190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10636

[startup+12.7009 s]
/proc/loadavg: 0.71 0.17 0.05 3/179 19846
/proc/meminfo: memFree=29019288/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10768 CPUtime=12.69
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2455 0 0 0 796 473 0 0 25 0 1 0 21600983 11026432 2326 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2692 2326 238 467 0 2223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10768

[startup+25.5005 s]
/proc/loadavg: 1.00 0.26 0.08 3/179 19847
/proc/meminfo: memFree=29005084/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=10896 CPUtime=25.49
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2521 0 0 0 1604 945 0 0 25 0 1 0 21600983 11157504 2365 4089446400 134512640 136422188 4288286496 18446744073709551615 135019304 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2724 2365 238 467 0 2255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10896

[startup+51.1008 s]
/proc/loadavg: 1.41 0.42 0.14 3/179 19850
/proc/meminfo: memFree=28975604/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11152 CPUtime=51.1
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2636 0 0 0 3193 1917 0 0 25 0 1 0 21600983 11419648 2426 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2788 2426 238 467 0 2319 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11152

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

[startup+57.5006 s]
/proc/loadavg: 1.46 0.44 0.15 3/179 19850
/proc/meminfo: memFree=28963952/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11152 CPUtime=57.49
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2679 0 0 0 3588 2161 0 0 25 0 1 0 21600983 11419648 2445 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2788 2445 238 467 0 2319 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11152

[startup+63.9004 s]
/proc/loadavg: 1.50 0.47 0.16 3/179 19851
/proc/meminfo: memFree=28959484/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11280 CPUtime=63.89
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2751 0 0 0 3984 2405 0 0 25 0 1 0 21600983 11550720 2478 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2820 2478 238 467 0 2351 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11280

[startup+65.5011 s]
/proc/loadavg: 1.50 0.47 0.16 3/179 19851
/proc/meminfo: memFree=28959476/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11412 CPUtime=65.49
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2808 0 0 0 4086 2463 0 0 20 0 1 0 21600983 11685888 2509 4089446400 134512640 136422188 4288286496 18446744073709551615 134594194 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2853 2509 238 467 0 2384 0
Current children cumulated CPU time (s) 65.49
Current children cumulated vsize (KiB) 11412

[startup+66.3009 s]
/proc/loadavg: 1.54 0.49 0.17 3/179 19851
/proc/meminfo: memFree=28959228/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11412 CPUtime=66.29
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2830 0 0 0 4137 2492 0 0 18 0 1 0 21600983 11685888 2521 4089446400 134512640 136422188 4288286496 18446744073709551615 134974162 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2853 2521 238 467 0 2384 0
Current children cumulated CPU time (s) 66.29
Current children cumulated vsize (KiB) 11412

[startup+66.7009 s]
/proc/loadavg: 1.54 0.49 0.17 3/179 19851
/proc/meminfo: memFree=28959228/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11540 CPUtime=66.69
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2854 0 0 0 4162 2507 0 0 19 0 1 0 21600983 11816960 2530 4089446400 134512640 136422188 4288286496 18446744073709551615 134643682 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2885 2530 238 467 0 2416 0
Current children cumulated CPU time (s) 66.69
Current children cumulated vsize (KiB) 11540

[startup+67.1058 s]
/proc/loadavg: 1.54 0.49 0.17 3/179 19851
/proc/meminfo: memFree=28959228/32951124 swapFree=67111528/67111528
[pid=19845] ppid=19843 vsize=11540 CPUtime=67.1
/proc/19845/stat : 19845 (pbct) R 19843 19845 19080 0 -1 4202496 2887 0 0 0 4188 2522 0 0 19 0 1 0 21600983 11816960 2548 4089446400 134512640 136422188 4288286496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19845/statm: 2885 2548 238 467 0 2416 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 11540

Child status: 0
Real time (s): 67.1637
CPU time (s): 67.1658
CPU user time (s): 41.9316
CPU system time (s): 25.2342
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11540

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

runsolver used 0.104984 second user time and 0.214967 second system time

The end

Launcher Data 

Begin job on node111 at 2010-07-07 22:17:48
IDJOB=2699991
IDBENCH=79390
IDSOLVER=1212
FILE ID=node111/2699991-1278533868
PBS_JOBID= 11239255
Free space on /tmp= 73620 MiB

SOLVER NAME= PB/CT 0.1 fixed
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-2699991-1278533868/watcher-2699991-1278533868 -o /tmp/evaluation-result-2699991-1278533868/solver-2699991-1278533868 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699991-1278533868.wbo

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

MD5SUM BENCH= 830bcbfbc6ad7e0fb8e641f5751577e3
RANDOM SEED=459074447

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29039912 kB
Buffers:        137944 kB
Cached:        3543008 kB
SwapCached:          0 kB
Active:        2039500 kB
Inactive:      1721588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29039912 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5056 kB
Writeback:           0 kB
AnonPages:       80512 kB
Mapped:          15080 kB
Slab:            84940 kB
PageTables:       4976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219104 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= 73616 MiB
End job on node111 at 2010-07-07 22:18:56