Trace number 2700063

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 31.8792 31.8786

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
MD5SUMdc9398e8d8662385aed113468e487865
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.178972
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 constraint14
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 27
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.01	c constraints 100/0 clauses 0/850 units 0
0.00/0.01	c vars 200
0.00/0.04	c 0.038994 10.0352 1 1934
0.00/0.04	o 32418
0.00/0.04	c 0.039993 10.2578 1 2821
0.00/0.04	o 31187
0.00/0.04	c 0.039993 10.2578 2 3710
0.00/0.04	o 29881
0.00/0.05	c 0.041993 10.2578 2 4593
0.00/0.05	o 19042
0.00/0.05	c 0.042993 10.2578 2 5481
0.00/0.05	o 14875
0.00/0.05	c 0.043993 10.2578 3 5994
0.00/0.05	o 14717
0.00/0.05	c 0.045993 10.2578 3 6880
0.00/0.05	o 13794
0.00/0.06	c 0.046992 10.2578 16 7295
0.00/0.06	o 13729
0.00/0.06	c 0.048992 10.2578 19 7713
0.00/0.06	o 13628
0.00/0.08	c 0.06399 10.2578 110 8250
0.00/0.08	o 13513
0.09/0.13	c 0.098984 10.2578 300 8936
0.09/0.13	o 13473
0.29/0.32	c 0.209968 10.3828 557 10903
0.29/0.32	o 13433
0.29/0.33	c 0.215967 10.3828 619 11244
0.29/0.33	o 13319
0.48/0.51	c 0.32795 10.3828 444 13730
0.48/0.51	o 13294
0.48/0.59	c 0.379942 10.3828 555 15270
0.48/0.59	o 13292
0.59/0.65	c 0.420936 10.3828 485 16204
0.59/0.65	o 13191
0.69/0.71	c 0.463929 10.3828 833 17321
0.69/0.71	o 13078
0.69/0.76	c 0.498924 10.3828 677 18242
0.69/0.76	o 13023
0.89/0.92	c 0.596909 10.3828 761 20192
0.89/0.92	o 13000
0.89/0.95	c 0.619905 10.3828 496 20809
0.89/0.95	o 12929
0.89/0.96	c 0.624905 10.3828 510 21137
0.89/0.96	o 12757
0.89/0.97	c 0.631903 10.3828 541 21437
0.89/0.97	o 12672
0.89/0.98	c 0.636903 10.3828 578 21838
0.89/0.98	o 12552
0.89/0.98	c 0.638902 10.3828 585 22047
0.89/0.98	o 12526
0.89/0.99	c 0.642902 10.3828 609 22451
0.89/0.99	o 12295
0.89/1.00	c 0.649901 10.3828 677 22770
0.89/1.00	o 12286
0.99/1.00	c 0.650901 10.3828 340 23018
0.99/1.00	o 12227
0.99/1.06	c 0.690894 10.3828 608 23963
0.99/1.06	o 12160
1.09/1.11	c 0.72189 10.3828 463 24886
1.09/1.11	o 12117
1.09/1.13	c 0.731888 10.3828 513 25275
1.09/1.13	o 11970
1.09/1.19	c 0.779881 10.3828 413 26356
1.09/1.19	o 11859
1.29/1.31	c 0.85287 10.5039 544 27935
1.29/1.31	o 11845
1.49/1.56	c 1.01585 10.5039 866 30621
1.49/1.56	o 11823
1.49/1.58	c 1.02884 10.5039 507 31019
1.49/1.58	o 11746
1.49/1.60	c 1.04284 10.5039 620 31958
1.49/1.60	o 11329
1.59/1.65	c 1.07984 10.5039 495 33021
1.59/1.65	o 11125
1.69/1.77	c 1.14983 10.5039 557 34674
1.69/1.77	o 11123
1.69/1.79	c 1.16482 10.5039 608 34902
1.69/1.79	o 11114
1.79/1.87	c 1.21582 10.5039 489 35859
1.79/1.87	o 11000
1.79/1.88	c 1.22581 10.5039 544 36321
1.79/1.88	o 10817
1.89/1.99	c 1.2858 10.5039 996 37401
1.89/1.99	o 10808
1.98/2.01	c 1.3018 10.5039 605 38053
1.98/2.01	o 10539
1.98/2.02	c 1.3038 10.5039 609 38325
1.98/2.02	o 10471
1.98/2.02	c 1.3068 10.5039 614 38570
1.98/2.02	o 10451
1.98/2.04	c 1.3228 10.5039 702 38966
1.98/2.04	o 10349
2.20/2.20	c 1.41278 10.5039 575 40612
2.20/2.20	o 10199
2.20/2.26	c 1.45378 10.5039 452 41553
2.20/2.26	o 10113
2.88/2.95	c 1.88571 10.6289 369 49470
2.88/2.95	o 9945
2.99/3.03	c 1.93571 10.6289 654 50477
2.99/3.03	o 9905
2.99/3.06	c 1.9587 10.6289 406 51072
2.99/3.06	o 9878
3.19/3.30	c 2.11568 10.6289 776 54686
3.19/3.30	o 9648
3.29/3.33	c 2.13468 10.6289 503 55145
3.29/3.33	o 9631
3.59/3.67	c 2.33264 10.6289 688 58968
3.59/3.67	o 9605
3.99/4.05	c 2.56361 10.6289 493 63481
3.99/4.05	o 9544
4.09/4.12	c 2.5986 10.6289 718 64205
4.09/4.12	o 9455
4.19/4.28	c 2.69259 10.6289 687 66240
4.19/4.28	o 9371
4.99/5.00	c 3.12552 10.6289 607 73201
4.99/5.00	o 9364
5.19/5.28	c 3.2995 10.6289 682 76638
5.19/5.28	o 9344
5.69/5.75	c 3.57046 10.6289 689 80427
5.69/5.75	o 9312
6.19/6.21	c 3.85341 10.6289 536 86610
6.19/6.21	o 9275
6.39/6.43	c 4.00039 10.6289 399 89433
6.39/6.43	o 9261
6.49/6.53	c 4.06738 10.6289 479 90917
6.49/6.53	o 9233
6.69/6.79	c 4.23336 10.6289 636 93155
6.69/6.79	o 9188
6.79/6.82	c 4.25135 10.6289 409 93993
6.79/6.82	o 8882
6.79/6.88	c 4.28435 10.6289 664 94819
6.79/6.88	o 8836
6.99/7.00	c 4.35634 10.6289 421 96347
6.99/7.00	o 8800
6.99/7.06	c 4.39233 10.6289 658 97455
6.99/7.06	o 8749
7.60/7.66	c 4.75428 10.6289 717 103445
7.60/7.66	o 8555
7.69/7.73	c 4.79527 10.6289 568 104287
7.69/7.73	o 8416
7.79/7.80	c 4.84126 10.6289 478 105435
7.79/7.80	o 8374
7.89/7.95	c 4.93325 10.75 529 106965
7.89/7.95	o 8169
7.99/8.02	c 4.97524 10.75 723 107671
7.99/8.02	o 7986
8.19/8.27	c 5.13022 10.75 936 110345
8.19/8.27	o 7884
8.69/8.78	c 5.44617 10.75 426 115494
8.69/8.78	o 7856
8.79/8.82	c 5.46517 10.75 579 116138
8.79/8.82	o 7850
9.09/9.19	c 5.69613 10.75 727 119944
9.09/9.19	o 7744
9.59/9.67	c 6.01009 10.75 762 123756
9.59/9.67	o 7742
9.69/9.73	c 6.04608 10.75 647 124516
9.69/9.73	o 7673
9.79/9.84	c 6.11607 10.75 629 125708
9.79/9.84	o 7622
9.89/9.95	c 6.19706 10.75 647 126780
9.89/9.95	o 7611
9.89/9.98	c 6.21705 10.75 731 127189
9.89/9.98	o 7452
10.19/10.26	c 6.38803 10.75 562 130040
10.19/10.26	o 7362
10.40/10.44	c 6.49901 10.75 745 131584
10.40/10.44	o 7310
10.90/10.96	c 6.81096 10.75 573 136716
10.90/10.96	o 7239
11.39/11.48	c 7.13392 10.75 569 142244
11.39/11.48	o 7199
11.69/11.74	c 7.28989 10.75 521 144289
11.69/11.74	o 7183
11.99/12.01	c 7.46187 10.75 653 146748
11.99/12.01	o 7006
11.99/12.03	c 7.47386 10.75 736 146995
11.99/12.03	o 6953
12.49/12.55	c 7.78482 10.75 845 150982
12.49/12.55	o 6928
12.49/12.57	c 7.79981 10.75 519 151255
12.49/12.57	o 6923
12.69/12.73	c 7.8828 10.75 646 152504
12.69/12.73	o 6871
12.79/12.88	c 7.97379 10.75 719 153695
12.79/12.88	o 6869
13.69/13.78	c 8.5317 10.75 692 161299
13.69/13.78	o 6800
13.89/13.99	c 8.65168 10.75 753 163648
13.89/13.99	o 6787
13.99/14.05	c 8.68768 10.75 572 164209
13.99/14.05	o 6786
14.09/14.14	c 8.74967 10.75 510 165340
14.09/14.14	o 6750
14.40/14.43	c 8.93364 10.75 765 168438
14.40/14.43	o 6734
14.99/15.02	c 9.28959 10.875 581 174029
14.99/15.02	o 6695
15.09/15.14	c 9.37058 10.875 621 175296
15.09/15.14	o 6687
15.30/15.31	c 9.47856 10.875 856 176971
15.30/15.31	o 6646
15.30/15.38	c 9.51855 10.875 693 177665
15.30/15.38	o 6580
15.30/15.40	c 9.52755 10.875 727 177796
15.30/15.40	o 6541
15.39/15.45	c 9.55355 10.875 471 178167
15.39/15.45	o 6536
15.39/15.45	c 9.55755 10.875 480 178335
15.39/15.45	o 6491
15.39/15.48	c 9.57354 10.875 563 178626
15.39/15.48	o 6452
16.40/16.44	c 10.1565 10.875 432 186648
16.40/16.44	o 6422
16.59/16.61	c 10.2664 10.875 585 188197
16.59/16.61	o 6361
16.59/16.66	c 10.2954 10.875 759 188757
16.59/16.66	o 6345
16.79/16.81	c 10.3884 10.875 1052 190353
16.79/16.81	o 6212
16.79/16.89	c 10.4324 10.875 756 191163
16.79/16.89	o 5963
16.89/16.92	c 10.4534 10.875 457 191425
16.89/16.92	o 5938
16.89/16.94	c 10.4634 10.875 543 191716
16.89/16.94	o 5874
17.19/17.26	c 10.6764 10.875 669 194282
17.19/17.26	o 5772
17.19/17.29	c 10.6934 10.875 730 194490
17.19/17.29	o 5756
17.39/17.49	c 10.8154 10.875 590 196458
17.39/17.49	o 5703
17.49/17.55	c 10.8504 10.875 759 196966
17.49/17.55	o 5700
18.09/18.19	c 11.2403 10.875 717 202153
18.09/18.19	o 5678
18.19/18.21	c 11.2513 10.875 755 202371
18.19/18.21	o 5663
18.29/18.35	c 11.3383 10.875 768 203285
18.29/18.35	o 5594
18.60/18.69	c 11.5502 10.875 570 205831
18.60/18.69	o 5592
18.79/18.85	c 11.6522 10.875 719 207434
18.79/18.85	o 5538
19.09/19.11	c 11.8252 10.875 740 209047
19.09/19.11	o 5499
19.09/19.19	c 11.8772 10.875 597 209741
19.09/19.19	o 5482
19.19/19.21	c 11.8882 10.875 640 209920
19.19/19.21	o 5462
19.19/19.27	c 11.9262 10.875 792 210443
19.19/19.27	o 5356
19.59/19.68	c 12.1901 10.875 816 213454
19.59/19.68	o 5323
20.19/20.23	c 12.5371 11 602 216780
20.19/20.23	o 5317
20.29/20.36	c 12.6231 11 525 217655
20.29/20.36	o 5307
20.80/20.81	c 12.884 11 444 221693
20.80/20.81	o 5226
20.80/20.85	c 12.914 11 566 222134
20.80/20.85	o 5180
20.89/20.98	c 13 11 607 223397
20.89/20.98	o 5172
21.09/21.13	c 13.091 11 529 224418
21.09/21.13	o 5122
21.09/21.19	c 13.136 11 718 224964
21.09/21.19	o 5116
21.29/21.31	c 13.21 11 668 226046
21.29/21.31	o 5085
21.49/21.51	c 13.328 11 816 227220
21.49/21.51	o 5056
21.69/21.73	c 13.456 11 605 228653
21.69/21.73	o 5053
21.69/21.75	c 13.475 11 685 229026
21.69/21.75	o 4966
21.99/22.03	c 13.6479 11 935 230496
21.99/22.03	o 4959
22.29/22.39	c 13.8649 11 679 232959
22.29/22.39	o 4898
22.69/22.74	c 14.0709 11 524 235826
22.69/22.74	o 4858
22.89/23.00	c 14.2268 11 495 237859
22.89/23.00	o 4852
23.10/23.14	c 14.3128 11 515 239097
23.10/23.14	o 4783
23.39/23.46	c 14.4998 11 456 241066
23.39/23.46	o 4708
23.39/23.48	c 14.5128 11 505 241331
23.39/23.48	o 4627
23.99/24.05	c 14.8527 11 487 245560
23.99/24.05	o 4545
23.99/24.09	c 14.8767 11 626 246012
23.99/24.09	o 4488
24.59/24.61	c 15.1817 11 754 249687
24.59/24.61	o 4466
24.89/24.92	c 15.3677 11 804 252043
24.89/24.92	o 4442
24.99/25.05	c 15.4507 11 753 252979
24.99/25.05	o 4402
25.09/25.12	c 15.4926 11 548 253618
25.09/25.12	o 4350
25.30/25.32	c 15.6106 11 568 255049
25.30/25.32	o 4250
25.30/25.33	c 15.6196 11 598 255195
25.30/25.33	o 4236
25.40/25.42	c 15.6736 11 840 255919
25.40/25.42	o 4160
25.40/25.48	c 15.7086 11 565 256395
25.40/25.48	o 4135
25.40/25.49	c 15.7136 11 584 256536
25.40/25.49	o 4109
25.49/25.53	c 15.7296 11 673 256904
25.49/25.53	o 3936
25.49/25.57	c 15.7546 11 395 257259
25.49/25.57	o 3923
25.59/25.67	c 15.8146 11 718 258031
25.59/25.67	o 3919
25.59/25.68	c 15.8256 11 755 258315
25.59/25.68	o 3811
25.79/25.87	c 15.9396 11 787 259492
25.79/25.87	o 3782
26.09/26.12	c 16.0876 11.1211 800 261651
26.09/26.12	o 3676
26.19/26.23	c 16.1505 11.1211 695 262471
26.19/26.23	o 3592
26.29/26.31	c 16.2025 11.1211 515 263089
26.29/26.31	o 3533
26.39/26.41	c 16.2635 11.1211 800 263983
26.39/26.41	o 3434
26.39/26.48	c 16.3025 11.1211 551 264464
26.39/26.48	o 3387
26.49/26.53	c 16.3275 11.1211 664 264841
26.49/26.53	o 3379
26.49/26.53	c 16.3305 11.1211 672 264940
26.49/26.53	o 3337
26.79/26.86	c 16.5205 11.1211 666 267169
26.79/26.86	o 3300
27.40/27.42	c 16.8674 11.1211 455 270774
27.40/27.42	o 3206
27.40/27.46	c 16.8964 11.1211 539 270984
27.40/27.46	o 3182
27.49/27.55	c 16.9414 11.1211 774 271570
27.49/27.55	o 3161
27.49/27.58	c 16.9704 11.1211 870 271920
27.49/27.58	o 3096
27.59/27.62	c 17.0034 11.1211 528 272155
27.59/27.62	o 3073
27.59/27.64	c 17.0184 11.1211 587 272391
27.59/27.64	o 3029
27.69/27.77	c 17.0924 11.1211 907 273070
27.69/27.77	o 3011
27.89/27.91	c 17.1844 11.1211 847 274109
27.89/27.91	o 2987
27.99/28.05	c 17.2734 11.1211 797 274964
27.99/28.05	o 2984
27.99/28.08	c 17.2894 11.1211 480 275192
27.99/28.08	o 2973
28.19/28.28	c 17.4174 11.1211 562 276476
28.19/28.28	o 2959
28.19/28.29	c 17.4244 11.1211 580 276605
28.19/28.29	o 2899
28.60/28.64	c 17.6433 11.1211 523 278685
28.60/28.64	o 2817
28.69/28.75	c 17.7093 11.1211 781 279334
28.69/28.75	o 2805
28.79/28.89	c 17.7993 11.1211 676 280220
28.79/28.89	o 2777
28.89/28.92	c 17.8243 11.1211 762 280436
28.89/28.92	o 2767
28.89/28.93	c 17.8303 11.1211 787 280700
28.89/28.93	o 2601
28.89/28.98	c 17.8543 11.1211 507 281106
28.89/28.98	o 2589
28.99/29.05	c 17.8893 11.1211 657 281442
28.99/29.05	o 2551
28.99/29.10	c 17.9203 11.1211 804 281949
28.99/29.10	o 2487
29.10/29.13	c 17.9433 11.1211 460 282416
29.10/29.13	o 2433
29.10/29.14	c 17.9503 11.1211 470 282509
29.10/29.14	o 2425
29.10/29.14	c 17.9513 11.1211 477 282608
29.10/29.14	o 2398
29.10/29.15	c 17.9583 11.1211 502 282698
29.10/29.15	o 2384
29.30/29.35	c 18.0852 11.1211 536 283820
29.30/29.35	o 2330
29.39/29.48	c 18.1692 11.1211 862 284649
29.39/29.48	o 2263
29.49/29.53	c 18.1922 11.1211 527 284958
29.49/29.53	o 2213
29.60/29.65	c 18.2612 11.1211 423 285918
29.60/29.65	o 2040
29.60/29.65	c 18.2662 11.1211 444 285989
29.60/29.65	o 2039
29.70/29.76	c 18.3202 11.1211 696 286749
29.70/29.76	o 2035
29.79/29.88	c 18.3952 11.2422 566 287525
29.79/29.88	o 2031
29.89/29.91	c 18.4112 11.2422 619 287688
29.89/29.91	o 1999
29.99/30.08	c 18.5052 11.2422 638 288829
29.99/30.08	o 1996
30.29/30.39	c 18.6822 11.2422 548 290657
30.29/30.39	o 1908
30.39/30.44	c 18.7162 11.2422 709 291044
30.39/30.44	o 1902
30.50/30.54	c 18.7791 11.2422 472 291670
30.50/30.54	o 1837
30.50/30.55	c 18.7851 11.2422 500 291772
30.50/30.55	o 1827
30.50/30.58	c 18.8051 11.2422 573 292088
30.50/30.58	o 1689
30.59/30.68	c 18.8711 11.2422 791 292559
30.59/30.68	o 1659
30.70/30.73	c 18.8991 11.2422 468 293070
30.70/30.73	o 1559
30.70/30.75	c 18.9171 11.2422 509 293197
30.70/30.75	o 1539
30.80/30.85	c 18.9821 11.2422 783 293868
30.80/30.85	o 1524
30.80/30.88	c 19.0081 11.2422 863 294082
30.80/30.88	o 1511
30.89/30.90	c 19.0171 11.2422 462 294298
30.89/30.90	o 1393
30.89/30.91	c 19.0291 11.2422 517 294458
30.89/30.91	o 1374
30.89/30.96	c 19.0641 11.2422 637 294831
30.89/30.96	o 1353
30.99/31.04	c 19.1151 11.2422 431 295301
30.99/31.04	o 1329
30.99/31.05	c 19.1221 11.2422 458 295450
30.99/31.05	o 1256
30.99/31.08	c 19.1431 11.2422 541 295642
30.99/31.08	o 1239
31.10/31.10	c 19.1531 11.2422 572 295803
31.10/31.10	o 1237
31.10/31.11	c 19.1641 11.2422 615 295994
31.10/31.11	o 1222
31.10/31.16	c 19.2021 11.2422 737 296353
31.10/31.16	o 1191
31.19/31.23	c 19.2391 11.2422 479 296818
31.19/31.23	o 1114
31.19/31.29	c 19.2721 11.2422 651 297181
31.19/31.29	o 1108
31.29/31.33	c 19.2991 11.2422 762 297453
31.29/31.33	o 1092
31.29/31.34	c 19.3081 11.2422 797 297607
31.29/31.34	o 1016
31.39/31.40	c 19.3381 11.2422 479 297959
31.39/31.40	o 970
31.39/31.48	c 19.3941 11.2422 736 298422
31.39/31.48	o 961
31.49/31.52	c 19.422 11.2422 879 298843
31.49/31.52	o 934
31.49/31.53	c 19.429 11.2422 903 298953
31.49/31.53	o 907
31.49/31.57	c 19.456 11.2422 567 299219
31.49/31.57	o 898
31.49/31.57	c 19.462 11.2422 587 299290
31.49/31.57	o 885
31.49/31.59	c 19.47 11.2422 615 299413
31.49/31.59	o 883
31.49/31.59	c 19.474 11.2422 629 299491
31.49/31.59	o 836
31.59/31.61	c 19.483 11.2422 684 299642
31.59/31.61	o 816
31.59/31.61	c 19.486 11.2422 703 299749
31.59/31.61	o 812
31.59/31.65	c 19.515 11.2422 842 300066
31.59/31.65	o 745
31.59/31.69	c 19.546 11.3672 965 300300
31.59/31.69	o 738
31.70/31.70	c 19.55 11.3672 985 300398
31.70/31.70	o 720
31.70/31.70	c 19.555 11.3672 1000 300465
31.70/31.70	o 715
31.70/31.71	c 19.563 11.3672 1031 300558
31.70/31.71	o 709
31.70/31.72	c 19.564 11.3672 1031 300585
31.70/31.72	o 704
31.70/31.72	c 19.568 11.3672 1054 300704
31.70/31.72	o 625
31.70/31.74	c 19.582 11.3672 1128 300873
31.70/31.74	o 561
31.70/31.75	c 19.592 11.3672 605 300958
31.70/31.75	o 557
31.70/31.76	c 19.597 11.3672 626 301034
31.70/31.76	o 532
31.70/31.76	c 19.6 11.3672 644 301100
31.70/31.76	o 501
31.70/31.77	c 19.606 11.3672 655 301210
31.70/31.77	o 481
31.70/31.78	c 19.609 11.3672 685 301278
31.70/31.78	o 470
31.70/31.78	c 19.612 11.3672 702 301367
31.70/31.78	o 462
31.70/31.79	c 19.614 11.3672 713 301422
31.70/31.79	o 448
31.70/31.79	c 19.62 11.3672 727 301509
31.70/31.79	o 400
31.70/31.80	c 19.622 11.3672 677 301539
31.70/31.80	o 395
31.80/31.81	c 19.628 11.3672 727 301638
31.80/31.81	o 394
31.80/31.81	c 19.632 11.3672 751 301769
31.80/31.81	o 301
31.80/31.82	c 19.637 11.3672 777 301850
31.80/31.82	o 298
31.80/31.83	c 19.645 11.3672 808 301913
31.80/31.83	o 292
31.80/31.84	c 19.651 11.3672 634 302047
31.80/31.84	o 275
31.80/31.84	c 19.652 11.3672 637 302071
31.80/31.84	o 273
31.80/31.84	c 19.653 11.3672 637 302092
31.80/31.84	o 263
31.80/31.84	c 19.656 11.3672 657 302154
31.80/31.84	o 240
31.80/31.85	c 19.66 11.3672 679 302221
31.80/31.85	o 232
31.80/31.85	c 19.662 11.3672 689 302264
31.80/31.85	o 220
31.80/31.85	c 19.666 11.3672 724 302344
31.80/31.85	o 184
31.80/31.86	c 19.667 11.3672 607 302446
31.80/31.86	o 119
31.80/31.86	c 19.669 11.3672 614 302503
31.80/31.86	o 77
31.80/31.86	c 19.672 11.3672 640 302565
31.80/31.86	o 43
31.80/31.86	c 19.672 11.3672 640 302579
31.80/31.86	o 39
31.80/31.86	c 19.672 11.3672 642 302630
31.80/31.86	o 0
31.80/31.86	c 19.672 11.3672 642 302630
31.80/31.86	s OPTIMUM FOUND
31.80/31.86	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	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700063-1278533942/watcher-2700063-1278533942 -o /tmp/evaluation-result-2700063-1278533942/solver-2700063-1278533942 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700063-1278533942.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.82 0.76 0.28 4/178 15567
/proc/meminfo: memFree=30504188/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=2136 CPUtime=0
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 254 0 0 0 0 0 0 0 24 0 1 0 21541466 2187264 174 4089446400 134512640 136422188 4287536608 18446744073709551615 135809632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15567/statm: 534 174 144 467 0 65 0

