Trace number 2700372

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1OPTIMUM 86.4979 86.4952

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.033994 9.73828 1 1842
0.00/0.04	o 27454
0.00/0.04	c 0.034994 9.89453 2 2472
0.00/0.04	o 26769
0.00/0.04	c 0.035994 9.89453 2 3307
0.00/0.04	o 15951
0.00/0.04	c 0.036994 9.89453 2 3715
0.00/0.04	o 15652
0.00/0.04	c 0.039993 9.89453 9 4071
0.00/0.04	o 15435
0.00/0.08	c 0.06399 9.89453 212 5114
0.00/0.08	o 15382
0.09/0.10	c 0.073988 10.0195 339 5696
0.09/0.10	o 15381
0.09/0.18	c 0.119981 10.0195 460 7059
0.09/0.18	o 15369
0.19/0.21	c 0.140978 10.0195 601 7687
0.19/0.21	o 15320
0.29/0.32	c 0.205968 10.0195 530 10042
0.29/0.32	o 15307
0.49/0.54	c 0.351946 10.1445 441 14664
0.49/0.54	o 14820
0.79/0.84	c 0.531919 10.1445 395 19349
0.79/0.84	o 14623
0.89/0.90	c 0.567913 10.1445 714 20573
0.89/0.90	o 14419
0.89/0.92	c 0.580911 10.1445 486 21288
0.89/0.92	o 14276
0.89/0.98	c 0.617906 10.1445 450 22415
0.89/0.98	o 14188
1.19/1.26	c 0.78488 10.1445 434 26025
1.19/1.26	o 13992
1.39/1.48	c 0.922859 10.1445 478 29436
1.39/1.48	o 13956
1.49/1.50	c 0.935857 10.1445 617 30154
1.49/1.50	o 13782
1.79/1.83	c 1.14583 10.1445 697 34413
1.79/1.83	o 13727
2.19/2.28	c 1.43578 10.2695 580 38735
2.19/2.28	o 13611
2.19/2.29	c 1.44578 10.2695 356 39344
2.19/2.29	o 13533
2.29/2.31	c 1.45678 10.2695 451 39663
2.29/2.31	o 13527
2.79/2.86	c 1.78773 10.2695 512 49282
2.79/2.86	o 13410
3.29/3.36	c 2.09968 10.2695 816 56694
3.29/3.36	o 13353
3.59/3.61	c 2.26465 10.2695 660 60748
3.59/3.61	o 13351
3.79/3.84	c 2.40663 10.2695 867 63932
3.79/3.84	o 13316
3.89/3.98	c 2.48962 10.2695 427 66129
3.89/3.98	o 13223
4.09/4.13	c 2.59161 10.2695 542 68610
4.09/4.13	o 13217
4.50/4.59	c 2.88556 10.3945 547 74807
4.50/4.59	o 12864
4.59/4.60	c 2.89256 10.3945 605 75115
4.59/4.60	o 12818
4.59/4.61	c 2.90156 10.3945 637 75437
4.59/4.61	o 12701
4.79/4.86	c 3.04554 10.3945 474 79259
4.79/4.86	o 12549
5.19/5.27	c 3.3145 10.3945 645 83894
5.19/5.27	o 12504
6.39/6.42	c 4.03739 10.3945 492 98832
6.39/6.42	o 12447
6.39/6.44	c 4.04439 10.3945 556 99341
6.39/6.44	o 12270
6.39/6.45	c 4.05138 10.3945 330 99807
6.39/6.45	o 12211
6.49/6.53	c 4.11637 10.3945 698 100992
6.49/6.53	o 12188
7.80/7.81	c 4.88226 10.3945 547 114802
7.80/7.81	o 12167
7.99/8.00	c 5.00224 10.3945 641 117875
7.99/8.00	o 12110
7.99/8.04	c 5.02224 10.3945 488 118690
7.99/8.04	o 12046
7.99/8.06	c 5.03723 10.3945 621 119346
7.99/8.06	o 11924
8.49/8.52	c 5.31519 10.3945 621 125685
8.49/8.52	o 11825
8.79/8.86	c 5.52116 10.3945 918 130538
8.79/8.86	o 11721
8.99/9.04	c 5.63814 10.3945 454 133388
8.99/9.04	o 11618
9.19/9.29	c 5.78712 10.3945 510 136731
9.19/9.29	o 11377
9.19/9.29	c 5.78812 10.3945 514 136999
9.19/9.29	o 11277
9.29/9.30	c 5.79312 10.3945 526 137255
9.29/9.30	o 11199
9.29/9.34	c 5.81912 10.3945 391 138413
9.29/9.34	o 10965
9.39/9.40	c 5.85011 10.3945 651 139256
9.39/9.40	o 10943
12.79/12.88	c 8.04778 10.5195 828 172097
12.79/12.88	o 10938
12.99/13.07	c 8.16276 10.5195 663 175107
12.99/13.07	o 10874
13.09/13.11	c 8.19675 10.5195 529 176001
13.09/13.11	o 10737
13.29/13.39	c 8.36073 10.5195 706 179045
13.29/13.39	o 10661
13.99/14.06	c 8.78866 10.5195 528 188542
13.99/14.06	o 10337
14.40/14.47	c 9.04363 10.5195 792 194609
14.40/14.47	o 10188
16.39/16.42	c 10.2494 10.5195 618 214300
16.39/16.42	o 10122
16.99/17.00	c 10.6394 10.5195 402 219939
16.99/17.00	o 10022
17.09/17.10	c 10.7014 10.5195 489 221093
17.09/17.10	o 9968
17.09/17.19	c 10.7564 10.5195 482 221998
17.09/17.19	o 9962
17.79/17.81	c 11.1553 10.5195 509 227592
17.79/17.81	o 9823
17.99/18.07	c 11.3163 10.5195 949 230750
17.99/18.07	o 9555
19.39/19.48	c 12.2071 10.6406 495 245946
19.39/19.48	o 9317
19.49/19.58	c 12.2661 10.6406 925 247089
19.49/19.58	o 9291
20.59/20.63	c 12.918 10.6406 563 259547
20.59/20.63	o 9263
20.89/20.94	c 13.124 10.6406 486 263707
20.89/20.94	o 9076
20.89/20.98	c 13.154 10.6406 678 264322
20.89/20.98	o 9060
22.19/22.24	c 13.9149 10.6406 690 278623
22.19/22.24	o 8935
23.59/23.62	c 14.7628 10.6406 690 292532
23.59/23.62	o 8834
24.49/24.57	c 15.3637 10.6406 830 302513
24.49/24.57	o 8768
24.79/24.84	c 15.5196 10.6406 633 305449
24.79/24.84	o 8759
24.89/24.98	c 15.6036 10.6406 547 307416
24.89/24.98	o 8680
25.89/25.99	c 16.1985 10.6406 695 319201
25.89/25.99	o 8660
26.19/26.21	c 16.3325 10.6406 871 321935
26.19/26.21	o 8599
26.29/26.38	c 16.4325 10.6406 612 323271
26.29/26.38	o 8539
27.50/27.54	c 17.1234 10.6406 580 334635
27.50/27.54	o 8459
28.69/28.76	c 17.8863 10.6406 742 344020
28.69/28.76	o 8375
28.99/29.06	c 18.0803 10.6406 626 347041
28.99/29.06	o 8303
30.49/30.59	c 19.0271 10.6406 831 362985
30.49/30.59	o 8252
30.69/30.75	c 19.1181 10.6406 783 365333
30.69/30.75	o 8013
30.80/30.84	c 19.1691 10.6406 464 366720
30.80/30.84	o 7891
32.29/32.30	c 20.0849 10.6406 671 380674
32.29/32.30	o 7728
33.29/33.33	c 20.7029 10.6406 684 391360
33.29/33.33	o 7590
33.29/33.36	c 20.7169 10.6406 472 391864
33.29/33.36	o 7545
33.39/33.43	c 20.7558 10.6406 684 392403
33.39/33.43	o 7519
33.39/33.49	c 20.7978 10.6406 483 392984
33.39/33.49	o 7514
33.50/33.57	c 20.8438 10.6406 426 393841
33.50/33.57	o 7508
33.50/33.58	c 20.8518 10.6406 468 394063
33.50/33.58	o 7419
33.79/33.82	c 20.9968 10.6406 598 396526
33.79/33.82	o 7406
34.10/34.18	c 21.2088 10.6406 831 400013
34.10/34.18	o 7304
34.29/34.31	c 21.3038 10.6406 618 401683
34.29/34.31	o 7210
34.29/34.33	c 21.3148 10.6406 660 402010
34.29/34.33	o 7054
34.59/34.65	c 21.5287 10.6406 810 405547
34.59/34.65	o 6989
35.20/35.27	c 21.9047 10.6406 629 411379
35.20/35.27	o 6925
35.99/36.07	c 22.4076 10.7617 624 419119
35.99/36.07	o 6555
37.19/37.22	c 23.1005 10.7617 661 428372
37.19/37.22	o 6525
39.29/39.31	c 24.3343 10.7617 667 446736
39.29/39.31	o 6524
39.39/39.44	c 24.4173 10.7617 535 448581
39.39/39.44	o 6450
39.49/39.57	c 24.4953 10.7617 977 449882
39.49/39.57	o 6326
40.09/40.19	c 24.8732 10.7617 598 455997
40.09/40.19	o 6323
40.70/40.79	c 25.2402 10.7617 503 460612
40.70/40.79	o 6318
42.30/42.38	c 26.217 10.7617 470 471967
42.30/42.38	o 6274
42.80/42.88	c 26.521 10.7617 456 477411
42.80/42.88	o 6254
42.99/43.07	c 26.615 10.7617 772 479199
42.99/43.07	o 6234
43.09/43.11	c 26.6489 10.7617 552 479776
43.09/43.11	o 6185
45.39/45.49	c 28.1147 10.7617 618 500040
45.39/45.49	o 6173
46.20/46.26	c 28.5897 10.7617 874 506606
46.20/46.26	o 6159
46.29/46.31	c 28.6136 10.7617 635 507349
46.29/46.31	o 6001
46.59/46.65	c 28.8146 10.7617 694 510222
46.59/46.65	o 5994
46.79/46.84	c 28.9426 10.7617 916 511741
46.79/46.84	o 5942
46.89/46.96	c 29.0166 10.7617 534 512967
46.89/46.96	o 5941
46.99/47.02	c 29.0476 10.7617 703 513632
46.99/47.02	o 5900
47.49/47.52	c 29.3255 10.7617 564 518318
47.49/47.52	o 5898
47.79/47.82	c 29.5015 10.7617 886 521212
47.79/47.82	o 5875
48.29/48.31	c 29.7905 10.7617 559 525535
48.29/48.31	o 5871
48.59/48.62	c 29.9624 10.7617 901 528591
48.59/48.62	o 5860
48.59/48.69	c 30.0104 10.7617 720 529563
48.59/48.69	o 5817
49.19/49.23	c 30.3284 10.7617 820 533904
49.19/49.23	o 5803
51.19/51.24	c 31.5512 10.7617 735 547933
51.19/51.24	o 5757
51.29/51.32	c 31.5962 10.7617 638 548655
51.29/51.32	o 5719
51.49/51.57	c 31.7702 10.7617 694 550868
51.49/51.57	o 5634
51.80/51.82	c 31.9251 10.7617 460 553093
51.80/51.82	o 5547
52.00/52.00	c 32.0341 10.7617 731 554797
52.00/52.00	o 5515
52.19/52.21	c 32.1611 10.7617 707 556789
52.19/52.21	o 5479
52.40/52.41	c 32.2701 10.7617 901 558385
52.40/52.41	o 5394
52.69/52.79	c 32.5021 10.7617 846 561281
52.69/52.79	o 5379
52.99/53.00	c 32.62 10.8828 669 562963
52.99/53.00	o 5352
53.79/53.88	c 33.15 10.8828 840 569856
53.79/53.88	o 5347
53.99/54.09	c 33.2829 10.8828 661 571180
53.99/54.09	o 5346
55.49/55.54	c 34.1458 10.8828 440 583994
55.49/55.54	o 5265
55.80/55.80	c 34.3148 10.8828 823 585985
55.80/55.80	o 5249
55.89/55.98	c 34.4298 10.8828 689 587988
55.89/55.98	o 5240
56.20/56.23	c 34.5837 10.8828 532 590682
56.20/56.23	o 5156
56.79/56.87	c 34.9987 10.8828 745 596168
56.79/56.87	o 5123
56.99/57.01	c 35.0727 10.8828 855 597475
56.99/57.01	o 5000
57.09/57.13	c 35.1497 10.8828 984 598884
57.09/57.13	o 4946
57.30/57.34	c 35.2796 10.8828 828 600718
57.30/57.34	o 4887
57.89/57.96	c 35.6576 10.8828 509 606628
57.89/57.96	o 4876
57.99/58.03	c 35.6966 10.8828 761 607435
57.99/58.03	o 4825
58.30/58.33	c 35.8695 10.8828 482 609670
58.30/58.33	o 4799
59.59/59.62	c 36.6484 10.8828 671 618310
59.59/59.62	o 4733
59.99/60.04	c 36.9104 10.8828 719 621322
59.99/60.04	o 4721
60.59/60.67	c 37.3083 10.8828 591 625477
60.59/60.67	o 4683
60.80/60.83	c 37.3983 10.8828 441 627252
60.80/60.83	o 4668
61.19/61.26	c 37.6463 10.8828 851 630028
61.19/61.26	o 4653
62.29/62.31	c 38.2902 10.8828 648 638569
62.29/62.31	o 4619
62.39/62.44	c 38.3652 10.8828 747 639859
62.39/62.44	o 4617
62.49/62.52	c 38.4122 10.8828 645 640669
62.49/62.52	o 4546
62.70/62.74	c 38.5441 10.8828 510 642533
62.70/62.74	o 4538
63.29/63.33	c 38.9141 10.8828 456 647280
63.29/63.33	o 4530
63.39/63.42	c 38.9801 10.8828 717 647915
63.39/63.42	o 4529
63.70/63.77	c 39.176 10.8828 614 650657
63.70/63.77	o 4520
63.99/64.01	c 39.321 10.8828 553 652794
63.99/64.01	o 4464
64.59/64.64	c 39.714 10.8828 606 657686
64.59/64.64	o 4425
64.70/64.73	c 39.771 10.8828 863 658279
64.70/64.73	o 4377
64.79/64.84	c 39.8359 10.8828 783 659135
64.79/64.84	o 4352
65.00/65.05	c 39.9569 10.8828 675 660930
65.00/65.05	o 4287
66.49/66.53	c 40.8528 11.0039 585 672525
66.49/66.53	o 4267
66.49/66.59	c 40.8818 11.0039 761 673041
66.49/66.59	o 4264
66.59/66.69	c 40.9428 11 672 673777
66.59/66.69	o 4252
67.49/67.55	c 41.4507 11 731 679711
67.49/67.55	o 4195
67.79/67.89	c 41.6657 11 519 682197
67.79/67.89	o 4115
68.59/68.66	c 42.1176 11 845 687695
68.59/68.66	o 4049
68.89/68.96	c 42.3026 11 541 690075
68.89/68.96	o 4014
69.29/69.35	c 42.5205 11 824 692699
69.29/69.35	o 4005
69.29/69.38	c 42.5425 11 504 692997
69.29/69.38	o 3952
69.59/69.66	c 42.7105 11 507 695354
69.59/69.66	o 3901
70.19/70.29	c 43.1074 11 590 700006
70.19/70.29	o 3573
70.89/70.95	c 43.5014 11 685 705566
70.89/70.95	o 3562
71.10/71.11	c 43.6014 11 779 706795
71.10/71.11	o 3527
72.70/72.79	c 44.6112 11 807 717206
72.70/72.79	o 3472
73.39/73.42	c 44.9882 11 528 721103
73.39/73.42	o 3420
74.59/74.67	c 45.72 11 744 729467
74.59/74.67	o 3323
74.69/74.76	c 45.779 11 570 730027
74.69/74.76	o 3316
74.80/74.86	c 45.841 11 471 730962
74.80/74.86	o 3273
75.20/75.20	c 46.044 11 622 733205
75.20/75.20	o 3264
75.60/75.64	c 46.311 11 717 736475
75.60/75.64	o 3246
75.79/75.87	c 46.4389 11 623 738169
75.79/75.87	o 3241
76.19/76.22	c 46.6429 11 826 740766
76.19/76.22	o 3149
76.59/76.62	c 46.8909 11 461 743817
76.59/76.62	o 3121
76.79/76.89	c 47.0518 11 796 745499
76.79/76.89	o 3019
77.00/77.05	c 47.1468 11 480 746617
77.00/77.05	o 3009
77.70/77.72	c 47.5608 11 735 751205
77.70/77.72	o 2976
77.70/77.77	c 47.5878 11 461 751726
77.70/77.77	o 2945
78.10/78.11	c 47.7917 11 643 754239
78.10/78.11	o 2921
78.10/78.20	c 47.8517 11 485 754938
78.10/78.20	o 2917
78.20/78.28	c 47.9007 11 748 755771
78.20/78.28	o 2875
78.89/78.92	c 48.3057 11 565 760149
78.89/78.92	o 2853
79.00/79.02	c 48.3616 11 847 760901
79.00/79.02	o 2821
79.00/79.06	c 48.3886 11 581 761352
79.00/79.06	o 2801
79.30/79.34	c 48.5596 11 486 763024
79.30/79.34	o 2698
79.30/79.37	c 48.5836 11 637 763527
79.30/79.37	o 2625
79.39/79.43	c 48.6156 11 788 763934
79.39/79.43	o 2614
79.59/79.62	c 48.7326 11 895 765308
79.59/79.62	o 2591
80.00/80.01	c 48.9626 11 781 767942
80.00/80.01	o 2502
80.00/80.03	c 48.9736 11.1211 852 768105
80.00/80.03	o 2493
80.09/80.15	c 49.0465 11.1211 751 769002
80.09/80.15	o 2426
80.49/80.55	c 49.2975 11.1211 644 771637
80.49/80.55	o 2408
80.59/80.65	c 49.3615 11.1211 478 772297
80.59/80.65	o 2397
80.79/80.84	c 49.4905 11.1211 585 773524
80.79/80.84	o 2390
80.89/80.96	c 49.5635 11.1211 487 774472
80.89/80.96	o 2387
81.30/81.39	c 49.8294 11.1211 738 777002
81.30/81.39	o 2316
81.50/81.58	c 49.9504 11.1211 889 778290
81.50/81.58	o 2305
81.50/81.58	c 49.9524 11.1211 465 778438
81.50/81.58	o 2243
81.70/81.70	c 50.0264 11.1211 761 779207
81.70/81.70	o 2191
81.70/81.73	c 50.0474 11.1211 850 779475
81.70/81.73	o 2151
81.79/81.89	c 50.1544 11.1211 466 780721
81.79/81.89	o 2148
81.89/81.94	c 50.1834 11.1211 622 781257
81.89/81.94	o 1989
82.10/82.16	c 50.3173 11.1211 889 782885
82.10/82.16	o 1971
82.29/82.30	c 50.4033 11.1211 829 783767
82.29/82.30	o 1962
82.29/82.36	c 50.4363 11.1211 583 784236
82.29/82.36	o 1931
82.60/82.62	c 50.5953 11.1211 496 786079
82.60/82.62	o 1852
82.90/82.95	c 50.7953 11.1211 530 788118
82.90/82.95	o 1823
83.09/83.15	c 50.9103 11.1211 621 789248
83.09/83.15	o 1783
83.19/83.20	c 50.9473 11.1211 744 789719
83.19/83.20	o 1731
83.19/83.29	c 51.0082 11.1211 611 790461
83.19/83.29	o 1730
83.29/83.30	c 51.0172 11.1211 651 790676
83.29/83.30	o 1694
83.40/83.48	c 51.1362 11.1211 780 792106
83.40/83.48	o 1618
83.79/83.86	c 51.3722 11.1211 508 794280
83.79/83.86	o 1596
83.79/83.88	c 51.3842 11.1211 563 794416
83.79/83.88	o 1593
83.99/84.02	c 51.4572 11.1211 524 795221
83.99/84.02	o 1565
83.99/84.03	c 51.4652 11.1211 555 795384
83.99/84.03	o 1560
83.99/84.08	c 51.4952 11.1211 679 795724
83.99/84.08	o 1556
84.10/84.11	c 51.5122 11.1211 748 795938
84.10/84.11	o 1489
84.10/84.12	c 51.5222 11.1211 779 796122
84.10/84.12	o 1439
84.30/84.36	c 51.6731 11.1211 615 797857
84.30/84.36	o 1434
84.40/84.42	c 51.7191 11.1211 781 798388
84.40/84.42	o 1312
84.40/84.46	c 51.7521 11.1211 475 798724
84.40/84.46	o 1307
84.49/84.55	c 51.8071 11.2461 760 799345
84.49/84.55	o 1301
84.80/84.82	c 51.9761 11.2461 737 801137
84.80/84.82	o 1246
84.90/84.90	c 52.0251 11.2461 544 801728
84.90/84.90	o 1194
84.90/84.96	c 52.0671 11.2461 767 802296
84.90/84.96	o 1102
85.09/85.12	c 52.1711 11.2461 750 803206
85.09/85.12	o 1088
85.19/85.20	c 52.2171 11.2461 531 803701
85.19/85.20	o 1078
85.19/85.26	c 52.2571 11.2461 693 804074
85.19/85.26	o 993
85.29/85.31	c 52.301 11.2461 849 804466
85.29/85.31	o 986
85.40/85.42	c 52.373 11.2461 800 805146
85.40/85.42	o 969
85.40/85.43	c 52.385 11.2461 859 805314
85.40/85.43	o 944
85.40/85.49	c 52.428 11.2461 576 805615
85.40/85.49	o 940
85.60/85.65	c 52.535 11.2461 635 806676
85.60/85.65	o 937
85.70/85.75	c 52.595 11.2461 916 807232
85.70/85.75	o 899
85.70/85.76	c 52.604 11.2461 496 807435
85.70/85.76	o 820
85.80/85.90	c 52.677 11.2461 896 808351
85.80/85.90	o 815
85.90/85.94	c 52.699 11.2461 979 808601
85.90/85.94	o 783
85.90/85.98	c 52.726 11.2461 602 808920
85.90/85.98	o 766
85.90/85.98	c 52.732 11.2461 626 808993
85.90/85.98	o 747
85.99/86.03	c 52.755 11.2461 767 809295
85.99/86.03	o 716
85.99/86.04	c 52.766 11.2461 821 809416
85.99/86.04	o 708
85.99/86.06	c 52.78 11.2461 888 809552
85.99/86.06	o 705
86.09/86.13	c 52.823 11.2461 1161 810095
86.09/86.13	o 657
86.09/86.16	c 52.843 11.2461 690 810343
86.09/86.16	o 612
86.19/86.26	c 52.909 11.2461 1101 811071
86.19/86.26	o 577
86.19/86.29	c 52.927 11.2461 1178 811264
86.19/86.29	o 530
86.29/86.31	c 52.945 11.2461 680 811434
86.29/86.31	o 511
86.29/86.34	c 52.9649 11.2461 773 811660
86.29/86.34	o 496
86.29/86.36	c 52.9779 11.2461 762 811849
86.29/86.36	o 494
86.29/86.37	c 52.9879 11.2461 815 811955
86.29/86.37	o 492
86.39/86.41	c 53.0169 11.2461 943 812228
86.39/86.41	o 468
86.39/86.43	c 53.0339 11.2461 1056 812447
86.39/86.43	o 426
86.39/86.44	c 53.0379 11.2461 1070 812483
86.39/86.44	o 413
86.39/86.45	c 53.0469 11.2461 1143 812619
86.39/86.45	o 402
86.39/86.46	c 53.0529 11.2461 1189 812715
86.39/86.46	o 375
86.39/86.48	c 53.0659 11.2461 882 812847
86.39/86.48	o 368
86.39/86.48	c 53.0669 11.2461 884 812928
86.39/86.48	o 284
86.39/86.48	c 53.0679 11.2461 885 812956
86.39/86.48	o 259
86.39/86.48	c 53.0709 11.2461 332 812972
86.39/86.48	s OPTIMUM FOUND
86.39/86.48	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-2700372-1278535191/watcher-2700372-1278535191 -o /tmp/evaluation-result-2700372-1278535191/solver-2700372-1278535191 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700372-1278535191.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: 2.01 2.17 2.12 4/182 27854
/proc/meminfo: memFree=28366816/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=2136 CPUtime=0
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21732444 2187264 180 4089446400 134512640 136421960 4288703728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27854/statm: 534 180 144 467 0 65 0

