Trace number 2700360

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 101.963 101.959

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MD5SUM124b6775b7bb4e390bc62510a681a702
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.166974
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 constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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.03	c 0.037994 9.94531 1 1948
0.00/0.03	o 27022
0.00/0.04	c 0.038994 10.1133 1 2808
0.00/0.04	o 26069
0.00/0.04	c 0.039993 10.1133 3 3188
0.00/0.04	o 25740
0.00/0.04	c 0.039993 10.1133 3 4083
0.00/0.04	o 15022
0.00/0.04	c 0.040993 10.1133 6 4626
0.00/0.04	o 14597
0.00/0.04	c 0.040993 10.1133 6 5362
0.00/0.04	o 14144
0.29/0.35	c 0.106983 10.3633 683 10654
0.29/0.35	o 14085
0.79/0.83	c 0.19597 10.3633 612 18375
0.79/0.83	o 13939
1.19/1.20	c 0.269958 10.3633 534 25135
1.19/1.20	o 13905
1.29/1.32	c 0.306953 10.3633 589 27548
1.29/1.32	o 13803
1.29/1.33	c 0.308953 10.3633 608 27893
1.29/1.33	o 13663
1.29/1.34	c 0.309952 10.3633 662 28216
1.29/1.34	o 13594
1.29/1.37	c 0.315951 10.3633 511 28977
1.29/1.37	o 13401
1.49/1.54	c 0.346947 10.3633 579 31433
1.49/1.54	o 13337
1.59/1.67	c 0.374943 10.3633 744 33048
1.59/1.67	o 13304
1.89/1.96	c 0.444932 10.3633 732 38937
1.89/1.96	o 13247
2.49/2.55	c 0.556915 10.4883 788 48291
2.49/2.55	o 13218
2.59/2.60	c 0.570913 10.4883 359 49492
2.59/2.60	o 13138
3.39/3.44	c 0.710891 10.4883 412 62050
3.39/3.44	o 13019
3.49/3.51	c 0.72089 10.4883 806 63331
3.49/3.51	o 13010
3.99/4.01	c 0.823874 10.6133 802 67049
3.99/4.01	o 12957
4.20/4.22	c 0.85487 10.6133 418 70721
4.20/4.22	o 12920
4.49/4.56	c 0.91986 10.6133 566 76230
4.49/4.56	o 12849
4.99/5.06	c 1.01484 10.6133 671 84188
4.99/5.06	o 12847
5.39/5.42	c 1.11183 10.6133 772 91194
5.39/5.42	o 12725
5.99/6.04	c 1.3008 10.6133 986 101179
5.99/6.04	o 12684
6.50/6.60	c 1.40279 10.6133 554 111147
6.50/6.60	o 12473
6.50/6.60	c 1.40279 10.6133 554 111354
6.50/6.60	o 12409
6.50/6.60	c 1.40279 10.6133 555 111542
6.50/6.60	o 12400
6.79/6.87	c 1.45578 10.6133 435 116534
6.79/6.87	o 12392
7.09/7.16	c 1.50477 10.6133 604 121997
7.09/7.16	o 12180
7.59/7.62	c 1.58076 10.6133 670 129599
7.59/7.62	o 12177
7.69/7.75	c 1.60675 10.6133 459 132136
7.69/7.75	o 12076
7.69/7.75	c 1.60776 10.6133 474 132528
7.69/7.75	o 11882
7.89/7.99	c 1.65075 10.6133 557 135149
7.89/7.99	o 11626
7.99/8.06	c 1.66975 10.6133 583 137195
7.99/8.06	o 11007
8.59/8.66	c 1.78373 10.6133 620 144933
8.59/8.66	o 10776
9.39/9.42	c 1.91071 10.6133 844 154800
9.39/9.43	o 10755
9.69/9.80	c 1.9657 10.6133 567 161109
9.69/9.80	o 10700
9.79/9.86	c 1.9717 10.6133 594 162353
9.79/9.86	o 10593
10.59/10.65	c 2.11068 10.7383 884 172129
10.59/10.65	o 10579
11.40/11.44	c 2.23766 10.7383 391 182684
11.40/11.44	o 10540
12.70/12.79	c 2.5956 10.7383 659 201346
12.70/12.79	o 10505
13.69/13.72	c 2.75458 10.7383 873 209451
13.69/13.72	o 10310
14.59/14.65	c 2.89356 10.7383 661 223258
14.59/14.65	o 10283
15.30/15.35	c 3.01254 10.7383 662 233098
15.30/15.35	o 10203
16.29/16.34	c 3.17652 10.7383 699 245366
16.29/16.34	o 10145
17.29/17.33	c 3.33949 10.7383 662 258924
17.29/17.33	o 10118
18.19/18.27	c 3.48647 10.7383 559 270318
18.19/18.27	o 10001
18.69/18.74	c 3.61045 10.7383 692 276731
18.69/18.74	o 9969
18.69/18.77	c 3.61545 10.7383 517 277471
18.69/18.77	o 9777
18.89/18.91	c 3.66344 10.7383 769 279014
18.89/18.91	o 9738
19.09/19.12	c 3.72243 10.7383 705 282329
19.09/19.12	o 9551
20.19/20.26	c 3.9314 10.7383 660 297201
20.19/20.26	o 9314
20.99/21.09	c 4.03739 10.7383 699 308150
20.99/21.09	o 9280
21.09/21.18	c 4.05638 10.7383 404 309694
21.09/21.18	o 9124
21.69/21.79	c 4.14137 10.8594 986 315432
21.69/21.79	o 8989
21.90/21.91	c 4.16037 10.8594 545 317735
21.90/21.91	o 8966
23.10/23.17	c 4.38633 10.8594 597 332844
23.10/23.17	o 8960
23.20/23.24	c 4.39633 10.8594 660 334119
23.20/23.24	o 8891
23.60/23.65	c 4.47132 10.8594 789 339765
23.60/23.65	o 8814
24.20/24.26	c 4.5683 10.8594 637 348436
24.20/24.26	o 8784
29.29/29.38	c 5.50616 10.8594 794 411327
29.29/29.38	o 8740
29.50/29.58	c 5.52616 10.8594 489 413580
29.50/29.58	o 8733
29.79/29.85	c 5.57515 10.8594 710 417261
29.79/29.85	o 8697
31.49/31.59	c 5.87611 10.8594 881 437057
31.49/31.59	o 8675
34.59/34.66	c 6.52201 10.8594 713 468392
34.59/34.66	o 8588
34.80/34.87	c 6.548 10.8594 690 470383
34.80/34.87	o 8381
34.89/34.96	c 6.564 10.8594 722 471511
34.89/34.96	o 8346
34.99/35.05	c 6.574 10.8594 494 472853
34.99/35.05	o 8285
35.59/35.68	c 6.67898 10.8594 905 479828
35.59/35.68	o 8191
37.19/37.20	c 6.91695 10.9805 580 496571
37.19/37.20	o 8187
38.40/38.49	c 7.19791 10.9805 887 511536
38.40/38.49	o 8165
40.99/41.00	c 7.68483 10.9805 893 538510
40.99/41.00	o 8157
41.09/41.13	c 7.69983 10.9805 575 540196
41.09/41.13	o 8122
41.70/41.74	c 7.79881 10.9805 538 547191
41.70/41.74	o 8082
42.29/42.39	c 7.9038 10.9805 722 555097
42.29/42.39	o 7990
42.90/42.92	c 7.99478 10.9805 513 561411
42.90/42.92	o 7894
43.49/43.52	c 8.10577 10.9805 663 568913
43.49/43.52	o 7610
44.69/44.77	c 8.32673 10.9805 538 581374
44.69/44.77	o 7607
45.69/45.71	c 8.5697 10.9805 643 593183
45.69/45.71	o 7606
45.79/45.85	c 8.59569 10.9805 893 594642
45.79/45.85	o 7580
46.19/46.29	c 8.66568 10.9805 619 600053
46.19/46.29	o 7559
49.59/49.66	c 9.1806 10.9805 880 633493
49.59/49.66	o 7523
49.79/49.83	c 9.1986 10.9805 911 635836
49.79/49.83	o 7469
50.60/50.70	c 9.31758 10.9805 723 646273
50.60/50.70	o 7394
51.20/51.22	c 9.41557 10.9805 792 651604
51.20/51.22	o 7241
51.20/51.25	c 9.42457 10.9805 477 651826
51.20/51.25	o 7227
51.70/51.76	c 9.56055 10.9805 751 657380
51.70/51.76	o 7159
51.89/51.97	c 9.61554 10.9805 811 659546
51.89/51.97	o 7126
52.20/52.24	c 9.69353 10.9805 704 662391
52.20/52.24	o 7110
55.09/55.16	c 10.1375 11.1016 671 689569
55.09/55.16	o 7076
55.50/55.54	c 10.2114 11.1016 449 694068
55.50/55.54	o 7061
55.59/55.60	c 10.2244 11.1016 767 695052
55.59/55.60	o 7018
56.00/56.08	c 10.2974 11.1016 522 700675
56.00/56.08	o 6973
57.59/57.61	c 10.5554 11.1016 938 714944
57.59/57.61	o 6966
57.59/57.65	c 10.5664 11.1016 652 715550
57.59/57.65	o 6955
58.79/58.88	c 10.8993 11.1016 677 730942
58.79/58.88	o 6752
59.80/59.87	c 11.0323 11.1016 718 742107
59.80/59.87	o 6741
59.89/59.95	c 11.0463 11.1016 433 743330
59.89/59.95	o 6701
60.00/60.03	c 11.0583 11.1016 658 744002
60.00/60.03	o 6681
61.09/61.10	c 11.2283 11.1016 762 753683
61.09/61.10	o 6632
61.50/61.51	c 11.2883 11.1016 688 757557
61.50/61.51	o 6596
64.69/64.76	c 11.8012 11.1016 734 788762
64.69/64.76	o 6558
64.79/64.83	c 11.8212 11.1016 689 789453
64.79/64.83	o 6552
64.90/64.94	c 11.8432 11.1016 780 790908
64.90/64.94	o 6435
65.79/65.83	c 12.0202 11.1016 471 800658
65.79/65.83	o 6386
65.79/65.88	c 12.0272 11.1016 620 801250
65.79/65.88	o 6263
65.90/65.98	c 12.0402 11.1016 695 802561
65.90/65.98	o 6236
66.00/66.01	c 12.0492 11.1016 417 803006
66.00/66.01	o 6163
66.00/66.08	c 12.0602 11.1016 695 803864
66.00/66.08	o 6141
67.09/67.12	c 12.2111 11.1016 513 814070
67.09/67.12	o 6130
68.60/68.61	c 12.4241 11.1016 504 827569
68.60/68.61	o 6038
69.30/69.33	c 12.5381 11.1016 433 835629
69.30/69.33	o 6009
69.39/69.41	c 12.5471 11.1016 451 836745
69.39/69.41	o 5989
70.30/70.35	c 12.6891 11.1016 502 846768
70.30/70.35	o 5981
70.49/70.57	c 12.7261 11.1016 563 848994
70.49/70.57	o 5959
70.80/70.83	c 12.7651 11.1016 499 851828
70.80/70.83	o 5928
71.50/71.52	c 12.947 11.1016 838 858895
71.50/71.52	o 5903
71.90/71.98	c 13.056 11.1016 731 862314
71.90/71.98	o 5891
72.20/72.27	c 13.102 11.1016 735 865652
72.20/72.27	o 5860
72.79/72.87	c 13.193 11.1016 625 871774
72.79/72.87	o 5766
72.89/72.95	c 13.205 11.1016 920 872531
72.89/72.95	o 5760
73.59/73.62	c 13.302 11.1016 580 878499
73.59/73.62	o 5674
73.89/73.93	c 13.348 11.2227 474 881404
73.89/73.93	o 5670
74.89/74.93	c 13.4919 11.2227 545 890854
74.89/74.93	o 5632
74.99/75.02	c 13.5029 11.2227 919 891769
74.99/75.02	o 5583
75.09/75.15	c 13.5209 11.2227 964 893029
75.09/75.15	o 5502
76.19/76.20	c 13.6889 11.2227 653 903544
76.19/76.20	o 5444
77.39/77.46	c 13.8699 11.2227 462 915476
77.39/77.46	o 5439
77.59/77.66	c 13.9219 11.2227 825 917179
77.59/77.66	o 5404
77.69/77.76	c 13.9479 11.2227 745 918102
77.69/77.76	o 5380
78.79/78.86	c 14.1668 11.2227 948 927670
78.79/78.86	o 5324
79.10/79.18	c 14.2038 11.2227 603 930040
79.10/79.18	o 5297
79.29/79.34	c 14.2208 11.2227 643 931138
79.29/79.34	o 5289
79.90/79.94	c 14.2968 11.2227 446 937176
79.90/79.94	o 5277
80.20/80.22	c 14.3328 11.2227 670 940017
80.20/80.22	o 5160
80.50/80.56	c 14.3818 11.2227 530 942557
80.50/80.56	o 5137
80.59/80.66	c 14.3968 11.2227 960 943600
80.59/80.66	o 5103
80.59/80.67	c 14.3988 11.2227 515 943906
80.59/80.67	o 4968
82.79/82.87	c 14.6898 11.2227 873 962508
82.79/82.87	o 4949
83.79/83.83	c 14.8547 11.2227 560 971681
83.79/83.83	o 4830
84.49/84.58	c 15.0447 11.2227 879 978312
84.49/84.58	o 4821
85.10/85.11	c 15.1627 11.2227 794 983436
85.10/85.11	o 4815
85.39/85.45	c 15.2177 11.2227 466 986859
85.39/85.45	o 4794
85.49/85.58	c 15.2337 11.2227 620 988259
85.49/85.58	o 4732
85.99/86.06	c 15.3067 11.2227 645 992336
85.99/86.06	o 4705
86.99/87.03	c 15.4517 11.2227 755 999700
86.99/87.03	o 4681
86.99/87.09	c 15.4616 11.2227 565 1000492
86.99/87.09	o 4584
87.40/87.40	c 15.5036 11.2227 819 1003500
87.40/87.40	o 4554
88.89/88.97	c 15.7446 11.2227 775 1016737
88.89/88.97	o 4490
89.19/89.26	c 15.7846 11.2227 645 1019253
89.19/89.26	o 4438
89.49/89.57	c 15.8246 11.2227 467 1022018
89.49/89.57	o 4349
90.69/90.70	c 16.0196 11.3438 596 1030839
90.69/90.70	o 4325
90.79/90.89	c 16.0616 11.3438 426 1032475
90.79/90.89	o 4322
90.89/90.99	c 16.0866 11.3438 824 1033320
90.89/90.99	o 4297
90.99/91.02	c 16.0956 11.3438 524 1033760
90.99/91.02	o 4282
91.09/91.16	c 16.1315 11.3438 580 1035132
91.09/91.16	o 4102
91.59/91.61	c 16.2575 11.3438 724 1038710
91.59/91.61	o 4100
91.69/91.75	c 16.2785 11.3438 774 1039912
91.69/91.75	o 4077
91.69/91.78	c 16.2815 11.3438 873 1040198
91.69/91.78	o 4012
92.10/92.16	c 16.3445 11.3438 538 1043363
92.10/92.16	o 4011
92.40/92.49	c 16.3945 11.3438 496 1046650
92.40/92.49	o 3899
92.49/92.58	c 16.4105 11.3438 514 1047840
92.49/92.58	o 3829
92.69/92.74	c 16.4335 11.3438 553 1048834
92.69/92.74	o 3785
92.89/92.91	c 16.4585 11.3438 780 1050502
92.89/92.91	o 3776
92.99/93.02	c 16.4815 11.3438 715 1051362
92.99/93.02	o 3676
93.30/93.32	c 16.5225 11.3438 862 1053520
93.30/93.32	o 3658
93.69/93.73	c 16.5795 11.3438 578 1056463
93.69/93.73	o 3571
93.69/93.77	c 16.5835 11.3438 675 1056819
93.69/93.77	o 3411
94.09/94.12	c 16.6275 11.3438 828 1059072
94.09/94.12	o 3357
94.39/94.43	c 16.6625 11.3438 647 1061740
94.39/94.43	o 3282
94.60/94.69	c 16.6885 11.3438 687 1064011
94.60/94.69	o 3252
94.99/95.07	c 16.7375 11.3438 603 1066873
94.99/95.07	o 3144
95.19/95.20	c 16.7555 11.3438 683 1068166
95.19/95.20	o 3117
95.19/95.27	c 16.7625 11.3438 935 1068774
95.19/95.27	o 3112
95.30/95.37	c 16.7744 11.3438 793 1069500
95.30/95.37	o 3055
95.60/95.61	c 16.8054 11.3438 663 1071403
95.60/95.61	o 3044
95.60/95.65	c 16.8084 11.3438 826 1071950
95.60/95.65	o 2974
95.80/95.83	c 16.8374 11.3438 593 1073391
95.80/95.83	o 2971
96.10/96.14	c 16.8774 11.3438 653 1075376
96.10/96.14	o 2924
96.10/96.18	c 16.8834 11.3438 788 1075749
96.10/96.18	o 2898
96.49/96.50	c 16.9294 11.3438 512 1078290
96.49/96.50	o 2870
97.60/97.61	c 17.1574 11.3438 520 1086125
97.60/97.61	o 2815
97.69/97.71	c 17.1804 11.3438 856 1086926
97.69/97.71	o 2704
98.09/98.18	c 17.2874 11.3438 777 1090747
98.09/98.18	o 2677
98.20/98.28	c 17.3024 11.3438 796 1091924
98.20/98.28	o 2676
98.59/98.62	c 17.3604 11.3438 565 1094357
98.59/98.62	o 2623
98.69/98.72	c 17.3834 11.3438 915 1095339
98.69/98.72	o 2575
99.19/99.28	c 17.4683 11.3438 614 1099795
99.19/99.28	o 2519
99.30/99.35	c 17.4873 11.4648 476 1100478
99.30/99.35	o 2508
99.40/99.43	c 17.4983 11.4648 704 1101231
99.40/99.43	o 2494
99.69/99.72	c 17.5383 11.4648 699 1103401
99.69/99.72	o 2420
99.69/99.76	c 17.5423 11.4648 868 1103828
99.69/99.76	o 2385
99.90/99.92	c 17.5673 11.4648 511 1105183
99.90/99.92	o 2271
99.90/99.98	c 17.5793 11.4648 718 1105701
99.90/99.98	o 2214
100.19/100.24	c 17.6193 11.4648 623 1107494
100.19/100.24	o 2109
100.19/100.29	c 17.6253 11.4648 759 1107946
100.19/100.29	o 2074
100.29/100.38	c 17.6343 11.4648 642 1108629
100.29/100.38	o 2064
100.50/100.51	c 17.6533 11.4648 653 1109687
100.50/100.51	o 2013
100.50/100.54	c 17.6583 11.4648 735 1109940
100.50/100.54	o 2009
100.50/100.59	c 17.6673 11.4648 443 1110301
100.50/100.59	o 1951
100.59/100.62	c 17.6693 11.4648 509 1110486
100.59/100.62	o 1879
100.59/100.69	c 17.6823 11.4648 746 1111175
100.59/100.69	o 1862
100.69/100.74	c 17.6883 11.4648 465 1111547
100.69/100.74	o 1851
100.69/100.75	c 17.6913 11.4648 525 1111760
100.69/100.75	o 1767
100.69/100.79	c 17.6973 11.4648 615 1111966
100.69/100.79	o 1756
100.89/100.92	c 17.7153 11.4648 587 1112964
100.89/100.92	o 1723
100.89/100.96	c 17.7193 11.4648 699 1113276
100.89/100.96	o 1664
101.00/101.05	c 17.7303 11.4648 487 1113962
101.00/101.05	o 1401
101.10/101.11	c 17.7463 11.4648 662 1114360
101.10/101.11	o 1355
101.20/101.22	c 17.7623 11.4648 563 1115150
101.20/101.22	o 1288
101.20/101.23	c 17.7643 11.4648 583 1115297
101.20/101.23	o 1203
101.20/101.24	c 17.7673 11.4648 621 1115416
101.20/101.24	o 1183
101.20/101.25	c 17.7693 11.4648 643 1115476
101.20/101.25	o 1179
101.20/101.26	c 17.7713 11.4648 664 1115538
101.20/101.26	o 1167
101.20/101.26	c 17.7713 11.4648 678 1115587
101.20/101.26	o 1156
101.20/101.27	c 17.7723 11.4648 685 1115677
101.20/101.27	o 1145
101.29/101.30	c 17.7783 11.4648 767 1115880
101.29/101.30	o 1130
101.29/101.33	c 17.7843 11.4648 852 1116171
101.29/101.33	o 1081
101.39/101.49	c 17.8163 11.4648 527 1117404
101.39/101.49	o 1070
101.49/101.54	c 17.8253 11.4648 679 1117787
101.49/101.54	o 1027
101.49/101.58	c 17.8333 11.4648 787 1118107
101.49/101.58	o 1018
101.59/101.61	c 17.8383 11.4648 456 1118307
101.59/101.61	o 1007
101.59/101.64	c 17.8413 11.4648 534 1118495
101.59/101.64	o 924
101.70/101.72	c 17.8533 11.4648 798 1119137
101.70/101.72	o 790
101.70/101.79	c 17.8663 11.5859 987 1119563
101.70/101.79	o 724
101.79/101.83	c 17.8753 11.5859 642 1119938
101.79/101.83	o 654
101.79/101.84	c 17.8793 11.5859 649 1119988
101.79/101.84	o 639
101.79/101.85	c 17.8803 11.5859 670 1120087
101.79/101.85	o 574
101.79/101.88	c 17.8893 11.5859 735 1120340
101.79/101.88	o 495
101.89/101.91	c 17.8993 11.5859 823 1120664
101.89/101.91	o 389
101.89/101.91	c 17.9023 11.5859 858 1120742
101.89/101.91	o 363
101.89/101.92	c 17.9023 11.5859 878 1120830
101.89/101.92	o 293
101.89/101.92	c 17.9053 11.5859 925 1120905
101.89/101.92	o 276
101.89/101.93	c 17.9073 11.5859 634 1120973
101.89/101.93	o 250
101.89/101.94	c 17.9103 11.5859 696 1121084
101.89/101.94	o 231
101.89/101.94	c 17.9113 11.5859 713 1121126
101.89/101.94	o 227
101.89/101.94	c 17.9113 11.5859 721 1121179
101.89/101.94	o 186
101.89/101.94	c 17.9113 11.5859 730 1121249
101.89/101.94	o 125
101.89/101.94	c 17.9113 11.5859 546 1121269
101.89/101.94	o 118
101.89/101.94	c 17.9123 11.5859 548 1121293
101.89/101.94	o 109
101.89/101.94	c 17.9123 11.5859 561 1121354
101.89/101.94	o 63
101.89/101.95	c 17.9123 11.5859 561 1121406
101.89/101.95	o 0
101.89/101.95	c 17.9123 11.5859 561 1121406
101.89/101.95	s OPTIMUM FOUND
101.89/101.95	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-2700360-1278535049/watcher-2700360-1278535049 -o /tmp/evaluation-result-2700360-1278535049/solver-2700360-1278535049 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700360-1278535049.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 1.67 3/178 19601
/proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=2136 CPUtime=0
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 21718031 2187264 175 4089446400 134512640 136421960 4292352480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19601/statm: 534 175 144 467 0 65 0

