Trace number 2699979

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 82.3955 82.4104

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MD5SUMa9c1b78c2cafd61259a4392acdb09fa2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark1.3028
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 constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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.01	c constraints 100/0 clauses 0/850 units 0
0.00/0.01	c vars 200
0.00/0.04	c 0.036994 9.94922 1 1953
0.00/0.04	o 23832
0.00/0.04	c 0.037994 10.1133 1 2859
0.00/0.04	o 21970
0.00/0.04	c 0.039993 10.1133 4 3591
0.00/0.04	o 21212
0.00/0.04	c 0.040993 10.1133 4 4480
0.00/0.04	o 15925
0.00/0.04	c 0.041993 10.1133 4 5368
0.00/0.04	o 15047
0.00/0.05	c 0.042993 10.1133 4 5668
0.00/0.05	o 14967
0.00/0.05	c 0.043993 10.1133 4 6131
0.00/0.05	o 14660
0.09/0.13	c 0.080987 10.2383 622 8348
0.09/0.13	o 14619
0.09/0.14	c 0.081987 10.2383 626 8644
0.09/0.14	o 14579
0.09/0.14	c 0.081987 10.2383 313 9044
0.09/0.14	o 14433
0.09/0.14	c 0.081987 10.2383 313 9828
0.09/0.14	o 13628
0.09/0.14	c 0.081987 10.2383 313 10159
0.09/0.14	o 13481
0.09/0.14	c 0.084987 10.2383 315 10552
0.09/0.14	o 13254
0.09/0.15	c 0.084987 10.2383 316 10817
0.09/0.15	o 13243
0.09/0.15	c 0.085986 10.2383 316 11240
0.09/0.15	o 13021
0.09/0.15	c 0.085986 10.2383 320 11492
0.09/0.15	o 12931
0.09/0.16	c 0.088986 10.2383 377 11923
0.09/0.16	o 12820
0.19/0.21	c 0.105983 10.2383 593 13111
0.19/0.21	o 12585
0.19/0.22	c 0.110983 10.3633 350 13775
0.19/0.22	o 12351
0.19/0.23	c 0.112982 10.3633 368 14056
0.19/0.23	o 12277
0.19/0.25	c 0.119981 10.3633 439 14502
0.19/0.25	o 12141
0.28/0.33	c 0.147977 10.3633 946 15921
0.28/0.33	o 12136
1.00/1.05	c 0.410937 10.3633 741 29348
1.00/1.05	o 12079
1.18/1.20	c 0.45993 10.3633 691 31222
1.18/1.20	o 12004
1.18/1.22	c 0.466929 10.3633 489 31836
1.18/1.22	o 11966
1.18/1.27	c 0.491925 10.3633 461 33116
1.18/1.27	o 11871
1.29/1.37	c 0.52092 10.3633 664 34763
1.29/1.37	o 11833
1.29/1.39	c 0.528919 10.3633 466 35346
1.29/1.39	o 11830
1.49/1.57	c 0.59191 10.4883 871 38594
1.49/1.57	o 11717
1.69/1.78	c 0.649901 10.4883 769 42022
1.69/1.78	o 11533
2.19/2.29	c 0.836872 10.4883 544 50435
2.19/2.29	o 11470
2.28/2.38	c 0.868867 10.4883 689 52272
2.28/2.38	o 11444
2.39/2.49	c 0.908861 10.4883 587 54726
2.39/2.49	o 11233
2.49/2.56	c 0.937857 10.4883 647 55798
2.49/2.56	o 11099
2.49/2.59	c 0.947855 10.4883 435 56433
2.49/2.59	o 11097
2.59/2.61	c 0.956854 10.4883 512 56799
2.59/2.61	o 11018
2.59/2.63	c 0.967852 10.4883 601 57359
2.59/2.63	o 10904
3.79/3.83	c 1.39279 10.6133 626 70607
3.79/3.83	o 10894
4.39/4.49	c 1.60675 10.6133 554 79543
4.39/4.49	o 10808
4.68/4.77	c 1.68974 10.6133 727 84435
4.68/4.77	o 10703
4.78/4.87	c 1.72074 10.6133 887 86093
4.78/4.87	o 10471
4.99/5.01	c 1.77673 10.6133 651 89041
4.99/5.01	o 10435
5.88/5.93	c 2.08968 10.6133 967 102791
5.88/5.93	o 10354
6.69/6.70	c 2.34364 10.6133 619 114415
6.69/6.70	o 10300
7.18/7.23	c 2.54361 10.6133 545 123452
7.18/7.23	o 10225
7.49/7.54	c 2.6506 10.6133 602 129301
7.49/7.54	o 10121
8.08/8.20	c 2.87756 10.6133 805 138455
8.08/8.20	o 10048
8.49/8.52	c 2.98754 10.7383 991 141811
8.49/8.52	o 9883
8.49/8.56	c 3.00254 10.7383 738 142530
8.49/8.56	o 9873
9.18/9.25	c 3.22451 10.7383 488 151187
9.18/9.25	o 9859
9.39/9.40	c 3.2705 10.7383 616 154039
9.39/9.40	o 9854
9.58/9.65	c 3.34749 10.7383 696 157577
9.58/9.65	o 9777
10.28/10.35	c 3.57845 10.7383 635 168041
10.28/10.35	o 9755
10.48/10.57	c 3.64644 10.7383 614 171020
10.48/10.57	o 9721
10.58/10.60	c 3.65744 10.7383 459 171746
10.58/10.60	o 9678
10.58/10.64	c 3.66944 10.7383 638 172473
10.58/10.64	o 9543
11.18/11.20	c 3.83642 10.7383 878 179086
11.18/11.20	o 9529
11.98/12.09	c 4.13837 10.7383 680 191619
11.98/12.09	o 9460
12.09/12.13	c 4.14937 10.7383 676 192987
12.09/12.13	o 9407
12.28/12.35	c 4.22336 10.7383 499 197033
12.28/12.35	o 9254
13.38/13.49	c 4.6333 10.7383 562 209243
13.38/13.49	o 9211
13.68/13.75	c 4.72528 10.7383 677 212353
13.68/13.75	o 9194
14.19/14.27	c 4.91725 10.7383 617 218997
14.19/14.27	o 9102
15.18/15.22	c 5.20521 10.7383 644 227377
15.18/15.22	o 9025
15.38/15.46	c 5.30719 10.7383 956 230439
15.38/15.46	o 8848
15.58/15.63	c 5.35818 10.7383 836 232826
15.58/15.63	o 8818
15.68/15.71	c 5.38718 10.7383 765 233774
15.68/15.71	o 8794
15.88/15.97	c 5.47317 10.7383 763 236818
15.88/15.97	o 8734
16.18/16.26	c 5.56715 10.7383 529 240253
16.18/16.26	o 8650
16.28/16.30	c 5.57615 10.7383 710 240911
16.28/16.30	o 8635
17.78/17.82	c 6.05108 10.7383 628 258112
17.78/17.82	o 8577
17.87/17.93	c 6.09007 10.7383 505 260068
17.87/17.93	o 8540
18.08/18.13	c 6.16106 10.7383 664 262629
18.08/18.13	o 8458
19.37/19.45	c 6.607 10.8594 502 278087
19.37/19.45	o 8448
19.79/19.82	c 6.72098 10.8594 888 282180
19.79/19.82	o 8380
19.79/19.83	c 6.72798 10.8594 491 282493
19.79/19.83	o 8289
23.38/23.42	c 7.9088 10.8594 736 323309
23.38/23.42	o 8278
23.88/23.92	c 8.06777 10.8594 783 330295
23.88/23.92	o 8217
24.38/24.42	c 8.23375 10.8594 719 336039
24.38/24.42	o 8164
24.88/24.99	c 8.44072 10.8594 523 341064
24.88/24.99	o 8117
26.18/26.23	c 8.79066 10.8594 540 354973
26.18/26.23	o 8097
26.68/26.74	c 8.95164 10.8594 836 359936
26.68/26.74	o 8086
27.98/28.00	c 9.35958 10.8594 543 374604
27.98/28.00	o 8004
28.88/28.99	c 9.66553 10.8594 454 386932
28.88/28.99	o 7914
29.28/29.37	c 9.79151 10.8594 682 390918
29.28/29.37	o 7832
30.08/30.18	c 10.0845 10.8594 650 401294
30.08/30.18	o 7815
30.28/30.38	c 10.1545 10.8594 800 403935
30.28/30.38	o 7683
30.88/30.95	c 10.3354 10.9844 994 411089
30.88/30.95	o 7631
32.08/32.18	c 10.7454 10.9844 537 424985
32.08/32.18	o 7561
32.68/32.71	c 10.9103 10.9844 770 429651
32.68/32.71	o 7482
33.58/33.62	c 11.2243 10.9844 727 440046
33.58/33.62	o 7478
33.58/33.63	c 11.2273 10.9844 484 440556
33.58/33.63	o 7388
35.18/35.22	c 11.7632 10.9844 580 459868
35.18/35.22	o 7149
35.38/35.47	c 11.8462 10.9844 821 462710
35.38/35.47	o 7123
36.28/36.33	c 12.1452 10.9844 560 469722
36.28/36.33	o 7034
36.68/36.74	c 12.2731 10.9844 757 474440
36.68/36.74	o 7025
38.68/38.77	c 12.923 10.9844 749 497085
38.68/38.78	o 6783
39.08/39.16	c 13.042 10.9844 803 501211
39.08/39.16	o 6693
39.18/39.22	c 13.056 10.9844 621 501871
39.18/39.22	o 6682
40.88/40.92	c 13.6349 10.9844 975 519429
40.88/40.92	o 6661
41.18/41.27	c 13.7179 10.9844 693 523395
41.18/41.27	o 6632
41.47/41.57	c 13.8219 10.9844 509 526183
41.47/41.57	o 6566
41.98/42.04	c 13.9859 10.9844 696 530953
41.98/42.04	o 6418
42.38/42.48	c 14.1259 10.9844 957 535381
42.38/42.48	o 6244
42.48/42.56	c 14.1548 10.9844 410 536415
42.48/42.56	o 6225
42.68/42.70	c 14.1878 10.9844 772 538378
42.68/42.70	o 6197
42.79/42.83	c 14.2318 10.9844 484 539699
42.79/42.83	o 6140
42.79/42.88	c 14.2458 10.9844 690 540527
42.79/42.88	o 5892
42.98/43.06	c 14.3008 10.9844 943 541970
42.98/43.06	o 5867
43.98/44.08	c 14.6438 11.1055 721 552045
43.98/44.08	o 5758
44.08/44.15	c 14.6608 11.1055 574 552839
44.08/44.15	o 5738
44.38/44.40	c 14.7148 11.1055 608 555194
44.38/44.40	o 5660
44.48/44.55	c 14.7678 11.1055 756 556856
44.48/44.55	o 5549
44.48/44.58	c 14.7758 11.1055 465 557108
44.48/44.58	o 5544
44.88/44.96	c 14.8897 11.1055 605 560490
44.88/44.96	o 5539
44.99/45.07	c 14.9277 11.1055 619 561832
44.99/45.07	o 5528
45.08/45.15	c 14.9567 11.1055 967 562787
45.08/45.15	o 5430
45.38/45.46	c 15.0527 11.1055 603 565332
45.38/45.46	o 5335
45.68/45.79	c 15.1507 11.1055 838 567639
45.68/45.79	o 5217
45.78/45.83	c 15.1617 11.1055 496 567951
45.78/45.83	o 5136
46.78/46.81	c 15.4886 11.1055 570 574750
46.78/46.81	o 5100
46.88/46.97	c 15.5286 11.1055 429 576649
46.88/46.97	o 4957
47.28/47.35	c 15.6436 11.1055 531 579909
47.28/47.35	o 4951
47.78/47.89	c 15.8196 11.1055 471 585197
47.78/47.89	o 4910
48.08/48.15	c 15.9016 11.1055 533 587614
48.08/48.15	o 4881
48.89/48.94	c 16.1645 11.1055 781 593955
48.89/48.94	o 4828
48.89/48.97	c 16.1795 11.1055 532 594397
48.89/48.97	o 4783
49.18/49.26	c 16.2825 11.1055 501 597621
49.18/49.26	o 4776
49.88/49.91	c 16.4685 11.1055 729 602683
49.88/49.91	o 4767
51.78/51.87	c 17.0534 11.1055 518 619886
51.78/51.87	o 4624
52.78/52.83	c 17.3854 11.1055 566 627743
52.78/52.83	o 4556
52.78/52.89	c 17.4064 11.1055 748 628331
52.78/52.89	o 4496
54.18/54.26	c 17.9013 11.1055 539 639522
54.18/54.26	o 4393
54.38/54.40	c 17.9513 11.1055 614 640840
54.38/54.40	o 4346
54.88/54.90	c 18.1272 11.1055 895 645447
54.88/54.90	o 4257
55.18/55.21	c 18.2392 11.1055 618 648294
55.18/55.21	o 4210
55.78/55.82	c 18.4542 11.1055 618 653288
55.78/55.82	o 4202
55.99/56.07	c 18.5312 11.1055 628 655314
55.99/56.07	o 4195
56.38/56.44	c 18.6492 11.1055 522 658162
56.38/56.44	o 4138
56.48/56.53	c 18.6782 11.1055 794 658811
56.48/56.53	o 4137
57.88/57.98	c 19.2021 11.1055 862 668579
57.88/57.98	o 4135
58.48/58.57	c 19.3711 11.1055 594 673988
58.48/58.57	o 4029
58.88/58.92	c 19.486 11.1055 563 676869
58.88/58.92	o 4016
59.28/59.32	c 19.626 11.1055 779 680436
59.28/59.32	o 3974
59.38/59.41	c 19.654 11.1055 710 681358
59.38/59.41	o 3899
61.27/61.38	c 20.3479 11.2305 760 696280
61.27/61.38	o 3758
61.98/62.02	c 20.5699 11.2305 641 700558
61.98/62.02	o 3753
62.28/62.34	c 20.6729 11.2305 804 703144
62.28/62.34	o 3678
62.38/62.45	c 20.7158 11.2305 800 704236
62.38/62.45	o 3551
62.47/62.53	c 20.7398 11.2305 714 705118
62.47/62.53	o 3515
62.88/62.92	c 20.8658 11.2305 771 708191
62.88/62.92	o 3510
65.58/65.65	c 21.8647 11.2305 587 727544
65.58/65.65	o 3387
65.78/65.87	c 21.9257 11.2305 561 729722
65.78/65.87	o 3307
66.08/66.16	c 22.0406 11.2305 730 732435
66.08/66.16	o 3229
66.38/66.46	c 22.1276 11.2305 969 735061
66.38/66.46	o 3195
66.58/66.63	c 22.1846 11.2305 573 736451
66.58/66.63	o 3178
66.58/66.69	c 22.2046 11.2305 718 736847
66.58/66.69	o 3171
66.68/66.74	c 22.2206 11.2305 466 737300
66.68/66.74	o 3168
67.48/67.51	c 22.4926 11.2305 920 743337
67.48/67.51	o 3132
67.58/67.64	c 22.5266 11.2305 897 744493
67.58/67.64	o 3111
67.98/68.03	c 22.6456 11.2305 436 747201
67.98/68.03	o 3108
69.29/69.35	c 23.1095 11.2305 687 756070
69.29/69.35	o 3068
69.98/70.09	c 23.3614 11.2305 685 760569
69.98/70.09	o 3026
70.08/70.14	c 23.3794 11.2305 418 760918
70.08/70.14	o 3017
70.18/70.24	c 23.4204 11.2305 709 761542
70.18/70.24	o 3002
70.38/70.40	c 23.4654 11.2305 826 762893
70.38/70.40	o 2970
70.68/70.76	c 23.6034 11.2305 752 765663
70.68/70.76	o 2841
70.78/70.82	c 23.6194 11.2305 503 766145
70.78/70.82	o 2771
71.28/71.40	c 23.8204 11.2305 721 770376
71.28/71.40	o 2761
71.58/71.60	c 23.8954 11.2305 524 771859
71.58/71.60	o 2753
72.28/72.33	c 24.1483 11.2305 766 777268
72.28/72.33	o 2710
72.88/72.98	c 24.3483 11.2305 644 781858
72.88/72.98	o 2666
73.17/73.24	c 24.4323 11.3516 907 783472
73.17/73.24	o 2596
74.38/74.47	c 24.8812 11.3516 458 790589
74.38/74.47	o 2543
75.08/75.14	c 25.1232 11.3516 764 795030
75.08/75.14	o 2537
75.18/75.29	c 25.1772 11.3516 822 796254
75.18/75.29	o 2499
75.58/75.68	c 25.3231 11.3516 715 798789
75.58/75.68	o 2462
75.79/75.83	c 25.3751 11.3516 799 800086
75.79/75.83	o 2459
75.89/75.94	c 25.4201 11.3516 750 800932
75.89/75.94	o 2445
75.98/76.07	c 25.4641 11.3516 757 802095
75.98/76.07	o 2433
76.38/76.45	c 25.6091 11.3516 616 804637
76.38/76.45	o 2408
76.59/76.61	c 25.6531 11.3516 579 805680
76.59/76.61	o 2402
76.59/76.67	c 25.6761 11.3516 819 806319
76.59/76.67	o 2345
77.28/77.39	c 25.9201 11.3516 527 811312
77.28/77.39	o 2189
77.38/77.46	c 25.9371 11.3516 701 811805
77.38/77.46	o 2180
77.38/77.49	c 25.9481 11.3516 778 812068
77.38/77.49	o 2146
77.48/77.59	c 25.99 11.3516 674 812856
77.48/77.59	o 2134
77.68/77.78	c 26.045 11.3516 785 814242
77.68/77.78	o 2078
77.78/77.89	c 26.087 11.3516 642 814867
77.78/77.89	o 2022
78.09/78.13	c 26.163 11.3516 595 816706
78.09/78.13	o 2021
78.18/78.22	c 26.19 11.3516 859 817327
78.18/78.22	o 2007
78.48/78.51	c 26.299 11.3516 493 819417
78.48/78.51	o 1939
78.48/78.56	c 26.324 11.3516 685 819882
78.48/78.56	o 1937
78.58/78.67	c 26.37 11.3516 627 820829
78.58/78.67	o 1876
78.98/79.04	c 26.486 11.3516 692 822853
78.98/79.04	o 1853
79.19/79.29	c 26.582 11.3516 618 824743
79.19/79.29	o 1727
79.58/79.61	c 26.6779 11.3516 717 827103
79.58/79.61	o 1581
79.67/79.75	c 26.7219 11.3516 781 828203
79.67/79.75	o 1560
79.98/80.07	c 26.8269 11.3516 785 830271
79.98/80.07	o 1539
80.08/80.12	c 26.8439 11.3516 503 830765
80.08/80.12	o 1485
80.08/80.18	c 26.8699 11.3516 676 831184
80.08/80.18	o 1454
80.18/80.22	c 26.8859 11.3516 793 831578
80.18/80.22	o 1342
80.18/80.24	c 26.8909 11.3516 857 831770
80.18/80.24	o 1328
80.48/80.57	c 27.0139 11.3516 535 833492
80.48/80.57	o 1291
80.68/80.75	c 27.0679 11.3516 636 834769
80.68/80.75	o 1278
80.68/80.79	c 27.0839 11.3516 778 835133
80.68/80.79	o 1272
80.87/80.99	c 27.1539 11.3516 488 836414
80.87/80.99	o 1229
80.98/81.07	c 27.1839 11.3516 746 836954
80.98/81.07	o 1197
81.17/81.29	c 27.2539 11.3516 535 838432
81.17/81.29	o 1105
81.28/81.30	c 27.2599 11.3516 592 838546
81.28/81.30	o 1086
81.28/81.32	c 27.2629 11.3516 628 838719
81.28/81.32	o 1080
81.28/81.34	c 27.2739 11.3516 692 838900
81.28/81.34	o 1063
81.28/81.40	c 27.2919 11.3516 889 839405
81.28/81.40	o 1036
81.48/81.52	c 27.3318 11.3516 809 840469
81.48/81.52	o 982
81.58/81.69	c 27.3818 11.4766 892 841342
81.58/81.69	o 974
81.68/81.73	c 27.3968 11.4766 578 841694
81.68/81.73	o 920
81.68/81.75	c 27.3998 11.4766 632 841845
81.68/81.75	o 895
81.68/81.77	c 27.4078 11.4766 706 841989
81.68/81.77	o 885
81.77/81.81	c 27.4228 11.4766 851 842324
81.77/81.81	o 882
81.77/81.82	c 27.4248 11.4766 870 842509
81.77/81.82	o 757
81.77/81.87	c 27.4498 11.4766 559 842846
81.77/81.87	o 674
81.87/81.90	c 27.4588 11.4766 660 843081
81.87/81.90	o 645
81.87/81.91	c 27.4638 11.4766 690 843196
81.87/81.91	o 596
81.87/81.92	c 27.4728 11.4766 751 843376
81.87/81.92	o 565
81.87/81.93	c 27.4748 11.4766 769 843471
81.87/81.93	o 558
81.87/81.96	c 27.4868 11.4766 886 843727
81.87/81.96	o 528
81.87/81.98	c 27.4928 11.4766 952 843877
81.87/81.98	o 478
81.98/82.00	c 27.5048 11.4766 1083 844162
81.98/82.00	o 447
81.98/82.03	c 27.5248 11.4766 1225 844435
81.98/82.03	o 413
81.98/82.09	c 27.5578 11.4766 781 844865
81.98/82.09	o 352
82.08/82.13	c 27.5778 11.4766 937 845138
82.08/82.13	o 350
82.08/82.14	c 27.5838 11.4766 1001 845256
82.08/82.14	o 329
82.08/82.19	c 27.6158 11.4766 1243 845625
82.08/82.19	o 324
82.28/82.31	c 27.6788 11.4766 1288 846609
82.28/82.31	o 319
82.28/82.34	c 27.7008 11.4766 1459 846872
82.28/82.34	o 298
82.28/82.35	c 27.7038 11.4766 783 846992
82.28/82.35	o 249
82.28/82.36	c 27.7148 11.4766 905 847168
82.28/82.36	o 244
82.28/82.37	c 27.7168 11.4766 928 847243
82.28/82.37	o 219
82.28/82.37	c 27.7168 11.4766 885 847302
82.28/82.37	o 165
82.28/82.37	c 27.7208 11.4766 923 847357
82.28/82.37	o 162
82.28/82.39	c 27.7348 11.4766 1101 847644
82.28/82.39	o 101
82.28/82.40	c 27.7358 11.4766 605 847657
82.28/82.40	s OPTIMUM FOUND
82.28/82.40	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	101

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699979-1278533866/watcher-2699979-1278533866 -o /tmp/evaluation-result-2699979-1278533866/solver-2699979-1278533866 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699979-1278533866.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.19 0.55 0.18 5/186 17297
/proc/meminfo: memFree=30103400/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=2136 CPUtime=0
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 256 0 0 0 0 0 0 0 22 0 1 0 21600015 2187264 175 4089446400 134512640 136422188 4287301680 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17297/statm: 534 175 144 467 0 65 0

