Trace number 2682922

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1 fixedOPT-11897496 290.582 290.661

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-afiro.opb
MD5SUM87ce4656e5ef67028f049e81ca6b4c7e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11897496
Best CPU time to get the best result obtained on this benchmark8.39272
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -11897496
Optimality of the best value was proved YES
Number of variables960
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 134217728000
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 316753837785
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1304059445248
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 20964809094075
Number of bits of the biggest sum of numbers45
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 27/0 clauses 0/0 units 76
0.00/0.00	c vars 960
0.00/0.00	c objective 150 + -48318382035
2.79/2.86	c 2.6136 18.2617 7077 78507
2.79/2.86	o 6378593
9.49/9.57	c 8.74367 18.7578 2590 246752
9.49/9.57	o 4620264
13.10/13.14	c 12.0612 19.0117 2382 329343
13.10/13.14	o 3838170
14.69/14.79	c 13.5499 19.0117 2235 379986
14.69/14.79	o -3004884
16.29/16.38	c 15.0067 19.0117 3826 416433
16.29/16.38	o -6560893
17.29/17.39	c 15.9286 19.0117 3541 444566
17.29/17.39	o -7026530
21.99/22.05	c 20.2109 19.0117 3221 543555
21.99/22.05	o -9399112
29.38/29.47	c 27.0979 19.0117 4028 673514
29.38/29.47	o -9399137
35.09/35.15	c 32.2751 19.0117 2708 846408
35.09/35.15	o -9720023
35.48/35.52	c 32.628 19.0117 2804 854968
35.48/35.52	o -9825443
36.38/36.42	c 33.4509 19.0117 3735 880024
36.38/36.42	o -9883721
37.68/37.78	c 34.6957 19.0117 3419 913966
37.68/37.78	o -9889912
44.98/45.07	c 41.4507 19.0117 2531 1061578
44.98/45.07	o -10176941
45.98/46.08	c 42.3736 19.0117 4063 1092403
45.98/46.08	o -10177888
53.48/53.57	c 49.2655 19.0117 3311 1245853
53.48/53.57	o -10178777
56.17/56.26	c 51.7661 19.8945 2623 1270799
56.17/56.26	o -10182545
56.47/56.56	c 52.0491 19.8945 2582 1277460
56.47/56.56	o -10272722
65.67/65.76	c 60.4818 19.8828 4019 1498484
65.67/65.76	o -10315887
67.17/67.29	c 61.8516 19.8828 2752 1544926
67.17/67.29	o -10393854
67.67/67.70	c 62.2175 19.8828 2635 1554880
67.67/67.70	o -10480724
68.47/68.51	c 62.9574 19.8828 2932 1577028
68.47/68.51	o -10650656
68.68/68.75	c 63.1824 19.8828 2596 1583034
68.68/68.75	o -11097717
69.47/69.56	c 63.9343 19.8828 3796 1600543
69.47/69.56	o -11164908
70.58/70.64	c 64.9211 19.8828 3229 1621000
70.58/70.64	o -11212827
76.17/76.23	c 70.0064 19.8828 2538 1767502
76.17/76.23	o -11244520
76.27/76.35	c 70.1133 19.8828 3293 1772032
76.27/76.35	o -11304330
76.77/76.84	c 70.5763 19.8828 2556 1783986
76.77/76.84	o -11312353
77.77/77.83	c 71.4821 19.8828 3190 1814389
77.77/77.83	o -11313182
79.67/79.80	c 73.2799 19.8828 2712 1852815
79.67/79.80	o -11313193
79.97/80.09	c 73.5548 19.8828 3536 1859505
79.97/80.09	o -11316054
85.86/85.95	c 78.894 19.8828 4495 1995472
85.86/85.95	o -11337951
88.16/88.28	c 81.0357 19.8828 2427 2056876
88.16/88.28	o -11470781
93.47/93.53	c 85.8779 19.8828 2820 2166956
93.47/93.53	o -11496770
95.96/96.05	c 88.1896 19.8828 3835 2227934
95.96/96.05	o -11529607
98.97/99.07	c 90.9552 19.8828 2715 2296465
98.97/99.07	o -11533959
99.97/100.01	c 91.83 19.8828 2778 2314932
99.97/100.01	o -11535448
101.26/101.38	c 93.0948 19.8828 3406 2342093
101.26/101.38	o -11541859
103.86/103.95	c 95.4445 19.8828 2327 2389369
103.86/103.95	o -11711961
105.16/105.20	c 96.6113 19.8828 4009 2411217
105.16/105.20	o -11767562
110.97/111.09	c 102.138 19.8828 3352 2488262
110.97/111.09	o -11769514
116.46/116.54	c 107.142 19.8828 3433 2595692
116.46/116.54	o -11769759
122.16/122.25	c 112.33 19.8828 3158 2723113
122.16/122.25	o -11773192
122.36/122.48	c 112.543 19.8828 4353 2729262
122.36/122.48	o -11777799
127.86/127.93	c 117.573 19.8828 4112 2815281
127.86/127.93	o -11778120
128.95/129.02	c 118.579 19.8828 2733 2836273
128.95/129.02	o -11783273
130.06/130.18	c 119.641 19.8828 3717 2867004
130.06/130.18	o -11786984
134.45/134.56	c 123.596 19.8828 3775 2959890
134.45/134.56	o -11788107
136.85/136.91	c 125.772 19.8828 3766 3010480
136.85/136.91	o -11790201
137.46/137.51	c 126.325 19.8828 2903 3023168
137.46/137.51	o -11792328
137.46/137.52	c 126.335 19.8828 2930 3023374
137.46/137.52	o -11792356
142.05/142.14	c 130.608 19.8828 3646 3099844
142.05/142.14	o -11802423
143.16/143.23	c 131.602 19.8828 4359 3123272
143.16/143.23	o -11804763
144.06/144.14	c 132.444 19.8828 2735 3143380
144.06/144.14	o -11804837
145.26/145.33	c 133.55 19.8828 4877 3168234
145.26/145.33	o -11805142
146.05/146.12	c 134.28 19.8828 3897 3180650
146.05/146.12	o -11806317
147.15/147.29	c 135.321 19.8828 2850 3210012
147.15/147.29	o -11806379
154.45/154.52	c 142.013 19.8828 2480 3339503
154.45/154.52	o -11806388
155.25/155.37	c 142.792 19.8828 2520 3359410
155.25/155.37	o -11821999
156.65/156.75	c 144.069 19.8828 3513 3383529
156.65/156.75	o -11822407
157.45/157.58	c 144.834 19.8828 2897 3399766
157.45/157.58	o -11822427
158.74/158.88	c 146.039 19.8828 3206 3418825
158.74/158.88	o -11825220
160.05/160.17	c 147.235 19.8828 3373 3440596
160.05/160.17	o -11825674
164.35/164.43	c 151.177 19.8828 4388 3516234
164.35/164.43	o -11839041
169.25/169.36	c 155.719 19.8828 3283 3619441
169.25/169.36	o -11840665
169.74/169.80	c 156.123 19.8828 2859 3630781
169.74/169.80	o -11857607
170.14/170.25	c 156.533 19.8828 3038 3640905
170.14/170.25	o -11857947
172.94/173.09	c 159.155 19.8828 4297 3693285
172.94/173.09	o -11861498
173.05/173.11	c 159.17 19.8828 2164 3693690
173.05/173.11	o -11861894
176.64/176.70	c 162.504 19.8828 2457 3766277
176.64/176.70	o -11862024
176.84/176.96	c 162.735 19.8828 2062 3772230
176.84/176.96	o -11863218
177.06/177.19	c 162.947 19.8828 3724 3777799
177.06/177.19	o -11871081
178.84/178.99	c 164.598 19.8828 4207 3817208
178.84/178.99	o -11871332
179.34/179.43	c 165.009 19.8828 3488 3825684
179.34/179.43	o -11871652
179.44/179.55	c 165.12 19.8828 2759 3828308
179.44/179.55	o -11876353
182.14/182.24	c 167.62 19.8828 3228 3873490
182.14/182.24	o -11876711
182.94/183.00	c 168.323 19.8828 3786 3890391
182.94/183.00	o -11877453
183.64/183.78	c 169.065 19.8828 2708 3906437
183.64/183.78	o -11877856
183.84/183.93	c 169.197 19.8828 3672 3908589
183.84/183.93	o -11877867
187.24/187.31	c 172.305 19.8828 3666 3943159
187.24/187.31	o -11883887
197.04/197.18	c 181.497 19.8828 3897 4034407
197.04/197.18	o -11884855
197.14/197.21	c 181.527 19.8828 2035 4035483
197.14/197.21	o -11885587
200.43/200.58	c 184.658 19.8828 4241 4097335
200.43/200.58	o -11889016
201.14/201.22	c 185.259 19.8828 2693 4107418
201.14/201.22	o -11890439
201.14/201.24	c 185.269 19.8828 2723 4107790
201.14/201.24	o -11890472
203.14/203.29	c 187.187 19.8828 2359 4142758
203.14/203.29	o -11890487
205.73/205.83	c 189.527 19.8828 4536 4191080
205.73/205.83	o -11890522
205.84/205.94	c 189.628 20.0742 2841 4192433
205.84/205.94	o -11890534
206.64/206.70	c 190.357 20.0742 3296 4203039
206.64/206.70	o -11890681
208.23/208.36	c 191.918 20.0742 2595 4226347
208.23/208.36	o -11890682
213.53/213.62	c 196.798 20.0742 3602 4319607
213.53/213.62	o -11890730
216.23/216.35	c 199.332 20.0742 4767 4367793
216.23/216.35	o -11890953
218.63/218.71	c 201.503 20.0742 2999 4414761
218.63/218.71	o -11890968
219.23/219.30	c 202.048 20.0742 4256 4425229
219.23/219.30	o -11890969
220.33/220.43	c 203.095 20.0742 2824 4439988
220.33/220.43	o -11890981
224.53/224.61	c 206.963 20.0742 3073 4514118
224.53/224.61	o -11891500
229.63/229.74	c 211.776 20.0742 3076 4577111
229.63/229.74	o -11891845
231.43/231.55	c 213.437 20.0742 3425 4602749
231.43/231.55	o -11892033
232.83/232.97	c 214.771 20.0742 4390 4623157
232.83/232.97	o -11892037
237.73/237.89	c 219.349 20.3242 2592 4709849
237.73/237.89	o -11892060
239.03/239.11	c 220.47 20.3242 4178 4737510
239.03/239.11	o -11892135
239.32/239.47	c 220.805 20.3242 3042 4743581
239.32/239.47	o -11892152
240.12/240.24	c 221.523 20.3242 3030 4757955
240.12/240.24	o -11892428
241.83/241.97	c 223.121 20.3242 2298 4788894
241.83/241.97	o -11892430
242.03/242.15	c 223.292 20.3242 3671 4793251
242.03/242.15	o -11892477
242.22/242.38	c 223.505 20.3242 3116 4797312
242.22/242.38	o -11892487
243.32/243.41	c 224.451 20.3242 4599 4815881
243.32/243.41	o -11892496
243.73/243.87	c 224.878 20.3242 3246 4822585
243.73/243.87	o -11892569
246.62/246.75	c 227.546 20.3242 3195 4877394
246.62/246.75	o -11892597
252.94/253.08	c 233.492 20.5898 4525 4957094
252.94/253.08	o -11892976
253.73/253.84	c 234.212 20.5898 3469 4969545
253.73/253.84	o -11893292
253.82/253.92	c 234.28 20.5898 4430 4971439
253.82/253.92	o -11893314
254.03/254.15	c 234.493 20.5898 3464 4976037
254.03/254.15	o -11893347
254.52/254.66	c 234.976 20.5898 2631 4986831
254.52/254.66	o -11893356
257.33/257.41	c 237.543 20.5898 4301 5030216
257.33/257.41	o -11893360
258.82/258.97	c 239 20.5898 3899 5054181
258.82/258.97	o -11893394
258.82/258.98	c 239.016 20.5898 3968 5054517
258.82/258.98	o -11893425
259.12/259.26	c 239.279 20.5898 3733 5059370
259.12/259.26	o -11894178
259.32/259.40	c 239.414 20.5898 2672 5062775
259.32/259.40	o -11894326
261.12/261.21	c 241.088 20.5898 3660 5093518
261.12/261.21	o -11894327
263.12/263.21	c 242.942 20.5898 4044 5124798
263.12/263.21	o -11894350
263.12/263.26	c 242.995 20.5898 2521 5125824
263.12/263.26	o -11894359
268.52/268.68	c 247.968 20.5898 2376 5206411
268.52/268.68	o -11894360
270.42/270.53	c 249.675 20.5898 4165 5238465
270.42/270.53	o -11894438
270.53/270.66	c 249.797 20.5898 2801 5240696
270.53/270.66	o -11894471
271.31/271.41	c 250.478 20.5898 3138 5253189
271.31/271.41	o -11894915
271.52/271.62	c 250.671 20.5898 4139 5256794
271.52/271.62	o -11894991
271.63/271.78	c 250.822 20.5898 3169 5260304
271.63/271.78	o -11894999
273.12/273.28	c 252.232 20.5898 2786 5286676
273.12/273.28	o -11895021
273.41/273.55	c 252.485 20.5898 4405 5291981
273.41/273.55	o -11895029
276.52/276.69	c 255.397 20.5898 3692 5336005
276.52/276.69	o -11895115
276.72/276.83	c 255.527 20.5898 2843 5338920
276.72/276.83	o -11895117
279.12/279.27	c 257.811 20.5898 4629 5360027
279.12/279.27	o -11895125
279.51/279.60	c 258.109 20.5898 2636 5366046
279.51/279.60	o -11895736
282.01/282.17	c 260.485 20.5898 3039 5400702
282.01/282.17	o -11896289
282.52/282.67	c 260.955 20.5898 2135 5408999
282.52/282.67	o -11896316
283.22/283.30	c 261.541 20.5898 4321 5418770
283.22/283.30	o -11896377
284.01/284.16	c 262.342 20.5898 3179 5433098
284.01/284.16	o -11896378
284.11/284.27	c 262.45 20.5898 4173 5435378
284.11/284.27	o -11896385
284.22/284.39	c 262.565 20.5898 2858 5437919
284.22/284.39	o -11896398
284.91/285.01	c 263.144 20.5898 3424 5448724
284.91/285.01	o -11896410
285.21/285.34	c 263.448 20.5898 4261 5454307
285.21/285.34	o -11896426
285.61/285.79	c 263.86 20.5898 3253 5463329
285.61/285.79	o -11896437
286.11/286.28	c 264.322 20.5898 4249 5471586
286.11/286.28	o -11896440
286.31/286.43	c 264.46 20.5898 3114 5474240
286.31/286.43	o -11896456
286.51/286.67	c 264.679 20.5898 3079 5478789
286.51/286.67	o -11896459
287.11/287.22	c 265.192 20.5898 4126 5490365
287.11/287.22	o -11896504
287.11/287.23	c 265.198 20.5898 4133 5490522
287.11/287.23	o -11896534
287.51/287.64	c 265.586 20.5898 4866 5495228
287.51/287.64	o -11896544
287.51/287.69	c 265.632 20.5898 2807 5496159
287.51/287.69	o -11896575
287.61/287.79	c 265.723 20.5898 3576 5497529
287.61/287.79	o -11896589
287.92/288.04	c 265.956 20.5898 3229 5501782
287.92/288.04	o -11896644
288.31/288.46	c 266.351 20.5898 4287 5510195
288.31/288.46	o -11897055
289.12/289.20	c 267.04 20.5898 3618 5521452
289.12/289.20	o -11897060
289.12/289.30	c 267.134 20.5898 4567 5523414
289.12/289.30	o -11897067
289.51/289.64	c 267.444 20.5898 2481 5529164
289.51/289.64	o -11897207
289.62/289.72	c 267.52 20.5898 2934 5530523
289.62/289.72	o -11897316
289.71/289.80	c 267.594 20.5898 3499 5532127
289.71/289.80	o -11897318
289.71/289.83	c 267.622 20.5898 3735 5532681
289.71/289.83	o -11897376
290.22/290.36	c 268.125 20.5898 3339 5539622
290.22/290.36	o -11897385
290.22/290.36	c 268.129 20.5898 3342 5539729
290.22/290.36	o -11897400
290.32/290.42	c 268.183 20.5898 3727 5540735
290.32/290.42	o -11897401
290.32/290.44	c 268.205 20.5898 3833 5541250
290.32/290.44	o -11897411
290.32/290.45	c 268.216 20.5898 3911 5541458
290.32/290.45	o -11897419
290.32/290.48	c 268.238 20.5898 3433 5541863
290.32/290.48	o -11897427
290.41/290.51	c 268.271 20.5898 3628 5542631
290.41/290.51	o -11897463
290.41/290.54	c 268.293 20.5898 3815 5543161
290.41/290.54	o -11897465
290.41/290.54	c 268.297 20.5898 3821 5543256
290.41/290.54	o -11897470
290.41/290.58	c 268.331 20.5898 4060 5543715
290.41/290.58	o -11897478
290.41/290.58	c 268.336 20.5898 4064 5543828
290.41/290.58	o -11897481
290.41/290.58	c 268.338 20.5898 4065 5543906
290.41/290.58	o -11897496
290.41/290.59	c 268.341 20.5898 4069 5543952
290.41/290.59	s OPTIMUM FOUND
290.41/290.59	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364 -x365 -x366 x367 x368 -x369 -x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 x394 x395 x396 x397 -x398 -x399 x400 x401 x402 x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 x425 -x426 -x427 -x428 x429 x430 x431 -x432 x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 x466 x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 x485 x486 -x487 x488 x489 x490 x491 x492 -x493 x494 x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 -x584 x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 x613 x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 x844 -x845 -x846 x847 x848 x849 x850 x851 x852 -x853 -x854 x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 x874 -x875 x876 -x877 x878 x879 -x880 x881 x882 -x883 -x884 x885 x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 x905 x906 -x907 x908 x909 -x910 -x911 -x912 x913 x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960