[startup+0.0928119 s]
/proc/loadavg: 2.00 2.03 1.67 3/178 19601
/proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10480 CPUtime=0.08
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2344 0 0 0 5 3 0 0 21 0 1 0 21718031 10731520 2257 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2620 2257 238 467 0 2151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10480

[startup+0.100809 s]
/proc/loadavg: 2.00 2.03 1.67 3/178 19601
/proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10480 CPUtime=0.09
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2348 0 0 0 5 4 0 0 21 0 1 0 21718031 10731520 2261 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2620 2261 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300773 s]
/proc/loadavg: 2.00 2.03 1.67 3/178 19601
/proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10608 CPUtime=0.29
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2368 0 0 0 9 20 0 0 21 0 1 0 21718031 10862592 2281 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2652 2281 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700712 s]
/proc/loadavg: 2.00 2.03 1.67 3/178 19601
/proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10608 CPUtime=0.69
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2373 0 0 0 16 53 0 0 22 0 1 0 21718031 10862592 2285 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2652 2285 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50056 s]
/proc/loadavg: 2.00 2.03 1.67 3/179 19602
/proc/meminfo: memFree=27094208/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10608 CPUtime=1.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2392 0 0 0 33 116 0 0 25 0 1 0 21718031 10862592 2298 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2652 2298 238 467 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10608

