Trace number 2700147

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 60.1459 60.1447

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.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/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.035994 9.73828 1 1843
0.00/0.03	o 30524
0.00/0.03	c 0.036994 9.89453 1 2047
0.00/0.03	o 30407
0.00/0.04	c 0.036994 9.89453 5 2539
0.00/0.04	o 29921
0.00/0.04	c 0.036994 9.89453 5 3380
0.00/0.04	o 16060
0.00/0.04	c 0.036994 9.89453 7 4226
0.00/0.04	o 15058
0.00/0.04	c 0.037994 9.89453 10 4803
0.00/0.04	o 14545
0.00/0.04	c 0.037994 9.89453 13 5199
0.00/0.04	o 14217
0.00/0.05	c 0.038994 9.89453 52 5589
0.00/0.05	o 14059
0.59/0.68	c 0.149977 10.1445 541 17236
0.59/0.68	o 13936
0.69/0.79	c 0.172973 10.1445 648 18652
0.69/0.79	o 13726
0.89/0.96	c 0.216967 10.1445 427 21413
0.89/0.96	o 13665
0.89/1.00	c 0.224965 10.1445 359 22274
0.89/1.00	o 13631
0.99/1.03	c 0.230964 10.1445 517 23120
0.99/1.03	o 13250
1.39/1.44	c 0.355945 10.1445 520 29239
1.39/1.44	o 13226
1.39/1.45	c 0.358945 10.1445 311 29999
1.39/1.45	o 12983
1.39/1.45	c 0.359945 10.1445 311 30783
1.39/1.45	o 12090
1.39/1.46	c 0.359945 10.1445 313 31497
1.39/1.46	o 11481
1.39/1.47	c 0.364944 10.1445 377 31986
1.39/1.47	o 11203
1.99/2.07	c 0.527919 10.2695 582 39431
1.99/2.07	o 11114
2.09/2.20	c 0.558915 10.2695 683 41807
2.09/2.20	o 11078
2.29/2.31	c 0.581911 10.2695 314 43963
2.29/2.31	o 11052
2.29/2.34	c 0.58591 10.2695 401 44253
2.29/2.34	o 11024
2.29/2.38	c 0.593909 10.2695 640 45026
2.29/2.38	o 10905
2.39/2.42	c 0.603908 10.2695 534 45851
2.39/2.42	o 10813
2.59/2.60	c 0.631903 10.2695 552 48092
2.59/2.60	o 10798
2.59/2.63	c 0.637903 10.2695 389 48659
2.59/2.63	o 10770
2.89/2.98	c 0.698893 10.2695 812 53586
2.89/2.98	o 10687
3.20/3.23	c 0.735888 10.2695 654 57843
3.20/3.23	o 10637
3.30/3.33	c 0.748886 10.2695 489 59196
3.30/3.33	o 10625
3.39/3.45	c 0.778881 10.2695 478 61436
3.39/3.45	o 10427
4.49/4.54	c 0.993848 10.3945 747 74208
4.49/4.54	o 10398
4.79/4.86	c 1.03784 10.3945 669 78850
4.79/4.86	o 10375
4.99/5.03	c 1.05884 10.3945 446 80899
4.99/5.03	o 10291
5.40/5.46	c 1.13283 10.3945 847 86964
5.40/5.46	o 10259
5.59/5.63	c 1.15882 10.3945 780 89029
5.59/5.63	o 10203
5.59/5.66	c 1.16282 10.3945 542 89746
5.59/5.66	o 10096
6.19/6.22	c 1.25681 10.3945 460 96986
6.19/6.22	o 10071
6.89/6.93	c 1.36579 10.3945 564 106043
6.89/6.93	o 10011
7.09/7.11	c 1.38679 10.3945 445 109084
7.09/7.11	o 9987
7.09/7.15	c 1.39479 10.3945 370 109975
7.09/7.15	o 9801
7.49/7.52	c 1.47477 10.3945 737 115156
7.49/7.52	o 9601
7.99/8.00	c 1.59676 10.3945 775 121532
7.99/8.00	o 9433
7.99/8.02	c 1.59776 10.3945 510 122149
7.99/8.02	o 9275
8.49/8.53	c 1.72674 10.3945 592 128643
8.49/8.53	o 9264
10.19/10.28	c 2.03069 10.3945 702 146277
10.19/10.28	o 9175
10.39/10.42	c 2.05969 10.3945 521 148911
10.39/10.42	o 9141
10.69/10.79	c 2.13167 10.3945 640 152706
10.69/10.79	o 9105
11.89/11.96	c 2.30765 10.3945 652 164282
11.89/11.96	o 9094
11.89/11.99	c 2.31465 10.3945 546 165129
11.89/11.99	o 9050
12.79/12.89	c 2.46663 10.3945 442 175230
12.79/12.89	o 9040
13.39/13.47	c 2.56361 10.5195 583 180719
13.39/13.47	o 9024
13.49/13.57	c 2.57661 10.5195 654 182095
13.49/13.57	o 9003
13.59/13.60	c 2.58361 10.5195 424 182397
13.59/13.60	o 8993
13.59/13.67	c 2.5986 10.5195 814 183501
13.59/13.67	o 8992
13.69/13.76	c 2.6156 10.5195 566 185052
13.69/13.76	o 8946
13.80/13.84	c 2.6286 10.5195 559 186049
13.80/13.84	o 8935
13.80/13.86	c 2.6316 10.5195 338 186642
13.80/13.86	o 8702
14.19/14.23	c 2.74958 10.5195 710 191446
14.19/14.23	o 8632
15.09/15.17	c 3.00154 10.5195 587 202290
15.09/15.17	o 8593
15.49/15.52	c 3.05953 10.5195 495 207263
15.49/15.52	o 8278
15.69/15.73	c 3.09153 10.5195 525 209445
15.69/15.73	o 8065
15.69/15.77	c 3.09953 10.5195 747 210112
15.69/15.77	o 8019
16.59/16.64	c 3.24751 10.5195 441 220846
16.59/16.64	o 7968
16.59/16.65	c 3.24751 10.5195 504 221081
16.59/16.65	o 7933
17.89/17.94	c 3.44448 10.5195 796 235290
17.89/17.94	o 7892
17.89/17.95	c 3.44747 10.5195 440 235556
17.89/17.95	o 7869
18.59/18.63	c 3.55146 10.5195 926 242837
18.59/18.63	o 7839
18.89/18.99	c 3.61045 10.5195 761 246404
18.89/18.99	o 7790
18.99/19.07	c 3.62645 10.5195 746 247588
18.99/19.07	o 7767
19.80/19.86	c 3.75443 10.5195 707 255764
19.80/19.86	o 7703
20.19/20.25	c 3.82442 10.5195 824 259957
20.19/20.25	o 7636
20.19/20.27	c 3.82642 10.5195 480 260324
20.19/20.27	o 7491
20.29/20.31	c 3.83742 10.5195 620 260831
20.29/20.31	o 7433
20.89/20.94	c 3.99639 10.5195 468 266949
20.89/20.94	o 7340
21.29/21.37	c 4.09238 10.5195 608 272492
21.29/21.37	o 7242
21.49/21.50	c 4.12837 10.5195 798 273750
21.49/21.50	o 7206
21.49/21.59	c 4.15337 10.5195 712 274607
21.49/21.59	o 7182
21.89/21.91	c 4.23136 10.6445 551 277064
21.89/21.91	o 7103
22.69/22.73	c 4.34834 10.6445 576 285938
22.69/22.73	o 7065
22.90/22.99	c 4.38533 10.6445 617 289082
22.90/22.99	o 6953
23.10/23.14	c 4.40933 10.6445 531 290839
23.10/23.14	o 6826
23.29/23.33	c 4.43832 10.6445 576 292974
23.29/23.33	o 6696
24.39/24.44	c 4.6063 10.6445 775 303691
24.39/24.44	o 6677
24.49/24.58	c 4.6263 10.6445 489 305071
24.49/24.58	o 6643
24.79/24.86	c 4.66329 10.6445 941 308207
24.79/24.86	o 6617
25.09/25.17	c 4.72228 10.6445 716 312046
25.09/25.17	o 6601
25.59/25.66	c 4.80727 10.6445 788 317371
25.59/25.66	o 6490
26.30/26.38	c 4.92625 10.6445 746 324302
26.30/26.38	o 6466
27.20/27.23	c 5.10222 10.6445 454 332472
27.20/27.23	o 6384
27.69/27.70	c 5.21421 10.6445 684 337203
27.69/27.70	o 6354
28.10/28.18	c 5.34219 10.6445 739 341195
28.10/28.18	o 6336
28.29/28.32	c 5.36518 10.6445 451 342690
28.29/28.32	o 6270
29.19/29.21	c 5.49316 10.6445 626 350574
29.19/29.21	o 6225
29.49/29.50	c 5.53416 10.6445 643 353449
29.49/29.50	o 6204
29.49/29.58	c 5.54216 10.6445 540 354383
29.49/29.58	o 6017
29.60/29.69	c 5.55616 10.6445 569 355489
29.60/29.69	o 6014
30.10/30.18	c 5.63314 10.6445 942 360183
30.10/30.18	o 6013
30.49/30.58	c 5.69513 10.6445 553 364365
30.49/30.58	o 5921
31.50/31.53	c 5.84611 10.6445 878 371964
31.50/31.53	o 5881
31.99/32.09	c 5.9371 10.6445 427 377984
31.99/32.09	o 5824
32.30/32.36	c 5.98109 10.6445 741 380818
32.30/32.36	o 5733
32.49/32.59	c 6.02308 10.6445 641 383566
32.49/32.59	o 5627
32.69/32.77	c 6.05008 10.6445 870 384665
32.69/32.77	o 5611
32.80/32.89	c 6.06608 10.6445 827 385672
32.80/32.89	o 5552
33.00/33.06	c 6.08907 10.6445 675 387281
33.00/33.06	o 5504
33.89/33.94	c 6.27604 10.6445 531 395848
33.89/33.94	o 5501
34.10/34.16	c 6.33804 10.6445 700 398240
34.10/34.16	o 5490
34.69/34.72	c 6.48201 10.7656 859 402209
34.69/34.72	o 5476
38.40/38.46	c 7.08292 10.7656 687 431250
38.40/38.46	o 5425
38.50/38.54	c 7.09792 10.7656 642 432227
38.50/38.54	o 5379
39.19/39.27	c 7.2029 10.7656 805 438358
39.19/39.27	o 5276
39.69/39.70	c 7.2679 10.7656 908 442770
39.69/39.70	o 5198
40.39/40.43	c 7.41987 10.7656 766 448979
40.39/40.43	o 5183
40.49/40.60	c 7.47786 10.7656 659 450872
40.49/40.60	o 5179
40.59/40.69	c 7.50486 10.7656 561 451579
40.59/40.69	o 5162
40.69/40.71	c 7.51386 10.7656 678 452003
40.69/40.71	o 5132
40.79/40.81	c 7.54085 10.7656 682 453051
40.79/40.81	o 5056
40.89/40.91	c 7.56885 10.7656 609 453831
40.89/40.91	o 4947
40.89/40.98	c 7.58685 10.7656 796 454383
40.89/40.98	o 4914
42.19/42.20	c 7.81681 10.7656 798 465607
42.19/42.20	o 4840
42.19/42.23	c 7.82381 10.7656 521 466042
42.19/42.23	o 4806
42.80/42.82	c 7.9168 10.7656 862 470604
42.80/42.82	o 4800
43.09/43.11	c 7.95579 10.7656 622 473242
43.09/43.11	o 4771
44.00/44.06	c 8.08277 10.7656 491 481803
44.00/44.06	o 4740
44.30/44.34	c 8.13276 10.7656 620 483881
44.30/44.34	o 4734
44.59/44.63	c 8.16976 10.7656 604 485816
44.59/44.63	o 4712
44.69/44.72	c 8.18375 10.7656 472 486577
44.69/44.72	o 4700
45.79/45.80	c 8.35873 10.7656 456 496512
45.79/45.80	o 4672
46.10/46.16	c 8.40172 10.7656 622 499716
46.10/46.16	o 4608
47.40/47.48	c 8.68468 10.7656 505 510362
47.40/47.48	o 4606
47.70/47.79	c 8.75467 10.7656 787 512965
47.70/47.79	o 4605
48.00/48.05	c 8.80666 10.7656 819 514785
48.00/48.05	o 4567
48.30/48.38	c 8.85865 10.7656 680 517754
48.30/48.38	o 4524
48.40/48.44	c 8.86665 10.7656 466 518461
48.40/48.44	o 4239
48.59/48.65	c 8.90465 10.7656 865 520331
48.59/48.65	o 4238
48.89/48.92	c 8.93764 10.7656 509 522646
48.89/48.92	o 4104
48.99/49.02	c 8.94664 10.7656 817 523419
48.99/49.02	o 4051
49.20/49.20	c 8.98063 10.7656 601 524836
49.20/49.20	o 4026
49.20/49.23	c 8.98363 10.8906 692 525135
49.20/49.23	o 3985
49.29/49.30	c 8.99663 10.8906 582 525950
49.29/49.30	o 3978
49.29/49.38	c 9.00863 10.8906 455 526725
49.29/49.38	o 3875
50.40/50.45	c 9.1716 10.8906 612 534325
50.40/50.45	o 3873
50.69/50.70	c 9.1926 10.8906 570 536199
50.69/50.70	o 3813
50.79/50.88	c 9.2206 10.8906 734 537407
50.79/50.88	o 3776
51.19/51.26	c 9.26959 10.8906 695 540059
51.19/51.26	o 3759
52.09/52.15	c 9.41257 10.8906 816 546500
52.09/52.15	o 3662
52.50/52.58	c 9.47156 10.8906 550 549508
52.50/52.58	o 3569
52.69/52.71	c 9.48856 10.8906 561 550394
52.69/52.71	o 3533
52.80/52.88	c 9.50155 10.8906 713 551632
52.80/52.88	o 3517
53.19/53.25	c 9.55455 10.8906 643 554526
53.19/53.25	o 3427
53.29/53.37	c 9.58854 10.8906 626 555543
53.29/53.37	o 3416
53.40/53.47	c 9.61054 10.8906 543 556340
53.40/53.47	o 3411
53.40/53.49	c 9.61254 10.8906 570 556566
53.40/53.49	o 3304
53.69/53.78	c 9.68053 10.8906 808 559168
53.69/53.78	o 3287
53.80/53.88	c 9.70552 10.8906 701 559904
53.80/53.88	o 3220
53.90/53.92	c 9.71752 10.8906 420 560474
53.90/53.92	o 3081
54.20/54.24	c 9.81851 10.8906 681 563334
54.20/54.24	o 3072
54.50/54.54	c 9.8805 10.8906 739 565180
54.50/54.54	o 3031
55.29/55.33	c 10.0105 10.8906 717 570733
55.29/55.33	o 2945
55.29/55.39	c 10.0175 10.8906 480 571121
55.29/55.39	o 2911
55.70/55.75	c 10.0715 10.8906 735 573674
55.70/55.75	o 2885
55.99/56.10	c 10.1325 10.8906 540 576054
55.99/56.10	o 2787
56.10/56.12	c 10.1365 10.8906 617 576378
56.10/56.12	o 2710
56.10/56.17	c 10.1475 10.8906 769 576949
56.10/56.17	o 2606
56.20/56.21	c 10.1525 10.8906 497 577311
56.20/56.21	o 2567
56.29/56.33	c 10.1695 10.8906 484 578317
56.29/56.33	o 2487
56.29/56.36	c 10.1735 10.8906 554 578512
56.29/56.36	o 2459
56.39/56.43	c 10.1865 10.8906 813 579168
56.39/56.43	o 2450
56.59/56.67	c 10.2274 10.8906 680 580732
56.59/56.67	o 2448
56.79/56.89	c 10.2554 10.8906 558 582334
56.79/56.89	o 2384
56.89/56.94	c 10.2674 10.8906 702 582709
56.89/56.94	o 2348
56.99/57.07	c 10.2864 10.8906 672 583616
56.99/57.07	o 2317
57.09/57.18	c 10.2964 10.8906 601 584699
57.09/57.18	o 2208
57.19/57.27	c 10.3044 10.8906 453 585362
57.19/57.27	o 2206
57.29/57.35	c 10.3254 10.8906 719 585956
57.29/57.35	o 2156
57.39/57.48	c 10.3524 11.0156 736 586930
57.39/57.48	o 2100
57.49/57.53	c 10.3664 11.0156 444 587303
57.49/57.53	o 2099
57.70/57.79	c 10.4044 11.0156 777 589154
57.70/57.79	o 2085
57.99/58.01	c 10.4434 11.0156 613 590713
57.99/58.01	o 2000
58.09/58.15	c 10.4654 11.0156 558 591752
58.09/58.15	o 1986
58.19/58.26	c 10.4874 11.0156 493 592753
58.19/58.26	o 1923
58.39/58.40	c 10.5074 11.0156 491 593831
58.39/58.40	o 1864
58.39/58.48	c 10.5244 11.0156 758 594509
58.39/58.48	o 1862
58.49/58.57	c 10.5424 11.0156 603 595132
58.49/58.57	o 1834
58.49/58.59	c 10.5474 11.0156 670 595319
58.49/58.59	o 1820
58.59/58.69	c 10.5604 11.0156 516 596092
58.59/58.69	o 1749
58.59/58.69	c 10.5614 11.0156 523 596221
58.59/58.69	o 1731
58.69/58.70	c 10.5634 11.0156 539 596295
58.69/58.70	o 1719
58.69/58.71	c 10.5654 11.0156 596 596539
58.69/58.71	o 1651
58.69/58.77	c 10.5764 11.0156 785 597018
58.69/58.77	o 1643
58.79/58.81	c 10.5804 11.0156 472 597393
58.79/58.81	o 1610
58.79/58.84	c 10.5904 11.0156 542 597598
58.79/58.84	o 1593
58.79/58.84	c 10.5914 11.0156 560 597779
58.79/58.84	o 1484
58.79/58.85	c 10.5914 11.0156 584 597872
58.79/58.85	o 1466
58.79/58.87	c 10.5954 11.0156 661 598090
58.79/58.87	o 1462
59.00/59.01	c 10.6244 11.0156 634 599020
59.00/59.01	o 1439
59.00/59.01	c 10.6254 11.0156 644 599090
59.00/59.01	o 1430
59.00/59.03	c 10.6274 11.0156 709 599248
59.00/59.03	o 1403
59.00/59.06	c 10.6384 11.0156 436 599666
59.00/59.06	o 1349
59.09/59.15	c 10.6504 11.0156 719 600391
59.09/59.15	o 1295
59.20/59.25	c 10.6734 11.0156 604 601084
59.20/59.25	o 1256
59.20/59.29	c 10.6854 11.0156 761 601536
59.20/59.29	o 1194
59.30/59.30	c 10.6874 11.1406 854 601722
59.30/59.30	o 1160
59.30/59.35	c 10.6944 11.1406 555 602152
59.30/59.35	o 1100
59.30/59.35	c 10.6954 11.1406 564 602207
59.30/59.35	o 1085
59.39/59.43	c 10.7164 11.1406 837 602788
59.39/59.43	o 1080
59.39/59.44	c 10.7184 11.1406 446 602901
59.39/59.44	o 1058
59.39/59.45	c 10.7214 11.1406 493 603055
59.39/59.45	o 1049
59.49/59.51	c 10.7304 11.1406 679 603460
59.49/59.51	o 1044
59.49/59.57	c 10.7394 11.1406 843 603852
59.49/59.57	o 1039
59.59/59.61	c 10.7464 11.1406 558 604160
59.59/59.61	o 1029
59.59/59.69	c 10.7644 11.1406 449 604769
59.59/59.69	o 980
59.69/59.74	c 10.7704 11.1406 580 605098
59.69/59.74	o 930
59.69/59.77	c 10.7774 11.1406 700 605442
59.69/59.77	o 869
59.80/59.80	c 10.7844 11.1406 796 605704
59.80/59.80	o 866
59.80/59.80	c 10.7854 11.1406 799 605769
59.80/59.80	o 818
59.80/59.81	c 10.7884 11.1406 810 605871
59.80/59.81	o 742
59.80/59.81	c 10.7904 11.1406 817 605922
59.80/59.81	o 709
59.80/59.81	c 10.7944 11.1406 851 605977
59.80/59.81	o 694
59.80/59.87	c 10.8194 11.1406 977 606273
59.80/59.87	o 685
59.89/59.91	c 10.8354 11.1406 581 606709
59.89/59.91	o 632
59.89/59.97	c 10.8583 11.1406 794 607138
59.89/59.97	o 617
59.89/59.98	c 10.8633 11.1406 867 607274
59.89/59.98	o 561
59.89/59.99	c 10.8673 11.1406 881 607337
59.89/59.99	o 560
60.00/60.02	c 10.8783 11.1406 854 607731
60.00/60.02	o 467
60.00/60.03	c 10.8803 11.1406 903 607845
60.00/60.03	o 449
60.00/60.04	c 10.8823 11.1406 926 607939
60.00/60.04	o 417
60.00/60.07	c 10.8933 11.1406 1065 608226
60.00/60.07	o 391
60.00/60.08	c 10.9013 11.1406 937 608368
60.00/60.08	o 330
60.00/60.09	c 10.9063 11.1406 1003 608498
60.00/60.09	o 278
60.10/60.10	c 10.9133 11.1406 1102 608651
60.10/60.10	o 256
60.10/60.11	c 10.9143 11.1406 1050 608733
60.10/60.11	o 250
60.10/60.11	c 10.9193 11.1406 1095 608821
60.10/60.11	o 200
60.10/60.11	c 10.9203 11.1406 1108 608856
60.10/60.11	o 189
60.10/60.12	c 10.9213 11.1406 1122 608886
60.10/60.12	o 181
60.10/60.12	c 10.9243 11.1406 1142 608923
60.10/60.12	o 176
60.10/60.12	c 10.9253 11.1406 1148 608975
60.10/60.12	o 124
60.10/60.12	c 10.9273 11.1406 1161 609006
60.10/60.12	o 110
60.10/60.13	c 10.9273 11.1406 1169 609039
60.10/60.13	o 100
60.10/60.13	c 10.9283 11.1406 653 609062
60.10/60.13	o 86
60.10/60.13	c 10.9293 11.1406 683 609120
60.10/60.13	o 75
60.10/60.13	c 10.9303 11.1406 692 609129
60.10/60.13	s OPTIMUM FOUND
60.10/60.13	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-2700147-1278534174/watcher-2700147-1278534174 -o /tmp/evaluation-result-2700147-1278534174/solver-2700147-1278534174 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700147-1278534174.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: 3.11 2.69 1.22 3/178 19091
/proc/meminfo: memFree=28313396/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=2136 CPUtime=0
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 257 0 0 0 0 0 0 0 21 0 1 0 21630550 2187264 176 4089446400 134512640 136422188 4291327280 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19091/statm: 534 176 144 467 0 65 0

