Trace number 2700180

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 123.966 123.967

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.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/850 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.036994 9.98828 1 1945
0.00/0.03	o 28334
0.00/0.04	c 0.036994 10.2188 1 2843
0.00/0.04	o 27110
0.00/0.04	c 0.038994 10.2188 2 3743
0.00/0.04	o 25067
0.00/0.04	c 0.039993 10.2188 2 4634
0.00/0.04	o 14804
0.00/0.04	c 0.039993 10.2188 3 4915
0.00/0.04	o 14714
0.00/0.04	c 0.040993 10.2188 3 5806
0.00/0.04	o 13585
0.39/0.41	c 0.235964 10.3438 656 11856
0.39/0.41	o 13571
0.39/0.44	c 0.254961 10.3438 522 12670
0.39/0.44	o 13403
0.48/0.51	c 0.295955 10.3438 588 14206
0.48/0.51	o 13279
1.28/1.37	c 0.857869 10.4727 695 24291
1.28/1.37	o 13104
1.49/1.55	c 0.960853 10.4727 720 26506
1.49/1.55	o 13064
1.49/1.58	c 0.976851 10.4727 506 27127
1.49/1.58	o 13053
1.58/1.65	c 1.01984 10.4727 533 28687
1.58/1.65	o 13021
1.58/1.66	c 1.02884 10.4727 337 29510
1.58/1.66	o 12701
1.88/1.99	c 1.23981 10.4727 534 34447
1.88/1.99	o 12655
2.19/2.26	c 1.42078 10.4727 500 37106
2.19/2.26	o 12586
2.28/2.35	c 1.47677 10.4727 868 38221
2.28/2.35	o 12534
2.88/2.98	c 1.86172 10.4727 418 48711
2.88/2.98	o 12410
2.88/2.99	c 1.86972 10.4727 435 49066
2.88/2.99	o 12211
2.99/3.04	c 1.90771 10.4727 756 50171
2.99/3.04	o 12111
2.99/3.07	c 1.92671 10.4727 592 51203
2.99/3.07	o 12011
3.38/3.40	c 2.13768 10.4727 478 54969
3.38/3.40	o 11997
3.78/3.87	c 2.43663 10.4727 530 61983
3.78/3.87	o 11962
3.89/3.97	c 2.50362 10.4727 445 64267
3.89/3.97	o 11704
3.89/3.98	c 2.50762 10.4727 484 64644
3.89/3.98	o 11576
3.98/4.09	c 2.57961 10.4727 340 66393
3.98/4.09	o 11481
5.28/5.34	c 3.38149 10.5977 790 80297
5.28/5.34	o 11422
5.39/5.45	c 3.45047 10.5977 510 82136
5.39/5.45	o 11373
5.99/6.03	c 3.79942 10.5977 570 90943
5.99/6.03	o 11369
6.29/6.36	c 4.01739 10.5977 450 95634
6.29/6.36	o 11324
6.88/6.90	c 4.36434 10.5977 518 103195
6.88/6.90	o 11216
7.28/7.31	c 4.6243 10.5977 919 109480
7.28/7.31	o 11132
7.28/7.33	c 4.63829 10.5977 579 110162
7.28/7.33	o 10952
7.59/7.65	c 4.82427 10.5977 532 114602
7.59/7.65	o 10837
8.49/8.59	c 5.41618 10.5977 829 126880
8.49/8.59	o 10635
8.98/9.00	c 5.65814 10.5977 712 132201
8.98/9.00	o 10461
9.18/9.24	c 5.81511 10.5977 865 135093
9.18/9.24	o 10424
11.29/11.33	c 7.12092 10.7188 680 154168
11.29/11.33	o 10380
11.29/11.35	c 7.13692 10.7188 455 154813
11.29/11.35	o 10255
11.38/11.40	c 7.17391 10.7188 395 155876
11.38/11.40	o 10247
11.38/11.43	c 7.18691 10.7188 476 156159
11.38/11.43	o 10228
11.69/11.79	c 7.41487 10.7188 799 160350
11.69/11.79	o 9971
12.00/12.08	c 7.59584 10.7188 503 163955
12.00/12.08	o 9928
12.29/12.34	c 7.76182 10.7188 928 167395
12.29/12.34	o 9914
12.48/12.58	c 7.9128 10.7188 1008 169741
12.48/12.58	o 9756
14.39/14.41	c 9.05862 10.7188 748 189570
14.39/14.41	o 9750
15.19/15.24	c 9.56155 10.7188 680 199303
15.19/15.24	o 9636
16.59/16.68	c 10.4454 10.7188 464 215491
16.59/16.68	o 9492
16.69/16.74	c 10.4814 10.7188 711 216475
16.69/16.74	o 9246
16.88/16.94	c 10.6034 10.7188 792 218938
16.88/16.94	o 9197
18.99/19.02	c 11.9092 10.7188 588 240269
18.99/19.02	o 9156
19.09/19.13	c 11.9752 10.7188 387 241947
19.09/19.13	o 9145
19.09/19.18	c 12.0072 10.7188 577 242574
19.09/19.18	o 9135
19.59/19.68	c 12.3281 10.7188 587 248274
19.59/19.68	o 9003
19.79/19.84	c 12.4421 10.7188 520 250426
19.79/19.84	o 8906
20.99/21.09	c 13.236 10.7188 808 264635
20.99/21.09	o 8876
21.19/21.25	c 13.338 10.7188 524 267144
21.19/21.25	o 8837
22.28/22.37	c 14.0339 10.8438 652 276957
22.28/22.37	o 8708
23.49/23.51	c 14.7408 10.8438 664 290191
23.49/23.51	o 8666
24.20/24.29	c 15.2317 10.8438 725 297221
24.20/24.29	o 8571
25.20/25.27	c 15.8616 10.8438 693 307969
25.20/25.27	o 8531
25.49/25.52	c 16.0266 10.8438 742 311021
25.49/25.52	o 8399
25.59/25.61	c 16.0766 10.8438 716 312014
25.59/25.61	o 8371
26.29/26.31	c 16.5015 10.8438 847 318438
26.29/26.31	o 8364
26.49/26.58	c 16.6685 10.8438 950 321748
26.49/26.58	o 8354
27.28/27.33	c 17.1134 10.8438 735 329584
27.28/27.33	o 8321
27.79/27.89	c 17.4643 10.8438 768 335243
27.79/27.89	o 8316
28.99/29.05	c 18.1822 10.8438 742 348655
28.99/29.05	o 8271
30.79/30.83	c 19.2901 10.8438 658 363909
30.79/30.83	o 8030
31.08/31.12	c 19.485 10.8438 715 367153
31.08/31.12	o 7953
31.19/31.26	c 19.569 10.8438 509 368864
31.19/31.26	o 7842
32.79/32.83	c 20.5339 10.8438 580 385267
32.79/32.83	o 7818
32.79/32.86	c 20.5569 10.8438 712 385906
32.79/32.86	o 7813
33.79/33.89	c 21.1778 10.8438 819 395927
33.79/33.89	o 7754
35.69/35.76	c 22.2906 10.8438 518 409410
35.69/35.76	o 7669
36.19/36.28	c 22.5976 10.8438 558 415495
36.19/36.28	o 7591
36.58/36.67	c 22.8375 10.9688 499 419902
36.58/36.67	o 7556
39.88/39.93	c 24.9012 10.9688 556 450753
39.88/39.93	o 7523
40.59/40.70	c 25.3741 10.9688 475 458831
40.59/40.70	o 7464
41.98/42.05	c 26.192 10.9688 734 471067
41.98/42.05	o 7415
42.09/42.15	c 26.258 10.9688 726 472131
42.09/42.15	o 7318
42.58/42.63	c 26.552 10.9688 492 476254
42.58/42.63	o 7144
44.68/44.71	c 27.8728 10.9688 816 490957
44.68/44.71	o 7142
44.89/44.94	c 28.0157 10.9688 724 492889
44.89/44.94	o 7065
46.09/46.18	c 28.7846 10.9688 461 506772
46.09/46.18	o 7037
46.19/46.29	c 28.8496 10.9688 969 508265
46.19/46.29	o 6978
46.39/46.43	c 28.9316 10.9688 594 509815
46.39/46.43	o 6919
46.39/46.48	c 28.9686 10.9688 792 510443
46.39/46.48	o 6916
47.19/47.22	c 29.4405 10.9688 573 517651
47.19/47.22	o 6889
47.88/47.96	c 29.8695 10.9688 704 523954
47.88/47.96	o 6851
49.98/50.00	c 31.1203 10.9688 726 541545
49.98/50.00	o 6727
51.09/51.14	c 31.8232 10.9688 745 551451
51.09/51.14	o 6691
51.28/51.34	c 31.9481 10.9688 688 553556
51.28/51.35	o 6664
52.19/52.27	c 32.5011 10.9688 727 562031
52.19/52.27	o 6554
52.39/52.43	c 32.602 10.9688 600 564009
52.39/52.43	o 6501
52.79/52.82	c 32.818 10.9688 955 568022
52.79/52.82	o 6439
53.29/53.32	c 33.135 10.9688 760 573299
53.29/53.32	o 6382
56.39/56.43	c 35.0967 11.0898 630 601063
56.39/56.43	o 6314
57.20/57.24	c 35.5686 11.0898 885 607426
57.20/57.24	o 6290
57.88/57.98	c 36.0205 11.0898 707 614475
57.88/57.98	o 6253
58.69/58.78	c 36.5154 11.0898 653 622086
58.69/58.78	o 6219
60.59/60.61	c 37.6423 11.0898 536 638234
60.59/60.61	o 6205
63.59/63.60	c 39.486 11.0898 915 660504
63.59/63.60	o 6109
63.89/63.96	c 39.698 11.0898 622 663085
63.89/63.96	o 6108
64.29/64.30	c 39.9079 11.0898 951 665936
64.29/64.30	o 6024
64.68/64.76	c 40.1889 11.0898 622 669422
64.68/64.76	o 5914
65.19/65.27	c 40.4848 11.0898 457 674974
65.19/65.27	o 5878
65.39/65.45	c 40.6048 11.0898 715 676698
65.39/65.45	o 5874
67.38/67.40	c 41.7926 11.0898 531 693321
67.38/67.40	o 5833
68.39/68.48	c 42.4685 11.0898 427 702805
68.39/68.48	o 5739
70.59/70.62	c 43.7533 11.0898 715 717585
70.59/70.62	o 5626
71.09/71.15	c 44.1113 11.0898 498 722305
71.09/71.15	o 5611
72.09/72.16	c 44.7542 11.0898 782 730802
72.09/72.16	o 5515
74.39/74.42	c 46.157 11.0898 563 748975
74.39/74.42	o 5478
74.59/74.67	c 46.294 11.0898 692 751190
74.59/74.67	o 5474
75.89/75.95	c 47.1288 11.0898 731 761305
75.89/75.95	o 5443
78.58/78.61	c 48.7266 11.2109 658 779168
78.58/78.61	o 5396
78.89/78.98	c 48.9526 11.2109 658 782325
78.89/78.98	o 5376
79.29/79.32	c 49.1565 11.2109 663 785183
79.29/79.32	o 5354
80.39/80.43	c 49.8074 11.2109 812 794635
80.39/80.43	o 5348
80.59/80.64	c 49.9364 11.2109 759 796726
80.59/80.64	o 5336
81.99/82.01	c 50.8123 11.2109 613 808493
81.99/82.01	o 5314
87.29/87.33	c 54.1628 11.2109 725 844394
87.29/87.33	o 5263
87.59/87.63	c 54.3477 11.2109 524 847306
87.59/87.63	o 5157
88.29/88.33	c 54.7847 11.2109 528 853578
88.29/88.33	o 5004
88.39/88.44	c 54.8557 11.2109 503 854771
88.39/88.44	o 4977
88.39/88.49	c 54.8867 11.2109 637 855204
88.39/88.49	o 4944
88.59/88.69	c 55.0056 11.2109 843 857075
88.59/88.69	o 4934
89.78/89.81	c 55.7005 11.2109 958 865229
89.78/89.81	o 4839
89.78/89.83	c 55.7085 11.2109 513 865460
89.78/89.83	o 4772
90.28/90.30	c 56.0115 11.2109 553 868744
90.28/90.30	o 4662
90.28/90.38	c 56.0615 11.2109 746 869377
90.28/90.38	o 4588
91.20/91.25	c 56.5914 11.2109 803 875708
91.20/91.25	o 4586
91.69/91.73	c 56.8834 11.2109 686 879140
91.69/91.73	o 4556
93.40/93.47	c 57.9672 11.2109 755 892352
93.40/93.47	o 4417
93.59/93.68	c 58.1032 11.2109 467 893438
93.59/93.68	o 4391
95.19/95.23	c 59.062 11.2109 915 906294
95.19/95.23	o 4051
95.19/95.25	c 59.075 11.2109 503 906472
95.19/95.25	o 4049
95.48/95.52	c 59.234 11.2109 585 908776
95.48/95.52	o 4038
96.79/96.88	c 60.0779 11.2109 604 918398
96.79/96.88	o 3987
97.59/97.61	c 60.5498 11.2109 580 923953
97.59/97.61	o 3964
98.09/98.14	c 60.8617 11.2109 580 928345
98.09/98.14	o 3787
98.59/98.60	c 61.1267 11.2109 840 932298
98.59/98.60	o 3574
98.89/98.93	c 61.3357 11.2109 598 934799
98.89/98.93	o 3560
101.48/101.60	c 62.9794 11.2109 602 950977
101.48/101.60	o 3506
102.69/102.75	c 63.6613 11.2109 732 957611
102.69/102.75	o 3505
103.09/103.14	c 63.9073 11.2109 587 960345
103.09/103.14	o 3462
103.69/103.76	c 64.2822 11.3516 595 964308
103.69/103.76	o 3451
104.50/104.54	c 64.7712 11.3516 740 969797
104.50/104.54	o 3416
108.49/108.56	c 67.2388 11.3516 814 991962
108.49/108.56	o 3408
108.59/108.64	c 67.2828 11.3516 586 992476
108.59/108.64	o 3398
109.90/109.92	c 68.0517 11.3516 645 1001283
109.90/109.92	o 3395
110.19/110.20	c 68.2196 11.3516 593 1003381
110.19/110.20	o 3367
110.39/110.46	c 68.3866 11.3516 823 1005014
110.39/110.46	o 3281
110.89/110.99	c 68.7136 11.3516 754 1008825
110.89/110.99	o 3266
111.28/111.39	c 68.9785 11.3516 733 1011889
111.28/111.39	o 3218
111.59/111.64	c 69.1255 11.3516 661 1013801
111.59/111.64	o 3095
111.89/111.98	c 69.3215 11.3516 815 1016164
111.89/111.98	o 3072
111.99/112.05	c 69.3625 11.3516 597 1016697
111.99/112.05	o 3037
112.59/112.63	c 69.7044 11.3516 554 1020705
112.59/112.63	o 3000
112.89/112.97	c 69.9214 11.3516 621 1022976
112.89/112.97	o 2981
113.19/113.23	c 70.0863 11.3516 515 1024922
113.19/113.23	o 2902
113.78/113.80	c 70.4343 11.3516 727 1028514
113.78/113.80	o 2876
113.89/113.98	c 70.5573 11.3516 751 1029573
113.89/113.98	o 2838
114.29/114.39	c 70.8132 11.3516 505 1032366
114.29/114.39	o 2689
114.40/114.42	c 70.8332 11.3516 582 1032713
114.40/114.42	o 2513
114.49/114.56	c 70.9212 11.3516 540 1033690
114.49/114.56	o 2495
115.49/115.51	c 71.5011 11.3516 847 1039333
115.49/115.51	o 2475
115.69/115.74	c 71.6431 11.3516 523 1040404
115.69/115.74	o 2417
115.69/115.76	c 71.6531 11.3516 555 1040538
115.69/115.76	o 2373
115.79/115.82	c 71.6851 11.3516 711 1040996
115.79/115.82	o 2360
116.39/116.50	c 72.121 11.3516 770 1044997
116.39/116.50	o 2358
116.79/116.84	c 72.35 11.3516 851 1047147
116.79/116.84	o 2356
117.19/117.23	c 72.598 11.3516 558 1049355
117.19/117.23	o 2343
117.39/117.47	c 72.7449 11.3516 768 1050864
117.39/117.47	o 2256
117.49/117.53	c 72.7879 11.3516 511 1051418
117.49/117.53	o 2214
117.49/117.59	c 72.8229 11.3516 672 1051867
117.49/117.59	o 2172
117.59/117.69	c 72.8809 11.3516 948 1052500
117.59/117.69	o 2122
117.69/117.74	c 72.9149 11.3516 648 1052979
117.69/117.74	o 2114
117.89/117.97	c 73.0549 11.3516 852 1054572
117.89/117.97	o 2026
118.19/118.24	c 73.2379 11.3516 806 1056417
118.19/118.24	o 2009
118.29/118.32	c 73.2909 11.3516 645 1057132
118.29/118.32	o 1952
118.49/118.55	c 73.4398 11.3516 988 1058637
118.49/118.55	o 1951
118.49/118.57	c 73.4538 11.3516 580 1058874
118.49/118.57	o 1922
118.49/118.60	c 73.4728 11.4766 658 1059166
118.49/118.60	o 1804
118.59/118.64	c 73.5028 11.4766 799 1059678
118.59/118.64	o 1653
118.59/118.69	c 73.5348 11.4766 483 1060041
118.59/118.69	o 1635
118.70/118.72	c 73.5528 11.4766 550 1060187
118.70/118.72	o 1599
118.89/118.95	c 73.7028 11.4766 740 1061416
118.89/118.95	o 1541
119.19/119.29	c 73.9228 11.4766 773 1063357
119.19/119.29	o 1497
119.90/119.97	c 74.3607 11.4766 990 1067355
119.90/119.97	o 1377
120.19/120.29	c 74.5727 11.4766 502 1069402
120.19/120.29	o 1364
120.29/120.38	c 74.6307 11.4766 757 1070306
120.29/120.38	o 1342
120.39/120.45	c 74.6696 11.4766 497 1070700
120.39/120.45	o 1283
120.39/120.49	c 74.7046 11.4766 624 1071094
120.39/120.49	o 1265
120.49/120.55	c 74.7476 11.4766 781 1071457
120.49/120.55	o 1245
120.79/120.84	c 74.9366 11.4766 783 1073395
120.79/120.84	o 1213
120.90/120.93	c 74.9936 11.4766 562 1073974
120.90/120.93	o 1196
120.99/121.03	c 75.0566 11.4766 842 1074616
120.99/121.03	o 1170
121.09/121.11	c 75.1036 11.4766 637 1075011
121.09/121.11	o 1156
121.19/121.27	c 75.1946 11.4766 709 1076265
121.19/121.27	o 1151
121.29/121.36	c 75.2456 11.4766 934 1076757
121.29/121.36	o 1150
121.59/121.67	c 75.4615 11.4766 485 1078657
121.59/121.67	o 1137
122.29/122.32	c 75.8845 11.4766 673 1082087
122.29/122.32	o 1105
122.39/122.44	c 75.9685 11.4766 670 1082880
122.39/122.44	o 1037
122.39/122.47	c 75.9854 11.4766 762 1083132
122.39/122.47	o 1035
122.49/122.52	c 76.0204 11.4766 491 1083528
122.49/122.52	o 1030
122.59/122.63	c 76.0924 11.4766 762 1084161
122.59/122.63	o 1010
122.79/122.80	c 76.2064 11.4766 813 1085204
122.79/122.80	o 977
122.79/122.86	c 76.2444 11.4766 512 1085634
122.79/122.86	o 974
122.89/122.90	c 76.2724 11.4766 614 1085887
122.89/122.90	o 920
122.89/122.92	c 76.2784 11.4766 654 1086014
122.89/122.92	o 906
122.89/122.97	c 76.3234 11.4766 843 1086506
122.89/122.97	o 858
122.98/123.06	c 76.3794 11.4766 666 1087097
122.98/123.06	o 842
123.09/123.13	c 76.4274 11.4766 922 1087592
123.09/123.13	o 833
123.09/123.19	c 76.4644 11.4766 606 1088052
123.09/123.19	o 811
123.20/123.20	c 76.4754 11.4766 666 1088179
123.20/123.20	o 782
123.20/123.26	c 76.5194 11.4766 863 1088631
123.20/123.26	o 749
123.20/123.28	c 76.5274 11.4766 904 1088754
123.20/123.28	o 733
123.29/123.34	c 76.5704 11.4766 582 1089171
123.29/123.34	o 719
123.39/123.44	c 76.6403 11.4766 853 1089740
123.39/123.44	o 716
123.48/123.53	c 76.7063 11.4766 621 1090356
123.48/123.53	o 710
123.48/123.54	c 76.7093 11.4766 629 1090467
123.48/123.54	o 644
123.58/123.62	c 76.7663 11.4766 1008 1091034
123.58/123.62	o 611
123.69/123.70	c 76.8233 11.6016 789 1091600
123.69/123.70	o 575
123.69/123.78	c 76.8713 11.6016 1084 1092066
123.69/123.78	o 560
123.79/123.83	c 76.9153 11.6016 663 1092512
123.79/123.83	o 539
123.79/123.85	c 76.9293 11.6016 740 1092701
123.79/123.85	o 479
123.79/123.87	c 76.9383 11.6016 786 1092869
123.79/123.87	o 382
123.79/123.88	c 76.9473 11.6016 859 1092998
123.79/123.88	o 378
123.79/123.89	c 76.9533 11.6016 879 1093075
123.79/123.89	o 336
123.89/123.90	c 76.9613 11.6016 923 1093263
123.89/123.90	o 224
123.89/123.92	c 76.9733 11.6016 955 1093427
123.89/123.92	o 185
123.89/123.92	c 76.9773 11.6016 988 1093482
123.89/123.92	o 180
123.89/123.94	c 76.9903 11.6016 1075 1093593
123.89/123.94	o 172
123.89/123.95	c 77.0053 11.6016 693 1093714
123.89/123.95	s OPTIMUM FOUND
123.89/123.95	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-2700180-1278534297/watcher-2700180-1278534297 -o /tmp/evaluation-result-2700180-1278534297/solver-2700180-1278534297 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700180-1278534297.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.93 1.98 1.10 4/178 18808
/proc/meminfo: memFree=29704912/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=2136 CPUtime=0
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21643264 2187264 180 4089446400 134512640 136421960 4292316784 18446744073709551615 135818496 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18808/statm: 534 180 144 467 0 65 0

