Trace number 2700195

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 335.756 335.751

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
MD5SUM4141aec8f84b614aac5b3a0221093342
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark321
Best CPU time to get the best result obtained on this benchmark1.64975
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 constraints1000
Number of soft constraints900
Number of constraints which are clauses900
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 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/900 units 0
0.00/0.00	c vars 200
0.03/0.04	c 0.035994 10.207 1 2049
0.03/0.04	o 26905
0.03/0.04	c 0.035994 10.3359 1 2835
0.03/0.04	o 26123
0.03/0.04	c 0.037994 10.3359 2 2959
0.03/0.04	o 26105
0.03/0.04	c 0.038994 10.3359 2 3883
0.03/0.04	o 21289
0.03/0.04	c 0.039993 10.3359 2 4812
0.03/0.04	o 20204
0.03/0.05	c 0.041993 10.3359 2 5368
0.03/0.05	o 20055
0.03/0.05	c 0.043993 10.3359 3 6132
0.03/0.05	o 19803
0.03/0.05	c 0.044993 10.3359 4 7030
0.03/0.05	o 19322
0.03/0.05	c 0.046992 10.3359 8 7463
0.03/0.05	o 19222
0.03/0.05	c 0.046992 10.3359 9 8405
0.03/0.05	o 14341
0.49/0.54	c 0.355945 10.582 676 18337
0.49/0.54	o 14290
0.69/0.77	c 0.507922 10.582 699 21551
0.69/0.77	o 14276
0.89/0.95	c 0.631903 10.582 797 24940
0.89/0.95	o 14203
2.29/2.39	c 1.57976 10.707 713 48751
2.29/2.39	o 13975
2.39/2.46	c 1.62675 10.707 473 50248
2.39/2.46	o 13907
2.39/2.49	c 1.64475 10.707 647 51067
2.39/2.49	o 13648
2.69/2.77	c 1.82572 10.707 722 55532
2.69/2.77	o 13629
3.20/3.24	c 2.10368 10.707 900 63615
3.20/3.24	o 13537
3.20/3.27	c 2.11668 10.707 592 64273
3.20/3.27	o 13425
3.89/3.96	c 2.56461 10.832 513 76352
3.89/3.96	o 13372
4.49/4.56	c 2.93655 10.832 766 84575
4.49/4.56	o 13106
5.89/5.92	c 3.80942 10.832 451 105781
5.89/5.92	o 13078
6.89/6.97	c 4.50031 10.832 742 121993
6.89/6.97	o 13044
7.49/7.51	c 4.85526 10.832 613 132111
7.49/7.51	o 13033
11.39/11.47	c 7.35788 10.9531 947 190520
11.39/11.47	o 12978
12.19/12.22	c 7.83881 10.9531 796 202492
12.19/12.22	o 12913
12.19/12.26	c 7.8688 10.9531 655 203609
12.19/12.26	o 12861
13.79/13.89	c 8.87665 10.9531 529 226345
13.79/13.89	o 12850
15.49/15.59	c 9.95849 10.9531 770 251784
15.49/15.59	o 12834
15.59/15.61	c 9.96848 10.9531 495 252364
15.59/15.61	o 12703
15.90/15.97	c 10.1964 10.9531 875 258463
15.90/15.97	o 12647
16.29/16.40	c 10.4584 10.9531 802 264950
16.29/16.40	o 12592
16.40/16.49	c 10.5204 10.9531 900 266715
16.40/16.49	o 12534
19.09/19.15	c 12.1472 11.0781 567 300169
19.09/19.15	o 12432
21.89/21.96	c 13.9939 11.0781 535 343173
21.89/21.96	o 12212
22.19/22.21	c 14.1638 11.0781 662 348024
22.19/22.21	o 12195
22.19/22.27	c 14.1988 11.0781 724 349550
22.19/22.27	o 12097
24.39/24.43	c 15.5876 11.0781 952 374759
24.39/24.43	o 12072
24.59/24.62	c 15.7076 11.0781 943 377498
24.59/24.62	o 12016
26.90/26.99	c 17.1834 11.0781 834 415594
26.90/26.99	o 11994
28.60/28.66	c 18.2742 11.0781 762 440886
28.60/28.66	o 11950
29.60/29.66	c 18.9261 11.2031 920 455790
29.60/29.66	o 11844
30.09/30.19	c 19.2551 11.2031 938 463679
30.09/30.19	o 11835
33.49/33.54	c 21.3987 11.2031 505 508029
33.49/33.54	o 11809
33.49/33.58	c 21.4227 11.2031 689 508842
33.49/33.58	o 11727
34.00/34.06	c 21.7197 11.2031 600 516072
34.00/34.06	o 11664
36.09/36.14	c 23.0405 11.2031 981 544920
36.09/36.14	o 11435
36.30/36.30	c 23.1465 11.2031 835 548374
36.30/36.30	o 11336
37.80/37.83	c 24.1233 11.2031 577 572628
37.80/37.83	o 11310
38.59/38.62	c 24.6293 11.2031 969 582479
38.59/38.62	o 11205
41.49/41.52	c 26.46 11.2031 955 626855
41.49/41.52	o 11059
45.00/45.07	c 28.7046 11.2031 474 680367
45.00/45.07	o 10876
45.59/45.65	c 29.0656 11.2031 744 689362
45.59/45.65	o 10693
46.40/46.41	c 29.5495 11.2031 765 700663
46.40/46.41	o 10606
54.49/54.56	c 34.8337 11.3281 691 793004
54.49/54.56	o 10388
55.89/55.97	c 35.7246 11.3281 399 814345
55.89/55.97	o 10235
57.89/57.96	c 37.0004 11.3281 507 835661
57.89/57.96	o 10203
58.00/58.05	c 37.0554 11.3281 573 837044
58.00/58.05	o 10164
58.09/58.10	c 37.0884 11.3281 777 838009
58.09/58.10	o 9812
60.89/60.95	c 38.8831 11.3281 872 875251
60.89/60.95	o 9770
75.19/75.22	c 47.7747 11.3281 820 1052571
75.19/75.22	o 9410
75.59/75.61	c 48.0067 11.3281 601 1058542
75.59/75.61	o 9298
79.49/79.59	c 50.4923 11.4531 596 1112432
79.49/79.59	o 9283
80.89/80.94	c 51.3342 11.4531 430 1129293
80.89/80.94	o 9128
80.89/80.96	c 51.3452 11.4531 554 1129813
80.89/80.96	o 9100
83.39/83.42	c 52.878 11.4531 768 1158541
83.39/83.42	o 9092
89.00/89.09	c 56.4204 11.4531 578 1226074
89.00/89.09	o 9089
93.79/93.88	c 59.437 11.4531 755 1282284
93.79/93.88	o 8950
95.09/95.11	c 60.2208 11.4531 585 1299283
95.09/95.11	o 8929
97.50/97.53	c 61.7486 11.4531 896 1328280
97.50/97.53	o 8912
97.90/97.92	c 61.9936 11.4531 639 1334290
97.90/97.92	o 8870
99.90/99.97	c 63.2864 11.4531 720 1357930
99.90/99.97	o 8728
100.49/100.52	c 63.6263 11.4531 739 1364186
100.49/100.52	o 8533
101.80/101.81	c 64.4202 11.4531 701 1380369
101.80/101.81	o 8398
102.39/102.43	c 64.8001 11.4531 643 1387986
102.39/102.43	o 8390
105.19/105.22	c 66.5269 11.4531 619 1419022
105.19/105.22	o 8373
111.00/111.01	c 70.1233 11.4531 479 1483145
111.00/111.01	o 8344
116.69/116.70	c 73.6388 11.5781 681 1538875
116.69/116.70	o 8280
116.69/116.72	c 73.6548 11.5781 454 1539581
116.69/116.72	o 8241
118.10/118.10	c 74.4927 11.5781 961 1553463
118.10/118.10	o 8100
123.30/123.36	c 77.8932 11.5781 731 1614344
123.30/123.36	o 8059
126.50/126.51	c 79.8789 11.5781 907 1649516
126.50/126.51	o 8012
132.60/132.67	c 83.7813 11.5781 703 1717187
132.60/132.67	o 7988
133.39/133.47	c 84.2682 11.5781 563 1726471
133.39/133.47	o 7983
133.69/133.73	c 84.4242 11.5781 756 1729282
133.69/133.73	o 7972
134.21/134.29	c 84.7861 11.5781 725 1736315
134.21/134.29	o 7954
135.89/135.94	c 85.799 11.5781 524 1755949
135.89/135.94	o 7943
141.00/141.07	c 89.0175 11.5781 526 1812732
141.00/141.07	o 7897
141.49/141.52	c 89.3004 11.5781 903 1816813
141.49/141.52	o 7884
142.80/142.85	c 90.1203 11.5781 607 1833869
142.80/142.85	o 7757
143.89/143.91	c 90.7962 11.5781 539 1847411
143.89/143.91	o 7600
144.10/144.16	c 90.9552 11.5781 652 1849822
144.10/144.16	o 7534
144.89/144.93	c 91.4461 11.5781 664 1860249
144.89/144.93	o 7494
144.99/145.02	c 91.5021 11.5781 706 1861652
144.99/145.02	o 7273
150.89/150.91	c 95.1585 11.5781 699 1922724
150.89/150.91	o 7211
156.10/156.15	c 98.463 11.5781 419 1983053
156.10/156.15	o 7180
156.90/156.91	c 98.919 11.6992 662 1989019
156.90/156.91	o 7113
164.70/164.76	c 103.783 11.6992 609 2063681
164.70/164.76	o 7042
166.59/166.65	c 104.967 11.6992 500 2080082
166.59/166.65	o 6976
169.50/169.53	c 106.736 11.6992 649 2112148
169.50/169.53	o 6937
169.80/169.84	c 106.936 11.6992 655 2114934
169.80/169.84	o 6890
179.50/179.55	c 113.029 11.6992 793 2214400
179.50/179.55	o 6829
179.79/179.89	c 113.255 11.6992 710 2217390
179.79/179.89	o 6817
183.70/183.75	c 115.636 11.6992 513 2258278
183.70/183.75	o 6771
187.00/187.02	c 117.642 11.6992 810 2292207
187.00/187.02	o 6745
199.89/199.91	c 124.88 11.6992 618 2415791
199.89/199.91	o 6578
203.99/204.01	c 125.777 11.6992 751 2451232
203.99/204.01	o 6372
204.39/204.48	c 125.852 11.6992 719 2456057
204.39/204.48	o 6346
204.79/204.81	c 125.92 11.6992 808 2459713
204.79/204.81	o 6141
205.49/205.59	c 126.055 11.6992 791 2466509
205.49/205.59	o 6117
209.90/209.94	c 126.941 11.6992 858 2505529
209.90/209.94	o 6103
210.29/210.32	c 126.987 11.6992 513 2508926
210.29/210.32	o 6036
210.60/210.67	c 127.056 11.6992 597 2511991
210.60/210.67	o 6007
213.40/213.45	c 127.499 11.8203 511 2536892
213.40/213.45	o 5916
213.49/213.56	c 127.514 11.8203 903 2537877
213.49/213.56	o 5876
213.89/213.91	c 127.591 11.8203 640 2541414
213.89/213.91	o 5711
215.40/215.41	c 127.934 11.8203 751 2553387
215.40/215.41	o 5676
217.89/217.94	c 128.39 11.8203 894 2575660
217.89/217.94	o 5641
218.90/218.95	c 128.566 11.8203 832 2585542
218.90/218.95	o 5613
220.20/220.29	c 128.776 11.8203 457 2595987
220.20/220.29	o 5483
221.29/221.32	c 129.006 11.8203 918 2606231
221.29/221.32	o 5411
224.00/224.09	c 129.56 11.8203 595 2624559
224.00/224.09	o 5299
224.30/224.38	c 129.594 11.8203 892 2627129
224.30/224.38	o 5283
231.39/231.44	c 130.954 11.8203 739 2690525
231.39/231.44	o 5260
235.50/235.50	c 131.731 11.8203 544 2718779
235.50/235.50	o 5193
239.10/239.17	c 132.436 11.8203 659 2749947
239.10/239.17	o 5068
241.20/241.26	c 132.871 11.8203 598 2766535
241.20/241.26	o 5064
244.39/244.48	c 133.445 11.8203 802 2794603
244.39/244.48	o 5033
246.80/246.85	c 133.841 11.8203 579 2814938
246.80/246.85	o 4963
252.50/252.51	c 134.912 11.8203 759 2863536
252.50/252.51	o 4812
256.09/256.12	c 135.686 11.8203 857 2894823
256.09/256.12	o 4761
258.40/258.49	c 136.065 11.8203 477 2914489
258.40/258.49	o 4749
258.70/258.74	c 136.1 11.8203 875 2916666
258.70/258.74	o 4667
259.00/259.03	c 136.145 11.8203 786 2919187
259.00/259.03	o 4614
262.30/262.35	c 136.901 11.8203 755 2947147
262.30/262.35	o 4552
263.29/263.33	c 137.06 11.8203 489 2955307
263.29/263.33	o 4506
268.79/268.86	c 138.154 11.8203 630 2998279
268.79/268.86	o 4466
274.49/274.54	c 139.193 11.8203 531 3043562
274.49/274.54	o 4410
275.10/275.17	c 139.288 11.8203 685 3049075
275.10/275.17	o 4338
275.60/275.67	c 139.372 11.8203 909 3053609
275.60/275.67	o 4307
276.90/276.93	c 139.59 11.8203 927 3063979
276.90/276.93	o 4115
276.90/276.97	c 139.597 11.8203 622 3064533
276.90/276.97	o 4093
277.30/277.39	c 139.656 11.9492 702 3067819
277.30/277.39	o 4050
277.49/277.59	c 139.7 11.9492 895 3069154
277.49/277.59	o 4030
281.90/281.96	c 140.501 11.9492 577 3103455
281.90/281.96	o 3906
283.50/283.56	c 140.76 11.9492 669 3116369
283.50/283.56	o 3898
284.60/284.61	c 140.955 11.9492 842 3124562
284.60/284.61	o 3822
284.60/284.63	c 140.958 11.9492 502 3124894
284.60/284.63	o 3697
285.29/285.32	c 141.045 11.9492 734 3130165
285.29/285.32	o 3644
285.60/285.67	c 141.105 11.9492 683 3133167
285.60/285.67	o 3620
288.29/288.38	c 141.663 11.9492 756 3154588
288.29/288.38	o 3562
289.50/289.54	c 141.824 11.9492 659 3163228
289.50/289.54	o 3527
295.09/295.16	c 142.993 11.9492 795 3201875
295.09/295.16	o 3352
300.09/300.12	c 143.941 11.9492 1003 3241186
300.09/300.12	o 3343
301.90/301.90	c 144.287 11.9492 683 3255150
301.90/301.90	o 3272
302.70/302.71	c 144.423 11.9492 856 3260287
302.70/302.71	o 3238
302.80/302.84	c 144.435 11.9492 868 3261544
302.80/302.84	o 3234
303.70/303.71	c 144.575 11.9492 835 3268099
303.70/303.71	o 3230
305.10/305.11	c 144.807 11.9492 633 3278250
305.10/305.11	o 3193
305.40/305.44	c 144.85 11.9492 842 3280684
305.40/305.44	o 3085
306.80/306.88	c 145.169 11.9492 728 3291070
306.80/306.88	o 3007
307.39/307.47	c 145.309 11.9492 597 3296039
307.39/307.47	o 2926
308.29/308.36	c 145.463 11.9492 774 3301607
308.29/308.36	o 2841
311.31/311.38	c 145.953 11.9492 705 3322671
311.31/311.38	o 2709
311.50/311.55	c 145.994 11.9492 413 3323873
311.50/311.55	o 2697
316.00/316.09	c 146.939 11.9492 742 3354801
316.00/316.09	o 2669
316.70/316.79	c 147.057 11.9492 572 3360438
316.70/316.79	o 2582
317.09/317.19	c 147.109 11.9492 811 3362892
317.09/317.19	o 2525
317.80/317.85	c 147.215 11.9492 496 3367681
317.80/317.85	o 2523
318.20/318.25	c 147.29 11.9492 740 3370093
318.20/318.25	o 2468
318.90/318.98	c 147.412 11.9492 918 3375464
318.90/318.98	o 2417
319.10/319.13	c 147.438 11.9492 870 3376560
319.10/319.13	o 2413
319.50/319.57	c 147.519 11.9492 524 3379814
319.50/319.57	o 2373
320.29/320.34	c 147.73 11.9492 523 3384616
320.29/320.34	o 2341
321.50/321.53	c 147.937 11.9492 587 3392379
321.50/321.53	o 2284
322.80/322.80	c 148.184 11.9492 709 3399818
322.80/322.80	o 2123
323.19/323.23	c 148.273 11.9492 644 3402700
323.19/323.23	o 2096
323.60/323.62	c 148.339 11.9492 866 3405207
323.60/323.62	o 2076
323.60/323.66	c 148.346 11.9492 550 3405633
323.60/323.66	o 1968
323.99/324.01	c 148.389 12.0703 715 3407788
323.99/324.01	o 1931
323.99/324.06	c 148.392 12.0703 437 3408252
323.99/324.06	o 1872
325.40/325.43	c 148.723 12.0703 934 3416156
325.40/325.43	o 1777
325.50/325.55	c 148.754 12.0703 808 3417047
325.50/325.55	o 1738
326.39/326.40	c 148.968 12.0703 683 3422829
326.39/326.40	o 1734
326.39/326.48	c 148.992 12.0703 471 3423413
326.39/326.48	o 1680
327.00/327.00	c 149.145 12.0703 681 3426520
327.00/327.00	o 1671
327.49/327.50	c 149.291 12.0703 741 3429019
327.49/327.50	o 1666
328.40/328.44	c 149.56 12.0703 517 3435322
328.40/328.44	o 1659
329.09/329.16	c 149.757 12.0703 866 3440086
329.09/329.16	o 1652
329.20/329.21	c 149.766 12.0703 566 3440469
329.20/329.21	o 1611
329.20/329.26	c 149.78 12.0703 713 3440816
329.20/329.26	o 1610
329.30/329.31	c 149.795 12.0703 847 3441113
329.30/329.31	o 1582
329.49/329.51	c 149.853 12.0703 484 3442193
329.49/329.51	o 1568
329.69/329.75	c 149.919 12.0703 771 3443977
329.69/329.75	o 1556
329.79/329.81	c 149.93 12.0703 482 3444343
329.79/329.81	o 1543
329.90/329.98	c 149.976 12.0703 602 3445651
329.90/329.98	o 1541
330.00/330.01	c 149.982 12.0703 667 3445836
330.00/330.01	o 1525
330.30/330.38	c 150.095 12.0703 923 3448110
330.30/330.38	o 1510
330.90/330.92	c 150.274 12.0703 814 3451647
330.90/330.92	o 1470
331.19/331.24	c 150.359 12.0703 471 3453856
331.19/331.24	o 1452
331.40/331.49	c 150.433 12.0703 788 3455601
331.40/331.49	o 1417
331.70/331.75	c 150.499 12.0703 621 3457221
331.70/331.75	o 1399
332.80/332.83	c 150.805 12.0703 713 3464199
332.80/332.83	o 1376
332.89/332.99	c 150.858 12.0703 725 3465253
332.89/332.99	o 1365
333.10/333.10	c 150.893 12.0703 556 3465987
333.10/333.10	o 1246
333.21/333.30	c 150.959 12.0703 781 3467559
333.21/333.30	o 1173
333.31/333.36	c 150.984 12.0703 556 3468008
333.31/333.36	o 1167
333.49/333.50	c 151.021 12.0703 524 3469106
333.49/333.50	o 1160
333.80/333.89	c 151.135 12.0703 450 3471614
333.80/333.89	o 1152
334.10/334.11	c 151.206 12.0703 660 3472980
334.10/334.11	o 1126
334.20/334.22	c 151.237 12.0703 542 3473672
334.20/334.22	o 1107
334.50/334.58	c 151.345 12.1953 668 3475630
334.50/334.58	o 1094
334.59/334.65	c 151.36 12.1953 880 3476298
334.59/334.65	o 1059
334.59/334.67	c 151.364 12.1953 506 3476494
334.59/334.67	o 1031
334.70/334.74	c 151.388 12.1953 709 3477063
334.70/334.74	o 947
334.79/334.80	c 151.409 12.1953 890 3477562
334.79/334.80	o 886
334.89/334.97	c 151.46 12.1953 935 3478446
334.89/334.97	o 854
334.99/335.02	c 151.477 12.3281 617 3478838
334.99/335.02	o 840
334.99/335.08	c 151.5 12.3281 795 3479279
334.99/335.08	o 810
335.20/335.22	c 151.552 12.3281 786 3480255
335.20/335.22	o 762
335.40/335.46	c 151.639 12.3281 1072 3481850
335.40/335.46	o 639
335.50/335.59	c 151.697 12.3281 611 3482964
335.50/335.59	o 522
335.59/335.62	c 151.703 12.3281 702 3483129
335.59/335.62	o 483
335.70/335.70	c 151.741 12.3281 1035 3483683
335.70/335.70	o 427
335.70/335.73	c 151.757 12.3281 1214 3483943
335.70/335.73	o 382
335.70/335.73	c 151.76 12.3281 988 3484025
335.70/335.73	o 321
335.70/335.74	c 151.762 12.3281 1024 3484068
335.70/335.74	s OPTIMUM FOUND
335.70/335.74	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	321

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700195-1278534367/watcher-2700195-1278534367 -o /tmp/evaluation-result-2700195-1278534367/solver-2700195-1278534367 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700195-1278534367.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: 4.06 3.77 2.07 3/182 17897
/proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=2136 CPUtime=0
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 262 0 0 0 0 0 0 0 24 0 1 0 21649979 2187264 181 4089446400 134512640 136422188 4291736032 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17897/statm: 534 181 144 467 0 65 0