[startup+0.08296 s]
/proc/loadavg: 3.11 2.69 1.22 3/178 19091
/proc/meminfo: memFree=28313396/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10128 CPUtime=0.08
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2284 0 0 0 4 4 0 0 22 0 1 0 21630550 10371072 2195 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2532 2195 238 467 0 2063 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10128

[startup+0.100956 s]
/proc/loadavg: 3.11 2.69 1.22 3/178 19091
/proc/meminfo: memFree=28313396/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10256 CPUtime=0.09
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2291 0 0 0 4 5 0 0 22 0 1 0 21630550 10502144 2202 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2564 2202 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.30092 s]
/proc/loadavg: 3.11 2.69 1.22 3/178 19091
/proc/meminfo: memFree=28313396/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10384 CPUtime=0.29
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2324 0 0 0 8 21 0 0 22 0 1 0 21630550 10633216 2235 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2596 2235 238 467 0 2127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10384

[startup+0.700846 s]
/proc/loadavg: 3.11 2.69 1.22 3/178 19091
/proc/meminfo: memFree=28313396/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10384 CPUtime=0.69
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2338 0 0 0 15 54 0 0 24 0 1 0 21630550 10633216 2248 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2596 2248 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.5007 s]
/proc/loadavg: 3.02 2.68 1.22 3/179 19092
/proc/meminfo: memFree=28303840/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10384 CPUtime=1.49
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2358 0 0 0 37 112 0 0 25 0 1 0 21630550 10633216 2259 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2596 2259 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10041 s]
/proc/loadavg: 3.02 2.68 1.22 3/179 19092
/proc/meminfo: memFree=28303188/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10512 CPUtime=3.09
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2381 0 0 0 71 238 0 0 25 0 1 0 21630550 10764288 2273 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2628 2273 238 467 0 2159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10512

