Trace number 2700447

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 138.075 138.073

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.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.00/0.03	c 0.034994 9.94922 1 1943
0.00/0.03	o 23087
0.00/0.04	c 0.034994 10.1133 2 2402
0.00/0.04	o 22660
0.03/0.04	c 0.035994 10.1133 2 3288
0.03/0.04	o 19555
0.03/0.04	c 0.035994 10.1133 2 3950
0.03/0.04	o 19287
0.03/0.04	c 0.036994 10.1133 3 4363
0.03/0.04	o 19167
0.03/0.04	c 0.036994 10.1133 3 5248
0.03/0.04	o 14067
0.03/0.05	c 0.036994 10.1133 5 5597
0.03/0.05	o 13920
0.03/0.05	c 0.036994 10.1133 9 5981
0.03/0.05	o 13830
0.03/0.05	c 0.037994 10.1133 30 6405
0.03/0.05	o 13729
0.03/0.07	c 0.038994 10.2383 219 7150
0.03/0.07	o 13712
0.29/0.38	c 0.111982 10.3633 619 13032
0.29/0.38	o 13707
1.59/1.60	c 0.449931 10.4883 610 33719
1.59/1.60	o 13513
1.59/1.62	c 0.45393 10.4883 689 34016
1.59/1.62	o 13470
1.79/1.87	c 0.514921 10.4883 662 37838
1.79/1.87	o 13322
2.49/2.55	c 0.658899 10.4883 547 44523
2.49/2.55	o 13056
3.39/3.50	c 0.825874 10.4883 541 61108
3.39/3.50	o 12929
3.49/3.59	c 0.844871 10.4883 632 62442
3.49/3.59	o 12909
3.89/4.00	c 0.91986 10.4883 560 70621
3.89/4.00	o 12756
3.99/4.00	c 0.921859 10.4883 572 70897
3.99/4.00	o 12633
3.99/4.02	c 0.922859 10.4883 629 71216
3.99/4.02	o 12580
4.09/4.13	c 0.934857 10.4883 654 73476
4.09/4.13	o 12557
4.29/4.37	c 0.98185 10.6133 362 77575
4.29/4.37	o 12425
5.19/5.20	c 1.10983 10.6133 910 84217
5.19/5.20	o 12414
5.69/5.72	c 1.19182 10.6133 863 91894
5.69/5.72	o 12380
5.89/5.96	c 1.24581 10.6133 668 96132
5.89/5.96	o 12377
5.89/5.98	c 1.25181 10.6133 450 97028
5.89/5.98	o 12040
6.69/6.79	c 1.41278 10.6133 702 108945
6.69/6.79	o 12011
6.79/6.84	c 1.42578 10.6133 603 109711
6.79/6.84	o 11996
6.79/6.87	c 1.43378 10.6133 423 110402
6.79/6.87	o 11994
6.89/6.92	c 1.44478 10.6133 673 111505
6.89/6.92	o 11859
8.10/8.11	c 1.75073 10.6133 692 128275
8.10/8.11	o 11829
8.70/8.70	c 1.87471 10.6133 517 137427
8.70/8.70	o 11644
8.89/8.94	c 1.90771 10.6133 730 141469
8.89/8.94	o 11585
8.89/8.97	c 1.91371 10.6133 549 142190
8.89/8.97	o 11566
9.09/9.18	c 1.9497 10.6133 382 146187
9.09/9.18	o 11480
10.80/10.81	c 2.27165 10.7383 441 167603
10.80/10.81	o 11449
10.80/10.83	c 2.27565 10.7383 507 167933
10.80/10.83	o 11448
10.80/10.86	c 2.28365 10.7383 669 168643
10.80/10.86	o 11375
11.39/11.46	c 2.41463 10.7383 404 178664
11.39/11.46	o 11276
11.39/11.49	c 2.41963 10.7383 494 179080
11.39/11.49	o 11214
11.59/11.67	c 2.45463 10.7383 719 181740
11.59/11.67	o 11156
11.59/11.68	c 2.45663 10.7383 469 182265
11.59/11.68	o 11132
12.59/12.69	c 2.6436 10.7383 601 198407
12.59/12.69	o 10902
14.19/14.25	c 2.96755 10.7383 667 222208
14.19/14.25	o 10873
14.29/14.31	c 2.98255 10.7383 680 223493
14.29/14.31	o 10766
14.99/15.08	c 3.19851 10.7383 703 234746
14.99/15.08	o 10741
15.30/15.32	c 3.24751 10.7383 780 237439
15.30/15.32	o 10731
15.40/15.44	c 3.2685 10.7383 690 239444
15.40/15.44	o 10644
15.79/15.82	c 3.34249 10.7383 736 244415
15.79/15.82	o 10613
15.89/15.99	c 3.38348 10.7383 550 247213
15.89/15.99	o 10540
15.99/16.09	c 3.40148 10.7383 565 249409
15.99/16.09	o 10423
18.89/18.97	c 3.87641 10.8633 715 281767
18.89/18.97	o 10407
18.99/19.02	c 3.88641 10.8633 621 282644
18.99/19.02	o 10364
20.69/20.75	c 4.22136 10.8633 649 306251
20.69/20.75	o 10250
21.09/21.18	c 4.34034 10.8633 656 312120
21.09/21.18	o 10217
26.89/26.96	c 5.43417 10.8633 579 365679
26.89/26.96	o 10172
27.20/27.25	c 5.51116 10.8633 471 369600
27.20/27.25	o 10169
27.79/27.83	c 5.66114 10.8633 508 377151
27.79/27.83	o 9821
27.99/28.04	c 5.72713 10.8633 989 380816
27.99/28.04	o 9792
28.50/28.54	c 5.80912 10.8633 439 387499
28.50/28.54	o 9757
29.10/29.17	c 5.9211 10.8633 739 396507
29.10/29.17	o 9751
29.70/29.78	c 6.02508 10.9844 520 405077
29.70/29.78	o 9720
30.30/30.30	c 6.11107 10.9844 466 412517
30.30/30.30	o 9716
31.99/32.08	c 6.42802 10.9844 868 433437
31.99/32.08	o 9690
32.30/32.36	c 6.46902 10.9844 661 437324
32.30/32.36	o 9678
33.09/33.12	c 6.592 10.9844 713 447804
33.09/33.12	o 9638
33.29/33.35	c 6.62399 10.9844 680 451020
33.29/33.35	o 9550
34.49/34.57	c 6.93494 10.9844 784 466158
34.49/34.57	o 9526
34.89/34.91	c 7.00793 10.9844 627 471955
34.89/34.91	o 9472
37.69/37.71	c 7.46686 10.9844 847 503929
37.69/37.71	o 9421
37.80/37.87	c 7.49286 10.9844 556 505406
37.80/37.87	o 9374
38.79/38.84	c 7.64984 10.9844 509 517758
38.79/38.84	o 9278
39.19/39.25	c 7.74382 10.9844 581 524505
39.19/39.25	o 9263
41.19/41.21	c 8.20075 10.9844 947 545750
41.19/41.21	o 9248
41.49/41.52	c 8.25075 10.9844 612 550608
41.49/41.52	o 9239
42.09/42.19	c 8.35373 10.9844 504 557992
42.09/42.19	o 9204
42.30/42.32	c 8.37273 10.9844 843 559849
42.30/42.32	o 9154
42.49/42.53	c 8.40472 10.9844 527 562766
42.49/42.53	o 9107
43.79/43.89	c 8.65968 10.9844 933 579510
43.79/43.89	o 9059
45.10/45.17	c 8.84965 10.9844 757 593457
45.10/45.17	o 8942
45.59/45.65	c 8.95364 10.9844 853 599141
45.59/45.65	o 8874
47.30/47.31	c 9.27459 11.1055 566 617967
47.30/47.31	o 8839
47.30/47.37	c 9.28759 11.1055 459 619003
47.30/47.37	o 8810
49.19/49.23	c 9.65253 11.1055 512 641702
49.19/49.23	o 8714
49.29/49.34	c 9.66553 11.1055 975 642673
49.29/49.34	o 8703
50.60/50.68	c 9.8745 11.1055 648 656322
50.60/50.68	o 8587
53.20/53.24	c 10.3584 11.1055 756 682535
53.20/53.24	o 8432
53.90/53.96	c 10.5334 11.1055 534 690245
53.90/53.96	o 8421
55.89/55.96	c 10.9093 11.1055 745 711805
55.89/55.96	o 8383
57.79/57.82	c 11.1933 11.1055 686 733199
57.79/57.82	o 8353
58.80/58.85	c 11.3603 11.1055 655 745447
58.80/58.85	o 8313
59.50/59.52	c 11.4723 11.1055 776 753296
59.50/59.52	o 8267
60.09/60.15	c 11.6122 11.1055 837 760093
60.09/60.15	o 8201
63.80/63.89	c 12.2661 11.1055 725 798494
63.80/63.89	o 8155
64.20/64.21	c 12.3111 11.1055 583 802014
64.20/64.21	o 8085
64.59/64.65	c 12.3961 11.1055 861 806961
64.59/64.65	o 8064
65.79/65.80	c 12.5991 11.1055 542 819138
65.79/65.80	o 8041
67.39/67.41	c 12.98 11.1055 776 836155
67.39/67.41	o 7977
67.49/67.55	c 13.007 11.2305 653 837965
67.49/67.55	o 7948
68.10/68.10	c 13.11 11.2305 627 843963
68.10/68.10	o 7933
69.69/69.79	c 13.384 11.2305 778 860001
69.69/69.79	o 7818
69.99/70.07	c 13.435 11.2305 530 862675
69.99/70.07	o 7810
72.80/72.85	c 13.8389 11.2305 719 890931
72.80/72.85	o 7774
73.19/73.20	c 13.9349 11.2305 609 894732
73.19/73.20	o 7683
73.79/73.86	c 14.1249 11.2305 774 901505
73.79/73.86	o 7631
75.20/75.22	c 14.3448 11.2305 790 914693
75.20/75.22	o 7518
76.09/76.13	c 14.4788 11.2305 937 924129
76.09/76.13	o 7456
76.20/76.28	c 14.5038 11.2305 675 925806
76.20/76.28	o 7320
77.00/77.02	c 14.6098 11.2305 519 933118
77.00/77.02	o 7291
81.09/81.13	c 15.3477 11.2305 695 977132
81.09/81.13	o 7288
81.19/81.21	c 15.3577 11.2305 620 978015
81.19/81.21	o 7230
81.60/81.62	c 15.4257 11.2305 974 981071
81.60/81.62	o 7176
83.19/83.20	c 15.6796 11.2305 657 996592
83.19/83.20	o 7168
84.70/84.73	c 15.9486 11.2305 714 1013247
84.70/84.73	o 7121
84.90/84.98	c 15.9936 11.2305 703 1015106
84.90/84.98	o 6977
85.20/85.22	c 16.0336 11.2305 689 1017120
85.20/85.22	o 6970
85.89/85.97	c 16.1625 11.2305 614 1025267
85.89/85.97	o 6910
86.70/86.70	c 16.3525 11.2305 834 1032007
86.70/86.70	o 6908
88.00/88.07	c 16.6205 11.2305 940 1046655
88.00/88.07	o 6839
89.89/89.95	c 16.8904 11.2305 793 1063775
89.89/89.95	o 6771
90.69/90.75	c 17.0264 11.2305 989 1069582
90.69/90.75	o 6630
92.59/92.69	c 17.3364 11.2305 886 1089923
92.59/92.69	o 6627
95.99/96.03	c 18.0063 11.2305 783 1122643
95.99/96.03	o 6601
96.39/96.48	c 18.0703 11.2305 639 1126310
96.39/96.48	o 6558
96.50/96.56	c 18.0813 11.2305 493 1127165
96.50/96.56	o 6521
98.69/98.70	c 18.3982 11.2305 884 1146916
98.69/98.70	o 6456
99.29/99.32	c 18.5212 11.2305 553 1152969
99.29/99.32	o 6394
99.69/99.73	c 18.6492 11.2305 917 1156822
99.69/99.73	o 6374
101.00/101.10	c 18.9191 11.3516 576 1166616
101.00/101.10	o 6356
101.79/101.86	c 19.0291 11.3516 583 1174141
101.79/101.86	o 6026
102.00/102.02	c 19.0541 11.3516 788 1175792
102.00/102.02	o 5994
102.39/102.46	c 19.1131 11.3516 714 1179548
102.39/102.46	o 5904
103.89/103.90	c 19.3151 11.3516 525 1194265
103.89/103.90	o 5844
105.50/105.50	c 19.575 11.3516 685 1207200
105.50/105.50	o 5701
107.09/107.18	c 19.94 11.3516 1006 1223264
107.09/107.18	o 5578
107.89/107.94	c 20.0659 11.3516 574 1231406
107.89/107.94	o 5511
108.79/108.87	c 20.2289 11.3516 827 1238769
108.79/108.87	o 5324
109.10/109.19	c 20.2829 11.3516 592 1241411
109.10/109.19	o 5250
109.19/109.26	c 20.2949 11.3516 499 1242333
109.19/109.26	o 5213
109.30/109.35	c 20.3109 11.3516 885 1243316
109.30/109.35	o 5212
109.80/109.81	c 20.3779 11.3516 785 1247306
109.80/109.81	o 4984
109.80/109.86	c 20.3859 11.3516 591 1247888
109.80/109.86	o 4927
110.00/110.07	c 20.4109 11.3516 909 1249909
110.00/110.07	o 4881
110.29/110.33	c 20.4629 11.3516 654 1252409
110.29/110.33	o 4835
111.20/111.24	c 20.6119 11.3516 470 1259582
111.20/111.24	o 4827
112.39/112.45	c 20.7948 11.3516 591 1269807
112.39/112.45	o 4779
112.99/113.04	c 20.9658 11.3516 907 1275232
112.99/113.04	o 4767
113.29/113.39	c 21.0508 11.3516 715 1278960
113.29/113.39	o 4672
113.49/113.50	c 21.0638 11.3516 671 1279969
113.49/113.50	o 4625
113.89/113.96	c 21.1328 11.3516 596 1283570
113.89/113.96	o 4623
114.40/114.45	c 21.2048 11.3516 933 1287123
114.40/114.45	o 4563
114.69/114.77	c 21.2478 11.3516 686 1289799
114.69/114.77	o 4551
116.09/116.14	c 21.4567 11.3516 654 1301228
116.09/116.14	o 4532
116.69/116.79	c 21.5617 11.4727 542 1305805
116.69/116.79	o 4459
117.29/117.38	c 21.6467 11.4727 637 1309705
117.29/117.38	o 4424
119.20/119.27	c 21.9757 11.4727 661 1320411
119.20/119.27	o 4400
119.30/119.34	c 21.9927 11.4727 857 1321014
119.30/119.34	o 4263
119.49/119.51	c 22.0426 11.4727 486 1322109
119.49/119.51	o 4245
120.40/120.47	c 22.2386 11.4727 555 1329092
120.40/120.47	o 4159
120.70/120.79	c 22.2886 11.4727 720 1331608
120.70/120.79	o 4153
120.90/120.98	c 22.3086 11.4727 787 1333616
120.90/120.98	o 4143
121.29/121.30	c 22.3486 11.4727 668 1336145
121.29/121.30	o 4120
121.29/121.34	c 22.3556 11.4727 835 1336697
121.29/121.34	o 4038
121.69/121.73	c 22.4196 11.4727 762 1339822
121.69/121.73	o 4033
122.20/122.21	c 22.4876 11.4727 669 1343884
122.20/122.21	o 3885
122.29/122.36	c 22.5096 11.4727 662 1344929
122.29/122.36	o 3822
122.39/122.43	c 22.5226 11.4727 864 1345472
122.39/122.43	o 3817
122.39/122.48	c 22.5306 11.4727 622 1345924
122.39/122.48	o 3801
122.50/122.54	c 22.5386 11.4727 797 1346432
122.50/122.54	o 3725
122.99/123.05	c 22.6216 11.4727 545 1350532
122.99/123.05	o 3719
123.40/123.46	c 22.6666 11.4727 509 1353573
123.40/123.46	o 3709
123.49/123.59	c 22.6866 11.4727 463 1354529
123.49/123.59	o 3687
123.69/123.75	c 22.7065 11.4727 949 1355709
123.69/123.75	o 3644
123.90/123.97	c 22.7375 11.4727 632 1357026
123.90/123.97	o 3627
124.10/124.16	c 22.7645 11.4727 482 1359194
124.10/124.16	o 3415
124.30/124.31	c 22.7905 11.4727 908 1360600
124.30/124.31	o 3262
124.59/124.64	c 22.8345 11.4727 753 1363331
124.59/124.64	o 3072
124.70/124.71	c 22.8445 11.4727 585 1363958
124.70/124.71	o 3016
124.90/124.98	c 22.8855 11.4727 521 1365930
124.90/124.98	o 3015
124.99/125.06	c 22.8995 11.4727 772 1366628
124.99/125.06	o 2934
125.20/125.27	c 22.9365 11.4727 520 1368230
125.20/125.27	o 2931
126.59/126.64	c 23.2675 11.4727 818 1376796
126.59/126.64	o 2886
126.80/126.80	c 23.2945 11.4727 468 1378169
126.80/126.80	o 2874
126.99/127.00	c 23.3295 11.4727 673 1379528
126.99/127.00	o 2871
127.20/127.27	c 23.3704 11.4727 629 1381391
127.20/127.27	o 2865
127.30/127.32	c 23.3764 11.4727 797 1381801
127.30/127.32	o 2829
127.90/127.99	c 23.4764 11.4727 644 1386429
127.90/127.99	o 2792
128.19/128.21	c 23.5134 11.4727 770 1387722
128.19/128.21	o 2767
128.19/128.26	c 23.5234 11.4727 489 1388139
128.19/128.26	o 2717
128.39/128.40	c 23.5444 11.4727 916 1389253
128.39/128.40	o 2700
128.99/129.07	c 23.6394 11.4727 647 1393403
128.99/129.07	o 2690
128.99/129.08	c 23.6434 11.4727 684 1393515
128.99/129.08	o 2672
129.20/129.21	c 23.6644 11.6016 577 1394464
129.20/129.21	o 2634
129.20/129.29	c 23.6774 11.6016 797 1395066
129.20/129.29	o 2612
129.29/129.37	c 23.6904 11.6016 583 1395823
129.29/129.37	o 2518
129.79/129.82	c 23.7534 11.6016 630 1398965
129.79/129.82	o 2503
130.90/130.93	c 23.9084 11.6016 728 1404382
130.90/130.93	o 2486
131.10/131.11	c 23.9364 11.6016 495 1405773
131.10/131.11	o 2438
131.69/131.79	c 24.0503 11.6016 856 1410515
131.69/131.79	o 2356
131.89/131.93	c 24.0643 11.6016 466 1411613
131.89/131.93	o 2342
131.89/131.97	c 24.0753 11.6016 555 1411877
131.89/131.97	o 2305
132.00/132.04	c 24.0953 11.6016 733 1412289
132.00/132.04	o 2296
133.50/133.58	c 24.4483 11.6016 723 1421675
133.50/133.58	o 2230
133.60/133.63	c 24.4553 11.6016 489 1422248
133.60/133.63	o 2159
134.10/134.14	c 24.5323 11.6016 569 1425627
134.10/134.14	o 2143
134.20/134.24	c 24.5463 11.6016 845 1426446
134.20/134.24	o 2004
134.30/134.31	c 24.5563 11.6016 618 1426918
134.30/134.31	o 1987
134.40/134.44	c 24.5743 11.6016 556 1427797
134.40/134.44	o 1922
134.99/135.06	c 24.6712 11.6016 705 1431689
134.99/135.06	o 1897
135.09/135.14	c 24.6822 11.6016 484 1432210
135.09/135.14	o 1877
135.49/135.56	c 24.7532 11.6016 848 1434775
135.49/135.56	o 1862
135.79/135.88	c 24.8002 11.6016 871 1436862
135.79/135.88	o 1777
135.89/135.91	c 24.8062 11.6016 533 1437154
135.89/135.91	o 1713
135.89/135.99	c 24.8162 11.6016 790 1437946
135.89/135.99	o 1651
135.99/136.04	c 24.8262 11.6016 511 1438386
135.99/136.04	o 1620
136.09/136.10	c 24.8352 11.6016 660 1438804
136.09/136.10	o 1510
136.60/136.64	c 24.9322 11.6016 921 1442407
136.60/136.64	o 1416
136.90/136.93	c 24.9772 11.6016 883 1444184
136.90/136.93	o 1381
136.99/137.02	c 24.9902 11.6016 699 1444996
136.99/137.02	o 1259
136.99/137.07	c 24.9982 11.6016 879 1445392
136.99/137.07	o 1254
137.09/137.12	c 25.0122 11.6016 604 1445854
137.09/137.12	o 1241
137.19/137.27	c 25.0442 11.6016 615 1446845
137.19/137.27	o 1074
137.39/137.43	c 25.0722 11.6016 661 1447936
137.39/137.43	o 1055
137.39/137.45	c 25.0792 11.6016 725 1448175
137.39/137.45	o 935
137.39/137.47	c 25.0822 11.6016 779 1448362
137.39/137.47	o 912
137.39/137.48	c 25.0842 11.6016 809 1448458
137.39/137.48	o 890
137.49/137.51	c 25.0912 11.6016 914 1448704
137.49/137.51	o 881
137.49/137.54	c 25.0962 11.6016 988 1448866
137.49/137.54	o 878
137.49/137.56	c 25.1002 11.6016 532 1449098
137.49/137.56	o 740
137.59/137.60	c 25.1052 11.6016 681 1449419
137.59/137.60	o 699
137.69/137.79	c 25.1482 11.6016 799 1450527
137.69/137.79	o 694
137.79/137.81	c 25.1542 11.6016 870 1450690
137.79/137.81	o 677
137.79/137.83	c 25.1572 11.6016 947 1450877
137.79/137.83	o 636
137.79/137.85	c 25.1602 11.6016 991 1451028
137.79/137.85	o 562
137.79/137.85	c 25.1602 11.6016 1013 1451067
137.79/137.85	o 556
137.79/137.86	c 25.1622 11.7266 1078 1451212
137.79/137.86	o 484
137.79/137.88	c 25.1672 11.7266 1082 1451370
137.79/137.88	o 477
137.79/137.89	c 25.1712 11.7266 1137 1451486
137.79/137.89	o 465
137.89/137.93	c 25.1842 11.7266 1279 1451800
137.89/137.93	o 427
138.00/138.01	c 25.2042 11.7266 955 1452381
138.00/138.01	o 396
138.00/138.01	c 25.2062 11.7266 987 1452449
138.00/138.01	o 391
138.00/138.03	c 25.2092 11.7266 1068 1452612
138.00/138.03	o 342
138.00/138.04	c 25.2152 11.7266 1161 1452861
138.00/138.04	o 205
138.00/138.05	c 25.2182 11.7266 1178 1452953
138.00/138.05	o 199
138.00/138.06	c 25.2182 11.7266 1202 1452999
138.00/138.06	o 183
138.00/138.06	c 25.2182 11.7266 1211 1453008
138.00/138.06	s OPTIMUM FOUND
138.00/138.06	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-2700447-1278535647/watcher-2700447-1278535647 -o /tmp/evaluation-result-2700447-1278535647/solver-2700447-1278535647 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700447-1278535647.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.00 2.04 2.06 3/178 18736
/proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=2136 CPUtime=0
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 21777834 2187264 175 4089446400 134512640 136422188 4288150800 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18736/statm: 534 175 144 467 0 65 0

