Trace number 2699967

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 114.804 115.098

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh12_wcsp.wbo
MD5SUMd787b0d4d15d2d5c6758a89f1cfd571b
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.164974
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.00	c constraints 100/0 clauses 0/850 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.035994 9.94922 1 1952
0.00/0.03	o 23723
0.00/0.04	c 0.037994 10.1172 2 2482
0.00/0.04	o 23210
0.00/0.04	c 0.037994 10.1172 2 3380
0.00/0.04	o 17328
0.00/0.04	c 0.038994 10.1172 2 3920
0.00/0.04	o 17213
0.00/0.04	c 0.038994 10.1172 2 4810
0.00/0.04	o 15328
0.00/0.04	c 0.040993 10.1172 3 5144
0.00/0.04	o 15259
0.00/0.08	c 0.06499 10.2383 215 6043
0.00/0.08	o 15245
0.09/0.18	c 0.12698 10.2383 467 8569
0.09/0.18	o 14892
0.19/0.28	c 0.19497 10.3594 987 9765
0.19/0.28	o 14873
0.29/0.34	c 0.230964 10.3594 495 11056
0.29/0.34	o 14752
0.39/0.44	c 0.290955 10.3594 726 13141
0.39/0.44	o 14309
0.39/0.47	c 0.305953 10.3594 506 13691
0.39/0.47	o 14272
0.39/0.49	c 0.318951 10.3594 628 14310
0.39/0.49	o 14200
0.49/0.55	c 0.361944 10.3594 579 15532
0.49/0.55	o 14017
0.49/0.56	c 0.367944 10.3594 615 15816
0.49/0.56	o 14005
0.79/0.89	c 0.579911 10.3594 615 21768
0.79/0.89	o 13904
1.39/1.48	c 0.954854 10.4844 886 32249
1.39/1.48	o 13820
1.69/1.72	c 1.10983 10.4844 792 35362
1.69/1.72	o 13775
2.10/2.15	c 1.36979 10.4844 583 43165
2.10/2.15	o 13544
2.39/2.47	c 1.57276 10.4844 450 49579
2.39/2.47	o 13360
2.49/2.50	c 1.59776 10.4844 657 50433
2.49/2.50	o 13121
2.49/2.53	c 1.61375 10.4844 499 51117
2.49/2.53	o 13110
2.49/2.56	c 1.63075 10.4844 351 52201
2.49/2.56	o 12956
2.49/2.56	c 1.63475 10.4844 370 52565
2.49/2.56	o 12726
2.59/2.62	c 1.66575 10.4844 633 53652
2.59/2.62	o 12719
2.89/2.95	c 1.88771 10.4844 445 59051
2.89/2.95	o 12689
2.99/3.01	c 1.92571 10.4844 709 59968
2.99/3.01	o 12669
3.09/3.11	c 1.9957 10.4844 672 62202
3.09/3.11	o 12563
3.09/3.14	c 2.00669 10.4844 511 63016
3.09/3.14	o 12490
3.89/3.94	c 2.50462 10.6094 699 70196
3.89/3.94	o 12251
4.19/4.21	c 2.66459 10.6094 568 75044
4.19/4.21	o 12176
4.40/4.49	c 2.83257 10.6094 578 79048
4.40/4.49	o 12023
4.69/4.74	c 3.00654 10.6094 586 83317
4.69/4.74	o 11993
4.79/4.89	c 3.10453 10.6094 630 85637
4.79/4.89	o 11775
4.89/4.98	c 3.16652 10.6094 612 88054
4.89/4.98	o 11765
5.59/5.69	c 3.60645 10.6094 693 99877
5.59/5.69	o 11556
6.69/6.77	c 4.32334 10.6094 520 109388
6.69/6.77	o 11522
6.79/6.82	c 4.35534 10.6094 788 110164
6.79/6.82	o 11451
7.39/7.44	c 4.74828 10.6094 507 119087
7.39/7.44	o 11258
8.50/8.50	c 5.39118 10.7344 455 133049
8.50/8.50	o 11146
9.09/9.17	c 5.81412 10.7344 623 143315
9.09/9.18	o 11139
9.29/9.38	c 5.9271 10.7344 721 145810
9.29/9.38	o 11087
9.40/9.42	c 5.96009 10.7344 567 146524
9.40/9.42	o 11071
9.59/9.60	c 6.07808 10.7344 453 149597
9.59/9.60	o 11044
10.29/10.35	c 6.558 10.7344 698 160233
10.29/10.35	o 11013
11.79/11.86	c 7.51686 10.7344 1023 181694
11.79/11.86	o 11008
12.99/13.01	c 8.21675 10.7344 359 192242
12.99/13.01	o 10919
13.09/13.12	c 8.27874 10.7344 457 193709
13.09/13.12	o 10893
13.29/13.39	c 8.43972 10.7344 571 197562
13.29/13.39	o 10838
13.39/13.48	c 8.50371 10.7344 726 198989
13.39/13.48	o 10815
13.49/13.50	c 8.5177 10.7344 517 199594
13.49/13.50	o 10766
13.59/13.65	c 8.60969 10.7344 831 201380
13.59/13.65	o 10617
13.79/13.82	c 8.71767 10.7344 405 204818
13.79/13.82	o 10595
13.79/13.88	c 8.75167 10.7344 445 205969
13.79/13.88	o 10577
14.20/14.24	c 8.98263 10.7344 528 211522
14.20/14.24	o 10572
14.30/14.36	c 9.05862 10.7344 985 212595
14.30/14.36	o 10493
15.99/16.00	c 10.1225 10.8594 752 232995
15.99/16.00	o 10379
16.79/16.82	c 10.6224 10.8594 627 246721
16.79/16.82	o 10053
18.09/18.14	c 11.4533 10.8594 628 266307
18.09/18.14	o 9978
19.19/19.22	c 12.1452 10.8594 765 280453
19.19/19.22	o 9928
19.19/19.27	c 12.1741 10.8594 604 281219
19.19/19.27	o 9914
19.19/19.29	c 12.1861 10.8594 669 281582
19.19/19.29	o 9885
19.29/19.32	c 12.2061 10.8594 480 282190
19.29/19.32	o 9883
19.70/19.77	c 12.4871 10.8594 788 288385
19.70/19.77	o 9874
20.59/20.65	c 13.038 10.8594 570 298531
20.59/20.65	o 9660
20.99/21.07	c 13.306 10.8594 494 303322
20.99/21.07	o 9591
21.59/21.69	c 13.7089 10.8594 536 311230
21.59/21.69	o 9506
22.49/22.50	c 14.2318 10.8594 925 319861
22.49/22.50	o 9494
22.79/22.86	c 14.4648 10.9805 864 324126
22.79/22.86	o 9459
23.29/23.37	c 14.7688 10.9805 754 330654
23.29/23.37	o 9370
24.10/24.18	c 15.2807 10.9805 922 341809
24.10/24.18	o 9331
24.89/24.97	c 15.7856 10.9805 736 352104
24.89/24.97	o 9279
25.69/25.71	c 16.2545 10.9805 551 359840
25.69/25.71	o 9235
25.89/25.93	c 16.3915 10.9805 780 362834
25.89/25.93	o 9194
26.89/26.95	c 17.0284 10.9805 891 374929
26.89/26.95	o 9122
27.69/27.72	c 17.5103 10.9805 611 384774
27.69/27.72	o 9112
27.69/27.74	c 17.5243 10.9805 688 385237
27.69/27.74	o 8950
27.79/27.88	c 17.6083 10.9805 701 387592
27.79/27.88	o 8892
29.59/29.68	c 18.7182 10.9805 817 405751
29.59/29.68	o 8644
29.79/29.87	c 18.8301 10.9805 458 408337
29.79/29.87	o 8620
29.99/30.01	c 18.9131 10.9805 644 410119
29.99/30.01	o 8586
29.99/30.03	c 18.9241 10.9805 687 410432
29.99/30.03	o 8470
31.80/31.83	c 20.0849 10.9805 613 435552
31.80/31.83	o 8461
31.80/31.87	c 20.1069 10.9805 445 436256
31.80/31.87	o 8285
31.80/31.90	c 20.1289 10.9805 623 436812
31.80/31.90	o 8215
32.09/32.16	c 20.2809 10.9805 549 439727
32.09/32.16	o 8210
32.59/32.65	c 20.5819 10.9805 781 445855
32.59/32.65	o 8102
32.59/32.69	c 20.6059 10.9805 547 446362
32.59/32.69	o 8062
32.79/32.88	c 20.7288 10.9805 468 448380
32.79/32.88	o 8059
33.49/33.54	c 21.1488 10.9805 952 454277
33.49/33.54	o 7957
33.79/33.87	c 21.3528 10.9805 456 459089
33.79/33.87	o 7946
33.89/33.94	c 21.4017 10.9805 742 459889
33.89/33.94	o 7902
33.99/34.02	c 21.4487 10.9805 734 460919
33.99/34.02	o 7796
34.29/34.30	c 21.6277 10.9805 631 463655
34.29/34.30	o 7767
36.89/36.97	c 23.2625 11.1016 940 484296
36.89/36.97	o 7665
37.69/37.79	c 23.7994 11.1016 451 493205
37.69/37.79	o 7625
38.09/38.17	c 24.0183 11.1016 803 497469
38.09/38.17	o 7617
38.19/38.22	c 24.0573 11.1016 606 498122
38.19/38.22	o 7568
38.89/38.94	c 24.4833 11.1016 613 505351
38.89/38.94	o 7533
40.19/40.28	c 25.3222 11.1016 1000 517845
40.19/40.28	o 7532
40.89/40.97	c 25.7391 11.1016 779 524535
40.89/40.97	o 7526
40.89/40.99	c 25.7521 11.1016 532 525230
40.89/40.99	o 7258
42.39/42.46	c 26.6709 11.1016 523 539948
42.39/42.46	o 7250
42.79/42.85	c 26.9029 11.1016 769 543574
42.79/42.85	o 7195
44.39/44.40	c 27.8348 11.1016 671 558625
44.39/44.40	o 7076
44.49/44.51	c 27.9028 11.1016 729 560027
44.49/44.51	o 6985
46.79/46.80	c 29.2965 11.1016 909 576083
46.79/46.80	o 6907
46.89/46.93	c 29.3655 11.1016 526 577372
46.89/46.93	o 6823
47.39/47.49	c 29.7015 11.1016 645 582647
47.39/47.49	o 6818
47.49/47.58	c 29.7495 11.1016 732 583972
47.49/47.58	o 6688
49.09/49.12	c 30.7683 11.1016 837 597111
49.09/49.12	o 6651
49.69/49.77	c 31.1613 11.1016 767 603109
49.69/49.77	o 6634
49.89/49.95	c 31.2712 11.1016 713 605267
49.89/49.95	o 6618
51.70/51.73	c 32.3911 11.1016 495 619049
51.70/51.73	o 6577
53.59/53.62	c 33.5719 11.2266 885 633882
53.59/53.62	o 6551
62.29/62.39	c 39.0831 11.2266 925 710923
62.29/62.39	o 6526
67.29/67.30	c 42.1726 11.2266 489 755166
67.29/67.30	o 6519
67.59/67.66	c 42.4006 11.2266 591 758486
67.59/67.66	o 6495
68.39/68.45	c 42.8745 11.2266 667 765717
68.39/68.45	o 6447
68.49/68.58	c 42.9585 11.2266 766 766787
68.49/68.58	o 6411
69.29/69.38	c 43.4434 11.2266 786 773988
69.29/69.38	o 6353
69.60/69.67	c 43.6114 11.2266 663 776640
69.60/69.67	o 6349
70.59/70.64	c 44.2213 11.2266 649 783965
70.59/70.64	o 6310
72.60/72.68	c 45.5041 11.2266 925 804832
72.60/72.68	o 6272
72.69/72.78	c 45.5701 11.2266 765 805668
72.69/72.78	o 6188
73.39/73.47	c 45.982 11.2266 768 813042
73.39/73.47	o 6097
73.59/73.69	c 46.114 11.2266 463 815516
73.59/73.69	o 6039
76.19/76.22	c 47.6368 11.2266 805 836541
76.19/76.22	o 6023
77.09/77.13	c 48.1857 11.2266 485 844531
77.09/77.13	o 5974
78.00/78.05	c 48.7326 11.2266 617 851944
78.00/78.05	o 5922
78.59/78.69	c 49.1245 11.2266 677 858906
78.59/78.69	o 5791
78.99/79.08	c 49.3535 11.2266 758 862220
78.99/79.08	o 5787
78.99/79.10	c 49.3635 11.2266 490 862881
78.99/79.10	o 5615
81.09/81.15	c 50.5943 11.3477 585 878147
81.09/81.15	o 5576
81.49/81.55	c 50.8363 11.3477 447 881962
81.49/81.55	o 5508
81.89/81.99	c 51.0802 11.3477 563 885232
81.89/81.99	o 5501
82.19/82.25	c 51.2432 11.3477 734 887840
82.19/82.26	o 5419
83.20/83.20	c 51.8311 11.3477 963 894677
83.20/83.20	o 5315
83.60/83.61	c 52.0671 11.3477 462 897597
83.60/83.61	o 5305
84.70/84.74	c 52.793 11.3477 771 906082
84.70/84.74	o 5284
85.29/85.31	c 53.1419 11.3477 888 910172
85.29/85.31	o 5205
85.89/85.92	c 53.5339 11.3477 459 915725
85.89/85.92	o 5154
87.10/87.18	c 54.2877 11.3477 540 924927
87.10/87.18	o 5050
87.39/87.45	c 54.4577 11.3477 619 927434
87.39/87.45	o 4998
89.49/89.56	c 55.7615 11.3477 596 942476
89.49/89.56	o 4910
90.19/90.20	c 56.1385 11.3477 494 947307
90.19/90.20	o 4797
90.19/90.24	c 56.1565 11.3477 654 947817
90.19/90.24	o 4749
90.89/90.95	c 56.6194 11.3477 522 954101
90.89/90.95	o 4611
91.89/91.96	c 57.2383 11.3477 543 961386
91.89/91.96	o 4571
92.59/92.65	c 57.6622 11.3477 558 967268
92.59/92.65	o 4557
92.69/92.70	c 57.6872 11.3477 713 967799
92.69/92.70	o 4464
92.89/92.96	c 57.8462 11.3477 835 970039
92.89/92.96	o 4435
93.19/93.29	c 58.0522 11.3477 756 972840
93.19/93.29	o 4409
93.39/93.43	c 58.1322 11.3477 774 973945
93.39/93.43	o 4394
93.89/93.98	c 58.4551 11.3477 759 978716
93.89/93.98	o 4356
94.19/94.25	c 58.6191 11.3477 648 980972
94.19/94.25	o 4342
95.19/95.29	c 59.283 11.3477 712 989055
95.19/95.29	o 4299
95.49/95.52	c 59.426 11.3477 609 990883
95.49/95.52	o 4263
96.29/96.37	c 59.9589 11.3477 814 997496
96.29/96.37	o 4120
96.49/96.53	c 60.0659 11.3477 879 998540
96.49/96.53	o 4060
96.59/96.68	c 60.1509 11.3477 877 999522
96.59/96.68	o 4059
96.89/96.94	c 60.3248 11.3477 478 1001805
96.89/96.94	o 3955
96.99/97.03	c 60.3878 11.3477 796 1002704
96.99/97.03	o 3816
97.19/97.23	c 60.5098 11.3477 626 1004103
97.19/97.23	o 3789
97.29/97.31	c 60.5608 11.3477 499 1004899
97.29/97.31	o 3757
98.29/98.33	c 61.1757 11.3477 561 1011687
98.29/98.33	o 3644
99.39/99.46	c 61.7796 11.3477 677 1020701
99.39/99.46	o 3593
99.49/99.54	c 61.8216 11.3477 458 1021294
99.49/99.54	o 3551
99.89/99.90	c 62.0416 11.3477 702 1023809
99.89/99.90	o 3541
100.29/100.35	c 62.2425 11.3477 768 1026439
100.29/100.35	o 3496
100.50/100.56	c 62.3405 11.3477 586 1028098
100.50/100.56	o 3458
101.60/101.93	c 62.7435 11.3477 468 1035628
101.60/101.93	o 3383
101.90/102.22	c 62.9084 11.3477 482 1037537
101.90/102.22	o 3367
102.90/103.26	c 63.5503 11.4727 509 1044376
102.90/103.26	o 3273
103.10/103.43	c 63.6393 11.4727 543 1045359
103.10/103.43	o 3267
103.10/103.48	c 63.6693 11.4727 704 1045848
103.10/103.48	o 3228
104.89/105.22	c 64.7462 11.4727 666 1058159
104.89/105.22	o 3213
104.89/105.26	c 64.7702 11.4727 821 1058695
104.89/105.26	o 3123
105.00/105.35	c 64.8271 11.4727 692 1059359
105.00/105.35	o 3101
105.20/105.58	c 64.9711 11.4727 932 1060873
105.20/105.58	o 3066
105.30/105.67	c 65.0231 11.4727 751 1061516
105.30/105.67	o 3054
105.40/105.79	c 65.1081 11.4727 667 1062399
105.40/105.79	o 3042
105.80/106.16	c 65.3451 11.4727 490 1064835
105.80/106.16	o 3028
105.90/106.25	c 65.3951 11.4727 738 1065607
105.90/106.25	o 2935
106.00/106.30	c 65.4281 11.4727 476 1066012
106.00/106.30	o 2934
106.41/106.75	c 65.705 11.4727 867 1068941
106.41/106.75	o 2921
106.50/106.89	c 65.788 11.4727 875 1070021
106.50/106.89	o 2888
106.59/106.98	c 65.84 11.4727 749 1070851
106.59/106.98	o 2751
107.09/107.41	c 66.1159 11.4727 784 1073911
107.09/107.41	o 2686
107.09/107.42	c 66.1239 11.4727 814 1074022
107.09/107.42	o 2672
107.51/107.82	c 66.3599 11.4727 612 1076105
107.51/107.82	o 2638
107.70/108.03	c 66.4899 11.4727 841 1077547
107.70/108.03	o 2636
107.80/108.15	c 66.5629 11.4727 804 1078455
107.80/108.15	o 2607
108.00/108.37	c 66.6959 11.4727 495 1079748
108.00/108.37	o 2558
108.19/108.59	c 66.8408 11.4727 619 1080965
108.19/108.59	o 2497
108.30/108.65	c 66.8828 11.4727 820 1081408
108.30/108.65	o 2493
109.50/109.85	c 67.6267 11.4727 478 1089268
109.50/109.85	o 2474
109.61/109.97	c 67.7097 11.4727 823 1090064
109.61/109.97	o 2463
110.00/110.31	c 67.9177 11.4727 962 1092056
110.00/110.31	o 2434
110.00/110.39	c 67.9557 11.4727 699 1092757
110.00/110.39	o 2336
110.39/110.78	c 68.1906 11.4727 924 1095012
110.39/110.78	o 2301
110.70/111.03	c 68.3396 11.4727 752 1096751
110.70/111.03	o 2179
110.70/111.05	c 68.3546 11.4727 783 1096849
110.70/111.05	o 2175
110.90/111.24	c 68.4746 11.4727 501 1098246
110.90/111.24	o 2109
111.09/111.43	c 68.6076 11.4727 602 1099434
111.09/111.43	o 2105
111.19/111.51	c 68.6556 11.4727 840 1100019
111.19/111.51	o 2098
111.29/111.61	c 68.7176 11.4727 700 1100831
111.29/111.61	o 2061
111.29/111.66	c 68.7565 11.4727 841 1101177
111.29/111.66	o 2058
111.50/111.80	c 68.8475 11.4727 788 1101895
111.50/111.80	o 2041
111.59/111.91	c 68.9095 11.4727 683 1102804
111.59/111.91	o 1823
111.80/112.11	c 69.0415 11.4727 787 1104047
111.80/112.11	o 1810
111.91/112.30	c 69.1455 11.4727 470 1105228
111.91/112.30	o 1794
112.19/112.50	c 69.2755 11.4727 664 1106677
112.19/112.50	o 1790
112.50/112.87	c 69.5094 11.5977 791 1108716
112.50/112.87	o 1778
112.70/113.04	c 69.6164 11.5977 812 1110065
112.70/113.04	o 1605
112.90/113.28	c 69.7584 11.5977 619 1111712
112.90/113.28	o 1499
113.01/113.36	c 69.8094 11.5977 913 1112317
113.01/113.36	o 1497
113.10/113.47	c 69.8714 11.5977 722 1113030
113.10/113.47	o 1489
113.19/113.56	c 69.9254 11.5977 543 1113607
113.19/113.56	o 1445
113.30/113.66	c 69.9884 11.5977 888 1114363
113.30/113.66	o 1403
113.39/113.75	c 70.0424 11.5977 684 1115018
113.39/113.75	o 1330
113.70/114.01	c 70.2043 11.5977 1056 1116634
113.70/114.01	o 1325
113.80/114.18	c 70.3073 11.5977 600 1117883
113.80/114.18	o 1292
114.00/114.33	c 70.4093 11.5977 546 1118811
114.00/114.33	o 1223
114.00/114.34	c 70.4203 11.5977 590 1118949
114.00/114.34	o 1210
114.10/114.41	c 70.4703 11.5977 861 1119532
114.10/114.41	o 1187
114.10/114.44	c 70.4873 11.5977 504 1119737
114.10/114.44	o 1153
114.10/114.47	c 70.5023 11.5977 560 1119968
114.10/114.47	o 1081
114.30/114.65	c 70.6303 11.5977 676 1121104
114.30/114.65	o 1080
114.30/114.68	c 70.6543 11.5977 793 1121485
114.30/114.68	o 1071
114.40/114.70	c 70.6693 11.5977 874 1121666
114.40/114.70	o 1059
114.40/114.72	c 70.6803 11.5977 480 1121809
114.40/114.72	o 1051
114.40/114.73	c 70.6853 11.5977 510 1121891
114.40/114.73	o 1042
114.40/114.77	c 70.7132 11.5977 654 1122246
114.40/114.77	o 1039
114.40/114.79	c 70.7212 11.5977 707 1122361
114.40/114.79	o 998
114.50/114.80	c 70.7332 11.5977 760 1122619
114.50/114.80	o 877
114.50/114.87	c 70.7802 11.5977 527 1123275
114.50/114.87	o 778
114.60/114.91	c 70.8132 11.5977 676 1123661
114.60/114.91	o 681
114.60/114.93	c 70.8282 11.5977 764 1123812
114.60/114.93	o 667
114.60/114.98	c 70.8552 11.5977 908 1124169
114.60/114.98	o 612
114.69/115.01	c 70.8752 11.5977 1013 1124383
114.69/115.01	o 607
114.69/115.02	c 70.8822 11.5977 1067 1124493
114.69/115.02	o 566
114.69/115.02	c 70.8852 11.5977 1088 1124626
114.69/115.02	o 471
114.69/115.03	c 70.8862 11.5977 1111 1124692
114.69/115.03	o 465
114.69/115.03	c 70.8942 11.5977 1149 1124817
114.69/115.03	o 408
114.69/115.04	c 70.8992 11.5977 927 1124908
114.69/115.04	o 387
114.69/115.05	c 70.9072 11.5977 975 1125032
114.69/115.05	o 339
114.69/115.06	c 70.9112 11.5977 1002 1125106
114.69/115.06	o 319
114.69/115.06	c 70.9142 11.5977 922 1125143
114.69/115.06	o 306
114.69/115.07	c 70.9172 11.5977 940 1125200
114.69/115.07	o 302
114.69/115.07	c 70.9212 11.5977 969 1125274
114.69/115.07	o 271
114.69/115.07	c 70.9232 11.5977 986 1125341
114.69/115.07	o 261
114.69/115.08	c 70.9282 11.5977 1023 1125467
114.69/115.08	o 173
114.69/115.08	c 70.9292 11.5977 1027 1125539
114.69/115.08	o 106
114.69/115.08	c 70.9302 11.5977 1027 1125590
114.69/115.08	o 54
114.69/115.08	c 70.9312 11.5977 1031 1125631
114.69/115.08	o 16
114.69/115.08	c 70.9312 11.5977 1032 1125648
114.69/115.08	o 5
114.69/115.08	c 70.9322 11.5977 1032 1125659
114.69/115.08	o 0
114.69/115.08	c 70.9322 11.5977 1032 1125659
114.69/115.08	s OPTIMUM FOUND
114.69/115.08	v -x1 x2 x3 -x4 x5 -x6 x7 -x8 -x9 x10 -x11 x12 -x13 x14 x15 -x16 -x17 x18 x19 -x20 x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 x63 -x64 -x65 x66 -x67 x68 -x69 x70 -x71 x72 -x73 x74 x75 -x76 x77 -x78 -x79 x80 x81 -x82 -x83 x84 -x85 x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 x99 -x100 x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 x129 -x130 -x131 x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 x145 -x146 x147 -x148 -x149 x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 x189 -x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 x199 -x200

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699967-1278533863/watcher-2699967-1278533863 -o /tmp/evaluation-result-2699967-1278533863/solver-2699967-1278533863 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699967-1278533863.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.18 0.04 0.01 4/178 19925
/proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=2136 CPUtime=0
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21598561 2187264 180 4089446400 134512640 136422188 4293844000 18446744073709551615 135372792 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19925/statm: 534 180 144 467 0 65 0

