Trace number 357256

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, and are wall clock time (not CPU 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
oree 0.1.2 alpha? (TO) 1800.22 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos13.opb
MD5SUM1218478b67ec647ce24db44195ab22fa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44861589
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -89698560
Optimality of the best value was proved NO
Number of variables1935
Total number of constraints19275
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints19274
Minimum length of a constraint10
Maximum length of a constraint1815
Number of terms in the objective function 120
Biggest coefficient in the objective function 103558656
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 2282563635
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 69966336000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 636991772142
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
7.89/7.98	c ...done
7.89/7.98	c #vars=1935 #constraints=19276 hasObjective=yes
12.99/13.02	c res. mode=mod
12.99/13.02	c VSIDS like heuristics
12.99/13.02	c complete search running
14.29/14.36	c restart after 401 decisions
15.88/15.92	c nbDecision=500 #constraints=19279
15.88/15.97	c restart after 801 decisions
17.49/17.56	c nbDecision=1000 #constraints=19279
17.49/17.59	c nbDecision=1500 #constraints=19279
17.49/17.59	c restart after 1601 decisions
19.38/19.42	c nbDecision=2000 #constraints=19280
19.38/19.45	c nbDecision=2500 #constraints=19280
19.58/19.64	c nbDecision=3000 #constraints=19281
19.58/19.66	c restart after 3201 decisions
21.18/21.26	c nbDecision=3500 #constraints=19281
21.18/21.29	c nbDecision=4000 #constraints=19281
21.38/21.48	c nbDecision=4500 #constraints=19282
21.48/21.51	c nbDecision=5000 #constraints=19282
21.48/21.53	c nbDecision=5500 #constraints=19282
21.58/21.66	c nbDecision=6000 #constraints=19283
21.58/21.68	c restart after 6401 decisions
23.18/23.26	c nbDecision=6500 #constraints=19283
23.28/23.31	c nbDecision=7000 #constraints=19283
23.28/23.34	c nbDecision=7500 #constraints=19283
23.48/23.56	c nbDecision=8000 #constraints=19284
23.48/23.59	c nbDecision=8500 #constraints=19284
23.78/23.81	c nbDecision=9000 #constraints=19285
23.78/23.84	c nbDecision=9500 #constraints=19285
23.78/23.86	c nbDecision=10000 #constraints=19285
24.48/24.57	c nbDecision=10500 #constraints=19291
25.08/25.11	c nbDecision=11000 #constraints=19296
25.38/25.49	c nbDecision=11500 #constraints=19299
25.68/25.76	c nbDecision=12000 #constraints=19302
25.88/25.98	c nbDecision=12500 #constraints=19304
26.08/26.16	c restart after 12801 decisions
27.78/27.80	c nbDecision=13000 #constraints=19305
27.78/27.84	c nbDecision=13500 #constraints=19305
27.78/27.86	c nbDecision=14000 #constraints=19305
28.18/28.29	c nbDecision=14500 #constraints=19307
29.68/29.70	c nbDecision=15000 #constraints=19315
31.48/31.55	c nbDecision=15500 #constraints=19324
32.58/32.64	c nbDecision=16000 #constraints=19329
32.58/32.67	c nbDecision=16500 #constraints=19329
32.58/32.69	c nbDecision=17000 #constraints=19329
32.68/32.78	c nbDecision=17500 #constraints=19330
32.78/32.80	c nbDecision=18000 #constraints=19330
32.78/32.88	c nbDecision=18500 #constraints=19331
32.88/32.91	c nbDecision=19000 #constraints=19331
32.88/32.92	c nbDecision=19500 #constraints=19331
32.98/33.01	c nbDecision=20000 #constraints=19332
32.98/33.04	c nbDecision=20500 #constraints=19332
33.08/33.12	c nbDecision=21000 #constraints=19333
33.08/33.15	c nbDecision=21500 #constraints=19333
33.08/33.16	c nbDecision=22000 #constraints=19333
33.18/33.25	c nbDecision=22500 #constraints=19334
33.18/33.27	c nbDecision=23000 #constraints=19334
33.28/33.35	c nbDecision=23500 #constraints=19335
33.28/33.38	c nbDecision=24000 #constraints=19335
33.38/33.40	c nbDecision=24500 #constraints=19335
33.38/33.48	c nbDecision=25000 #constraints=19336
33.48/33.51	c nbDecision=25500 #constraints=19336
33.48/33.51	c restart after 25601 decisions
35.08/35.12	c nbDecision=26000 #constraints=19336
35.08/35.15	c nbDecision=26500 #constraints=19336
35.08/35.16	c nbDecision=27000 #constraints=19336
35.18/35.25	c nbDecision=27500 #constraints=19337
35.18/35.28	c nbDecision=28000 #constraints=19337
35.28/35.36	c nbDecision=28500 #constraints=19338
35.28/35.38	c nbDecision=29000 #constraints=19338
35.38/35.40	c nbDecision=29500 #constraints=19338
35.38/35.49	c nbDecision=30000 #constraints=19339
35.48/35.51	c nbDecision=30500 #constraints=19339
35.48/35.53	c nbDecision=31000 #constraints=19339
35.58/35.61	c nbDecision=31500 #constraints=19340
35.58/35.64	c nbDecision=32000 #constraints=19340
35.58/35.66	c nbDecision=32500 #constraints=19340
35.68/35.75	c nbDecision=33000 #constraints=19341
35.68/35.77	c nbDecision=33500 #constraints=19341
35.79/35.85	c nbDecision=34000 #constraints=19342
35.79/35.88	c nbDecision=34500 #constraints=19342
35.79/35.89	c nbDecision=35000 #constraints=19342
35.89/35.97	c nbDecision=35500 #constraints=19343
35.99/36.00	c nbDecision=36000 #constraints=19343
35.99/36.02	c nbDecision=36500 #constraints=19343
36.19/36.27	c nbDecision=37000 #constraints=19344
36.29/36.36	c nbDecision=37500 #constraints=19345
36.29/36.39	c nbDecision=38000 #constraints=19345
36.39/36.46	c nbDecision=38500 #constraints=19346
36.39/36.49	c nbDecision=39000 #constraints=19346
36.49/36.51	c nbDecision=39500 #constraints=19346
36.49/36.58	c nbDecision=40000 #constraints=19347
36.59/36.61	c nbDecision=40500 #constraints=19347
36.59/36.63	c nbDecision=41000 #constraints=19347
36.69/36.70	c nbDecision=41500 #constraints=19348
36.69/36.73	c nbDecision=42000 #constraints=19348
36.69/36.75	c nbDecision=42500 #constraints=19348
38.49/38.58	c nbDecision=43000 #constraints=19358
45.68/45.79	c nbDecision=43500 #constraints=19397
47.88/47.96	c nbDecision=44000 #constraints=19410
49.68/49.79	c nbDecision=44500 #constraints=19419
52.48/52.56	c nbDecision=45000 #constraints=19430
55.28/55.35	c nbDecision=45500 #constraints=19441
58.48/58.54	c nbDecision=46000 #constraints=19455
62.48/62.56	c nbDecision=46500 #constraints=19472
66.87/66.97	c nbDecision=47000 #constraints=19493
69.77/69.82	c nbDecision=47500 #constraints=19502
73.17/73.27	c nbDecision=48000 #constraints=19514
74.67/74.79	c nbDecision=48500 #constraints=19520
76.87/76.93	c nbDecision=49000 #constraints=19527
79.37/79.41	c nbDecision=49500 #constraints=19534
82.17/82.20	c nbDecision=50000 #constraints=19543
85.07/85.15	c nbDecision=50500 #constraints=19551
86.27/86.39	c nbDecision=51000 #constraints=19556
86.37/86.42	c restart after 51201 decisions
87.97/88.07	c nbDecision=51500 #constraints=19556
88.07/88.10	c nbDecision=52000 #constraints=19556
88.07/88.12	c nbDecision=52500 #constraints=19556
89.87/89.98	c nbDecision=53000 #constraints=19562
92.27/92.35	c nbDecision=53500 #constraints=19570
94.66/94.73	c nbDecision=54000 #constraints=19579
95.96/96.08	c nbDecision=54500 #constraints=19583
96.56/96.66	c nbDecision=55000 #constraints=19585
97.76/97.81	c nbDecision=55500 #constraints=19589
98.46/98.51	c nbDecision=56000 #constraints=19591
98.96/99.06	c nbDecision=56500 #constraints=19593
101.56/101.68	c nbDecision=57000 #constraints=19604
103.06/103.14	c nbDecision=57500 #constraints=19609
104.76/104.80	c nbDecision=58000 #constraints=19621
106.86/106.97	c nbDecision=58500 #constraints=19627
107.96/108.05	c nbDecision=59000 #constraints=19630
110.47/110.58	c nbDecision=59500 #constraints=19637
111.57/111.65	c nbDecision=60000 #constraints=19640
113.17/113.24	c nbDecision=60500 #constraints=19646
113.76/113.82	c nbDecision=61000 #constraints=19651
114.16/114.30	c nbDecision=61500 #constraints=19655
114.37/114.47	c nbDecision=62000 #constraints=19657
115.26/115.33	c nbDecision=62500 #constraints=19660
115.96/116.02	c nbDecision=63000 #constraints=19666
116.26/116.39	c nbDecision=63500 #constraints=19669
116.66/116.77	c nbDecision=64000 #constraints=19672
117.67/117.73	c nbDecision=64500 #constraints=19676
117.96/118.08	c nbDecision=65000 #constraints=19679
118.26/118.31	c nbDecision=65500 #constraints=19681
118.46/118.57	c nbDecision=66000 #constraints=19683
118.76/118.83	c nbDecision=66500 #constraints=19685
119.56/119.69	c nbDecision=67000 #constraints=19688
120.36/120.46	c nbDecision=67500 #constraints=19690
121.56/121.61	c nbDecision=68000 #constraints=19693
122.26/122.38	c nbDecision=68500 #constraints=19695
123.36/123.49	c nbDecision=69000 #constraints=19698
124.56/124.60	c nbDecision=69500 #constraints=19701
125.26/125.35	c nbDecision=70000 #constraints=19704
125.95/126.10	c nbDecision=70500 #constraints=19706
128.05/128.15	c nbDecision=71000 #constraints=19712
129.15/129.28	c nbDecision=71500 #constraints=19716
129.76/129.86	c nbDecision=72000 #constraints=19718
129.76/129.88	c nbDecision=72500 #constraints=19718
130.25/130.31	c nbDecision=73000 #constraints=19720
130.45/130.55	c nbDecision=73500 #constraints=19721
131.45/131.58	c nbDecision=74000 #constraints=19727
134.35/134.41	c nbDecision=74500 #constraints=19740
139.25/139.35	c nbDecision=75000 #constraints=19758
143.15/143.28	c nbDecision=75500 #constraints=19776
146.05/146.13	c nbDecision=76000 #constraints=19784
149.05/149.15	c nbDecision=76500 #constraints=19794
153.54/153.66	c nbDecision=77000 #constraints=19811
155.84/155.94	c nbDecision=77500 #constraints=19817
160.45/160.59	c nbDecision=78000 #constraints=19835
163.54/163.62	c nbDecision=78500 #constraints=19844
165.24/165.34	c nbDecision=79000 #constraints=19849
166.14/166.25	c nbDecision=79500 #constraints=19856
171.04/171.17	c nbDecision=80000 #constraints=19884
176.94/177.01	c nbDecision=80500 #constraints=19911
185.84/185.92	c nbDecision=81000 #constraints=19945
190.64/190.73	c nbDecision=81500 #constraints=19962
193.14/193.21	c nbDecision=82000 #constraints=19969
195.54/195.70	c nbDecision=82500 #constraints=19982
197.64/197.74	c nbDecision=83000 #constraints=19993
199.64/199.76	c nbDecision=83500 #constraints=20001
203.13/203.22	c nbDecision=84000 #constraints=20011
206.23/206.30	c nbDecision=84500 #constraints=20020
207.74/207.81	c nbDecision=85000 #constraints=20026
211.43/211.56	c nbDecision=85500 #constraints=20037
213.83/213.96	c nbDecision=86000 #constraints=20044
216.63/216.70	c nbDecision=86500 #constraints=20052
218.03/218.12	c nbDecision=87000 #constraints=20056
220.13/220.20	c nbDecision=87500 #constraints=20068
223.93/224.08	c nbDecision=88000 #constraints=20083
226.63/226.71	c nbDecision=88500 #constraints=20091
229.33/229.44	c nbDecision=89000 #constraints=20101
230.62/230.72	c nbDecision=89500 #constraints=20108
233.22/233.33	c nbDecision=90000 #constraints=20116
236.72/236.86	c nbDecision=90500 #constraints=20126
238.82/238.91	c nbDecision=91000 #constraints=20132
240.12/240.21	c nbDecision=91500 #constraints=20136
242.42/242.53	c nbDecision=92000 #constraints=20142
244.32/244.46	c nbDecision=92500 #constraints=20147
246.62/246.71	c nbDecision=93000 #constraints=20153
248.02/248.10	c nbDecision=93500 #constraints=20157
250.42/250.51	c nbDecision=94000 #constraints=20164
252.22/252.37	c nbDecision=94500 #constraints=20172
254.91/255.03	c nbDecision=95000 #constraints=20187
258.52/258.62	c nbDecision=95500 #constraints=20200
261.72/261.82	c nbDecision=96000 #constraints=20209
264.22/264.31	c nbDecision=96500 #constraints=20219
265.32/265.49	c nbDecision=97000 #constraints=20225
269.22/269.39	c nbDecision=97500 #constraints=20236
271.52/271.70	c nbDecision=98000 #constraints=20244
271.91/272.03	c nbDecision=98500 #constraints=20246
273.82/273.93	c nbDecision=99000 #constraints=20251
275.71/275.83	c nbDecision=99500 #constraints=20256
277.21/277.35	c nbDecision=100000 #constraints=20260
279.11/279.24	c nbDecision=100500 #constraints=20265
280.31/280.41	c nbDecision=101000 #constraints=20268
281.81/281.93	c nbDecision=101500 #constraints=20272
283.51/283.66	c nbDecision=102000 #constraints=20277
284.91/285.10	c restart after 102401 decisions
286.61/286.74	c nbDecision=102500 #constraints=20281
286.71/286.80	c nbDecision=103000 #constraints=20281
286.71/286.82	c nbDecision=103500 #constraints=20281
286.71/286.84	c nbDecision=104000 #constraints=20281
288.11/288.22	c nbDecision=104500 #constraints=20285
290.11/290.25	c nbDecision=105000 #constraints=20291
291.51/291.67	c nbDecision=105500 #constraints=20295
292.51/292.66	c nbDecision=106000 #constraints=20298
293.90/294.08	c nbDecision=106500 #constraints=20302
296.70/296.85	c nbDecision=107000 #constraints=20310
297.30/297.46	c nbDecision=107500 #constraints=20312
299.40/299.51	c nbDecision=108000 #constraints=20323
303.00/303.17	c nbDecision=108500 #constraints=20336
304.90/305.08	c nbDecision=109000 #constraints=20344
307.00/307.19	c nbDecision=109500 #constraints=20353
310.90/311.04	c nbDecision=110000 #constraints=20368
314.30/314.41	c nbDecision=110500 #constraints=20379
316.50/316.62	c nbDecision=111000 #constraints=20390
319.09/319.22	c nbDecision=111500 #constraints=20399
321.59/321.77	c nbDecision=112000 #constraints=20407
323.89/324.05	c nbDecision=112500 #constraints=20415
326.09/326.29	c nbDecision=113000 #constraints=20422
328.80/328.90	c nbDecision=113500 #constraints=20436
331.60/331.73	c nbDecision=114000 #constraints=20444
334.20/334.32	c nbDecision=114500 #constraints=20453
335.79/335.94	c nbDecision=115000 #constraints=20461
338.19/338.35	c nbDecision=115500 #constraints=20471
340.59/340.78	c nbDecision=116000 #constraints=20482
344.69/344.81	c nbDecision=116500 #constraints=20493
346.30/346.49	c nbDecision=117000 #constraints=20502
347.69/347.83	c nbDecision=117500 #constraints=20506
350.39/350.54	c nbDecision=118000 #constraints=20513
352.99/353.18	c nbDecision=118500 #constraints=20520
355.69/355.84	c nbDecision=119000 #constraints=20527
358.19/358.33	c nbDecision=119500 #constraints=20534
360.69/360.82	c nbDecision=120000 #constraints=20541
362.68/362.90	c nbDecision=120500 #constraints=20553
365.78/365.93	c nbDecision=121000 #constraints=20565
368.98/369.16	c nbDecision=121500 #constraints=20574
371.48/371.64	c nbDecision=122000 #constraints=20584
372.68/372.82	c nbDecision=122500 #constraints=20590
375.48/375.65	c nbDecision=123000 #constraints=20600
378.38/378.52	c nbDecision=123500 #constraints=20609
380.49/380.62	c nbDecision=124000 #constraints=20615
380.58/380.80	c nbDecision=124500 #constraints=20616
383.79/383.90	c nbDecision=125000 #constraints=20624
385.28/385.44	c nbDecision=125500 #constraints=20628
386.38/386.58	c nbDecision=126000 #constraints=20631
389.08/389.29	c nbDecision=126500 #constraints=20638
391.08/391.23	c nbDecision=127000 #constraints=20643
392.58/392.74	c nbDecision=127500 #constraints=20647
394.08/394.21	c nbDecision=128000 #constraints=20651
396.48/396.70	c nbDecision=128500 #constraints=20658
398.98/399.19	c nbDecision=129000 #constraints=20665
400.08/400.22	c nbDecision=129500 #constraints=20668
404.68/404.80	c nbDecision=130000 #constraints=20681
405.68/405.88	c nbDecision=130500 #constraints=20685
407.98/408.13	c nbDecision=131000 #constraints=20694
410.57/410.79	c nbDecision=131500 #constraints=20704
412.38/412.54	c nbDecision=132000 #constraints=20710
413.67/413.83	c nbDecision=132500 #constraints=20715
416.27/416.41	c nbDecision=133000 #constraints=20722
418.07/418.25	c nbDecision=133500 #constraints=20730
420.37/420.56	c nbDecision=134000 #constraints=20738
421.97/422.14	c nbDecision=134500 #constraints=20745
423.87/424.01	c nbDecision=135000 #constraints=20750
424.97/425.12	c nbDecision=135500 #constraints=20753
427.27/427.45	c nbDecision=136000 #constraints=20762
429.87/430.05	c nbDecision=136500 #constraints=20773
431.67/431.83	c nbDecision=137000 #constraints=20779
432.96/433.12	c nbDecision=137500 #constraints=20784
434.76/434.97	c nbDecision=138000 #constraints=20789
437.46/437.64	c nbDecision=138500 #constraints=20799
439.76/439.99	c nbDecision=139000 #constraints=20807
440.66/440.82	c nbDecision=139500 #constraints=20812
442.46/442.69	c nbDecision=140000 #constraints=20817
444.36/444.55	c nbDecision=140500 #constraints=20822
446.26/446.42	c nbDecision=141000 #constraints=20827
446.56/446.79	c nbDecision=141500 #constraints=20828
448.76/448.96	c nbDecision=142000 #constraints=20838
450.56/450.74	c nbDecision=142500 #constraints=20845
451.56/451.79	c nbDecision=143000 #constraints=20849
452.86/453.08	c nbDecision=143500 #constraints=20854
453.95/454.18	c nbDecision=144000 #constraints=20857
455.86/456.04	c nbDecision=144500 #constraints=20862
457.26/457.50	c nbDecision=145000 #constraints=20868
459.36/459.56	c nbDecision=145500 #constraints=20876
460.16/460.33	c nbDecision=146000 #constraints=20879
460.26/460.40	c nbDecision=146500 #constraints=20881
461.36/461.55	c nbDecision=147000 #constraints=20885
462.56/462.70	c nbDecision=147500 #constraints=20889
462.96/463.11	c nbDecision=148000 #constraints=20891
463.66/463.89	c nbDecision=148500 #constraints=20894
464.86/465.00	c nbDecision=149000 #constraints=20897
466.06/466.20	c nbDecision=149500 #constraints=20902
467.86/468.05	c nbDecision=150000 #constraints=20910
469.26/469.44	c nbDecision=150500 #constraints=20914
470.66/470.84	c nbDecision=151000 #constraints=20918
472.76/472.94	c nbDecision=151500 #constraints=20924
474.16/474.34	c nbDecision=152000 #constraints=20928
476.26/476.48	c nbDecision=152500 #constraints=20935
476.36/476.58	c nbDecision=153000 #constraints=20938
476.46/476.62	c nbDecision=153500 #constraints=20939
477.26/477.46	c nbDecision=154000 #constraints=20944
478.66/478.89	c nbDecision=154500 #constraints=20948
479.75/479.98	c nbDecision=155000 #constraints=20951
480.85/481.07	c nbDecision=155500 #constraints=20954
481.56/481.80	c nbDecision=156000 #constraints=20956
482.55/482.70	c nbDecision=156500 #constraints=20963
482.55/482.80	c nbDecision=157000 #constraints=20966
482.66/482.90	c nbDecision=157500 #constraints=20969
482.76/482.97	c nbDecision=158000 #constraints=20971
483.55/483.79	c nbDecision=158500 #constraints=20975
485.05/485.24	c nbDecision=159000 #constraints=20979
485.75/485.97	c nbDecision=159500 #constraints=20981
486.55/486.70	c nbDecision=160000 #constraints=20983
487.25/487.44	c nbDecision=160500 #constraints=20985
488.35/488.56	c nbDecision=161000 #constraints=20988
490.05/490.26	c nbDecision=161500 #constraints=20993
491.15/491.34	c nbDecision=162000 #constraints=20997
491.25/491.41	c nbDecision=162500 #constraints=20999
491.25/491.48	c nbDecision=163000 #constraints=21001
491.35/491.59	c nbDecision=163500 #constraints=21003
491.45/491.62	c nbDecision=164000 #constraints=21003
491.45/491.64	c nbDecision=164500 #constraints=21003
493.65/493.83	c nbDecision=165000 #constraints=21011
496.45/496.65	c nbDecision=165500 #constraints=21021
497.75/497.91	c nbDecision=166000 #constraints=21025
500.75/500.93	c nbDecision=166500 #constraints=21037
502.55/502.71	c nbDecision=167000 #constraints=21043
504.65/504.90	c nbDecision=167500 #constraints=21051
507.54/507.74	c nbDecision=168000 #constraints=21061
508.05/508.27	c nbDecision=168500 #constraints=21063
509.15/509.30	c nbDecision=169000 #constraints=21066
512.04/512.21	c nbDecision=169500 #constraints=21077
516.44/516.63	c nbDecision=170000 #constraints=21091
518.24/518.41	c nbDecision=170500 #constraints=21100
520.34/520.52	c nbDecision=171000 #constraints=21110
521.94/522.17	c nbDecision=171500 #constraints=21117
524.44/524.62	c nbDecision=172000 #constraints=21124
525.74/525.99	c nbDecision=172500 #constraints=21130
528.54/528.74	c nbDecision=173000 #constraints=21146
530.63/530.87	c nbDecision=173500 #constraints=21156
532.63/532.85	c nbDecision=174000 #constraints=21164
535.03/535.26	c nbDecision=174500 #constraints=21175
535.73/535.98	c nbDecision=175000 #constraints=21178
539.23/539.43	c nbDecision=175500 #constraints=21187
540.73/540.97	c nbDecision=176000 #constraints=21191
542.73/542.95	c nbDecision=176500 #constraints=21203
546.54/546.78	c nbDecision=177000 #constraints=21221
548.24/548.42	c nbDecision=177500 #constraints=21228
551.04/551.23	c nbDecision=178000 #constraints=21239
552.93/553.10	c nbDecision=178500 #constraints=21248
554.93/555.18	c nbDecision=179000 #constraints=21254
557.23/557.42	c nbDecision=179500 #constraints=21265
558.54/558.80	c nbDecision=180000 #constraints=21270
559.13/559.36	c nbDecision=180500 #constraints=21272
559.33/559.54	c nbDecision=181000 #constraints=21273
561.23/561.45	c nbDecision=181500 #constraints=21278
562.43/562.64	c nbDecision=182000 #constraints=21281
564.73/564.95	c nbDecision=182500 #constraints=21287
566.63/566.87	c nbDecision=183000 #constraints=21292
567.83/568.05	c nbDecision=183500 #constraints=21295
569.33/569.58	c nbDecision=184000 #constraints=21299
570.53/570.76	c nbDecision=184500 #constraints=21302
572.03/572.29	c nbDecision=185000 #constraints=21306
573.23/573.45	c nbDecision=185500 #constraints=21309
574.73/574.98	c nbDecision=186000 #constraints=21313
575.93/576.14	c nbDecision=186500 #constraints=21316
577.43/577.67	c nbDecision=187000 #constraints=21320
578.63/578.83	c nbDecision=187500 #constraints=21323
582.12/582.37	c nbDecision=188000 #constraints=21332
582.92/583.15	c nbDecision=188500 #constraints=21335
585.82/586.10	c nbDecision=189000 #constraints=21345
589.22/589.45	c nbDecision=189500 #constraints=21355
591.72/591.93	c nbDecision=190000 #constraints=21368
594.02/594.26	c nbDecision=190500 #constraints=21380
595.52/595.76	c nbDecision=191000 #constraints=21387
598.12/598.31	c nbDecision=191500 #constraints=21395
599.82/600.08	c nbDecision=192000 #constraints=21404
602.22/602.44	c nbDecision=192500 #constraints=21416
604.22/604.46	c nbDecision=193000 #constraints=21425
606.01/606.23	c nbDecision=193500 #constraints=21433
608.81/609.08	c nbDecision=194000 #constraints=21447
609.61/609.81	c nbDecision=194500 #constraints=21450
612.81/613.01	c nbDecision=195000 #constraints=21459
615.51/615.70	c nbDecision=195500 #constraints=21466
617.12/617.39	c nbDecision=196000 #constraints=21472
620.02/620.27	c nbDecision=196500 #constraints=21487
622.22/622.50	c nbDecision=197000 #constraints=21497
624.72/624.97	c nbDecision=197500 #constraints=21506
627.01/627.26	c nbDecision=198000 #constraints=21516
628.82/629.05	c nbDecision=198500 #constraints=21523
631.12/631.31	c nbDecision=199000 #constraints=21533
633.81/634.06	c nbDecision=199500 #constraints=21545
636.31/636.50	c nbDecision=200000 #constraints=21554
637.31/637.55	c nbDecision=200500 #constraints=21558
637.61/637.82	c nbDecision=201000 #constraints=21560
637.61/637.84	c nbDecision=201500 #constraints=21560
637.82/638.02	c nbDecision=202000 #constraints=21561
639.71/639.95	c nbDecision=202500 #constraints=21566
641.71/641.90	c nbDecision=203000 #constraints=21571
643.61/643.81	c nbDecision=203500 #constraints=21576
645.51/645.78	c nbDecision=204000 #constraints=21581
647.11/647.33	c nbDecision=204500 #constraints=21585
648.31/648.51	c restart after 204801 decisions
650.11/650.30	c nbDecision=205000 #constraints=21588
650.11/650.33	c nbDecision=205500 #constraints=21588
650.11/650.35	c nbDecision=206000 #constraints=21588
650.91/651.14	c nbDecision=206500 #constraints=21590
651.71/651.92	c nbDecision=207000 #constraints=21592
653.61/653.87	c nbDecision=207500 #constraints=21597
655.60/655.80	c nbDecision=208000 #constraints=21602
657.10/657.34	c nbDecision=208500 #constraints=21606
661.70/661.96	c nbDecision=209000 #constraints=21619
662.70/662.99	c nbDecision=209500 #constraints=21622
663.50/663.78	c nbDecision=210000 #constraints=21625
665.10/665.36	c nbDecision=210500 #constraints=21632
665.60/665.88	c nbDecision=211000 #constraints=21634
666.30/666.57	c nbDecision=211500 #constraints=21636
667.20/667.46	c nbDecision=212000 #constraints=21639
668.30/668.54	c nbDecision=212500 #constraints=21642
670.10/670.38	c nbDecision=213000 #constraints=21647
670.20/670.41	c nbDecision=213500 #constraints=21647
670.20/670.42	c nbDecision=214000 #constraints=21647
671.80/672.01	c nbDecision=214500 #constraints=21655
673.50/673.75	c nbDecision=215000 #constraints=21661
674.80/675.01	c nbDecision=215500 #constraints=21665
677.00/677.27	c nbDecision=216000 #constraints=21672
678.80/679.08	c nbDecision=216500 #constraints=21677
679.80/680.06	c nbDecision=217000 #constraints=21681
681.60/681.84	c nbDecision=217500 #constraints=21689
683.20/683.47	c nbDecision=218000 #constraints=21694
684.79/685.06	c nbDecision=218500 #constraints=21699
686.59/686.88	c nbDecision=219000 #constraints=21704
688.09/688.34	c nbDecision=219500 #constraints=21708
688.79/689.09	c nbDecision=220000 #constraints=21710
690.99/691.26	c nbDecision=220500 #constraints=21720
693.80/694.05	c nbDecision=221000 #constraints=21729
696.10/696.31	c nbDecision=221500 #constraints=21737
697.10/697.38	c nbDecision=222000 #constraints=21741
697.20/697.40	c nbDecision=222500 #constraints=21741
697.20/697.42	c nbDecision=223000 #constraints=21741
698.50/698.72	c nbDecision=223500 #constraints=21746
698.50/698.75	c nbDecision=224000 #constraints=21746
698.50/698.77	c nbDecision=224500 #constraints=21746
699.59/699.88	c nbDecision=225000 #constraints=21749
701.50/701.75	c nbDecision=225500 #constraints=21754
702.49/702.75	c nbDecision=226000 #constraints=21758
704.69/704.99	c nbDecision=226500 #constraints=21767
705.90/706.11	c nbDecision=227000 #constraints=21771
705.90/706.19	c nbDecision=227500 #constraints=21773
707.10/707.34	c nbDecision=228000 #constraints=21777
707.49/707.76	c nbDecision=228500 #constraints=21779
708.29/708.53	c nbDecision=229000 #constraints=21782
709.39/709.66	c nbDecision=229500 #constraints=21785
711.09/711.32	c nbDecision=230000 #constraints=21792
712.79/713.04	c nbDecision=230500 #constraints=21799
714.49/714.78	c nbDecision=231000 #constraints=21804
715.89/716.18	c nbDecision=231500 #constraints=21808
719.39/719.69	c nbDecision=232000 #constraints=21818
719.49/719.76	c nbDecision=232500 #constraints=21820
719.59/719.84	c nbDecision=233000 #constraints=21822
719.69/719.95	c nbDecision=233500 #constraints=21825
719.69/719.98	c nbDecision=234000 #constraints=21825
719.79/720.00	c nbDecision=234500 #constraints=21825
721.59/721.83	c nbDecision=235000 #constraints=21830
722.68/722.92	c nbDecision=235500 #constraints=21833
723.78/724.02	c nbDecision=236000 #constraints=21836
724.48/724.76	c nbDecision=236500 #constraints=21838
726.68/726.97	c nbDecision=237000 #constraints=21844
727.78/728.06	c nbDecision=237500 #constraints=21847
728.88/729.16	c nbDecision=238000 #constraints=21850
730.38/730.64	c nbDecision=238500 #constraints=21854
730.48/730.77	c nbDecision=239000 #constraints=21858
730.58/730.87	c nbDecision=239500 #constraints=21861
730.68/730.95	c nbDecision=240000 #constraints=21863
731.19/731.47	c nbDecision=240500 #constraints=21867
731.19/731.50	c nbDecision=241000 #constraints=21867
731.29/731.52	c nbDecision=241500 #constraints=21867
732.58/732.88	c nbDecision=242000 #constraints=21871
733.98/734.23	c nbDecision=242500 #constraints=21875
734.68/734.91	c nbDecision=243000 #constraints=21877
735.68/735.95	c nbDecision=243500 #constraints=21880
736.38/736.67	c nbDecision=244000 #constraints=21882
736.38/736.69	c nbDecision=244500 #constraints=21882
736.78/737.08	c nbDecision=245000 #constraints=21883
736.88/737.10	c nbDecision=245500 #constraints=21883
737.18/737.47	c nbDecision=246000 #constraints=21884
737.98/738.21	c nbDecision=246500 #constraints=21886
737.98/738.24	c nbDecision=247000 #constraints=21886
738.38/738.61	c nbDecision=247500 #constraints=21887
738.68/739.00	c nbDecision=248000 #constraints=21888
738.78/739.02	c nbDecision=248500 #constraints=21888
739.08/739.39	c nbDecision=249000 #constraints=21889
739.48/739.78	c nbDecision=249500 #constraints=21890
739.58/739.80	c nbDecision=250000 #constraints=21890
739.88/740.17	c nbDecision=250500 #constraints=21891
740.27/740.56	c nbDecision=251000 #constraints=21892
740.27/740.59	c nbDecision=251500 #constraints=21892
740.67/740.99	c nbDecision=252000 #constraints=21893
741.47/741.74	c nbDecision=252500 #constraints=21895
741.47/741.76	c nbDecision=253000 #constraints=21895
742.18/742.46	c nbDecision=253500 #constraints=21897
743.97/744.21	c nbDecision=254000 #constraints=21902
743.97/744.24	c nbDecision=254500 #constraints=21902
743.97/744.25	c nbDecision=255000 #constraints=21902
744.08/744.31	c nbDecision=255500 #constraints=21903
744.08/744.34	c nbDecision=256000 #constraints=21903
744.08/744.39	c nbDecision=256500 #constraints=21904
744.18/744.41	c nbDecision=257000 #constraints=21904
744.18/744.43	c nbDecision=257500 #constraints=21904
744.18/744.49	c nbDecision=258000 #constraints=21905
744.28/744.51	c nbDecision=258500 #constraints=21905
744.28/744.56	c nbDecision=259000 #constraints=21906
744.28/744.59	c nbDecision=259500 #constraints=21906
744.38/744.61	c nbDecision=260000 #constraints=21906
744.48/744.73	c nbDecision=260500 #constraints=21908
744.48/744.76	c nbDecision=261000 #constraints=21908
744.48/744.78	c nbDecision=261500 #constraints=21908
745.78/746.06	c nbDecision=262000 #constraints=21913
750.28/750.53	c nbDecision=262500 #constraints=21928
754.68/754.91	c nbDecision=263000 #constraints=21942
758.17/758.41	c nbDecision=263500 #constraints=21954
760.98/761.27	c nbDecision=264000 #constraints=21963
762.47/762.78	c nbDecision=264500 #constraints=21969
766.27/766.55	c nbDecision=265000 #constraints=21981
769.97/770.23	c nbDecision=265500 #constraints=21992
774.27/774.57	c nbDecision=266000 #constraints=22006
777.67/777.93	c nbDecision=266500 #constraints=22017
780.67/780.94	c nbDecision=267000 #constraints=22026
784.26/784.54	c nbDecision=267500 #constraints=22036
786.17/786.49	c nbDecision=268000 #constraints=22042
787.86/788.11	c nbDecision=268500 #constraints=22048
790.36/790.62	c nbDecision=269000 #constraints=22055
792.36/792.70	c nbDecision=269500 #constraints=22061
794.86/795.14	c nbDecision=270000 #constraints=22068
798.56/798.86	c nbDecision=270500 #constraints=22080
801.46/801.73	c nbDecision=271000 #constraints=22088
803.26/803.55	c nbDecision=271500 #constraints=22093
805.05/805.34	c nbDecision=272000 #constraints=22098
805.96/806.28	c nbDecision=272500 #constraints=22106
806.15/806.41	c nbDecision=273000 #constraints=22109
807.55/807.86	c nbDecision=273500 #constraints=22114
808.95/809.29	c nbDecision=274000 #constraints=22118
812.35/812.67	c nbDecision=274500 #constraints=22129
815.46/815.72	c nbDecision=275000 #constraints=22141
817.56/817.87	c nbDecision=275500 #constraints=22147
819.06/819.31	c nbDecision=276000 #constraints=22151
820.76/821.09	c nbDecision=276500 #constraints=22156
822.26/822.57	c nbDecision=277000 #constraints=22161
822.36/822.67	c nbDecision=277500 #constraints=22164
822.46/822.77	c nbDecision=278000 #constraints=22166
822.56/822.87	c nbDecision=278500 #constraints=22168
822.66/822.95	c nbDecision=279000 #constraints=22170
822.66/822.99	c nbDecision=279500 #constraints=22171
824.16/824.41	c nbDecision=280000 #constraints=22175
825.56/825.82	c nbDecision=280500 #constraints=22179
826.96/827.23	c nbDecision=281000 #constraints=22183
828.36/828.64	c nbDecision=281500 #constraints=22187
828.75/829.04	c nbDecision=282000 #constraints=22188
830.26/830.52	c nbDecision=282500 #constraints=22192
831.05/831.35	c nbDecision=283000 #constraints=22195
833.15/833.43	c nbDecision=283500 #constraints=22201
837.55/837.85	c nbDecision=284000 #constraints=22214
840.15/840.44	c nbDecision=284500 #constraints=22222
842.55/842.87	c nbDecision=285000 #constraints=22229
844.15/844.43	c nbDecision=285500 #constraints=22233
846.85/847.16	c nbDecision=286000 #constraints=22240
848.85/849.11	c nbDecision=286500 #constraints=22245
850.74/851.08	c nbDecision=287000 #constraints=22250
851.94/852.24	c nbDecision=287500 #constraints=22253
853.54/853.80	c nbDecision=288000 #constraints=22257
856.55/856.85	c nbDecision=288500 #constraints=22267
859.34/859.62	c nbDecision=289000 #constraints=22277
861.14/861.43	c nbDecision=289500 #constraints=22282
862.94/863.22	c nbDecision=290000 #constraints=22287
864.74/865.01	c nbDecision=290500 #constraints=22292
865.54/865.81	c nbDecision=291000 #constraints=22296
865.54/865.89	c nbDecision=291500 #constraints=22298
865.64/865.99	c nbDecision=292000 #constraints=22300
865.74/866.03	c nbDecision=292500 #constraints=22301
865.84/866.14	c nbDecision=293000 #constraints=22303
865.94/866.21	c nbDecision=293500 #constraints=22305
867.04/867.35	c nbDecision=294000 #constraints=22308
867.44/867.76	c nbDecision=294500 #constraints=22309
868.54/868.89	c nbDecision=295000 #constraints=22312
869.74/870.02	c nbDecision=295500 #constraints=22315
870.43/870.75	c nbDecision=296000 #constraints=22317
874.43/874.73	c nbDecision=296500 #constraints=22328
875.13/875.46	c nbDecision=297000 #constraints=22330
876.23/876.55	c nbDecision=297500 #constraints=22333
876.93/877.28	c nbDecision=298000 #constraints=22335
877.73/878.01	c nbDecision=298500 #constraints=22337
878.43/878.77	c nbDecision=299000 #constraints=22339
878.83/879.14	c nbDecision=299500 #constraints=22340
879.53/879.90	c nbDecision=300000 #constraints=22342
879.64/879.92	c nbDecision=300500 #constraints=22342
880.03/880.32	c nbDecision=301000 #constraints=22343
885.23/885.54	c nbDecision=301500 #constraints=22360
890.23/890.55	c nbDecision=302000 #constraints=22377
896.84/897.12	c nbDecision=302500 #constraints=22401
901.64/901.99	c nbDecision=303000 #constraints=22416
904.83/905.11	c nbDecision=303500 #constraints=22424
909.44/909.78	c nbDecision=304000 #constraints=22437
914.13/914.41	c nbDecision=304500 #constraints=22451
919.33/919.66	c nbDecision=305000 #constraints=22465
922.42/922.78	c nbDecision=305500 #constraints=22473
927.42/927.78	c nbDecision=306000 #constraints=22488
932.82/933.13	c nbDecision=306500 #constraints=22504
936.92/937.29	c nbDecision=307000 #constraints=22515
940.42/940.78	c nbDecision=307500 #constraints=22524
943.92/944.23	c nbDecision=308000 #constraints=22535
948.71/949.07	c nbDecision=308500 #constraints=22552
953.61/953.91	c nbDecision=309000 #constraints=22567
962.42/962.79	c nbDecision=309500 #constraints=22601
966.92/967.27	c nbDecision=310000 #constraints=22614
970.82/971.15	c nbDecision=310500 #constraints=22625
975.01/975.31	c nbDecision=311000 #constraints=22637
978.72/979.01	c nbDecision=311500 #constraints=22650
982.31/982.63	c nbDecision=312000 #constraints=22661
985.41/985.77	c nbDecision=312500 #constraints=22670
988.91/989.26	c nbDecision=313000 #constraints=22680
992.81/993.11	c nbDecision=313500 #constraints=22691
996.21/996.57	c nbDecision=314000 #constraints=22701
998.60/998.99	c nbDecision=314500 #constraints=22708
1001.50/1001.89	c nbDecision=315000 #constraints=22716
1006.90/1007.26	c nbDecision=315500 #constraints=22731
1011.80/1012.13	c nbDecision=316000 #constraints=22746
1017.20/1017.51	c nbDecision=316500 #constraints=22761
1020.59/1020.98	c nbDecision=317000 #constraints=22770
1023.29/1023.67	c nbDecision=317500 #constraints=22777
1026.39/1026.74	c nbDecision=318000 #constraints=22785
1030.69/1031.00	c nbDecision=318500 #constraints=22796
1033.79/1034.13	c nbDecision=319000 #constraints=22804
1036.49/1036.84	c nbDecision=319500 #constraints=22811
1038.79/1039.19	c nbDecision=320000 #constraints=22817
1041.09/1041.43	c nbDecision=320500 #constraints=22823
1043.39/1043.79	c nbDecision=321000 #constraints=22829
1046.09/1046.44	c nbDecision=321500 #constraints=22836
1048.49/1048.80	c nbDecision=322000 #constraints=22842
1050.69/1051.05	c nbDecision=322500 #constraints=22848
1053.88/1054.20	c nbDecision=323000 #constraints=22857
1056.58/1056.97	c nbDecision=323500 #constraints=22865
1058.78/1059.10	c nbDecision=324000 #constraints=22871
1063.88/1064.23	c nbDecision=324500 #constraints=22887
1067.98/1068.37	c nbDecision=325000 #constraints=22899
1073.88/1074.20	c nbDecision=325500 #constraints=22916
1078.48/1078.80	c nbDecision=326000 #constraints=22928
1082.29/1082.64	c nbDecision=326500 #constraints=22938
1083.88/1084.20	c nbDecision=327000 #constraints=22942
1087.68/1088.02	c nbDecision=327500 #constraints=22952
1091.99/1092.32	c nbDecision=328000 #constraints=22963
1095.08/1095.43	c nbDecision=328500 #constraints=22971
1098.08/1098.45	c nbDecision=329000 #constraints=22979
1099.28/1099.62	c nbDecision=329500 #constraints=22982
1102.38/1102.71	c nbDecision=330000 #constraints=22990
1104.28/1104.67	c nbDecision=330500 #constraints=22995
1106.18/1106.57	c nbDecision=331000 #constraints=23000
1108.58/1108.93	c nbDecision=331500 #constraints=23006
1109.68/1110.10	c nbDecision=332000 #constraints=23009
1112.37/1112.73	c nbDecision=332500 #constraints=23016
1114.27/1114.68	c nbDecision=333000 #constraints=23021
1115.77/1116.18	c nbDecision=333500 #constraints=23025
1118.28/1118.64	c nbDecision=334000 #constraints=23032
1118.97/1119.35	c nbDecision=334500 #constraints=23034
1121.77/1122.13	c nbDecision=335000 #constraints=23042
1123.47/1123.89	c nbDecision=335500 #constraints=23047
1125.97/1126.34	c nbDecision=336000 #constraints=23054
1127.97/1128.39	c nbDecision=336500 #constraints=23060
1132.67/1133.09	c nbDecision=337000 #constraints=23073
1133.57/1133.92	c nbDecision=337500 #constraints=23076
1136.76/1137.14	c nbDecision=338000 #constraints=23085
1142.86/1143.21	c nbDecision=338500 #constraints=23104
1148.46/1148.87	c nbDecision=339000 #constraints=23120
1152.16/1152.51	c nbDecision=339500 #constraints=23130
1155.06/1155.41	c nbDecision=340000 #constraints=23138
1158.26/1158.61	c nbDecision=340500 #constraints=23147
1163.46/1163.88	c nbDecision=341000 #constraints=23165
1166.66/1167.04	c nbDecision=341500 #constraints=23174
1169.76/1170.20	c nbDecision=342000 #constraints=23183
1172.66/1173.02	c nbDecision=342500 #constraints=23191
1175.46/1175.84	c nbDecision=343000 #constraints=23199
1178.25/1178.66	c nbDecision=343500 #constraints=23207
1180.05/1180.49	c nbDecision=344000 #constraints=23212
1184.15/1184.54	c nbDecision=344500 #constraints=23223
1188.66/1189.04	c nbDecision=345000 #constraints=23235
1193.35/1193.70	c nbDecision=345500 #constraints=23247
1196.45/1196.82	c nbDecision=346000 #constraints=23255
1199.15/1199.50	c nbDecision=346500 #constraints=23262
1202.55/1202.96	c nbDecision=347000 #constraints=23271
1205.25/1205.68	c nbDecision=347500 #constraints=23278
1208.04/1208.40	c nbDecision=348000 #constraints=23285
1210.35/1210.74	c nbDecision=348500 #constraints=23291
1212.64/1213.04	c nbDecision=349000 #constraints=23297
1214.94/1215.35	c nbDecision=349500 #constraints=23303
1216.84/1217.26	c nbDecision=350000 #constraints=23308
1219.44/1219.84	c nbDecision=350500 #constraints=23315
1221.84/1222.29	c nbDecision=351000 #constraints=23322
1223.74/1224.13	c nbDecision=351500 #constraints=23327
1224.83/1225.25	c nbDecision=352000 #constraints=23330
1229.83/1230.29	c nbDecision=352500 #constraints=23344
1234.53/1234.94	c nbDecision=353000 #constraints=23358
1239.63/1240.02	c nbDecision=353500 #constraints=23372
1243.13/1243.52	c nbDecision=354000 #constraints=23381
1245.83/1246.23	c nbDecision=354500 #constraints=23388
1248.93/1249.31	c nbDecision=355000 #constraints=23396
1253.53/1253.98	c nbDecision=355500 #constraints=23408
1257.82/1258.21	c nbDecision=356000 #constraints=23419
1260.14/1260.56	c nbDecision=356500 #constraints=23425
1263.33/1263.70	c nbDecision=357000 #constraints=23433
1265.93/1266.36	c nbDecision=357500 #constraints=23440
1267.93/1268.33	c nbDecision=358000 #constraints=23445
1269.83/1270.24	c nbDecision=358500 #constraints=23450
1272.13/1272.59	c nbDecision=359000 #constraints=23456
1273.33/1273.76	c nbDecision=359500 #constraints=23459
1275.93/1276.39	c nbDecision=360000 #constraints=23466
1277.93/1278.35	c nbDecision=360500 #constraints=23471
1279.43/1279.85	c nbDecision=361000 #constraints=23475
1280.83/1281.29	c nbDecision=361500 #constraints=23479
1282.02/1282.45	c nbDecision=362000 #constraints=23482
1284.52/1284.90	c nbDecision=362500 #constraints=23489
1285.92/1286.32	c nbDecision=363000 #constraints=23493
1290.93/1291.38	c nbDecision=363500 #constraints=23507
1293.02/1293.47	c nbDecision=364000 #constraints=23513
1296.72/1297.15	c nbDecision=364500 #constraints=23523
1298.42/1298.89	c nbDecision=365000 #constraints=23528
1301.72/1302.19	c nbDecision=365500 #constraints=23537
1304.32/1304.72	c nbDecision=366000 #constraints=23544
1306.42/1306.88	c nbDecision=366500 #constraints=23550
1308.92/1309.39	c nbDecision=367000 #constraints=23557
1311.11/1311.54	c nbDecision=367500 #constraints=23563
1314.41/1314.84	c nbDecision=368000 #constraints=23572
1318.11/1318.51	c nbDecision=368500 #constraints=23582
1320.91/1321.31	c nbDecision=369000 #constraints=23590
1324.21/1324.64	c nbDecision=369500 #constraints=23599
1326.71/1327.17	c nbDecision=370000 #constraints=23606
1328.91/1329.31	c nbDecision=370500 #constraints=23612
1330.61/1331.10	c nbDecision=371000 #constraints=23617
1332.81/1333.21	c nbDecision=371500 #constraints=23623
1334.20/1334.61	c nbDecision=372000 #constraints=23627
1335.90/1336.39	c nbDecision=372500 #constraints=23632
1338.10/1338.53	c nbDecision=373000 #constraints=23638
1340.30/1340.72	c nbDecision=373500 #constraints=23644
1344.70/1345.17	c nbDecision=374000 #constraints=23656
1347.60/1348.03	c nbDecision=374500 #constraints=23664
1350.50/1350.95	c nbDecision=375000 #constraints=23672
1353.10/1353.52	c nbDecision=375500 #constraints=23679
1354.80/1355.27	c nbDecision=376000 #constraints=23684
1356.60/1357.04	c nbDecision=376500 #constraints=23689
1358.40/1358.81	c nbDecision=377000 #constraints=23694
1359.80/1360.22	c nbDecision=377500 #constraints=23698
1361.60/1362.01	c nbDecision=378000 #constraints=23703
1362.60/1363.08	c nbDecision=378500 #constraints=23706
1364.40/1364.87	c nbDecision=379000 #constraints=23711
1365.50/1365.95	c nbDecision=379500 #constraints=23714
1366.60/1367.02	c nbDecision=380000 #constraints=23717
1368.01/1368.47	c nbDecision=380500 #constraints=23721
1369.50/1369.91	c nbDecision=381000 #constraints=23725
1371.60/1372.06	c nbDecision=381500 #constraints=23731
1373.20/1373.65	c nbDecision=382000 #constraints=23739
1373.30/1373.76	c nbDecision=382500 #constraints=23742
1373.40/1373.89	c nbDecision=383000 #constraints=23745
1374.20/1374.64	c nbDecision=383500 #constraints=23747
1374.90/1375.39	c nbDecision=384000 #constraints=23749
1375.10/1375.56	c nbDecision=384500 #constraints=23752
1376.30/1376.74	c nbDecision=385000 #constraints=23755
1380.59/1381.02	c nbDecision=385500 #constraints=23768
1384.19/1384.62	c nbDecision=386000 #constraints=23778
1386.09/1386.50	c nbDecision=386500 #constraints=23785
1388.59/1389.01	c nbDecision=387000 #constraints=23794
1391.99/1392.45	c nbDecision=387500 #constraints=23804
1394.29/1394.73	c nbDecision=388000 #constraints=23811
1396.49/1396.97	c nbDecision=388500 #constraints=23817
1399.39/1399.86	c nbDecision=389000 #constraints=23825
1402.39/1402.85	c nbDecision=389500 #constraints=23833
1404.59/1405.09	c nbDecision=390000 #constraints=23839
1407.98/1408.42	c nbDecision=390500 #constraints=23848
1410.89/1411.36	c nbDecision=391000 #constraints=23856
1413.18/1413.61	c nbDecision=391500 #constraints=23862
1414.98/1415.46	c nbDecision=392000 #constraints=23867
1418.58/1419.08	c nbDecision=392500 #constraints=23877
1421.28/1421.70	c nbDecision=393000 #constraints=23884
1423.08/1423.58	c nbDecision=393500 #constraints=23889
1424.28/1424.71	c nbDecision=394000 #constraints=23892
1428.38/1428.80	c nbDecision=394500 #constraints=23904
1431.98/1432.40	c nbDecision=395000 #constraints=23914
1433.78/1434.26	c nbDecision=395500 #constraints=23921
1436.87/1437.34	c nbDecision=396000 #constraints=23931
1439.57/1440.02	c nbDecision=396500 #constraints=23939
1442.58/1443.01	c nbDecision=397000 #constraints=23947
1444.38/1444.89	c nbDecision=397500 #constraints=23952
1447.38/1447.82	c nbDecision=398000 #constraints=23960
1450.38/1450.81	c nbDecision=398500 #constraints=23968
1452.58/1453.05	c nbDecision=399000 #constraints=23974
1455.47/1455.94	c nbDecision=399500 #constraints=23982
1459.18/1459.64	c nbDecision=400000 #constraints=23992
1461.07/1461.50	c nbDecision=400500 #constraints=23997
1463.68/1464.13	c nbDecision=401000 #constraints=24004
1465.87/1466.32	c nbDecision=401500 #constraints=24010
1468.87/1469.30	c nbDecision=402000 #constraints=24018
1471.07/1471.53	c nbDecision=402500 #constraints=24024
1473.67/1474.11	c nbDecision=403000 #constraints=24031
1476.17/1476.67	c nbDecision=403500 #constraints=24038
1478.07/1478.55	c nbDecision=404000 #constraints=24043
1479.87/1480.39	c nbDecision=404500 #constraints=24048
1482.87/1483.37	c nbDecision=405000 #constraints=24056
1486.96/1487.43	c nbDecision=405500 #constraints=24067
1489.36/1489.88	c nbDecision=406000 #constraints=24074
1493.66/1494.10	c nbDecision=406500 #constraints=24087
1497.06/1497.54	c nbDecision=407000 #constraints=24097
1500.06/1500.54	c nbDecision=407500 #constraints=24105
1502.26/1502.78	c nbDecision=408000 #constraints=24111
1505.96/1506.44	c nbDecision=408500 #constraints=24121
1508.55/1509.03	c nbDecision=409000 #constraints=24128
1511.15/1511.66	c nbDecision=409500 #constraints=24135
1511.85/1512.38	c restart after 409601 decisions
1513.85/1514.36	c nbDecision=410000 #constraints=24137
1513.85/1514.38	c nbDecision=410500 #constraints=24137
1513.95/1514.40	c nbDecision=411000 #constraints=24137
1514.65/1515.17	c nbDecision=411500 #constraints=24139
1516.55/1517.03	c nbDecision=412000 #constraints=24144
1519.16/1519.69	c nbDecision=412500 #constraints=24152
1521.46/1521.93	c nbDecision=413000 #constraints=24158
1524.76/1525.29	c nbDecision=413500 #constraints=24167
1526.66/1527.17	c nbDecision=414000 #constraints=24172
1528.16/1528.67	c nbDecision=414500 #constraints=24176
1529.66/1530.18	c nbDecision=415000 #constraints=24180
1532.16/1532.69	c nbDecision=415500 #constraints=24187
1535.85/1536.39	c nbDecision=416000 #constraints=24197
1537.75/1538.24	c nbDecision=416500 #constraints=24202
1539.25/1539.73	c nbDecision=417000 #constraints=24206
1540.75/1541.23	c nbDecision=417500 #constraints=24210
1543.96/1544.50	c nbDecision=418000 #constraints=24219
1546.25/1546.76	c nbDecision=418500 #constraints=24225
1548.15/1548.63	c nbDecision=419000 #constraints=24230
1548.55/1549.07	c nbDecision=419500 #constraints=24232
1549.36/1549.84	c nbDecision=420000 #constraints=24234
1552.25/1552.74	c nbDecision=420500 #constraints=24242
1555.25/1555.72	c nbDecision=421000 #constraints=24250
1558.15/1558.68	c nbDecision=421500 #constraints=24258
1558.95/1559.45	c nbDecision=422000 #constraints=24260
1562.65/1563.11	c nbDecision=422500 #constraints=24270
1565.95/1566.49	c nbDecision=423000 #constraints=24279
1569.65/1570.15	c nbDecision=423500 #constraints=24290
1571.84/1572.36	c nbDecision=424000 #constraints=24297
1572.34/1572.80	c nbDecision=424500 #constraints=24300
1573.14/1573.67	c nbDecision=425000 #constraints=24306
1574.64/1575.13	c nbDecision=425500 #constraints=24310
1575.74/1576.23	c nbDecision=426000 #constraints=24313
1576.84/1577.33	c nbDecision=426500 #constraints=24316
1577.54/1578.07	c nbDecision=427000 #constraints=24318
1578.74/1579.23	c nbDecision=427500 #constraints=24322
1579.94/1580.41	c nbDecision=428000 #constraints=24325
1581.04/1581.60	c nbDecision=428500 #constraints=24328
1581.84/1582.39	c nbDecision=429000 #constraints=24330
1583.04/1583.59	c nbDecision=429500 #constraints=24333
1583.44/1583.99	c nbDecision=430000 #constraints=24334
1585.14/1585.61	c nbDecision=430500 #constraints=24338
1586.84/1587.34	c nbDecision=431000 #constraints=24343
1587.84/1588.38	c nbDecision=431500 #constraints=24346
1588.94/1589.42	c nbDecision=432000 #constraints=24349
1589.64/1590.14	c nbDecision=432500 #constraints=24351
1590.73/1591.23	c nbDecision=433000 #constraints=24355
1590.83/1591.35	c nbDecision=433500 #constraints=24358
1590.93/1591.49	c nbDecision=434000 #constraints=24362
1591.03/1591.57	c nbDecision=434500 #constraints=24364
1591.43/1591.99	c nbDecision=435000 #constraints=24366
1591.63/1592.12	c nbDecision=435500 #constraints=24369
1592.73/1593.23	c nbDecision=436000 #constraints=24372
1593.13/1593.61	c nbDecision=436500 #constraints=24373
1593.83/1594.36	c nbDecision=437000 #constraints=24375
1594.63/1595.10	c nbDecision=437500 #constraints=24377
1595.33/1595.87	c nbDecision=438000 #constraints=24379
1596.43/1596.98	c nbDecision=438500 #constraints=24382
1598.23/1598.79	c nbDecision=439000 #constraints=24387
1599.73/1600.30	c nbDecision=439500 #constraints=24391
1600.53/1601.07	c nbDecision=440000 #constraints=24394
1601.43/1601.95	c nbDecision=440500 #constraints=24398
1601.43/1601.98	c nbDecision=441000 #constraints=24398
1601.53/1602.00	c nbDecision=441500 #constraints=24398
1602.13/1602.65	c nbDecision=442000 #constraints=24400
1606.53/1607.02	c nbDecision=442500 #constraints=24413
1612.32/1612.86	c nbDecision=443000 #constraints=24428
1616.62/1617.20	c nbDecision=443500 #constraints=24439
1618.73/1619.22	c nbDecision=444000 #constraints=24444
1624.22/1624.78	c nbDecision=444500 #constraints=24459
1630.62/1631.12	c nbDecision=445000 #constraints=24475
1633.32/1633.89	c nbDecision=445500 #constraints=24482
1635.02/1635.52	c nbDecision=446000 #constraints=24486
1640.52/1641.04	c nbDecision=446500 #constraints=24501
1646.82/1647.39	c nbDecision=447000 #constraints=24517
1649.62/1650.18	c nbDecision=447500 #constraints=24524
1651.32/1651.80	c nbDecision=448000 #constraints=24528
1657.02/1657.60	c nbDecision=448500 #constraints=24545
1662.22/1662.75	c nbDecision=449000 #constraints=24558
1666.62/1667.16	c nbDecision=449500 #constraints=24569
1669.81/1670.35	c nbDecision=450000 #constraints=24577
1672.21/1672.73	c nbDecision=450500 #constraints=24583
1674.91/1675.49	c nbDecision=451000 #constraints=24590
1677.31/1677.86	c nbDecision=451500 #constraints=24596
1679.31/1679.83	c nbDecision=452000 #constraints=24601
1681.31/1681.85	c nbDecision=452500 #constraints=24606
1686.11/1686.69	c nbDecision=453000 #constraints=24619
1691.31/1691.82	c nbDecision=453500 #constraints=24632
1696.00/1696.55	c nbDecision=454000 #constraints=24644
1699.20/1699.72	c nbDecision=454500 #constraints=24652
1703.20/1703.71	c nbDecision=455000 #constraints=24662
1705.60/1706.11	c nbDecision=455500 #constraints=24668
1707.60/1708.11	c nbDecision=456000 #constraints=24673
1710.00/1710.51	c nbDecision=456500 #constraints=24679
1712.30/1712.89	c nbDecision=457000 #constraints=24685
1714.70/1715.26	c nbDecision=457500 #constraints=24691
1715.90/1716.45	c nbDecision=458000 #constraints=24694
1717.89/1718.45	c nbDecision=458500 #constraints=24699
1721.49/1722.06	c nbDecision=459000 #constraints=24710
1726.09/1726.65	c nbDecision=459500 #constraints=24723
1732.89/1733.42	c nbDecision=460000 #constraints=24742
1737.30/1737.80	c nbDecision=460500 #constraints=24754
1741.10/1741.69	c nbDecision=461000 #constraints=24764
1744.59/1745.20	c nbDecision=461500 #constraints=24773
1748.50/1749.08	c nbDecision=462000 #constraints=24783
1752.49/1753.05	c nbDecision=462500 #constraints=24793
1755.99/1756.59	c nbDecision=463000 #constraints=24802
1757.99/1758.55	c nbDecision=463500 #constraints=24807
1760.39/1760.93	c nbDecision=464000 #constraints=24813
1763.09/1763.63	c nbDecision=464500 #constraints=24820
1765.79/1766.37	c nbDecision=465000 #constraints=24827
1767.29/1767.89	c nbDecision=465500 #constraints=24831
1769.29/1769.87	c nbDecision=466000 #constraints=24836
1771.29/1771.85	c nbDecision=466500 #constraints=24841
1773.99/1774.52	c nbDecision=467000 #constraints=24848
1775.18/1775.74	c nbDecision=467500 #constraints=24851
1777.48/1778.00	c nbDecision=468000 #constraints=24857
1779.38/1779.97	c nbDecision=468500 #constraints=24862
1780.58/1781.16	c nbDecision=469000 #constraints=24865
1782.49/1783.07	c nbDecision=469500 #constraints=24870
1784.48/1785.06	c nbDecision=470000 #constraints=24875
1785.98/1786.58	c nbDecision=470500 #constraints=24879
1787.98/1788.52	c nbDecision=471000 #constraints=24884
1791.48/1792.01	c nbDecision=471500 #constraints=24893
1793.48/1794.02	c nbDecision=472000 #constraints=24898
1798.98/1799.59	c nbDecision=472500 #constraints=24915
1800.08/1800.61	Received signal 15
1800.08/1800.71	
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	
1800.08/1800.71	c user time= 1799.82 s
1800.08/1800.71	c system time= 0.377942 s
1800.08/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-357256-1176992528 -o ROOT/results/node2/solver-357256-1176992528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.opb mod 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 29508
/proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=1468 CPUtime=0
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 175290853 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 367 157 131 317 0 46 0

[startup+0.043111 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 29508
/proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=1864 CPUtime=0.04
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 278 0 0 0 4 0 0 0 18 0 1 0 175290853 1908736 260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 466 260 131 317 0 145 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1864

[startup+0.101117 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 29508
/proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=2524 CPUtime=0.09
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 435 0 0 0 9 0 0 0 18 0 1 0 175290853 2584576 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 631 417 131 317 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2524

[startup+0.301138 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 29508
/proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=4636 CPUtime=0.29
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 975 0 0 0 29 0 0 0 19 0 1 0 175290853 4747264 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 1159 957 131 317 0 838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4636

[startup+0.701181 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 29508
/proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=8992 CPUtime=0.68
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 2057 0 0 0 68 0 0 0 22 0 1 0 175290853 9207808 2039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 2248 2039 131 317 0 1927 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8992

[startup+1.50126 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1480304/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=17572 CPUtime=1.49
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 4218 0 0 0 147 2 0 0 25 0 1 0 175290853 17993728 4200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 4393 4200 131 317 0 4072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17572

[startup+3.10143 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1468208/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=35012 CPUtime=3.09
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 8563 0 0 0 305 4 0 0 25 0 1 0 175290853 35852288 8545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 8753 8546 131 317 0 8432 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35012

[startup+6.30176 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1433264/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=69068 CPUtime=6.29
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 17079 0 0 0 619 10 0 0 25 0 1 0 175290853 70725632 17061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134598995 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 17267 17061 131 317 0 16946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69068

[startup+12.7024 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1386864/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=115580 CPUtime=12.69
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27547 0 0 0 1254 15 0 0 25 0 1 0 175290853 118353920 27529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 28895 27529 137 317 0 28574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115580

[startup+25.5018 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1380592/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=116816 CPUtime=25.48
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27937 0 0 0 2533 15 0 0 25 0 1 0 175290853 119619584 27787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29204 27787 139 317 0 28883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116816

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1380720/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=116816 CPUtime=51.08
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27970 0 0 0 5092 16 0 0 25 0 1 0 175290853 119619584 27820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29204 27820 170 317 0 28883 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116816

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1380528/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=117208 CPUtime=102.26
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28084 0 0 0 10210 16 0 0 25 0 1 0 175290853 120020992 27934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29302 27934 170 317 0 28981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 117208

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1379504/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=117996 CPUtime=162.24
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28320 0 0 0 16207 17 0 0 25 0 1 0 175290853 120827904 28170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272948 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29499 28170 170 317 0 29178 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117996

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1378608/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=118912 CPUtime=222.23
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28542 0 0 0 22205 18 0 0 25 0 1 0 175290853 121765888 28392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29728 28392 170 317 0 29407 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 118912

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1377648/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=119896 CPUtime=282.21
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28776 0 0 0 28202 19 0 0 25 0 1 0 175290853 122773504 28626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 29974 28626 170 317 0 29653 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 119896

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1376816/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=120672 CPUtime=342.19
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28970 0 0 0 34199 20 0 0 25 0 1 0 175290853 123568128 28820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 30168 28820 170 317 0 29847 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 120672

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 29509
/proc/meminfo: memFree=1376048/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=121452 CPUtime=402.18
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29170 0 0 0 40197 21 0 0 25 0 1 0 175290853 124366848 29020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 30363 29020 170 317 0 30042 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 121452

[startup+462.301 s]
/proc/loadavg: 1.12 1.02 0.97 2/78 29509
/proc/meminfo: memFree=1375152/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=123780 CPUtime=462.16
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29663 0 0 0 46194 22 0 0 25 0 1 0 175290853 126750720 29249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 30945 29249 170 317 0 30624 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 123780

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 0.97 2/78 29509
/proc/meminfo: memFree=1374192/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=124700 CPUtime=522.14
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29917 0 0 0 52192 22 0 0 25 0 1 0 175290853 127692800 29503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 31175 29503 170 317 0 30854 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 124700

[startup+582.302 s]
/proc/loadavg: 1.01 1.01 0.97 2/78 29509
/proc/meminfo: memFree=1373232/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=126512 CPUtime=582.12
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 30285 0 0 0 58189 23 0 0 25 0 1 0 175290853 129548288 29739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 31628 29739 170 317 0 31307 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 126512

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1372272/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=127936 CPUtime=642.11
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 30587 0 0 0 64187 24 0 0 25 0 1 0 175290853 131006464 29975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 31984 29975 170 317 0 31663 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 127936


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1368624/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=131828 CPUtime=882.03
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31560 0 0 0 88176 27 0 0 25 0 1 0 175290853 134991872 30882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 32957 30882 170 317 0 32636 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 131828

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1368112/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=132224 CPUtime=942.02
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31682 0 0 0 94174 28 0 0 25 0 1 0 175290853 135397376 31004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33056 31004 170 317 0 32735 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 132224

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1367344/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=132876 CPUtime=1002
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31882 0 0 0 100171 29 0 0 25 0 1 0 175290853 136065024 31204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33219 31204 170 317 0 32898 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 132876

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1366576/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=133660 CPUtime=1061.98
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32061 0 0 0 106169 29 0 0 25 0 1 0 175290853 136867840 31383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33415 31383 170 317 0 33094 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 133660

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1365936/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=134320 CPUtime=1121.97
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32224 0 0 0 112167 30 0 0 25 0 1 0 175290853 137543680 31546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33580 31546 170 317 0 33259 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 134320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1365232/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=134968 CPUtime=1181.95
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32403 0 0 0 118164 31 0 0 25 0 1 0 175290853 138207232 31725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33742 31725 170 317 0 33421 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 134968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1364464/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=135496 CPUtime=1241.93
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32582 0 0 0 124162 31 0 0 25 0 1 0 175290853 138747904 31904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604483 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 33874 31904 170 317 0 33553 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 135496

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1363760/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=136152 CPUtime=1301.92
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32750 0 0 0 130160 32 0 0 25 0 1 0 175290853 139419648 32072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 34038 32072 170 317 0 33717 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 136152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 29511
/proc/meminfo: memFree=1362992/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=136804 CPUtime=1361.9
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32923 0 0 0 136157 33 0 0 25 0 1 0 175290853 140087296 32245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 34201 32245 170 317 0 33880 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 136804

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1362096/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=137580 CPUtime=1421.88
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33142 0 0 0 142155 33 0 0 25 0 1 0 175290853 140881920 32464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 34395 32464 170 317 0 34074 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 137580

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1361456/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=138228 CPUtime=1481.87
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33314 0 0 0 148153 34 0 0 25 0 1 0 175290853 141545472 32636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 34557 32636 170 317 0 34236 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 138228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1360944/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=138744 CPUtime=1541.85
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33469 0 0 0 154150 35 0 0 25 0 1 0 175290853 142073856 32791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 34686 32791 170 317 0 34365 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 138744

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1359728/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=140304 CPUtime=1601.83
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33785 0 0 0 160148 35 0 0 25 0 1 0 175290853 143671296 33107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35076 33107 170 317 0 34755 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 140304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1359088/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=140828 CPUtime=1661.82
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33942 0 0 0 166146 36 0 0 25 0 1 0 175290853 144207872 33264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35207 33264 170 317 0 34886 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 140828

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1358448/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=141476 CPUtime=1721.79
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34094 0 0 0 172143 36 0 0 25 0 1 0 175290853 144871424 33416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35369 33416 170 317 0 35048 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 141476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1357744/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=141992 CPUtime=1781.78
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34263 0 0 0 178141 37 0 0 25 0 1 0 175290853 145399808 33585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35498 33585 170 317 0 35177 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 141992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1357424/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=142252 CPUtime=1800.08
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34325 0 0 0 179971 37 0 0 25 0 1 0 175290853 145666048 33647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35563 33647 170 317 0 35242 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 142252

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 29511
/proc/meminfo: memFree=1357424/2055920 swapFree=4149056/4192956
[pid=29508] ppid=29506 vsize=142252 CPUtime=1800.18
/proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34341 0 0 0 179981 37 0 0 25 0 1 0 175290853 145666048 33663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29508/statm: 35563 33663 186 317 0 35242 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 142252

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.22
CPU user time (s): 1799.82
CPU system time (s): 0.399939
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 142252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34341
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= 8
involuntary context switches= 3499

runsolver used 2.10368 second user time and 4.48832 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Thu Apr 19 14:22:11 UTC 2007

IDJOB= 357256
IDBENCH= 2318
IDSOLVER= 172
FILE ID= node2/357256-1176992528

PBS_JOBID= 4630458

Free space on /tmp= 66366 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb
COMMAND LINE= oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-357256-1176992528 -o ROOT/results/node2/solver-357256-1176992528 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1218478b67ec647ce24db44195ab22fa

RANDOM SEED= 526062576

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1491664 kB
Buffers:         38372 kB
Cached:         442172 kB
SwapCached:      12252 kB
Active:         350256 kB
Inactive:       153468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1491664 kB
SwapTotal:     4192956 kB
SwapFree:      4149056 kB
Dirty:           36360 kB
Writeback:           0 kB
Mapped:          30228 kB
Slab:            45976 kB
Committed_AS:  7198728 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66366 MiB

End job on node2 on Thu Apr 19 14:52:14 UTC 2007