[startup+0.091802 s]
/proc/loadavg: 1.82 0.76 0.28 4/178 15567
/proc/meminfo: memFree=30504188/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10500 CPUtime=0.08
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2350 0 0 0 7 1 0 0 24 0 1 0 21541466 10752000 2260 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2625 2260 237 467 0 2156 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10500

[startup+0.100798 s]
/proc/loadavg: 1.82 0.76 0.28 4/178 15567
/proc/meminfo: memFree=30504188/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10500 CPUtime=0.09
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2352 0 0 0 7 2 0 0 24 0 1 0 21541466 10752000 2262 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2625 2262 237 467 0 2156 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10500

[startup+0.300764 s]
/proc/loadavg: 1.82 0.76 0.28 4/178 15567
/proc/meminfo: memFree=30504188/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10628 CPUtime=0.29
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2395 0 0 0 19 10 0 0 25 0 1 0 21541466 10883072 2304 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2657 2304 238 467 0 2188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10628

[startup+0.700685 s]
/proc/loadavg: 1.82 0.76 0.28 4/178 15567
/proc/meminfo: memFree=30504188/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10628 CPUtime=0.69
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2404 0 0 0 45 24 0 0 25 0 1 0 21541466 10883072 2308 4089446400 134512640 136422188 4287536608 18446744073709551615 135019286 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2657 2308 238 467 0 2188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10628