[startup+3.10026 s]
/proc/loadavg: 2.00 2.03 1.67 3/179 19602
/proc/meminfo: memFree=27093216/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10736 CPUtime=3.09
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2424 0 0 0 66 243 0 0 25 0 1 0 21718031 10993664 2325 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2684 2325 238 467 0 2215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10736

[startup+6.30068 s]
/proc/loadavg: 2.00 2.03 1.67 3/179 19602
/proc/meminfo: memFree=27087640/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10864 CPUtime=6.29
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2454 0 0 0 135 494 0 0 25 0 1 0 21718031 11124736 2347 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2716 2347 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7005 s]
/proc/loadavg: 2.00 2.03 1.68 3/179 19602
/proc/meminfo: memFree=27079448/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10992 CPUtime=12.7
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2502 0 0 0 257 1013 0 0 25 0 1 0 21718031 11255808 2379 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2748 2379 238 467 0 2279 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10992

[startup+25.5002 s]
/proc/loadavg: 2.07 2.04 1.68 3/179 19604
/proc/meminfo: memFree=27062452/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11116 CPUtime=25.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2561 0 0 0 484 2065 0 0 25 0 1 0 21718031 11382784 2418 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2779 2418 238 467 0 2310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11116

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 1.69 3/179 19604
/proc/meminfo: memFree=27026692/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11240 CPUtime=51.09
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2634 0 0 0 938 4171 0 0 25 0 1 0 21718031 11509760 2467 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2810 2467 238 467 0 2341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11240

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