[startup+0.0350749 s]
/proc/loadavg: 4.06 3.77 2.07 3/182 17897
/proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=9900 CPUtime=0.03
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2200 0 0 0 3 0 0 0 24 0 1 0 21649979 10137600 2119 4089446400 134512640 136422188 4291736032 18446744073709551615 134929929 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2475 2119 199 467 0 2006 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9900

[startup+0.101061 s]
/proc/loadavg: 4.06 3.77 2.07 3/182 17897
/proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=10708 CPUtime=0.09
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2412 0 0 0 7 2 0 0 25 0 1 0 21649979 10964992 2321 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2677 2321 238 467 0 2208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10708

[startup+0.301025 s]
/proc/loadavg: 4.06 3.77 2.07 3/182 17897
/proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=10832 CPUtime=0.29
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2450 0 0 0 20 9 0 0 25 0 1 0 21649979 11091968 2359 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2708 2359 238 467 0 2239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10832

[startup+0.700956 s]
/proc/loadavg: 4.06 3.77 2.07 3/182 17897
/proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=10832 CPUtime=0.69
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2453 0 0 0 46 23 0 0 25 0 1 0 21649979 11091968 2361 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2708 2361 238 467 0 2239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10832

[startup+1.50082 s]
/proc/loadavg: 4.06 3.77 2.07 3/183 17898
/proc/meminfo: memFree=30154760/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=10832 CPUtime=1.49
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2467 0 0 0 99 50 0 0 25 0 1 0 21649979 11091968 2373 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2708 2373 238 467 0 2239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10832