[startup+0.102446 s]
/proc/loadavg: 2.01 2.17 2.12 4/182 27854
/proc/meminfo: memFree=28366816/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10256 CPUtime=0.09
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2278 0 0 0 7 2 0 0 18 0 1 0 21732444 10502144 2191 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2564 2191 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.200417 s]
/proc/loadavg: 2.01 2.17 2.12 4/182 27854
/proc/meminfo: memFree=28366816/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10256 CPUtime=0.19
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2295 0 0 0 13 6 0 0 18 0 1 0 21732444 10502144 2206 4089446400 134512640 136421960 4288703728 18446744073709551615 135021548 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2564 2206 238 467 0 2095 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10256

[startup+0.300398 s]
/proc/loadavg: 2.01 2.17 2.12 4/182 27854
/proc/meminfo: memFree=28366816/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10256 CPUtime=0.29
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2308 0 0 0 18 11 0 0 18 0 1 0 21732444 10502144 2218 4089446400 134512640 136421960 4288703728 18446744073709551615 134593740 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2564 2218 238 467 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.700327 s]
/proc/loadavg: 2.01 2.17 2.12 4/182 27854
/proc/meminfo: memFree=28366816/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10384 CPUtime=0.69
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2330 0 0 0 44 25 0 0 18 0 1 0 21732444 10633216 2238 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2596 2238 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.50018 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27855
/proc/meminfo: memFree=28355772/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10384 CPUtime=1.49
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2343 0 0 0 93 56 0 0 19 0 1 0 21732444 10633216 2245 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2596 2245 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10089 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27855
/proc/meminfo: memFree=28354656/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10512 CPUtime=3.09
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2377 0 0 0 193 116 0 0 25 0 1 0 21732444 10764288 2273 4089446400 134512640 136421960 4288703728 18446744073709551615 135006538 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2628 2273 238 467 0 2159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10512