[startup+0.089845 s]
/proc/loadavg: 0.18 0.04 0.01 4/178 19925
/proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10480 CPUtime=0.08
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2338 0 0 0 6 2 0 0 25 0 1 0 21598561 10731520 2250 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2620 2250 238 467 0 2151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10480

[startup+0.100844 s]
/proc/loadavg: 0.18 0.04 0.01 4/178 19925
/proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10480 CPUtime=0.09
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2343 0 0 0 7 2 0 0 25 0 1 0 21598561 10731520 2255 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2620 2255 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300807 s]
/proc/loadavg: 0.18 0.04 0.01 4/178 19925
/proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10604 CPUtime=0.29
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2382 0 0 0 20 9 0 0 25 0 1 0 21598561 10858496 2292 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2651 2292 238 467 0 2182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10604

[startup+0.70073 s]
/proc/loadavg: 0.18 0.04 0.01 4/178 19925
/proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10604 CPUtime=0.69
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2388 0 0 0 45 24 0 0 25 0 1 0 21598561 10858496 2292 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2651 2292 238 467 0 2182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10604

[startup+1.50058 s]
/proc/loadavg: 0.18 0.04 0.01 3/179 19926
/proc/meminfo: memFree=29931972/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10732 CPUtime=1.49
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2412 0 0 0 96 53 0 0 25 0 1 0 21598561 10989568 2314 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2683 2314 238 467 0 2214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10732