[startup+3.10053 s]
/proc/loadavg: 3.90 3.74 2.07 3/183 17898
/proc/meminfo: memFree=30154636/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=10960 CPUtime=3.09
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2494 0 0 0 201 108 0 0 25 0 1 0 21649979 11223040 2396 4089446400 134512640 136422188 4291736032 18446744073709551615 134902800 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2740 2396 238 467 0 2271 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10960

[startup+6.30096 s]
/proc/loadavg: 3.90 3.74 2.07 3/183 17898
/proc/meminfo: memFree=30155384/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11088 CPUtime=6.29
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2522 0 0 0 406 223 0 0 25 0 1 0 21649979 11354112 2419 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2772 2419 238 467 0 2303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11088

[startup+12.7008 s]
/proc/loadavg: 3.61 3.68 2.07 3/183 17898
/proc/meminfo: memFree=30155928/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11212 CPUtime=12.69
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2560 0 0 0 813 456 0 0 25 0 1 0 21649979 11481088 2452 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2803 2452 238 467 0 2334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11212

[startup+25.5005 s]
/proc/loadavg: 3.36 3.63 2.07 3/183 17898
/proc/meminfo: memFree=30157692/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11340 CPUtime=25.49
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2614 0 0 0 1626 923 0 0 25 0 1 0 21649979 11612160 2494 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2835 2494 238 467 0 2366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11340