[startup+0.080458 s]
/proc/loadavg: 2.19 0.55 0.18 5/186 17297
/proc/meminfo: memFree=30103400/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10352 CPUtime=0.07
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2335 0 0 0 5 2 0 0 25 0 1 0 21600015 10600448 2247 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17297/statm: 2588 2247 238 467 0 2119 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10352

[startup+0.100556 s]
/proc/loadavg: 2.19 0.55 0.18 5/186 17297
/proc/meminfo: memFree=30103400/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10480 CPUtime=0.09
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2344 0 0 0 6 3 0 0 25 0 1 0 21600015 10731520 2256 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2620 2256 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300946 s]
/proc/loadavg: 2.19 0.55 0.18 5/186 17297
/proc/meminfo: memFree=30103400/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10608 CPUtime=0.28
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2395 0 0 0 13 15 0 0 25 0 1 0 21600015 10862592 2293 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2652 2293 238 467 0 2183 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10608

[startup+0.700351 s]
/proc/loadavg: 2.19 0.55 0.18 5/186 17297
/proc/meminfo: memFree=30103400/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10608 CPUtime=0.68
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2406 0 0 0 26 42 0 0 25 0 1 0 21600015 10862592 2303 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2652 2303 238 467 0 2183 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10608

[startup+1.5002 s]
/proc/loadavg: 2.19 0.55 0.18 8/187 17298
/proc/meminfo: memFree=30095596/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10736 CPUtime=1.49
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2433 0 0 0 57 92 0 0 25 0 1 0 21600015 10993664 2324 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2684 2324 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10232 s]
/proc/loadavg: 2.57 0.66 0.22 7/187 17305
/proc/meminfo: memFree=30094976/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10864 CPUtime=3.08
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2470 0 0 0 113 195 0 0 25 0 1 0 21600015 11124736 2352 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2716 2352 238 467 0 2247 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10864

