Trace number 2699964

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 114.7 114.705

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.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.00/0.04	c 0.041993 9.94922 1 1952
0.00/0.04	o 23723
0.00/0.04	c 0.043993 10.1172 2 2482
0.00/0.04	o 23210
0.00/0.04	c 0.044993 10.1172 2 3380
0.00/0.04	o 17328
0.00/0.04	c 0.044993 10.1172 2 3920
0.00/0.04	o 17213
0.00/0.05	c 0.046992 10.1172 2 4810
0.00/0.05	o 15328
0.00/0.05	c 0.047992 10.1172 3 5144
0.00/0.05	o 15259
0.06/0.09	c 0.077988 10.2383 215 6043
0.06/0.09	o 15245
0.08/0.20	c 0.141978 10.2383 467 8569
0.08/0.20	o 14892
0.29/0.31	c 0.211967 10.3594 987 9765
0.29/0.31	o 14873
0.29/0.38	c 0.246962 10.3594 495 11056
0.29/0.38	o 14752
0.38/0.49	c 0.310952 10.3594 726 13141
0.38/0.49	o 14309
0.49/0.52	c 0.32695 10.3594 506 13691
0.49/0.52	o 14272
0.49/0.54	c 0.342947 10.3594 628 14310
0.49/0.54	o 14200
0.59/0.61	c 0.385941 10.3594 579 15532
0.59/0.61	o 14017
0.59/0.62	c 0.39294 10.3594 615 15816
0.59/0.62	o 14005
0.89/0.99	c 0.6529 10.3594 615 21768
0.89/0.99	o 13904
1.59/1.64	c 1.07184 10.4844 886 32249
1.59/1.64	o 13820
1.89/1.90	c 1.24481 10.4844 792 35362
1.89/1.90	o 13775
2.29/2.39	c 1.56076 10.4844 583 43165
2.29/2.39	o 13544
2.69/2.75	c 1.78573 10.4844 450 49579
2.69/2.75	o 13360
2.69/2.78	c 1.80972 10.4844 657 50433
2.69/2.78	o 13121
2.79/2.81	c 1.83072 10.4844 499 51117
2.79/2.81	o 13110
2.79/2.85	c 1.85572 10.4844 351 52201
2.79/2.85	o 12956
2.79/2.85	c 1.85972 10.4844 370 52565
2.79/2.85	o 12726
2.89/2.91	c 1.89671 10.4844 633 53652
2.89/2.91	o 12719
3.20/3.28	c 2.13867 10.4844 445 59051
3.20/3.28	o 12689
3.29/3.35	c 2.18467 10.4844 709 59968
3.29/3.35	o 12669
3.39/3.45	c 2.25466 10.4844 672 62202
3.39/3.45	o 12563
3.39/3.48	c 2.27165 10.4844 511 63016
3.39/3.48	o 12490
4.30/4.36	c 2.84057 10.6094 699 70196
4.30/4.36	o 12251
4.59/4.66	c 3.02254 10.6094 568 75044
4.59/4.66	o 12176
4.89/4.97	c 3.20451 10.6094 578 79048
4.89/4.97	o 12023
5.19/5.24	c 3.37949 10.6094 586 83317
5.19/5.24	o 11993
5.39/5.40	c 3.48847 10.6094 630 85637
5.39/5.40	o 11775
5.50/5.51	c 3.55246 10.6094 612 88054
5.50/5.51	o 11765
6.19/6.29	c 4.06138 10.6094 693 99877
6.19/6.29	o 11556
7.39/7.50	c 4.81327 10.6094 520 109388
7.39/7.50	o 11522
7.49/7.55	c 4.84526 10.6094 788 110164
7.49/7.55	o 11451
8.19/8.24	c 5.29819 10.6094 507 119087
8.19/8.24	o 11258
9.39/9.41	c 6.00709 10.7344 455 133049
9.39/9.41	o 11146
10.09/10.16	c 6.46102 10.7344 623 143315
10.09/10.16	o 11139
10.29/10.39	c 6.589 10.7344 721 145810
10.29/10.39	o 11087
10.39/10.43	c 6.62299 10.7344 567 146524
10.39/10.43	o 11071
10.59/10.63	c 6.73298 10.7344 453 149597
10.59/10.63	o 11044
11.39/11.45	c 7.2359 10.7344 698 160233
11.39/11.45	o 11013
13.09/13.13	c 8.30974 10.7344 1023 181694
13.09/13.13	o 11008
14.39/14.41	c 9.10661 10.7344 359 192242
14.39/14.41	o 10919
14.49/14.53	c 9.1786 10.7344 457 193709
14.49/14.53	o 10893
14.79/14.83	c 9.36158 10.7344 571 197562
14.79/14.83	o 10838
14.89/14.92	c 9.42057 10.7344 726 198989
14.89/14.92	o 10815
14.89/14.95	c 9.43557 10.7344 517 199594
14.89/14.95	o 10766
15.09/15.12	c 9.53255 10.7344 831 201380
15.09/15.12	o 10617
15.30/15.31	c 9.64553 10.7344 405 204818
15.30/15.31	o 10595
15.30/15.37	c 9.68553 10.7344 445 205969
15.30/15.37	o 10577
15.69/15.77	c 9.94649 10.7344 528 211522
15.69/15.77	o 10572
15.89/15.91	c 10.0325 10.7344 985 212595
15.89/15.91	o 10493
17.69/17.71	c 11.2223 10.8594 752 232995
17.69/17.71	o 10379
18.59/18.62	c 11.8062 10.8594 627 246721
18.59/18.62	o 10053
19.99/20.08	c 12.7271 10.8594 628 266307
19.99/20.08	o 9978
21.18/21.28	c 13.4979 10.8594 765 280453
21.18/21.28	o 9928
21.29/21.33	c 13.5259 10.8594 604 281219
21.29/21.33	o 9914
21.29/21.35	c 13.5369 10.8594 669 281582
21.29/21.35	o 9885
21.29/21.39	c 13.5539 10.8594 480 282190
21.29/21.39	o 9883
21.79/21.89	c 13.8709 10.8594 788 288385
21.79/21.89	o 9874
22.79/22.86	c 14.4928 10.8594 570 298531
22.79/22.86	o 9660
23.29/23.33	c 14.7868 10.8594 494 303322
23.29/23.33	o 9591
23.98/24.00	c 15.2037 10.8594 536 311230
23.98/24.01	o 9506
24.89/24.90	c 15.7626 10.8594 925 319861
24.89/24.90	o 9494
25.29/25.31	c 16.0096 10.9805 864 324126
25.29/25.31	o 9459
25.79/25.87	c 16.3695 10.9805 754 330654
25.79/25.87	o 9370
26.69/26.77	c 16.9504 10.9805 922 341809
26.69/26.77	o 9331
27.59/27.65	c 17.5003 10.9805 736 352104
27.59/27.65	o 9279
28.39/28.48	c 17.9943 10.9805 551 359840
28.39/28.48	o 9235
28.69/28.72	c 18.1522 10.9805 780 362834
28.69/28.72	o 9194
29.79/29.86	c 18.8951 10.9805 891 374929
29.79/29.86	o 9122
30.59/30.70	c 19.431 10.9805 611 384774
30.59/30.70	o 9112
30.70/30.72	c 19.443 10.9805 688 385237
30.70/30.72	o 8950
30.80/30.87	c 19.542 10.9805 701 387592
30.80/30.87	o 8892
32.79/32.87	c 20.7838 10.9805 817 405751
32.79/32.87	o 8644
32.99/33.09	c 20.9138 10.9805 458 408337
32.99/33.09	o 8620
33.19/33.24	c 21.0228 10.9805 644 410119
33.19/33.24	o 8586
33.19/33.26	c 21.0338 10.9805 687 410432
33.19/33.26	o 8470
35.20/35.27	c 22.3056 10.9805 613 435552
35.20/35.27	o 8461
35.29/35.31	c 22.3256 10.9805 445 436256
35.29/35.31	o 8285
35.29/35.34	c 22.3476 10.9805 623 436812
35.29/35.34	o 8215
35.59/35.63	c 22.5306 10.9805 549 439727
35.59/35.63	o 8210
36.09/36.17	c 22.8625 10.9805 781 445855
36.09/36.17	o 8102
36.20/36.22	c 22.8935 10.9805 547 446362
36.20/36.22	o 8062
36.39/36.43	c 23.0325 10.9805 468 448380
36.39/36.43	o 8059
37.09/37.11	c 23.4714 10.9805 952 454277
37.09/37.11	o 7957
37.40/37.44	c 23.6614 10.9805 456 459089
37.40/37.44	o 7946
37.49/37.51	c 23.7034 10.9805 742 459889
37.49/37.51	o 7902
37.49/37.58	c 23.7544 10.9805 734 460919
37.49/37.58	o 7796
37.79/37.88	c 23.9444 10.9805 631 463655
37.79/37.88	o 7767
40.49/40.57	c 25.6291 11.1016 940 484296
40.49/40.57	o 7665
41.39/41.41	c 26.164 11.1016 451 493205
41.39/41.41	o 7625
41.69/41.80	c 26.398 11.1016 803 497469
41.69/41.80	o 7617
41.80/41.85	c 26.439 11.1016 606 498122
41.80/41.85	o 7568
42.49/42.59	c 26.8969 11.1016 613 505351
42.49/42.59	o 7533
43.90/43.92	c 27.7248 11.1016 1000 517845
43.90/43.92	o 7532
44.59/44.62	c 28.1497 11.1016 779 524535
44.59/44.62	o 7526
44.59/44.64	c 28.1667 11.1016 532 525230
44.59/44.64	o 7258
46.09/46.14	c 29.0906 11.1016 523 539948
46.09/46.14	o 7250
46.49/46.53	c 29.3415 11.1016 769 543574
46.49/46.53	o 7195
48.09/48.11	c 30.3524 11.1016 671 558625
48.09/48.11	o 7076
48.19/48.22	c 30.4344 11.1016 729 560027
48.19/48.22	o 6985
50.50/50.53	c 31.8732 11.1016 909 576083
50.50/50.53	o 6907
50.59/50.66	c 31.9501 11.1016 526 577372
50.59/50.66	o 6823
51.20/51.23	c 32.3011 11.1016 645 582647
51.20/51.23	o 6818
51.29/51.32	c 32.3611 11.1016 732 583972
51.29/51.32	o 6688
52.80/52.86	c 33.3119 11.1016 837 597111
52.80/52.86	o 6651
53.39/53.44	c 33.6869 11.1016 767 603109
53.39/53.44	o 6634
53.58/53.61	c 33.7929 11.1016 713 605267
53.58/53.61	o 6618
55.19/55.25	c 34.7997 11.1016 495 619049
55.19/55.25	o 6577
56.89/56.96	c 35.8725 11.2266 885 633882
56.89/56.96	o 6551
64.89/64.95	c 40.9578 11.2266 925 710923
64.89/64.95	o 6526
69.39/69.43	c 43.7933 11.2266 489 755166
69.39/69.43	o 6519
69.69/69.76	c 43.9903 11.2266 591 758486
69.69/69.76	o 6495
70.39/70.47	c 44.4192 11.2266 667 765717
70.39/70.47	o 6447
70.49/70.59	c 44.4922 11.2266 766 766787
70.49/70.59	o 6411
71.29/71.32	c 44.9652 11.2266 786 773988
71.29/71.32	o 6353
71.50/71.59	c 45.1211 11.2266 663 776640
71.50/71.59	o 6349
72.38/72.47	c 45.6941 11.2266 649 783965
72.38/72.47	o 6310
74.29/74.34	c 46.8299 11.2266 925 804832
74.29/74.34	o 6272
74.39/74.43	c 46.8869 11.2266 765 805668
74.39/74.43	o 6188
74.98/75.05	c 47.2498 11.2266 768 813042
74.98/75.05	o 6097
75.19/75.26	c 47.3758 11.2266 463 815516
75.19/75.26	o 6039
77.48/77.55	c 48.7936 11.2266 805 836541
77.48/77.55	o 6023
78.28/78.39	c 49.3235 11.2266 485 844531
78.28/78.39	o 5974
79.20/79.24	c 49.8344 11.2266 617 851944
79.20/79.24	o 5922
79.78/79.82	c 50.2034 11.2266 677 858906
79.78/79.82	o 5791
80.09/80.18	c 50.4323 11.2266 758 862220
80.09/80.18	o 5787
80.09/80.19	c 50.4433 11.2266 490 862881
80.09/80.19	o 5615
81.99/82.06	c 51.6212 11.3477 585 878147
81.99/82.06	o 5576
82.39/82.42	c 51.8371 11.3477 447 881962
82.39/82.42	o 5508
82.79/82.82	c 52.0741 11.3477 563 885232
82.79/82.82	o 5501
82.99/83.06	c 52.2311 11.3477 734 887840
82.99/83.06	o 5419
83.89/83.92	c 52.77 11.3477 963 894677
83.89/83.92	o 5315
84.19/84.29	c 53.0059 11.3477 462 897597
84.19/84.29	o 5305
85.29/85.34	c 53.6368 11.3477 771 906082
85.29/85.34	o 5284
85.79/85.86	c 53.9578 11.3477 888 910172
85.79/85.86	o 5205
86.39/86.41	c 54.2937 11.3477 459 915725
86.39/86.41	o 5154
87.49/87.55	c 55.0246 11.3477 540 924927
87.49/87.55	o 5050
87.79/87.80	c 55.1766 11.3477 619 927434
87.79/87.80	o 4998
89.69/89.72	c 56.3564 11.3477 596 942476
89.69/89.72	o 4910
90.29/90.31	c 56.7034 11.3477 494 947307
90.29/90.31	o 4797
90.29/90.35	c 56.7244 11.3477 654 947817
90.29/90.35	o 4749
90.99/91.00	c 57.1273 11.3477 522 954101
90.99/91.00	o 4611
91.89/91.92	c 57.6772 11.3477 543 961386
91.89/91.92	o 4571
92.59/92.61	c 58.1132 11.3477 558 967268
92.59/92.61	o 4557
92.59/92.65	c 58.1402 11.3477 713 967799
92.59/92.65	o 4464
92.89/92.91	c 58.3041 11.3477 835 970039
92.89/92.91	o 4435
93.18/93.25	c 58.5201 11.3477 756 972840
93.18/93.25	o 4409
93.28/93.38	c 58.6001 11.3477 774 973945
93.28/93.38	o 4394
93.89/93.93	c 58.936 11.3477 759 978716
93.89/93.93	o 4356
94.18/94.20	c 59.11 11.3477 648 980972
94.18/94.20	o 4342
95.19/95.24	c 59.7539 11.3477 712 989055
95.19/95.24	o 4299
95.39/95.47	c 59.8989 11.3477 609 990883
95.39/95.47	o 4263
96.28/96.32	c 60.4298 11.3477 814 997496
96.28/96.32	o 4120
96.39/96.48	c 60.5258 11.3477 879 998540
96.39/96.48	o 4060
96.59/96.63	c 60.6148 11.3477 877 999522
96.59/96.63	o 4059
96.79/96.89	c 60.7838 11.3477 478 1001805
96.79/96.89	o 3955
96.89/96.98	c 60.8477 11.3477 796 1002704
96.89/96.98	o 3816
97.08/97.18	c 60.9737 11.3477 626 1004103
97.08/97.18	o 3789
97.19/97.26	c 61.0277 11.3477 499 1004899
97.19/97.26	o 3757
98.19/98.27	c 61.6436 11.3477 561 1011687
98.19/98.27	o 3644
99.39/99.41	c 62.3075 11.3477 677 1020701
99.39/99.41	o 3593
99.39/99.48	c 62.3495 11.3477 458 1021294
99.39/99.48	o 3551
99.79/99.84	c 62.5725 11.3477 702 1023809
99.79/99.84	o 3541
100.18/100.29	c 62.8534 11.3477 768 1026439
100.18/100.29	o 3496
100.49/100.50	c 62.9724 11.3477 586 1028098
100.49/100.50	o 3458
101.49/101.56	c 63.5973 11.3477 468 1035628
101.49/101.56	o 3383
101.78/101.86	c 63.7903 11.3477 482 1037537
101.78/101.86	o 3367
102.88/102.90	c 64.4372 11.4727 509 1044376
102.88/102.90	o 3273
102.99/103.06	c 64.5382 11.4727 543 1045359
102.99/103.06	o 3267
103.08/103.11	c 64.5702 11.4727 704 1045848
103.08/103.11	o 3228
104.79/104.85	c 65.671 11.4727 666 1058159
104.79/104.85	o 3213
104.79/104.89	c 65.695 11.4727 821 1058695
104.79/104.89	o 3123
104.88/104.98	c 65.745 11.4727 692 1059359
104.88/104.98	o 3101
105.19/105.20	c 65.898 11.4727 932 1060873
105.19/105.20	o 3066
105.28/105.30	c 65.958 11.4727 751 1061516
105.28/105.30	o 3054
105.38/105.41	c 66.029 11.4727 667 1062399
105.38/105.41	o 3042
105.69/105.79	c 66.2499 11.4727 490 1064835
105.69/105.79	o 3028
105.79/105.88	c 66.3039 11.4727 738 1065607
105.79/105.88	o 2935
105.88/105.93	c 66.3369 11.4727 476 1066012
105.88/105.93	o 2934
106.28/106.38	c 66.6269 11.4727 867 1068941
106.28/106.38	o 2921
106.48/106.52	c 66.7069 11.4727 875 1070021
106.48/106.52	o 2888
106.59/106.61	c 66.7559 11.4727 749 1070851
106.59/106.61	o 2751
106.98/107.03	c 67.0168 11.4727 784 1073911
106.98/107.03	o 2686
106.98/107.04	c 67.0258 11.4727 814 1074022
106.98/107.04	o 2672
107.38/107.44	c 67.2838 11.4727 612 1076105
107.38/107.44	o 2638
107.58/107.66	c 67.4058 11.4727 841 1077547
107.58/107.66	o 2636
107.69/107.77	c 67.4827 11.4727 804 1078455
107.69/107.77	o 2607
107.88/108.00	c 67.6227 11.4727 495 1079748
107.88/108.00	o 2558
108.19/108.21	c 67.7627 11.4727 619 1080965
108.19/108.21	o 2497
108.19/108.27	c 67.8037 11.4727 820 1081408
108.19/108.27	o 2493
109.38/109.47	c 68.5406 11.4727 478 1089268
109.38/109.47	o 2474
109.49/109.59	c 68.6106 11.4727 823 1090064
109.49/109.59	o 2463
109.89/109.93	c 68.8035 11.4727 962 1092056
109.89/109.93	o 2434
109.99/110.00	c 68.8515 11.4727 699 1092757
109.99/110.00	o 2336
110.39/110.40	c 69.0845 11.4727 924 1095012
110.39/110.40	o 2301
110.59/110.65	c 69.2365 11.4727 752 1096751
110.59/110.65	o 2179
110.59/110.66	c 69.2435 11.4727 783 1096849
110.59/110.66	o 2175
110.78/110.85	c 69.3745 11.4727 501 1098246
110.78/110.85	o 2109
110.99/111.05	c 69.4984 11.4727 602 1099434
110.99/111.05	o 2105
111.09/111.12	c 69.5394 11.4727 840 1100019
111.09/111.12	o 2098
111.19/111.23	c 69.6084 11.4727 700 1100831
111.19/111.23	o 2061
111.19/111.28	c 69.6354 11.4727 841 1101177
111.19/111.28	o 2058
111.39/111.42	c 69.7274 11.4727 788 1101895
111.39/111.42	o 2041
111.48/111.53	c 69.7924 11.4727 683 1102804
111.48/111.53	o 1823
111.69/111.73	c 69.9184 11.4727 787 1104047
111.69/111.73	o 1810
111.89/111.91	c 70.0324 11.4727 470 1105228
111.89/111.91	o 1794
112.09/112.12	c 70.1663 11.4727 664 1106677
112.09/112.12	o 1790
112.39/112.48	c 70.4013 11.5977 791 1108716
112.39/112.48	o 1778
112.59/112.65	c 70.5103 11.5977 812 1110065
112.59/112.65	o 1605
112.88/112.90	c 70.6683 11.5977 619 1111712
112.88/112.90	o 1499
112.88/112.98	c 70.7172 11.5977 913 1112317
112.88/112.98	o 1497
112.98/113.08	c 70.7802 11.5977 722 1113030
112.98/113.08	o 1489
113.09/113.17	c 70.8392 11.5977 543 1113607
113.09/113.17	o 1445
113.19/113.28	c 70.9122 11.5977 888 1114363
113.19/113.28	o 1403
113.29/113.36	c 70.9642 11.5977 684 1115018
113.29/113.36	o 1330
113.58/113.63	c 71.1292 11.5977 1056 1116634
113.58/113.63	o 1325
113.68/113.79	c 71.2432 11.5977 600 1117883
113.68/113.79	o 1292
113.88/113.94	c 71.3342 11.5977 546 1118811
113.88/113.94	o 1223
113.88/113.95	c 71.3402 11.5977 590 1118949
113.88/113.95	o 1210
113.99/114.02	c 71.3871 11.5977 861 1119532
113.99/114.02	o 1187
113.99/114.05	c 71.3991 11.5977 504 1119737
113.99/114.05	o 1153
113.99/114.08	c 71.4121 11.5977 560 1119968
113.99/114.08	o 1081
114.19/114.26	c 71.5321 11.5977 676 1121104
114.19/114.26	o 1080
114.19/114.29	c 71.5521 11.5977 793 1121485
114.19/114.29	o 1071
114.29/114.31	c 71.5651 11.5977 874 1121666
114.29/114.31	o 1059
114.29/114.33	c 71.5761 11.5977 480 1121809
114.29/114.33	o 1051
114.29/114.34	c 71.5831 11.5977 510 1121891
114.29/114.34	o 1042
114.29/114.38	c 71.6191 11.5977 654 1122246
114.29/114.38	o 1039
114.29/114.40	c 71.6301 11.5977 707 1122361
114.29/114.40	o 998
114.39/114.41	c 71.6391 11.5977 760 1122619
114.39/114.41	o 877
114.39/114.48	c 71.6891 11.5977 527 1123275
114.39/114.48	o 778
114.49/114.52	c 71.7151 11.5977 676 1123661
114.49/114.52	o 681
114.49/114.54	c 71.7311 11.5977 764 1123812
114.49/114.54	o 667
114.49/114.58	c 71.7611 11.5977 908 1124169
114.49/114.58	o 612
114.58/114.62	c 71.7801 11.5977 1013 1124383
114.58/114.62	o 607
114.58/114.62	c 71.7861 11.5977 1067 1124493
114.58/114.62	o 566
114.58/114.63	c 71.7901 11.5977 1088 1124626
114.58/114.63	o 471
114.58/114.63	c 71.7951 11.5977 1111 1124692
114.58/114.63	o 465
114.58/114.64	c 71.8021 11.5977 1149 1124817
114.58/114.64	o 408
114.58/114.65	c 71.8081 11.5977 927 1124908
114.58/114.65	o 387
114.58/114.66	c 71.8161 11.5977 975 1125032
114.58/114.66	o 339
114.58/114.67	c 71.8221 11.5977 1002 1125106
114.58/114.67	o 319
114.58/114.67	c 71.8251 11.5977 922 1125143
114.58/114.67	o 306
114.58/114.67	c 71.8281 11.5977 940 1125200
114.58/114.67	o 302
114.58/114.68	c 71.8311 11.5977 969 1125274
114.58/114.68	o 271
114.58/114.68	c 71.8331 11.5977 986 1125341
114.58/114.68	o 261
114.58/114.69	c 71.8361 11.5977 1023 1125467
114.58/114.69	o 173
114.58/114.69	c 71.8371 11.5977 1027 1125539
114.58/114.69	o 106
114.58/114.69	c 71.8371 11.5977 1027 1125590
114.58/114.69	o 54
114.58/114.69	c 71.8381 11.5977 1031 1125631
114.58/114.69	o 16
114.58/114.69	c 71.8391 11.5977 1032 1125648
114.58/114.69	o 5
114.58/114.69	c 71.8391 11.5977 1032 1125659
114.58/114.69	o 0
114.58/114.69	c 71.8391 11.5977 1032 1125659
114.58/114.69	s OPTIMUM FOUND
114.58/114.69	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-2699964-1278533863/watcher-2699964-1278533863 -o /tmp/evaluation-result-2699964-1278533863/solver-2699964-1278533863 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699964-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.15 0.06 0.01 4/176 17268
/proc/meminfo: memFree=29517012/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=2136 CPUtime=0
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 21599700 2187264 175 4089446400 134512640 136421960 4290857008 18446744073709551615 135158939 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17268/statm: 534 176 144 467 0 65 0

