Trace number 2700363

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 108.933 108.932

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.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.04	c 0.035994 9.94531 1 1948
0.00/0.04	o 27022
0.00/0.04	c 0.035994 10.1133 1 2808
0.00/0.04	o 26069
0.00/0.04	c 0.036994 10.1133 3 3188
0.00/0.04	o 25740
0.00/0.04	c 0.038994 10.1133 3 4083
0.00/0.04	o 15022
0.00/0.04	c 0.038994 10.1133 6 4626
0.00/0.04	o 14597
0.00/0.05	c 0.040993 10.1133 6 5362
0.00/0.05	o 14144
0.29/0.38	c 0.249962 10.3633 683 10654
0.29/0.38	o 14085
0.89/0.90	c 0.578911 10.3633 612 18375
0.89/0.90	o 13939
1.30/1.31	c 0.829873 10.3633 534 25135
1.30/1.31	o 13905
1.40/1.45	c 0.92086 10.3633 589 27548
1.40/1.45	o 13803
1.40/1.45	c 0.924859 10.3633 608 27893
1.40/1.45	o 13663
1.40/1.47	c 0.936857 10.3633 662 28216
1.40/1.47	o 13594
1.49/1.50	c 0.959854 10.3633 511 28977
1.49/1.50	o 13401
1.59/1.68	c 1.07984 10.3633 579 31433
1.59/1.68	o 13337
1.79/1.83	c 1.16882 10.3633 744 33048
1.79/1.83	o 13304
2.09/2.15	c 1.37979 10.3633 732 38937
2.09/2.15	o 13247
2.79/2.80	c 1.78173 10.4883 788 48291
2.79/2.80	o 13218
2.79/2.85	c 1.81472 10.4883 359 49492
2.79/2.85	o 13138
3.69/3.77	c 2.40863 10.4883 412 62050
3.69/3.77	o 13019
3.79/3.86	c 2.45463 10.4883 806 63331
3.79/3.86	o 13010
4.40/4.41	c 2.78558 10.6133 802 67049
4.40/4.41	o 12957
4.60/4.65	c 2.93055 10.6133 418 70721
4.60/4.65	o 12920
4.99/5.01	c 3.18252 10.6133 566 76230
4.99/5.01	o 12849
5.49/5.55	c 3.51946 10.6133 671 84188
5.49/5.55	o 12847
5.89/5.95	c 3.78442 10.6133 772 91194
5.89/5.95	o 12725
6.59/6.62	c 4.20236 10.6133 986 101179
6.59/6.62	o 12684
7.19/7.23	c 4.5743 10.6133 554 111147
7.19/7.23	o 12473
7.19/7.23	c 4.5743 10.6133 554 111354
7.19/7.23	o 12409
7.19/7.23	c 4.5753 10.6133 555 111542
7.19/7.23	o 12400
7.49/7.52	c 4.77027 10.6133 435 116534
7.49/7.52	o 12392
7.79/7.84	c 4.96924 10.6133 604 121997
7.79/7.84	o 12180
8.29/8.36	c 5.29719 10.6133 670 129599
8.29/8.36	o 12177
8.39/8.49	c 5.38318 10.6133 459 132136
8.39/8.49	o 12076
8.49/8.50	c 5.38818 10.6133 474 132528
8.49/8.50	o 11882
8.70/8.77	c 5.55616 10.6133 557 135149
8.70/8.77	o 11626
8.80/8.84	c 5.60915 10.6133 583 137195
8.80/8.84	o 11007
9.49/9.50	c 6.00609 10.6133 620 144933
9.49/9.50	o 10776
10.29/10.34	c 6.52701 10.6133 844 154800
10.29/10.34	o 10755
10.69/10.75	c 6.77297 10.6133 567 161109
10.69/10.75	o 10700
10.79/10.82	c 6.81496 10.6133 594 162353
10.79/10.82	o 10593
11.59/11.69	c 7.36788 10.7383 884 172129
11.59/11.69	o 10579
12.49/12.55	c 7.9118 10.7383 391 182684
12.49/12.55	o 10540
14.00/14.02	c 8.81366 10.7383 659 201346
14.00/14.02	o 10505
14.99/15.05	c 9.41957 10.7383 873 209451
14.99/15.05	o 10310
15.99/16.06	c 10.0425 10.7383 661 223258
15.99/16.06	o 10283
16.79/16.83	c 10.5134 10.7383 662 233098
16.79/16.83	o 10203
17.90/17.92	c 11.2103 10.7383 699 245366
17.90/17.92	o 10145
18.99/19.01	c 11.8882 10.7383 662 258924
18.99/19.01	o 10118
19.99/20.03	c 12.5021 10.7383 559 270318
19.99/20.03	o 10001
20.49/20.55	c 12.8051 10.7383 692 276731
20.49/20.55	o 9969
20.49/20.58	c 12.824 10.7383 517 277471
20.49/20.58	o 9777
20.69/20.73	c 12.907 10.7383 769 279014
20.69/20.73	o 9738
20.89/20.96	c 13.052 10.7383 705 282329
20.89/20.96	o 9551
22.19/22.21	c 13.8369 10.7383 660 297201
22.19/22.21	o 9314
23.10/23.13	c 14.3898 10.7383 699 308150
23.10/23.13	o 9280
23.19/23.23	c 14.4568 10.7383 404 309694
23.19/23.23	o 9124
23.90/23.90	c 14.8637 10.8594 986 315432
23.90/23.90	o 8989
23.99/24.03	c 14.9387 10.8594 545 317735
23.99/24.03	o 8966
25.39/25.41	c 15.8086 10.8594 597 332844
25.39/25.41	o 8960
25.39/25.49	c 15.8556 10.8594 660 334119
25.39/25.49	o 8891
25.89/25.93	c 16.1195 10.8594 789 339765
25.89/25.93	o 8814
26.49/26.59	c 16.5225 10.8594 637 348436
26.49/26.59	o 8784
32.19/32.22	c 20.021 10.8594 794 411327
32.19/32.22	o 8740
32.39/32.43	c 20.1669 10.8594 489 413580
32.39/32.43	o 8733
32.69/32.72	c 20.3519 10.8594 710 417261
32.69/32.72	o 8697
34.59/34.62	c 21.5497 10.8594 881 437057
34.59/34.62	o 8675
37.99/38.00	c 23.5954 10.8594 713 468392
37.99/38.00	o 8588
38.19/38.23	c 23.7484 10.8594 690 470383
38.19/38.23	o 8381
38.29/38.33	c 23.8034 10.8594 722 471511
38.29/38.33	o 8346
38.40/38.43	c 23.8754 10.8594 494 472853
38.40/38.43	o 8285
39.09/39.12	c 24.2963 10.8594 905 479828
39.09/39.12	o 8191
40.69/40.77	c 25.3012 10.9805 580 496571
40.69/40.77	o 8187
42.09/42.19	c 26.158 10.9805 887 511536
42.09/42.19	o 8165
44.89/44.95	c 27.8888 10.9805 893 538510
44.89/44.95	o 8157
44.99/45.09	c 27.9677 10.9805 575 540196
44.99/45.09	o 8122
45.69/45.75	c 28.3767 10.9805 538 547191
45.69/45.75	o 8082
46.39/46.45	c 28.8066 10.9805 722 555097
46.39/46.45	o 7990
46.99/47.03	c 29.1796 10.9805 513 561411
46.99/47.03	o 7894
47.69/47.70	c 29.5955 10.9805 663 568913
47.69/47.70	o 7610
48.99/49.07	c 30.4704 10.9805 538 581374
48.99/49.07	o 7607
50.10/50.10	c 31.1053 10.9805 643 593183
50.10/50.10	o 7606
50.20/50.25	c 31.2033 10.9805 893 594642
50.20/50.25	o 7580
50.70/50.74	c 31.4922 10.9805 619 600053
50.70/50.74	o 7559
54.39/54.42	c 33.7539 10.9805 880 633493
54.39/54.42	o 7523
54.60/54.61	c 33.8559 10.9805 911 635836
54.60/54.61	o 7469
55.49/55.56	c 34.4378 10.9805 723 646273
55.49/55.56	o 7394
56.09/56.13	c 34.7557 10.9805 792 651604
56.09/56.13	o 7241
56.09/56.17	c 34.7797 10.9805 477 651826
56.09/56.17	o 7227
56.70/56.73	c 35.1217 10.9805 751 657380
56.70/56.73	o 7159
56.89/56.96	c 35.2636 10.9805 811 659546
56.89/56.96	o 7126
57.20/57.26	c 35.4466 10.9805 704 662391
57.20/57.26	o 7110
60.40/60.45	c 37.4293 11.1016 671 689569
60.40/60.45	o 7076
60.79/60.86	c 37.6953 11.1016 449 694068
60.79/60.86	o 7061
60.89/60.93	c 37.7403 11.1016 767 695052
60.89/60.93	o 7018
61.39/61.46	c 38.0872 11.1016 522 700675
61.39/61.46	o 6973
63.09/63.14	c 39.145 11.1016 938 714944
63.09/63.14	o 6966
63.09/63.19	c 39.179 11.1016 652 715550
63.09/63.19	o 6955
64.49/64.54	c 39.9769 11.1016 677 730942
64.49/64.54	o 6752
65.59/65.61	c 40.6398 11.1016 718 742107
65.59/65.61	o 6741
65.69/65.70	c 40.7018 11.1016 433 743330
65.69/65.70	o 6701
65.69/65.78	c 40.7548 11.1016 658 744002
65.69/65.78	o 6681
66.89/66.96	c 41.4737 11.1016 762 753683
66.89/66.96	o 6632
67.39/67.41	c 41.7357 11.1016 688 757557
67.39/67.41	o 6596
70.89/70.99	c 43.9283 11.1016 734 788762
70.89/70.99	o 6558
71.00/71.07	c 43.9763 11.1016 689 789453
71.00/71.07	o 6552
71.09/71.19	c 44.0503 11.1016 780 790908
71.09/71.19	o 6435
72.09/72.16	c 44.6432 11.1016 471 800658
72.09/72.16	o 6386
72.19/72.21	c 44.6752 11.1016 620 801250
72.19/72.21	o 6263
72.29/72.32	c 44.7392 11.1016 695 802561
72.29/72.32	o 6236
72.29/72.35	c 44.7552 11.1016 417 803006
72.29/72.35	o 6163
72.40/72.43	c 44.8002 11.1016 695 803864
72.40/72.43	o 6141
73.50/73.57	c 45.4951 11.1016 513 814070
73.50/73.57	o 6130
75.20/75.21	c 46.5029 11.1016 504 827569
75.20/75.21	o 6038
75.99/76.01	c 46.9979 11.1016 433 835629
75.99/76.01	o 6009
76.09/76.10	c 47.0498 11.1016 451 836745
76.09/76.10	o 5989
77.10/77.14	c 47.7057 11.1016 502 846768
77.10/77.14	o 5981
77.29/77.38	c 47.8627 11.1016 563 848994
77.29/77.38	o 5959
77.59/77.67	c 48.0407 11.1016 499 851828
77.59/77.67	o 5928
78.39/78.42	c 48.4996 11.1016 838 858895
78.39/78.42	o 5903
78.89/78.92	c 48.8196 11.1016 731 862314
78.89/78.92	o 5891
79.20/79.22	c 49.0005 11.1016 735 865652
79.20/79.22	o 5860
79.80/79.83	c 49.3795 11.1016 625 871774
79.80/79.83	o 5766
79.89/79.91	c 49.4335 11.1016 920 872531
79.89/79.91	o 5760
80.49/80.58	c 49.8554 11.1016 580 878499
80.49/80.58	o 5674
80.79/80.89	c 50.0534 11.2227 474 881404
80.79/80.89	o 5670
81.80/81.89	c 50.6593 11.2227 545 890854
81.80/81.89	o 5632
81.90/81.98	c 50.7063 11.2227 919 891769
81.90/81.98	o 5583
82.09/82.11	c 50.7863 11.2227 964 893029
82.09/82.11	o 5502
83.10/83.16	c 51.4252 11.2227 653 903544
83.10/83.16	o 5444
84.40/84.42	c 52.1871 11.2227 462 915476
84.40/84.42	o 5439
84.60/84.63	c 52.311 11.2227 825 917179
84.60/84.63	o 5404
84.70/84.72	c 52.363 11.2227 745 918102
84.70/84.72	o 5380
85.80/85.83	c 53.0619 11.2227 948 927670
85.80/85.83	o 5324
86.10/86.15	c 53.2539 11.2227 603 930040
86.10/86.15	o 5297
86.29/86.31	c 53.3519 11.2227 643 931138
86.29/86.31	o 5289
86.89/86.91	c 53.7438 11.2227 446 937176
86.89/86.91	o 5277
87.09/87.19	c 53.9288 11.2227 670 940017
87.09/87.19	o 5160
87.49/87.53	c 54.1578 11.2227 530 942557
87.49/87.53	o 5137
87.59/87.63	c 54.2238 11.2227 960 943600
87.59/87.63	o 5103
87.59/87.64	c 54.2308 11.2227 515 943906
87.59/87.64	o 4968
89.79/89.84	c 55.5865 11.2227 873 962508
89.79/89.84	o 4949
90.79/90.81	c 56.1985 11.2227 560 971681
90.79/90.81	o 4830
91.49/91.55	c 56.6684 11.2227 879 978312
91.49/91.55	o 4821
91.99/92.08	c 56.9753 11.2227 794 983436
91.99/92.08	o 4815
92.40/92.43	c 57.1853 11.2227 466 986859
92.40/92.43	o 4794
92.49/92.55	c 57.2663 11.2227 620 988259
92.49/92.55	o 4732
92.99/93.04	c 57.5742 11.2227 645 992336
92.99/93.04	o 4705
93.99/94.00	c 58.1852 11.2227 755 999700
93.99/94.01	o 4681
93.99/94.07	c 58.2291 11.2227 565 1000492
93.99/94.07	o 4584
94.30/94.38	c 58.4101 11.2227 819 1003500
94.30/94.38	o 4554
95.90/95.95	c 59.356 11.2227 775 1016737
95.90/95.95	o 4490
96.19/96.23	c 59.522 11.2227 645 1019253
96.19/96.23	o 4438
96.50/96.54	c 59.7129 11.2227 467 1022018
96.50/96.54	o 4349
97.59/97.67	c 60.4308 11.3438 596 1030839
97.59/97.67	o 4325
97.80/97.86	c 60.5518 11.3438 426 1032475
97.80/97.86	o 4322
97.89/97.96	c 60.6178 11.3438 824 1033320
97.89/97.96	o 4297
97.89/97.99	c 60.6338 11.3438 524 1033760
97.89/97.99	o 4282
98.09/98.13	c 60.7138 11.3438 580 1035132
98.09/98.13	o 4102
98.50/98.58	c 61.0027 11.3438 724 1038710
98.50/98.58	o 4100
98.69/98.72	c 61.0807 11.3438 774 1039912
98.69/98.72	o 4077
98.69/98.75	c 61.0997 11.3438 873 1040198
98.69/98.75	o 4012
99.09/99.14	c 61.3297 11.3438 538 1043363
99.09/99.14	o 4011
99.39/99.46	c 61.5216 11.3438 496 1046650
99.39/99.46	o 3899
99.50/99.55	c 61.5736 11.3438 514 1047840
99.50/99.55	o 3829
99.69/99.71	c 61.6726 11.3438 553 1048834
99.69/99.71	o 3785
99.79/99.88	c 61.7786 11.3438 780 1050502
99.79/99.88	o 3776
99.89/99.99	c 61.8476 11.3438 715 1051362
99.89/99.99	o 3676
100.19/100.29	c 62.0246 11.3438 862 1053520
100.19/100.29	o 3658
100.69/100.70	c 62.2825 11.3438 578 1056463
100.69/100.70	o 3571
100.69/100.74	c 62.3045 11.3438 675 1056819
100.69/100.74	o 3411
100.99/101.09	c 62.5315 11.3438 828 1059072
100.99/101.09	o 3357
101.39/101.40	c 62.7215 11.3438 647 1061740
101.39/101.40	o 3282
101.60/101.66	c 62.8934 11.3438 687 1064011
101.60/101.66	o 3252
101.99/102.04	c 63.1184 11.3438 603 1066873
101.99/102.04	o 3144
102.09/102.17	c 63.1934 11.3438 683 1068166
102.09/102.17	o 3117
102.20/102.24	c 63.2304 11.3438 935 1068774
102.20/102.24	o 3112
102.30/102.34	c 63.2974 11.3438 793 1069500
102.30/102.34	o 3055
102.50/102.58	c 63.4384 11.3438 663 1071403
102.50/102.58	o 3044
102.60/102.62	c 63.4664 11.3438 826 1071950
102.60/102.62	o 2974
102.79/102.80	c 63.5783 11.3438 593 1073391
102.79/102.80	o 2971
103.09/103.11	c 63.7663 11.3438 653 1075376
103.09/103.11	o 2924
103.09/103.16	c 63.7943 11.3438 788 1075749
103.09/103.16	o 2898
103.40/103.47	c 63.9883 11.3438 512 1078290
103.40/103.47	o 2870
104.50/104.58	c 64.6752 11.3438 520 1086125
104.50/104.58	o 2815
104.59/104.68	c 64.7372 11.3438 856 1086926
104.59/104.68	o 2704
105.09/105.15	c 65.0241 11.3438 777 1090747
105.09/105.15	o 2677
105.19/105.25	c 65.0951 11.3438 796 1091924
105.19/105.25	o 2676
105.50/105.59	c 65.2891 11.3438 565 1094357
105.50/105.59	o 2623
105.59/105.69	c 65.3481 11.3438 915 1095339
105.59/105.69	o 2575
106.19/106.25	c 65.697 11.3438 614 1099795
106.19/106.25	o 2519
106.30/106.32	c 65.736 11.4648 476 1100478
106.30/106.32	o 2508
106.39/106.40	c 65.782 11.4648 704 1101231
106.39/106.40	o 2494
106.60/106.69	c 65.955 11.4648 699 1103401
106.60/106.69	o 2420
106.70/106.73	c 65.979 11.4648 868 1103828
106.70/106.73	o 2385
106.80/106.89	c 66.081 11.4648 511 1105183
106.80/106.89	o 2271
106.89/106.95	c 66.1159 11.4648 718 1105701
106.89/106.95	o 2214
107.20/107.21	c 66.2709 11.4648 623 1107494
107.20/107.21	o 2109
107.20/107.26	c 66.2999 11.4648 759 1107946
107.20/107.26	o 2074
107.29/107.36	c 66.3719 11.4648 642 1108629
107.29/107.36	o 2064
107.39/107.49	c 66.4559 11.4648 653 1109687
107.39/107.49	o 2013
107.50/107.51	c 66.4729 11.4648 735 1109940
107.50/107.51	o 2009
107.50/107.56	c 66.5069 11.4648 443 1110301
107.50/107.56	o 1951
107.50/107.59	c 66.5229 11.4648 509 1110486
107.50/107.59	o 1879
107.59/107.66	c 66.5719 11.4648 746 1111175
107.59/107.66	o 1862
107.70/107.71	c 66.5989 11.4648 465 1111547
107.70/107.71	o 1851
107.70/107.73	c 66.6079 11.4648 525 1111760
107.70/107.73	o 1767
107.70/107.76	c 66.6279 11.4648 615 1111966
107.70/107.76	o 1756
107.79/107.90	c 66.7179 11.4648 587 1112964
107.79/107.90	o 1723
107.89/107.94	c 66.7439 11.4648 699 1113276
107.89/107.94	o 1664
107.99/108.02	c 66.7948 11.4648 487 1113962
107.99/108.02	o 1401
107.99/108.08	c 66.8288 11.4648 662 1114360
107.99/108.08	o 1355
108.09/108.19	c 66.8968 11.4648 563 1115150
108.09/108.19	o 1288
108.19/108.20	c 66.8978 11.4648 583 1115297
108.19/108.20	o 1203
108.19/108.21	c 66.9058 11.4648 621 1115416
108.19/108.21	o 1183
108.19/108.22	c 66.9108 11.4648 643 1115476
108.19/108.22	o 1179
108.19/108.23	c 66.9168 11.4648 664 1115538
108.19/108.23	o 1167
108.19/108.23	c 66.9198 11.4648 678 1115587
108.19/108.23	o 1156
108.19/108.24	c 66.9238 11.4648 685 1115677
108.19/108.24	o 1145
108.19/108.27	c 66.9398 11.4648 767 1115880
108.19/108.27	o 1130
108.29/108.30	c 66.9578 11.4648 852 1116171
108.29/108.30	o 1081
108.39/108.46	c 67.0578 11.4648 527 1117404
108.39/108.46	o 1070
108.49/108.52	c 67.0978 11.4648 679 1117787
108.49/108.52	o 1027
108.49/108.55	c 67.1208 11.4648 787 1118107
108.49/108.55	o 1018
108.49/108.58	c 67.1398 11.4648 456 1118307
108.49/108.58	o 1007
108.60/108.61	c 67.1568 11.4648 534 1118495
108.60/108.61	o 924
108.60/108.69	c 67.2098 11.4648 798 1119137
108.60/108.69	o 790
108.69/108.76	c 67.2538 11.5859 987 1119563
108.69/108.76	o 724
108.79/108.81	c 67.2828 11.5859 642 1119938
108.79/108.81	o 654
108.79/108.81	c 67.2878 11.5859 649 1119988
108.79/108.81	o 639
108.79/108.82	c 67.2918 11.5859 670 1120087
108.79/108.82	o 574
108.79/108.85	c 67.3118 11.5859 735 1120340
108.79/108.85	o 495
108.79/108.88	c 67.3358 11.5859 823 1120664
108.79/108.88	o 389
108.79/108.88	c 67.3388 11.5859 858 1120742
108.79/108.88	o 363
108.79/108.89	c 67.3428 11.5859 878 1120830
108.79/108.89	o 293
108.79/108.89	c 67.3478 11.5859 925 1120905
108.79/108.89	o 276
108.79/108.90	c 67.3508 11.5859 634 1120973
108.79/108.90	o 250
108.90/108.91	c 67.3578 11.5859 696 1121084
108.90/108.91	o 231
108.90/108.91	c 67.3608 11.5859 713 1121126
108.90/108.91	o 227
108.90/108.91	c 67.3618 11.5859 721 1121179
108.90/108.91	o 186
108.90/108.91	c 67.3628 11.5859 730 1121249
108.90/108.91	o 125
108.90/108.91	c 67.3638 11.5859 546 1121269
108.90/108.91	o 118
108.90/108.91	c 67.3648 11.5859 548 1121293
108.90/108.91	o 109
108.90/108.92	c 67.3668 11.5859 561 1121354
108.90/108.92	o 63
108.90/108.92	c 67.3668 11.5859 561 1121406
108.90/108.92	o 0
108.90/108.92	c 67.3668 11.5859 561 1121406
108.90/108.92	s OPTIMUM FOUND
108.90/108.92	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-2700363-1278535072/watcher-2700363-1278535072 -o /tmp/evaluation-result-2700363-1278535072/solver-2700363-1278535072 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700363-1278535072.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.07 1.99 1.47 3/176 18403
/proc/meminfo: memFree=28552268/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=2136 CPUtime=0
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 21720904 2187264 176 4089446400 134512640 136422188 4290273968 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18403/statm: 534 176 144 467 0 65 0