[startup+3.10028 s]
/proc/loadavg: 0.18 0.04 0.01 3/179 19926
/proc/meminfo: memFree=29931972/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10732 CPUtime=3.09
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2442 0 0 0 198 111 0 0 25 0 1 0 21598561 10989568 2334 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2683 2334 238 467 0 2214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10732

[startup+6.30067 s]
/proc/loadavg: 0.32 0.08 0.02 3/179 19926
/proc/meminfo: memFree=29932244/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10860 CPUtime=6.29
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2479 0 0 0 401 228 0 0 25 0 1 0 21598561 11120640 2362 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2715 2362 238 467 0 2246 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10860

[startup+12.7005 s]
/proc/loadavg: 0.46 0.11 0.03 3/179 19926
/proc/meminfo: memFree=29932092/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=10988 CPUtime=12.69
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2516 0 0 0 801 468 0 0 25 0 1 0 21598561 11251712 2389 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2747 2389 238 467 0 2278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10988

[startup+25.501 s]
/proc/loadavg: 0.80 0.20 0.06 3/179 19926
/proc/meminfo: memFree=29932276/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11240 CPUtime=25.49
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2605 0 0 0 1611 938 0 0 25 0 1 0 21598561 11509760 2452 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2810 2452 238 467 0 2341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11240