[startup+0.0688129 s]
/proc/loadavg: 0.15 0.06 0.01 4/176 17268
/proc/meminfo: memFree=29517012/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10356 CPUtime=0.06
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2332 0 0 0 6 0 0 0 23 0 1 0 21599700 10604544 2245 4089446400 134512640 136421960 4290857008 18446744073709551615 135026195 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2589 2245 238 467 0 2120 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10356

[startup+0.100813 s]
/proc/loadavg: 0.15 0.06 0.01 4/176 17268
/proc/meminfo: memFree=29517012/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10480 CPUtime=0.08
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2339 0 0 0 7 1 0 0 23 0 1 0 21599700 10731520 2251 4089446400 134512640 136421960 4290857008 18446744073709551615 135006123 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2620 2251 238 467 0 2151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10480

[startup+0.300775 s]
/proc/loadavg: 0.15 0.06 0.01 4/176 17268
/proc/meminfo: memFree=29517012/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10604 CPUtime=0.29
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2377 0 0 0 20 9 0 0 23 0 1 0 21599700 10858496 2288 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2651 2288 238 467 0 2182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10604

[startup+0.700705 s]
/proc/loadavg: 0.15 0.06 0.01 4/176 17268
/proc/meminfo: memFree=29517012/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10604 CPUtime=0.69
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2388 0 0 0 44 25 0 0 25 0 1 0 21599700 10858496 2292 4089446400 134512640 136421960 4290857008 18446744073709551615 134640918 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2651 2292 238 467 0 2182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10604

