Trace number 2700183

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 127.901 127.894

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MD5SUM540e5098c207f1245411172896d943a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark172
Best CPU time to get the best result obtained on this benchmark1.47578
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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/850 units 0
0.00/0.00	c vars 200
0.01/0.04	c 0.040993 9.98828 1 1945
0.01/0.04	o 28334
0.01/0.04	c 0.041993 10.2188 1 2843
0.01/0.04	o 27110
0.01/0.04	c 0.043993 10.2188 2 3743
0.01/0.04	o 25067
0.01/0.04	c 0.044993 10.2188 2 4634
0.01/0.04	o 14804
0.01/0.05	c 0.045993 10.2188 3 4915
0.01/0.05	o 14714
0.01/0.05	c 0.047992 10.2188 3 5806
0.01/0.05	o 13585
0.39/0.45	c 0.307953 10.3438 656 11856
0.39/0.45	o 13571
0.39/0.49	c 0.32795 10.3438 522 12670
0.39/0.49	o 13403
0.49/0.57	c 0.378942 10.3438 588 14206
0.49/0.57	o 13279
1.39/1.45	c 0.947855 10.4727 695 24291
1.39/1.45	o 13104
1.59/1.63	c 1.04884 10.4727 720 26506
1.59/1.63	o 13064
1.59/1.66	c 1.06984 10.4727 506 27127
1.59/1.66	o 13053
1.69/1.73	c 1.11983 10.4727 533 28687
1.69/1.73	o 13021
1.69/1.74	c 1.13583 10.4727 337 29510
1.69/1.74	o 12701
1.99/2.07	c 1.35879 10.4727 534 34447
1.99/2.07	o 12655
2.29/2.35	c 1.52777 10.4727 500 37106
2.29/2.35	o 12586
2.40/2.44	c 1.58976 10.4727 868 38221
2.40/2.44	o 12534
2.99/3.07	c 2.00469 10.4727 418 48711
2.99/3.07	o 12410
2.99/3.08	c 2.01169 10.4727 435 49066
2.99/3.08	o 12211
3.09/3.14	c 2.04969 10.4727 756 50171
3.09/3.14	o 12111
3.09/3.17	c 2.07069 10.4727 592 51203
3.09/3.17	o 12011
3.49/3.50	c 2.27065 10.4727 478 54969
3.49/3.50	o 11997
3.89/3.98	c 2.57961 10.4727 530 61983
3.89/3.98	o 11962
3.99/4.08	c 2.6396 10.4727 445 64267
3.99/4.08	o 11704
3.99/4.09	c 2.6486 10.4727 484 64644
3.99/4.09	o 11576
4.19/4.20	c 2.71059 10.4727 340 66393
4.19/4.20	o 11481
5.40/5.45	c 3.49647 10.5977 790 80297
5.40/5.45	o 11422
5.50/5.57	c 3.56446 10.5977 510 82136
5.50/5.57	o 11373
6.20/6.20	c 3.9524 10.5977 570 90943
6.20/6.20	o 11369
6.50/6.57	c 4.19836 10.5977 450 95634
6.50/6.57	o 11324
7.10/7.18	c 4.5813 10.5977 518 103195
7.10/7.18	o 11216
7.60/7.62	c 4.87126 10.5977 919 109480
7.60/7.62	o 11132
7.60/7.64	c 4.88426 10.5977 579 110162
7.60/7.64	o 10952
7.89/7.96	c 5.09223 10.5977 532 114602
7.89/7.96	o 10837
8.89/8.93	c 5.70013 10.5977 829 126880
8.89/8.93	o 10635
9.29/9.36	c 5.95809 10.5977 712 132201
9.29/9.36	o 10461
9.59/9.62	c 6.10907 10.5977 865 135093
9.59/9.62	o 10424
11.69/11.75	c 7.42387 10.7188 680 154168
11.69/11.75	o 10380
11.69/11.78	c 7.44287 10.7188 455 154813
11.69/11.78	o 10255
11.79/11.83	c 7.47686 10.7188 395 155876
11.79/11.83	o 10247
11.79/11.85	c 7.49286 10.7188 476 156159
11.79/11.85	o 10228
12.20/12.21	c 7.71883 10.7188 799 160350
12.20/12.21	o 9971
12.49/12.50	c 7.9008 10.7188 503 163955
12.49/12.50	o 9928
12.69/12.77	c 8.06677 10.7188 928 167395
12.69/12.77	o 9914
12.99/13.04	c 8.23975 10.7188 1008 169741
12.99/13.04	o 9756
15.00/15.03	c 9.49156 10.7188 748 189570
15.00/15.03	o 9750
15.79/15.87	c 10.0225 10.7188 680 199303
15.79/15.87	o 9636
17.29/17.34	c 10.9503 10.7188 464 215491
17.29/17.34	o 9492
17.39/17.41	c 10.9983 10.7188 711 216475
17.39/17.41	o 9246
17.60/17.61	c 11.1243 10.7188 792 218938
17.60/17.61	o 9197
19.70/19.72	c 12.4291 10.7188 588 240269
19.70/19.72	o 9156
19.80/19.84	c 12.5091 10.7188 387 241947
19.80/19.84	o 9145
19.89/19.90	c 12.5381 10.7188 577 242574
19.89/19.90	o 9135
20.39/20.45	c 12.872 10.7188 587 248274
20.39/20.45	o 9003
20.59/20.64	c 12.995 10.7188 520 250426
20.59/20.64	o 8906
21.90/21.93	c 13.7909 10.7188 808 264635
21.90/21.93	o 8876
22.00/22.09	c 13.8939 10.7188 524 267144
22.00/22.09	o 8837
23.20/23.24	c 14.5848 10.8438 652 276957
23.20/23.24	o 8708
24.29/24.39	c 15.2987 10.8438 664 290191
24.29/24.39	o 8666
25.09/25.18	c 15.8016 10.8438 725 297221
25.09/25.18	o 8571
26.09/26.16	c 16.3765 10.8438 693 307969
26.09/26.16	o 8531
26.40/26.43	c 16.5465 10.8438 742 311021
26.40/26.43	o 8399
26.49/26.53	c 16.6045 10.8438 716 312014
26.49/26.53	o 8371
27.30/27.32	c 17.0944 10.8438 847 318438
27.30/27.32	o 8364
27.59/27.62	c 17.2704 10.8438 950 321748
27.59/27.62	o 8354
28.39/28.40	c 17.7573 10.8438 735 329584
28.39/28.40	o 8321
28.89/28.97	c 18.1122 10.8438 768 335243
28.89/28.97	o 8316
30.09/30.13	c 18.8101 10.8438 742 348655
30.09/30.13	o 8271
31.90/31.93	c 19.941 10.8438 658 363909
31.90/31.93	o 8030
32.19/32.22	c 20.1159 10.8438 715 367153
32.19/32.22	o 7953
32.29/32.36	c 20.1979 10.8438 509 368864
32.29/32.36	o 7842
33.99/34.04	c 21.2538 10.8438 580 385267
33.99/34.04	o 7818
33.99/34.07	c 21.2668 10.8438 712 385906
33.99/34.07	o 7813
35.10/35.16	c 21.9337 10.8438 819 395927
35.10/35.16	o 7754
36.99/37.05	c 23.0805 10.8438 518 409410
36.99/37.05	o 7669
37.50/37.58	c 23.3904 10.8438 558 415495
37.50/37.58	o 7591
37.89/37.97	c 23.6374 10.9688 499 419902
37.89/37.97	o 7556
41.40/41.40	c 25.7151 10.9688 556 450753
41.40/41.40	o 7523
42.09/42.19	c 26.184 10.9688 475 458831
42.09/42.19	o 7464
43.50/43.54	c 27.0699 10.9688 734 471067
43.50/43.54	o 7415
43.59/43.65	c 27.1419 10.9688 726 472131
43.59/43.65	o 7318
44.09/44.13	c 27.4488 10.9688 492 476254
44.09/44.13	o 7144
46.20/46.22	c 28.7656 10.9688 816 490957
46.20/46.22	o 7142
46.40/46.46	c 28.9186 10.9688 724 492889
46.40/46.46	o 7065
47.80/47.83	c 29.7745 10.9688 461 506772
47.80/47.83	o 7037
47.90/47.96	c 29.8605 10.9688 969 508265
47.90/47.96	o 6978
48.10/48.11	c 29.9604 10.9688 594 509815
48.10/48.11	o 6919
48.10/48.17	c 29.9944 10.9688 792 510443
48.10/48.17	o 6916
48.89/48.93	c 30.4784 10.9688 573 517651
48.89/48.93	o 6889
49.59/49.67	c 30.9313 10.9688 704 523954
49.59/49.67	o 6851
51.70/51.72	c 32.2171 10.9688 726 541545
51.70/51.72	o 6727
52.89/52.90	c 32.92 10.9688 745 551451
52.89/52.90	o 6691
53.09/53.10	c 33.042 10.9688 688 553556
53.09/53.10	o 6664
54.09/54.12	c 33.6459 10.9688 727 562031
54.09/54.12	o 6554
54.29/54.30	c 33.7479 10.9688 600 564009
54.29/54.30	o 6501
54.69/54.72	c 33.9988 10.9688 955 568022
54.69/54.72	o 6439
55.19/55.25	c 34.3338 10.9688 760 573299
55.19/55.25	o 6382
58.30/58.39	c 36.2645 11.0898 630 601063
58.30/58.39	o 6314
59.19/59.21	c 36.7794 11.0898 885 607426
59.19/59.21	o 6290
59.90/59.95	c 37.2373 11.0898 707 614475
59.90/59.95	o 6253
60.80/60.82	c 37.7893 11.0898 653 622086
60.80/60.82	o 6219
62.70/62.75	c 38.9921 11.0898 536 638234
62.70/62.75	o 6205
65.70/65.76	c 40.8378 11.0898 915 660504
65.70/65.76	o 6109
66.09/66.12	c 41.0638 11.0898 622 663085
66.09/66.12	o 6108
66.39/66.47	c 41.2847 11.0898 951 665936
66.39/66.47	o 6024
66.90/66.93	c 41.5537 11.0898 622 669422
66.90/66.93	o 5914
67.49/67.50	c 41.9086 11.0898 457 674974
67.49/67.50	o 5878
67.70/67.70	c 42.0356 11.0898 715 676698
67.70/67.70	o 5874
69.69/69.73	c 43.2834 11.0898 531 693321
69.69/69.73	o 5833
70.80/70.82	c 43.9403 11.0898 427 702805
70.80/70.82	o 5739
72.90/72.99	c 45.2501 11.0898 715 717585
72.90/72.99	o 5626
73.50/73.52	c 45.5691 11.0898 498 722305
73.50/73.52	o 5611
74.59/74.64	c 46.267 11.0898 782 730802
74.59/74.64	o 5515
76.90/76.96	c 47.7267 11.0898 563 748975
76.90/76.96	o 5478
77.20/77.22	c 47.9147 11.0898 692 751190
77.20/77.22	o 5474
78.50/78.51	c 48.6626 11.0898 731 761305
78.50/78.51	o 5443
81.19/81.26	c 50.3743 11.2109 658 779168
81.19/81.26	o 5396
81.59/81.67	c 50.6433 11.2109 658 782325
81.59/81.67	o 5376
82.00/82.03	c 50.8693 11.2109 663 785183
82.00/82.03	o 5354
83.10/83.16	c 51.5642 11.2109 812 794635
83.10/83.16	o 5348
83.30/83.37	c 51.6891 11.2109 759 796726
83.30/83.37	o 5336
84.70/84.76	c 52.536 11.2109 613 808493
84.70/84.76	o 5314
90.20/90.25	c 55.9355 11.2109 725 844394
90.20/90.25	o 5263
90.50/90.55	c 56.1195 11.2109 524 847306
90.50/90.55	o 5157
91.20/91.25	c 56.5404 11.2109 528 853578
91.20/91.25	o 5004
91.30/91.37	c 56.6054 11.2109 503 854771
91.30/91.37	o 4977
91.40/91.42	c 56.6334 11.2109 637 855204
91.40/91.42	o 4944
91.60/91.62	c 56.7614 11.2109 843 857075
91.60/91.62	o 4934
92.69/92.75	c 57.4703 11.2109 958 865229
92.69/92.75	o 4839
92.69/92.76	c 57.4723 11.2109 513 865460
92.69/92.76	o 4772
93.20/93.24	c 57.7382 11.2109 553 868744
93.20/93.24	o 4662
93.30/93.32	c 57.7942 11.2109 746 869377
93.30/93.32	o 4588
94.20/94.21	c 58.3491 11.2109 803 875708
94.20/94.21	o 4586
94.69/94.76	c 58.6771 11.2109 686 879140
94.69/94.76	o 4556
96.49/96.58	c 59.7889 11.2109 755 892352
96.49/96.58	o 4417
96.70/96.79	c 59.9229 11.2109 467 893438
96.70/96.79	o 4391
98.29/98.35	c 60.9287 11.2109 915 906294
98.29/98.35	o 4051
98.29/98.37	c 60.9437 11.2109 503 906472
98.29/98.37	o 4049
98.59/98.64	c 61.1017 11.2109 585 908776
98.59/98.64	o 4038
100.00/100.01	c 61.9796 11.2109 604 918398
100.00/100.01	o 3987
100.70/100.74	c 62.4485 11.2109 580 923953
100.70/100.74	o 3964
101.30/101.33	c 62.7935 11.2109 580 928345
101.30/101.33	o 3787
101.80/101.85	c 63.1154 11.2109 840 932298
101.80/101.85	o 3574
102.20/102.21	c 63.3354 11.2109 598 934799
102.20/102.21	o 3560
104.90/104.90	c 65.0041 11.2109 602 950977
104.90/104.90	o 3506
106.00/106.05	c 65.723 11.2109 732 957611
106.00/106.05	o 3505
106.39/106.45	c 65.97 11.2109 587 960345
106.39/106.45	o 3462
107.00/107.08	c 66.3549 11.3516 595 964308
107.00/107.08	o 3451
107.89/107.91	c 66.8558 11.3516 740 969797
107.89/107.91	o 3416
112.00/112.07	c 69.4274 11.3516 814 991962
112.00/112.07	o 3408
112.11/112.14	c 69.4784 11.3516 586 992476
112.11/112.14	o 3398
113.40/113.44	c 70.2543 11.3516 645 1001283
113.40/113.44	o 3395
113.69/113.73	c 70.4183 11.3516 593 1003381
113.69/113.73	o 3367
113.90/113.99	c 70.5793 11.3516 823 1005014
113.90/113.99	o 3281
114.49/114.56	c 70.9302 11.3516 754 1008825
114.49/114.56	o 3266
115.00/115.00	c 71.2172 11.3516 733 1011889
115.00/115.00	o 3218
115.20/115.29	c 71.3801 11.3516 661 1013801
115.20/115.29	o 3095
115.59/115.65	c 71.6031 11.3516 815 1016164
115.59/115.65	o 3072
115.69/115.73	c 71.6441 11.3516 597 1016697
115.69/115.73	o 3037
116.30/116.32	c 72.041 11.3516 554 1020705
116.30/116.32	o 3000
116.60/116.66	c 72.26 11.3516 621 1022976
116.60/116.66	o 2981
116.89/116.92	c 72.419 11.3516 515 1024922
116.89/116.92	o 2902
117.50/117.50	c 72.7939 11.3516 727 1028514
117.50/117.50	o 2876
117.61/117.68	c 72.9079 11.3516 751 1029573
117.61/117.68	o 2838
117.99/118.09	c 73.1529 11.3516 505 1032366
117.99/118.09	o 2689
118.10/118.12	c 73.1729 11.3516 582 1032713
118.10/118.12	o 2513
118.20/118.27	c 73.2639 11.3516 540 1033690
118.20/118.27	o 2495
119.20/119.23	c 73.8678 11.3516 847 1039333
119.20/119.23	o 2475
119.39/119.46	c 74.0147 11.3516 523 1040404
119.39/119.46	o 2417
119.39/119.48	c 74.0237 11.3516 555 1040538
119.39/119.48	o 2373
119.50/119.54	c 74.0627 11.3516 711 1040996
119.50/119.54	o 2360
120.20/120.22	c 74.5017 11.3516 770 1044997
120.20/120.22	o 2358
120.49/120.57	c 74.7066 11.3516 851 1047147
120.49/120.57	o 2356
120.91/120.96	c 74.9556 11.3516 558 1049355
120.91/120.96	o 2343
121.20/121.22	c 75.1176 11.3516 768 1050864
121.20/121.22	o 2256
121.20/121.29	c 75.1676 11.3516 511 1051418
121.20/121.29	o 2214
121.29/121.36	c 75.2136 11.3516 672 1051867
121.29/121.36	o 2172
121.39/121.47	c 75.2886 11.3516 948 1052500
121.39/121.47	o 2122
121.50/121.53	c 75.3285 11.3516 648 1052979
121.50/121.53	o 2114
121.69/121.78	c 75.4895 11.3516 852 1054572
121.69/121.78	o 2026
122.00/122.09	c 75.6835 11.3516 806 1056417
122.00/122.09	o 2009
122.11/122.18	c 75.7335 11.3516 645 1057132
122.11/122.18	o 1952
122.40/122.42	c 75.8875 11.3516 988 1058637
122.40/122.42	o 1951
122.40/122.45	c 75.9045 11.3516 580 1058874
122.40/122.45	o 1922
122.40/122.47	c 75.9185 11.4766 658 1059166
122.40/122.47	o 1804
122.49/122.52	c 75.9485 11.4766 799 1059678
122.49/122.52	o 1653
122.49/122.57	c 75.9784 11.4766 483 1060041
122.49/122.57	o 1635
122.60/122.60	c 75.9964 11.4766 550 1060187
122.60/122.60	o 1599
122.79/122.84	c 76.1534 11.4766 740 1061416
122.79/122.84	o 1541
123.10/123.18	c 76.3604 11.4766 773 1063357
123.10/123.18	o 1497
123.80/123.86	c 76.8023 11.4766 990 1067355
123.80/123.86	o 1377
124.09/124.19	c 77.0113 11.4766 502 1069402
124.09/124.19	o 1364
124.20/124.28	c 77.0743 11.4766 757 1070306
124.20/124.28	o 1342
124.30/124.34	c 77.1113 11.4766 497 1070700
124.30/124.34	o 1283
124.30/124.39	c 77.1453 11.4766 624 1071094
124.30/124.39	o 1265
124.39/124.46	c 77.1833 11.4766 781 1071457
124.39/124.46	o 1245
124.70/124.75	c 77.3862 11.4766 783 1073395
124.70/124.75	o 1213
124.80/124.84	c 77.4392 11.4766 562 1073974
124.80/124.84	o 1196
124.90/124.94	c 77.5032 11.4766 842 1074616
124.90/124.94	o 1170
125.00/125.02	c 77.5542 11.4766 637 1075011
125.00/125.02	o 1156
125.09/125.18	c 77.6732 11.4766 709 1076265
125.09/125.18	o 1151
125.20/125.27	c 77.7282 11.4766 934 1076757
125.20/125.27	o 1150
125.50/125.58	c 77.9282 11.4766 485 1078657
125.50/125.58	o 1137
126.20/126.23	c 78.3501 11.4766 673 1082087
126.20/126.23	o 1105
126.30/126.36	c 78.4331 11.4766 670 1082880
126.30/126.36	o 1037
126.30/126.39	c 78.4501 11.4766 762 1083132
126.30/126.39	o 1035
126.41/126.44	c 78.4861 11.4766 491 1083528
126.41/126.44	o 1030
126.51/126.55	c 78.5481 11.4766 762 1084161
126.51/126.55	o 1010
126.70/126.72	c 78.652 11.4766 813 1085204
126.70/126.72	o 977
126.70/126.78	c 78.685 11.4766 512 1085634
126.70/126.78	o 974
126.80/126.82	c 78.715 11.4766 614 1085887
126.80/126.82	o 920
126.80/126.83	c 78.723 11.4766 654 1086014
126.80/126.83	o 906
126.80/126.89	c 78.754 11.4766 843 1086506
126.80/126.89	o 858
126.90/126.98	c 78.817 11.4766 666 1087097
126.90/126.98	o 842
127.00/127.05	c 78.867 11.4766 922 1087592
127.00/127.05	o 833
127.09/127.11	c 78.907 11.4766 606 1088052
127.09/127.11	o 811
127.09/127.12	c 78.919 11.4766 666 1088179
127.09/127.12	o 782
127.09/127.19	c 78.953 11.4766 863 1088631
127.09/127.19	o 749
127.19/127.20	c 78.961 11.4766 904 1088754
127.19/127.20	o 733
127.19/127.26	c 79.001 11.4766 582 1089171
127.19/127.26	o 719
127.30/127.36	c 79.072 11.4766 853 1089740
127.30/127.36	o 716
127.40/127.46	c 79.136 11.4766 621 1090356
127.40/127.46	o 710
127.40/127.46	c 79.137 11.4766 629 1090467
127.40/127.46	o 644
127.50/127.54	c 79.197 11.4766 1008 1091034
127.50/127.54	o 611
127.60/127.63	c 79.253 11.6016 789 1091600
127.60/127.63	o 575
127.70/127.70	c 79.3069 11.6016 1084 1092066
127.70/127.70	o 560
127.70/127.76	c 79.3509 11.6016 663 1092512
127.70/127.76	o 539
127.70/127.78	c 79.3659 11.6016 740 1092701
127.70/127.78	o 479
127.70/127.79	c 79.3759 11.6016 786 1092869
127.70/127.79	o 382
127.79/127.81	c 79.3869 11.6016 859 1092998
127.79/127.81	o 378
127.79/127.82	c 79.3919 11.6016 879 1093075
127.79/127.82	o 336
127.79/127.83	c 79.3989 11.6016 923 1093263
127.79/127.83	o 224
127.79/127.84	c 79.4059 11.6016 955 1093427
127.79/127.84	o 185
127.79/127.85	c 79.4109 11.6016 988 1093482
127.79/127.85	o 180
127.79/127.86	c 79.4219 11.6016 1075 1093593
127.79/127.86	o 172
127.79/127.88	c 79.4369 11.6016 693 1093714
127.79/127.88	s OPTIMUM FOUND
127.79/127.88	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	172

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700183-1278534314/watcher-2700183-1278534314 -o /tmp/evaluation-result-2700183-1278534314/solver-2700183-1278534314 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700183-1278534314.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 1.76 0.93 4/178 26904
/proc/meminfo: memFree=29348692/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=2136 CPUtime=0
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 21643318 2187264 176 4089446400 134512640 136422188 4290889680 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26904/statm: 534 176 144 467 0 65 0