[startup+0.0589549 s]
/proc/loadavg: 1.93 1.98 1.10 4/178 18808
/proc/meminfo: memFree=29704912/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10460 CPUtime=0.05
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2330 0 0 0 4 1 0 0 25 0 1 0 21643264 10711040 2243 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18808/statm: 2615 2243 237 467 0 2146 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10460

[startup+0.100947 s]
/proc/loadavg: 1.93 1.98 1.10 4/178 18808
/proc/meminfo: memFree=29704912/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10460 CPUtime=0.09
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2340 0 0 0 6 3 0 0 25 0 1 0 21643264 10711040 2253 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18808/statm: 2615 2253 238 467 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10460

[startup+0.300914 s]
/proc/loadavg: 1.93 1.98 1.10 4/178 18808
/proc/meminfo: memFree=29704912/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10588 CPUtime=0.29
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2367 0 0 0 16 13 0 0 25 0 1 0 21643264 10842112 2280 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2647 2280 238 467 0 2178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10588

[startup+0.700846 s]
/proc/loadavg: 1.93 1.98 1.10 4/178 18808
/proc/meminfo: memFree=29704912/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10588 CPUtime=0.68
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2376 0 0 0 41 27 0 0 25 0 1 0 21643264 10842112 2286 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2647 2286 238 467 0 2178 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10588