[startup+51.1002 s]
/proc/loadavg: 1.27 0.36 0.12 3/179 20004
/proc/meminfo: memFree=29932808/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11364 CPUtime=51.09
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2691 0 0 0 3198 1911 0 0 25 0 1 0 21598561 11636736 2497 4089446400 134512640 136422188 4293844000 18446744073709551615 134651381 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19925/statm: 2841 2497 238 467 0 2372 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11364

[startup+102.306 s]
/proc/loadavg: 1.67 0.61 0.21 2/177 20097
/proc/meminfo: memFree=29936788/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11616 CPUtime=102.01
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2827 0 0 0 6295 3906 0 0 25 0 1 0 21598561 11894784 2573 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2904 2573 238 467 0 2435 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 11616

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

[startup+108.7 s]
/proc/loadavg: 1.62 0.62 0.22 3/179 20198
/proc/meminfo: memFree=29909576/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11744 CPUtime=108.39
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2871 0 0 0 6690 4149 0 0 22 0 1 0 21598561 12025856 2594 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2936 2594 238 467 0 2467 0
Current children cumulated CPU time (s) 108.39
Current children cumulated vsize (KiB) 11744

[startup+111.901 s]
/proc/loadavg: 1.65 0.64 0.23 3/179 20198
/proc/meminfo: memFree=29906228/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11744 CPUtime=111.59
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2893 0 0 0 6889 4270 0 0 25 0 1 0 21598561 12025856 2603 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2936 2603 238 467 0 2467 0
Current children cumulated CPU time (s) 111.59
Current children cumulated vsize (KiB) 11744

