Trace number 2700060

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 32.3051 32.3046

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.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/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.038994 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.040993 10.2578 2 4593
0.00/0.05	o 19042
0.00/0.05	c 0.041993 10.2578 2 5481
0.00/0.05	o 14875
0.00/0.05	c 0.042993 10.2578 3 5994
0.00/0.05	o 14717
0.00/0.05	c 0.044993 10.2578 3 6880
0.00/0.05	o 13794
0.05/0.06	c 0.046992 10.2578 16 7295
0.05/0.06	o 13729
0.05/0.06	c 0.048992 10.2578 19 7713
0.05/0.06	o 13628
0.05/0.08	c 0.05999 10.2578 110 8250
0.05/0.08	o 13513
0.09/0.14	c 0.093985 10.2578 300 8936
0.09/0.14	o 13473
0.29/0.32	c 0.198969 10.3828 557 10903
0.29/0.32	o 13433
0.29/0.33	c 0.210967 10.3828 619 11244
0.29/0.33	o 13319
0.49/0.52	c 0.32795 10.3828 444 13730
0.49/0.52	o 13294
0.59/0.60	c 0.378942 10.3828 555 15270
0.59/0.60	o 13292
0.59/0.66	c 0.415936 10.3828 485 16204
0.59/0.66	o 13191
0.69/0.72	c 0.45693 10.3828 833 17321
0.69/0.72	o 13078
0.69/0.77	c 0.490925 10.3828 677 18242
0.69/0.77	o 13023
0.89/0.93	c 0.583911 10.3828 761 20192
0.89/0.93	o 13000
0.89/0.96	c 0.610907 10.3828 496 20809
0.89/0.96	o 12929
0.89/0.97	c 0.614906 10.3828 510 21137
0.89/0.97	o 12757
0.89/0.98	c 0.618905 10.3828 541 21437
0.89/0.98	o 12672
0.89/0.99	c 0.622905 10.3828 578 21838
0.89/0.99	o 12552
0.89/0.99	c 0.625904 10.3828 585 22047
0.89/0.99	o 12526
0.89/1.00	c 0.628904 10.3828 609 22451
0.89/1.00	o 12295
0.99/1.01	c 0.636903 10.3828 677 22770
0.99/1.01	o 12286
0.99/1.02	c 0.637903 10.3828 340 23018
0.99/1.02	o 12227
0.99/1.08	c 0.675897 10.3828 608 23963
0.99/1.08	o 12160
1.10/1.12	c 0.701893 10.3828 463 24886
1.10/1.12	o 12117
1.10/1.14	c 0.715891 10.3828 513 25275
1.10/1.14	o 11970
1.19/1.21	c 0.756884 10.3828 413 26356
1.19/1.21	o 11859
1.29/1.33	c 0.837872 10.5039 544 27935
1.29/1.33	o 11845
1.49/1.58	c 0.988849 10.5039 866 30621
1.49/1.58	o 11823
1.59/1.60	c 1.00185 10.5039 507 31019
1.59/1.60	o 11746
1.59/1.62	c 1.01285 10.5039 620 31958
1.59/1.62	o 11329
1.59/1.67	c 1.04884 10.5039 495 33021
1.59/1.67	o 11125
1.69/1.80	c 1.12483 10.5039 557 34674
1.69/1.80	o 11123
1.79/1.82	c 1.13883 10.5039 608 34902
1.79/1.82	o 11114
1.79/1.89	c 1.18082 10.5039 489 35859
1.79/1.89	o 11000
1.89/1.91	c 1.19082 10.5039 544 36321
1.89/1.91	o 10817
1.99/2.01	c 1.26681 10.5039 996 37401
1.99/2.01	o 10808
1.99/2.04	c 1.28181 10.5039 605 38053
1.99/2.04	o 10539
1.99/2.04	c 1.2838 10.5039 609 38325
1.99/2.04	o 10471
1.99/2.05	c 1.2868 10.5039 614 38570
1.99/2.05	o 10451
1.99/2.07	c 1.3008 10.5039 702 38966
1.99/2.07	o 10349
2.20/2.23	c 1.40479 10.5039 575 40612
2.20/2.23	o 10199
2.20/2.29	c 1.44378 10.5039 452 41553
2.20/2.29	o 10113
2.89/2.99	c 1.86772 10.6289 369 49470
2.89/2.99	o 9945
2.99/3.07	c 1.91771 10.6289 654 50477
2.99/3.07	o 9905
3.09/3.10	c 1.9367 10.6289 406 51072
3.09/3.10	o 9878
3.30/3.34	c 2.08068 10.6289 776 54686
3.30/3.34	o 9648
3.30/3.37	c 2.09768 10.6289 503 55145
3.30/3.37	o 9631
3.69/3.71	c 2.29765 10.6289 688 58968
3.69/3.71	o 9605
4.09/4.10	c 2.54261 10.6289 493 63481
4.09/4.10	o 9544
4.09/4.17	c 2.57761 10.6289 718 64205
4.09/4.17	o 9455
4.29/4.34	c 2.68159 10.6289 687 66240
4.29/4.34	o 9371
4.99/5.07	c 3.13252 10.6289 607 73201
4.99/5.07	o 9364
5.29/5.35	c 3.3055 10.6289 682 76638
5.29/5.35	o 9344
5.79/5.83	c 3.58446 10.6289 689 80427
5.79/5.83	o 9312
6.20/6.29	c 3.87041 10.6289 536 86610
6.20/6.29	o 9275
6.49/6.51	c 4.02539 10.6289 399 89433
6.49/6.51	o 9261
6.59/6.61	c 4.08438 10.6289 479 90917
6.59/6.61	o 9233
6.79/6.88	c 4.25335 10.6289 636 93155
6.79/6.88	o 9188
6.89/6.91	c 4.26935 10.6289 409 93993
6.89/6.91	o 8882
6.89/6.97	c 4.30835 10.6289 664 94819
6.89/6.97	o 8836
6.99/7.10	c 4.38333 10.6289 421 96347
6.99/7.10	o 8800
7.09/7.15	c 4.41733 10.6289 658 97455
7.09/7.15	o 8749
7.69/7.76	c 4.77827 10.6289 717 103445
7.69/7.76	o 8555
7.79/7.83	c 4.81727 10.6289 568 104287
7.79/7.83	o 8416
7.89/7.90	c 4.86626 10.6289 478 105435
7.89/7.90	o 8374
7.99/8.06	c 4.95525 10.75 529 106965
7.99/8.06	o 8169
8.10/8.12	c 4.99124 10.75 723 107671
8.10/8.12	o 7986
8.29/8.38	c 5.16021 10.75 936 110345
8.29/8.38	o 7884
8.79/8.89	c 5.48117 10.75 426 115494
8.79/8.89	o 7856
8.89/8.93	c 5.50716 10.75 579 116138
8.89/8.93	o 7850
9.29/9.31	c 5.74013 10.75 727 119944
9.29/9.31	o 7744
9.69/9.80	c 6.04808 10.75 762 123756
9.69/9.80	o 7742
9.80/9.86	c 6.08807 10.75 647 124516
9.80/9.86	o 7673
9.90/9.97	c 6.16206 10.75 629 125708
9.90/9.97	o 7622
9.99/10.09	c 6.23205 10.75 647 126780
9.99/10.09	o 7611
10.09/10.12	c 6.25005 10.75 731 127189
10.09/10.12	o 7452
10.29/10.39	c 6.41702 10.75 562 130040
10.29/10.39	o 7362
10.49/10.58	c 6.52001 10.75 745 131584
10.49/10.58	o 7310
11.09/11.10	c 6.82996 10.75 573 136716
11.09/11.10	o 7239
11.59/11.64	c 7.16191 10.75 569 142244
11.59/11.64	o 7199
11.79/11.89	c 7.33089 10.75 521 144289
11.79/11.89	o 7183
12.09/12.17	c 7.49686 10.75 653 146748
12.09/12.17	o 7006
12.09/12.19	c 7.51186 10.75 736 146995
12.09/12.19	o 6953
12.69/12.72	c 7.83481 10.75 845 150982
12.69/12.72	o 6928
12.69/12.74	c 7.85181 10.75 519 151255
12.69/12.74	o 6923
12.89/12.90	c 7.94679 10.75 646 152504
12.89/12.90	o 6871
12.99/13.05	c 8.02578 10.75 719 153695
12.99/13.05	o 6869
13.89/13.96	c 8.59569 10.75 692 161299
13.89/13.96	o 6800
14.09/14.18	c 8.72767 10.75 753 163648
14.09/14.18	o 6787
14.19/14.24	c 8.77067 10.75 572 164209
14.19/14.24	o 6786
14.30/14.33	c 8.82966 10.75 510 165340
14.30/14.33	o 6750
14.59/14.62	c 9.00563 10.75 765 168438
14.59/14.62	o 6734
15.19/15.22	c 9.38057 10.875 581 174029
15.19/15.22	o 6695
15.30/15.34	c 9.45756 10.875 621 175296
15.30/15.34	o 6687
15.49/15.51	c 9.55655 10.875 856 176971
15.49/15.51	o 6646
15.49/15.59	c 9.60054 10.875 693 177665
15.49/15.59	o 6580
15.59/15.61	c 9.60854 10.875 727 177796
15.59/15.61	o 6541
15.59/15.65	c 9.63953 10.875 471 178167
15.59/15.65	o 6536
15.59/15.66	c 9.64253 10.875 480 178335
15.59/15.66	o 6491
15.59/15.69	c 9.65553 10.875 563 178626
15.59/15.69	o 6452
16.59/16.66	c 10.2614 10.875 432 186648
16.59/16.66	o 6422
16.79/16.83	c 10.3614 10.875 585 188197
16.79/16.83	o 6361
16.79/16.88	c 10.3924 10.875 759 188757
16.79/16.88	o 6345
16.99/17.04	c 10.4894 10.875 1052 190353
16.99/17.04	o 6212
17.10/17.11	c 10.5264 10.875 756 191163
17.10/17.11	o 5963
17.10/17.14	c 10.5454 10.875 457 191425
17.10/17.14	o 5938
17.10/17.17	c 10.5594 10.875 543 191716
17.10/17.17	o 5874
17.40/17.49	c 10.7574 10.875 669 194282
17.40/17.49	o 5772
17.50/17.52	c 10.7734 10.875 730 194490
17.50/17.52	o 5756
17.69/17.73	c 10.9013 10.875 590 196458
17.69/17.73	o 5703
17.69/17.79	c 10.9333 10.875 759 196966
17.69/17.79	o 5700
18.39/18.44	c 11.3183 10.875 717 202153
18.39/18.44	o 5678
18.39/18.45	c 11.3273 10.875 755 202371
18.39/18.45	o 5663
18.49/18.60	c 11.4143 10.875 768 203285
18.49/18.60	o 5594
18.89/18.94	c 11.6222 10.875 570 205831
18.89/18.94	o 5592
19.09/19.10	c 11.7092 10.875 719 207434
19.09/19.10	o 5538
19.29/19.37	c 11.8782 10.875 740 209047
19.29/19.37	o 5499
19.39/19.45	c 11.9212 10.875 597 209741
19.39/19.45	o 5482
19.39/19.47	c 11.9312 10.875 640 209920
19.39/19.47	o 5462
19.49/19.52	c 11.9652 10.875 792 210443
19.49/19.52	o 5356
19.89/19.95	c 12.2231 10.875 816 213454
19.89/19.95	o 5323
20.50/20.50	c 12.5761 11 602 216780
20.50/20.50	o 5317
20.59/20.64	c 12.6461 11 525 217655
20.59/20.64	o 5307
20.99/21.09	c 12.924 11 444 221693
20.99/21.09	o 5226
21.09/21.13	c 12.956 11 566 222134
21.09/21.13	o 5180
21.20/21.27	c 13.043 11 607 223397
21.20/21.27	o 5172
21.39/21.41	c 13.127 11 529 224418
21.39/21.41	o 5122
21.39/21.48	c 13.171 11 718 224964
21.39/21.48	o 5116
21.49/21.59	c 13.239 11 668 226046
21.49/21.59	o 5085
21.79/21.80	c 13.349 11 816 227220
21.79/21.80	o 5056
21.99/22.02	c 13.478 11 605 228653
21.99/22.02	o 5053
21.99/22.04	c 13.4969 11 685 229026
21.99/22.04	o 4966
22.29/22.33	c 13.6789 11 935 230496
22.29/22.33	o 4959
22.60/22.69	c 13.8919 11 679 232959
22.60/22.69	o 4898
23.00/23.04	c 14.1019 11 524 235826
23.00/23.04	o 4858
23.29/23.31	c 14.2568 11 495 237859
23.29/23.31	o 4852
23.39/23.45	c 14.3528 11 515 239097
23.39/23.45	o 4783
23.69/23.77	c 14.5408 11 456 241066
23.69/23.77	o 4708
23.69/23.79	c 14.5538 11 505 241331
23.69/23.79	o 4627
24.29/24.37	c 14.9257 11 487 245560
24.29/24.37	o 4545
24.39/24.42	c 14.9527 11 626 246012
24.39/24.42	o 4488
24.89/24.94	c 15.2807 11 754 249687
24.89/24.94	o 4466
25.20/25.26	c 15.4826 11 804 252043
25.20/25.26	o 4442
25.30/25.39	c 15.5636 11 753 252979
25.30/25.39	o 4402
25.39/25.46	c 15.6126 11 548 253618
25.39/25.46	o 4350
25.59/25.66	c 15.7196 11 568 255049
25.59/25.66	o 4250
25.59/25.67	c 15.7246 11 598 255195
25.59/25.67	o 4236
25.69/25.76	c 15.7856 11 840 255919
25.69/25.76	o 4160
25.79/25.82	c 15.8186 11 565 256395
25.79/25.82	o 4135
25.79/25.83	c 15.8246 11 584 256536
25.79/25.83	o 4109
25.79/25.87	c 15.8466 11 673 256904
25.79/25.87	o 3936
25.89/25.91	c 15.8706 11 395 257259
25.89/25.91	o 3923
26.00/26.01	c 15.9346 11 718 258031
26.00/26.01	o 3919
26.00/26.03	c 15.9456 11 755 258315
26.00/26.03	o 3811
26.19/26.22	c 16.0706 11 787 259492
26.19/26.22	o 3782
26.40/26.48	c 16.2295 11.1211 800 261651
26.40/26.48	o 3676
26.49/26.58	c 16.2935 11.1211 695 262471
26.49/26.58	o 3592
26.59/26.66	c 16.3405 11.1211 515 263089
26.59/26.66	o 3533
26.69/26.77	c 16.3995 11.1211 800 263983
26.69/26.77	o 3434
26.80/26.83	c 16.4435 11.1211 551 264464
26.80/26.83	o 3387
26.80/26.88	c 16.4755 11.1211 664 264841
26.80/26.88	o 3379
26.80/26.89	c 16.4775 11.1211 672 264940
26.80/26.89	o 3337
27.19/27.22	c 16.6695 11.1211 666 267169
27.19/27.22	o 3300
27.69/27.79	c 17.0234 11.1211 455 270774
27.69/27.79	o 3206
27.79/27.83	c 17.0484 11.1211 539 270984
27.79/27.83	o 3182
27.89/27.92	c 17.0984 11.1211 774 271570
27.89/27.92	o 3161
27.89/27.96	c 17.1244 11.1211 870 271920
27.89/27.96	o 3096
27.89/28.00	c 17.1454 11.1211 528 272155
27.89/28.00	o 3073
27.99/28.02	c 17.1564 11.1211 587 272391
27.99/28.02	o 3029
28.09/28.15	c 17.2314 11.1211 907 273070
28.09/28.15	o 3011
28.19/28.29	c 17.3204 11.1211 847 274109
28.19/28.29	o 2987
28.39/28.43	c 17.4074 11.1211 797 274964
28.39/28.43	o 2984
28.39/28.46	c 17.4244 11.1211 480 275192
28.39/28.46	o 2973
28.60/28.66	c 17.5403 11.1211 562 276476
28.60/28.66	o 2959
28.60/28.67	c 17.5433 11.1211 580 276605
28.60/28.67	o 2899
28.99/29.02	c 17.7573 11.1211 523 278685
28.99/29.02	o 2817
29.09/29.13	c 17.8263 11.1211 781 279334
29.09/29.13	o 2805
29.19/29.28	c 17.9113 11.1211 676 280220
29.19/29.28	o 2777
29.30/29.31	c 17.9313 11.1211 762 280436
29.30/29.31	o 2767
29.30/29.32	c 17.9393 11.1211 787 280700
29.30/29.32	o 2601
29.30/29.37	c 17.9713 11.1211 507 281106
29.30/29.37	o 2589
29.39/29.44	c 18.0113 11.1211 657 281442
29.39/29.44	o 2551
29.39/29.49	c 18.0443 11.1211 804 281949
29.39/29.49	o 2487
29.49/29.53	c 18.0673 11.1211 460 282416
29.49/29.53	o 2433
29.49/29.53	c 18.0733 11.1211 470 282509
29.49/29.53	o 2425
29.49/29.54	c 18.0753 11.1211 477 282608
29.49/29.54	o 2398
29.49/29.55	c 18.0813 11.1211 502 282698
29.49/29.55	o 2384
29.70/29.75	c 18.2052 11.1211 536 283820
29.70/29.75	o 2330
29.80/29.88	c 18.2732 11.1211 862 284649
29.80/29.88	o 2263
29.89/29.92	c 18.3032 11.1211 527 284958
29.89/29.92	o 2213
29.99/30.04	c 18.3792 11.1211 423 285918
29.99/30.04	o 2040
29.99/30.05	c 18.3842 11.1211 444 285989
29.99/30.05	o 2039
30.09/30.16	c 18.4432 11.1211 696 286749
30.09/30.16	o 2035
30.19/30.29	c 18.5192 11.2422 566 287525
30.19/30.29	o 2031
30.29/30.31	c 18.5312 11.2422 619 287688
30.29/30.31	o 1999
30.39/30.48	c 18.6362 11.2422 638 288829
30.39/30.48	o 1996
30.69/30.79	c 18.8441 11.2422 548 290657
30.69/30.79	o 1908
30.79/30.85	c 18.8821 11.2422 709 291044
30.79/30.85	o 1902
30.90/30.95	c 18.9451 11.2422 472 291670
30.90/30.95	o 1837
30.90/30.96	c 18.9521 11.2422 500 291772
30.90/30.96	o 1827
30.90/30.99	c 18.9741 11.2422 573 292088
30.90/30.99	o 1689
30.99/31.09	c 19.0261 11.2422 791 292559
30.99/31.09	o 1659
31.09/31.14	c 19.0601 11.2422 468 293070
31.09/31.14	o 1559
31.09/31.16	c 19.0711 11.2422 509 293197
31.09/31.16	o 1539
31.20/31.26	c 19.1291 11.2422 783 293868
31.20/31.26	o 1524
31.29/31.30	c 19.1541 11.2422 863 294082
31.29/31.30	o 1511
31.29/31.31	c 19.1641 11.2422 462 294298
31.29/31.31	o 1393
31.29/31.33	c 19.1761 11.2422 517 294458
31.29/31.33	o 1374
31.29/31.38	c 19.2101 11.2422 637 294831
31.29/31.38	o 1353
31.39/31.46	c 19.2551 11.2422 431 295301
31.39/31.46	o 1329
31.39/31.47	c 19.2651 11.2422 458 295450
31.39/31.47	o 1256
31.49/31.50	c 19.2811 11.2422 541 295642
31.49/31.50	o 1239
31.49/31.51	c 19.2911 11.2422 572 295803
31.49/31.51	o 1237
31.49/31.53	c 19.3001 11.2422 615 295994
31.49/31.53	o 1222
31.49/31.58	c 19.3381 11.2422 737 296353
31.49/31.58	o 1191
31.59/31.64	c 19.3821 11.2422 479 296818
31.59/31.64	o 1114
31.69/31.70	c 19.418 11.2422 651 297181
31.69/31.70	o 1108
31.69/31.74	c 19.443 11.2422 762 297453
31.69/31.74	o 1092
31.69/31.76	c 19.455 11.2422 797 297607
31.69/31.76	o 1016
31.79/31.82	c 19.489 11.2422 479 297959
31.79/31.82	o 970
31.79/31.90	c 19.537 11.2422 736 298422
31.79/31.90	o 961
31.90/31.94	c 19.562 11.2422 879 298843
31.90/31.94	o 934
31.90/31.95	c 19.568 11.2422 903 298953
31.90/31.95	o 907
31.90/31.99	c 19.586 11.2422 567 299219
31.90/31.99	o 898
31.90/32.00	c 19.59 11.2422 587 299290
31.90/32.00	o 885
32.00/32.01	c 19.599 11.2422 615 299413
32.00/32.01	o 883
32.00/32.01	c 19.6 11.2422 629 299491
32.00/32.01	o 836
32.00/32.03	c 19.612 11.2422 684 299642
32.00/32.03	o 816
32.00/32.03	c 19.617 11.2422 703 299749
32.00/32.03	o 812
32.00/32.07	c 19.639 11.2422 842 300066
32.00/32.07	o 745
32.10/32.11	c 19.666 11.3672 965 300300
32.10/32.11	o 738
32.10/32.12	c 19.67 11.3672 985 300398
32.10/32.12	o 720
32.10/32.13	c 19.672 11.3672 1000 300465
32.10/32.13	o 715
32.10/32.14	c 19.681 11.3672 1031 300558
32.10/32.14	o 709
32.10/32.14	c 19.682 11.3672 1031 300585
32.10/32.14	o 704
32.10/32.15	c 19.687 11.3672 1054 300704
32.10/32.15	o 625
32.10/32.17	c 19.701 11.3672 1128 300873
32.10/32.17	o 561
32.10/32.18	c 19.712 11.3672 605 300958
32.10/32.18	o 557
32.10/32.18	c 19.716 11.3672 626 301034
32.10/32.18	o 532
32.10/32.19	c 19.72 11.3672 644 301100
32.10/32.19	o 501
32.10/32.20	c 19.725 11.3672 655 301210
32.10/32.20	o 481
32.19/32.20	c 19.731 11.3672 685 301278
32.19/32.20	o 470
32.19/32.21	c 19.736 11.3672 702 301367
32.19/32.21	o 462
32.19/32.21	c 19.74 11.3672 713 301422
32.19/32.21	o 448
32.19/32.22	c 19.745 11.3672 727 301509
32.19/32.22	o 400
32.19/32.22	c 19.746 11.3672 677 301539
32.19/32.22	o 395
32.19/32.23	c 19.754 11.3672 727 301638
32.19/32.23	o 394
32.19/32.24	c 19.757 11.3672 751 301769
32.19/32.24	o 301
32.19/32.24	c 19.761 11.3672 777 301850
32.19/32.24	o 298
32.19/32.25	c 19.767 11.3672 808 301913
32.19/32.25	o 292
32.19/32.26	c 19.771 11.3672 634 302047
32.19/32.26	o 275
32.19/32.26	c 19.773 11.3672 637 302071
32.19/32.26	o 273
32.19/32.26	c 19.773 11.3672 637 302092
32.19/32.26	o 263
32.19/32.27	c 19.778 11.3672 657 302154
32.19/32.27	o 240
32.19/32.27	c 19.782 11.3672 679 302221
32.19/32.27	o 232
32.19/32.28	c 19.783 11.3672 689 302264
32.19/32.28	o 220
32.19/32.28	c 19.786 11.3672 724 302344
32.19/32.28	o 184
32.19/32.28	c 19.788 11.3672 607 302446
32.19/32.28	o 119
32.19/32.28	c 19.79 11.3672 614 302503
32.19/32.28	o 77
32.19/32.29	c 19.794 11.3672 640 302565
32.19/32.29	o 43
32.19/32.29	c 19.794 11.3672 640 302579
32.19/32.29	o 39
32.19/32.29	c 19.795 11.3672 642 302630
32.19/32.29	o 0
32.19/32.29	c 19.795 11.3672 642 302630
32.19/32.29	s OPTIMUM FOUND
32.19/32.29	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-2700060-1278533941/watcher-2700060-1278533941 -o /tmp/evaluation-result-2700060-1278533941/solver-2700060-1278533941 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700060-1278533941.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.65 0.59 0.21 4/178 18311
/proc/meminfo: memFree=29343624/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=2136 CPUtime=0
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 255 0 0 0 0 0 0 0 23 0 1 0 21608869 2187264 174 4089446400 134512640 136421960 4288203472 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18311/statm: 534 174 144 467 0 65 0