[startup+6.30031 s]
/proc/loadavg: 2.01 2.17 2.12 3/183 27855
/proc/meminfo: memFree=28349920/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10640 CPUtime=6.29
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2408 0 0 0 395 234 0 0 25 0 1 0 21732444 10895360 2294 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2660 2294 238 467 0 2191 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10640

[startup+12.7001 s]
/proc/loadavg: 2.01 2.16 2.12 3/183 27855
/proc/meminfo: memFree=28342008/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10768 CPUtime=12.69
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2456 0 0 0 792 477 0 0 25 0 1 0 21732444 11026432 2326 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2692 2326 238 467 0 2223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10768

[startup+25.5008 s]
/proc/loadavg: 2.08 2.17 2.12 3/183 27855
/proc/meminfo: memFree=28324668/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=10892 CPUtime=25.49
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2512 0 0 0 1591 958 0 0 25 0 1 0 21732444 11153408 2360 4089446400 134512640 136421960 4288703728 18446744073709551615 135020469 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2723 2360 238 467 0 2254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10892

[startup+51.1002 s]
/proc/loadavg: 2.13 2.18 2.13 3/183 27856
/proc/meminfo: memFree=28290768/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11016 CPUtime=51.09
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2613 0 0 0 3145 1964 0 0 25 0 1 0 21732444 11280384 2415 4089446400 134512640 136421960 4288703728 18446744073709551615 135032628 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2754 2415 238 467 0 2285 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11016

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