[startup+113.5 s]
/proc/loadavg: 1.65 0.64 0.23 3/179 20198
/proc/meminfo: memFree=29904120/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11872 CPUtime=113.19
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2910 0 0 0 6988 4331 0 0 18 0 1 0 21598561 12156928 2611 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2968 2611 238 467 0 2499 0
Current children cumulated CPU time (s) 113.19
Current children cumulated vsize (KiB) 11872

[startup+114.3 s]
/proc/loadavg: 1.68 0.66 0.24 3/179 20198
/proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11872 CPUtime=114
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2924 0 0 0 7039 4361 0 0 20 0 1 0 21598561 12156928 2620 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2968 2620 238 467 0 2499 0
Current children cumulated CPU time (s) 114
Current children cumulated vsize (KiB) 11872

[startup+114.7 s]
/proc/loadavg: 1.68 0.66 0.24 3/179 20198
/proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11872 CPUtime=114.4
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2934 0 0 0 7066 4374 0 0 20 0 1 0 21598561 12156928 2623 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 114.4
Current children cumulated vsize (KiB) 11872

[startup+114.901 s]
/proc/loadavg: 1.68 0.66 0.24 3/179 20198
/proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11872 CPUtime=114.6
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2944 0 0 0 7080 4380 0 0 21 0 1 0 21598561 12156928 2626 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2968 2626 238 467 0 2499 0
Current children cumulated CPU time (s) 114.6
Current children cumulated vsize (KiB) 11872

