Trace number 2699976

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 84.8541 84.8584

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.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/850 units 0
0.00/0.00	c vars 200
0.01/0.03	c 0.031995 9.94922 1 1953
0.01/0.03	o 23832
0.01/0.04	c 0.032994 10.1133 1 2859
0.01/0.04	o 21970
0.01/0.04	c 0.033994 10.1133 4 3591
0.01/0.04	o 21212
0.01/0.04	c 0.034994 10.1133 4 4480
0.01/0.04	o 15925
0.01/0.04	c 0.034994 10.1133 4 5368
0.01/0.04	o 15047
0.01/0.04	c 0.034994 10.1133 4 5668
0.01/0.04	o 14967
0.01/0.04	c 0.035994 10.1133 4 6131
0.01/0.04	o 14660
0.10/0.13	c 0.06399 10.2383 622 8348
0.10/0.13	o 14619
0.10/0.13	c 0.06499 10.2383 626 8644
0.10/0.13	o 14579
0.10/0.13	c 0.066989 10.2383 313 9044
0.10/0.13	o 14433
0.10/0.13	c 0.066989 10.2383 313 9828
0.10/0.13	o 13628
0.10/0.14	c 0.066989 10.2383 313 10159
0.10/0.14	o 13481
0.10/0.14	c 0.067989 10.2383 315 10552
0.10/0.14	o 13254
0.10/0.14	c 0.067989 10.2383 316 10817
0.10/0.14	o 13243
0.10/0.14	c 0.069989 10.2383 316 11240
0.10/0.14	o 13021
0.10/0.14	c 0.071989 10.2383 320 11492
0.10/0.14	o 12931
0.10/0.16	c 0.078987 10.2383 377 11923
0.10/0.16	o 12820
0.19/0.20	c 0.091986 10.2383 593 13111
0.19/0.20	o 12585
0.19/0.22	c 0.097985 10.3633 350 13775
0.19/0.22	o 12351
0.19/0.22	c 0.099984 10.3633 368 14056
0.19/0.22	o 12277
0.19/0.24	c 0.104984 10.3633 439 14502
0.19/0.24	o 12141
0.29/0.32	c 0.136979 10.3633 946 15921
0.29/0.32	o 12136
0.99/1.04	c 0.424935 10.3633 741 29348
0.99/1.04	o 12079
1.09/1.18	c 0.51992 10.3633 691 31222
1.09/1.18	o 12004
1.19/1.21	c 0.532918 10.3633 489 31836
1.19/1.21	o 11966
1.19/1.26	c 0.556915 10.3633 461 33116
1.19/1.26	o 11871
1.29/1.36	c 0.617906 10.3633 664 34763
1.29/1.36	o 11833
1.29/1.38	c 0.631903 10.3633 466 35346
1.29/1.38	o 11830
1.49/1.56	c 0.746886 10.4883 871 38594
1.49/1.56	o 11717
1.69/1.76	c 0.892864 10.4883 769 42022
1.69/1.76	o 11533
2.19/2.28	c 1.21681 10.4883 544 50435
2.19/2.28	o 11470
2.29/2.36	c 1.26581 10.4883 689 52272
2.29/2.36	o 11444
2.39/2.47	c 1.3298 10.4883 587 54726
2.39/2.47	o 11233
2.49/2.54	c 1.36979 10.4883 647 55798
2.49/2.54	o 11099
2.49/2.57	c 1.38379 10.4883 435 56433
2.49/2.57	o 11097
2.49/2.59	c 1.39779 10.4883 512 56799
2.49/2.59	o 11018
2.59/2.61	c 1.40878 10.4883 601 57359
2.59/2.61	o 10904
3.79/3.81	c 2.11668 10.6133 626 70607
3.79/3.81	o 10894
4.40/4.46	c 2.54761 10.6133 554 79543
4.40/4.46	o 10808
4.69/4.74	c 2.71959 10.6133 727 84435
4.69/4.74	o 10703
4.79/4.84	c 2.78158 10.6133 887 86093
4.79/4.84	o 10471
4.89/4.98	c 2.86656 10.6133 651 89041
4.89/4.98	o 10435
5.79/5.89	c 3.46447 10.6133 967 102791
5.79/5.89	o 10354
6.60/6.66	c 3.9394 10.6133 619 114415
6.60/6.66	o 10300
7.09/7.18	c 4.12537 10.6133 545 123452
7.09/7.18	o 10225
7.49/7.50	c 4.26635 10.6133 602 129301
7.49/7.50	o 10121
8.09/8.15	c 4.68229 10.6133 805 138455
8.09/8.15	o 10048
8.39/8.47	c 4.87626 10.7383 991 141811
8.39/8.47	o 9883
8.49/8.51	c 4.90425 10.7383 738 142530
8.49/8.51	o 9873
9.19/9.20	c 5.32919 10.7383 488 151187
9.19/9.20	o 9859
9.29/9.35	c 5.42817 10.7383 616 154039
9.29/9.35	o 9854
9.49/9.59	c 5.57415 10.7383 696 157577
9.49/9.59	o 9777
10.19/10.29	c 6.01809 10.7383 635 168041
10.19/10.29	o 9755
10.49/10.51	c 6.15306 10.7383 614 171020
10.49/10.51	o 9721
10.49/10.54	c 6.17706 10.7383 459 171746
10.49/10.54	o 9678
10.49/10.58	c 6.20306 10.7383 638 172473
10.49/10.58	o 9543
11.09/11.14	c 6.556 10.7383 878 179086
11.09/11.14	o 9529
11.99/12.02	c 7.11892 10.7383 680 191619
11.99/12.02	o 9460
11.99/12.06	c 7.14391 10.7383 676 192987
11.99/12.06	o 9407
12.19/12.28	c 7.27989 10.7383 499 197033
12.19/12.28	o 9254
13.39/13.41	c 7.94179 10.7383 562 209243
13.39/13.41	o 9211
13.59/13.67	c 8.01778 10.7383 677 212353
13.59/13.67	o 9194
14.09/14.19	c 8.27774 10.7383 617 218997
14.09/14.19	o 9102
15.09/15.13	c 8.85965 10.7383 644 227377
15.09/15.13	o 9025
15.29/15.37	c 8.99963 10.7383 956 230439
15.29/15.37	o 8848
15.49/15.54	c 9.10262 10.7383 836 232826
15.49/15.54	o 8818
15.59/15.62	c 9.14961 10.7383 765 233774
15.59/15.62	o 8794
15.79/15.88	c 9.30358 10.7383 763 236818
15.79/15.88	o 8734
16.09/16.17	c 9.47356 10.7383 529 240253
16.09/16.17	o 8650
16.19/16.21	c 9.49956 10.7383 710 240911
16.19/16.21	o 8635
17.69/17.72	c 10.4334 10.7383 628 258112
17.69/17.72	o 8577
17.79/17.84	c 10.5054 10.7383 505 260068
17.79/17.84	o 8540
17.99/18.03	c 10.6234 10.7383 664 262629
17.99/18.03	o 8458
19.29/19.35	c 11.4503 10.8594 502 278087
19.29/19.35	o 8448
19.69/19.71	c 11.6782 10.8594 888 282180
19.69/19.71	o 8380
19.69/19.72	c 11.6822 10.8594 491 282493
19.69/19.72	o 8289
23.19/23.29	c 13.7049 10.8594 736 323309
23.19/23.29	o 8278
23.68/23.79	c 14.0329 10.8594 783 330295
23.68/23.79	o 8217
24.19/24.29	c 14.3288 10.8594 719 336039
24.19/24.29	o 8164
24.79/24.86	c 14.6878 10.8594 523 341064
24.79/24.86	o 8117
25.99/26.08	c 15.4467 10.8594 540 354973
25.99/26.08	o 8097
26.49/26.59	c 15.6776 10.8594 836 359936
26.49/26.59	o 8086
27.79/27.85	c 16.3175 10.8594 543 374604
27.79/27.85	o 8004
28.79/28.84	c 16.9284 10.8594 454 386932
28.79/28.84	o 7914
29.19/29.21	c 17.1774 10.8594 682 390918
29.19/29.21	o 7832
29.99/30.02	c 17.7123 10.8594 650 401294
29.99/30.02	o 7815
30.19/30.22	c 17.8433 10.8594 800 403935
30.19/30.22	o 7683
30.70/30.79	c 18.1922 10.9844 994 411089
30.70/30.79	o 7631
31.99/32.01	c 18.9511 10.9844 537 424985
31.99/32.01	o 7561
32.50/32.54	c 19.2811 10.9844 770 429651
32.50/32.54	o 7482
33.39/33.44	c 19.676 10.9844 727 440046
33.39/33.44	o 7478
33.39/33.46	c 19.682 10.9844 484 440556
33.39/33.46	o 7388
34.98/35.04	c 20.5709 10.9844 580 459868
34.98/35.04	o 7149
35.19/35.28	c 20.7488 10.9844 821 462710
35.19/35.28	o 7123
36.09/36.14	c 21.3008 10.9844 560 469722
36.09/36.14	o 7034
36.49/36.55	c 21.5647 10.9844 757 474440
36.49/36.55	o 7025
38.50/38.57	c 22.7515 10.9844 749 497085
38.50/38.57	o 6783
38.89/38.96	c 22.9945 10.9844 803 501211
38.89/38.96	o 6693
38.99/39.01	c 23.0305 10.9844 621 501871
38.99/39.01	o 6682
40.69/40.71	c 23.8754 10.9844 975 519429
40.69/40.71	o 6661
40.99/41.06	c 24.0743 10.9844 693 523395
40.99/41.06	o 6632
41.29/41.36	c 24.2613 10.9844 509 526183
41.29/41.36	o 6566
41.79/41.82	c 24.5603 10.9844 696 530953
41.79/41.82	o 6418
42.19/42.26	c 24.8442 10.9844 957 535381
42.19/42.26	o 6244
42.29/42.34	c 24.8902 10.9844 410 536415
42.29/42.34	o 6225
42.39/42.48	c 24.9792 10.9844 772 538378
42.39/42.48	o 6197
42.60/42.61	c 25.0562 10.9844 484 539699
42.60/42.61	o 6140
42.60/42.65	c 25.0772 10.9844 690 540527
42.60/42.65	o 5892
42.80/42.84	c 25.1892 10.9844 943 541970
42.80/42.84	o 5867
43.79/43.85	c 25.8161 11.1055 721 552045
43.79/43.85	o 5758
43.89/43.93	c 25.8681 11.1055 574 552839
43.89/43.93	o 5738
44.09/44.17	c 26.006 11.1055 608 555194
44.09/44.17	o 5660
44.29/44.32	c 26.106 11.1055 756 556856
44.29/44.32	o 5549
44.29/44.35	c 26.134 11.1055 465 557108
44.29/44.35	o 5544
44.69/44.72	c 26.361 11.1055 605 560490
44.69/44.72	o 5539
44.79/44.84	c 26.435 11.1055 619 561832
44.79/44.84	o 5528
44.89/44.92	c 26.489 11.1055 967 562787
44.89/44.92	o 5430
45.19/45.22	c 26.6799 11.1055 603 565332
45.19/45.22	o 5335
45.49/45.56	c 26.8899 11.1055 838 567639
45.49/45.56	o 5217
45.49/45.59	c 26.9079 11.1055 496 567951
45.49/45.59	o 5136
46.50/46.58	c 27.2719 11.1055 570 574750
46.50/46.58	o 5100
46.70/46.73	c 27.3218 11.1055 429 576649
46.70/46.73	o 4957
47.09/47.11	c 27.5268 11.1055 531 579909
47.09/47.11	o 4951
47.59/47.64	c 27.8548 11.1055 471 585197
47.59/47.64	o 4910
47.89/47.90	c 28.0217 11.1055 533 587614
47.89/47.90	o 4881
48.59/48.69	c 28.5007 11.1055 781 593955
48.59/48.69	o 4828
48.69/48.72	c 28.5217 11.1055 532 594397
48.69/48.72	o 4783
48.99/49.01	c 28.7006 11.1055 501 597621
48.99/49.01	o 4776
49.59/49.65	c 29.1036 11.1055 729 602683
49.59/49.65	o 4767
51.59/51.61	c 30.2904 11.1055 518 619886
51.59/51.61	o 4624
52.49/52.56	c 30.8663 11.1055 566 627743
52.49/52.56	o 4556
52.60/52.62	c 30.8913 11.1055 748 628331
52.60/52.62	o 4496
53.90/53.99	c 31.5212 11.1055 539 639522
53.90/53.99	o 4393
54.09/54.13	c 31.6122 11.1055 614 640840
54.09/54.13	o 4346
54.59/54.63	c 31.9141 11.1055 895 645447
54.59/54.63	o 4257
54.90/54.93	c 32.1091 11.1055 618 648294
54.90/54.93	o 4210
55.49/55.55	c 32.5161 11.1055 618 653288
55.49/55.55	o 4202
55.79/55.83	c 32.702 11.1055 628 655314
55.79/55.83	o 4195
56.18/56.24	c 32.944 11.1055 522 658162
56.18/56.24	o 4138
56.29/56.34	c 33.009 11.1055 794 658811
56.29/56.34	o 4137
57.89/57.97	c 33.9658 11.1055 862 668579
57.89/57.97	o 4135
58.59/58.64	c 34.3848 11.1055 594 673988
58.59/58.64	o 4029
58.99/59.00	c 34.6197 11.1055 563 676869
58.99/59.00	o 4016
59.30/59.40	c 34.8607 11.1055 779 680436
59.30/59.40	o 3974
59.49/59.50	c 34.9147 11.1055 710 681358
59.49/59.50	o 3899
61.60/61.64	c 36.2555 11.2305 760 696280
61.60/61.64	o 3758
62.29/62.36	c 36.6814 11.2305 641 700558
62.29/62.36	o 3753
62.69/62.72	c 36.9084 11.2305 804 703144
62.69/62.72	o 3678
62.79/62.85	c 36.9894 11.2305 800 704236
62.79/62.85	o 3551
62.89/62.94	c 37.0494 11.2305 714 705118
62.89/62.94	o 3515
63.29/63.37	c 37.3113 11.2305 771 708191
63.29/63.37	o 3510
66.29/66.33	c 39.1181 11.2305 587 727544
66.29/66.33	o 3387
66.49/66.55	c 39.252 11.2305 561 729722
66.49/66.55	o 3307
66.79/66.87	c 39.443 11.2305 730 732435
66.79/66.87	o 3229
67.19/67.20	c 39.661 11.2305 969 735061
67.19/67.20	o 3195
67.28/67.39	c 39.78 11.2305 573 736451
67.28/67.39	o 3178
67.39/67.46	c 39.8229 11.2305 718 736847
67.39/67.46	o 3171
67.49/67.52	c 39.8499 11.2305 466 737300
67.49/67.52	o 3168
68.28/68.39	c 40.3879 11.2305 920 743337
68.28/68.39	o 3132
68.49/68.52	c 40.4768 11.2305 897 744493
68.49/68.52	o 3111
68.89/68.97	c 40.7478 11.2305 436 747201
68.89/68.97	o 3108
70.39/70.46	c 41.6767 11.2305 687 756070
70.39/70.46	o 3068
71.18/71.29	c 42.1946 11.2305 685 760569
71.18/71.29	o 3026
71.29/71.35	c 42.2236 11.2305 418 760918
71.29/71.35	o 3017
71.39/71.46	c 42.3006 11.2305 709 761542
71.39/71.46	o 3002
71.59/71.65	c 42.4156 11.2305 826 762893
71.59/71.65	o 2970
71.99/72.04	c 42.6375 11.2305 752 765663
71.99/72.04	o 2841
72.09/72.10	c 42.6745 11.2305 503 766145
72.09/72.10	o 2771
72.60/72.67	c 43.0295 11.2305 721 770376
72.60/72.67	o 2761
72.79/72.88	c 43.1634 11.2305 524 771859
72.79/72.88	o 2753
73.59/73.66	c 43.6554 11.2305 766 777268
73.59/73.66	o 2710
74.29/74.38	c 44.0803 11.2305 644 781858
74.29/74.38	o 2666
74.59/74.68	c 44.2603 11.3516 907 783472
74.59/74.68	o 2596
75.99/76.07	c 45.1391 11.3516 458 790589
75.99/76.07	o 2543
76.79/76.83	c 45.6111 11.3516 764 795030
76.79/76.83	o 2537
76.99/77.00	c 45.719 11.3516 822 796254
76.99/77.00	o 2499
77.39/77.44	c 45.996 11.3516 715 798789
77.39/77.44	o 2462
77.59/77.61	c 46.106 11.3516 799 800086
77.59/77.61	o 2459
77.69/77.73	c 46.173 11.3516 750 800932
77.69/77.73	o 2445
77.79/77.89	c 46.261 11.3516 757 802095
77.79/77.89	o 2433
78.29/78.32	c 46.5229 11.3516 616 804637
78.29/78.32	o 2408
78.38/78.48	c 46.6269 11.3516 579 805680
78.38/78.48	o 2402
78.49/78.55	c 46.6639 11.3516 819 806319
78.49/78.55	o 2345
79.19/79.27	c 47.1128 11.3516 527 811312
79.19/79.27	o 2189
79.29/79.33	c 47.1518 11.3516 701 811805
79.29/79.33	o 2180
79.29/79.37	c 47.1748 11.3516 778 812068
79.29/79.37	o 2146
79.39/79.47	c 47.2378 11.3516 674 812856
79.39/79.47	o 2134
79.58/79.66	c 47.3538 11.3516 785 814242
79.58/79.66	o 2078
79.68/79.78	c 47.4198 11.3516 642 814867
79.68/79.78	o 2022
79.99/80.04	c 47.5858 11.3516 595 816706
79.99/80.04	o 2021
80.09/80.14	c 47.6418 11.3516 859 817327
80.09/80.14	o 2007
80.39/80.47	c 47.8487 11.3516 493 819417
80.39/80.47	o 1939
80.49/80.52	c 47.8827 11.3516 685 819882
80.49/80.52	o 1937
80.59/80.66	c 47.9687 11.3516 627 820829
80.59/80.66	o 1876
80.99/81.06	c 48.2217 11.3516 692 822853
80.99/81.06	o 1853
81.29/81.35	c 48.3986 11.3516 618 824743
81.29/81.35	o 1727
81.69/81.71	c 48.6126 11.3516 717 827103
81.69/81.71	o 1581
81.79/81.87	c 48.7116 11.3516 781 828203
81.79/81.87	o 1560
82.18/82.23	c 48.9276 11.3516 785 830271
82.18/82.23	o 1539
82.18/82.29	c 48.9666 11.3516 503 830765
82.18/82.29	o 1485
82.29/82.36	c 49.0085 11.3516 676 831184
82.29/82.36	o 1454
82.39/82.40	c 49.0385 11.3516 793 831578
82.39/82.40	o 1342
82.39/82.43	c 49.0525 11.3516 857 831770
82.39/82.43	o 1328
82.69/82.79	c 49.2845 11.3516 535 833492
82.69/82.80	o 1291
82.99/83.00	c 49.4105 11.3516 636 834769
82.99/83.00	o 1278
82.99/83.04	c 49.4415 11.3516 778 835133
82.99/83.04	o 1272
83.19/83.27	c 49.5945 11.3516 488 836414
83.19/83.27	o 1229
83.29/83.36	c 49.6555 11.3516 746 836954
83.29/83.36	o 1197
83.60/83.61	c 49.8144 11.3516 535 838432
83.60/83.61	o 1105
83.60/83.63	c 49.8274 11.3516 592 838546
83.60/83.63	o 1086
83.60/83.64	c 49.8374 11.3516 628 838719
83.60/83.64	o 1080
83.60/83.67	c 49.8514 11.3516 692 838900
83.60/83.67	o 1063
83.69/83.73	c 49.8934 11.3516 889 839405
83.69/83.73	o 1036
83.79/83.86	c 49.9714 11.3516 809 840469
83.79/83.86	o 982
83.98/84.05	c 50.0904 11.4766 892 841342
83.98/84.05	o 974
84.09/84.10	c 50.1174 11.4766 578 841694
84.09/84.10	o 920
84.09/84.12	c 50.1274 11.4766 632 841845
84.09/84.12	o 895
84.09/84.14	c 50.1454 11.4766 706 841989
84.09/84.14	o 885
84.09/84.19	c 50.1704 11.4766 851 842324
84.09/84.19	o 882
84.09/84.19	c 50.1724 11.4766 870 842509
84.09/84.19	o 757
84.19/84.25	c 50.2194 11.4766 559 842846
84.19/84.25	o 674
84.19/84.29	c 50.2424 11.4766 660 843081
84.19/84.29	o 645
84.19/84.29	c 50.2474 11.4766 690 843196
84.19/84.29	o 596
84.28/84.31	c 50.2604 11.4766 751 843376
84.28/84.31	o 565
84.28/84.32	c 50.2654 11.4766 769 843471
84.28/84.32	o 558
84.28/84.35	c 50.2894 11.4766 886 843727
84.28/84.35	o 528
84.28/84.37	c 50.3004 11.4766 952 843877
84.28/84.37	o 478
84.39/84.40	c 50.3243 11.4766 1083 844162
84.39/84.40	o 447
84.39/84.43	c 50.3453 11.4766 1225 844435
84.39/84.43	o 413
84.49/84.50	c 50.3853 11.4766 781 844865
84.49/84.50	o 352
84.49/84.54	c 50.4173 11.4766 937 845138
84.49/84.54	o 350
84.49/84.55	c 50.4273 11.4766 1001 845256
84.49/84.55	o 329
84.60/84.61	c 50.4653 11.4766 1243 845625
84.60/84.61	o 324
84.70/84.74	c 50.5623 11.4766 1288 846609
84.70/84.74	o 319
84.70/84.78	c 50.5873 11.4766 1459 846872
84.70/84.78	o 298
84.70/84.79	c 50.5953 11.4766 783 846992
84.70/84.79	o 249
84.79/84.80	c 50.6123 11.4766 905 847168
84.79/84.80	o 244
84.79/84.81	c 50.6163 11.4766 928 847243
84.79/84.81	o 219
84.79/84.81	c 50.6183 11.4766 885 847302
84.79/84.81	o 165
84.79/84.82	c 50.6243 11.4766 923 847357
84.79/84.82	o 162
84.79/84.84	c 50.6463 11.4766 1101 847644
84.79/84.84	o 101
84.79/84.84	c 50.6473 11.4766 605 847657
84.79/84.84	s OPTIMUM FOUND
84.79/84.84	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-2699976-1278533865/watcher-2699976-1278533865 -o /tmp/evaluation-result-2699976-1278533865/solver-2699976-1278533865 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699976-1278533865.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: 0.69 0.21 0.07 4/178 1309
/proc/meminfo: memFree=29270488/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=2136 CPUtime=0
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 254 0 0 0 0 0 0 0 22 0 1 0 21599999 2187264 173 4089446400 134512640 136421960 4287839792 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1309/statm: 534 173 144 467 0 65 0

