Trace number 2700411

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 33.1 33.0979

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
MD5SUM862c57b9a103de4e976a73e17aca1258
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.471927
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.01/0.04	c 0.036994 9.75 1 1853
0.01/0.04	o 23932
0.01/0.04	c 0.037994 9.89844 1 2130
0.01/0.04	o 23705
0.01/0.04	c 0.037994 9.89844 1 2347
0.01/0.04	o 23573
0.01/0.04	c 0.038994 9.89844 1 2628
0.01/0.04	o 23346
0.01/0.04	c 0.039993 9.89844 3 2862
0.01/0.04	o 23198
0.01/0.04	c 0.040993 9.89844 3 3701
0.01/0.04	o 15330
0.01/0.05	c 0.041993 9.89844 3 4541
0.01/0.05	o 14284
0.01/0.05	c 0.043993 9.89844 3 5303
0.01/0.05	o 13554
0.01/0.05	c 0.044993 9.89844 5 5670
0.01/0.05	o 13424
0.01/0.05	c 0.045993 9.89844 5 6276
0.01/0.05	o 12986
0.01/0.06	c 0.047992 9.89844 32 6851
0.01/0.06	o 12879
0.01/0.06	c 0.050992 9.89844 47 7150
0.01/0.06	o 12785
0.01/0.08	c 0.06499 10.0234 149 7791
0.01/0.08	o 12755
0.01/0.09	c 0.066989 10.0234 166 8034
0.01/0.09	o 12746
0.29/0.38	c 0.241963 10.1484 489 13327
0.29/0.38	o 12728
0.39/0.41	c 0.253961 10.1484 582 13673
0.39/0.41	o 12720
0.39/0.43	c 0.265959 10.1484 647 14011
0.39/0.43	o 12607
0.39/0.44	c 0.275958 10.1484 432 14633
0.39/0.44	o 12476
0.39/0.45	c 0.284956 10.1484 495 15038
0.39/0.45	o 12349
0.49/0.56	c 0.355945 10.1484 430 17015
0.49/0.56	o 12291
0.49/0.56	c 0.357945 10.1484 444 17236
0.49/0.56	o 12262
0.49/0.58	c 0.372943 10.1484 509 17587
0.49/0.58	o 12203
0.59/0.61	c 0.39294 10.1484 712 18324
0.59/0.61	o 12127
0.79/0.83	c 0.52192 10.1484 720 21334
0.79/0.83	o 11891
0.79/0.87	c 0.547916 10.1484 574 22130
0.79/0.87	o 11880
0.79/0.88	c 0.559914 10.1484 634 22417
0.79/0.88	o 11867
2.29/2.39	c 1.54076 10.2734 773 39498
2.29/2.39	o 11809
2.39/2.47	c 1.59576 10.2734 454 40866
2.39/2.47	o 11723
2.49/2.58	c 1.66375 10.2734 698 42547
2.49/2.58	o 11668
2.59/2.61	c 1.68574 10.2734 508 43099
2.59/2.61	o 11659
2.59/2.67	c 1.73074 10.2734 769 43921
2.59/2.67	o 11606
2.59/2.69	c 1.74373 10.2734 490 44714
2.59/2.69	o 11407
2.59/2.69	c 1.74473 10.2734 491 45502
2.59/2.69	o 10619
2.69/2.74	c 1.77273 10.2734 361 46394
2.69/2.74	o 10547
2.69/2.78	c 1.80173 10.2734 566 47196
2.69/2.78	o 10536
2.69/2.79	c 1.80573 10.2734 585 47592
2.69/2.79	o 10330
2.79/2.80	c 1.81172 10.2734 655 47932
2.79/2.80	o 10254
2.79/2.83	c 1.83172 10.2734 472 48554
2.79/2.83	o 10206
3.99/4.09	c 2.6206 10.2734 598 65395
3.99/4.09	o 10142
5.99/6.03	c 3.84442 10.3984 812 86344
5.99/6.03	o 10094
6.09/6.13	c 3.90641 10.3984 424 87631
6.09/6.13	o 10092
6.09/6.13	c 3.90841 10.3984 427 87940
6.09/6.13	o 9883
6.09/6.13	c 3.9114 10.3984 433 88140
6.09/6.13	o 9821
6.09/6.15	c 3.9204 10.3984 493 88446
6.09/6.15	o 9802
6.19/6.26	c 3.98839 10.3984 627 90120
6.19/6.26	o 9631
6.39/6.49	c 4.13137 10.3984 705 92466
6.39/6.49	o 9577
6.60/6.65	c 4.23036 10.3984 731 94704
6.60/6.65	o 9547
6.69/6.71	c 4.26135 10.3984 353 95789
6.69/6.71	o 9488
6.89/6.91	c 4.39133 10.3984 713 97708
6.89/6.91	o 9412
6.89/6.94	c 4.40333 10.3984 437 98027
6.89/6.94	o 9363
7.49/7.56	c 4.79827 10.3984 755 104461
7.49/7.56	o 9360
7.59/7.64	c 4.84826 10.3984 686 105562
7.59/7.64	o 9155
7.79/7.84	c 4.97524 10.3984 735 107941
7.79/7.84	o 9036
7.89/7.91	c 5.02324 10.3984 646 108875
7.89/7.91	o 9002
7.99/8.01	c 5.08323 10.3984 664 110194
7.99/8.01	o 8796
8.39/8.47	c 5.34219 10.3984 521 113282
8.39/8.47	o 8787
8.70/8.72	c 5.49316 10.3984 527 116179
8.70/8.72	o 8784
8.89/8.90	c 5.60615 10.3984 671 118541
8.89/8.90	o 8762
8.89/8.92	c 5.61914 10.3984 426 118938
8.89/8.92	o 8658
9.19/9.21	c 5.80612 10.3984 529 122454
9.19/9.21	o 8610
9.19/9.24	c 5.81912 10.3984 664 123008
9.19/9.24	o 8585
9.59/9.66	c 6.07608 10.5234 825 127710
9.59/9.66	o 8442
9.69/9.76	c 6.13707 10.5234 748 128732
9.69/9.76	o 8423
9.90/9.92	c 6.22005 10.5234 706 130430
9.90/9.92	o 8381
10.19/10.22	c 6.40803 10.5234 421 133981
10.19/10.22	o 8222
10.39/10.41	c 6.52901 10.5234 498 136492
10.39/10.41	o 8131
10.49/10.52	c 6.601 10.5234 638 137721
10.49/10.52	o 8103
10.90/10.92	c 6.86596 10.5234 716 141330
10.90/10.92	o 8101
11.10/11.10	c 6.98594 10.5234 801 143076
11.10/11.10	o 8086
11.49/11.51	c 7.2439 10.5234 742 147697
11.49/11.51	o 8058
11.70/11.74	c 7.37088 10.5234 850 149599
11.70/11.74	o 8027
12.00/12.04	c 7.55685 10.5234 577 153133
12.00/12.04	o 7862
12.99/13.01	c 8.17576 10.5234 408 161870
12.99/13.01	o 7777
12.99/13.02	c 8.17776 10.5234 414 162055
12.99/13.02	o 7766
12.99/13.07	c 8.20375 10.5234 556 162637
12.99/13.07	o 7653
13.09/13.13	c 8.24075 10.5234 735 163153
13.09/13.13	o 7648
13.70/13.73	c 8.61769 10.5234 586 168937
13.70/13.73	o 7640
13.89/13.95	c 8.76967 10.5234 514 171743
13.89/13.95	o 7514
13.89/13.99	c 8.79966 10.5234 694 172366
13.89/13.99	o 7507
14.09/14.10	c 8.87365 10.5234 457 173851
14.09/14.10	o 7453
14.40/14.46	c 9.09262 10.5234 765 177709
14.40/14.46	o 7433
14.79/14.87	c 9.35258 10.5234 789 181536
14.79/14.87	o 7431
14.89/14.96	c 9.40757 10.5234 433 182677
14.89/14.96	o 7383
15.09/15.12	c 9.51555 10.5234 726 184545
15.09/15.12	o 7324
15.09/15.14	c 9.52555 10.5234 467 185010
15.09/15.14	o 7244
15.09/15.16	c 9.54355 10.5234 549 185325
15.09/15.16	o 7217
15.30/15.30	c 9.62354 10.5234 665 187067
15.30/15.30	o 7050
15.69/15.72	c 9.8845 10.6484 421 192602
15.69/15.72	o 7009
15.69/15.74	c 9.89749 10.6484 487 192960
15.69/15.74	o 6904
15.79/15.80	c 9.92949 10.6484 671 193537
15.79/15.80	o 6897
15.79/15.88	c 9.98348 10.6484 558 194278
15.79/15.88	o 6814
16.09/16.19	c 10.1725 10.6484 737 198253
16.09/16.19	o 6531
16.79/16.88	c 10.5984 10.6484 547 204931
16.79/16.88	o 6394
17.10/17.14	c 10.7564 10.6484 590 207838
17.10/17.14	o 6390
17.50/17.51	c 10.9603 10.6484 855 211421
17.50/17.51	o 6360
17.60/17.65	c 11.0393 10.6484 609 212923
17.60/17.65	o 6330
17.69/17.77	c 11.1033 10.6484 732 214082
17.69/17.77	o 6250
17.90/17.95	c 11.2123 10.6484 438 216449
17.90/17.95	o 6159
17.90/17.99	c 11.2353 10.6484 595 216897
17.90/18.00	o 6156
18.49/18.58	c 11.5922 10.6484 837 222312
18.49/18.58	o 6154
18.60/18.67	c 11.6512 10.6484 454 223601
18.60/18.67	o 6132
18.99/19.05	c 11.8802 10.6484 674 227272
18.99/19.05	o 6123
18.99/19.09	c 11.9012 10.6484 437 227749
18.99/19.09	o 6089
19.19/19.21	c 11.9752 10.6484 848 228885
19.19/19.21	o 5954
19.29/19.37	c 12.0782 10.6484 505 230107
19.29/19.37	o 5938
19.49/19.53	c 12.1821 10.6484 501 232017
19.49/19.53	o 5822
19.59/19.67	c 12.2721 10.6484 664 233582
19.59/19.67	o 5802
20.09/20.12	c 12.5591 10.6484 773 237307
20.09/20.12	o 5710
20.09/20.14	c 12.5771 10.6484 499 237761
20.09/20.14	o 5700
20.09/20.18	c 12.5961 10.6484 623 238266
20.09/20.18	o 5655
20.59/20.60	c 12.847 10.6484 610 242186
20.59/20.60	o 5605
20.69/20.70	c 12.916 10.6484 583 243339
20.69/20.70	o 5436
20.80/20.88	c 13.014 10.6484 786 244855
20.80/20.88	o 5295
20.89/20.95	c 13.056 10.6484 641 245529
20.89/20.95	o 5208
21.09/21.15	c 13.182 10.6484 592 247311
21.09/21.15	o 5158
21.39/21.45	c 13.369 10.6484 887 250338
21.39/21.45	o 5004
21.49/21.59	c 13.448 10.6484 632 252028
21.49/21.59	o 4949
21.70/21.70	c 13.5129 10.6484 635 252817
21.70/21.70	o 4933
22.09/22.15	c 13.7889 10.6484 763 257498
22.09/22.15	o 4898
22.49/22.57	c 14.0599 10.7695 640 260477
22.49/22.57	o 4885
22.59/22.63	c 14.0959 10.7695 446 261041
22.59/22.63	o 4780
22.59/22.67	c 14.1239 10.7695 598 261555
22.59/22.67	o 4732
22.69/22.72	c 14.1568 10.7695 781 262188
22.69/22.72	o 4636
22.79/22.84	c 14.2328 10.7695 792 263094
22.79/22.84	o 4584
23.00/23.03	c 14.3558 10.7695 637 264980
23.00/23.03	o 4523
23.20/23.20	c 14.4648 10.7695 792 266262
23.20/23.20	o 4505
23.39/23.45	c 14.6118 10.7695 510 268633
23.39/23.45	o 4473
24.39/24.45	c 15.2397 10.7695 517 277457
24.39/24.45	o 4385
24.69/24.79	c 15.4507 10.7695 575 280945
24.69/24.79	o 4381
24.99/25.07	c 15.6216 10.7695 852 283209
24.99/25.07	o 4325
25.19/25.27	c 15.7346 10.7695 745 285208
25.19/25.27	o 4322
25.39/25.44	c 15.8396 10.7695 852 286525
25.39/25.44	o 4318
25.49/25.54	c 15.9026 10.7695 757 287520
25.49/25.54	o 4172
25.69/25.72	c 16.0156 10.7695 522 288971
25.69/25.72	o 4146
25.69/25.77	c 16.0516 10.7695 777 289805
25.69/25.77	o 4101
25.79/25.85	c 16.0986 10.7695 645 290548
25.79/25.85	o 4065
25.79/25.87	c 16.1165 10.7695 714 290793
25.79/25.87	o 4036
25.89/25.90	c 16.1375 10.7695 427 291257
25.89/25.90	o 4021
25.99/26.05	c 16.2335 10.7695 879 292408
25.99/26.05	o 3988
26.10/26.18	c 16.3125 10.7695 526 293807
26.10/26.18	o 3955
26.19/26.25	c 16.3555 10.7695 812 294751
26.19/26.25	o 3916
26.19/26.27	c 16.3625 10.7695 456 295034
26.19/26.27	o 3850
26.49/26.53	c 16.5205 10.7695 431 297052
26.49/26.53	o 3840
26.69/26.75	c 16.6525 10.7695 748 298960
26.69/26.75	o 3788
26.69/26.78	c 16.6765 10.7695 511 299359
26.69/26.78	o 3787
26.69/26.79	c 16.6835 10.7695 543 299514
26.69/26.79	o 3757
27.09/27.16	c 16.8994 10.7695 572 302389
27.09/27.16	o 3733
27.19/27.28	c 16.9744 10.7695 624 303566
27.19/27.28	o 3679
27.19/27.29	c 16.9844 10.7695 679 303814
27.19/27.29	o 3656
27.29/27.37	c 17.0284 10.7695 581 304575
27.29/27.37	o 3635
27.39/27.49	c 17.0964 10.7695 553 305624
27.39/27.49	o 3634
27.50/27.55	c 17.1344 10.7695 741 306092
27.50/27.55	o 3631
27.79/27.80	c 17.2854 10.7695 704 308100
27.79/27.80	o 3613
27.79/27.83	c 17.3064 10.7695 790 308389
27.79/27.83	o 3558
27.99/28.02	c 17.4244 10.7695 498 309810
27.99/28.02	o 3475
27.99/28.04	c 17.4343 10.7695 531 309972
27.99/28.04	o 3465
27.99/28.07	c 17.4503 10.7695 610 310187
27.99/28.07	o 3440
28.19/28.20	c 17.5173 10.7695 563 311295
28.19/28.20	o 3345
28.19/28.23	c 17.5333 10.7695 639 311568
28.19/28.23	o 3256
28.50/28.55	c 17.7573 10.8945 443 314271
28.50/28.55	o 3173
28.50/28.59	c 17.7803 10.8945 563 314687
28.50/28.59	o 3124
28.50/28.60	c 17.7823 10.8945 563 314742
28.50/28.60	o 3106
28.50/28.60	c 17.7843 10.8945 563 314778
28.50/28.60	o 3105
28.60/28.60	c 17.7883 10.8945 584 314899
28.60/28.60	o 3032
28.79/28.81	c 17.9153 10.8945 799 316522
28.79/28.81	o 3003
28.90/28.98	c 18.0273 10.8945 470 317740
28.90/28.98	o 2969
28.90/29.00	c 18.0373 10.8945 515 317932
28.90/29.00	o 2962
28.99/29.03	c 18.0603 10.8945 610 318253
28.99/29.03	o 2955
29.29/29.34	c 18.2632 10.8945 705 320443
29.29/29.34	o 2941
29.39/29.44	c 18.3272 10.8945 589 321207
29.39/29.44	o 2937
29.39/29.47	c 18.3462 10.8945 673 321529
29.39/29.47	o 2899
29.60/29.70	c 18.4732 10.8945 498 323124
29.60/29.70	o 2893
29.70/29.73	c 18.4922 10.8945 593 323368
29.70/29.73	o 2883
29.79/29.89	c 18.5882 10.8945 616 324603
29.79/29.89	o 2857
29.90/29.93	c 18.6152 10.8945 737 325079
29.90/29.93	o 2818
29.99/30.08	c 18.7102 10.8945 730 326215
29.99/30.08	o 2799
30.19/30.26	c 18.8161 10.8945 783 327299
30.19/30.26	o 2798
30.19/30.28	c 18.8241 10.8945 448 327477
30.19/30.28	o 2781
30.30/30.33	c 18.8531 10.8945 584 327923
30.30/30.33	o 2753
30.49/30.57	c 19.0061 10.8945 932 329684
30.49/30.57	o 2751
30.70/30.77	c 19.1341 10.8945 538 330864
30.70/30.77	o 2718
30.80/30.80	c 19.1591 10.8945 627 331224
30.80/30.80	o 2608
30.99/31.08	c 19.3291 10.8945 686 333348
30.99/31.08	o 2607
30.99/31.09	c 19.3381 10.8945 711 333453
30.99/31.09	o 2599
31.20/31.21	c 19.421 10.8945 671 334311
31.20/31.21	o 2553
31.20/31.26	c 19.456 10.8945 810 334773
31.20/31.26	o 2538
31.30/31.30	c 19.474 10.8945 491 335046
31.30/31.30	o 2507
31.39/31.41	c 19.544 10.8945 769 335906
31.39/31.41	o 2405
31.49/31.52	c 19.624 10.8945 680 336851
31.49/31.52	o 2338
31.49/31.53	c 19.629 10.8945 701 337033
31.49/31.53	o 2249
31.49/31.59	c 19.667 10.8945 463 337503
31.49/31.59	o 2211
31.69/31.72	c 19.761 10.8945 849 338387
31.69/31.72	o 2191
31.79/31.80	c 19.811 10.8945 649 338918
31.79/31.80	o 2184
31.79/31.84	c 19.83 10.8945 732 339131
31.79/31.84	o 2162
31.79/31.85	c 19.841 10.8945 766 339304
31.79/31.85	o 2123
32.00/32.04	c 19.957 10.8945 809 340392
32.00/32.04	o 2075
32.00/32.08	c 19.976 10.8945 507 340679
32.00/32.08	o 2024
32.00/32.08	c 19.977 11.0273 509 340742
32.00/32.08	o 1997
32.00/32.09	c 19.985 11.0273 533 340901
32.00/32.09	o 1930
32.09/32.15	c 20.019 11.0273 680 341285
32.09/32.15	o 1923
32.20/32.25	c 20.0829 11.0273 500 342151
32.20/32.25	o 1876
32.20/32.25	c 20.0869 11.0273 507 342265
32.20/32.25	o 1820
32.20/32.27	c 20.0929 11.0273 542 342371
32.20/32.27	o 1815
32.20/32.29	c 20.1099 11.0273 626 342544
32.20/32.29	o 1766
32.30/32.30	c 20.1129 11.0273 643 342694
32.30/32.30	o 1686
32.30/32.32	c 20.1249 11.0273 686 342820
32.30/32.32	o 1663
32.30/32.32	c 20.1329 11.0273 710 342927
32.30/32.32	o 1638
32.30/32.33	c 20.1369 11.0273 728 343089
32.30/32.33	o 1531
32.30/32.36	c 20.1569 11.0273 826 343315
32.30/32.36	o 1520
32.30/32.37	c 20.1609 11.0273 426 343430
32.30/32.37	o 1468
32.30/32.37	c 20.1669 11.0273 446 343537
32.30/32.37	o 1409
32.30/32.39	c 20.1789 11.0273 484 343743
32.30/32.39	o 1310
32.30/32.39	c 20.1789 11.0273 490 343795
32.30/32.39	o 1295
32.39/32.41	c 20.1919 11.0273 537 343976
32.39/32.41	o 1258
32.59/32.62	c 20.3199 11.0273 654 345123
32.59/32.62	o 1249
32.59/32.63	c 20.3239 11.0273 679 345243
32.59/32.63	o 1184
32.59/32.67	c 20.3569 11.0273 855 345575
32.59/32.67	o 1181
32.70/32.71	c 20.3769 11.0273 565 345880
32.70/32.71	o 1157
32.70/32.73	c 20.3949 11.0273 636 346131
32.70/32.73	o 1151
32.70/32.74	c 20.4009 11.0273 666 346233
32.70/32.74	o 1144
32.70/32.76	c 20.4149 11.0273 706 346335
32.70/32.76	o 1140
32.80/32.84	c 20.4639 11.0273 463 346894
32.80/32.84	o 1090
32.80/32.88	c 20.4859 11.0273 607 347238
32.80/32.88	o 1086
32.80/32.89	c 20.4949 11.0273 634 347321
32.80/32.89	o 1062
32.80/32.90	c 20.4949 11.0273 639 347382
32.80/32.90	o 1043
32.90/32.91	c 20.5029 11.0273 687 347559
32.90/32.91	o 1003
32.90/32.94	c 20.5189 11.0273 740 347912
32.90/32.94	o 881
32.90/32.95	c 20.5289 11.0273 765 348042
32.90/32.95	o 812
32.90/32.96	c 20.5349 11.0273 802 348160
32.90/32.96	o 755
32.90/32.97	c 20.5449 11.0273 842 348358
32.90/32.97	o 661
32.90/32.98	c 20.5479 11.0273 812 348398
32.90/32.98	o 657
32.90/32.98	c 20.5489 11.0273 819 348466
32.90/32.98	o 599
32.90/32.98	c 20.5529 11.0273 837 348579
32.90/32.98	o 536
32.90/32.99	c 20.5619 11.1523 921 348748
32.90/32.99	o 459
33.00/33.00	c 20.5659 11.1523 781 348837
33.00/33.00	o 409
33.00/33.01	c 20.5699 11.1523 800 348889
33.00/33.01	o 394
33.00/33.01	c 20.5719 11.1523 809 348924
33.00/33.01	o 385
33.00/33.03	c 20.5849 11.1523 872 349052
33.00/33.03	o 348
33.00/33.03	c 20.5899 11.1523 684 349116
33.00/33.03	o 345
33.00/33.04	c 20.5929 11.1523 701 349184
33.00/33.04	o 317
33.00/33.04	c 20.5969 11.1523 723 349262
33.00/33.04	o 286
33.00/33.04	c 20.5989 11.1523 735 349304
33.00/33.04	o 282
33.00/33.06	c 20.6129 11.1523 695 349473
33.00/33.06	o 261
33.00/33.06	c 20.6129 11.1523 695 349491
33.00/33.06	o 260
33.00/33.06	c 20.6139 11.1523 701 349530
33.00/33.06	o 252
33.00/33.07	c 20.6149 11.1523 702 349564
33.00/33.07	o 246
33.00/33.07	c 20.6149 11.1523 703 349675
33.00/33.07	o 137
33.00/33.07	c 20.6159 11.1523 703 349720
33.00/33.07	o 99
33.00/33.07	c 20.6169 11.1523 703 349740
33.00/33.07	o 98
33.00/33.07	c 20.6219 11.1523 739 349834
33.00/33.07	o 60
33.00/33.08	c 20.6259 11.1523 769 349894
33.00/33.08	o 38
33.00/33.08	c 20.6289 11.1523 828 349998
33.00/33.08	o 0
33.00/33.08	c 20.6289 11.1523 671 349998
33.00/33.08	s OPTIMUM FOUND
33.00/33.08	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-2700411-1278535504/watcher-2700411-1278535504 -o /tmp/evaluation-result-2700411-1278535504/solver-2700411-1278535504 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700411-1278535504.wbo 

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