[startup+6.30083 s]
/proc/loadavg: 2.94 2.67 1.23 3/179 19092
/proc/meminfo: memFree=28298104/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10640 CPUtime=6.3
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2418 0 0 0 127 503 0 0 25 0 1 0 21630550 10895360 2300 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2660 2300 238 467 0 2191 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10640

[startup+12.7007 s]
/proc/loadavg: 2.86 2.66 1.23 3/179 19092
/proc/meminfo: memFree=28289564/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10640 CPUtime=12.69
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2452 0 0 0 244 1025 0 0 25 0 1 0 21630550 10895360 2322 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2660 2322 238 467 0 2191 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10640

[startup+25.5003 s]
/proc/loadavg: 2.73 2.63 1.24 3/179 19092
/proc/meminfo: memFree=28272468/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=10896 CPUtime=25.49
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2532 0 0 0 477 2072 0 0 25 0 1 0 21630550 11157504 2365 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2724 2365 238 467 0 2255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10896

[startup+51.1007 s]
/proc/loadavg: 2.44 2.57 1.26 3/179 19092
/proc/meminfo: memFree=28236596/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11148 CPUtime=51.09
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2654 0 0 0 924 4185 0 0 25 0 1 0 21630550 11415552 2429 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2787 2429 238 467 0 2318 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11148

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