[startup+0.0241689 s]
/proc/loadavg: 0.69 0.21 0.07 4/178 1309
/proc/meminfo: memFree=29270488/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=7112 CPUtime=0.01
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 1468 0 0 0 1 0 0 0 24 0 1 0 21599999 7282688 1387 4089446400 134512640 136421960 4287839792 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 1778 1392 193 467 0 1309 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7112

[startup+0.101157 s]
/proc/loadavg: 0.69 0.21 0.07 4/178 1309
/proc/meminfo: memFree=29270488/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10480 CPUtime=0.1
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2346 0 0 0 5 5 0 0 24 0 1 0 21599999 10731520 2258 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2620 2258 238 467 0 2151 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10480

[startup+0.300123 s]
/proc/loadavg: 0.69 0.21 0.07 4/178 1309
/proc/meminfo: memFree=29270488/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10608 CPUtime=0.29
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2396 0 0 0 13 16 0 0 25 0 1 0 21599999 10862592 2294 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2652 2294 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.701098 s]
/proc/loadavg: 0.69 0.21 0.07 4/178 1309
/proc/meminfo: memFree=29270488/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10608 CPUtime=0.69
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2406 0 0 0 25 44 0 0 25 0 1 0 21599999 10862592 2303 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2652 2303 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50092 s]
/proc/loadavg: 0.69 0.21 0.07 3/179 1310
/proc/meminfo: memFree=29261924/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10736 CPUtime=1.49
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2436 0 0 0 71 78 0 0 25 0 1 0 21599999 10993664 2327 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2684 2327 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10065 s]
/proc/loadavg: 0.69 0.21 0.07 3/179 1310
/proc/meminfo: memFree=29260560/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10864 CPUtime=3.09
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2470 0 0 0 171 138 0 0 25 0 1 0 21599999 11124736 2352 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2716 2352 238 467 0 2247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10864

