Trace number 2700399

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 65.93 65.9325

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
MD5SUMdcd6541236cc8e3c8ecb4a3e0452a499
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.705892
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.03	c 0.034994 9.74609 1 1850
0.00/0.03	o 22101
0.00/0.03	c 0.036994 9.89844 3 2097
0.00/0.03	o 21916
0.00/0.04	c 0.037994 9.89844 3 2936
0.00/0.04	o 14518
0.00/0.04	c 0.040993 9.89844 15 3209
0.00/0.04	o 14462
0.00/0.06	c 0.051992 9.89844 124 3825
0.00/0.06	o 14458
0.00/0.06	c 0.056991 9.89844 149 4174
0.00/0.06	o 14277
0.29/0.35	c 0.209968 10.1484 757 8911
0.29/0.35	o 14024
0.29/0.38	c 0.224965 10.1484 569 9664
0.29/0.38	o 13919
0.39/0.40	c 0.239963 10.1484 371 10278
0.39/0.40	o 13818
0.39/0.48	c 0.295955 10.1484 423 11439
0.39/0.48	o 13793
0.79/0.82	c 0.490925 10.1484 977 15534
0.79/0.82	o 13682
0.79/0.82	c 0.498924 10.1484 607 16064
0.79/0.82	o 13612
0.99/1.04	c 0.635903 10.1484 685 20543
0.99/1.04	o 13522
1.09/1.14	c 0.702893 10.1484 513 22074
1.09/1.14	o 13456
1.19/1.23	c 0.754885 10.1484 656 23671
1.19/1.23	o 13372
1.19/1.25	c 0.768883 10.1484 459 24434
1.19/1.25	o 13206
1.29/1.37	c 0.840872 10.1484 532 25873
1.29/1.37	o 13179
1.39/1.45	c 0.890864 10.1484 385 27487
1.39/1.45	o 13154
1.58/1.66	c 1.01885 10.1484 518 30511
1.58/1.66	o 12853
1.58/1.68	c 1.03284 10.1484 676 31267
1.58/1.68	o 12674
1.69/1.73	c 1.06084 10.1484 604 32217
1.69/1.73	o 12641
1.69/1.76	c 1.07684 10.1484 470 33124
1.69/1.76	o 12626
1.89/1.92	c 1.16782 10.1484 669 35642
1.89/1.92	o 12623
1.89/1.95	c 1.18482 10.1484 538 36349
1.89/1.95	o 12612
1.98/2.07	c 1.25481 10.1484 606 38594
1.98/2.07	o 12494
3.79/3.80	c 2.30465 10.2734 707 63041
3.79/3.80	o 12304
3.99/4.07	c 2.48162 10.2734 675 65889
3.99/4.07	o 12104
5.49/5.53	c 3.43848 10.3984 625 83067
5.49/5.53	o 12040
5.49/5.54	c 3.44548 10.3984 363 84243
5.49/5.54	o 10375
5.49/5.54	c 3.44747 10.3984 364 84724
5.49/5.54	o 10224
5.49/5.55	c 3.45147 10.3984 393 85061
5.49/5.55	o 10064
5.49/5.56	c 3.45547 10.3984 416 85318
5.49/5.56	o 9977
6.39/6.47	c 4.04239 10.3984 652 96845
6.39/6.47	o 9915
6.49/6.51	c 4.06638 10.3984 492 97543
6.49/6.51	o 9904
6.60/6.65	c 4.15137 10.3984 438 99863
6.60/6.65	o 9813
6.89/6.98	c 4.36334 10.3984 956 103957
6.89/6.98	o 9624
7.19/7.24	c 4.53031 10.3984 499 107952
7.19/7.24	o 9527
7.39/7.47	c 4.68929 10.3984 493 111212
7.39/7.47	o 9459
7.49/7.50	c 4.70228 10.3984 617 111728
7.49/7.50	o 9394
8.80/8.90	c 5.57515 10.3984 535 129762
8.80/8.90	o 9386
8.99/9.01	c 5.64214 10.3984 360 131463
8.99/9.01	o 9283
9.19/9.26	c 5.80112 10.3984 447 135074
9.19/9.26	o 9269
10.39/10.44	c 6.53201 10.3984 905 146594
10.39/10.44	o 9254
10.49/10.59	c 6.63599 10.3984 586 148032
10.49/10.59	o 9242
10.69/10.71	c 6.70698 10.3984 530 149940
10.69/10.71	o 9189
10.69/10.79	c 6.76797 10.3984 552 151184
10.69/10.79	o 9188
11.10/11.19	c 7.01093 10.3984 444 155981
11.10/11.19	o 9144
11.19/11.28	c 7.07492 10.3984 497 157349
11.19/11.28	o 9095
11.39/11.40	c 7.16191 10.3984 492 159278
11.39/11.40	o 9052
11.59/11.62	c 7.29089 10.3984 817 161168
11.59/11.62	o 9036
11.79/11.84	c 7.43687 10.3984 818 164139
11.79/11.84	o 9008
12.49/12.58	c 7.8868 10.3984 628 174036
12.49/12.58	o 8934
13.79/13.85	c 8.68968 10.5234 614 186109
13.79/13.85	o 8917
14.09/14.13	c 8.85765 10.5234 563 189799
14.09/14.13	o 8817
14.19/14.27	c 8.94164 10.5234 685 191965
14.19/14.27	o 8799
14.89/14.95	c 9.35058 10.5234 546 200015
14.89/14.95	o 8657
14.99/15.00	c 9.37757 10.5234 715 200489
14.99/15.00	o 8652
15.29/15.39	c 9.63554 10.5234 699 206383
15.29/15.39	o 8642
16.19/16.20	c 10.1335 10.5234 677 214726
16.19/16.20	o 8605
17.39/17.49	c 10.9423 10.5234 635 222990
17.39/17.49	o 8572
17.60/17.68	c 11.0463 10.5234 509 225729
17.60/17.68	o 8422
19.09/19.20	c 11.9642 10.5234 623 242534
19.09/19.20	o 8413
19.80/19.81	c 12.3471 10.5234 705 249680
19.80/19.81	o 8399
20.29/20.31	c 12.6601 10.5234 888 256060
20.29/20.31	o 8398
20.59/20.62	c 12.861 10.6484 703 258978
20.59/20.62	o 8308
21.00/21.04	c 13.116 10.6484 621 263756
21.00/21.04	o 8218
21.59/21.63	c 13.5019 10.6484 526 271683
21.59/21.63	o 8127
21.59/21.67	c 13.5239 10.6484 687 272372
21.59/21.67	o 7994
21.79/21.84	c 13.6299 10.6484 501 274997
21.79/21.84	o 7941
22.09/22.11	c 13.7879 10.6484 822 277779
22.09/22.11	o 7899
22.69/22.76	c 14.1898 10.6484 852 284916
22.69/22.76	o 7821
22.78/22.83	c 14.2348 10.6484 707 285630
22.78/22.83	o 7809
22.78/22.88	c 14.2648 10.6484 633 286422
22.78/22.88	o 7765
22.89/22.98	c 14.3158 10.6484 660 287764
22.89/22.98	o 7676
22.99/23.07	c 14.3678 10.6484 397 289207
22.99/23.07	o 7656
23.89/23.91	c 14.9067 10.6484 404 298622
23.89/23.91	o 7614
24.49/24.50	c 15.2687 10.6484 678 304238
24.49/24.50	o 7586
24.49/24.58	c 15.3257 10.6484 720 305481
24.49/24.58	o 7409
24.69/24.72	c 15.4127 10.6484 540 306938
24.69/24.72	o 7333
25.49/25.56	c 15.9316 10.6484 572 316349
25.49/25.56	o 7327
25.99/26.06	c 16.2535 10.6484 599 322378
25.99/26.06	o 7224
27.99/28.03	c 17.4803 10.6484 495 341016
27.99/28.03	o 7200
28.19/28.27	c 17.6263 10.6484 774 343776
28.19/28.27	o 7069
28.29/28.31	c 17.6513 10.6484 565 344422
28.29/28.31	o 6925
28.29/28.34	c 17.6723 10.6484 733 345036
28.29/28.34	o 6845
28.49/28.54	c 17.7983 10.6484 744 347097
28.49/28.54	o 6825
28.59/28.62	c 17.8523 10.6484 706 348149
28.59/28.62	o 6726
29.99/30.06	c 18.7342 10.6484 769 363030
29.99/30.06	o 6700
30.09/30.11	c 18.7661 10.6484 570 363754
30.09/30.11	o 6572
30.39/30.40	c 18.9501 10.6484 642 367088
30.39/30.40	o 6503
31.49/31.54	c 19.667 10.6484 610 376935
31.49/31.54	o 6482
31.59/31.66	c 19.74 10.6484 714 378030
31.59/31.66	o 6470
32.79/32.83	c 20.4709 10.6484 419 389307
32.79/32.83	o 6400
32.79/32.84	c 20.4749 10.6484 462 389549
32.79/32.84	o 6308
32.89/32.99	c 20.5519 10.6484 633 391112
32.89/32.99	o 6251
33.89/33.93	c 21.1258 10.6484 663 401052
33.89/33.93	o 6173
34.59/34.65	c 21.5687 10.6484 838 406957
34.59/34.65	o 5989
35.79/35.80	c 22.3206 10.6484 635 420286
35.79/35.80	o 5972
36.09/36.16	c 22.5436 10.6484 538 424235
36.09/36.16	o 5881
36.68/36.75	c 22.8965 10.7695 605 429307
36.68/36.75	o 5802
36.99/37.04	c 23.0815 10.7695 637 432240
36.99/37.04	o 5751
37.19/37.25	c 23.2075 10.7695 585 433889
37.19/37.25	o 5747
37.50/37.53	c 23.3724 10.7695 907 437078
37.50/37.53	o 5732
38.09/38.12	c 23.7544 10.7695 747 443895
38.09/38.12	o 5642
38.19/38.28	c 23.8504 10.7695 618 446005
38.19/38.28	o 5508
38.60/38.61	c 24.0643 10.7695 690 448929
38.60/38.61	o 5405
38.99/39.02	c 24.3083 10.7695 724 451716
38.99/39.02	o 5397
40.80/40.86	c 25.4221 10.7695 899 467707
40.80/40.86	o 5383
41.09/41.14	c 25.5981 10.7695 671 470461
41.09/41.14	o 5304
41.29/41.31	c 25.7091 10.7695 577 472447
41.29/41.31	o 5224
41.29/41.35	c 25.7371 10.7695 720 472905
41.29/41.35	o 5165
41.49/41.53	c 25.8441 10.7695 574 474496
41.49/41.53	o 5015
41.99/42.01	c 26.136 10.7695 652 478681
41.99/42.01	o 4960
42.09/42.16	c 26.232 10.7695 840 480007
42.09/42.16	o 4938
42.90/42.93	c 26.7149 10.7695 697 486509
42.90/42.93	o 4928
43.29/43.38	c 26.9909 10.7695 764 490637
43.29/43.38	o 4829
44.19/44.24	c 27.5298 10.7695 402 497042
44.19/44.24	o 4758
44.59/44.64	c 27.7928 10.7695 538 500294
44.59/44.64	o 4749
44.59/44.67	c 27.8118 10.7695 658 500657
44.59/44.67	o 4724
44.69/44.75	c 27.8568 10.7695 546 501285
44.69/44.75	o 4647
44.69/44.78	c 27.8778 10.7695 657 501771
44.69/44.78	o 4596
44.79/44.80	c 27.8888 10.7695 693 501918
44.79/44.80	o 4585
44.79/44.84	c 27.9118 10.7695 446 502459
44.79/44.84	o 4470
45.09/45.18	c 28.1067 10.7695 593 505320
45.09/45.18	o 4446
45.68/45.79	c 28.4767 10.7695 752 509023
45.68/45.79	o 4433
45.99/46.07	c 28.6536 10.7695 518 511588
45.99/46.07	o 4403
46.79/46.88	c 29.1276 10.7695 781 519228
46.79/46.88	o 4397
47.39/47.47	c 29.4715 10.7695 597 524012
47.39/47.47	o 4395
47.48/47.55	c 29.5165 10.7695 509 525050
47.48/47.55	o 4373
48.19/48.23	c 29.9255 10.7695 839 530314
48.19/48.23	o 4330
48.29/48.36	c 29.9924 10.7695 471 531576
48.29/48.36	o 4313
48.40/48.49	c 30.0674 10.7695 481 532563
48.40/48.49	o 4257
48.50/48.54	c 30.0984 10.7695 672 533091
48.50/48.54	o 4187
48.59/48.68	c 30.1824 10.7695 775 534299
48.59/48.68	o 4126
48.69/48.76	c 30.2284 10.7695 599 534780
48.69/48.76	o 4124
49.09/49.18	c 30.4914 10.8945 840 537711
49.09/49.18	o 4066
52.90/52.99	c 32.803 10.8945 631 560046
52.90/52.99	o 4040
53.39/53.40	c 33.045 10.8945 723 563378
53.39/53.40	o 3957
54.09/54.12	c 33.4539 10.8945 711 569418
54.09/54.12	o 3880
54.29/54.36	c 33.6149 10.8945 744 571573
54.29/54.36	o 3863
55.10/55.19	c 34.1428 10.8945 674 575948
55.10/55.19	o 3821
55.19/55.28	c 34.1978 10.8945 647 576924
55.19/55.28	o 3762
55.29/55.34	c 34.2348 10.8945 472 577391
55.29/55.34	o 3754
55.49/55.58	c 34.3888 10.8945 457 579557
55.49/55.58	o 3664
55.98/56.09	c 34.7087 10.8945 416 582920
55.98/56.09	o 3659
56.79/56.81	c 35.1497 10.8945 627 588192
56.79/56.81	o 3576
57.29/57.31	c 35.4766 10.8945 670 592073
57.29/57.31	o 3555
57.29/57.36	c 35.5156 10.8945 464 592610
57.29/57.36	o 3534
57.39/57.42	c 35.5536 10.8945 714 593255
57.39/57.42	o 3503
57.69/57.75	c 35.7526 10.8945 550 595970
57.69/57.75	o 3402
57.89/57.92	c 35.8456 10.8945 654 597157
57.89/57.92	o 3385
57.89/57.94	c 35.8575 10.8945 695 597286
57.89/57.94	o 3384
58.30/58.33	c 36.1145 10.8945 719 600235
58.30/58.33	o 3335
58.59/58.69	c 36.3275 10.8945 593 602483
58.59/58.69	o 3299
58.79/58.87	c 36.4375 10.8945 769 604030
58.79/58.87	o 3271
58.89/58.93	c 36.4705 10.8945 574 604634
58.89/58.93	o 3254
59.19/59.21	c 36.6364 10.8945 752 606930
59.19/59.21	o 3222
59.19/59.25	c 36.6674 10.8945 472 607386
59.19/59.25	o 3200
59.29/59.31	c 36.7064 10.8945 653 607880
59.29/59.31	o 3178
59.59/59.65	c 36.9074 10.8945 619 610683
59.59/59.65	o 3155
59.59/59.65	c 36.9124 10.8945 634 610792
59.59/59.65	o 3144
59.69/59.78	c 37.0004 10.8945 595 611698
59.69/59.78	o 3128
59.79/59.89	c 37.0624 10.8945 971 612834
59.79/59.89	o 3033
60.49/60.57	c 37.4903 10.8945 858 616639
60.49/60.57	o 3023
60.99/61.08	c 37.7893 10.8945 749 620209
60.99/61.08	o 2859
61.09/61.16	c 37.8442 10.8945 634 620882
61.09/61.16	o 2846
61.19/61.20	c 37.8652 10.8945 753 621273
61.19/61.20	o 2815
61.49/61.59	c 38.1142 10.8945 638 624046
61.49/61.59	o 2718
61.69/61.73	c 38.1982 10.8945 663 625167
61.69/61.73	o 2616
61.69/61.75	c 38.2122 11.0156 734 625387
61.69/61.75	o 2583
61.99/62.00	c 38.3662 11.0156 671 626919
61.99/62.00	o 2582
61.99/62.00	c 38.3702 11.0156 692 627074
61.99/62.00	o 2581
61.99/62.01	c 38.3722 11.0156 693 627148
61.99/62.01	o 2548
61.99/62.03	c 38.3872 11.0156 782 627368
61.99/62.03	o 2518
62.09/62.14	c 38.4632 11.0156 813 628408
62.09/62.14	o 2432
62.29/62.30	c 38.5681 11.0156 475 629900
62.29/62.30	o 2365
62.29/62.31	c 38.5751 11.0156 496 629990
62.29/62.31	o 2353
62.29/62.33	c 38.5821 11.0156 542 630132
62.29/62.33	o 2340
62.29/62.35	c 38.5931 11.0156 603 630306
62.29/62.35	o 2296
62.39/62.43	c 38.6411 11.0156 458 631133
62.39/62.43	o 2234
62.70/62.76	c 38.8301 11.0156 621 633587
62.70/62.76	o 2153
62.79/62.88	c 38.9011 11.0156 593 634715
62.79/62.88	o 2133
62.79/62.89	c 38.9071 11.0156 621 634853
62.79/62.89	o 2130
63.09/63.10	c 39.0461 11.0156 444 636310
63.09/63.10	o 2080
63.29/63.33	c 39.183 11.0156 818 638358
63.29/63.33	o 2046
63.39/63.44	c 39.257 11.0156 740 639375
63.39/63.44	o 2045
63.39/63.46	c 39.276 11.0156 810 639687
63.39/63.46	o 1862
63.69/63.75	c 39.466 11.0156 929 641867
63.69/63.75	o 1858
63.89/63.92	c 39.563 11.0156 509 642954
63.89/63.92	o 1845
63.89/63.95	c 39.584 11.0156 626 643302
63.89/63.95	o 1796
63.99/64.01	c 39.622 11.0156 818 643941
63.99/64.01	o 1709
64.19/64.20	c 39.734 11.0156 603 645326
64.19/64.20	o 1629
64.19/64.24	c 39.754 11.0156 720 645730
64.19/64.24	o 1596
64.48/64.57	c 39.9449 11.0156 457 647885
64.48/64.57	o 1513
64.69/64.71	c 40.0349 11.0156 502 648893
64.69/64.71	o 1499
64.69/64.79	c 40.0919 11.0156 757 649478
64.69/64.79	o 1470
64.79/64.89	c 40.1529 11.0156 653 650179
64.79/64.89	o 1467
64.89/64.91	c 40.1609 11.1445 695 650334
64.89/64.91	o 1419
64.89/64.98	c 40.2139 11.1445 455 650830
64.89/64.98	o 1349
64.99/65.08	c 40.2729 11.1445 757 651474
64.99/65.08	o 1325
65.09/65.12	c 40.3019 11.1445 446 651885
65.09/65.12	o 1312
65.19/65.22	c 40.3659 11.1445 799 652653
65.19/65.22	o 1285
65.19/65.24	c 40.3709 11.1445 858 652803
65.19/65.24	o 1232
65.19/65.29	c 40.4009 11.1445 586 653228
65.19/65.29	o 1210
65.29/65.34	c 40.4319 11.1445 712 653534
65.29/65.34	o 1197
65.29/65.36	c 40.4449 11.1445 759 653689
65.29/65.36	o 1166
65.39/65.45	c 40.5078 11.1445 591 654249
65.39/65.45	o 1158
65.39/65.48	c 40.5278 11.1445 677 654486
65.39/65.48	o 1096
65.39/65.48	c 40.5298 11.1445 695 654650
65.39/65.48	o 1081
65.48/65.56	c 40.5868 11.1445 514 655175
65.48/65.56	o 1028
65.48/65.58	c 40.5958 11.1445 556 655341
65.48/65.58	o 971
65.59/65.60	c 40.6108 11.1445 606 655541
65.59/65.60	o 935
65.59/65.62	c 40.6268 11.1445 664 655677
65.59/65.62	o 933
65.59/65.63	c 40.6358 11.1445 732 655871
65.59/65.63	o 906
65.59/65.67	c 40.6578 11.1445 909 656219
65.59/65.67	o 889
65.59/65.69	c 40.6658 11.1445 502 656338
65.59/65.69	o 874
65.59/65.69	c 40.6708 11.1445 513 656411
65.59/65.69	o 851
65.69/65.71	c 40.6838 11.1445 588 656566
65.69/65.71	o 828
65.69/65.74	c 40.6988 11.1445 673 656762
65.69/65.74	o 766
65.69/65.76	c 40.7098 11.1445 755 656997
65.69/65.76	o 743
65.69/65.78	c 40.7228 11.1445 820 657160
65.69/65.78	o 732
65.79/65.80	c 40.7358 11.1445 886 657393
65.79/65.80	o 662
65.79/65.81	c 40.7438 11.1445 915 657471
65.79/65.81	o 643
65.79/65.82	c 40.7498 11.1445 941 657579
65.79/65.82	o 619
65.79/65.83	c 40.7558 11.1445 985 657720
65.79/65.83	o 536
65.79/65.83	c 40.7598 11.1445 1005 657781
65.79/65.83	o 520
65.79/65.84	c 40.7638 11.1445 1023 657818
65.79/65.84	o 517
65.79/65.84	c 40.7638 11.1445 1030 657893
65.79/65.84	o 462
65.79/65.84	c 40.7648 11.1445 959 657955
65.79/65.84	o 442
65.79/65.85	c 40.7738 11.1445 1009 658048
65.79/65.85	o 426
65.79/65.85	c 40.7758 11.1445 1026 658115
65.79/65.85	o 376
65.79/65.86	c 40.7778 11.1445 1035 658153
65.79/65.86	o 358
65.79/65.88	c 40.7938 11.1445 1130 658347
65.79/65.88	o 345
65.89/65.90	c 40.8068 11.1445 938 658538
65.89/65.90	o 293
65.89/65.90	c 40.8078 11.1445 938 658553
65.89/65.90	o 292
65.89/65.90	c 40.8088 11.1445 957 658597
65.89/65.90	o 289
65.89/65.90	c 40.8108 11.1445 969 658665
65.89/65.90	o 245
65.89/65.91	c 40.8128 11.1445 732 658761
65.89/65.91	o 191
65.89/65.91	c 40.8138 11.1445 735 658782
65.89/65.91	o 181
65.89/65.91	c 40.8148 11.1445 753 658847
65.89/65.91	o 132
65.89/65.91	c 40.8148 11.1445 755 658881
65.89/65.91	o 111
65.89/65.92	c 40.8188 11.1445 791 658953
65.89/65.92	o 91
65.89/65.92	c 40.8198 11.1445 795 658999
65.89/65.92	o 42
65.89/65.92	c 40.8198 11.1445 795 659037
65.89/65.92	o 0
65.89/65.92	c 40.8198 11.1445 795 659037
65.89/65.92	s OPTIMUM FOUND
65.89/65.92	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-2700399-1278535437/watcher-2700399-1278535437 -o /tmp/evaluation-result-2700399-1278535437/solver-2700399-1278535437 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700399-1278535437.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.98 1.62 4/176 18582
/proc/meminfo: memFree=28314372/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=2136 CPUtime=0
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21757405 2187264 180 4089446400 134512640 136422188 4293226432 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18582/statm: 534 180 144 467 0 65 0