[startup+54.3011 s]
/proc/loadavg: 2.44 2.57 1.26 3/179 19092
/proc/meminfo: memFree=28232624/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11148 CPUtime=54.29
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2682 0 0 0 982 4447 0 0 25 0 1 0 21630550 11415552 2444 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2787 2444 238 467 0 2318 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 11148

[startup+57.5005 s]
/proc/loadavg: 2.41 2.56 1.27 3/179 19092
/proc/meminfo: memFree=28228780/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11276 CPUtime=57.49
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2716 0 0 0 1035 4714 0 0 25 0 1 0 21630550 11546624 2459 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2819 2459 238 467 0 2350 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11276

[startup+59.1002 s]
/proc/loadavg: 2.41 2.56 1.27 3/179 19092
/proc/meminfo: memFree=28226296/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11276 CPUtime=59.09
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2768 0 0 0 1064 4845 0 0 25 0 1 0 21630550 11546624 2488 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2819 2488 238 467 0 2350 0
Current children cumulated CPU time (s) 59.09
Current children cumulated vsize (KiB) 11276

[startup+59.901 s]
/proc/loadavg: 2.41 2.56 1.27 3/179 19092
/proc/meminfo: memFree=28223940/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11404 CPUtime=59.89
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2808 0 0 0 1082 4907 0 0 25 0 1 0 21630550 11677696 2507 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2851 2507 238 467 0 2382 0
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (KiB) 11404