Verifier Data 

OK	-11897496

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682922-1277487258/watcher-2682922-1277487258 -o /tmp/evaluation-result-2682922-1277487258/solver-2682922-1277487258 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682922-1277487258.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.02 1.00 3/105 29321
/proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=2268 CPUtime=0
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 90019272 2322432 207 1992294400 134512640 136421960 4287430848 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29321/statm: 567 207 146 467 0 98 0

[startup+0.022392 s]
/proc/loadavg: 1.05 1.02 1.00 3/105 29321
/proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=4508 CPUtime=0.01
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 850 0 0 0 1 0 0 0 25 0 1 0 90019272 4616192 769 1992294400 134512640 136421960 4287430848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 1127 770 195 467 0 658 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4508

[startup+0.100401 s]
/proc/loadavg: 1.05 1.02 1.00 3/105 29321
/proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=11616 CPUtime=0.09
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 2588 0 0 0 8 1 0 0 25 0 1 0 90019272 11894784 2507 1992294400 134512640 136421960 4287430848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 2904 2507 195 467 0 2435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11616

[startup+0.300419 s]
/proc/loadavg: 1.05 1.02 1.00 3/105 29321
/proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=16892 CPUtime=0.29
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 3881 0 0 0 25 4 0 0 25 0 1 0 90019272 17297408 3800 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4223 3800 216 467 0 3754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16892