[startup+0.0582019 s]
/proc/loadavg: 1.65 0.59 0.21 4/178 18311
/proc/meminfo: memFree=29343624/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10500 CPUtime=0.05
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2343 0 0 0 4 1 0 0 25 0 1 0 21608869 10752000 2255 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2625 2255 237 467 0 2156 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10500

[startup+0.101315 s]
/proc/loadavg: 1.65 0.59 0.21 4/178 18311
/proc/meminfo: memFree=29343624/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10500 CPUtime=0.09
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2353 0 0 0 7 2 0 0 25 0 1 0 21608869 10752000 2262 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2625 2262 237 467 0 2156 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10500

[startup+0.303146 s]
/proc/loadavg: 1.65 0.59 0.21 4/178 18311
/proc/meminfo: memFree=29343624/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10628 CPUtime=0.29
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2396 0 0 0 18 11 0 0 25 0 1 0 21608869 10883072 2304 4089446400 134512640 136421960 4288203472 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2657 2304 238 467 0 2188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10628

[startup+0.701088 s]
/proc/loadavg: 1.65 0.59 0.21 4/178 18311
/proc/meminfo: memFree=29343624/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10628 CPUtime=0.69
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2402 0 0 0 44 25 0 0 25 0 1 0 21608869 10883072 2305 4089446400 134512640 136421960 4288203472 18446744073709551615 134867008 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2657 2305 238 467 0 2188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10628