[startup+0.0195031 s]
/proc/loadavg: 2.01 1.76 0.93 4/178 26904
/proc/meminfo: memFree=29348692/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=5444 CPUtime=0.01
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 1056 0 0 0 1 0 0 0 25 0 1 0 21643318 5574656 975 4089446400 134512640 136422188 4290889680 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 1361 983 193 467 0 892 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5444

[startup+0.100488 s]
/proc/loadavg: 2.01 1.76 0.93 4/178 26904
/proc/meminfo: memFree=29348692/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10460 CPUtime=0.09
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2336 0 0 0 7 2 0 0 25 0 1 0 21643318 10711040 2249 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2615 2249 238 467 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10460

[startup+0.300442 s]
/proc/loadavg: 2.01 1.76 0.93 4/178 26904
/proc/meminfo: memFree=29348692/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10588 CPUtime=0.29
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2367 0 0 0 20 9 0 0 25 0 1 0 21643318 10842112 2280 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2647 2280 238 467 0 2178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10588

[startup+0.700362 s]
/proc/loadavg: 2.01 1.76 0.93 4/178 26904
/proc/meminfo: memFree=29348692/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10588 CPUtime=0.69
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2374 0 0 0 46 23 0 0 25 0 1 0 21643318 10842112 2284 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2647 2284 238 467 0 2178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10588