[startup+0.102308 s]
/proc/loadavg: 1.91 1.98 1.62 4/176 18582
/proc/meminfo: memFree=28314372/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10260 CPUtime=0.09
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2285 0 0 0 7 2 0 0 25 0 1 0 21757405 10506240 2198 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2565 2198 238 467 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.20029 s]
/proc/loadavg: 1.91 1.98 1.62 4/176 18582
/proc/meminfo: memFree=28314372/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10260 CPUtime=0.19
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2300 0 0 0 12 7 0 0 25 0 1 0 21757405 10506240 2213 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2565 2213 238 467 0 2096 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10260

[startup+0.300275 s]
/proc/loadavg: 1.91 1.98 1.62 4/176 18582
/proc/meminfo: memFree=28314372/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10260 CPUtime=0.29
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2307 0 0 0 17 12 0 0 25 0 1 0 21757405 10506240 2220 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2565 2220 238 467 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10260

[startup+0.700207 s]
/proc/loadavg: 1.91 1.98 1.62 4/176 18582
/proc/meminfo: memFree=28314372/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10388 CPUtime=0.69
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2331 0 0 0 41 28 0 0 25 0 1 0 21757405 10637312 2240 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2597 2240 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50107 s]
/proc/loadavg: 1.91 1.98 1.62 3/177 18583
/proc/meminfo: memFree=28305436/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10388 CPUtime=1.49
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2349 0 0 0 91 58 0 0 25 0 1 0 21757405 10637312 2250 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2597 2250 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.1008 s]
/proc/loadavg: 1.91 1.98 1.62 3/177 18583
/proc/meminfo: memFree=28304624/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10516 CPUtime=3.09
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2380 0 0 0 188 121 0 0 25 0 1 0 21757405 10768384 2274 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2629 2274 238 467 0 2160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10516

