Trace number 2668754

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.1SAT (TO)56337 1800.07 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM064c172c08e0726f78b89fe587697d96
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54272
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50176
Optimality of the best value was proved NO
Number of variables985
Total number of constraints45
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 constraints45
Minimum length of a constraint60
Maximum length of a constraint115
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2150078462
Number of bits of the biggest sum of numbers32
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 45/0 clauses 0/0 units 0
0.00/0.01	c vars 985
0.00/0.01	c objective 30 + 0
6.99/7.04	c 6.49301 20.8945 7868 242398
6.99/7.04	o 1023410176
18.99/19.08	c 17.6093 21.3281 4977 691318
18.99/19.08	o 817889280
22.00/22.03	c 20.3309 21.3281 3173 796281
22.00/22.03	o 807403520
25.39/25.48	c 23.4594 21.3281 2740 948298
25.39/25.48	o 603783168
49.57/49.66	c 45.742 22.2148 3490 1827684
49.57/49.66	o 570425344
53.48/53.56	c 49.3455 22.2148 3538 1985838
53.48/53.56	o 562036736
66.98/67.06	c 61.7476 22.2148 3460 2497555
66.98/67.06	o 553648128
68.87/68.96	c 63.4903 22.8516 3551 2558403
68.87/68.96	o 551944192
82.57/82.64	c 76.0254 22.8516 4608 3128688
82.57/82.64	o 551550976
109.15/109.29	c 100.449 23.1016 4198 4237902
109.15/109.29	o 543752192
111.06/111.18	c 102.204 23.1016 2880 4314792
111.06/111.18	o 537395200
112.96/113.06	c 103.918 23.1016 2517 4384169
112.96/113.06	o 537393280
114.85/114.98	c 105.665 23.1016 3190 4460045
114.85/114.98	o 537246720
126.65/126.78	c 116.574 23.3516 3082 4879928
126.65/126.78	o 536870912
142.55/142.61	c 131.097 23.3516 3285 5530741
142.55/142.61	o 511705088
142.95/143.04	c 131.484 23.3516 2714 5552141
142.95/143.04	o 511574016
143.14/143.22	c 131.65 23.3516 1723 5561876
143.14/143.22	o 343801856
143.24/143.30	c 131.718 23.3516 1808 5566177
143.24/143.30	o 343785472
144.55/144.68	c 133.009 23.3516 1634 5625464
144.55/144.68	o 340643840
147.64/147.80	c 135.852 23.3516 2801 5761963
147.64/147.80	o 301989888
160.54/160.64	c 147.576 23.3516 2285 6311097
160.54/160.64	o 294125568
163.34/163.44	c 150.202 24.0938 3346 6399804
163.34/163.44	o 285212672
169.64/169.76	c 155.978 24.0938 2268 6667571
169.64/169.76	o 275775488
169.64/169.79	c 156.009 24.0938 2325 6668664
169.64/169.79	o 274792448
169.74/169.81	c 156.027 24.0938 2331 6669250
169.74/169.81	o 274776064
171.55/171.62	c 157.703 24.0938 3128 6740648
171.55/171.62	o 269090816
172.73/172.83	c 158.824 24.0938 2267 6782601
172.73/172.83	o 268992768
176.13/176.24	c 161.988 24.0938 3870 6895785
176.13/176.24	o 268470272
186.63/186.79	c 171.775 24.0938 2386 7247466
186.63/186.79	o 268448768
187.13/187.26	c 172.21 24.0938 2664 7264325
187.13/187.26	o 268435712
189.14/189.26	c 174.064 24.0938 1904 7341355
189.14/189.27	o 268435648
190.94/191.06	c 175.718 24.0938 3905 7398415
190.94/191.06	o 268435456
195.83/195.95	c 180.176 24.0938 4578 7601192
195.83/195.95	o 255852544
207.53/207.65	c 190.85 24.0938 3300 8106143
207.53/207.65	o 170917888
213.83/213.94	c 196.648 24.0938 2461 8331615
213.83/213.94	o 167837696
214.82/214.91	c 197.53 24.0938 1842 8379824
214.82/214.91	o 134479872
217.32/217.40	c 199.833 24.0938 4567 8467825
217.32/217.40	o 107151360
218.62/218.72	c 201.029 24.0938 2890 8524268
218.62/218.72	o 100663296
227.22/227.33	c 208.901 24.1406 3070 8917894
227.22/227.33	o 84934656
235.52/235.64	c 216.5 24.1406 2897 9241596
235.52/235.64	o 83886080
242.31/242.42	c 222.768 24.3828 4578 9472471
242.31/242.42	o 77594624
245.41/245.57	c 225.643 24.3828 3255 9601561
245.41/245.57	o 71712768
248.81/248.92	c 228.745 24.6406 4042 9706404
248.81/248.92	o 4252672
252.41/252.51	c 232.06 24.6406 3563 9840323
252.41/252.51	o 4194304
255.71/255.89	c 235.172 24.6406 3439 9975866
255.71/255.89	o 3145728
256.42/256.51	c 235.737 24.6406 3323 10000958
256.42/256.51	o 2621440
256.42/256.57	c 235.79 24.6406 3490 10002615
256.42/256.57	o 2483200
256.51/256.61	c 235.833 24.6406 1844 10004634
256.51/256.61	o 2400256
256.51/256.67	c 235.896 24.6406 1904 10006218
256.51/256.67	o 2397184
256.61/256.74	c 235.956 24.6406 2132 10008050
256.61/256.74	o 2396768
261.11/261.26	c 240.171 24.6406 2731 10159475
261.11/261.26	o 2394752
261.41/261.57	c 240.453 24.6406 4299 10172545
261.41/261.57	o 2225664
261.51/261.63	c 240.508 24.6406 2236 10175497
261.51/261.63	o 2225560
261.51/261.69	c 240.567 24.6406 2409 10177677
261.51/261.69	o 2160128
261.61/261.71	c 240.586 24.6406 2423 10178366
261.61/261.71	o 2160064
261.61/261.73	c 240.605 24.6406 2498 10179158
261.61/261.73	o 2160032
262.51/262.62	c 241.428 24.6406 4282 10202555
262.51/262.62	o 2129920
263.82/263.98	c 242.69 24.6406 2750 10250259
263.82/263.98	o 2113536
263.82/263.99	c 242.704 24.6406 2763 10250687
263.82/264.00	o 2113024
263.92/264.02	c 242.724 24.6406 2774 10251574
263.92/264.02	o 2112960
263.92/264.03	c 242.74 24.6406 2785 10252245
263.92/264.03	o 2112896
263.92/264.07	c 242.775 24.6406 2824 10253383
263.92/264.07	o 2112832
266.61/266.76	c 245.265 24.6406 4144 10353147
266.61/266.76	o 2097152
268.22/268.32	c 246.714 24.6406 3042 10400033
268.22/268.32	o 1837056
268.22/268.37	c 246.765 24.6406 3095 10401354
268.22/268.37	o 1836416
268.91/269.00	c 247.335 24.6406 2280 10425634
268.91/269.00	o 1835008
268.91/269.04	c 247.374 24.6406 2329 10427770
268.91/269.04	o 1748992
269.11/269.27	c 247.574 24.6406 3252 10436880
269.11/269.27	o 1736704
269.60/269.73	c 247.995 24.6406 3378 10457034
269.60/269.73	o 1507328
269.71/269.82	c 248.084 24.6406 3473 10461527
269.71/269.82	o 1459456
269.71/269.88	c 248.138 24.6406 3552 10463090
269.71/269.88	o 1459392
269.81/269.94	c 248.202 24.6406 3606 10464764
269.81/269.94	o 1459352
269.91/270.01	c 248.263 24.6406 1849 10466863
269.91/270.01	o 1459350
269.91/270.02	c 248.274 24.6406 1849 10467211
269.91/270.02	o 1459348
269.91/270.03	c 248.286 24.6406 1851 10467570
269.91/270.03	o 1459344
269.91/270.04	c 248.299 24.6406 1856 10467928
269.91/270.04	o 1459336
270.41/270.58	c 248.782 24.6406 3785 10493987
270.41/270.58	o 1441792
270.51/270.62	c 248.82 24.6406 1948 10495571
270.51/270.62	o 1384448
270.61/270.70	c 248.893 24.6406 2151 10498465
270.61/270.70	o 1382656
271.52/271.62	c 249.738 24.6406 3375 10541975
271.52/271.62	o 1376256
273.11/273.22	c 251.21 24.7656 3986 10593677
273.11/273.22	o 1179648
273.41/273.56	c 251.528 24.7656 4708 10604916
273.41/273.56	o 1163264
273.60/273.76	c 251.71 24.7656 2807 10615447
273.60/273.76	o 917504
273.60/273.79	c 251.735 24.7656 2893 10616479
273.60/273.79	o 884736
273.71/273.82	c 251.765 24.7656 3025 10617421
273.71/273.82	o 858112
274.92/275.02	c 252.868 24.7656 4409 10659173
274.92/275.02	o 857088
274.92/275.06	c 252.909 24.7656 2265 10660497
274.92/275.06	o 856960
276.40/276.55	c 254.249 24.7656 3701 10724536
276.40/276.55	o 847872
276.80/276.94	c 254.595 24.7656 2843 10743260
276.80/276.94	o 847232
276.80/276.97	c 254.622 24.7656 2910 10744179
276.80/276.97	o 847216
276.80/276.98	c 254.634 24.7656 2911 10744506
276.80/276.98	o 847214
277.30/277.41	c 255.023 24.7656 2309 10763239
277.30/277.41	o 724608
277.30/277.43	c 255.039 24.7656 2348 10763863
277.30/277.43	o 724527
277.30/277.46	c 255.062 24.7656 2424 10764662
277.30/277.46	o 724032
278.70/278.85	c 256.361 24.7656 3729 10811901
278.70/278.85	o 655360
279.32/279.47	c 256.946 24.7656 3007 10834635
279.32/279.48	o 638464
279.50/279.60	c 257.065 24.7656 3365 10840508
279.50/279.60	o 636032
279.50/279.62	c 257.082 24.7656 3399 10841198
279.50/279.62	o 636000
279.50/279.64	c 257.099 24.7656 3479 10841728
279.50/279.64	o 635992
280.50/280.60	c 257.981 24.7656 3872 10881839
280.50/280.60	o 631176
282.10/282.22	c 259.514 24.7656 2256 10929397
282.10/282.22	o 626688
282.62/282.80	c 260.043 24.7656 3327 10950707
282.62/282.80	o 622592
282.71/282.89	c 260.129 24.7656 3411 10955034
282.71/282.89	o 619520
283.50/283.61	c 260.808 24.7656 3934 10980448
283.50/283.61	o 571264
285.51/285.62	c 262.635 24.7656 4020 11064950
285.51/285.62	o 524288
285.81/285.92	c 262.911 24.7656 4197 11075866
285.81/285.92	o 425984
286.40/286.59	c 263.541 24.7656 2799 11093664
286.40/286.59	o 326720
286.50/286.62	c 263.572 24.7656 2845 11095247
286.50/286.62	o 326706
286.50/286.67	c 263.621 24.7656 2931 11097421
286.50/286.67	o 319488
286.61/286.71	c 263.654 24.7656 3020 11098882
286.61/286.71	o 318976
286.61/286.74	c 263.683 24.7656 3075 11100138
286.61/286.74	o 318720
286.71/286.82	c 263.754 24.7656 3263 11103686
286.71/286.82	o 317504
286.71/286.85	c 263.774 24.7656 3343 11104556
286.71/286.85	o 313344
286.80/286.92	c 263.838 24.7656 3549 11107213
286.80/286.92	o 311808
286.80/286.93	c 263.855 24.7656 3615 11107726
286.80/286.94	o 311392
286.80/286.96	c 263.878 24.7656 3645 11108621
286.80/286.96	o 311384
286.80/286.97	c 263.891 24.7656 3660 11109021
286.80/286.97	o 311378
287.80/287.97	c 264.801 24.7656 2663 11148146
287.80/287.97	o 311328
287.80/287.99	c 264.823 24.7656 2712 11148876
287.80/287.99	o 311312
288.01/288.13	c 264.961 24.7656 2905 11155682
288.01/288.13	o 278784
288.01/288.15	c 264.972 24.7656 2905 11156000
288.01/288.15	o 278783
288.01/288.17	c 264.997 24.7656 2944 11157054
288.01/288.17	o 278768
288.41/288.59	c 265.376 24.7656 3040 11171339
288.41/288.59	o 278720
288.50/288.61	c 265.397 24.7656 3062 11171959
288.50/288.61	o 278704
289.00/289.14	c 265.892 24.7656 2235 11186505
289.00/289.14	o 270336
290.70/290.80	c 267.428 24.7656 3563 11253102
290.70/290.80	o 268416
290.70/290.83	c 267.456 24.7656 3615 11254099
290.70/290.83	o 268348
290.70/290.86	c 267.484 24.7656 3641 11255383
290.70/290.86	o 268346
290.70/290.89	c 267.509 24.7656 3680 11256348
290.70/290.89	o 268345
290.80/290.91	c 267.528 24.7656 3723 11257053
290.80/290.91	o 265728
290.80/290.93	c 267.546 24.7656 3790 11257762
290.80/290.93	o 263680
290.80/290.95	c 267.566 24.7656 3817 11258381
290.80/290.95	o 263648
291.41/291.59	c 268.166 24.7656 4258 11279142
291.41/291.59	o 262144
291.51/291.69	c 268.259 24.7656 2295 11283695
291.51/291.69	o 258560
292.90/293.02	c 269.488 24.7656 3069 11330081
292.90/293.02	o 131072
293.61/293.72	c 270.125 24.7656 2253 11354528
293.61/293.72	o 127552
293.70/293.82	c 270.218 24.7656 2421 11358736
293.70/293.82	o 126464
293.70/293.87	c 270.266 24.7656 2515 11360061
293.70/293.87	o 126400
293.70/293.89	c 270.29 24.7656 2590 11360808
293.70/293.89	o 123328
294.90/295.07	c 271.382 24.7656 4191 11395486
294.90/295.07	o 123264
295.00/295.13	c 271.435 24.7656 2168 11397183
295.00/295.13	o 123248
295.00/295.14	c 271.447 24.7656 2168 11397448
295.00/295.14	o 123244
295.00/295.15	c 271.457 24.7656 2170 11397727
295.00/295.15	o 123240
295.10/295.22	c 271.527 24.7656 2244 11400622
295.10/295.22	o 123216
295.10/295.24	c 271.546 24.7656 2260 11401322
295.10/295.24	o 123215
295.10/295.26	c 271.556 24.7656 2261 11401592
295.10/295.26	o 123212
295.20/295.34	c 271.642 24.7656 2545 11404231
295.20/295.34	o 123210
295.60/295.77	c 272.035 24.7656 2325 11419602
295.60/295.77	o 113032
295.60/295.79	c 272.054 24.7656 2385 11420224
295.60/295.79	o 113028
295.71/295.81	c 272.069 24.7656 2413 11420741
295.71/295.81	o 113024
295.71/295.82	c 272.082 24.7656 2426 11421146
295.71/295.82	o 112690
295.90/296.08	c 272.324 24.7656 3463 11429535
295.90/296.08	o 99168
296.00/296.18	c 272.414 24.7656 3641 11433767
296.00/296.18	o 99150
296.11/296.22	c 272.449 24.7656 3664 11434789
296.11/296.22	o 99149
296.11/296.29	c 272.517 24.7656 4106 11436251
296.11/296.29	o 99148
296.21/296.30	c 272.53 24.7656 4114 11436550
296.21/296.30	o 99144
296.21/296.33	c 272.553 24.7656 4190 11437274
296.21/296.33	o 98848
296.21/296.39	c 272.611 24.7656 2144 11439535
296.21/296.39	o 98832
296.30/296.40	c 272.624 24.7656 2147 11439927
296.30/296.40	o 98822
297.60/297.70	c 273.84 24.7656 3101 11478201
297.60/297.70	o 98816
297.60/297.71	c 273.851 24.7656 3101 11478477
297.60/297.71	o 98784
297.60/297.73	c 273.861 24.7656 3109 11478814
297.60/297.73	o 98780
297.60/297.75	c 273.878 24.7656 3177 11479232
297.60/297.75	o 98779
297.70/297.80	c 273.928 24.7656 3394 11480867
297.70/297.80	o 98775
297.70/297.83	c 273.96 24.7656 3473 11482121
297.70/297.83	o 98772
297.70/297.86	c 273.992 24.7656 3552 11483261
297.70/297.86	o 98656
297.70/297.87	c 274.003 24.7656 3552 11483540
297.70/297.87	o 98648
297.70/297.88	c 274.014 24.7656 3553 11483808
297.70/297.88	o 98645
297.70/297.90	c 274.025 24.7656 3553 11484078
297.70/297.90	o 98644
297.80/297.91	c 274.036 24.7656 3555 11484354
297.80/297.91	o 98643
297.80/297.92	c 274.048 24.7656 3562 11484656
297.80/297.92	o 98642
297.80/297.95	c 274.077 24.7656 3613 11485954
297.80/297.95	o 98592
299.11/299.23	c 275.285 24.8906 2993 11522179
299.11/299.23	o 98356
299.11/299.26	c 275.31 24.8906 3020 11522910
299.11/299.26	o 98352
300.21/300.32	c 276.294 24.8906 2992 11554724
300.21/300.32	o 98336
300.21/300.34	c 276.312 24.8906 3023 11555316
300.21/300.34	o 98320
300.21/300.36	c 276.336 24.8906 3142 11555920
300.21/300.36	o 98319
300.50/300.64	c 276.591 24.8906 3967 11566341
300.50/300.64	o 98304
300.60/300.73	c 276.679 24.8906 4194 11569840
300.60/300.73	o 88832
300.60/300.75	c 276.695 24.8906 4197 11570317
300.60/300.75	o 88736
300.81/300.92	c 276.855 24.8906 2348 11577002
300.81/300.92	o 88536
300.81/300.97	c 276.895 24.8906 2381 11578848
300.81/300.97	o 88535
300.90/301.03	c 276.954 24.8906 2534 11580764
300.90/301.03	o 88424
302.10/302.24	c 278.078 24.8906 4270 11613101
302.10/302.24	o 84872
302.10/302.27	c 278.099 24.8906 2152 11614017
302.10/302.27	o 84868
302.10/302.28	c 278.113 24.8906 2181 11614466
302.10/302.28	o 84608
302.10/302.29	c 278.124 24.8906 2188 11614813
302.10/302.29	o 84484
302.20/302.31	c 278.135 24.8906 2188 11615090
302.20/302.31	o 84481
302.20/302.32	c 278.145 24.8906 2188 11615364
302.20/302.32	o 84480
302.20/302.33	c 278.161 24.8906 2196 11615900
302.20/302.33	o 84448
302.20/302.35	c 278.174 24.8906 2201 11616227
302.20/302.35	o 84416
302.20/302.36	c 278.186 24.8906 2221 11616549
302.20/302.36	o 84384
302.20/302.37	c 278.202 24.8906 2248 11617029
302.20/302.37	o 84360
304.20/304.32	c 280.058 24.8906 2889 11646810
304.20/304.32	o 84116
304.20/304.37	c 280.102 24.8906 2934 11648827
304.20/304.37	o 84096
542.14/542.32	c 509.736 26.1797 3508 13720551
542.14/542.32	o 82272
542.23/542.43	c 509.84 26.1797 3754 13724587
542.23/542.43	o 81920
542.23/542.44	c 509.856 26.1797 3787 13725113
542.23/542.44	o 80896
542.33/542.51	c 509.915 26.1797 3926 13727648
542.33/542.51	o 79998
542.43/542.62	c 510.024 26.1797 4206 13732102
542.43/542.62	o 79996
542.43/542.66	c 510.058 26.1797 4287 13733288
542.43/542.66	o 79984
542.43/542.69	c 510.089 26.1797 2194 13734447
542.43/542.69	o 79980
542.53/542.72	c 510.116 26.1797 2255 13735329
542.53/542.72	o 79978
542.53/542.74	c 510.133 26.1797 2278 13735856
542.53/542.74	o 79976
543.44/543.66	c 511.001 26.1797 3048 13758122
543.44/543.66	o 79936
543.64/543.80	c 511.126 26.1797 3219 13763847
543.64/543.80	o 77824
543.64/543.83	c 511.151 26.1797 3249 13764814
543.64/543.83	o 77312
543.64/543.85	c 511.17 26.1797 3269 13765379
543.64/543.85	o 77259
543.73/543.90	c 511.215 26.1797 3448 13766780
543.73/543.90	o 77066
611.32/611.51	c 576.371 26.4492 3793 14364883
611.32/611.51	o 73728
611.42/611.63	c 576.48 26.4492 4051 14369359
611.42/611.63	o 73344
611.42/611.65	c 576.498 26.4492 4095 14369908
611.42/611.65	o 73320
611.42/611.67	c 576.521 26.4492 4115 14370516
611.42/611.67	o 73316
611.52/611.70	c 576.545 26.4492 4196 14371374
611.52/611.70	o 73252
611.52/611.72	c 576.566 26.4492 4282 14371877
611.52/611.72	o 73250
611.52/611.75	c 576.593 26.4492 2192 14372797
611.52/611.75	o 72960
611.52/611.77	c 576.602 26.4492 2199 14373089
611.52/611.77	o 72832
611.52/611.78	c 576.613 26.4492 2199 14373366
611.52/611.78	o 72744
611.52/611.79	c 576.623 26.4492 2199 14373639
611.52/611.79	o 72740
611.62/611.80	c 576.634 26.4492 2208 14373958
611.62/611.80	o 72736
724.78/725.10	c 685.615 27.2578 4665 15279126
724.78/725.10	o 72320
724.88/725.13	c 685.649 27.2578 2412 15280223
724.88/725.13	o 72224
724.88/725.18	c 685.689 27.2578 2463 15282025
724.88/725.18	o 72192
724.98/725.27	c 685.765 27.2578 2601 15285845
724.98/725.27	o 71728
724.98/725.28	c 685.777 27.2578 2605 15286117
724.98/725.28	o 71716
724.98/725.29	c 685.789 27.2578 2616 15286480
724.98/725.29	o 71713
725.08/725.31	c 685.807 27.2578 2624 15287148
725.08/725.31	o 71682
725.08/725.33	c 685.826 27.2578 2657 15287827
725.08/725.33	o 71681
725.08/725.36	c 685.849 27.2578 2680 15288585
725.08/725.36	o 71680
726.18/726.41	c 686.841 27.2578 2846 15322288
726.18/726.41	o 70528
726.18/726.44	c 686.866 27.2578 2899 15323198
726.18/726.44	o 70507
726.18/726.46	c 686.88 27.2578 2904 15323549
726.18/726.46	o 70506
726.18/726.49	c 686.906 27.2578 2942 15324180
726.18/726.49	o 70504
726.28/726.52	c 686.934 27.2578 2967 15324662
726.28/726.52	o 70496
727.99/728.28	c 688.58 27.2578 4182 15370312
727.99/728.28	o 69632
728.08/728.33	c 688.619 27.2578 4229 15371794
728.08/728.33	o 67840
728.08/728.37	c 688.66 27.2578 2213 15373235
728.08/728.37	o 67780
728.18/728.44	c 688.72 27.2578 2393 15375779
728.18/728.44	o 67776
728.78/729.01	c 689.243 27.5078 2328 15392862
728.78/729.01	o 67712
728.78/729.03	c 689.263 27.5078 2393 15393501
728.78/729.03	o 66944
728.78/729.04	c 689.279 27.5078 2414 15394022
728.78/729.04	o 66880
728.78/729.06	c 689.292 27.5078 2417 15394409
728.78/729.06	o 66868
728.78/729.09	c 689.321 27.5078 2546 15395138
728.78/729.09	o 66864
728.87/729.11	c 689.338 27.5078 2571 15395726
728.87/729.11	o 66304
728.87/729.12	c 689.349 27.5078 2571 15396012
728.87/729.12	o 66176
728.87/729.13	c 689.36 27.5078 2571 15396295
728.87/729.13	o 66113
728.87/729.14	c 689.374 27.5078 2582 15396772
728.87/729.14	o 66112
728.87/729.15	c 689.385 27.5078 2587 15397075
728.87/729.15	o 66048
728.87/729.18	c 689.413 27.5078 2604 15398360
728.87/729.18	o 65680
728.99/729.21	c 689.434 27.5078 2679 15399158
728.99/729.21	o 65667
728.99/729.22	c 689.447 27.5078 2687 15399485
728.99/729.22	o 65664
728.99/729.23	c 689.461 27.5078 2715 15399924
728.99/729.24	o 65584
729.27/729.53	c 689.729 27.5078 4099 15410901
729.27/729.53	o 65572
730.08/730.33	c 690.485 27.5078 2256 15432294
730.08/730.33	o 65557
730.08/730.37	c 690.519 27.5078 2268 15432887
730.08/730.37	o 65556
730.08/730.38	c 690.53 27.5078 2269 15433138
730.08/730.38	o 65553
1006.79/1007.17	c 957.91 28.293 3716 17107824
1006.79/1007.17	o 65024
1006.89/1007.23	c 957.967 28.293 3815 17111238
1006.89/1007.23	o 64480
1006.89/1007.26	c 957.99 28.293 3832 17111946
1006.89/1007.26	o 64470
1006.99/1007.30	c 958.032 28.293 3871 17113722
1006.99/1007.30	o 64469
1006.99/1007.32	c 958.049 28.293 3887 17114252
1006.99/1007.32	o 64466
1006.99/1007.39	c 958.112 28.293 3954 17117040
1006.99/1007.39	o 64464
1007.99/1008.38	c 959.044 28.293 3966 17139384
1007.99/1008.38	o 63600
1009.40/1009.71	c 960.314 28.293 2605 17171458
1009.40/1009.71	o 63488
1009.40/1009.73	c 960.332 28.293 2628 17172078
1009.40/1009.73	o 62880
1009.40/1009.78	c 960.375 28.293 2689 17174154
1009.40/1009.78	o 62624
1009.40/1009.79	c 960.385 28.293 2689 17174422
1009.40/1009.79	o 62616
1009.89/1010.23	c 960.802 28.293 3084 17184270
1009.89/1010.23	o 58368
1009.99/1010.34	c 960.902 28.293 3412 17188825
1009.99/1010.34	o 57600
1009.99/1010.35	c 960.913 28.293 3412 17189087
1009.99/1010.35	o 57592
1009.99/1010.36	c 960.922 28.293 3412 17189347
1009.99/1010.36	o 57590
1010.09/1010.47	c 961.019 28.6719 3630 17193864
1010.09/1010.47	o 56576
1010.09/1010.50	c 961.044 28.6719 3737 17194539
1010.09/1010.50	o 56512
1010.19/1010.51	c 961.055 28.6719 3737 17194789
1010.19/1010.51	o 56508
1010.19/1010.52	c 961.066 28.6719 3737 17195036
1010.19/1010.52	o 56507
1010.19/1010.53	c 961.077 28.6719 3743 17195295
1010.19/1010.53	o 56506
1010.19/1010.54	c 961.088 28.6719 3744 17195551
1010.19/1010.54	o 56505
1010.19/1010.56	c 961.11 28.6719 3771 17196258
1010.19/1010.56	o 56504
1010.19/1010.57	c 961.122 28.6719 3787 17196568
1010.19/1010.57	o 56498
1010.19/1010.59	c 961.141 28.6719 3864 17197143
1010.19/1010.59	o 56497
1010.29/1010.60	c 961.151 28.6719 3871 17197407
1010.29/1010.60	o 56496
1010.29/1010.62	c 961.163 28.6719 3875 17197805
1010.29/1010.62	o 56464
1790.15/1790.72	c 1712.92 29.3516 2967 24069056
1790.15/1790.72	o 56451
1790.15/1790.78	c 1712.98 29.3516 3160 24071132
1790.15/1790.78	o 56450
1790.26/1790.85	c 1713.05 29.3516 3293 24073597
1790.26/1790.85	o 56449
1790.26/1790.86	c 1713.06 29.3516 3294 24073839
1790.26/1790.86	o 56448
1790.35/1790.94	c 1713.13 29.3516 3492 24077025
1790.35/1790.94	o 56400
1790.35/1790.96	c 1713.15 29.3516 3507 24077669
1790.35/1790.96	o 56392
1790.35/1790.98	c 1713.17 29.3516 3537 24078025
1790.35/1790.98	o 56391
1790.35/1790.99	c 1713.18 29.3516 3566 24078507
1790.35/1790.99	o 56390
1790.45/1791.01	c 1713.2 29.3516 3577 24078950
1790.45/1791.01	o 56384
1790.45/1791.02	c 1713.21 29.3516 3583 24079267
1790.45/1791.02	o 56337
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	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 x961 x962 x963 -x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985