[startup+0 s]
/proc/loadavg: 2.22 2.14 1.71 4/178 18704
/proc/meminfo: memFree=28366036/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=2136 CPUtime=0
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 256 0 0 0 0 0 0 0 24 0 1 0 21762778 2187264 176 4089446400 134512640 136422188 4293474736 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18704/statm: 534 176 144 467 0 65 0

[startup+0.0152911 s]
/proc/loadavg: 2.22 2.14 1.71 4/178 18704
/proc/meminfo: memFree=28366036/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=4512 CPUtime=0.01
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 819 0 0 0 1 0 0 0 25 0 1 0 21762778 4620288 740 4089446400 134512640 136422188 4293474736 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 1128 751 193 467 0 659 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4512

[startup+0.101262 s]
/proc/loadavg: 2.22 2.14 1.71 4/178 18704
/proc/meminfo: memFree=28366036/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10260 CPUtime=0.09
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2293 0 0 0 6 3 0 0 25 0 1 0 21762778 10506240 2199 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2565 2199 238 467 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.30022 s]
/proc/loadavg: 2.22 2.14 1.71 4/178 18704
/proc/meminfo: memFree=28366036/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10388 CPUtime=0.29
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2322 0 0 0 18 11 0 0 25 0 1 0 21762778 10637312 2228 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2597 2228 238 467 0 2128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10388