[startup+1.50053 s]
/proc/loadavg: 1.82 0.76 0.28 3/179 15568
/proc/meminfo: memFree=30495624/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10752 CPUtime=1.49
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2449 0 0 0 97 52 0 0 25 0 1 0 21541466 11010048 2337 4089446400 134512640 136422188 4287536608 18446744073709551615 135809704 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2688 2337 238 467 0 2219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10752

[startup+3.10023 s]
/proc/loadavg: 1.82 0.76 0.28 3/179 15568
/proc/meminfo: memFree=30495252/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10880 CPUtime=3.09
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2488 0 0 0 197 112 0 0 25 0 1 0 21541466 11141120 2358 4089446400 134512640 136422188 4287536608 18446744073709551615 135025702 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2720 2358 238 467 0 2251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10880

[startup+6.30061 s]
/proc/loadavg: 1.83 0.78 0.29 3/179 15568
/proc/meminfo: memFree=30495696/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=10880 CPUtime=6.29
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2517 0 0 0 391 238 0 0 25 0 1 0 21541466 11141120 2377 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2720 2377 238 467 0 2251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10880

[startup+12.7004 s]
/proc/loadavg: 1.85 0.80 0.30 3/179 15568
/proc/meminfo: memFree=30495416/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11004 CPUtime=12.69
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2584 0 0 0 786 483 0 0 25 0 1 0 21541466 11268096 2414 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2751 2414 238 467 0 2282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11004