[startup+6.30035 s]
/proc/loadavg: 2.57 0.66 0.22 8/187 17305
/proc/meminfo: memFree=30095736/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10864 CPUtime=6.28
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2493 0 0 0 220 408 0 0 25 0 1 0 21600015 11124736 2369 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2716 2369 238 467 0 2247 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10864

[startup+12.7002 s]
/proc/loadavg: 2.56 0.72 0.24 4/187 17305
/proc/meminfo: memFree=30096140/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10992 CPUtime=12.68
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2539 0 0 0 435 833 0 0 25 0 1 0 21600015 11255808 2398 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2748 2398 238 467 0 2279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10992

[startup+25.5009 s]
/proc/loadavg: 2.87 0.84 0.29 6/187 17305
/proc/meminfo: memFree=30097128/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11116 CPUtime=25.48
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2603 0 0 0 857 1691 0 0 25 0 1 0 21600015 11382784 2442 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2779 2442 238 467 0 2310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11116

[startup+51.1004 s]
/proc/loadavg: 3.70 1.20 0.42 7/187 17314
/proc/meminfo: memFree=30096976/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11368 CPUtime=51.08
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2709 0 0 0 1681 3427 0 0 25 0 1 0 21600015 11640832 2499 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2842 2499 238 467 0 2373 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11368

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