[startup+0.0951559 s]
/proc/loadavg: 2.07 1.99 1.47 3/176 18403
/proc/meminfo: memFree=28552268/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10480 CPUtime=0.08
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2342 0 0 0 6 2 0 0 25 0 1 0 21720904 10731520 2255 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2620 2255 238 467 0 2151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10480

[startup+0.101143 s]
/proc/loadavg: 2.07 1.99 1.47 3/176 18403
/proc/meminfo: memFree=28552268/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10480 CPUtime=0.09
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2345 0 0 0 7 2 0 0 25 0 1 0 21720904 10731520 2258 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2620 2258 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.301098 s]
/proc/loadavg: 2.07 1.99 1.47 3/176 18403
/proc/meminfo: memFree=28552268/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10480 CPUtime=0.29
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2366 0 0 0 19 10 0 0 25 0 1 0 21720904 10731520 2279 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2620 2279 238 467 0 2151 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10480

[startup+0.70106 s]
/proc/loadavg: 2.07 1.99 1.47 3/176 18403
/proc/meminfo: memFree=28552268/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10608 CPUtime=0.69
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2373 0 0 0 44 25 0 0 25 0 1 0 21720904 10862592 2285 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2652 2285 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50093 s]
/proc/loadavg: 2.07 1.99 1.47 3/177 18404
/proc/meminfo: memFree=28543328/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10608 CPUtime=1.49
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2389 0 0 0 95 54 0 0 25 0 1 0 21720904 10862592 2296 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2652 2296 238 467 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10608