[startup+6.30011 s]
/proc/loadavg: 0.80 0.24 0.08 3/179 1310
/proc/meminfo: memFree=29258584/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10864 CPUtime=6.29
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2493 0 0 0 373 256 0 0 19 0 1 0 21599999 11124736 2369 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2716 2369 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.701 s]
/proc/loadavg: 0.89 0.26 0.09 3/179 1310
/proc/meminfo: memFree=29254324/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=10992 CPUtime=12.69
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2539 0 0 0 754 515 0 0 25 0 1 0 21599999 11255808 2398 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2748 2398 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5009 s]
/proc/loadavg: 1.21 0.37 0.12 3/179 1311
/proc/meminfo: memFree=29244420/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11116 CPUtime=25.49
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2603 0 0 0 1507 1042 0 0 25 0 1 0 21599999 11382784 2442 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2779 2442 238 467 0 2310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11116

[startup+51.1006 s]
/proc/loadavg: 1.48 0.50 0.17 3/179 1311
/proc/meminfo: memFree=29241824/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11368 CPUtime=51.09
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2709 0 0 0 2999 2110 0 0 25 0 1 0 21599999 11640832 2499 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/1309/statm: 2842 2499 238 467 0 2373 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11368

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

[startup+63.9004 s]
/proc/loadavg: 1.59 0.57 0.20 3/179 1314
/proc/meminfo: memFree=29241540/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11496 CPUtime=63.89
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2757 0 0 0 3764 2625 0 0 25 0 1 0 21599999 11771904 2525 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2874 2525 238 467 0 2405 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11496

