Trace number 2700144

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 59.7879 59.9129

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
MD5SUM7b7f899ec609c9207642e3bd82d991a6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark0.287955
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 100/0 clauses 0/800 units 0
0.00/0.01	c vars 200
0.02/0.06	c 0.033994 9.73828 1 1843
0.02/0.06	o 30524
0.02/0.06	c 0.033994 9.89453 1 2047
0.02/0.06	o 30407
0.02/0.06	c 0.035994 9.89453 5 2539
0.02/0.06	o 29921
0.02/0.07	c 0.035994 9.89453 5 3380
0.02/0.07	o 16060
0.02/0.07	c 0.036994 9.89453 7 4226
0.02/0.07	o 15058
0.02/0.08	c 0.036994 9.89453 10 4803
0.02/0.08	o 14545
0.02/0.08	c 0.037994 9.89453 13 5199
0.02/0.08	o 14217
0.05/0.10	c 0.040993 9.89453 52 5589
0.05/0.10	o 14059
0.58/0.79	c 0.175973 10.1445 541 17236
0.58/0.79	o 13936
0.77/0.90	c 0.199969 10.1445 648 18652
0.77/0.90	o 13726
0.88/1.07	c 0.239963 10.1445 427 21413
0.88/1.07	o 13665
0.88/1.10	c 0.251961 10.1445 359 22274
0.88/1.10	o 13631
0.99/1.13	c 0.25996 10.1445 517 23120
0.99/1.13	o 13250
1.38/1.54	c 0.374943 10.1445 520 29239
1.38/1.54	o 13226
1.38/1.56	c 0.378942 10.1445 311 29999
1.38/1.56	o 12983
1.38/1.56	c 0.378942 10.1445 311 30783
1.38/1.56	o 12090
1.38/1.56	c 0.378942 10.1445 313 31497
1.38/1.56	o 11481
1.38/1.57	c 0.384941 10.1445 377 31986
1.38/1.57	o 11203
1.99/2.17	c 0.539917 10.2695 582 39431
1.99/2.17	o 11114
2.18/2.30	c 0.570913 10.2695 683 41807
2.18/2.30	o 11078
2.28/2.41	c 0.594909 10.2695 314 43963
2.28/2.41	o 11052
2.28/2.44	c 0.604908 10.2695 401 44253
2.28/2.44	o 11024
2.28/2.48	c 0.611906 10.2695 640 45026
2.28/2.48	o 10905
2.38/2.52	c 0.617906 10.2695 534 45851
2.38/2.52	o 10813
2.58/2.70	c 0.665898 10.2695 552 48092
2.58/2.70	o 10798
2.58/2.73	c 0.676897 10.2695 389 48659
2.58/2.73	o 10770
2.88/3.08	c 0.758884 10.2695 812 53586
2.88/3.08	o 10687
3.17/3.34	c 0.85487 10.2695 654 57843
3.17/3.34	o 10637
3.27/3.44	c 0.879866 10.2695 489 59196
3.27/3.44	o 10625
3.37/3.56	c 0.92086 10.2695 478 61436
3.37/3.56	o 10427
4.47/4.64	c 1.22581 10.3945 747 74208
4.47/4.64	o 10398
4.77/4.96	c 1.3258 10.3945 669 78850
4.77/4.96	o 10375
4.96/5.13	c 1.36679 10.3945 446 80899
4.96/5.13	o 10291
5.37/5.56	c 1.48777 10.3945 847 86964
5.37/5.56	o 10259
5.57/5.72	c 1.53177 10.3945 780 89029
5.57/5.72	o 10203
5.57/5.75	c 1.54076 10.3945 542 89746
5.57/5.75	o 10096
6.17/6.30	c 1.70574 10.3945 460 96986
6.17/6.30	o 10071
6.87/7.01	c 1.92171 10.3945 564 106043
6.87/7.01	o 10011
6.97/7.19	c 1.9817 10.3945 445 109084
6.97/7.19	o 9987
7.07/7.24	c 1.9957 10.3945 370 109975
7.07/7.24	o 9801
7.47/7.61	c 2.08568 10.3945 737 115156
7.47/7.61	o 9601
7.87/8.08	c 2.23166 10.3945 775 121532
7.87/8.08	o 9433
7.97/8.10	c 2.23566 10.3945 510 122149
7.97/8.10	o 9275
8.47/8.61	c 2.42763 10.3945 592 128643
8.47/8.61	o 9264
10.16/10.34	c 2.91056 10.3945 702 146277
10.16/10.34	o 9175
10.27/10.48	c 2.94455 10.3945 521 148911
10.27/10.48	o 9141
10.66/10.85	c 3.03654 10.3945 640 152706
10.66/10.85	o 9105
11.87/12.01	c 3.33149 10.3945 652 164282
11.87/12.01	o 9094
11.87/12.04	c 3.34049 10.3945 546 165129
11.87/12.04	o 9050
12.77/12.94	c 3.59645 10.3945 442 175230
12.77/12.94	o 9040
13.37/13.51	c 3.74943 10.5195 583 180719
13.37/13.51	o 9024
13.47/13.61	c 3.77942 10.5195 654 182095
13.47/13.61	o 9003
13.47/13.64	c 3.78642 10.5195 424 182397
13.47/13.64	o 8993
13.57/13.71	c 3.81242 10.5195 814 183501
13.57/13.71	o 8992
13.66/13.80	c 3.84042 10.5195 566 185052
13.66/13.80	o 8946
13.66/13.88	c 3.86041 10.5195 559 186049
13.66/13.88	o 8935
13.77/13.90	c 3.86141 10.5195 338 186642
13.77/13.90	o 8702
14.08/14.27	c 3.9684 10.5195 710 191446
14.08/14.27	o 8632
15.06/15.20	c 4.22836 10.5195 587 202290
15.06/15.20	o 8593
15.37/15.55	c 4.33734 10.5195 495 207263
15.37/15.55	o 8278
15.57/15.75	c 4.39333 10.5195 525 209445
15.57/15.75	o 8065
15.67/15.80	c 4.40733 10.5195 747 210112
15.67/15.80	o 8019
16.46/16.66	c 4.66729 10.5195 441 220846
16.46/16.66	o 7968
16.46/16.67	c 4.67329 10.5195 504 221081
16.46/16.67	o 7933
17.77/17.95	c 5.04023 10.5195 796 235290
17.77/17.95	o 7892
17.77/17.96	c 5.04323 10.5195 440 235556
17.77/17.96	o 7869
18.47/18.64	c 5.20621 10.5195 926 242837
18.47/18.64	o 7839
18.76/18.99	c 5.31019 10.5195 761 246404
18.76/18.99	o 7790
18.87/19.08	c 5.33719 10.5195 746 247588
18.87/19.08	o 7767
19.67/19.86	c 5.54216 10.5195 707 255764
19.67/19.86	o 7703
20.06/20.25	c 5.65314 10.5195 824 259957
20.06/20.25	o 7636
20.06/20.27	c 5.65514 10.5195 480 260324
20.06/20.27	o 7491
20.17/20.30	c 5.66414 10.5195 620 260831
20.17/20.30	o 7433
20.77/20.93	c 5.88711 10.5195 468 266949
20.77/20.93	o 7340
21.17/21.36	c 6.02708 10.5195 608 272492
21.17/21.36	o 7242
21.26/21.49	c 6.07208 10.5195 798 273750
21.26/21.49	o 7206
21.37/21.57	c 6.10207 10.5195 712 274607
21.37/21.57	o 7182
21.67/21.90	c 6.17906 10.6445 551 277064
21.67/21.90	o 7103
22.57/22.71	c 6.40003 10.6445 576 285938
22.57/22.71	o 7065
22.77/22.97	c 6.48701 10.6445 617 289082
22.77/22.97	o 6953
22.97/23.11	c 6.53101 10.6445 531 290839
22.97/23.11	o 6826
23.17/23.30	c 6.583 10.6445 576 292974
23.17/23.30	o 6696
24.27/24.41	c 6.93195 10.6445 775 303691
24.27/24.41	o 6677
24.37/24.55	c 6.98094 10.6445 489 305071
24.37/24.55	o 6643
24.67/24.83	c 7.05093 10.6445 941 308207
24.67/24.83	o 6617
24.97/25.14	c 7.13991 10.6445 716 312046
24.97/25.14	o 6601
25.47/25.62	c 7.27789 10.6445 788 317371
25.47/25.62	o 6490
26.17/26.34	c 7.46486 10.6445 746 324302
26.17/26.34	o 6466
26.96/27.18	c 7.68683 10.6445 454 332472
26.96/27.18	o 6384
27.46/27.66	c 7.80281 10.6445 684 337203
27.46/27.66	o 6354
27.96/28.13	c 7.9158 10.6445 739 341195
27.96/28.13	o 6336
28.07/28.26	c 7.94979 10.6445 451 342690
28.07/28.26	o 6270
28.97/29.15	c 8.17376 10.6445 626 350574
28.97/29.15	o 6225
29.27/29.45	c 8.24775 10.6445 643 353449
29.27/29.45	o 6204
29.36/29.52	c 8.26474 10.6445 540 354383
29.36/29.52	o 6017
29.47/29.63	c 8.28874 10.6445 569 355489
29.47/29.63	o 6014
29.96/30.11	c 8.40572 10.6445 942 360183
29.96/30.11	o 6013
30.37/30.51	c 8.5307 10.6445 553 364365
30.37/30.51	o 5921
31.27/31.46	c 8.82166 10.6445 878 371964
31.27/31.46	o 5881
31.86/32.02	c 8.99763 10.6445 427 377984
31.86/32.02	o 5824
32.06/32.29	c 9.08562 10.6445 741 380818
32.06/32.29	o 5733
32.37/32.51	c 9.14361 10.6445 641 383566
32.37/32.51	o 5627
32.56/32.70	c 9.1996 10.6445 870 384665
32.56/32.70	o 5611
32.66/32.81	c 9.24259 10.6445 827 385672
32.66/32.81	o 5552
32.77/32.98	c 9.28959 10.6445 675 387281
32.77/32.98	o 5504
33.67/33.86	c 9.57354 10.6445 531 395848
33.67/33.86	o 5501
33.87/34.08	c 9.64053 10.6445 700 398240
33.87/34.08	o 5490
34.47/34.63	c 9.8365 10.7656 859 402209
34.47/34.63	o 5476
38.17/38.35	c 11.0713 10.7656 687 431250
38.17/38.35	o 5425
38.27/38.43	c 11.1103 10.7656 642 432227
38.27/38.43	o 5379
38.96/39.16	c 11.3133 10.7656 805 438358
38.96/39.16	o 5276
39.37/39.58	c 11.4173 10.7656 908 442770
39.37/39.58	o 5198
40.17/40.31	c 11.5992 10.7656 766 448979
40.17/40.31	o 5183
40.27/40.47	c 11.6392 10.7656 659 450872
40.27/40.47	o 5179
40.37/40.56	c 11.6672 10.7656 561 451579
40.37/40.56	o 5162
40.37/40.59	c 11.6752 10.7656 678 452003
40.37/40.59	o 5132
40.47/40.69	c 11.7092 10.7656 682 453051
40.47/40.69	o 5056
40.57/40.79	c 11.7402 10.7656 609 453831
40.57/40.79	o 4947
40.67/40.85	c 11.7582 10.7656 796 454383
40.67/40.85	o 4914
41.87/42.07	c 12.0822 10.7656 798 465607
41.87/42.07	o 4840
41.97/42.10	c 12.0872 10.7656 521 466042
41.97/42.10	o 4806
42.46/42.69	c 12.2291 10.7656 862 470604
42.46/42.69	o 4800
42.77/42.98	c 12.3011 10.7656 622 473242
42.77/42.98	o 4771
43.77/43.92	c 12.5201 10.7656 491 481803
43.77/43.92	o 4740
44.07/44.20	c 12.5881 10.7656 620 483881
44.07/44.20	o 4734
44.27/44.48	c 12.6531 10.7656 604 485816
44.27/44.48	o 4712
44.37/44.57	c 12.6781 10.7656 472 486577
44.37/44.57	o 4700
45.47/45.65	c 12.95 10.7656 456 496512
45.47/45.65	o 4672
45.87/46.01	c 13.037 10.7656 622 499716
45.87/46.01	o 4608
47.17/47.32	c 13.449 10.7656 505 510362
47.17/47.32	o 4606
47.46/47.63	c 13.5359 10.7656 787 512965
47.46/47.63	o 4605
47.67/47.88	c 13.6169 10.7656 819 514785
47.67/47.88	o 4567
48.07/48.21	c 13.7289 10.7656 680 517754
48.07/48.21	o 4524
48.07/48.27	c 13.7439 10.7656 466 518461
48.07/48.27	o 4239
48.28/48.48	c 13.8039 10.7656 865 520331
48.28/48.48	o 4238
48.57/48.75	c 13.8679 10.7656 509 522646
48.57/48.75	o 4104
48.66/48.85	c 13.8969 10.7656 817 523419
48.66/48.85	o 4051
48.86/49.03	c 13.9479 10.7656 601 524836
48.86/49.03	o 4026
48.86/49.05	c 13.9569 10.8906 692 525135
48.86/49.05	o 3985
48.96/49.13	c 13.9829 10.8906 582 525950
48.96/49.13	o 3978
49.06/49.21	c 14.0159 10.8906 455 526725
49.06/49.21	o 3875
50.06/50.27	c 14.3608 10.8906 612 534325
50.06/50.27	o 3873
50.37/50.52	c 14.4318 10.8906 570 536199
50.37/50.52	o 3813
50.57/50.70	c 14.4868 10.8906 734 537407
50.57/50.70	o 3776
50.87/51.07	c 14.6088 10.8906 695 540059
50.87/51.07	o 3759
51.76/51.96	c 14.8827 10.8906 816 546500
51.76/51.96	o 3662
52.17/52.39	c 15.0027 10.8906 550 549508
52.17/52.39	o 3569
52.36/52.52	c 15.0347 10.8906 561 550394
52.36/52.52	o 3533
52.47/52.68	c 15.0877 10.8906 713 551632
52.47/52.68	o 3517
52.87/53.05	c 15.2117 10.8906 643 554526
52.87/53.05	o 3427
52.96/53.18	c 15.2517 10.8906 626 555543
52.96/53.18	o 3416
53.07/53.28	c 15.2737 10.8906 543 556340
53.07/53.28	o 3411
53.07/53.29	c 15.2797 10.8906 570 556566
53.07/53.29	o 3304
53.37/53.58	c 15.3647 10.8906 808 559168
53.37/53.58	o 3287
53.47/53.68	c 15.3937 10.8906 701 559904
53.47/53.68	o 3220
53.56/53.72	c 15.4017 10.8906 420 560474
53.56/53.72	o 3081
53.86/54.04	c 15.5136 10.8906 681 563334
53.86/54.04	o 3072
54.16/54.33	c 15.6116 10.8906 739 565180
54.16/54.33	o 3031
54.97/55.12	c 15.8616 10.8906 717 570733
54.97/55.12	o 2945
54.97/55.18	c 15.8896 10.8906 480 571121
54.97/55.18	o 2911
55.36/55.54	c 16.0186 10.8906 735 573674
55.36/55.54	o 2885
55.67/55.89	c 16.1205 10.8906 540 576054
55.67/55.89	o 2787
55.77/55.91	c 16.1315 10.8906 617 576378
55.77/55.91	o 2710
55.77/55.96	c 16.1445 10.8906 769 576949
55.77/55.96	o 2606
55.77/55.99	c 16.1535 10.8906 497 577311
55.77/55.99	o 2567
55.97/56.12	c 16.1925 10.8906 484 578317
55.97/56.12	o 2487
55.97/56.15	c 16.2055 10.8906 554 578512
55.97/56.15	o 2459
56.07/56.22	c 16.2255 10.8906 813 579168
56.07/56.22	o 2450
56.27/56.45	c 16.2845 10.8906 680 580732
56.27/56.45	o 2448
56.46/56.67	c 16.3535 10.8906 558 582334
56.46/56.67	o 2384
56.56/56.72	c 16.3665 10.8906 702 582709
56.56/56.72	o 2348
56.67/56.85	c 16.4015 10.8906 672 583616
56.67/56.85	o 2317
56.77/56.97	c 16.4415 10.8906 601 584699
56.77/56.97	o 2208
56.87/57.05	c 16.4695 10.8906 453 585362
56.87/57.05	o 2206
56.97/57.14	c 16.5015 10.8906 719 585956
56.97/57.14	o 2156
57.07/57.26	c 16.5445 11.0156 736 586930
57.07/57.26	o 2100
57.16/57.31	c 16.5615 11.0156 444 587303
57.16/57.31	o 2099
57.37/57.57	c 16.6525 11.0156 777 589154
57.37/57.57	o 2085
57.57/57.79	c 16.7225 11.0156 613 590713
57.57/57.79	o 2000
57.77/57.93	c 16.7834 11.0156 558 591752
57.77/57.93	o 1986
57.87/58.03	c 16.8254 11.0156 493 592753
57.87/58.03	o 1923
57.97/58.17	c 16.8794 11.0156 491 593831
57.97/58.17	o 1864
58.07/58.26	c 16.9084 11.0156 758 594509
58.07/58.26	o 1862
58.18/58.34	c 16.9364 11.0156 603 595132
58.18/58.34	o 1834
58.18/58.36	c 16.9434 11.0156 670 595319
58.18/58.36	o 1820
58.27/58.46	c 16.9834 11.0156 516 596092
58.27/58.46	o 1749
58.27/58.46	c 16.9854 11.0156 523 596221
58.27/58.46	o 1731
58.27/58.47	c 16.9884 11.0156 539 596295
58.27/58.47	o 1719
58.27/58.49	c 16.9954 11.0156 596 596539
58.27/58.49	o 1651
58.37/58.55	c 17.0184 11.0156 785 597018
58.37/58.55	o 1643
58.37/58.59	c 17.0324 11.0156 472 597393
58.37/58.59	o 1610
58.47/58.61	c 17.0384 11.0156 542 597598
58.47/58.61	o 1593
58.47/58.61	c 17.0404 11.0156 560 597779
58.47/58.61	o 1484
58.47/58.62	c 17.0454 11.0156 584 597872
58.47/58.62	o 1466
58.47/58.64	c 17.0544 11.0156 661 598090
58.47/58.64	o 1462
58.57/58.78	c 17.1014 11.0156 634 599020
58.57/58.78	o 1439
58.57/58.78	c 17.1034 11.0156 644 599090
58.57/58.78	o 1430
58.66/58.80	c 17.1074 11.0156 709 599248
58.66/58.80	o 1403
58.66/58.84	c 17.1134 11.0156 436 599666
58.66/58.84	o 1349
58.77/58.92	c 17.1464 11.0156 719 600391
58.77/58.92	o 1295
58.86/59.02	c 17.1864 11.0156 604 601084
58.86/59.02	o 1256
58.86/59.06	c 17.2024 11.0156 761 601536
58.86/59.06	o 1194
58.86/59.07	c 17.2094 11.1406 854 601722
58.86/59.07	o 1160
58.97/59.12	c 17.2214 11.1406 555 602152
58.97/59.12	o 1100
58.97/59.12	c 17.2224 11.1406 564 602207
58.97/59.12	o 1085
59.07/59.20	c 17.2504 11.1406 837 602788
59.07/59.20	o 1080
59.07/59.21	c 17.2544 11.1406 446 602901
59.07/59.21	o 1058
59.07/59.22	c 17.2594 11.1406 493 603055
59.07/59.22	o 1049
59.07/59.28	c 17.2844 11.1406 679 603460
59.07/59.28	o 1044
59.17/59.34	c 17.3044 11.1406 843 603852
59.17/59.34	o 1039
59.17/59.38	c 17.3284 11.1406 558 604160
59.17/59.38	o 1029
59.28/59.46	c 17.3584 11.1406 449 604769
59.28/59.46	o 980
59.37/59.50	c 17.3734 11.1406 580 605098
59.37/59.50	o 930
59.37/59.54	c 17.3844 11.1406 700 605442
59.37/59.54	o 869
59.37/59.57	c 17.3924 11.1406 796 605704
59.37/59.57	o 866
59.37/59.57	c 17.3934 11.1406 799 605769
59.37/59.57	o 818
59.37/59.57	c 17.3954 11.1406 810 605871
59.37/59.57	o 742
59.37/59.58	c 17.3964 11.1406 817 605922
59.37/59.58	o 709
59.37/59.58	c 17.3984 11.1406 851 605977
59.37/59.58	o 694
59.47/59.64	c 17.4234 11.1406 977 606273
59.47/59.64	o 685
59.47/59.68	c 17.4363 11.1406 581 606709
59.47/59.68	o 632
59.57/59.73	c 17.4643 11.1406 794 607138
59.57/59.73	o 617
59.57/59.75	c 17.4743 11.1406 867 607274
59.57/59.75	o 561
59.57/59.75	c 17.4773 11.1406 881 607337
59.57/59.75	o 560
59.57/59.79	c 17.4893 11.1406 854 607731
59.57/59.79	o 467
59.67/59.80	c 17.4953 11.1406 903 607845
59.67/59.80	o 449
59.67/59.81	c 17.4973 11.1406 926 607939
59.67/59.81	o 417
59.67/59.83	c 17.5083 11.1406 1065 608226
59.67/59.83	o 391
59.67/59.84	c 17.5133 11.1406 937 608368
59.67/59.84	o 330
59.67/59.85	c 17.5203 11.1406 1003 608498
59.67/59.85	o 278
59.67/59.87	c 17.5273 11.1406 1102 608651
59.67/59.87	o 256
59.67/59.87	c 17.5323 11.1406 1050 608733
59.67/59.87	o 250
59.67/59.88	c 17.5353 11.1406 1095 608821
59.67/59.88	o 200
59.67/59.88	c 17.5363 11.1406 1108 608856
59.67/59.88	o 189
59.67/59.88	c 17.5383 11.1406 1122 608886
59.67/59.88	o 181
59.67/59.89	c 17.5403 11.1406 1142 608923
59.67/59.89	o 176
59.67/59.89	c 17.5403 11.1406 1148 608975
59.67/59.89	o 124
59.67/59.89	c 17.5423 11.1406 1161 609006
59.67/59.89	o 110
59.67/59.89	c 17.5423 11.1406 1169 609039
59.67/59.89	o 100
59.67/59.89	c 17.5433 11.1406 653 609062
59.67/59.89	o 86
59.76/59.90	c 17.5463 11.1406 683 609120
59.76/59.90	o 75
59.76/59.90	c 17.5463 11.1406 692 609129
59.76/59.90	s OPTIMUM FOUND
59.76/59.90	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	75

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700144-1278534169/watcher-2700144-1278534169 -o /tmp/evaluation-result-2700144-1278534169/solver-2700144-1278534169 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700144-1278534169.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: 4.70 3.18 1.40 3/186 17857
/proc/meminfo: memFree=29549024/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=2136 CPUtime=0
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 21631930 2187264 174 4089446400 134512640 136421960 4294428128 18446744073709551615 135378032 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17857/statm: 534 174 144 467 0 65 0