[startup+6.30026 s]
/proc/loadavg: 1.92 1.98 1.63 3/177 18583
/proc/meminfo: memFree=28302280/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10644 CPUtime=6.29
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2413 0 0 0 393 236 0 0 25 0 1 0 21757405 10899456 2300 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2661 2300 238 467 0 2192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10644

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.63 3/177 18584
/proc/meminfo: memFree=28299268/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10644 CPUtime=12.68
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2454 0 0 0 795 473 0 0 25 0 1 0 21757405 10899456 2321 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2661 2321 238 467 0 2192 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10644

[startup+25.501 s]
/proc/loadavg: 1.94 1.98 1.63 3/177 18584
/proc/meminfo: memFree=28292268/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=10900 CPUtime=25.49
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2525 0 0 0 1588 961 0 0 25 0 1 0 21757405 11161600 2365 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2725 2365 238 467 0 2256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10900

[startup+51.1007 s]
/proc/loadavg: 1.96 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28276332/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11152 CPUtime=51.09
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2653 0 0 0 3166 1943 0 0 25 0 1 0 21757405 11419648 2436 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2788 2436 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+51.2007 s]
/proc/loadavg: 1.96 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28276332/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11152 CPUtime=51.19
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2653 0 0 0 3171 1948 0 0 25 0 1 0 21757405 11419648 2436 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2788 2436 238 467 0 2319 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 11152

