Trace number 2700444

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 137.733 137.73

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh05_wcsp.wbo
MD5SUM1604fdd87dcee54076f2101bd99fabb3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark1.20382
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.94922 1 1943
0.00/0.03	o 23087
0.00/0.04	c 0.038994 10.1133 2 2402
0.00/0.04	o 22660
0.00/0.04	c 0.039993 10.1133 2 3288
0.00/0.04	o 19555
0.00/0.04	c 0.039993 10.1133 2 3950
0.00/0.04	o 19287
0.00/0.04	c 0.039993 10.1133 3 4363
0.00/0.04	o 19167
0.00/0.04	c 0.039993 10.1133 3 5248
0.00/0.04	o 14067
0.00/0.04	c 0.040993 10.1133 5 5597
0.00/0.04	o 13920
0.00/0.05	c 0.041993 10.1133 9 5981
0.00/0.05	o 13830
0.00/0.05	c 0.043993 10.1133 30 6405
0.00/0.05	o 13729
0.05/0.07	c 0.049992 10.2383 219 7150
0.05/0.07	o 13712
0.29/0.37	c 0.121981 10.3633 619 13032
0.29/0.37	o 13707
1.59/1.60	c 0.369943 10.4883 610 33719
1.59/1.60	o 13513
1.59/1.61	c 0.372943 10.4883 689 34016
1.59/1.61	o 13470
1.79/1.86	c 0.420936 10.4883 662 37838
1.79/1.86	o 13322
2.49/2.55	c 0.538918 10.4883 547 44523
2.49/2.55	o 13056
3.39/3.49	c 0.753885 10.4883 541 61108
3.39/3.49	o 12929
3.49/3.58	c 0.781881 10.4883 632 62442
3.49/3.58	o 12909
3.89/3.99	c 0.932858 10.4883 560 70621
3.89/3.99	o 12756
3.89/3.99	c 0.934857 10.4883 572 70897
3.89/3.99	o 12633
3.99/4.01	c 0.941856 10.4883 629 71216
3.99/4.01	o 12580
4.09/4.12	c 0.988849 10.4883 654 73476
4.09/4.12	o 12557
4.29/4.36	c 1.09283 10.6133 362 77575
4.29/4.36	o 12425
5.09/5.18	c 1.35579 10.6133 910 84217
5.09/5.18	o 12414
5.70/5.70	c 1.46478 10.6133 863 91894
5.70/5.70	o 12380
5.89/5.94	c 1.50977 10.6133 668 96132
5.89/5.94	o 12377
5.89/5.97	c 1.51577 10.6133 450 97028
5.89/5.97	o 12040
6.69/6.77	c 1.67974 10.6133 702 108945
6.69/6.77	o 12011
6.79/6.82	c 1.68774 10.6133 603 109711
6.79/6.82	o 11996
6.79/6.85	c 1.69374 10.6133 423 110402
6.79/6.85	o 11994
6.89/6.90	c 1.70274 10.6133 673 111505
6.89/6.90	o 11859
7.99/8.09	c 1.9427 10.6133 692 128275
7.99/8.09	o 11829
8.59/8.68	c 2.06768 10.6133 517 137427
8.59/8.68	o 11644
8.89/8.91	c 2.10868 10.6133 730 141469
8.89/8.91	o 11585
8.89/8.94	c 2.11568 10.6133 549 142190
8.89/8.94	o 11566
9.09/9.16	c 2.15267 10.6133 382 146187
9.09/9.16	o 11480
10.70/10.78	c 2.57561 10.7383 441 167603
10.70/10.78	o 11449
10.79/10.80	c 2.57961 10.7383 507 167933
10.79/10.80	o 11448
10.79/10.83	c 2.59461 10.7383 669 168643
10.79/10.83	o 11375
11.39/11.44	c 2.79857 10.7383 404 178664
11.39/11.44	o 11276
11.39/11.46	c 2.81157 10.7383 494 179080
11.39/11.46	o 11214
11.59/11.64	c 2.86056 10.7383 719 181740
11.59/11.64	o 11156
11.59/11.65	c 2.86356 10.7383 469 182265
11.59/11.65	o 11132
12.60/12.66	c 3.06253 10.7383 601 198407
12.60/12.66	o 10902
14.19/14.21	c 3.37049 10.7383 667 222208
14.19/14.21	o 10873
14.19/14.28	c 3.37949 10.7383 680 223493
14.19/14.28	o 10766
14.99/15.05	c 3.50747 10.7383 703 234746
14.99/15.05	o 10741
15.20/15.28	c 3.55346 10.7383 780 237439
15.20/15.28	o 10731
15.40/15.40	c 3.58046 10.7383 690 239444
15.40/15.40	o 10644
15.70/15.78	c 3.64045 10.7383 736 244415
15.70/15.78	o 10613
15.89/15.94	c 3.67144 10.7383 550 247213
15.89/15.94	o 10540
15.99/16.05	c 3.68744 10.7383 565 249409
15.99/16.05	o 10423
18.89/18.92	c 4.55231 10.8633 715 281767
18.89/18.92	o 10407
18.89/18.97	c 4.55831 10.8633 621 282644
18.89/18.97	o 10364
20.59/20.69	c 4.85626 10.8633 649 306251
20.59/20.69	o 10250
21.10/21.12	c 4.93425 10.8633 656 312120
21.10/21.12	o 10217
26.79/26.89	c 6.35103 10.8633 579 365679
26.79/26.89	o 10172
27.09/27.17	c 6.39903 10.8633 471 369600
27.09/27.17	o 10169
27.70/27.75	c 6.49901 10.8633 508 377151
27.70/27.75	o 9821
27.89/27.97	c 6.53801 10.8633 989 380816
27.89/27.97	o 9792
28.39/28.47	c 6.61999 10.8633 439 387499
28.39/28.47	o 9757
28.99/29.09	c 6.72498 10.8633 739 396507
28.99/29.09	o 9751
29.60/29.70	c 6.85396 10.9844 520 405077
29.60/29.70	o 9720
30.19/30.22	c 7.03993 10.9844 466 412517
30.19/30.22	o 9716
31.89/31.99	c 7.53285 10.9844 868 433437
31.89/31.99	o 9690
32.19/32.28	c 7.57485 10.9844 661 437324
32.19/32.28	o 9678
33.00/33.03	c 7.70383 10.9844 713 447804
33.00/33.03	o 9638
33.19/33.26	c 7.74382 10.9844 680 451020
33.19/33.26	o 9550
34.39/34.48	c 7.95279 10.9844 784 466158
34.39/34.48	o 9526
34.79/34.82	c 8.00478 10.9844 627 471955
34.79/34.82	o 9472
37.60/37.61	c 8.75767 10.9844 847 503929
37.60/37.61	o 9421
37.69/37.77	c 8.79166 10.9844 556 505406
37.69/37.77	o 9374
38.69/38.74	c 8.99363 10.9844 509 517758
38.69/38.74	o 9278
39.09/39.15	c 9.06662 10.9844 581 524505
39.09/39.15	o 9263
41.10/41.10	c 9.40357 10.9844 947 545750
41.10/41.10	o 9248
41.39/41.42	c 9.45856 10.9844 612 550608
41.39/41.42	o 9239
41.99/42.08	c 9.57054 10.9844 504 557992
41.99/42.08	o 9204
42.19/42.21	c 9.59854 10.9844 843 559849
42.19/42.21	o 9154
42.40/42.42	c 9.62354 10.9844 527 562766
42.40/42.42	o 9107
43.69/43.78	c 10.0735 10.9844 933 579510
43.69/43.78	o 9059
45.00/45.06	c 10.4384 10.9844 757 593457
45.00/45.06	o 8942
45.49/45.53	c 10.5274 10.9844 853 599141
45.49/45.53	o 8874
47.09/47.19	c 10.7914 11.1055 566 617967
47.09/47.19	o 8839
47.20/47.25	c 10.7994 11.1055 459 619003
47.20/47.25	o 8810
49.09/49.11	c 11.1133 11.1055 512 641702
49.09/49.11	o 8714
49.19/49.21	c 11.1263 11.1055 975 642673
49.19/49.21	o 8703
50.49/50.55	c 11.5752 11.1055 648 656322
50.49/50.55	o 8587
53.09/53.10	c 12.1482 11.1055 756 682535
53.09/53.10	o 8432
53.80/53.82	c 12.2611 11.1055 534 690245
53.80/53.82	o 8421
55.79/55.81	c 12.6061 11.1055 745 711805
55.79/55.81	o 8383
57.60/57.67	c 13.235 11.1055 686 733199
57.60/57.67	o 8353
58.69/58.70	c 13.44 11.1055 655 745447
58.69/58.70	o 8313
59.30/59.37	c 13.5549 11.1055 776 753296
59.30/59.37	o 8267
59.99/60.00	c 13.6529 11.1055 837 760093
59.99/60.00	o 8201
63.70/63.73	c 14.5038 11.1055 725 798494
63.70/63.73	o 8155
64.00/64.04	c 14.6158 11.1055 583 802014
64.00/64.04	o 8085
64.39/64.48	c 14.7068 11.1055 861 806961
64.39/64.48	o 8064
65.59/65.63	c 14.9157 11.1055 542 819138
65.59/65.63	o 8041
67.19/67.24	c 15.1497 11.1055 776 836155
67.19/67.24	o 7977
67.29/67.38	c 15.1687 11.2305 653 837965
67.29/67.38	o 7948
67.89/67.93	c 15.2607 11.2305 627 843963
67.89/67.93	o 7933
69.60/69.61	c 15.6326 11.2305 778 860001
69.60/69.61	o 7818
69.89/69.90	c 15.7276 11.2305 530 862675
69.89/69.90	o 7810
72.60/72.67	c 16.3205 11.2305 719 890931
72.60/72.67	o 7774
72.99/73.02	c 16.3725 11.2305 609 894732
72.99/73.02	o 7683
73.60/73.68	c 16.4855 11.2305 774 901505
73.60/73.68	o 7631
74.99/75.03	c 16.7075 11.2305 790 914693
74.99/75.03	o 7518
75.90/75.94	c 16.8934 11.2305 937 924129
75.90/75.94	o 7456
75.99/76.09	c 16.9464 11.2305 675 925806
75.99/76.09	o 7320
76.79/76.83	c 17.2304 11.2305 519 933118
76.79/76.83	o 7291
80.89/80.93	c 18.0283 11.2305 695 977132
80.89/80.93	o 7288
80.99/81.01	c 18.0373 11.2305 620 978015
80.99/81.01	o 7230
81.40/81.42	c 18.0932 11.2305 974 981071
81.40/81.42	o 7176
82.89/82.99	c 18.4912 11.2305 657 996592
82.89/82.99	o 7168
84.49/84.52	c 18.9401 11.2305 714 1013247
84.49/84.52	o 7121
84.70/84.77	c 19.0021 11.2305 703 1015106
84.70/84.77	o 6977
84.99/85.00	c 19.0411 11.2305 689 1017120
84.99/85.00	o 6970
85.70/85.76	c 19.1741 11.2305 614 1025267
85.70/85.76	o 6910
86.40/86.48	c 19.3011 11.2305 834 1032007
86.40/86.48	o 6908
87.80/87.85	c 19.506 11.2305 940 1046655
87.80/87.85	o 6839
89.69/89.73	c 19.955 11.2305 793 1063775
89.69/89.73	o 6771
90.49/90.52	c 20.1889 11.2305 989 1069582
90.49/90.52	o 6630
92.40/92.46	c 20.4959 11.2305 886 1089923
92.40/92.46	o 6627
95.70/95.79	c 21.0538 11.2305 783 1122643
95.70/95.79	o 6601
96.20/96.25	c 21.2218 11.2305 639 1126310
96.20/96.25	o 6558
96.29/96.32	c 21.2518 11.2305 493 1127165
96.29/96.32	o 6521
98.39/98.46	c 21.6927 11.2305 884 1146916
98.39/98.46	o 6456
99.00/99.07	c 21.7847 11.2305 553 1152969
99.00/99.07	o 6394
99.39/99.48	c 21.8477 11.2305 917 1156822
99.39/99.48	o 6374
100.80/100.85	c 22.0756 11.3516 576 1166616
100.80/100.85	o 6356
101.59/101.61	c 22.1826 11.3516 583 1174141
101.59/101.61	o 6026
101.69/101.77	c 22.2086 11.3516 788 1175792
101.69/101.77	o 5994
102.20/102.21	c 22.3046 11.3516 714 1179548
102.20/102.21	o 5904
103.59/103.65	c 22.7935 11.3516 525 1194265
103.59/103.65	o 5844
105.19/105.24	c 23.0725 11.3516 685 1207200
105.19/105.24	o 5701
106.89/106.92	c 23.3275 11.3516 1006 1223264
106.89/106.92	o 5578
107.59/107.68	c 23.4394 11.3516 574 1231406
107.59/107.68	o 5511
108.59/108.61	c 23.5694 11.3516 827 1238769
108.59/108.61	o 5324
108.90/108.92	c 23.6964 11.3516 592 1241411
108.90/108.92	o 5250
109.00/109.00	c 23.7224 11.3516 499 1242333
109.00/109.00	o 5213
109.00/109.09	c 23.7544 11.3516 885 1243316
109.00/109.09	o 5212
109.50/109.54	c 23.9074 11.3516 785 1247306
109.50/109.54	o 4984
109.50/109.59	c 23.9234 11.3516 591 1247888
109.50/109.59	o 4927
109.80/109.80	c 24.0043 11.3516 909 1249909
109.80/109.80	o 4881
110.00/110.06	c 24.0963 11.3516 654 1252409
110.00/110.06	o 4835
110.89/110.97	c 24.2503 11.3516 470 1259582
110.89/110.97	o 4827
112.09/112.17	c 24.4303 11.3516 591 1269807
112.09/112.17	o 4779
112.69/112.76	c 24.5263 11.3516 907 1275232
112.69/112.76	o 4767
113.09/113.11	c 24.5863 11.3516 715 1278960
113.09/113.11	o 4672
113.20/113.22	c 24.6053 11.3516 671 1279969
113.20/113.22	o 4625
113.60/113.68	c 24.6692 11.3516 596 1283570
113.60/113.68	o 4623
114.10/114.17	c 24.7722 11.3516 933 1287123
114.10/114.17	o 4563
114.40/114.49	c 24.8222 11.3516 686 1289799
114.40/114.49	o 4551
115.80/115.86	c 25.1662 11.3516 654 1301228
115.80/115.86	o 4532
116.50/116.51	c 25.3981 11.4727 542 1305805
116.50/116.51	o 4459
117.00/117.09	c 25.5211 11.4727 637 1309705
117.00/117.09	o 4424
118.90/118.98	c 25.8421 11.4727 661 1320411
118.90/118.98	o 4400
118.99/119.05	c 25.8581 11.4727 857 1321014
118.99/119.05	o 4263
119.19/119.22	c 25.8981 11.4727 486 1322109
119.19/119.22	o 4245
120.09/120.18	c 26.054 11.4727 555 1329092
120.09/120.18	o 4159
120.39/120.50	c 26.1 11.4727 720 1331608
120.50/120.50	o 4153
120.60/120.68	c 26.125 11.4727 787 1333616
120.60/120.68	o 4143
120.89/121.00	c 26.163 11.4727 668 1336145
120.89/121.00	o 4120
121.00/121.04	c 26.168 11.4727 835 1336697
121.00/121.04	o 4038
121.39/121.43	c 26.22 11.4727 762 1339822
121.39/121.43	o 4033
121.89/121.91	c 26.326 11.4727 669 1343884
121.89/121.91	o 3885
122.00/122.06	c 26.373 11.4727 662 1344929
122.00/122.06	o 3822
122.10/122.13	c 26.401 11.4727 864 1345472
122.10/122.13	o 3817
122.10/122.18	c 26.42 11.4727 622 1345924
122.10/122.18	o 3801
122.19/122.24	c 26.444 11.4727 797 1346432
122.19/122.24	o 3725
122.69/122.75	c 26.625 11.4727 545 1350532
122.69/122.75	o 3719
123.10/123.16	c 26.7529 11.4727 509 1353573
123.10/123.16	o 3709
123.19/123.29	c 26.7829 11.4727 463 1354529
123.19/123.29	o 3687
123.39/123.44	c 26.8179 11.4727 949 1355709
123.39/123.44	o 3644
123.60/123.66	c 26.8489 11.4727 632 1357026
123.60/123.66	o 3627
123.79/123.85	c 26.8829 11.4727 482 1359194
123.79/123.85	o 3415
124.00/124.00	c 26.9049 11.4727 908 1360600
124.00/124.00	o 3262
124.30/124.33	c 26.9669 11.4727 753 1363331
124.30/124.33	o 3072
124.40/124.40	c 26.9829 11.4727 585 1363958
124.40/124.40	o 3016
124.59/124.68	c 27.0269 11.4727 521 1365930
124.59/124.68	o 3015
124.69/124.75	c 27.0349 11.4727 772 1366628
124.69/124.75	o 2934
124.89/124.96	c 27.0589 11.4727 520 1368230
124.89/124.96	o 2931
126.29/126.33	c 27.2599 11.4727 818 1376796
126.29/126.33	o 2886
126.40/126.49	c 27.2869 11.4727 468 1378169
126.40/126.49	o 2874
126.60/126.69	c 27.3218 11.4727 673 1379528
126.60/126.69	o 2871
126.89/126.96	c 27.3648 11.4727 629 1381391
126.89/126.96	o 2865
127.00/127.01	c 27.3758 11.4727 797 1381801
127.00/127.01	o 2829
127.59/127.68	c 27.4778 11.4727 644 1386429
127.59/127.68	o 2792
127.89/127.90	c 27.5178 11.4727 770 1387722
127.89/127.90	o 2767
127.89/127.94	c 27.5218 11.4727 489 1388139
127.89/127.94	o 2717
127.99/128.08	c 27.5418 11.4727 916 1389253
127.99/128.08	o 2700
128.70/128.75	c 27.7488 11.4727 647 1393403
128.70/128.75	o 2690
128.70/128.76	c 27.7528 11.4727 684 1393515
128.70/128.76	o 2672
128.79/128.89	c 27.7978 11.6016 577 1394464
128.79/128.89	o 2634
128.89/128.98	c 27.8218 11.6016 797 1395066
128.89/128.98	o 2612
128.99/129.05	c 27.8518 11.6016 583 1395823
128.99/129.05	o 2518
129.49/129.50	c 28.0197 11.6016 630 1398965
129.49/129.50	o 2503
130.59/130.60	c 28.2377 11.6016 728 1404382
130.59/130.60	o 2486
130.70/130.78	c 28.2717 11.6016 495 1405773
130.70/130.78	o 2438
131.39/131.47	c 28.3957 11.6016 856 1410515
131.39/131.47	o 2356
131.59/131.61	c 28.4177 11.6016 466 1411613
131.59/131.61	o 2342
131.59/131.64	c 28.4277 11.6016 555 1411877
131.59/131.64	o 2305
131.70/131.71	c 28.4337 11.6016 733 1412289
131.70/131.71	o 2296
133.19/133.25	c 28.6646 11.6016 723 1421675
133.19/133.25	o 2230
133.30/133.30	c 28.6746 11.6016 489 1422248
133.30/133.30	o 2159
133.80/133.81	c 28.7526 11.6016 569 1425627
133.80/133.81	o 2143
133.90/133.91	c 28.7626 11.6016 845 1426446
133.90/133.91	o 2004
133.90/133.98	c 28.7766 11.6016 618 1426918
133.90/133.98	o 1987
134.10/134.11	c 28.7936 11.6016 556 1427797
134.10/134.11	o 1922
134.70/134.73	c 28.9496 11.6016 705 1431689
134.70/134.73	o 1897
134.80/134.81	c 28.9896 11.6016 484 1432210
134.80/134.81	o 1877
135.20/135.23	c 29.1266 11.6016 848 1434775
135.20/135.23	o 1862
135.49/135.54	c 29.2466 11.6016 871 1436862
135.49/135.54	o 1777
135.49/135.58	c 29.2606 11.6016 533 1437154
135.49/135.58	o 1713
135.59/135.65	c 29.2895 11.6016 790 1437946
135.59/135.66	o 1651
135.69/135.71	c 29.3115 11.6016 511 1438386
135.69/135.71	o 1620
135.69/135.76	c 29.3305 11.6016 660 1438804
135.69/135.76	o 1510
136.20/136.30	c 29.5215 11.6016 921 1442407
136.20/136.30	o 1416
136.49/136.59	c 29.5955 11.6016 883 1444184
136.49/136.59	o 1381
136.59/136.68	c 29.6055 11.6016 699 1444996
136.59/136.68	o 1259
136.69/136.73	c 29.6155 11.6016 879 1445392
136.69/136.73	o 1254
136.69/136.78	c 29.6295 11.6016 604 1445854
136.69/136.78	o 1241
136.89/136.93	c 29.6625 11.6016 615 1446845
136.89/136.93	o 1074
137.00/137.09	c 29.6865 11.6016 661 1447936
137.00/137.09	o 1055
137.09/137.11	c 29.6895 11.6016 725 1448175
137.09/137.11	o 935
137.09/137.13	c 29.6915 11.6016 779 1448362
137.09/137.13	o 912
137.09/137.14	c 29.6945 11.6016 809 1448458
137.09/137.14	o 890
137.09/137.17	c 29.7025 11.6016 914 1448704
137.09/137.17	o 881
137.19/137.20	c 29.7095 11.6016 988 1448866
137.19/137.20	o 878
137.19/137.21	c 29.7115 11.6016 532 1449098
137.19/137.21	o 740
137.19/137.26	c 29.7185 11.6016 681 1449419
137.19/137.26	o 699
137.40/137.45	c 29.7765 11.6016 799 1450527
137.40/137.45	o 694
137.40/137.47	c 29.7795 11.6016 870 1450690
137.40/137.47	o 677
137.40/137.49	c 29.7885 11.6016 947 1450877
137.40/137.49	o 636
137.50/137.51	c 29.7935 11.6016 991 1451028
137.50/137.51	o 562
137.50/137.51	c 29.7955 11.6016 1013 1451067
137.50/137.51	o 556
137.50/137.52	c 29.8015 11.7266 1078 1451212
137.50/137.52	o 484
137.50/137.53	c 29.8065 11.7266 1082 1451370
137.50/137.53	o 477
137.50/137.55	c 29.8105 11.7266 1137 1451486
137.50/137.55	o 465
137.50/137.59	c 29.8285 11.7266 1279 1451800
137.50/137.59	o 427
137.60/137.67	c 29.8535 11.7266 955 1452381
137.60/137.67	o 396
137.60/137.67	c 29.8555 11.7266 987 1452449
137.60/137.67	o 391
137.60/137.69	c 29.8605 11.7266 1068 1452612
137.60/137.69	o 342
137.69/137.70	c 29.8665 11.7266 1161 1452861
137.69/137.70	o 205
137.69/137.71	c 29.8715 11.7266 1178 1452953
137.69/137.71	o 199
137.69/137.71	c 29.8765 11.7266 1202 1452999
137.69/137.71	o 183
137.69/137.72	c 29.8775 11.7266 1211 1453008
137.69/137.72	s OPTIMUM FOUND
137.69/137.72	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	183

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700444-1278535641/watcher-2700444-1278535641 -o /tmp/evaluation-result-2700444-1278535641/solver-2700444-1278535641 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700444-1278535641.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.02 2.03 2.04 4/178 20503
/proc/meminfo: memFree=27613120/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=2136 CPUtime=0
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 262 0 0 0 0 0 0 0 19 0 1 0 21778170 2187264 181 4089446400 134512640 136421960 4287611040 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20503/statm: 534 181 144 467 0 65 0