[startup+3.10065 s]
/proc/loadavg: 2.07 1.99 1.47 3/177 18404
/proc/meminfo: memFree=28542212/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10736 CPUtime=3.1
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2414 0 0 0 198 112 0 0 25 0 1 0 21720904 10993664 2315 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2684 2315 238 467 0 2215 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10736

[startup+6.30108 s]
/proc/loadavg: 2.15 2.00 1.47 3/177 18404
/proc/meminfo: memFree=28539380/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10864 CPUtime=6.29
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2453 0 0 0 399 230 0 0 25 0 1 0 21720904 11124736 2347 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2716 2347 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.701 s]
/proc/loadavg: 2.21 2.02 1.48 3/177 18404
/proc/meminfo: memFree=28534300/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=10992 CPUtime=12.69
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2502 0 0 0 800 469 0 0 25 0 1 0 21720904 11255808 2379 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2748 2379 238 467 0 2279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10992

[startup+25.5009 s]
/proc/loadavg: 2.17 2.02 1.49 3/177 18405
/proc/meminfo: memFree=28519988/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11116 CPUtime=25.49
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2555 0 0 0 1585 964 0 0 25 0 1 0 21720904 11382784 2414 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2779 2414 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.11 2.02 1.50 3/177 18405
/proc/meminfo: memFree=28499132/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11240 CPUtime=51.09
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2621 0 0 0 3169 1940 0 0 25 0 1 0 21720904 11509760 2457 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18403/statm: 2810 2457 238 467 0 2341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11240

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28454820/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11612 CPUtime=102.3
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2819 0 0 0 6327 3903 0 0 25 0 1 0 21720904 11890688 2562 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2903 2562 238 467 0 2434 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11612

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