[startup+76.7009 s]
/proc/loadavg: 2.03 2.03 1.70 3/179 19604
/proc/meminfo: memFree=26992444/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11488 CPUtime=76.69
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2724 0 0 0 1375 6294 0 0 25 0 1 0 21718031 11763712 2514 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2872 2514 238 467 0 2403 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11488

[startup+89.5005 s]
/proc/loadavg: 2.02 2.03 1.70 3/179 19605
/proc/meminfo: memFree=26974560/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11488 CPUtime=89.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2775 0 0 0 1581 7368 0 0 25 0 1 0 21718031 11763712 2542 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2872 2542 238 467 0 2403 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 11488

[startup+95.9004 s]
/proc/loadavg: 2.02 2.03 1.71 3/179 19605
/proc/meminfo: memFree=26965128/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11612 CPUtime=95.89
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2824 0 0 0 1684 7905 0 0 25 0 1 0 21718031 11890688 2563 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2903 2563 238 467 0 2434 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 11612

[startup+99.1008 s]
/proc/loadavg: 2.02 2.03 1.71 3/179 19606
/proc/meminfo: memFree=26960652/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11612 CPUtime=99.1
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2842 0 0 0 1744 8166 0 0 25 0 1 0 21718031 11890688 2572 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2903 2572 238 467 0 2434 0
Current children cumulated CPU time (s) 99.1
Current children cumulated vsize (KiB) 11612