[startup+51.101 s]
/proc/loadavg: 2.89 3.49 2.07 3/183 17899
/proc/meminfo: memFree=30157380/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11596 CPUtime=51.09
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2672 0 0 0 3252 1857 0 0 25 0 1 0 21649979 11874304 2537 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2899 2537 238 467 0 2430 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11596

[startup+102.306 s]
/proc/loadavg: 2.36 3.24 2.06 3/183 17900
/proc/meminfo: memFree=30156572/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11724 CPUtime=102.3
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2745 0 0 0 6472 3758 0 0 25 0 1 0 21649979 12005376 2590 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2931 2590 238 467 0 2462 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11724

[startup+162.3 s]
/proc/loadavg: 2.14 3.03 2.06 3/183 17902
/proc/meminfo: memFree=30156000/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=11976 CPUtime=162.3
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2821 0 0 0 10222 6008 0 0 25 0 1 0 21649979 12263424 2643 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17897/statm: 2994 2643 238 467 0 2525 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11976

[startup+222.3 s]
/proc/loadavg: 2.07 2.83 2.05 3/183 18180
/proc/meminfo: memFree=30095012/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12100 CPUtime=222.29
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2875 0 0 0 12922 9307 0 0 25 0 1 0 21649979 12390400 2673 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3025 2673 238 467 0 2556 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 12100