[startup+0.700154 s]
/proc/loadavg: 2.22 2.14 1.71 4/178 18704
/proc/meminfo: memFree=28366036/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10388 CPUtime=0.69
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2346 0 0 0 44 25 0 0 25 0 1 0 21762778 10637312 2243 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2597 2243 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50098 s]
/proc/loadavg: 2.22 2.14 1.71 3/179 18705
/proc/meminfo: memFree=28356604/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10388 CPUtime=1.49
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2365 0 0 0 95 54 0 0 25 0 1 0 21762778 10637312 2259 4089446400 134512640 136422188 4293474736 18446744073709551615 134641255 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2597 2259 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.10068 s]
/proc/loadavg: 2.22 2.14 1.71 3/179 18705
/proc/meminfo: memFree=28355116/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10516 CPUtime=3.09
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2401 0 0 0 200 109 0 0 25 0 1 0 21762778 10768384 2283 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2629 2283 238 467 0 2160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10516

[startup+6.30102 s]
/proc/loadavg: 2.20 2.13 1.71 3/179 18705
/proc/meminfo: memFree=28352980/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10644 CPUtime=6.29
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2433 0 0 0 401 228 0 0 25 0 1 0 21762778 10899456 2308 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2661 2308 238 467 0 2192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10644

[startup+12.7008 s]
/proc/loadavg: 2.19 2.13 1.71 3/179 18705
/proc/meminfo: memFree=28348880/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=10772 CPUtime=12.69
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2500 0 0 0 797 472 0 0 25 0 1 0 21762778 11030528 2348 4089446400 134512640 136422188 4293474736 18446744073709551615 134869733 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2693 2348 238 467 0 2224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10772