[startup+63.9004 s]
/proc/loadavg: 4.05 1.40 0.50 3/187 17317
/proc/meminfo: memFree=30095344/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11496 CPUtime=63.88
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2757 0 0 0 2120 4268 0 0 25 0 1 0 21600015 11771904 2525 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2874 2525 238 467 0 2405 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 11496

[startup+70.301 s]
/proc/loadavg: 4.29 1.50 0.53 6/187 17317
/proc/meminfo: memFree=30096220/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11496 CPUtime=70.28
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2788 0 0 0 2343 4685 0 0 25 0 1 0 21600015 11771904 2542 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2874 2542 238 467 0 2405 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 11496

[startup+76.7013 s]
/proc/loadavg: 4.18 1.52 0.55 8/187 17317
/proc/meminfo: memFree=30096312/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11620 CPUtime=76.68
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2814 0 0 0 2568 5100 0 0 25 0 1 0 21600015 11898880 2550 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2905 2550 238 467 0 2436 0
Current children cumulated CPU time (s) 76.68
Current children cumulated vsize (KiB) 11620

[startup+79.9006 s]
/proc/loadavg: 4.09 1.55 0.56 7/187 17317
/proc/meminfo: memFree=30096136/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11620 CPUtime=79.88
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2845 0 0 0 2677 5311 0 0 25 0 1 0 21600015 11898880 2566 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2905 2566 238 467 0 2436 0
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (KiB) 11620