[startup+0.042604 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 18736
/proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10352 CPUtime=0.03
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2328 0 0 0 3 0 0 0 21 0 1 0 21777834 10600448 2246 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2588 2246 237 467 0 2119 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10352

[startup+0.100591 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 18736
/proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10480 CPUtime=0.09
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2352 0 0 0 4 5 0 0 21 0 1 0 21777834 10731520 2262 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2620 2262 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300559 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 18736
/proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10608 CPUtime=0.29
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2393 0 0 0 8 21 0 0 21 0 1 0 21777834 10862592 2303 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2652 2303 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700492 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 18736
/proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10608 CPUtime=0.69
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2396 0 0 0 16 53 0 0 22 0 1 0 21777834 10862592 2305 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2652 2305 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50036 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28777540/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10736 CPUtime=1.49
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2412 0 0 0 41 108 0 0 25 0 1 0 21777834 10993664 2321 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2684 2321 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10108 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28776424/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10736 CPUtime=3.09
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2432 0 0 0 75 234 0 0 25 0 1 0 21777834 10993664 2337 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2684 2337 238 467 0 2215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10736

[startup+6.30054 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28773820/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10864 CPUtime=6.29
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2466 0 0 0 131 498 0 0 25 0 1 0 21777834 11124736 2360 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2716 2360 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7005 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28770476/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10992 CPUtime=12.69
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2518 0 0 0 264 1005 0 0 25 0 1 0 21777834 11255808 2395 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2748 2395 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28766056/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11120 CPUtime=25.49
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2578 0 0 0 518 2031 0 0 25 0 1 0 21777834 11386880 2443 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2780 2443 238 467 0 2311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11120

[startup+51.101 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 18737
/proc/meminfo: memFree=28748996/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11368 CPUtime=51.09
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2665 0 0 0 998 4111 0 0 25 0 1 0 21777834 11640832 2499 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2842 2499 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.00 2.02 2.05 3/179 18739
/proc/meminfo: memFree=28706032/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11620 CPUtime=102.3
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2757 0 0 0 1908 8322 0 0 25 0 1 0 21777834 11898880 2546 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2905 2546 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.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18739
/proc/meminfo: memFree=28698080/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11620 CPUtime=115.09
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2803 0 0 0 2129 9380 0 0 25 0 1 0 21777834 11898880 2571 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2905 2571 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.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28686292/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11744 CPUtime=127.9
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2865 0 0 0 2345 10445 0 0 25 0 1 0 21777834 12025856 2599 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2936 2599 238 467 0 2467 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 11744

[startup+134.301 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28681572/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11876 CPUtime=134.3
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2903 0 0 0 2455 10975 0 0 25 0 1 0 21777834 12161024 2617 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2969 2617 238 467 0 2500 0
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (KiB) 11876

[startup+135.901 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28680704/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11876 CPUtime=135.89
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2912 0 0 0 2480 11109 0 0 25 0 1 0 21777834 12161024 2620 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2969 2620 238 467 0 2500 0
Current children cumulated CPU time (s) 135.89
Current children cumulated vsize (KiB) 11876

[startup+136.701 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28680324/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11876 CPUtime=136.69
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2927 0 0 0 2494 11175 0 0 25 0 1 0 21777834 12161024 2630 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2969 2630 238 467 0 2500 0
Current children cumulated CPU time (s) 136.69
Current children cumulated vsize (KiB) 11876

[startup+137.505 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=11876 CPUtime=137.49
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2940 0 0 0 2508 11241 0 0 25 0 1 0 21777834 12161024 2634 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 2969 2634 238 467 0 2500 0
Current children cumulated CPU time (s) 137.49
Current children cumulated vsize (KiB) 11876

[startup+137.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=12004 CPUtime=137.89
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2962 0 0 0 2517 11272 0 0 25 0 1 0 21777834 12292096 2644 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 3001 2644 238 467 0 2532 0
Current children cumulated CPU time (s) 137.89
Current children cumulated vsize (KiB) 12004

[startup+138 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18740
/proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=12004 CPUtime=138
/proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2968 0 0 0 2520 11280 0 0 25 0 1 0 21777834 12292096 2649 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18736/statm: 3001 2649 238 467 0 2532 0
Current children cumulated CPU time (s) 138
Current children cumulated vsize (KiB) 12004

Child status: 0
Real time (s): 138.073
CPU time (s): 138.075
CPU user time (s): 25.2272
CPU system time (s): 112.848
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 12004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2272
system time used= 112.848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2980
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= 1
involuntary context switches= 310

runsolver used 0.204968 second user time and 0.436933 second system time

The end

Launcher Data 

Begin job on node130 at 2010-07-07 22:47:27
IDJOB=2700447
IDBENCH=79428
IDSOLVER=1212
FILE ID=node130/2700447-1278535647
PBS_JOBID= 11239217
Free space on /tmp= 73396 MiB

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

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

MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3
RANDOM SEED=900833380

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28787608 kB
Buffers:        137200 kB
Cached:        2621328 kB
SwapCached:          0 kB
Active:        2471388 kB
Inactive:      1539580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28787608 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1924 kB
Writeback:           0 kB
AnonPages:     1252484 kB
Mapped:          15316 kB
Slab:            86332 kB
PageTables:       6852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1396072 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= 73396 MiB
End job on node130 at 2010-07-07 22:49:45