Trace number 2700375

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 79.1 79.098

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
MD5SUMb50e414b5ae2abd5c7b876bc50645ba2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark0.999847
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.033994 9.73828 1 1842
0.00/0.03	o 27454
0.00/0.03	c 0.033994 9.89453 2 2472
0.00/0.03	o 26769
0.00/0.04	c 0.034994 9.89453 2 3307
0.00/0.04	o 15951
0.00/0.04	c 0.034994 9.89453 2 3715
0.00/0.04	o 15652
0.00/0.04	c 0.035994 9.89453 9 4071
0.00/0.04	o 15435
0.00/0.07	c 0.042993 9.89453 212 5114
0.00/0.07	o 15382
0.07/0.09	c 0.045993 10.0195 339 5696
0.07/0.09	o 15381
0.09/0.16	c 0.057991 10.0195 460 7059
0.09/0.16	o 15369
0.09/0.19	c 0.066989 10.0195 601 7687
0.09/0.19	o 15320
0.19/0.29	c 0.084987 10.0195 530 10042
0.19/0.29	o 15307
0.39/0.49	c 0.119981 10.1445 441 14664
0.39/0.49	o 14820
0.69/0.77	c 0.173973 10.1445 395 19349
0.69/0.77	o 14623
0.79/0.82	c 0.181972 10.1445 714 20573
0.79/0.82	o 14419
0.79/0.84	c 0.185971 10.1445 486 21288
0.79/0.84	o 14276
0.89/0.90	c 0.198969 10.1445 450 22415
0.89/0.90	o 14188
1.09/1.15	c 0.246962 10.1445 434 26025
1.09/1.15	o 13992
1.29/1.35	c 0.318951 10.1445 478 29436
1.29/1.35	o 13956
1.29/1.37	c 0.32495 10.1445 617 30154
1.29/1.37	o 13782
1.59/1.67	c 0.439933 10.1445 697 34413
1.59/1.67	o 13727
1.99/2.08	c 0.608907 10.2695 580 38735
1.99/2.08	o 13611
1.99/2.09	c 0.616906 10.2695 356 39344
1.99/2.09	o 13533
2.09/2.11	c 0.623905 10.2695 451 39663
2.09/2.11	o 13527
2.59/2.61	c 0.765883 10.2695 512 49282
2.59/2.61	o 13410
2.99/3.07	c 0.859869 10.2695 816 56694
2.99/3.07	o 13353
3.19/3.29	c 0.91886 10.2695 660 60748
3.19/3.29	o 13351
3.49/3.50	c 0.976851 10.2695 867 63932
3.49/3.50	o 13316
3.59/3.63	c 1.00285 10.2695 427 66129
3.59/3.63	o 13223
3.69/3.76	c 1.01984 10.2695 542 68610
3.69/3.76	o 13217
4.09/4.18	c 1.13383 10.3945 547 74807
4.09/4.18	o 12864
4.09/4.19	c 1.13583 10.3945 605 75115
4.09/4.19	o 12818
4.20/4.20	c 1.14383 10.3945 637 75437
4.20/4.20	o 12701
4.40/4.44	c 1.20182 10.3945 474 79259
4.40/4.44	o 12549
4.79/4.81	c 1.26281 10.3945 645 83894
4.79/4.81	o 12504
5.79/5.87	c 1.43578 10.3945 492 98832
5.79/5.87	o 12447
5.79/5.89	c 1.43778 10.3945 556 99341
5.79/5.89	o 12270
5.90/5.90	c 1.44078 10.3945 330 99807
5.90/5.90	o 12211
5.90/5.97	c 1.45178 10.3945 698 100992
5.90/5.97	o 12188
7.09/7.14	c 1.66275 10.3945 547 114802
7.09/7.14	o 12167
7.29/7.31	c 1.69174 10.3945 641 117875
7.29/7.32	o 12110
7.29/7.35	c 1.69674 10.3945 488 118690
7.29/7.35	o 12046
7.29/7.37	c 1.70374 10.3945 621 119346
7.29/7.37	o 11924
7.70/7.78	c 1.79373 10.3945 621 125685
7.70/7.78	o 11825
7.99/8.09	c 1.90071 10.3945 918 130538
7.99/8.09	o 11721
8.19/8.27	c 1.9587 10.3945 454 133388
8.19/8.27	o 11618
8.39/8.49	c 2.03669 10.3945 510 136731
8.39/8.49	o 11377
8.39/8.49	c 2.03669 10.3945 514 136999
8.39/8.49	o 11277
8.39/8.49	c 2.03969 10.3945 526 137255
8.39/8.49	o 11199
8.49/8.54	c 2.05969 10.3945 391 138413
8.49/8.54	o 10965
8.49/8.59	c 2.07768 10.3945 651 139256
8.49/8.59	o 10943
11.69/11.78	c 2.71859 10.5195 828 172097
11.69/11.78	o 10938
11.89/11.95	c 2.75158 10.5195 663 175107
11.89/11.95	o 10874
11.89/12.00	c 2.75658 10.5195 529 176001
11.89/12.00	o 10737
12.19/12.25	c 2.79157 10.5195 706 179045
12.19/12.25	o 10661
12.79/12.86	c 2.91156 10.5195 528 188542
12.79/12.86	o 10337
13.19/13.23	c 2.96955 10.5195 792 194609
13.19/13.23	o 10188
14.99/15.01	c 3.47447 10.5195 618 214300
14.99/15.01	o 10122
15.49/15.54	c 3.68244 10.5195 402 219939
15.49/15.54	o 10022
15.59/15.64	c 3.70844 10.5195 489 221093
15.59/15.64	o 9968
15.69/15.71	c 3.72343 10.5195 482 221998
15.69/15.71	o 9962
16.19/16.28	c 3.80542 10.5195 509 227592
16.19/16.28	o 9823
16.50/16.52	c 3.85041 10.5195 949 230750
16.50/16.52	o 9555
17.79/17.82	c 4.04538 10.6406 495 245946
17.79/17.82	o 9317
17.89/17.91	c 4.05938 10.6406 925 247089
17.89/17.91	o 9291
18.79/18.87	c 4.21236 10.6406 563 259547
18.79/18.87	o 9263
19.09/19.15	c 4.26635 10.6406 486 263707
19.09/19.15	o 9076
19.09/19.19	c 4.27335 10.6406 678 264322
19.09/19.19	o 9060
20.29/20.34	c 4.46832 10.6406 690 278623
20.29/20.34	o 8935
21.49/21.59	c 4.81727 10.6406 690 292532
21.49/21.59	o 8834
22.39/22.46	c 5.04323 10.6406 830 302513
22.39/22.46	o 8768
22.69/22.71	c 5.09223 10.6406 633 305449
22.69/22.71	o 8759
22.79/22.84	c 5.10722 10.6406 547 307416
22.79/22.84	o 8680
23.69/23.77	c 5.2782 10.6406 695 319201
23.69/23.77	o 8660
23.89/23.97	c 5.31519 10.6406 871 321935
23.89/23.97	o 8599
24.10/24.13	c 5.35019 10.6406 612 323271
24.10/24.13	o 8539
25.09/25.18	c 5.53316 10.6406 580 334635
25.09/25.18	o 8459
26.19/26.29	c 5.72713 10.6406 742 344020
26.19/26.29	o 8375
26.49/26.57	c 5.77312 10.6406 626 347041
26.49/26.57	o 8303
27.89/27.96	c 6.14407 10.6406 831 362985
27.89/27.96	o 8252
28.09/28.11	c 6.19306 10.6406 783 365333
28.09/28.11	o 8013
28.09/28.18	c 6.22505 10.6406 464 366720
28.09/28.18	o 7891
29.49/29.53	c 6.57 10.6406 671 380674
29.49/29.53	o 7728
30.39/30.48	c 6.71598 10.6406 684 391360
30.39/30.48	o 7590
30.49/30.50	c 6.71998 10.6406 472 391864
30.49/30.50	o 7545
30.49/30.56	c 6.73897 10.6406 684 392403
30.49/30.56	o 7519
30.60/30.62	c 6.74397 10.6406 483 392984
30.60/30.62	o 7514
30.60/30.69	c 6.75897 10.6406 426 393841
30.60/30.69	o 7508
30.69/30.70	c 6.76097 10.6406 468 394063
30.69/30.70	o 7419
30.89/30.92	c 6.79697 10.6406 598 396526
30.89/30.92	o 7406
31.19/31.25	c 6.85596 10.6406 831 400013
31.19/31.25	o 7304
31.29/31.37	c 6.87795 10.6406 618 401683
31.29/31.37	o 7210
31.29/31.38	c 6.87895 10.6406 660 402010
31.29/31.38	o 7054
31.59/31.68	c 6.92295 10.6406 810 405547
31.59/31.68	o 6989
32.19/32.24	c 6.99894 10.6406 629 411379
32.19/32.24	o 6925
32.90/32.97	c 7.12092 10.7617 624 419119
32.90/32.97	o 6555
33.99/34.02	c 7.30389 10.7617 661 428372
33.99/34.02	o 6525
35.89/35.94	c 7.84881 10.7617 667 446736
35.89/35.94	o 6524
35.99/36.06	c 7.8668 10.7617 535 448581
35.99/36.06	o 6450
36.09/36.17	c 7.8878 10.7617 977 449882
36.09/36.17	o 6326
36.69/36.74	c 7.98479 10.7617 598 455997
36.69/36.74	o 6323
37.19/37.28	c 8.07577 10.7617 503 460612
37.19/37.28	o 6318
38.69/38.73	c 8.30474 10.7617 470 471967
38.69/38.73	o 6274
39.09/39.19	c 8.37673 10.7617 456 477411
39.09/39.19	o 6254
39.29/39.35	c 8.40872 10.7617 772 479199
39.29/39.35	o 6234
39.39/39.40	c 8.41572 10.7617 552 479776
39.39/39.40	o 6185
41.50/41.58	c 8.95364 10.7617 618 500040
41.50/41.58	o 6173
42.19/42.29	c 9.10661 10.7617 874 506606
42.19/42.29	o 6159
42.29/42.33	c 9.11161 10.7617 635 507349
42.29/42.33	o 6001
42.59/42.63	c 9.15761 10.7617 694 510222
42.59/42.63	o 5994
42.80/42.81	c 9.1826 10.7617 916 511741
42.80/42.81	o 5942
42.90/42.92	c 9.2006 10.7617 534 512967
42.90/42.92	o 5941
42.90/42.97	c 9.2086 10.7617 703 513632
42.90/42.97	o 5900
43.39/43.43	c 9.28059 10.7617 564 518318
43.39/43.43	o 5898
43.69/43.71	c 9.32458 10.7617 886 521212
43.69/43.71	o 5875
44.09/44.15	c 9.38657 10.7617 559 525535
44.09/44.15	o 5871
44.39/44.43	c 9.43557 10.7617 901 528591
44.39/44.43	o 5860
44.49/44.50	c 9.44656 10.7617 720 529563
44.49/44.50	o 5817
44.89/44.99	c 9.52755 10.7617 820 533904
44.89/44.99	o 5803
46.79/46.83	c 9.8285 10.7617 735 547933
46.79/46.83	o 5757
46.89/46.90	c 9.8385 10.7617 638 548655
46.89/46.90	o 5719
47.09/47.14	c 9.8805 10.7617 694 550868
47.09/47.14	o 5634
47.30/47.37	c 9.96748 10.7617 460 553093
47.30/47.37	o 5547
47.49/47.53	c 10.0285 10.7617 731 554797
47.49/47.53	o 5515
47.69/47.72	c 10.1005 10.7617 707 556789
47.69/47.72	o 5479
47.89/47.91	c 10.1685 10.7617 901 558385
47.89/47.91	o 5394
48.19/48.26	c 10.2994 10.7617 846 561281
48.19/48.26	o 5379
48.39/48.44	c 10.3504 10.8828 669 562963
48.39/48.44	o 5352
49.20/49.25	c 10.4814 10.8828 840 569856
49.20/49.25	o 5347
49.39/49.45	c 10.5194 10.8828 661 571180
49.39/49.45	o 5346
50.69/50.76	c 10.7374 10.8828 440 583994
50.69/50.76	o 5265
51.00/51.00	c 10.7714 10.8828 823 585985
51.00/51.00	o 5249
51.09/51.17	c 10.7984 10.8828 689 587988
51.09/51.17	o 5240
51.29/51.40	c 10.8284 10.8828 532 590682
51.29/51.40	o 5156
51.89/51.98	c 10.9233 10.8828 745 596168
51.89/51.98	o 5123
52.09/52.11	c 10.9383 10.8828 855 597475
52.09/52.11	o 5000
52.20/52.22	c 10.9523 10.8828 984 598884
52.20/52.22	o 4946
52.39/52.42	c 10.9803 10.8828 828 600718
52.39/52.42	o 4887
52.89/52.98	c 11.0573 10.8828 509 606628
52.89/52.98	o 4876
52.99/53.05	c 11.0703 10.8828 761 607435
52.99/53.05	o 4825
53.29/53.33	c 11.1093 10.8828 482 609670
53.29/53.33	o 4799
54.50/54.51	c 11.4653 10.8828 671 618310
54.50/54.51	o 4733
54.80/54.89	c 11.5892 10.8828 719 621322
54.80/54.89	o 4721
55.39/55.47	c 11.6642 10.8828 591 625477
55.39/55.47	o 4683
55.60/55.61	c 11.6972 10.8828 441 627252
55.60/55.61	o 4668
56.00/56.01	c 11.7552 10.8828 851 630028
56.00/56.01	o 4653
56.89/56.97	c 11.9072 10.8828 648 638569
56.89/56.97	o 4619
56.99/57.09	c 11.9402 10.8828 747 639859
56.99/57.09	o 4617
57.10/57.16	c 11.9472 10.8828 645 640669
57.10/57.16	o 4546
57.29/57.36	c 11.9712 10.8828 510 642533
57.29/57.36	o 4538
57.89/57.90	c 12.0552 10.8828 456 647280
57.89/57.90	o 4530
57.89/57.99	c 12.0692 10.8828 717 647915
57.89/57.99	o 4529
58.20/58.30	c 12.1042 10.8828 614 650657
58.20/58.30	o 4520
58.49/58.52	c 12.1392 10.8828 553 652794
58.49/58.52	o 4464
59.09/59.10	c 12.2391 10.8828 606 657686
59.09/59.10	o 4425
59.09/59.18	c 12.2581 10.8828 863 658279
59.09/59.18	o 4377
59.19/59.29	c 12.2751 10.8828 783 659135
59.19/59.29	o 4352
59.40/59.48	c 12.3081 10.8828 675 660930
59.40/59.48	o 4287
60.79/60.83	c 12.6471 11.0039 585 672525
60.79/60.83	o 4267
60.79/60.89	c 12.6691 11.0039 761 673041
60.79/60.89	o 4264
60.90/60.98	c 12.7091 11 672 673777
60.90/60.98	o 4252
61.69/61.76	c 12.956 11 731 679711
61.69/61.76	o 4195
62.00/62.08	c 13.004 11 519 682197
62.00/62.08	o 4115
62.69/62.78	c 13.118 11 845 687695
62.69/62.78	o 4049
62.99/63.05	c 13.157 11 541 690075
62.99/63.05	o 4014
63.40/63.41	c 13.214 11 824 692699
63.40/63.41	o 4005
63.40/63.44	c 13.22 11 504 692997
63.40/63.44	o 3952
63.59/63.69	c 13.26 11 507 695354
63.59/63.69	o 3901
64.19/64.26	c 13.357 11 590 700006
64.19/64.26	o 3573
64.80/64.86	c 13.447 11 685 705566
64.80/64.86	o 3562
64.99/65.02	c 13.469 11 779 706795
64.99/65.02	o 3527
66.49/66.57	c 13.7089 11 807 717206
66.49/66.57	o 3472
67.09/67.14	c 13.8829 11 528 721103
67.09/67.14	o 3420
68.20/68.28	c 14.2148 11 744 729467
68.20/68.28	o 3323
68.29/68.36	c 14.2318 11 570 730027
68.29/68.36	o 3316
68.39/68.46	c 14.2458 11 471 730962
68.39/68.46	o 3273
68.69/68.77	c 14.3138 11 622 733205
68.69/68.77	o 3264
69.09/69.17	c 14.3898 11 717 736475
69.09/69.17	o 3246
69.29/69.38	c 14.4298 11 623 738169
69.29/69.38	o 3241
69.59/69.69	c 14.4718 11 826 740766
69.59/69.69	o 3149
69.99/70.06	c 14.5208 11 461 743817
69.99/70.06	o 3121
70.30/70.30	c 14.5628 11 796 745499
70.30/70.30	o 3019
70.40/70.45	c 14.5808 11 480 746617
70.40/70.45	o 3009
70.99/71.08	c 14.6678 11 735 751205
70.99/71.08	o 2976
71.09/71.12	c 14.6718 11 461 751726
71.09/71.12	o 2945
71.40/71.44	c 14.7178 11 643 754239
71.40/71.44	o 2921
71.50/71.51	c 14.7278 11 485 754938
71.50/71.51	o 2917
71.50/71.59	c 14.7468 11 748 755771
71.50/71.59	o 2875
72.09/72.18	c 14.8387 11 565 760149
72.09/72.18	o 2853
72.19/72.26	c 14.8457 11 847 760901
72.19/72.26	o 2821
72.29/72.31	c 14.8507 11 581 761352
72.29/72.31	o 2801
72.49/72.56	c 14.8867 11 486 763024
72.49/72.56	o 2698
72.49/72.59	c 14.8957 11 637 763527
72.49/72.59	o 2625
72.60/72.64	c 14.9007 11 788 763934
72.60/72.64	o 2614
72.79/72.81	c 14.9297 11 895 765308
72.79/72.81	o 2591
73.10/73.17	c 14.9927 11 781 767942
73.10/73.17	o 2502
73.10/73.19	c 14.9987 11.1211 852 768105
73.10/73.19	o 2493
73.19/73.30	c 15.0167 11.1211 751 769002
73.19/73.30	o 2426
73.59/73.67	c 15.1567 11.1211 644 771637
73.59/73.67	o 2408
73.70/73.75	c 15.1907 11.1211 478 772297
73.70/73.75	o 2397
73.89/73.93	c 15.2597 11.1211 585 773524
73.89/73.93	o 2390
73.99/74.04	c 15.2987 11.1211 487 774472
73.99/74.04	o 2387
74.39/74.43	c 15.4267 11.1211 738 777002
74.39/74.43	o 2316
74.59/74.60	c 15.4996 11.1211 889 778290
74.59/74.60	o 2305
74.59/74.61	c 15.5016 11.1211 465 778438
74.59/74.61	o 2243
74.70/74.71	c 15.5296 11.1211 761 779207
74.70/74.71	o 2191
74.70/74.74	c 15.5336 11.1211 850 779475
74.70/74.74	o 2151
74.80/74.88	c 15.5536 11.1211 466 780721
74.80/74.88	o 2148
74.89/74.93	c 15.5636 11.1211 622 781257
74.89/74.93	o 1989
75.09/75.13	c 15.6006 11.1211 889 782885
75.09/75.13	o 1971
75.19/75.26	c 15.6196 11.1211 829 783767
75.19/75.26	o 1962
75.30/75.31	c 15.6306 11.1211 583 784236
75.30/75.31	o 1931
75.50/75.55	c 15.6696 11.1211 496 786079
75.50/75.55	o 1852
75.80/75.85	c 15.7206 11.1211 530 788118
75.80/75.85	o 1823
75.99/76.03	c 15.7506 11.1211 621 789248
75.99/76.03	o 1783
75.99/76.07	c 15.7526 11.1211 744 789719
75.99/76.07	o 1731
76.09/76.16	c 15.7636 11.1211 611 790461
76.09/76.16	o 1730
76.09/76.17	c 15.7656 11.1211 651 790676
76.09/76.17	o 1694
76.29/76.33	c 15.8006 11.1211 780 792106
76.29/76.33	o 1618
76.59/76.68	c 15.8576 11.1211 508 794280
76.59/76.68	o 1596
76.70/76.70	c 15.8616 11.1211 563 794416
76.70/76.70	o 1593
76.80/76.83	c 15.8836 11.1211 524 795221
76.80/76.83	o 1565
76.80/76.84	c 15.8876 11.1211 555 795384
76.80/76.84	o 1560
76.80/76.89	c 15.8936 11.1211 679 795724
76.80/76.89	o 1556
76.90/76.91	c 15.8986 11.1211 748 795938
76.90/76.91	o 1489
76.90/76.92	c 15.9006 11.1211 779 796122
76.90/76.92	o 1439
77.09/77.14	c 15.9436 11.1211 615 797857
77.09/77.14	o 1434
77.19/77.20	c 15.9576 11.1211 781 798388
77.19/77.20	o 1312
77.19/77.24	c 15.9666 11.1211 475 798724
77.19/77.24	o 1307
77.29/77.32	c 15.9806 11.2461 760 799345
77.29/77.32	o 1301
77.50/77.57	c 16.0276 11.2461 737 801137
77.50/77.57	o 1246
77.59/77.64	c 16.0436 11.2461 544 801728
77.59/77.64	o 1194
77.69/77.70	c 16.0586 11.2461 767 802296
77.69/77.70	o 1102
77.79/77.84	c 16.0856 11.2461 750 803206
77.79/77.84	o 1088
77.90/77.91	c 16.0986 11.2461 531 803701
77.90/77.91	o 1078
77.90/77.97	c 16.1036 11.2461 693 804074
77.90/77.97	o 993
78.00/78.02	c 16.1086 11.2461 849 804466
78.00/78.02	o 986
78.10/78.12	c 16.1245 11.2461 800 805146
78.10/78.12	o 969
78.10/78.13	c 16.1285 11.2461 859 805314
78.10/78.13	o 944
78.10/78.18	c 16.1395 11.2461 576 805615
78.10/78.18	o 940
78.29/78.33	c 16.1795 11.2461 635 806676
78.29/78.33	o 937
78.39/78.42	c 16.1995 11.2461 916 807232
78.39/78.42	o 899
78.39/78.43	c 16.2005 11.2461 496 807435
78.39/78.43	o 820
78.50/78.56	c 16.2225 11.2461 896 808351
78.50/78.56	o 815
78.50/78.59	c 16.2275 11.2461 979 808601
78.50/78.59	o 783
78.59/78.62	c 16.2365 11.2461 602 808920
78.59/78.62	o 766
78.59/78.63	c 16.2385 11.2461 626 808993
78.59/78.63	o 747
78.59/78.67	c 16.2435 11.2461 767 809295
78.59/78.67	o 716
78.59/78.68	c 16.2455 11.2461 821 809416
78.59/78.68	o 708
78.69/78.70	c 16.2495 11.2461 888 809552
78.69/78.70	o 705
78.69/78.77	c 16.2705 11.2461 1161 810095
78.69/78.77	o 657
78.69/78.79	c 16.2785 11.2461 690 810343
78.69/78.79	o 612
78.79/78.89	c 16.3095 11.2461 1101 811071
78.79/78.89	o 577
78.89/78.91	c 16.3185 11.2461 1178 811264
78.89/78.91	o 530
78.89/78.93	c 16.3295 11.2461 680 811434
78.89/78.93	o 511
78.89/78.95	c 16.3375 11.2461 773 811660
78.89/78.95	o 496
78.89/78.97	c 16.3405 11.2461 762 811849
78.89/78.97	o 494
78.89/78.98	c 16.3455 11.2461 815 811955
78.89/78.98	o 492
78.99/79.02	c 16.3565 11.2461 943 812228
78.99/79.02	o 468
78.99/79.04	c 16.3635 11.2461 1056 812447
78.99/79.04	o 426
78.99/79.04	c 16.3645 11.2461 1070 812483
78.99/79.04	o 413
78.99/79.05	c 16.3695 11.2461 1143 812619
78.99/79.05	o 402
78.99/79.06	c 16.3735 11.2461 1189 812715
78.99/79.06	o 375
78.99/79.08	c 16.3865 11.2461 882 812847
78.99/79.08	o 368
78.99/79.08	c 16.3865 11.2461 884 812928
78.99/79.08	o 284
78.99/79.08	c 16.3865 11.2461 885 812956
78.99/79.08	o 259
78.99/79.08	c 16.3895 11.2461 332 812972
78.99/79.08	s OPTIMUM FOUND
78.99/79.08	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	259

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700375-1278535221/watcher-2700375-1278535221 -o /tmp/evaluation-result-2700375-1278535221/solver-2700375-1278535221 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700375-1278535221.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.95 2.13 2.06 3/178 20651
/proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=2136 CPUtime=0
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 261 0 0 0 0 0 0 0 21 0 1 0 21735963 2187264 180 4089446400 134512640 136422188 4288867632 18446744073709551615 135809636 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20651/statm: 534 180 144 467 0 65 0