[startup+51.2011 s]
/proc/loadavg: 2.13 2.18 2.13 3/183 27856
/proc/meminfo: memFree=28290768/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11016 CPUtime=51.19
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2613 0 0 0 3152 1967 0 0 25 0 1 0 21732444 11280384 2415 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2754 2415 238 467 0 2285 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 11016

[startup+64.0008 s]
/proc/loadavg: 2.10 2.17 2.12 3/183 27857
/proc/meminfo: memFree=28274388/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11140 CPUtime=63.99
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2676 0 0 0 3930 2469 0 0 25 0 1 0 21732444 11407360 2444 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2785 2444 238 467 0 2316 0
Current children cumulated CPU time (s) 63.99
Current children cumulated vsize (KiB) 11140

[startup+76.8005 s]
/proc/loadavg: 2.08 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28259240/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11260 CPUtime=76.79
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2727 0 0 0 4700 2979 0 0 25 0 1 0 21732444 11530240 2467 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2815 2467 238 467 0 2346 0
Current children cumulated CPU time (s) 76.79
Current children cumulated vsize (KiB) 11260

[startup+83.2003 s]
/proc/loadavg: 2.07 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28250800/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11384 CPUtime=83.19
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2797 0 0 0 5094 3225 0 0 25 0 1 0 21732444 11657216 2503 4089446400 134512640 136421960 4288703728 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2846 2503 238 467 0 2377 0
Current children cumulated CPU time (s) 83.19
Current children cumulated vsize (KiB) 11384