[startup+60.101 s]
/proc/loadavg: 2.41 2.56 1.27 3/179 19092
/proc/meminfo: memFree=28223940/32951124 swapFree=67111528/67111528
[pid=19091] ppid=19089 vsize=11404 CPUtime=60.1
/proc/19091/stat : 19091 (pbct) R 19089 19091 18367 0 -1 4202496 2819 0 0 0 1091 4919 0 0 25 0 1 0 21630550 11677696 2508 4089446400 134512640 136422188 4291327280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19091/statm: 2851 2508 238 467 0 2382 0
Current children cumulated CPU time (s) 60.1
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 60.1447
CPU time (s): 60.1459
CPU user time (s): 10.9383
CPU system time (s): 49.2075
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11404

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

runsolver used 0.078987 second user time and 0.207968 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-07 22:22:54
IDJOB=2700147
IDBENCH=79403
IDSOLVER=1212
FILE ID=node138/2700147-1278534174
PBS_JOBID= 11239202
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=579044125

node138.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.845
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.845
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	: 5266.27
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.845
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.845
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.73
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.845
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.82
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.845
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.845
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.82
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.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28313916 kB
Buffers:        127884 kB
Cached:        3965992 kB
SwapCached:          0 kB
Active:        1935752 kB
Inactive:      2553260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28313916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2076 kB
Writeback:           0 kB
AnonPages:      395112 kB
Mapped:          16856 kB
Slab:            84080 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   538564 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= 73608 MiB
End job on node138 at 2010-07-07 22:23:55