Verifier Data 

OK	56337

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668754-1276565381/watcher-2668754-1276565381 -o /tmp/evaluation-result-2668754-1276565381/solver-2668754-1276565381 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668754-1276565381.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: 0.92 0.98 1.15 3/106 3049
/proc/meminfo: memFree=1807804/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=2340 CPUtime=0
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 32142057 2396160 207 1992294400 134512640 136485738 4292857696 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3049/statm: 585 208 156 482 0 101 0

[startup+0.0949419 s]
/proc/loadavg: 0.92 0.98 1.15 3/106 3049
/proc/meminfo: memFree=1807804/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=9224 CPUtime=0.09
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 1995 0 0 0 8 1 0 0 20 0 1 0 32142057 9445376 1917 1992294400 134512640 136485738 4292857696 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 2306 1919 197 482 0 1822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9224

[startup+0.100943 s]
/proc/loadavg: 0.92 0.98 1.15 3/106 3049
/proc/meminfo: memFree=1807804/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=9488 CPUtime=0.09
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 2089 0 0 0 8 1 0 0 20 0 1 0 32142057 9715712 2011 1992294400 134512640 136485738 4292857696 18446744073709551615 135443578 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 2405 2012 197 482 0 1921 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9488

[startup+0.300963 s]
/proc/loadavg: 0.92 0.98 1.15 3/106 3049
/proc/meminfo: memFree=1807804/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=18900 CPUtime=0.29
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 4402 0 0 0 27 2 0 0 20 0 1 0 32142057 19353600 4324 1992294400 134512640 136485738 4292857696 18446744073709551615 134660899 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 4725 4324 228 482 0 4241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18900

