Trace number 2700396

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 65.913 65.9113

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
MD5SUMdcd6541236cc8e3c8ecb4a3e0452a499
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.705892
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.032994 9.74609 1 1850
0.00/0.03	o 22101
0.00/0.04	c 0.032994 9.89844 3 2097
0.00/0.04	o 21916
0.00/0.04	c 0.033994 9.89844 3 2936
0.00/0.04	o 14518
0.00/0.04	c 0.033994 9.89844 15 3209
0.00/0.04	o 14462
0.00/0.06	c 0.035994 9.89844 124 3825
0.00/0.06	o 14458
0.00/0.06	c 0.035994 9.89844 149 4174
0.00/0.06	o 14277
0.29/0.35	c 0.103984 10.1484 757 8911
0.29/0.35	o 14024
0.29/0.38	c 0.109983 10.1484 569 9664
0.29/0.38	o 13919
0.39/0.40	c 0.110983 10.1484 371 10278
0.39/0.40	o 13818
0.39/0.48	c 0.124981 10.1484 423 11439
0.39/0.48	o 13793
0.79/0.81	c 0.202969 10.1484 977 15534
0.79/0.81	o 13682
0.79/0.82	c 0.206968 10.1484 607 16064
0.79/0.82	o 13612
0.99/1.04	c 0.254961 10.1484 685 20543
0.99/1.04	o 13522
1.10/1.14	c 0.268959 10.1484 513 22074
1.10/1.14	o 13456
1.19/1.22	c 0.294955 10.1484 656 23671
1.19/1.22	o 13372
1.19/1.25	c 0.304953 10.1484 459 24434
1.19/1.25	o 13206
1.29/1.36	c 0.336948 10.1484 532 25873
1.29/1.36	o 13179
1.39/1.44	c 0.355945 10.1484 385 27487
1.39/1.44	o 13154
1.59/1.66	c 0.415936 10.1484 518 30511
1.59/1.66	o 12853
1.59/1.68	c 0.427934 10.1484 676 31267
1.59/1.68	o 12674
1.69/1.73	c 0.440932 10.1484 604 32217
1.69/1.73	o 12641
1.69/1.76	c 0.447931 10.1484 470 33124
1.69/1.76	o 12626
1.89/1.91	c 0.499924 10.1484 669 35642
1.89/1.91	o 12623
1.89/1.94	c 0.505923 10.1484 538 36349
1.89/1.94	o 12612
1.99/2.06	c 0.542917 10.1484 606 38594
1.99/2.06	o 12494
3.69/3.79	c 0.860869 10.2734 707 63041
3.69/3.79	o 12304
3.99/4.07	c 0.909861 10.2734 675 65889
3.99/4.07	o 12104
5.50/5.52	c 1.17382 10.3984 625 83067
5.50/5.52	o 12040
5.50/5.54	c 1.17882 10.3984 363 84243
5.50/5.54	o 10375
5.50/5.54	c 1.17882 10.3984 364 84724
5.50/5.54	o 10224
5.50/5.54	c 1.17882 10.3984 393 85061
5.50/5.54	o 10064
5.50/5.55	c 1.17982 10.3984 416 85318
5.50/5.55	o 9977
6.39/6.47	c 1.3308 10.3984 652 96845
6.39/6.47	o 9915
6.39/6.50	c 1.3368 10.3984 492 97543
6.39/6.50	o 9904
6.59/6.64	c 1.36479 10.3984 438 99863
6.59/6.64	o 9813
6.89/6.97	c 1.43078 10.3984 956 103957
6.89/6.97	o 9624
7.19/7.23	c 1.46078 10.3984 499 107952
7.19/7.23	o 9527
7.40/7.46	c 1.50077 10.3984 493 111212
7.40/7.46	o 9459
7.40/7.49	c 1.50477 10.3984 617 111728
7.40/7.49	o 9394
8.80/8.89	c 1.84572 10.3984 535 129762
8.80/8.89	o 9386
8.99/9.00	c 1.86372 10.3984 360 131463
8.99/9.00	o 9283
9.19/9.25	c 1.90471 10.3984 447 135074
9.19/9.25	o 9269
10.39/10.43	c 2.09068 10.3984 905 146594
10.39/10.43	o 9254
10.50/10.58	c 2.11568 10.3984 586 148032
10.50/10.58	o 9242
10.69/10.70	c 2.13567 10.3984 530 149940
10.69/10.70	o 9189
10.69/10.78	c 2.14567 10.3984 552 151184
10.69/10.78	o 9188
11.09/11.18	c 2.20167 10.3984 444 155981
11.09/11.18	o 9144
11.19/11.27	c 2.22266 10.3984 497 157349
11.19/11.27	o 9095
11.29/11.39	c 2.23966 10.3984 492 159278
11.29/11.39	o 9052
11.59/11.60	c 2.27565 10.3984 817 161168
11.59/11.60	o 9036
11.79/11.83	c 2.31365 10.3984 818 164139
11.79/11.83	o 9008
12.50/12.57	c 2.44463 10.3984 628 174036
12.50/12.57	o 8934
13.79/13.84	c 2.6326 10.5234 614 186109
13.79/13.84	o 8917
14.09/14.11	c 2.66959 10.5234 563 189799
14.09/14.11	o 8817
14.20/14.26	c 2.69759 10.5234 685 191965
14.20/14.26	o 8799
14.89/14.93	c 2.87756 10.5234 546 200015
14.89/14.93	o 8657
14.89/14.98	c 2.88256 10.5234 715 200489
14.89/14.98	o 8652
15.30/15.38	c 2.97855 10.5234 699 206383
15.30/15.38	o 8642
16.09/16.18	c 3.09353 10.5234 677 214726
16.09/16.18	o 8605
17.39/17.48	c 3.2925 10.5234 635 222990
17.39/17.48	o 8572
17.60/17.66	c 3.32849 10.5234 509 225729
17.60/17.66	o 8422
19.09/19.18	c 3.54646 10.5234 623 242534
19.09/19.18	o 8413
19.70/19.79	c 3.64145 10.5234 705 249680
19.70/19.79	o 8399
20.19/20.29	c 3.71344 10.5234 888 256060
20.19/20.29	o 8398
20.59/20.61	c 3.75643 10.6484 703 258978
20.59/20.61	o 8308
20.99/21.02	c 3.83242 10.6484 621 263756
20.99/21.02	o 8218
21.59/21.62	c 3.98639 10.6484 526 271683
21.59/21.62	o 8127
21.59/21.65	c 3.99439 10.6484 687 272372
21.59/21.65	o 7994
21.79/21.82	c 4.04638 10.6484 501 274997
21.79/21.82	o 7941
22.00/22.09	c 4.11038 10.6484 822 277779
22.00/22.09	o 7899
22.70/22.74	c 4.20636 10.6484 852 284916
22.70/22.74	o 7821
22.79/22.82	c 4.21636 10.6484 707 285630
22.79/22.82	o 7809
22.79/22.87	c 4.22636 10.6484 633 286422
22.79/22.87	o 7765
22.90/22.96	c 4.23935 10.6484 660 287764
22.90/22.96	o 7676
23.00/23.05	c 4.25235 10.6484 397 289207
23.00/23.05	o 7656
23.79/23.89	c 4.38233 10.6484 404 298622
23.79/23.89	o 7614
24.39/24.48	c 4.45432 10.6484 678 304238
24.39/24.48	o 7586
24.49/24.57	c 4.47032 10.6484 720 305481
24.49/24.57	o 7409
24.69/24.70	c 4.49332 10.6484 540 306938
24.69/24.70	o 7333
25.50/25.54	c 4.64229 10.6484 572 316349
25.50/25.54	o 7327
26.00/26.05	c 4.72828 10.6484 599 322378
26.00/26.05	o 7224
27.99/28.01	c 5.10622 10.6484 495 341016
27.99/28.01	o 7200
28.19/28.26	c 5.17221 10.6484 774 343776
28.19/28.26	o 7069
28.29/28.30	c 5.18721 10.6484 565 344422
28.29/28.30	o 6925
28.29/28.32	c 5.19621 10.6484 733 345036
28.29/28.32	o 6845
28.50/28.53	c 5.2482 10.6484 744 347097
28.50/28.53	o 6825
28.60/28.60	c 5.2612 10.6484 706 348149
28.60/28.60	o 6726
29.99/30.04	c 5.46417 10.6484 769 363030
29.99/30.04	o 6700
29.99/30.10	c 5.47717 10.6484 570 363754
29.99/30.10	o 6572
30.30/30.38	c 5.51916 10.6484 642 367088
30.30/30.38	o 6503
31.50/31.52	c 5.68314 10.6484 610 376935
31.50/31.52	o 6482
31.59/31.64	c 5.70013 10.6484 714 378030
31.59/31.64	o 6470
32.80/32.81	c 5.85111 10.6484 419 389307
32.80/32.81	o 6400
32.80/32.82	c 5.85711 10.6484 462 389549
32.80/32.82	o 6308
32.90/32.97	c 5.88011 10.6484 633 391112
32.90/32.97	o 6251
33.89/33.91	c 6.03508 10.6484 663 401052
33.89/33.91	o 6173
34.59/34.63	c 6.21506 10.6484 838 406957
34.59/34.63	o 5989
35.70/35.78	c 6.43902 10.6484 635 420286
35.70/35.78	o 5972
36.10/36.14	c 6.49601 10.6484 538 424235
36.10/36.14	o 5881
36.69/36.73	c 6.579 10.7695 605 429307
36.69/36.73	o 5802
37.00/37.02	c 6.62699 10.7695 637 432240
37.00/37.02	o 5751
37.19/37.23	c 6.65799 10.7695 585 433889
37.19/37.23	o 5747
37.49/37.51	c 6.70698 10.7695 907 437078
37.49/37.51	o 5732
38.09/38.10	c 6.79197 10.7695 747 443895
38.09/38.10	o 5642
38.19/38.26	c 6.82696 10.7695 618 446005
38.19/38.26	o 5508
38.50/38.59	c 6.88295 10.7695 690 448929
38.50/38.59	o 5405
38.99/39.00	c 6.95294 10.7695 724 451716
38.99/39.00	o 5397
40.79/40.84	c 7.26889 10.7695 899 467707
40.79/40.84	o 5383
41.09/41.12	c 7.34088 10.7695 671 470461
41.09/41.12	o 5304
41.20/41.29	c 7.38588 10.7695 577 472447
41.20/41.29	o 5224
41.29/41.33	c 7.39687 10.7695 720 472905
41.29/41.33	o 5165
41.50/41.51	c 7.44187 10.7695 574 474496
41.50/41.51	o 5015
41.89/41.99	c 7.54485 10.7695 652 478681
41.89/41.99	o 4960
42.09/42.14	c 7.56285 10.7695 840 480007
42.09/42.14	o 4938
42.90/42.91	c 7.67483 10.7695 697 486509
42.90/42.91	o 4928
43.29/43.36	c 7.74882 10.7695 764 490637
43.29/43.36	o 4829
44.19/44.22	c 7.8998 10.7695 402 497042
44.19/44.22	o 4758
44.59/44.62	c 7.95779 10.7695 538 500294
44.59/44.62	o 4749
44.59/44.65	c 7.96179 10.7695 658 500657
44.59/44.65	o 4724
44.69/44.73	c 7.96979 10.7695 546 501285
44.69/44.73	o 4647
44.69/44.77	c 7.97479 10.7695 657 501771
44.69/44.77	o 4596
44.69/44.78	c 7.97879 10.7695 693 501918
44.69/44.78	o 4585
44.79/44.82	c 7.98179 10.7695 446 502459
44.79/44.82	o 4470
45.09/45.16	c 8.01978 10.7695 593 505320
45.09/45.16	o 4446
45.69/45.77	c 8.11777 10.7695 752 509023
45.69/45.77	o 4433
45.99/46.05	c 8.14976 10.7695 518 511588
45.99/46.05	o 4403
46.80/46.87	c 8.27474 10.7695 781 519228
46.80/46.87	o 4397
47.39/47.45	c 8.41672 10.7695 597 524012
47.39/47.45	o 4395
47.50/47.54	c 8.43972 10.7695 509 525050
47.50/47.54	o 4373
48.20/48.21	c 8.60569 10.7695 839 530314
48.20/48.21	o 4330
48.29/48.34	c 8.62369 10.7695 471 531576
48.29/48.34	o 4313
48.39/48.47	c 8.64169 10.7695 481 532563
48.39/48.47	o 4257
48.49/48.52	c 8.64968 10.7695 672 533091
48.49/48.52	o 4187
48.59/48.66	c 8.66868 10.7695 775 534299
48.59/48.66	o 4126
48.69/48.74	c 8.68668 10.7695 599 534780
48.69/48.74	o 4124
49.10/49.17	c 8.74467 10.8945 840 537711
49.10/49.17	o 4066
52.89/52.98	c 9.31558 10.8945 631 560046
52.89/52.98	o 4040
53.29/53.39	c 9.37757 10.8945 723 563378
53.29/53.39	o 3957
54.09/54.10	c 9.53255 10.8945 711 569418
54.09/54.10	o 3880
54.29/54.35	c 9.59754 10.8945 744 571573
54.29/54.35	o 3863
55.10/55.17	c 9.77251 10.8945 674 575948
55.10/55.17	o 3821
55.19/55.26	c 9.79251 10.8945 647 576924
55.19/55.26	o 3762
55.30/55.32	c 9.80551 10.8945 472 577391
55.30/55.32	o 3754
55.49/55.56	c 9.8505 10.8945 457 579557
55.49/55.56	o 3664
55.99/56.07	c 9.91949 10.8945 416 582920
55.99/56.07	o 3659
56.69/56.79	c 10.0225 10.8945 627 588192
56.69/56.79	o 3576
57.20/57.29	c 10.0975 10.8945 670 592073
57.20/57.29	o 3555
57.29/57.34	c 10.1005 10.8945 464 592610
57.29/57.34	o 3534
57.39/57.40	c 10.1095 10.8945 714 593255
57.39/57.40	o 3503
57.69/57.73	c 10.1505 10.8945 550 595970
57.69/57.73	o 3402
57.90/57.90	c 10.1735 10.8945 654 597157
57.90/57.90	o 3385
57.90/57.92	c 10.1745 10.8945 695 597286
57.90/57.92	o 3384
58.29/58.32	c 10.2404 10.8945 719 600235
58.29/58.32	o 3335
58.60/58.67	c 10.2914 10.8945 593 602483
58.60/58.67	o 3299
58.79/58.85	c 10.3114 10.8945 769 604030
58.79/58.85	o 3271
58.90/58.91	c 10.3214 10.8945 574 604634
58.90/58.91	o 3254
59.09/59.19	c 10.3624 10.8945 752 606930
59.09/59.19	o 3222
59.19/59.24	c 10.3694 10.8945 472 607386
59.19/59.24	o 3200
59.19/59.29	c 10.3794 10.8945 653 607880
59.19/59.29	o 3178
59.59/59.63	c 10.4264 10.8945 619 610683
59.59/59.63	o 3155
59.59/59.63	c 10.4284 10.8945 634 610792
59.59/59.63	o 3144
59.69/59.76	c 10.4434 10.8945 595 611698
59.69/59.76	o 3128
59.80/59.87	c 10.4574 10.8945 971 612834
59.80/59.87	o 3033
60.50/60.55	c 10.5834 10.8945 858 616639
60.50/60.55	o 3023
60.99/61.06	c 10.7084 10.8945 749 620209
60.99/61.06	o 2859
61.09/61.14	c 10.7374 10.8945 634 620882
61.09/61.14	o 2846
61.09/61.18	c 10.7454 10.8945 753 621273
61.09/61.18	o 2815
61.50/61.57	c 10.8094 10.8945 638 624046
61.50/61.57	o 2718
61.69/61.71	c 10.8344 10.8945 663 625167
61.69/61.71	o 2616
61.69/61.74	c 10.8414 11.0156 734 625387
61.69/61.74	o 2583
61.89/61.98	c 10.8873 11.0156 671 626919
61.89/61.98	o 2582
61.89/61.99	c 10.8873 11.0156 692 627074
61.89/61.99	o 2581
61.89/61.99	c 10.8883 11.0156 693 627148
61.89/61.99	o 2548
61.99/62.01	c 10.8933 11.0156 782 627368
61.99/62.01	o 2518
62.09/62.13	c 10.9113 11.0156 813 628408
62.09/62.13	o 2432
62.20/62.29	c 10.9383 11.0156 475 629900
62.20/62.29	o 2365
62.20/62.30	c 10.9383 11.0156 496 629990
62.20/62.30	o 2353
62.29/62.31	c 10.9423 11.0156 542 630132
62.29/62.31	o 2340
62.29/62.33	c 10.9453 11.0156 603 630306
62.29/62.33	o 2296
62.39/62.41	c 10.9563 11.0156 458 631133
62.39/62.41	o 2234
62.70/62.74	c 10.9993 11.0156 621 633587
62.70/62.74	o 2153
62.80/62.86	c 11.0193 11.0156 593 634715
62.80/62.86	o 2133
62.80/62.87	c 11.0213 11.0156 621 634853
62.80/62.87	o 2130
63.00/63.08	c 11.0603 11.0156 444 636310
63.00/63.08	o 2080
63.30/63.31	c 11.0873 11.0156 818 638358
63.30/63.31	o 2046
63.39/63.42	c 11.1113 11.0156 740 639375
63.39/63.42	o 2045
63.39/63.44	c 11.1163 11.0156 810 639687
63.39/63.44	o 1862
63.70/63.74	c 11.1513 11.0156 929 641867
63.70/63.74	o 1858
63.89/63.90	c 11.1783 11.0156 509 642954
63.89/63.90	o 1845
63.89/63.93	c 11.1813 11.0156 626 643302
63.89/63.93	o 1796
63.89/63.99	c 11.1963 11.0156 818 643941
63.89/63.99	o 1709
64.09/64.18	c 11.2293 11.0156 603 645326
64.09/64.18	o 1629
64.20/64.22	c 11.2343 11.0156 720 645730
64.20/64.22	o 1596
64.50/64.55	c 11.2973 11.0156 457 647885
64.50/64.55	o 1513
64.59/64.69	c 11.3273 11.0156 502 648893
64.59/64.69	o 1499
64.70/64.77	c 11.3423 11.0156 757 649478
64.70/64.77	o 1470
64.80/64.88	c 11.3583 11.0156 653 650179
64.80/64.88	o 1467
64.80/64.89	c 11.3623 11.1445 695 650334
64.80/64.89	o 1419
64.90/64.96	c 11.3763 11.1445 455 650830
64.90/64.96	o 1349
64.99/65.06	c 11.3983 11.1445 757 651474
64.99/65.06	o 1325
65.10/65.10	c 11.4053 11.1445 446 651885
65.10/65.10	o 1312
65.20/65.20	c 11.4223 11.1445 799 652653
65.20/65.20	o 1285
65.20/65.22	c 11.4283 11.1445 858 652803
65.20/65.22	o 1232
65.20/65.27	c 11.4413 11.1445 586 653228
65.20/65.27	o 1210
65.29/65.32	c 11.4503 11.1445 712 653534
65.29/65.32	o 1197
65.29/65.34	c 11.4523 11.1445 759 653689
65.29/65.34	o 1166
65.39/65.43	c 11.4593 11.1445 591 654249
65.39/65.43	o 1158
65.39/65.46	c 11.4663 11.1445 677 654486
65.39/65.46	o 1096
65.39/65.46	c 11.4673 11.1445 695 654650
65.39/65.46	o 1081
65.50/65.54	c 11.4773 11.1445 514 655175
65.50/65.54	o 1028
65.50/65.56	c 11.4813 11.1445 556 655341
65.50/65.56	o 971
65.50/65.58	c 11.4823 11.1445 606 655541
65.50/65.58	o 935
65.59/65.60	c 11.4873 11.1445 664 655677
65.59/65.60	o 933
65.59/65.61	c 11.4893 11.1445 732 655871
65.59/65.61	o 906
65.59/65.65	c 11.4933 11.1445 909 656219
65.59/65.65	o 889
65.59/65.67	c 11.4973 11.1445 502 656338
65.59/65.67	o 874
65.59/65.67	c 11.4993 11.1445 513 656411
65.59/65.67	o 851
65.59/65.69	c 11.5073 11.1445 588 656566
65.59/65.69	o 828
65.69/65.72	c 11.5152 11.1445 673 656762
65.69/65.72	o 766
65.69/65.74	c 11.5202 11.1445 755 656997
65.69/65.74	o 743
65.69/65.76	c 11.5262 11.1445 820 657160
65.69/65.76	o 732
65.69/65.78	c 11.5322 11.1445 886 657393
65.69/65.78	o 662
65.69/65.79	c 11.5362 11.1445 915 657471
65.69/65.79	o 643
65.79/65.80	c 11.5362 11.1445 941 657579
65.79/65.80	o 619
65.79/65.81	c 11.5412 11.1445 985 657720
65.79/65.81	o 536
65.79/65.81	c 11.5442 11.1445 1005 657781
65.79/65.81	o 520
65.79/65.82	c 11.5452 11.1445 1023 657818
65.79/65.82	o 517
65.79/65.82	c 11.5462 11.1445 1030 657893
65.79/65.82	o 462
65.79/65.82	c 11.5472 11.1445 959 657955
65.79/65.82	o 442
65.79/65.83	c 11.5532 11.1445 1009 658048
65.79/65.83	o 426
65.79/65.83	c 11.5532 11.1445 1026 658115
65.79/65.83	o 376
65.79/65.84	c 11.5532 11.1445 1035 658153
65.79/65.84	o 358
65.79/65.86	c 11.5612 11.1445 1130 658347
65.79/65.86	o 345
65.79/65.88	c 11.5672 11.1445 938 658538
65.79/65.88	o 293
65.79/65.88	c 11.5672 11.1445 938 658553
65.79/65.88	o 292
65.79/65.88	c 11.5692 11.1445 957 658597
65.79/65.88	o 289
65.79/65.88	c 11.5692 11.1445 969 658665
65.79/65.88	o 245
65.79/65.89	c 11.5692 11.1445 732 658761
65.79/65.89	o 191
65.79/65.89	c 11.5702 11.1445 735 658782
65.79/65.89	o 181
65.79/65.89	c 11.5712 11.1445 753 658847
65.79/65.89	o 132
65.79/65.89	c 11.5712 11.1445 755 658881
65.79/65.89	o 111
65.79/65.90	c 11.5732 11.1445 791 658953
65.79/65.90	o 91
65.79/65.90	c 11.5732 11.1445 795 658999
65.79/65.90	o 42
65.79/65.90	c 11.5732 11.1445 795 659037
65.79/65.90	o 0
65.79/65.90	c 11.5732 11.1445 795 659037
65.79/65.90	s OPTIMUM FOUND
65.79/65.90	v x1 -x2 -x3 x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 -x53 x54 -x55 x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70 x71 -x72 -x73 x74 -x75 x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 x91 -x92 -x93 x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 x105 -x106 -x107 x108 -x109 x110 x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 x159 -x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 -x177 x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 x187 -x188 x189 -x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 x199 -x200