[startup+0.044655 s]
/proc/loadavg: 4.70 3.18 1.40 3/186 17857
/proc/meminfo: memFree=29549024/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=7792 CPUtime=0.02
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 1640 0 0 0 2 0 0 0 25 0 1 0 21631930 7979008 1560 4089446400 134512640 136421960 4294428128 18446744073709551615 135810864 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17857/statm: 1948 1560 193 467 0 1479 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7792

[startup+0.100644 s]
/proc/loadavg: 4.70 3.18 1.40 3/186 17857
/proc/meminfo: memFree=29549024/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10128 CPUtime=0.05
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2276 0 0 0 4 1 0 0 25 0 1 0 21631930 10371072 2189 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17857/statm: 2532 2189 237 467 0 2063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10128

[startup+0.30141 s]
/proc/loadavg: 4.70 3.18 1.40 3/186 17857
/proc/meminfo: memFree=29549024/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10256 CPUtime=0.2
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2307 0 0 0 6 14 0 0 25 0 1 0 21631930 10502144 2219 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17857/statm: 2564 2219 238 467 0 2095 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10256

[startup+0.700528 s]
/proc/loadavg: 4.70 3.18 1.40 3/186 17857
/proc/meminfo: memFree=29549024/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10384 CPUtime=0.58
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2336 0 0 0 15 43 0 0 25 0 1 0 21631930 10633216 2248 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17857/statm: 2596 2248 238 467 0 2127 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10384