[startup+1.50121 s]
/proc/loadavg: 2.01 1.76 0.93 3/179 26905
/proc/meminfo: memFree=29340260/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10720 CPUtime=1.49
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2401 0 0 0 97 52 0 0 25 0 1 0 21643318 10977280 2310 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2680 2310 238 467 0 2211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10720

[startup+3.10089 s]
/proc/loadavg: 2.01 1.76 0.93 3/179 26905
/proc/meminfo: memFree=29339704/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10720 CPUtime=3.09
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2421 0 0 0 202 107 0 0 25 0 1 0 21643318 10977280 2321 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2680 2321 238 467 0 2211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10720

[startup+6.30024 s]
/proc/loadavg: 2.01 1.76 0.94 3/179 26905
/proc/meminfo: memFree=29337348/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10848 CPUtime=6.29
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2462 0 0 0 402 227 0 0 25 0 1 0 21643318 11108352 2352 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2712 2352 238 467 0 2243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10848

[startup+12.701 s]
/proc/loadavg: 2.01 1.76 0.94 3/179 26905
/proc/meminfo: memFree=29332468/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=10972 CPUtime=12.69
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2502 0 0 0 802 467 0 0 25 0 1 0 21643318 11235328 2378 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2743 2378 238 467 0 2274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10972