[startup+25.5009 s]
/proc/loadavg: 1.88 0.86 0.33 3/179 15569
/proc/meminfo: memFree=30495268/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11260 CPUtime=25.49
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2719 0 0 0 1571 978 0 0 25 0 1 0 21541466 11530240 2484 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2815 2484 238 467 0 2346 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11260

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

[startup+28.7003 s]
/proc/loadavg: 1.88 0.86 0.33 3/179 15570
/proc/meminfo: memFree=30495140/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11384 CPUtime=28.69
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2765 0 0 0 1767 1102 0 0 25 0 1 0 21541466 11657216 2504 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2846 2504 238 467 0 2377 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 11384

[startup+30.301 s]
/proc/loadavg: 1.89 0.88 0.34 3/179 15570
/proc/meminfo: memFree=30495140/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11508 CPUtime=30.29
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2803 0 0 0 1863 1166 0 0 25 0 1 0 21541466 11784192 2522 4089446400 134512640 136422188 4287536608 18446744073709551615 135686880 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2877 2522 238 467 0 2408 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 11508

[startup+31.1008 s]
/proc/loadavg: 1.89 0.88 0.34 3/179 15570
/proc/meminfo: memFree=30494892/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11508 CPUtime=31.1
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2831 0 0 0 1915 1195 0 0 25 0 1 0 21541466 11784192 2534 4089446400 134512640 136422188 4287536608 18446744073709551615 134861967 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2877 2534 238 467 0 2408 0
Current children cumulated CPU time (s) 31.1
Current children cumulated vsize (KiB) 11508