[startup+1.50095 s]
/proc/loadavg: 1.65 0.59 0.21 4/179 18312
/proc/meminfo: memFree=29335060/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10752 CPUtime=1.49
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2449 0 0 0 93 56 0 0 18 0 1 0 21608869 11010048 2336 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2688 2336 238 467 0 2219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10752

[startup+3.10065 s]
/proc/loadavg: 1.65 0.59 0.21 3/179 18312
/proc/meminfo: memFree=29332580/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10880 CPUtime=3.09
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2488 0 0 0 193 116 0 0 21 0 1 0 21608869 11141120 2358 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2720 2358 238 467 0 2251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10880

[startup+6.30108 s]
/proc/loadavg: 1.67 0.61 0.22 4/179 18312
/proc/meminfo: memFree=29329384/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10880 CPUtime=6.29
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2518 0 0 0 387 242 0 0 25 0 1 0 21608869 11141120 2377 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2720 2377 238 467 0 2251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10880

[startup+12.7009 s]
/proc/loadavg: 1.70 0.63 0.23 4/179 18312
/proc/meminfo: memFree=29323068/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11004 CPUtime=12.69
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2582 0 0 0 782 487 0 0 25 0 1 0 21608869 11268096 2413 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2751 2413 238 467 0 2282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11004