[startup+25.5004 s]
/proc/loadavg: 2.00 1.77 0.96 3/179 26906
/proc/meminfo: memFree=29323296/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11100 CPUtime=25.5
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2552 0 0 0 1599 951 0 0 25 0 1 0 21643318 11366400 2411 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2775 2411 238 467 0 2306 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 11100

[startup+51.1003 s]
/proc/loadavg: 2.06 1.81 0.99 3/179 26907
/proc/meminfo: memFree=29306344/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11228 CPUtime=51.1
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2632 0 0 0 3183 1927 0 0 25 0 1 0 21643318 11497472 2461 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2807 2461 238 467 0 2338 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11228

[startup+102.307 s]
/proc/loadavg: 2.03 1.83 1.04 3/179 26909
/proc/meminfo: memFree=29268712/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11476 CPUtime=102.3
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2756 0 0 0 6339 3891 0 0 25 0 1 0 21643318 11751424 2531 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2869 2531 238 467 0 2400 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11476

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

[startup+115.1 s]
/proc/loadavg: 2.02 1.84 1.06 3/179 26909
/proc/meminfo: memFree=29261132/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11620 CPUtime=115.1
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2787 0 0 0 7126 4384 0 0 25 0 1 0 21643318 11898880 2550 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2905 2550 238 467 0 2436 0
Current children cumulated CPU time (s) 115.1
Current children cumulated vsize (KiB) 11620