[startup+25.5002 s]
/proc/loadavg: 2.15 2.12 1.72 3/179 18705
/proc/meminfo: memFree=28340796/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11024 CPUtime=25.49
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2616 0 0 0 1587 962 0 0 25 0 1 0 21762778 11288576 2404 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2756 2404 238 467 0 2287 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11024

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

[startup+28.7006 s]
/proc/loadavg: 2.15 2.12 1.72 3/179 18705
/proc/meminfo: memFree=28338560/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11152 CPUtime=28.69
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2673 0 0 0 1784 1085 0 0 25 0 1 0 21762778 11419648 2429 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2788 2429 238 467 0 2319 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 11152

[startup+30.3002 s]
/proc/loadavg: 2.13 2.12 1.72 3/179 18705
/proc/meminfo: memFree=28337940/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11152 CPUtime=30.3
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2698 0 0 0 1883 1147 0 0 25 0 1 0 21762778 11419648 2440 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2788 2440 238 467 0 2319 0
Current children cumulated CPU time (s) 30.3
Current children cumulated vsize (KiB) 11152

[startup+31.9059 s]
/proc/loadavg: 2.13 2.12 1.72 3/179 18706
/proc/meminfo: memFree=28336200/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11152 CPUtime=31.9
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2731 0 0 0 1987 1203 0 0 25 0 1 0 21762778 11419648 2456 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2788 2456 238 467 0 2319 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11152