[startup+0.080765 s]
/proc/loadavg: 1.95 2.13 2.06 3/178 20651
/proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10128 CPUtime=0.07
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2272 0 0 0 4 3 0 0 21 0 1 0 21735963 10371072 2185 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2532 2185 238 467 0 2063 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10128

[startup+0.100753 s]
/proc/loadavg: 1.95 2.13 2.06 3/178 20651
/proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10256 CPUtime=0.09
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2281 0 0 0 4 5 0 0 21 0 1 0 21735963 10502144 2193 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2564 2193 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300775 s]
/proc/loadavg: 1.95 2.13 2.06 3/178 20651
/proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10256 CPUtime=0.29
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2310 0 0 0 8 21 0 0 21 0 1 0 21735963 10502144 2219 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2564 2219 238 467 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.700699 s]
/proc/loadavg: 1.95 2.13 2.06 3/178 20651
/proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10384 CPUtime=0.69
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2331 0 0 0 15 54 0 0 22 0 1 0 21735963 10633216 2239 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2596 2239 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50048 s]
/proc/loadavg: 1.95 2.13 2.06 3/179 20652
/proc/meminfo: memFree=28147904/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10384 CPUtime=1.49
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2344 0 0 0 36 113 0 0 25 0 1 0 21735963 10633216 2245 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2596 2245 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10018 s]
/proc/loadavg: 1.95 2.13 2.06 3/179 20652
/proc/meminfo: memFree=28147280/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10512 CPUtime=3.09
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2378 0 0 0 87 222 0 0 25 0 1 0 21735963 10764288 2273 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2628 2273 238 467 0 2159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10512