[startup+105.5 s]
/proc/loadavg: 2.04 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28452212/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11612 CPUtime=105.5
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2838 0 0 0 6524 4026 0 0 25 0 1 0 21720904 11890688 2570 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2903 2570 238 467 0 2434 0
Current children cumulated CPU time (s) 105.5
Current children cumulated vsize (KiB) 11612

[startup+107.101 s]
/proc/loadavg: 2.04 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28452088/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11736 CPUtime=107.09
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2855 0 0 0 6620 4089 0 0 25 0 1 0 21720904 12017664 2578 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2934 2578 238 467 0 2465 0
Current children cumulated CPU time (s) 107.09
Current children cumulated vsize (KiB) 11736

[startup+107.901 s]
/proc/loadavg: 2.04 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28451088/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11736 CPUtime=107.89
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2876 0 0 0 6671 4118 0 0 25 0 1 0 21720904 12017664 2587 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2934 2587 238 467 0 2465 0
Current children cumulated CPU time (s) 107.89
Current children cumulated vsize (KiB) 11736

[startup+108.701 s]
/proc/loadavg: 2.04 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28451088/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11736 CPUtime=108.69
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2911 0 0 0 6721 4148 0 0 25 0 1 0 21720904 12017664 2604 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2934 2604 238 467 0 2465 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 11736