[startup+84.807 s]
/proc/loadavg: 2.07 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28248196/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11512 CPUtime=84.8
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2826 0 0 0 5196 3284 0 0 25 0 1 0 21732444 11788288 2517 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2878 2517 238 467 0 2409 0
Current children cumulated CPU time (s) 84.8
Current children cumulated vsize (KiB) 11512

[startup+85.6009 s]
/proc/loadavg: 2.07 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28248196/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11512 CPUtime=85.6
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2850 0 0 0 5249 3311 0 0 18 0 1 0 21732444 11788288 2531 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2878 2531 238 467 0 2409 0
Current children cumulated CPU time (s) 85.6
Current children cumulated vsize (KiB) 11512

[startup+86.0008 s]
/proc/loadavg: 2.07 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28245468/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11512 CPUtime=85.99
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2866 0 0 0 5273 3326 0 0 18 0 1 0 21732444 11788288 2540 4089446400 134512640 136421960 4288703728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2878 2540 238 467 0 2409 0
Current children cumulated CPU time (s) 85.99
Current children cumulated vsize (KiB) 11512

[startup+86.4007 s]
/proc/loadavg: 2.07 2.16 2.12 3/183 27857
/proc/meminfo: memFree=28245468/32951124 swapFree=67111528/67111528
[pid=27854] ppid=27852 vsize=11512 CPUtime=86.39
/proc/27854/stat : 27854 (pbct) R 27852 27854 26954 0 -1 4202496 2880 0 0 0 5300 3339 0 0 18 0 1 0 21732444 11788288 2543 4089446400 134512640 136421960 4288703728 18446744073709551615 134855910 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27854/statm: 2878 2543 238 467 0 2409 0
Current children cumulated CPU time (s) 86.39
Current children cumulated vsize (KiB) 11512

Child status: 0
Real time (s): 86.4952
CPU time (s): 86.4979
CPU user time (s): 53.0799
CPU system time (s): 33.4179
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.0799
system time used= 33.4179
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= 207

runsolver used 0.167974 second user time and 0.304953 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-07 22:39:51
IDJOB=2700372
IDBENCH=79422
IDSOLVER=1208
FILE ID=node134/2700372-1278535191
PBS_JOBID= 11239209
Free space on /tmp= 73712 MiB

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

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

MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2
RANDOM SEED=397397328

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28367460 kB
Buffers:        144988 kB
Cached:        2476200 kB
SwapCached:          0 kB
Active:        3053412 kB
Inactive:      1382624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28367460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:     1814456 kB
Mapped:          17264 kB
Slab:            81624 kB
PageTables:       8204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1964116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73708 MiB
End job on node134 at 2010-07-07 22:41:18