[startup+282.301 s]
/proc/loadavg: 2.02 2.68 2.04 3/183 18181
/proc/meminfo: memFree=30023224/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12232 CPUtime=282.3
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2925 0 0 0 14056 14174 0 0 25 0 1 0 21649979 12525568 2699 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3058 2699 238 467 0 2589 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 12232

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

[startup+307.1 s]
/proc/loadavg: 2.01 2.62 2.04 3/183 18182
/proc/meminfo: memFree=29997416/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12232 CPUtime=307.09
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2959 0 0 0 14521 16188 0 0 25 0 1 0 21649979 12525568 2717 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3058 2717 238 467 0 2589 0
Current children cumulated CPU time (s) 307.09
Current children cumulated vsize (KiB) 12232

[startup+319.901 s]
/proc/loadavg: 2.01 2.60 2.04 3/183 18182
/proc/meminfo: memFree=29989348/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12232 CPUtime=319.89
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2977 0 0 0 14761 17228 0 0 19 0 1 0 21649979 12525568 2723 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3058 2723 238 467 0 2589 0
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (KiB) 12232

[startup+326.301 s]
/proc/loadavg: 2.01 2.59 2.04 3/183 18255
/proc/meminfo: memFree=30148076/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12356 CPUtime=326.3
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2995 0 0 0 14894 17736 0 0 25 0 1 0 21649979 12652544 2731 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3089 2731 238 467 0 2620 0
Current children cumulated CPU time (s) 326.3
Current children cumulated vsize (KiB) 12356