[startup+76.7002 s]
/proc/loadavg: 1.66 0.62 0.22 3/179 1315
/proc/meminfo: memFree=29241408/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11620 CPUtime=76.68
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2803 0 0 0 4551 3117 0 0 25 0 1 0 21599999 11898880 2548 4089446400 134512640 136421960 4287839792 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2905 2548 238 467 0 2436 0
Current children cumulated CPU time (s) 76.68
Current children cumulated vsize (KiB) 11620

[startup+79.9007 s]
/proc/loadavg: 1.68 0.64 0.23 3/179 1315
/proc/meminfo: memFree=29240292/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11620 CPUtime=79.89
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2824 0 0 0 4749 3240 0 0 25 0 1 0 21599999 11898880 2554 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2905 2554 238 467 0 2436 0
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (KiB) 11620

[startup+83.1002 s]
/proc/loadavg: 1.68 0.64 0.23 3/179 1315
/proc/meminfo: memFree=29239168/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11620 CPUtime=83.09
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2862 0 0 0 4948 3361 0 0 25 0 1 0 21599999 11898880 2575 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2905 2575 238 467 0 2436 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 11620

[startup+83.901 s]
/proc/loadavg: 1.68 0.64 0.23 3/179 1315
/proc/meminfo: memFree=29238672/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11620 CPUtime=83.89
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2871 0 0 0 4999 3390 0 0 25 0 1 0 21599999 11898880 2576 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2905 2576 238 467 0 2436 0
Current children cumulated CPU time (s) 83.89
Current children cumulated vsize (KiB) 11620