[startup+1.50059 s]
/proc/loadavg: 4.70 3.18 1.40 6/187 17858
/proc/meminfo: memFree=29540212/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10384 CPUtime=1.38
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2352 0 0 0 36 102 0 0 25 0 1 0 21631930 10633216 2259 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17857/statm: 2596 2259 238 467 0 2127 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10384

[startup+3.10008 s]
/proc/loadavg: 4.70 3.18 1.40 4/187 17858
/proc/meminfo: memFree=29539716/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10512 CPUtime=2.98
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2380 0 0 0 76 222 0 0 25 0 1 0 21631930 10764288 2273 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17857/statm: 2628 2273 238 467 0 2159 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10512

[startup+6.30047 s]
/proc/loadavg: 4.57 3.18 1.41 6/187 17858
/proc/meminfo: memFree=29540324/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10640 CPUtime=6.17
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2416 0 0 0 170 447 0 0 25 0 1 0 21631930 10895360 2300 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2660 2300 238 467 0 2191 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 10640

[startup+12.7003 s]
/proc/loadavg: 4.44 3.18 1.42 7/187 17858
/proc/meminfo: memFree=29540632/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10640 CPUtime=12.56
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2451 0 0 0 352 904 0 0 25 0 1 0 21631930 10895360 2322 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2660 2322 238 467 0 2191 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 10640