[startup+121.501 s]
/proc/loadavg: 2.02 1.84 1.06 3/179 26909
/proc/meminfo: memFree=29255924/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11620 CPUtime=121.5
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2826 0 0 0 7530 4620 0 0 25 0 1 0 21643318 11898880 2567 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2905 2567 238 467 0 2436 0
Current children cumulated CPU time (s) 121.5
Current children cumulated vsize (KiB) 11620

[startup+124.701 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29253444/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11748 CPUtime=124.7
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2862 0 0 0 7734 4736 0 0 25 0 1 0 21643318 12029952 2585 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2937 2585 238 467 0 2468 0
Current children cumulated CPU time (s) 124.7
Current children cumulated vsize (KiB) 11748

[startup+126.301 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29251956/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11748 CPUtime=126.3
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2880 0 0 0 7839 4791 0 0 25 0 1 0 21643318 12029952 2595 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2937 2595 238 467 0 2468 0
Current children cumulated CPU time (s) 126.3
Current children cumulated vsize (KiB) 11748

[startup+127.101 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29252076/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11748 CPUtime=127.09
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2897 0 0 0 7889 4820 0 0 18 0 1 0 21643318 12029952 2601 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2937 2601 238 467 0 2468 0
Current children cumulated CPU time (s) 127.09
Current children cumulated vsize (KiB) 11748

[startup+127.501 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29250960/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11748 CPUtime=127.5
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2909 0 0 0 7916 4834 0 0 18 0 1 0 21643318 12029952 2605 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2937 2605 238 467 0 2468 0
Current children cumulated CPU time (s) 127.5
Current children cumulated vsize (KiB) 11748

[startup+127.701 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29250960/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11876 CPUtime=127.7
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2917 0 0 0 7930 4840 0 0 18 0 1 0 21643318 12161024 2611 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2969 2611 238 467 0 2500 0
Current children cumulated CPU time (s) 127.7
Current children cumulated vsize (KiB) 11876

[startup+127.801 s]
/proc/loadavg: 2.02 1.85 1.07 3/179 26909
/proc/meminfo: memFree=29250960/32950928 swapFree=67111528/67111528
[pid=26904] ppid=26902 vsize=11876 CPUtime=127.79
/proc/26904/stat : 26904 (pbct) R 26902 26904 26355 0 -1 4202496 2922 0 0 0 7937 4842 0 0 18 0 1 0 21643318 12161024 2612 4089446400 134512640 136422188 4290889680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26904/statm: 2969 2612 238 467 0 2500 0
Current children cumulated CPU time (s) 127.79
Current children cumulated vsize (KiB) 11876

Child status: 0
Real time (s): 127.894
CPU time (s): 127.901
CPU user time (s): 79.4459
CPU system time (s): 48.4546
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 11876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.4459
system time used= 48.4546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2933
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= 9
involuntary context switches= 202

runsolver used 0.217966 second user time and 0.484926 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-07 22:25:14
IDJOB=2700183
IDBENCH=79406
IDSOLVER=1212
FILE ID=node149/2700183-1278534314
PBS_JOBID= 11239180
Free space on /tmp= 73424 MiB

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

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=2002142184

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
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.827
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.827
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.827
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.827
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.79
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.827
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.827
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:      29349212 kB
Buffers:        144508 kB
Cached:        2817952 kB
SwapCached:          0 kB
Active:        1472876 kB
Inactive:      1965404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29349212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:      475224 kB
Mapped:          16868 kB
Slab:            99896 kB
PageTables:       5308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   620728 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= 73424 MiB
End job on node149 at 2010-07-07 22:27:22