[startup+6.30057 s]
/proc/loadavg: 1.95 2.13 2.06 3/179 20652
/proc/meminfo: memFree=28144536/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10640 CPUtime=6.3
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2412 0 0 0 151 479 0 0 25 0 1 0 21735963 10895360 2294 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2660 2294 238 467 0 2191 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10640

[startup+12.7003 s]
/proc/loadavg: 1.95 2.13 2.06 3/179 20652
/proc/meminfo: memFree=28135764/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10768 CPUtime=12.69
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2463 0 0 0 288 981 0 0 25 0 1 0 21735963 11026432 2329 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2692 2329 238 467 0 2223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10768

[startup+25.5009 s]
/proc/loadavg: 1.96 2.12 2.06 3/179 20654
/proc/meminfo: memFree=28118468/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=10892 CPUtime=25.5
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2526 0 0 0 560 1990 0 0 25 0 1 0 21735963 11153408 2370 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2723 2370 238 467 0 2254 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10892

[startup+51.101 s]
/proc/loadavg: 1.97 2.11 2.05 3/179 20654
/proc/meminfo: memFree=28083800/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11140 CPUtime=51.09
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2637 0 0 0 1078 4031 0 0 25 0 1 0 21735963 11407360 2426 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2785 2426 238 467 0 2316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11140

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