[startup+25.5006 s]
/proc/loadavg: 1.77 0.70 0.25 3/179 18312
/proc/meminfo: memFree=29309960/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11260 CPUtime=25.49
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2715 0 0 0 1563 986 0 0 25 0 1 0 21608869 11530240 2484 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/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.701 s]
/proc/loadavg: 1.78 0.72 0.26 4/179 18312
/proc/meminfo: memFree=29306608/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11384 CPUtime=28.69
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2761 0 0 0 1756 1113 0 0 25 0 1 0 21608869 11657216 2500 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2846 2500 238 467 0 2377 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 11384

[startup+30.3007 s]
/proc/loadavg: 1.78 0.72 0.26 3/179 18312
/proc/meminfo: memFree=29306112/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11508 CPUtime=30.29
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2799 0 0 0 1852 1177 0 0 25 0 1 0 21608869 11784192 2519 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2877 2519 238 467 0 2408 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 11508

[startup+31.1006 s]
/proc/loadavg: 1.78 0.72 0.26 3/179 18312
/proc/meminfo: memFree=29304872/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11508 CPUtime=31.09
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2813 0 0 0 1902 1207 0 0 25 0 1 0 21608869 11784192 2525 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2877 2525 238 467 0 2408 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 11508

[startup+31.9064 s]
/proc/loadavg: 1.78 0.72 0.26 3/179 18312
/proc/meminfo: memFree=29303500/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=11508 CPUtime=31.9
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2849 0 0 0 1954 1236 0 0 25 0 1 0 21608869 11784192 2542 4089446400 134512640 136421960 4288203472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2877 2542 238 467 0 2408 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11508