[startup+0.701004 s]
/proc/loadavg: 0.92 0.98 1.15 3/106 3049
/proc/meminfo: memFree=1807804/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=19684 CPUtime=0.69
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 4570 0 0 0 65 4 0 0 20 0 1 0 32142057 20156416 4492 1992294400 134512640 136485738 4292857696 18446744073709551615 135183730 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 4921 4492 228 482 0 4437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19684

[startup+1.50109 s]
/proc/loadavg: 0.92 0.98 1.15 2/107 3050
/proc/meminfo: memFree=1790064/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=20356 CPUtime=1.49
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 4735 0 0 0 139 10 0 0 22 0 1 0 32142057 20844544 4657 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5089 4657 228 482 0 4605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20356

[startup+3.10125 s]
/proc/loadavg: 0.92 0.98 1.15 2/107 3050
/proc/meminfo: memFree=1789196/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=21000 CPUtime=3.09
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 4896 0 0 0 285 24 0 0 25 0 1 0 32142057 21504000 4818 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5250 4818 228 482 0 4766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21000

[startup+6.30058 s]
/proc/loadavg: 0.93 0.98 1.15 2/107 3050
/proc/meminfo: memFree=1788576/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=21260 CPUtime=6.29
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 4984 0 0 0 580 49 0 0 25 0 1 0 32142057 21770240 4906 1992294400 134512640 136485738 4292857696 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5315 4906 228 482 0 4831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21260