[startup+63.9005 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28065060/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11260 CPUtime=63.89
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2702 0 0 0 1329 5060 0 0 25 0 1 0 21735963 11530240 2455 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2815 2455 238 467 0 2346 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11260

[startup+70.3003 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28057732/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11260 CPUtime=70.3
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2728 0 0 0 1456 5574 0 0 25 0 1 0 21735963 11530240 2468 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2815 2468 238 467 0 2346 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 11260

[startup+73.5007 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28054756/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11384 CPUtime=73.49
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2759 0 0 0 1509 5840 0 0 25 0 1 0 21735963 11657216 2482 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2846 2482 238 467 0 2377 0
Current children cumulated CPU time (s) 73.49
Current children cumulated vsize (KiB) 11384

[startup+76.7001 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28050168/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11384 CPUtime=76.7
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2808 0 0 0 1586 6084 0 0 25 0 1 0 21735963 11657216 2509 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2846 2509 238 467 0 2377 0
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (KiB) 11384

[startup+78.3008 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11512 CPUtime=78.29
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2852 0 0 0 1616 6213 0 0 25 0 1 0 21735963 11788288 2533 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2878 2533 238 467 0 2409 0
Current children cumulated CPU time (s) 78.29
Current children cumulated vsize (KiB) 11512

[startup+78.7007 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11512 CPUtime=78.69
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2870 0 0 0 1624 6245 0 0 18 0 1 0 21735963 11788288 2542 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2878 2542 238 467 0 2409 0
Current children cumulated CPU time (s) 78.69
Current children cumulated vsize (KiB) 11512

[startup+78.9007 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11512 CPUtime=78.89
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2875 0 0 0 1631 6258 0 0 18 0 1 0 21735963 11788288 2543 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2878 2543 238 467 0 2409 0
Current children cumulated CPU time (s) 78.89
Current children cumulated vsize (KiB) 11512

[startup+79.0006 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528
[pid=20651] ppid=20649 vsize=11512 CPUtime=78.99
/proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2880 0 0 0 1634 6265 0 0 18 0 1 0 21735963 11788288 2543 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20651/statm: 2878 2543 238 467 0 2409 0
Current children cumulated CPU time (s) 78.99
Current children cumulated vsize (KiB) 11512

Child status: 0
Real time (s): 79.098
CPU time (s): 79.1
CPU user time (s): 16.3975
CPU system time (s): 62.7025
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3975
system time used= 62.7025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2894
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= 6
involuntary context switches= 67

runsolver used 0.104984 second user time and 0.272958 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-07 22:40:21
IDJOB=2700375
IDBENCH=79422
IDSOLVER=1212
FILE ID=node127/2700375-1278535221
PBS_JOBID= 11239223
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2
RANDOM SEED=2049091158

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28159096 kB
Buffers:        139348 kB
Cached:        2617816 kB
SwapCached:          0 kB
Active:        2959732 kB
Inactive:      1669760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28159096 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2164 kB
Writeback:           0 kB
AnonPages:     1873000 kB
Mapped:          16508 kB
Slab:            93292 kB
PageTables:       8440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2017460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73196 MiB
End job on node127 at 2010-07-07 22:41:41