[startup+0.057953 s]
/proc/loadavg: 2.02 2.03 2.04 4/178 20503
/proc/meminfo: memFree=27613120/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10352 CPUtime=0.05
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2337 0 0 0 4 1 0 0 21 0 1 0 21778170 10600448 2247 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2588 2247 237 467 0 2119 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10352

[startup+0.100962 s]
/proc/loadavg: 2.02 2.03 2.04 4/178 20503
/proc/meminfo: memFree=27613120/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10480 CPUtime=0.09
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2353 0 0 0 5 4 0 0 21 0 1 0 21778170 10731520 2262 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2620 2262 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300964 s]
/proc/loadavg: 2.02 2.03 2.04 4/178 20503
/proc/meminfo: memFree=27613120/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10608 CPUtime=0.29
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2394 0 0 0 10 19 0 0 21 0 1 0 21778170 10862592 2303 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2652 2303 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700894 s]
/proc/loadavg: 2.02 2.03 2.04 4/178 20503
/proc/meminfo: memFree=27613120/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10608 CPUtime=0.69
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2397 0 0 0 19 50 0 0 22 0 1 0 21778170 10862592 2305 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2652 2305 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50076 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 20504
/proc/meminfo: memFree=27602944/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10736 CPUtime=1.49
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2413 0 0 0 35 114 0 0 25 0 1 0 21778170 10993664 2321 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2684 2321 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10048 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 20504
/proc/meminfo: memFree=27600340/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10736 CPUtime=3.09
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2433 0 0 0 67 242 0 0 25 0 1 0 21778170 10993664 2337 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2684 2337 238 467 0 2215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10736