[startup+332.701 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18256
/proc/meminfo: memFree=30148072/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12356 CPUtime=332.69
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3032 0 0 0 15075 18194 0 0 24 0 1 0 21649979 12652544 2749 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3089 2749 238 467 0 2620 0
Current children cumulated CPU time (s) 332.69
Current children cumulated vsize (KiB) 12356

[startup+334.301 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18256
/proc/meminfo: memFree=30148208/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12356 CPUtime=334.3
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3047 0 0 0 15126 18304 0 0 25 0 1 0 21649979 12652544 2755 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3089 2755 238 467 0 2620 0
Current children cumulated CPU time (s) 334.3
Current children cumulated vsize (KiB) 12356

[startup+335.1 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18256
/proc/meminfo: memFree=30148208/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12620 CPUtime=335.09
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3077 0 0 0 15150 18359 0 0 18 0 1 0 21649979 12922880 2777 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3155 2777 238 467 0 2686 0
Current children cumulated CPU time (s) 335.09
Current children cumulated vsize (KiB) 12620

[startup+335.506 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18256
/proc/meminfo: memFree=30148084/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12620 CPUtime=335.5
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3080 0 0 0 15165 18385 0 0 18 0 1 0 21649979 12922880 2778 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3155 2778 238 467 0 2686 0
Current children cumulated CPU time (s) 335.5
Current children cumulated vsize (KiB) 12620

[startup+335.7 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18256
/proc/meminfo: memFree=30148084/32951124 swapFree=67111528/67111528
[pid=17897] ppid=17895 vsize=12620 CPUtime=335.7
/proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3082 0 0 0 15174 18396 0 0 18 0 1 0 21649979 12922880 2778 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/17897/statm: 3155 2778 238 467 0 2686 0
Current children cumulated CPU time (s) 335.7
Current children cumulated vsize (KiB) 12620

Child status: 0
Real time (s): 335.751
CPU time (s): 335.756
CPU user time (s): 151.772
CPU system time (s): 183.984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.772
system time used= 183.984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3090
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= 11
involuntary context switches= 891

runsolver used 0.448931 second user time and 1.09483 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 22:26:07
IDJOB=2700195
IDBENCH=79407
IDSOLVER=1212
FILE ID=node132/2700195-1278534367
PBS_JOBID= 11239213
Free space on /tmp= 73580 MiB

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

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

MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342
RANDOM SEED=77168906

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30162640 kB
Buffers:        129204 kB
Cached:        2438124 kB
SwapCached:          0 kB
Active:         910036 kB
Inactive:      1730652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30162640 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1956 kB
Writeback:           0 kB
AnonPages:       74136 kB
Mapped:          15448 kB
Slab:            81424 kB
PageTables:       5496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73576 MiB
End job on node132 at 2010-07-07 22:31:43