[startup+32.3004 s]
/proc/loadavg: 1.78 0.72 0.26 3/179 18312
/proc/meminfo: memFree=29303500/32950928 swapFree=67111528/67111528
[pid=18311] ppid=18309 vsize=10856 CPUtime=32.29
/proc/18311/stat : 18311 (pbct) R 18309 18311 17885 0 -1 4202496 2914 0 0 0 1980 1249 0 0 18 0 1 0 21608869 11116544 2419 4089446400 134512640 136421960 4288203472 18446744073709551615 134701432 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18311/statm: 2714 2419 241 467 0 2245 0
Current children cumulated CPU time (s) 32.29
Current children cumulated vsize (KiB) 10856

Child status: 0
Real time (s): 32.3046
CPU time (s): 32.3051
CPU user time (s): 19.805
CPU system time (s): 12.5001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.805
system time used= 12.5001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2915
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= 6
involuntary context switches= 76

runsolver used 0.054991 second user time and 0.119981 second system time

The end

Launcher Data 

Begin job on node112 at 2010-07-07 22:19:01
IDJOB=2700060
IDBENCH=79396
IDSOLVER=1208
FILE ID=node112/2700060-1278533941
PBS_JOBID= 11239254
Free space on /tmp= 73448 MiB

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

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

MD5SUM BENCH= dc9398e8d8662385aed113468e487865
RANDOM SEED=1698972095

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29344144 kB
Buffers:        130564 kB
Cached:        3104684 kB
SwapCached:          0 kB
Active:        1404840 kB
Inactive:      2053616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29344144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:      222744 kB
Mapped:          16864 kB
Slab:            86472 kB
PageTables:       4980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   370624 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= 73448 MiB
End job on node112 at 2010-07-07 22:19:34