[startup+1.50056 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 17269
/proc/meminfo: memFree=29504848/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10604 CPUtime=1.49
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2408 0 0 0 98 51 0 0 25 0 1 0 21599700 10858496 2311 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2651 2311 238 467 0 2182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10604

[startup+3.10129 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 17269
/proc/meminfo: memFree=29500384/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10732 CPUtime=3.09
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2432 0 0 0 201 108 0 0 25 0 1 0 21599700 10989568 2326 4089446400 134512640 136421960 4290857008 18446744073709551615 134872740 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2683 2326 238 467 0 2214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10732

[startup+6.30073 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 17269
/proc/meminfo: memFree=29491972/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10860 CPUtime=6.29
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2476 0 0 0 406 223 0 0 25 0 1 0 21599700 11120640 2359 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2715 2359 238 467 0 2246 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10860

[startup+12.7006 s]
/proc/loadavg: 0.56 0.16 0.04 3/177 17269
/proc/meminfo: memFree=29471856/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=10988 CPUtime=12.68
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2511 0 0 0 802 466 0 0 25 0 1 0 21599700 11251712 2385 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2747 2385 238 467 0 2278 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10988

[startup+25.5004 s]
/proc/loadavg: 0.78 0.22 0.07 3/177 17270
/proc/meminfo: memFree=29443156/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11240 CPUtime=25.49
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2602 0 0 0 1612 937 0 0 25 0 1 0 21599700 11509760 2452 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2810 2452 238 467 0 2341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11240

[startup+51.101 s]
/proc/loadavg: 1.20 0.36 0.12 3/177 17270
/proc/meminfo: memFree=29402256/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11364 CPUtime=51.1
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2679 0 0 0 3222 1888 0 0 25 0 1 0 21599700 11636736 2490 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17268/statm: 2841 2490 238 467 0 2372 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11364

[startup+102.306 s]
/proc/loadavg: 1.68 0.63 0.22 3/177 17272
/proc/meminfo: memFree=29336248/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11744 CPUtime=102.29
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2832 0 0 0 6406 3823 0 0 25 0 1 0 21599700 12025856 2578 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2936 2578 238 467 0 2467 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11744

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

[startup+108.701 s]
/proc/loadavg: 1.70 0.65 0.23 3/177 17272
/proc/meminfo: memFree=29328676/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11744 CPUtime=108.69
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2871 0 0 0 6806 4063 0 0 25 0 1 0 21599700 12025856 2594 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2936 2594 238 467 0 2467 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 11744

[startup+111.9 s]
/proc/loadavg: 1.73 0.68 0.24 3/177 17272
/proc/meminfo: memFree=29325080/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11744 CPUtime=111.89
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2896 0 0 0 7002 4187 0 0 25 0 1 0 21599700 12025856 2604 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2936 2604 238 467 0 2467 0
Current children cumulated CPU time (s) 111.89
Current children cumulated vsize (KiB) 11744

[startup+113.501 s]
/proc/loadavg: 1.73 0.68 0.24 3/177 17272
/proc/meminfo: memFree=29319620/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11872 CPUtime=113.48
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2917 0 0 0 7104 4244 0 0 25 0 1 0 21599700 12156928 2615 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2968 2615 238 467 0 2499 0
Current children cumulated CPU time (s) 113.48
Current children cumulated vsize (KiB) 11872

[startup+114.301 s]
/proc/loadavg: 1.73 0.68 0.24 3/177 17272
/proc/meminfo: memFree=29318876/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11872 CPUtime=114.29
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2934 0 0 0 7155 4274 0 0 25 0 1 0 21599700 12156928 2623 4089446400 134512640 136421960 4290857008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 114.29
Current children cumulated vsize (KiB) 11872

[startup+114.701 s]
/proc/loadavg: 1.73 0.68 0.24 3/177 17272
/proc/meminfo: memFree=29318876/32951132 swapFree=67111528/67111528
[pid=17268] ppid=17266 vsize=11092 CPUtime=114.69
/proc/17268/stat : 17268 (pbct) R 17266 17268 16659 0 -1 4202496 2980 0 0 0 7184 4285 0 0 25 0 1 0 21599700 11358208 2494 4089446400 134512640 136421960 4290857008 18446744073709551615 134701513 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17268/statm: 2773 2494 241 467 0 2304 0
Current children cumulated CPU time (s) 114.69
Current children cumulated vsize (KiB) 11092

Child status: 0
Real time (s): 114.705
CPU time (s): 114.7
CPU user time (s): 71.8481
CPU system time (s): 42.8515
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 11872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.8481
system time used= 42.8515
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= 1
involuntary context switches= 457

runsolver used 0.234964 second user time and 0.448931 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-07 22:17:43
IDJOB=2699964
IDBENCH=79388
IDSOLVER=1208
FILE ID=node128/2699964-1278533863
PBS_JOBID= 11239222
Free space on /tmp= 73136 MiB

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

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

MD5SUM BENCH= d787b0d4d15d2d5c6758a89f1cfd571b
RANDOM SEED=1891119853

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
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.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
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.816
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.74
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.816
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29517408 kB
Buffers:        124656 kB
Cached:        3052484 kB
SwapCached:          0 kB
Active:        1402644 kB
Inactive:      1867152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29517408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5348 kB
Writeback:           0 kB
AnonPages:       92436 kB
Mapped:          16372 kB
Slab:           100360 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   233144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73136 MiB
End job on node128 at 2010-07-07 22:19:38