[startup+1.5007 s]
/proc/loadavg: 1.93 1.98 1.10 3/179 18809
/proc/meminfo: memFree=29695852/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10720 CPUtime=1.49
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2401 0 0 0 93 56 0 0 25 0 1 0 21643264 10977280 2310 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2680 2310 238 467 0 2211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10720

[startup+3.10042 s]
/proc/loadavg: 1.93 1.98 1.10 3/179 18809
/proc/meminfo: memFree=29695356/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10720 CPUtime=3.08
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2423 0 0 0 194 114 0 0 25 0 1 0 21643264 10977280 2321 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2680 2321 238 467 0 2211 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10720

[startup+6.30085 s]
/proc/loadavg: 1.94 1.98 1.10 3/179 18810
/proc/meminfo: memFree=29694612/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10848 CPUtime=6.29
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2462 0 0 0 398 231 0 0 25 0 1 0 21643264 11108352 2352 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2712 2352 238 467 0 2243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10848

[startup+12.7007 s]
/proc/loadavg: 1.94 1.98 1.11 3/179 18810
/proc/meminfo: memFree=29693476/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=10972 CPUtime=12.69
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2509 0 0 0 798 471 0 0 25 0 1 0 21643264 11235328 2383 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2743 2383 238 467 0 2274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10972

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.12 3/179 18810
/proc/meminfo: memFree=29686564/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11100 CPUtime=25.49
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2556 0 0 0 1601 948 0 0 25 0 1 0 21643264 11366400 2414 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2775 2414 238 467 0 2306 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11100