[startup+12.7002 s]
/proc/loadavg: 0.93 0.98 1.15 2/107 3050
/proc/meminfo: memFree=1788080/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=21836 CPUtime=12.68
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5087 0 0 0 1169 99 0 0 25 0 1 0 32142057 22360064 5008 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5459 5008 246 482 0 4975 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21836

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 1.15 2/107 3050
/proc/meminfo: memFree=1788080/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=21836 CPUtime=25.49
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5090 0 0 0 2347 202 0 0 25 0 1 0 32142057 22360064 5008 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5459 5008 246 482 0 4975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21836

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 1.14 2/107 3050
/proc/meminfo: memFree=1787088/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=22744 CPUtime=51.08
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5342 0 0 0 4707 401 0 0 25 0 1 0 32142057 23289856 5259 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5686 5259 246 482 0 5202 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22744

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 1.13 2/107 3052
/proc/meminfo: memFree=1786220/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=23652 CPUtime=102.27
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5549 0 0 0 9406 821 0 0 25 0 1 0 32142057 24219648 5462 1992294400 134512640 136485738 4292857696 18446744073709551615 134659877 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 5913 5462 246 482 0 5429 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23652

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.12 2/107 3054
/proc/meminfo: memFree=1784980/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=24668 CPUtime=162.24
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5831 0 0 0 14913 1311 0 0 25 0 1 0 32142057 25260032 5732 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6167 5732 246 482 0 5683 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24668

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.11 2/107 3056
/proc/meminfo: memFree=1784608/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=24716 CPUtime=222.22
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 5929 0 0 0 20431 1791 0 0 25 0 1 0 32142057 25309184 5755 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6179 5755 246 482 0 5695 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24716

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.10 2/107 3056
/proc/meminfo: memFree=1784112/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=25356 CPUtime=282.2
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6141 0 0 0 25957 2263 0 0 25 0 1 0 32142057 25964544 5904 1992294400 134512640 136485738 4292857696 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6339 5904 246 482 0 5855 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 25356

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.09 2/107 3058
/proc/meminfo: memFree=1783492/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=25748 CPUtime=342.19
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6351 0 0 0 31667 2552 0 0 25 0 1 0 32142057 26365952 6020 1992294400 134512640 136485738 4292857696 18446744073709551615 134876187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6437 6020 246 482 0 5953 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25748

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 3060
/proc/meminfo: memFree=1783368/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=26016 CPUtime=402.18
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6395 0 0 0 37458 2760 0 0 25 0 1 0 32142057 26640384 6064 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6504 6064 246 482 0 6020 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 26016

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 3062
/proc/meminfo: memFree=1783120/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=26016 CPUtime=462.16
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6417 0 0 0 43250 2966 0 0 25 0 1 0 32142057 26640384 6086 1992294400 134512640 136485738 4292857696 18446744073709551615 135857157 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6504 6086 246 482 0 6020 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 26016

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 3064
/proc/meminfo: memFree=1782996/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=26148 CPUtime=522.14
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6445 0 0 0 49048 3166 0 0 25 0 1 0 32142057 26775552 6114 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6537 6114 246 482 0 6053 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 26148

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 3064
/proc/meminfo: memFree=1782128/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=26944 CPUtime=582.12
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6658 0 0 0 54823 3389 0 0 25 0 1 0 32142057 27590656 6313 1992294400 134512640 136485738 4292857696 18446744073709551615 134623137 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6736 6313 246 482 0 6252 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 26944

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 3066
/proc/meminfo: memFree=1781756/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=27356 CPUtime=642.11
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 6757 0 0 0 60596 3615 0 0 25 0 1 0 32142057 28012544 6401 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 6839 6401 246 482 0 6355 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 27356

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 3072
/proc/meminfo: memFree=1780764/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=28296 CPUtime=822.05
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7015 0 0 0 77924 4281 0 0 25 0 1 0 32142057 28975104 6623 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7074 6623 246 482 0 6590 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 28296

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 3072
/proc/meminfo: memFree=1780392/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=28696 CPUtime=882.03
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7087 0 0 0 83724 4479 0 0 25 0 1 0 32142057 29384704 6695 1992294400 134512640 136485738 4292857696 18446744073709551615 135839892 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7174 6695 246 482 0 6690 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 28696

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 3074
/proc/meminfo: memFree=1780144/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=28832 CPUtime=942.02
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7146 0 0 0 89525 4677 0 0 25 0 1 0 32142057 29523968 6754 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7208 6754 246 482 0 6724 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 28832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 3076
/proc/meminfo: memFree=1780020/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=28968 CPUtime=1001.99
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7162 0 0 0 95323 4876 0 0 25 0 1 0 32142057 29663232 6770 1992294400 134512640 136485738 4292857696 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7242 6770 246 482 0 6758 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 28968

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 3078
/proc/meminfo: memFree=1779648/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29356 CPUtime=1061.98
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7276 0 0 0 101096 5102 0 0 25 0 1 0 32142057 30060544 6825 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7339 6825 246 482 0 6855 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 29356

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 3080
/proc/meminfo: memFree=1779648/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29488 CPUtime=1121.95
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7301 0 0 0 106876 5319 0 0 25 0 1 0 32142057 30195712 6850 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7372 6850 246 482 0 6888 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 29488

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 3080
/proc/meminfo: memFree=1779400/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29488 CPUtime=1181.94
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7312 0 0 0 112669 5525 0 0 25 0 1 0 32142057 30195712 6861 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7372 6861 246 482 0 6888 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 29488

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3082
/proc/meminfo: memFree=1779276/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29488 CPUtime=1241.92
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7319 0 0 0 118460 5732 0 0 25 0 1 0 32142057 30195712 6868 1992294400 134512640 136485738 4292857696 18446744073709551615 135857078 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7372 6868 246 482 0 6888 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 29488

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3084
/proc/meminfo: memFree=1779152/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29632 CPUtime=1301.91
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7323 0 0 0 124244 5947 0 0 25 0 1 0 32142057 30343168 6872 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7408 6872 246 482 0 6924 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 29632

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3086
/proc/meminfo: memFree=1779152/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29632 CPUtime=1361.87
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7323 0 0 0 130030 6157 0 0 25 0 1 0 32142057 30343168 6872 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7408 6872 246 482 0 6924 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 29632

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3088
/proc/meminfo: memFree=1779152/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29632 CPUtime=1421.86
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7340 0 0 0 135799 6387 0 0 25 0 1 0 32142057 30343168 6889 1992294400 134512640 136485738 4292857696 18446744073709551615 134876240 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7408 6889 246 482 0 6924 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 29632

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3088
/proc/meminfo: memFree=1779028/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29772 CPUtime=1481.84
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7369 0 0 0 141577 6607 0 0 25 0 1 0 32142057 30486528 6918 1992294400 134512640 136485738 4292857696 18446744073709551615 135859456 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7443 6918 246 482 0 6959 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 29772

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3090
/proc/meminfo: memFree=1778904/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29912 CPUtime=1541.82
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7391 0 0 0 147360 6822 0 0 25 0 1 0 32142057 30629888 6940 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7478 6940 246 482 0 6994 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 29912

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3092
/proc/meminfo: memFree=1778780/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=29912 CPUtime=1601.8
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7405 0 0 0 153130 7050 0 0 25 0 1 0 32142057 30629888 6954 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7478 6954 246 482 0 6994 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 29912

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3094
/proc/meminfo: memFree=1778780/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=30052 CPUtime=1661.78
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7420 0 0 0 158913 7265 0 0 25 0 1 0 32142057 30773248 6969 1992294400 134512640 136485738 4292857696 18446744073709551615 135037558 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7513 6969 246 482 0 7029 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 30052

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3096
/proc/meminfo: memFree=1778532/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=30052 CPUtime=1721.77
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7431 0 0 0 164691 7486 0 0 25 0 1 0 32142057 30773248 6980 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7513 6980 246 482 0 7029 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 30052

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3096
/proc/meminfo: memFree=1778284/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=30052 CPUtime=1781.76
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7436 0 0 0 170478 7698 0 0 25 0 1 0 32142057 30773248 6985 1992294400 134512640 136485738 4292857696 18446744073709551615 135173528 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7513 6985 246 482 0 7029 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 30052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 3098
/proc/meminfo: memFree=1778284/2059040 swapFree=4135652/4192956
[pid=3049] ppid=3047 vsize=30052 CPUtime=1800.06
/proc/3049/stat : 3049 (pbct) R 3047 3049 2849 0 -1 4202496 7453 0 0 0 172243 7763 0 0 25 0 1 0 32142057 30773248 6992 1992294400 134512640 136485738 4292857696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/3049/statm: 7513 6992 246 482 0 7029 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 30052

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1722.44
CPU system time (s): 77.6382
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 30052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.44
system time used= 77.6382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7453
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= 2
involuntary context switches= 5593

runsolver used 2.66559 second user time and 8.82566 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-15 03:29:41
IDJOB=2668754
IDBENCH=2502
IDSOLVER=1170
FILE ID=node002/2668754-1276565381
PBS_JOBID= 11173510
Free space on /tmp= 62456 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668754-1276565381/watcher-2668754-1276565381 -o /tmp/evaluation-result-2668754-1276565381/solver-2668754-1276565381 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668754-1276565381.opb

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

MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96
RANDOM SEED=464366403

node002.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.242
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.242
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	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808208 kB
Buffers:         46860 kB
Cached:         114704 kB
SwapCached:      10520 kB
Active:          78716 kB
Inactive:        95576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808208 kB
SwapTotal:     4192956 kB
SwapFree:      4135652 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:       11248 kB
Mapped:           9320 kB
Slab:            54696 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181524 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= 62456 MiB
End job on node002 at 2010-06-15 03:59:44