[startup+31.5008 s]
/proc/loadavg: 1.89 0.88 0.34 3/179 15570
/proc/meminfo: memFree=30494892/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11508 CPUtime=31.49
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2848 0 0 0 1940 1209 0 0 18 0 1 0 21541466 11784192 2542 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2877 2542 238 467 0 2408 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (KiB) 11508

[startup+31.7007 s]
/proc/loadavg: 1.89 0.88 0.34 3/179 15570
/proc/meminfo: memFree=30494892/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11636 CPUtime=31.7
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2869 0 0 0 1955 1215 0 0 18 0 1 0 21541466 11915264 2553 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2909 2553 238 467 0 2440 0
Current children cumulated CPU time (s) 31.7
Current children cumulated vsize (KiB) 11636

[startup+31.8007 s]
/proc/loadavg: 1.89 0.88 0.34 3/179 15570
/proc/meminfo: memFree=30494888/32950928 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=11636 CPUtime=31.8
/proc/15567/stat : 15567 (pbct) R 15565 15567 15393 0 -1 4202496 2891 0 0 0 1962 1218 0 0 18 0 1 0 21541466 11915264 2560 4089446400 134512640 136422188 4287536608 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15567/statm: 2909 2560 238 467 0 2440 0
Current children cumulated CPU time (s) 31.8
Current children cumulated vsize (KiB) 11636

Child status: 0
Real time (s): 31.8786
CPU time (s): 31.8792
CPU user time (s): 19.682
CPU system time (s): 12.1971
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.682
system time used= 12.1971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2914
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= 5
involuntary context switches= 67

runsolver used 0.037994 second user time and 0.113982 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 22:19:02
IDJOB=2700063
IDBENCH=79396
IDSOLVER=1212
FILE ID=node115/2700063-1278533942
PBS_JOBID= 11239247
Free space on /tmp= 73612 MiB

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

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

MD5SUM BENCH= dc9398e8d8662385aed113468e487865
RANDOM SEED=1611516395

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30504708 kB
Buffers:        123312 kB
Cached:        2106992 kB
SwapCached:          0 kB
Active:         932128 kB
Inactive:      1372580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30504708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:       74476 kB
Mapped:          16392 kB
Slab:            78508 kB
PageTables:       5048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   215948 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 node115 at 2010-07-07 22:19:34