[startup+108.906 s]
/proc/loadavg: 2.04 2.01 1.53 3/177 18407
/proc/meminfo: memFree=28448732/32951132 swapFree=67111528/67111528
[pid=18403] ppid=18401 vsize=11860 CPUtime=108.9
/proc/18403/stat : 18403 (pbct) R 18401 18403 17444 0 -1 4202496 2927 0 0 0 6735 4155 0 0 18 0 1 0 21720904 12144640 2610 4089446400 134512640 136422188 4290273968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18403/statm: 2965 2610 238 467 0 2496 0
Current children cumulated CPU time (s) 108.9
Current children cumulated vsize (KiB) 11860

Child status: 0
Real time (s): 108.932
CPU time (s): 108.933
CPU user time (s): 67.3758
CPU system time (s): 41.5577
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.3758
system time used= 41.5577
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= 3
involuntary context switches= 540

runsolver used 0.161975 second user time and 0.366944 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 22:37:52
IDJOB=2700363
IDBENCH=79421
IDSOLVER=1212
FILE ID=node129/2700363-1278535072
PBS_JOBID= 11239220
Free space on /tmp= 73788 MiB

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

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

MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=438945238

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28552788 kB
Buffers:        137904 kB
Cached:        2881760 kB
SwapCached:          0 kB
Active:        2391888 kB
Inactive:      1865828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28552788 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2084 kB
Writeback:           0 kB
AnonPages:     1238848 kB
Mapped:          15364 kB
Slab:            76464 kB
PageTables:       6964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1383220 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= 73788 MiB
End job on node129 at 2010-07-07 22:39:41