[startup+6.30087 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20504
/proc/meminfo: memFree=27596304/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10864 CPUtime=6.29
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2467 0 0 0 157 472 0 0 25 0 1 0 21778170 11124736 2360 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2716 2360 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7007 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20504
/proc/meminfo: memFree=27588012/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=10992 CPUtime=12.69
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2519 0 0 0 306 963 0 0 25 0 1 0 21778170 11255808 2395 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2748 2395 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20504
/proc/meminfo: memFree=27569260/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11120 CPUtime=25.5
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2579 0 0 0 607 1943 0 0 25 0 1 0 21778170 11386880 2443 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2780 2443 238 467 0 2311 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 11120

[startup+51.1011 s]
/proc/loadavg: 2.07 2.04 2.04 3/179 20505
/proc/meminfo: memFree=27533464/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11368 CPUtime=51.09
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2667 0 0 0 1176 3933 0 0 25 0 1 0 21778170 11640832 2500 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2842 2500 238 467 0 2373 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11368

[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.03 3/179 20506
/proc/meminfo: memFree=27457644/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11620 CPUtime=102.3
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2760 0 0 0 2234 7996 0 0 25 0 1 0 21778170 11898880 2547 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2905 2547 238 467 0 2436 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11620

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

[startup+115.101 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 20507
/proc/meminfo: memFree=27440140/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11620 CPUtime=115.09
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2805 0 0 0 2491 9018 0 0 25 0 1 0 21778170 11898880 2572 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2905 2572 238 467 0 2436 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 11620

[startup+127.901 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 20507
/proc/meminfo: memFree=27420660/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11744 CPUtime=127.89
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2868 0 0 0 2751 10038 0 0 25 0 1 0 21778170 12025856 2600 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2936 2600 238 467 0 2467 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 11744

[startup+134.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 20507
/proc/meminfo: memFree=27410484/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11876 CPUtime=134.29
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2909 0 0 0 2882 10547 0 0 25 0 1 0 21778170 12161024 2620 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2969 2620 238 467 0 2500 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 11876

[startup+135.9 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20508
/proc/meminfo: memFree=27408620/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11876 CPUtime=135.9
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2921 0 0 0 2938 10652 0 0 18 0 1 0 21778170 12161024 2624 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2969 2624 238 467 0 2500 0
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (KiB) 11876

[startup+136.701 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20508
/proc/meminfo: memFree=27408372/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11876 CPUtime=136.69
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2931 0 0 0 2960 10709 0 0 19 0 1 0 21778170 12161024 2631 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2969 2631 238 467 0 2500 0
Current children cumulated CPU time (s) 136.69
Current children cumulated vsize (KiB) 11876

[startup+137.507 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20508
/proc/meminfo: memFree=27406016/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=11876 CPUtime=137.5
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2956 0 0 0 2979 10771 0 0 18 0 1 0 21778170 12161024 2642 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 2969 2642 238 467 0 2500 0
Current children cumulated CPU time (s) 137.5
Current children cumulated vsize (KiB) 11876

[startup+137.701 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 20508
/proc/meminfo: memFree=27406016/32950940 swapFree=67111528/67111528
[pid=20503] ppid=20501 vsize=12004 CPUtime=137.69
/proc/20503/stat : 20503 (pbct) R 20501 20503 19727 0 -1 4202496 2973 0 0 0 2986 10783 0 0 18 0 1 0 21778170 12292096 2650 4089446400 134512640 136421960 4287611040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20503/statm: 3001 2650 238 467 0 2532 0
Current children cumulated CPU time (s) 137.69
Current children cumulated vsize (KiB) 12004

Child status: 0
Real time (s): 137.73
CPU time (s): 137.733
CPU user time (s): 29.8865
CPU system time (s): 107.847
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8865
system time used= 107.847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2982
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= 3
involuntary context switches= 249

runsolver used 0.204968 second user time and 0.502923 second system time

The end

Launcher Data 

Begin job on node117 at 2010-07-07 22:47:21
IDJOB=2700444
IDBENCH=79428
IDSOLVER=1208
FILE ID=node117/2700444-1278535641
PBS_JOBID= 11239244
Free space on /tmp= 73528 MiB

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

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

MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3
RANDOM SEED=601930967

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.62
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.846
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	: 5251.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      27613020 kB
Buffers:        142760 kB
Cached:        3214872 kB
SwapCached:          0 kB
Active:        3208532 kB
Inactive:      1961968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      27613020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2080 kB
Writeback:           0 kB
AnonPages:     1813912 kB
Mapped:          17072 kB
Slab:            98792 kB
PageTables:       8396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  1959976 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= 73528 MiB
End job on node117 at 2010-07-07 22:49:39