[startup+25.5013 s]
/proc/loadavg: 4.28 3.20 1.45 3/187 17858
/proc/meminfo: memFree=29539980/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=10896 CPUtime=25.37
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2531 0 0 0 724 1813 0 0 25 0 1 0 21631930 11157504 2365 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2724 2365 238 467 0 2255 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 10896

[startup+51.1013 s]
/proc/loadavg: 4.00 3.22 1.50 4/187 17858
/proc/meminfo: memFree=29526044/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11148 CPUtime=50.96
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2657 0 0 0 1461 3635 0 0 25 0 1 0 21631930 11415552 2432 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2787 2432 238 467 0 2318 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 11148

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

[startup+54.3004 s]
/proc/loadavg: 4.00 3.22 1.50 7/187 17859
/proc/meminfo: memFree=29523564/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11148 CPUtime=54.16
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2681 0 0 0 1559 3857 0 0 25 0 1 0 21631930 11415552 2444 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2787 2444 238 467 0 2318 0
Current children cumulated CPU time (s) 54.16
Current children cumulated vsize (KiB) 11148

[startup+57.5008 s]
/proc/loadavg: 3.84 3.20 1.51 3/187 17859
/proc/meminfo: memFree=29520828/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11276 CPUtime=57.37
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2719 0 0 0 1662 4075 0 0 25 0 1 0 21631930 11546624 2462 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2819 2462 238 467 0 2350 0
Current children cumulated CPU time (s) 57.37
Current children cumulated vsize (KiB) 11276