[startup+0.700457 s]
/proc/loadavg: 1.05 1.02 1.00 3/105 29321
/proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=17020 CPUtime=0.69
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 3919 0 0 0 62 7 0 0 25 0 1 0 90019272 17428480 3838 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4255 3838 217 467 0 3786 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17020

[startup+1.50053 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 29322
/proc/meminfo: memFree=1780812/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=17664 CPUtime=1.49
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4089 0 0 0 135 14 0 0 25 0 1 0 90019272 18087936 4008 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4416 4008 217 467 0 3947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17664

[startup+3.10069 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 29322
/proc/meminfo: memFree=1779944/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=19076 CPUtime=3.09
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4416 0 0 0 283 26 0 0 25 0 1 0 90019272 19533824 4334 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4769 4334 239 467 0 4300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19076

[startup+6.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/106 29322
/proc/meminfo: memFree=1779076/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=19076 CPUtime=6.29
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4416 0 0 0 574 55 0 0 25 0 1 0 90019272 19533824 4334 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4769 4334 239 467 0 4300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19076

[startup+12.7016 s]
/proc/loadavg: 1.04 1.02 1.00 2/106 29322
/proc/meminfo: memFree=1778828/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=19204 CPUtime=12.69
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4443 0 0 0 1164 105 0 0 25 0 1 0 90019272 19664896 4360 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4801 4360 239 467 0 4332 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19204

[startup+25.5009 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 29322
/proc/meminfo: memFree=1778580/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=19464 CPUtime=25.48
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4530 0 0 0 2339 209 0 0 25 0 1 0 90019272 19931136 4442 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4866 4442 239 467 0 4397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19464

[startup+51.1004 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 29324
/proc/meminfo: memFree=1778580/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=19464 CPUtime=51.08
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4537 0 0 0 4698 410 0 0 25 0 1 0 90019272 19931136 4442 1992294400 134512640 136421960 4287430848 18446744073709551615 135161670 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 4866 4442 239 467 0 4397 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19464

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 29324
/proc/meminfo: memFree=1777712/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=20356 CPUtime=102.27
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4760 0 0 0 9394 833 0 0 25 0 1 0 90019272 20844544 4642 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5089 4642 239 467 0 4620 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20356

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 29326
/proc/meminfo: memFree=1777588/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=20356 CPUtime=162.24
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4787 0 0 0 14918 1306 0 0 25 0 1 0 90019272 20844544 4644 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5089 4644 239 467 0 4620 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20356

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29328
/proc/meminfo: memFree=1777216/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=20552 CPUtime=222.23
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4875 0 0 0 20481 1742 0 0 25 0 1 0 90019272 21045248 4700 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5138 4700 239 467 0 4669 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20552

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=282.22
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5044 0 0 0 26060 2162 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 21080

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

[startup+284.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=284.62
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5049 0 0 0 26285 2177 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 284.62
Current children cumulated vsize (KiB) 21080

[startup+287.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=287.81
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5060 0 0 0 26581 2200 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 287.81
Current children cumulated vsize (KiB) 21080

[startup+289.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=289.41
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5064 0 0 0 26731 2210 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135821897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 289.41
Current children cumulated vsize (KiB) 21080

[startup+290.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=290.22
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5068 0 0 0 26807 2215 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 290.22
Current children cumulated vsize (KiB) 21080

[startup+290.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=21080 CPUtime=290.41
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5074 0 0 0 26825 2216 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5270 4829 239 467 0 4801 0
Current children cumulated CPU time (s) 290.41
Current children cumulated vsize (KiB) 21080

[startup+290.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29330
/proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956
[pid=29321] ppid=29319 vsize=20560 CPUtime=290.52
/proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5084 0 0 0 26835 2217 0 0 25 0 1 0 90019272 21053440 4702 1992294400 134512640 136421960 4287430848 18446744073709551615 134710213 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29321/statm: 5140 4702 242 467 0 4671 0
Current children cumulated CPU time (s) 290.52
Current children cumulated vsize (KiB) 20560

Child status: 0
Real time (s): 290.661
CPU time (s): 290.582
CPU user time (s): 268.407
CPU system time (s): 22.1746
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 21080

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

runsolver used 0.508922 second user time and 1.36879 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-25 19:34:18
IDJOB=2682922
IDBENCH=2440
IDSOLVER=1192
FILE ID=node089/2682922-1277487258
PBS_JOBID= 11190479
Free space on /tmp= 62556 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682922-1277487258/watcher-2682922-1277487258 -o /tmp/evaluation-result-2682922-1277487258/solver-2682922-1277487258 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682922-1277487258.opb

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

MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e
RANDOM SEED=818856544

node089.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1796352 kB
Buffers:         33756 kB
Cached:         126508 kB
SwapCached:       5456 kB
Active:          20948 kB
Inactive:       151788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1796352 kB
SwapTotal:     4192956 kB
SwapFree:      4140364 kB
Dirty:            1868 kB
Writeback:           8 kB
AnonPages:       11088 kB
Mapped:          11900 kB
Slab:            68044 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node089 at 2010-06-25 19:39:09