[startup+84.301 s]
/proc/loadavg: 1.68 0.64 0.23 3/179 1315
/proc/meminfo: memFree=29238672/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11748 CPUtime=84.28
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2888 0 0 0 5024 3404 0 0 25 0 1 0 21599999 12029952 2584 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2937 2584 238 467 0 2468 0
Current children cumulated CPU time (s) 84.28
Current children cumulated vsize (KiB) 11748

[startup+84.7059 s]
/proc/loadavg: 1.71 0.66 0.24 3/179 1315
/proc/meminfo: memFree=29238300/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11748 CPUtime=84.7
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2909 0 0 0 5053 3417 0 0 25 0 1 0 21599999 12029952 2595 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2937 2595 238 467 0 2468 0
Current children cumulated CPU time (s) 84.7
Current children cumulated vsize (KiB) 11748

[startup+84.8009 s]
/proc/loadavg: 1.71 0.66 0.24 3/179 1315
/proc/meminfo: memFree=29238300/32950928 swapFree=67109624/67111528
[pid=1309] ppid=1307 vsize=11748 CPUtime=84.79
/proc/1309/stat : 1309 (pbct) R 1307 1309 927 0 -1 4202496 2913 0 0 0 5060 3419 0 0 25 0 1 0 21599999 12029952 2596 4089446400 134512640 136421960 4287839792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1309/statm: 2937 2596 238 467 0 2468 0
Current children cumulated CPU time (s) 84.79
Current children cumulated vsize (KiB) 11748

Child status: 0
Real time (s): 84.8584
CPU time (s): 84.8541
CPU user time (s): 50.6563
CPU system time (s): 34.1978
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 11748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.6563
system time used= 34.1978
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= 2
involuntary context switches= 364

runsolver used 0.145977 second user time and 0.274958 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 22:17:46
IDJOB=2699976
IDBENCH=79389
IDSOLVER=1208
FILE ID=node126/2699976-1278533865
PBS_JOBID= 11239226
Free space on /tmp= 73532 MiB

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

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=1488927910

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29271008 kB
Buffers:        102716 kB
Cached:        3281688 kB
SwapCached:       1140 kB
Active:         767136 kB
Inactive:      2761708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29271008 kB
SwapTotal:    67111528 kB
SwapFree:     67109624 kB
Dirty:            2176 kB
Writeback:           0 kB
AnonPages:      143268 kB
Mapped:          16108 kB
Slab:            86064 kB
PageTables:       4820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   289416 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= 73532 MiB
End job on node126 at 2010-07-07 22:19:10