[startup+59.1005 s]
/proc/loadavg: 3.84 3.20 1.51 3/187 17859
/proc/meminfo: memFree=29520084/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11404 CPUtime=58.97
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2774 0 0 0 1721 4176 0 0 25 0 1 0 21631930 11677696 2491 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2851 2491 238 467 0 2382 0
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (KiB) 11404

[startup+59.5009 s]
/proc/loadavg: 3.84 3.20 1.51 5/187 17859
/proc/meminfo: memFree=29519832/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11404 CPUtime=59.37
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2792 0 0 0 1737 4200 0 0 25 0 1 0 21631930 11677696 2500 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2851 2500 238 467 0 2382 0
Current children cumulated CPU time (s) 59.37
Current children cumulated vsize (KiB) 11404

[startup+59.9003 s]
/proc/loadavg: 3.84 3.20 1.51 5/187 17859
/proc/meminfo: memFree=29519832/32951124 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=11404 CPUtime=59.76
/proc/17857/stat : 17857 (pbct) R 17855 17857 17434 0 -1 4202496 2833 0 0 0 1754 4222 0 0 25 0 1 0 21631930 11677696 2513 4089446400 134512640 136421960 4294428128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17857/statm: 2851 2513 238 467 0 2382 0
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 59.9129
CPU time (s): 59.7879
CPU user time (s): 17.5563
CPU system time (s): 42.2316
CPU usage (%): 99.7914
Max. virtual memory (cumulated for all children) (KiB): 11404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5563
system time used= 42.2316
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2839
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= 2297

runsolver used 0.094985 second user time and 0.19497 second system time

The end

Launcher Data 

Begin job on node102 at 2010-07-07 22:22:49
IDJOB=2700144
IDBENCH=79403
IDSOLVER=1208
FILE ID=node102/2700144-1278534169
PBS_JOBID= 11239273
Free space on /tmp= 72980 MiB

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

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

MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=1917443559

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29549552 kB
Buffers:        133024 kB
Cached:        2985124 kB
SwapCached:          0 kB
Active:        1143396 kB
Inactive:      2066312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29549552 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:       91804 kB
Mapped:          18908 kB
Slab:           127596 kB
PageTables:       5096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   304192 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= 72976 MiB
End job on node102 at 2010-07-07 22:23:49