[startup+57.6006 s]
/proc/loadavg: 1.96 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28271864/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11152 CPUtime=57.59
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2674 0 0 0 3566 2193 0 0 25 0 1 0 21757405 11419648 2444 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2788 2444 238 467 0 2319 0
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (KiB) 11152

[startup+60.801 s]
/proc/loadavg: 1.97 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28268768/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11152 CPUtime=60.79
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2700 0 0 0 3762 2317 0 0 25 0 1 0 21757405 11419648 2455 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2788 2455 238 467 0 2319 0
Current children cumulated CPU time (s) 60.79
Current children cumulated vsize (KiB) 11152

[startup+64.0005 s]
/proc/loadavg: 1.97 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28266652/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11276 CPUtime=63.99
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2747 0 0 0 3961 2438 0 0 25 0 1 0 21757405 11546624 2476 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2819 2476 238 467 0 2350 0
Current children cumulated CPU time (s) 63.99
Current children cumulated vsize (KiB) 11276

[startup+64.8004 s]
/proc/loadavg: 1.97 1.98 1.64 3/177 18585
/proc/meminfo: memFree=28266652/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11276 CPUtime=64.79
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2759 0 0 0 4009 2470 0 0 25 0 1 0 21757405 11546624 2482 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2819 2482 238 467 0 2350 0
Current children cumulated CPU time (s) 64.79
Current children cumulated vsize (KiB) 11276