[startup+100.7 s]
/proc/loadavg: 2.02 2.03 1.71 3/179 19606
/proc/meminfo: memFree=26959040/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11736 CPUtime=100.69
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2868 0 0 0 1768 8301 0 0 25 0 1 0 21718031 12017664 2583 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2934 2583 238 467 0 2465 0
Current children cumulated CPU time (s) 100.69
Current children cumulated vsize (KiB) 11736

[startup+101.5 s]
/proc/loadavg: 2.02 2.03 1.71 3/179 19606
/proc/meminfo: memFree=26957676/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11736 CPUtime=101.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2902 0 0 0 1781 8368 0 0 25 0 1 0 21718031 12017664 2600 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2934 2600 238 467 0 2465 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 11736

[startup+101.9 s]
/proc/loadavg: 2.02 2.03 1.71 3/179 19606
/proc/meminfo: memFree=26957676/32951124 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11860 CPUtime=101.89
/proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2921 0 0 0 1789 8400 0 0 25 0 1 0 21718031 12144640 2609 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2965 2609 238 467 0 2496 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 11860

Child status: 0
Real time (s): 101.959
CPU time (s): 101.963
CPU user time (s): 17.9203
CPU system time (s): 84.0422
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11860

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

runsolver used 0.158975 second user time and 0.314952 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-07 22:37:29
IDJOB=2700360
IDBENCH=79421
IDSOLVER=1208
FILE ID=node138/2700360-1278535049
PBS_JOBID= 11239202
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=218868094

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27104904 kB
Buffers:        129648 kB
Cached:        3978340 kB
SwapCached:          0 kB
Active:        3136384 kB
Inactive:      2557840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27104904 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:     1586488 kB
Mapped:          17096 kB
Slab:            84488 kB
PageTables:       8352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1738280 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= 73608 MiB
End job on node138 at 2010-07-07 22:39:11