[startup+51.1009 s]
/proc/loadavg: 1.97 1.98 1.14 3/179 18810
/proc/meminfo: memFree=29673244/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11228 CPUtime=51.09
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2633 0 0 0 3179 1930 0 0 25 0 1 0 21643264 11497472 2461 4089446400 134512640 136421960 4292316784 18446744073709551615 134597392 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2807 2461 238 467 0 2338 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11228

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.18 3/179 18812
/proc/meminfo: memFree=29647280/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11476 CPUtime=102.29
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2761 0 0 0 6337 3892 0 0 25 0 1 0 21643264 11751424 2535 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2869 2535 238 467 0 2400 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11476

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

[startup+115.101 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29642040/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11620 CPUtime=115.09
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2805 0 0 0 7125 4384 0 0 25 0 1 0 21643264 11898880 2557 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2905 2557 238 467 0 2436 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 11620

[startup+118.301 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29640424/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11620 CPUtime=118.29
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2832 0 0 0 7327 4502 0 0 25 0 1 0 21643264 11898880 2570 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2905 2570 238 467 0 2436 0
Current children cumulated CPU time (s) 118.29
Current children cumulated vsize (KiB) 11620

[startup+121.501 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29638192/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11748 CPUtime=121.49
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2874 0 0 0 7533 4616 0 0 25 0 1 0 21643264 12029952 2591 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2937 2591 238 467 0 2468 0
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (KiB) 11748

[startup+123.1 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29637076/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11748 CPUtime=123.09
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2893 0 0 0 7640 4669 0 0 18 0 1 0 21643264 12029952 2598 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2937 2598 238 467 0 2468 0
Current children cumulated CPU time (s) 123.09
Current children cumulated vsize (KiB) 11748

[startup+123.5 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29637076/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11748 CPUtime=123.48
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2907 0 0 0 7667 4681 0 0 18 0 1 0 21643264 12029952 2605 4089446400 134512640 136421960 4292316784 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2937 2605 238 467 0 2468 0
Current children cumulated CPU time (s) 123.48
Current children cumulated vsize (KiB) 11748

[startup+123.901 s]
/proc/loadavg: 1.99 1.98 1.20 3/179 18812
/proc/meminfo: memFree=29637076/32950928 swapFree=67111528/67111528
[pid=18808] ppid=18806 vsize=11876 CPUtime=123.89
/proc/18808/stat : 18808 (pbct) R 18806 18808 17905 0 -1 4202496 2924 0 0 0 7695 4694 0 0 18 0 1 0 21643264 12161024 2612 4089446400 134512640 136421960 4292316784 18446744073709551615 134973990 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18808/statm: 2969 2612 238 467 0 2500 0
Current children cumulated CPU time (s) 123.89
Current children cumulated vsize (KiB) 11876

Child status: 0
Real time (s): 123.967
CPU time (s): 123.966
CPU user time (s): 77.0143
CPU system time (s): 46.9519
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 11876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0143
system time used= 46.9519
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= 8
involuntary context switches= 1525

runsolver used 0.168974 second user time and 0.406938 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 22:24:58
IDJOB=2700180
IDBENCH=79406
IDSOLVER=1208
FILE ID=node120/2700180-1278534297
PBS_JOBID= 11239237
Free space on /tmp= 73460 MiB

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

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=666712955

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29705432 kB
Buffers:        135608 kB
Cached:        2709028 kB
SwapCached:          0 kB
Active:        1749156 kB
Inactive:      1346000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29705432 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:      250024 kB
Mapped:          15292 kB
Slab:            85528 kB
PageTables:       4988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   395984 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= 73460 MiB
End job on node120 at 2010-07-07 22:27:02