[startup+65.6002 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18585
/proc/meminfo: memFree=28265660/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11408 CPUtime=65.59
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2791 0 0 0 4061 2498 0 0 25 0 1 0 21757405 11681792 2499 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2852 2499 238 467 0 2383 0
Current children cumulated CPU time (s) 65.59
Current children cumulated vsize (KiB) 11408

[startup+65.8002 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18585
/proc/meminfo: memFree=28265660/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11408 CPUtime=65.79
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2808 0 0 0 4073 2506 0 0 25 0 1 0 21757405 11681792 2506 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2852 2506 238 467 0 2383 0
Current children cumulated CPU time (s) 65.79
Current children cumulated vsize (KiB) 11408

[startup+65.9002 s]
/proc/loadavg: 1.97 1.98 1.65 3/177 18585
/proc/meminfo: memFree=28265660/32951132 swapFree=67111528/67111528
[pid=18582] ppid=18580 vsize=11408 CPUtime=65.89
/proc/18582/stat : 18582 (pbct) R 18580 18582 17444 0 -1 4202496 2831 0 0 0 4080 2509 0 0 25 0 1 0 21757405 11681792 2517 4089446400 134512640 136422188 4293226432 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18582/statm: 2852 2517 238 467 0 2383 0
Current children cumulated CPU time (s) 65.89
Current children cumulated vsize (KiB) 11408

Child status: 0
Real time (s): 65.9325
CPU time (s): 65.93
CPU user time (s): 40.8278
CPU system time (s): 25.1022
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 11408

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

runsolver used 0.096985 second user time and 0.218966 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 22:43:57
IDJOB=2700399
IDBENCH=79424
IDSOLVER=1212
FILE ID=node129/2700399-1278535437
PBS_JOBID= 11239220
Free space on /tmp= 73788 MiB

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

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

MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499
RANDOM SEED=1802596991

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28314892 kB
Buffers:        138608 kB
Cached:        2881768 kB
SwapCached:          0 kB
Active:        2627416 kB
Inactive:      1866372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28314892 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:     1473372 kB
Mapped:          15704 kB
Slab:            76348 kB
PageTables:       7232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1617096 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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