Verifier Data 

OK	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-2700396-1278535430/watcher-2700396-1278535430 -o /tmp/evaluation-result-2700396-1278535430/solver-2700396-1278535430 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700396-1278535430.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.00 2.00 1.72 3/178 18810
/proc/meminfo: memFree=29413984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=2136 CPUtime=0
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 21757900 2187264 175 4089446400 134512640 136421960 4289465712 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18810/statm: 534 175 144 467 0 65 0

[startup+0.0794739 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 18810
/proc/meminfo: memFree=29413984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10132 CPUtime=0.07
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2277 0 0 0 3 4 0 0 22 0 1 0 21757900 10375168 2190 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2533 2190 238 467 0 2064 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10132

[startup+0.100468 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 18810
/proc/meminfo: memFree=29413984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10260 CPUtime=0.09
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2285 0 0 0 4 5 0 0 22 0 1 0 21757900 10506240 2198 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2565 2198 238 467 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.300444 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 18810
/proc/meminfo: memFree=29413984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10260 CPUtime=0.29
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2308 0 0 0 9 20 0 0 22 0 1 0 21757900 10506240 2221 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2565 2221 238 467 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10260

[startup+0.70037 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 18810
/proc/meminfo: memFree=29413984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10388 CPUtime=0.69
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2332 0 0 0 18 51 0 0 24 0 1 0 21757900 10637312 2241 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2597 2241 238 467 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10388

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 18811
/proc/meminfo: memFree=29405676/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10388 CPUtime=1.49
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2350 0 0 0 36 113 0 0 25 0 1 0 21757900 10637312 2251 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2597 2251 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 18811
/proc/meminfo: memFree=29404808/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10516 CPUtime=3.09
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2381 0 0 0 73 236 0 0 25 0 1 0 21757900 10768384 2275 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2629 2275 238 467 0 2160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10516

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 18811
/proc/meminfo: memFree=29402948/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10644 CPUtime=6.29
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2413 0 0 0 130 499 0 0 25 0 1 0 21757900 10899456 2300 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2661 2300 238 467 0 2192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10644

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 18811
/proc/meminfo: memFree=29403096/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10644 CPUtime=12.69
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2454 0 0 0 246 1023 0 0 25 0 1 0 21757900 10899456 2321 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2661 2321 238 467 0 2192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29398092/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10900 CPUtime=25.5
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2526 0 0 0 464 2086 0 0 25 0 1 0 21757900 11161600 2366 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2725 2366 238 467 0 2256 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10900

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29388984/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11152 CPUtime=51.1
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2653 0 0 0 904 4206 0 0 25 0 1 0 21757900 11419648 2436 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2788 2436 238 467 0 2319 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11152

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

[startup+57.501 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29386740/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11152 CPUtime=57.49
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2674 0 0 0 1012 4737 0 0 25 0 1 0 21757900 11419648 2444 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2788 2444 238 467 0 2319 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11152

[startup+60.7004 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29385864/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11152 CPUtime=60.69
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2700 0 0 0 1062 5007 0 0 25 0 1 0 21757900 11419648 2455 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2788 2455 238 467 0 2319 0
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (KiB) 11152

[startup+63.9008 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29383880/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11276 CPUtime=63.89
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2744 0 0 0 1117 5272 0 0 25 0 1 0 21757900 11546624 2475 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2819 2475 238 467 0 2350 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11276

[startup+64.7007 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29383880/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11276 CPUtime=64.7
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2758 0 0 0 1133 5337 0 0 25 0 1 0 21757900 11546624 2482 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2819 2482 238 467 0 2350 0
Current children cumulated CPU time (s) 64.7
Current children cumulated vsize (KiB) 11276

[startup+65.5006 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29383876/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=11408 CPUtime=65.5
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2787 0 0 0 1147 5403 0 0 25 0 1 0 21757900 11681792 2497 4089446400 134512640 136421960 4289465712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2852 2497 238 467 0 2383 0
Current children cumulated CPU time (s) 65.5
Current children cumulated vsize (KiB) 11408

[startup+65.9005 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18812
/proc/meminfo: memFree=29383132/32951124 swapFree=67111528/67111528
[pid=18810] ppid=18808 vsize=10628 CPUtime=65.9
/proc/18810/stat : 18810 (pbct) R 18808 18810 18327 0 -1 4202496 2851 0 0 0 1157 5433 0 0 25 0 1 0 21757900 10883072 2380 4089446400 134512640 136421960 4289465712 18446744073709551615 135878161 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18810/statm: 2657 2380 241 467 0 2188 0
Current children cumulated CPU time (s) 65.9
Current children cumulated vsize (KiB) 10628

Child status: 0
Real time (s): 65.9113
CPU time (s): 65.913
CPU user time (s): 11.5822
CPU system time (s): 54.3307
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11408

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

runsolver used 0.104984 second user time and 0.206968 second system time

The end

Launcher Data 

Begin job on node104 at 2010-07-07 22:43:50
IDJOB=2700396
IDBENCH=79424
IDSOLVER=1208
FILE ID=node104/2700396-1278535430
PBS_JOBID= 11239269
Free space on /tmp= 73604 MiB

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

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

MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499
RANDOM SEED=698731625

node104.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.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.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.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.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	: 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.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.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.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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29414636 kB
Buffers:        129116 kB
Cached:        2467564 kB
SwapCached:          0 kB
Active:        1658508 kB
Inactive:      1730516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29414636 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1996 kB
Writeback:           0 kB
AnonPages:      792960 kB
Mapped:          16840 kB
Slab:            80900 kB
PageTables:       6088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   942000 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= 73604 MiB
End job on node104 at 2010-07-07 22:44:56