[startup+32.7008 s]
/proc/loadavg: 2.13 2.12 1.72 3/179 18706
/proc/meminfo: memFree=28336200/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11288 CPUtime=32.7
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2781 0 0 0 2037 1233 0 0 25 0 1 0 21762778 11558912 2484 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2822 2484 238 467 0 2353 0
Current children cumulated CPU time (s) 32.7
Current children cumulated vsize (KiB) 11288

[startup+32.9007 s]
/proc/loadavg: 2.13 2.12 1.72 3/179 18706
/proc/meminfo: memFree=28335332/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11288 CPUtime=32.9
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2793 0 0 0 2049 1241 0 0 25 0 1 0 21762778 11558912 2488 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2822 2488 238 467 0 2353 0
Current children cumulated CPU time (s) 32.9
Current children cumulated vsize (KiB) 11288

[startup+33.0067 s]
/proc/loadavg: 2.13 2.12 1.72 3/179 18706
/proc/meminfo: memFree=28335332/32951124 swapFree=67111528/67111528
[pid=18704] ppid=18702 vsize=11416 CPUtime=33
/proc/18704/stat : 18704 (pbct) R 18702 18704 18174 0 -1 4202496 2808 0 0 0 2056 1244 0 0 25 0 1 0 21762778 11689984 2494 4089446400 134512640 136422188 4293474736 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18704/statm: 2854 2494 238 467 0 2385 0
Current children cumulated CPU time (s) 33
Current children cumulated vsize (KiB) 11416

Child status: 0
Real time (s): 33.0979
CPU time (s): 33.1
CPU user time (s): 20.6379
CPU system time (s): 12.4621
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 11416

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

runsolver used 0.041993 second user time and 0.116982 second system time

The end

Launcher Data 

Begin job on node143 at 2010-07-07 22:45:04
IDJOB=2700411
IDBENCH=79425
IDSOLVER=1212
FILE ID=node143/2700411-1278535504
PBS_JOBID= 11239191
Free space on /tmp= 73244 MiB

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

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

MD5SUM BENCH= 862c57b9a103de4e976a73e17aca1258
RANDOM SEED=1312071512

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.829
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.72
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.829
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	: 5338.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.829
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.829
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.74
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.829
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:     32951124 kB
MemFree:      28366432 kB
Buffers:        135440 kB
Cached:        3173084 kB
SwapCached:          0 kB
Active:        2659764 kB
Inactive:      1768836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28366432 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:     1120068 kB
Mapped:          15292 kB
Slab:            91720 kB
PageTables:       6720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1266512 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= 73244 MiB
End job on node143 at 2010-07-07 22:45:37