[startup+81.501 s]
/proc/loadavg: 4.09 1.55 0.56 7/187 17317
/proc/meminfo: memFree=30095884/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11620 CPUtime=81.48
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2870 0 0 0 2732 5416 0 0 25 0 1 0 21600015 11898880 2576 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2905 2576 238 467 0 2436 0
Current children cumulated CPU time (s) 81.48
Current children cumulated vsize (KiB) 11620

[startup+81.901 s]
/proc/loadavg: 4.09 1.55 0.56 7/187 17317
/proc/meminfo: memFree=30095884/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11748 CPUtime=81.87
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2886 0 0 0 2745 5442 0 0 25 0 1 0 21600015 12029952 2584 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2937 2584 238 467 0 2468 0
Current children cumulated CPU time (s) 81.87
Current children cumulated vsize (KiB) 11748

[startup+82.3014 s]
/proc/loadavg: 4.09 1.55 0.56 7/187 17317
/proc/meminfo: memFree=30095884/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=11748 CPUtime=82.28
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2909 0 0 0 2767 5461 0 0 25 0 1 0 21600015 12029952 2595 4089446400 134512640 136422188 4287301680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2937 2595 238 467 0 2468 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 11748

[startup+82.4009 s]
/proc/loadavg: 4.32 1.64 0.59 6/187 17317
/proc/meminfo: memFree=30095636/32950928 swapFree=4192956/4192956
[pid=17297] ppid=17295 vsize=10968 CPUtime=82.39
/proc/17297/stat : 17297 (pbct) R 17295 17297 16719 0 -1 4202496 2923 0 0 0 2774 5465 0 0 25 0 1 0 21600015 11231232 2454 4089446400 134512640 136422188 4287301680 18446744073709551615 134701752 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17297/statm: 2742 2454 241 467 0 2273 0
Current children cumulated CPU time (s) 82.39
Current children cumulated vsize (KiB) 10968

Child status: 0
Real time (s): 82.4104
CPU time (s): 82.3955
CPU user time (s): 27.7448
CPU system time (s): 54.6507
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 11748

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

runsolver used 0.12698 second user time and 0.279957 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-07 22:17:46
IDJOB=2699979
IDBENCH=79389
IDSOLVER=1212
FILE ID=node124/2699979-1278533866
PBS_JOBID= 11239230
Free space on /tmp= 130188 MiB

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

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=250089841

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30103928 kB
Buffers:        130024 kB
Cached:        2515280 kB
SwapCached:          0 kB
Active:        1004532 kB
Inactive:      1729292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30103928 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           18944 kB
Writeback:           0 kB
AnonPages:       88616 kB
Mapped:          18880 kB
Slab:            77828 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   305720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130188 MiB
End job on node124 at 2010-07-07 22:19:09