[startup+115.001 s]
/proc/loadavg: 1.68 0.66 0.24 3/179 20198
/proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528
[pid=19925] ppid=19923 vsize=11872 CPUtime=114.69
/proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2949 0 0 0 7086 4383 0 0 21 0 1 0 21598561 12156928 2628 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19925/statm: 2968 2628 238 467 0 2499 0
Current children cumulated CPU time (s) 114.69
Current children cumulated vsize (KiB) 11872

Child status: 0
Real time (s): 115.098
CPU time (s): 114.804
CPU user time (s): 70.9412
CPU system time (s): 43.8623
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 11872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.9412
system time used= 43.8623
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2981
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= 5
involuntary context switches= 556

runsolver used 0.170974 second user time and 0.367944 second system time

The end

Launcher Data 

Begin job on node141 at 2010-07-07 22:17:43
IDJOB=2699967
IDBENCH=79388
IDSOLVER=1212
FILE ID=node141/2699967-1278533863
PBS_JOBID= 11239195
Free space on /tmp= 73644 MiB

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

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

MD5SUM BENCH= d787b0d4d15d2d5c6758a89f1cfd571b
RANDOM SEED=775471814

node141.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.839
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.67
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.839
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	: 5265.34
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.839
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.839
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.74
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.839
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.76
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.839
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.839
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.82
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.839
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:     32951124 kB
MemFree:      29940424 kB
Buffers:        141816 kB
Cached:        2644200 kB
SwapCached:          0 kB
Active:        1237924 kB
Inactive:      1619544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29940424 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4224 kB
Writeback:           0 kB
AnonPages:       70828 kB
Mapped:          15448 kB
Slab:            88844 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215352 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= 73640 MiB
End job on node141 at 2010-07-07 22:19:38