Trace number 357034

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.11 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
MD5SUM11ee19baa608345f86d8483767b8a181
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 244
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 711535
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 711535
Number of bits of the biggest sum of numbers20
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...
2.89/2.94	c ...done
2.89/2.94	c #vars=309773 #constraints=10348 hasObjective=yes
4.78/4.80	c res. mode=mod
4.78/4.80	c VSIDS like heuristics
4.78/4.80	c complete search running
11.68/11.78	c restart after 401 decisions
16.38/16.50	c nbDecision=500 #constraints=10348
17.78/17.84	c restart after 801 decisions
23.08/23.18	c nbDecision=1000 #constraints=10348
25.38/25.42	c nbDecision=1500 #constraints=10348
25.78/25.88	c restart after 1601 decisions
31.88/31.93	c nbDecision=2000 #constraints=10348
34.07/34.15	c nbDecision=2500 #constraints=10348
36.27/36.37	c nbDecision=3000 #constraints=10348
37.17/37.26	c restart after 3201 decisions
42.87/42.91	c nbDecision=3500 #constraints=10348
45.07/45.15	c nbDecision=4000 #constraints=10348
47.26/47.39	c nbDecision=4500 #constraints=10348
49.56/49.60	c nbDecision=5000 #constraints=10348
51.76/51.82	c nbDecision=5500 #constraints=10348
53.96/54.04	c nbDecision=6000 #constraints=10348
55.76/55.81	c restart after 6401 decisions
60.46/60.54	c nbDecision=6500 #constraints=10348
62.66/62.78	c nbDecision=7000 #constraints=10348
64.95/65.02	c nbDecision=7500 #constraints=10348
67.15/67.26	c nbDecision=8000 #constraints=10348
69.35/69.49	c nbDecision=8500 #constraints=10348
71.65/71.71	c nbDecision=9000 #constraints=10348
73.85/73.92	c nbDecision=9500 #constraints=10348
76.05/76.13	c nbDecision=10000 #constraints=10348
78.25/78.34	c nbDecision=10500 #constraints=10348
80.45/80.52	c nbDecision=11000 #constraints=10348
82.65/82.75	c nbDecision=11500 #constraints=10348
84.85/84.98	c nbDecision=12000 #constraints=10348
87.14/87.20	c nbDecision=12500 #constraints=10348
88.44/88.54	c restart after 12801 decisions
93.64/93.71	c nbDecision=13000 #constraints=10348
95.84/95.92	c nbDecision=13500 #constraints=10348
98.04/98.14	c nbDecision=14000 #constraints=10348
100.24/100.35	c nbDecision=14500 #constraints=10348
102.44/102.58	c nbDecision=15000 #constraints=10348
104.74/104.82	c nbDecision=15500 #constraints=10348
106.94/107.05	c nbDecision=16000 #constraints=10348
109.14/109.28	c nbDecision=16500 #constraints=10348
111.44/111.50	c nbDecision=17000 #constraints=10348
113.63/113.71	c nbDecision=17500 #constraints=10348
115.83/115.91	c nbDecision=18000 #constraints=10348
118.03/118.12	c nbDecision=18500 #constraints=10348
120.23/120.31	c nbDecision=19000 #constraints=10348
122.43/122.52	c nbDecision=19500 #constraints=10348
124.63/124.74	c nbDecision=20000 #constraints=10348
126.83/126.96	c nbDecision=20500 #constraints=10348
129.03/129.18	c nbDecision=21000 #constraints=10348
131.23/131.39	c nbDecision=21500 #constraints=10348
133.43/133.57	c nbDecision=22000 #constraints=10348
135.63/135.76	c nbDecision=22500 #constraints=10348
137.83/137.95	c nbDecision=23000 #constraints=10348
140.02/140.14	c nbDecision=23500 #constraints=10348
142.22/142.34	c nbDecision=24000 #constraints=10348
144.42/144.55	c nbDecision=24500 #constraints=10348
146.62/146.76	c nbDecision=25000 #constraints=10348
148.82/148.96	c nbDecision=25500 #constraints=10348
149.32/149.41	c restart after 25601 decisions
155.32/155.48	c nbDecision=26000 #constraints=10348
157.52/157.69	c nbDecision=26500 #constraints=10348
159.82/159.91	c nbDecision=27000 #constraints=10348
162.02/162.14	c nbDecision=27500 #constraints=10348
164.22/164.38	c nbDecision=28000 #constraints=10348
166.52/166.61	c nbDecision=28500 #constraints=10348
168.72/168.84	c nbDecision=29000 #constraints=10348
170.91/171.07	c nbDecision=29500 #constraints=10348
173.11/173.27	c nbDecision=30000 #constraints=10348
175.31/175.48	c nbDecision=30500 #constraints=10348
177.51/177.69	c nbDecision=31000 #constraints=10348
179.71/179.89	c nbDecision=31500 #constraints=10348
182.01/182.11	c nbDecision=32000 #constraints=10348
184.21/184.33	c nbDecision=32500 #constraints=10348
186.41/186.55	c nbDecision=33000 #constraints=10348
188.61/188.77	c nbDecision=33500 #constraints=10348
190.81/190.98	c nbDecision=34000 #constraints=10348
193.01/193.17	c nbDecision=34500 #constraints=10348
195.21/195.35	c nbDecision=35000 #constraints=10348
197.41/197.52	c nbDecision=35500 #constraints=10348
199.60/199.70	c nbDecision=36000 #constraints=10348
201.80/201.91	c nbDecision=36500 #constraints=10348
204.00/204.11	c nbDecision=37000 #constraints=10348
206.20/206.31	c nbDecision=37500 #constraints=10348
208.40/208.50	c nbDecision=38000 #constraints=10348
210.60/210.70	c nbDecision=38500 #constraints=10348
212.70/212.88	c nbDecision=39000 #constraints=10348
214.90/215.06	c nbDecision=39500 #constraints=10348
217.10/217.24	c nbDecision=40000 #constraints=10348
219.30/219.42	c nbDecision=40500 #constraints=10348
221.50/221.61	c nbDecision=41000 #constraints=10348
223.70/223.82	c nbDecision=41500 #constraints=10348
225.89/226.01	c nbDecision=42000 #constraints=10348
228.09/228.21	c nbDecision=42500 #constraints=10348
230.29/230.40	c nbDecision=43000 #constraints=10348
232.39/232.57	c nbDecision=43500 #constraints=10348
234.59/234.74	c nbDecision=44000 #constraints=10348
236.79/236.91	c nbDecision=44500 #constraints=10348
238.89/239.08	c nbDecision=45000 #constraints=10348
241.09/241.25	c nbDecision=45500 #constraints=10349
243.29/243.45	c nbDecision=46000 #constraints=10349
245.49/245.62	c nbDecision=46500 #constraints=10349
247.59/247.78	c nbDecision=47000 #constraints=10349
249.79/249.96	c nbDecision=47500 #constraints=10349
251.99/252.10	c nbDecision=48000 #constraints=10349
254.49/254.61	c nbDecision=48500 #constraints=10349
256.88/257.00	c nbDecision=49000 #constraints=10349
263.58/263.74	c nbDecision=49500 #constraints=10352
265.78/265.95	c nbDecision=50000 #constraints=10352
267.98/268.19	c nbDecision=50500 #constraints=10352
270.28/270.43	c nbDecision=51000 #constraints=10352
271.18/271.32	c restart after 51201 decisions
276.78/276.92	c nbDecision=51500 #constraints=10352
278.98/279.14	c nbDecision=52000 #constraints=10352
281.18/281.37	c nbDecision=52500 #constraints=10352
283.47/283.60	c nbDecision=53000 #constraints=10352
285.67/285.84	c nbDecision=53500 #constraints=10352
287.87/288.07	c nbDecision=54000 #constraints=10352
290.18/290.30	c nbDecision=54500 #constraints=10352
292.38/292.51	c nbDecision=55000 #constraints=10352
294.57/294.72	c nbDecision=55500 #constraints=10352
296.77/296.93	c nbDecision=56000 #constraints=10352
298.97/299.13	c nbDecision=56500 #constraints=10352
301.17/301.34	c nbDecision=57000 #constraints=10352
303.37/303.57	c nbDecision=57500 #constraints=10352
305.57/305.79	c nbDecision=58000 #constraints=10352
307.87/308.01	c nbDecision=58500 #constraints=10352
310.07/310.23	c nbDecision=59000 #constraints=10352
312.27/312.42	c nbDecision=59500 #constraints=10352
314.47/314.62	c nbDecision=60000 #constraints=10352
316.67/316.82	c nbDecision=60500 #constraints=10352
318.77/319.00	c nbDecision=61000 #constraints=10352
320.97/321.20	c nbDecision=61500 #constraints=10352
323.26/323.41	c nbDecision=62000 #constraints=10352
325.46/325.62	c nbDecision=62500 #constraints=10352
327.66/327.82	c nbDecision=63000 #constraints=10352
329.86/330.03	c nbDecision=63500 #constraints=10352
332.06/332.22	c nbDecision=64000 #constraints=10352
334.26/334.40	c nbDecision=64500 #constraints=10352
336.36/336.58	c nbDecision=65000 #constraints=10352
338.56/338.76	c nbDecision=65500 #constraints=10352
340.76/340.95	c nbDecision=66000 #constraints=10352
342.96/343.14	c nbDecision=66500 #constraints=10352
345.16/345.34	c nbDecision=67000 #constraints=10352
347.36/347.52	c nbDecision=67500 #constraints=10352
349.45/349.69	c nbDecision=68000 #constraints=10352
351.65/351.87	c nbDecision=68500 #constraints=10352
353.85/354.02	c nbDecision=69000 #constraints=10352
355.95/356.19	c nbDecision=69500 #constraints=10352
358.15/358.36	c nbDecision=70000 #constraints=10352
360.35/360.53	c nbDecision=70500 #constraints=10352
362.55/362.72	c nbDecision=71000 #constraints=10352
364.74/364.90	c nbDecision=71500 #constraints=10352
366.85/367.08	c nbDecision=72000 #constraints=10352
369.04/369.27	c nbDecision=72500 #constraints=10352
371.24/371.44	c nbDecision=73000 #constraints=10352
373.34/373.58	c nbDecision=73500 #constraints=10352
375.84/376.04	c nbDecision=74000 #constraints=10352
378.14/378.33	c nbDecision=74500 #constraints=10352
384.94/385.19	c nbDecision=75000 #constraints=10354
387.24/387.40	c nbDecision=75500 #constraints=10354
389.44/389.64	c nbDecision=76000 #constraints=10354
391.64/391.86	c nbDecision=76500 #constraints=10354
393.84/394.05	c nbDecision=77000 #constraints=10354
396.03/396.26	c nbDecision=77500 #constraints=10354
398.23/398.47	c nbDecision=78000 #constraints=10354
400.43/400.68	c nbDecision=78500 #constraints=10354
402.73/402.91	c nbDecision=79000 #constraints=10354
404.93/405.14	c nbDecision=79500 #constraints=10354
407.13/407.37	c nbDecision=80000 #constraints=10354
409.33/409.59	c nbDecision=80500 #constraints=10354
411.63/411.80	c nbDecision=81000 #constraints=10354
413.83/414.01	c nbDecision=81500 #constraints=10354
416.03/416.21	c nbDecision=82000 #constraints=10354
418.23/418.40	c nbDecision=82500 #constraints=10354
420.42/420.60	c nbDecision=83000 #constraints=10354
422.62/422.82	c nbDecision=83500 #constraints=10354
424.82/425.03	c nbDecision=84000 #constraints=10354
427.02/427.23	c nbDecision=84500 #constraints=10354
429.22/429.44	c nbDecision=85000 #constraints=10354
431.42/431.64	c nbDecision=85500 #constraints=10354
433.62/433.83	c nbDecision=86000 #constraints=10354
435.72/435.99	c nbDecision=86500 #constraints=10354
437.92/438.18	c nbDecision=87000 #constraints=10354
440.12/440.36	c nbDecision=87500 #constraints=10354
442.32/442.53	c nbDecision=88000 #constraints=10354
444.52/444.71	c nbDecision=88500 #constraints=10354
446.72/446.91	c nbDecision=89000 #constraints=10354
448.91/449.12	c nbDecision=89500 #constraints=10354
451.01/451.29	c nbDecision=90000 #constraints=10354
453.21/453.47	c nbDecision=90500 #constraints=10354
455.41/455.65	c nbDecision=91000 #constraints=10354
457.61/457.82	c nbDecision=91500 #constraints=10354
459.71/459.99	c nbDecision=92000 #constraints=10354
461.91/462.18	c nbDecision=92500 #constraints=10354
464.11/464.38	c nbDecision=93000 #constraints=10354
466.31/466.57	c nbDecision=93500 #constraints=10354
468.51/468.75	c nbDecision=94000 #constraints=10354
470.71/470.94	c nbDecision=94500 #constraints=10354
472.91/473.11	c nbDecision=95000 #constraints=10354
475.01/475.27	c nbDecision=95500 #constraints=10354
477.21/477.43	c nbDecision=96000 #constraints=10354
479.31/479.59	c nbDecision=96500 #constraints=10354
481.51/481.76	c nbDecision=97000 #constraints=10354
483.90/484.11	c nbDecision=97500 #constraints=10354
486.30/486.55	c nbDecision=98000 #constraints=10354
493.20/493.48	c nbDecision=98500 #constraints=10371
495.40/495.67	c nbDecision=99000 #constraints=10371
497.60/497.88	c nbDecision=99500 #constraints=10371
499.80/500.09	c nbDecision=100000 #constraints=10371
502.10/502.33	c nbDecision=100500 #constraints=10371
504.30/504.56	c nbDecision=101000 #constraints=10371
506.49/506.79	c nbDecision=101500 #constraints=10371
508.79/509.02	c nbDecision=102000 #constraints=10371
510.59/510.81	c restart after 102401 decisions
515.29/515.52	c nbDecision=102500 #constraints=10371
517.49/517.73	c nbDecision=103000 #constraints=10371
519.69/519.94	c nbDecision=103500 #constraints=10371
521.89/522.18	c nbDecision=104000 #constraints=10371
524.19/524.41	c nbDecision=104500 #constraints=10371
526.39/526.65	c nbDecision=105000 #constraints=10371
528.59/528.87	c nbDecision=105500 #constraints=10371
530.89/531.10	c nbDecision=106000 #constraints=10371
533.08/533.31	c nbDecision=106500 #constraints=10371
535.28/535.52	c nbDecision=107000 #constraints=10371
537.48/537.72	c nbDecision=107500 #constraints=10371
539.68/539.92	c nbDecision=108000 #constraints=10371
541.88/542.14	c nbDecision=108500 #constraints=10371
544.08/544.36	c nbDecision=109000 #constraints=10371
546.28/546.58	c nbDecision=109500 #constraints=10371
548.48/548.80	c nbDecision=110000 #constraints=10371
550.78/551.01	c nbDecision=110500 #constraints=10371
552.98/553.20	c nbDecision=111000 #constraints=10371
555.08/555.40	c nbDecision=111500 #constraints=10371
557.28/557.59	c nbDecision=112000 #constraints=10371
559.48/559.78	c nbDecision=112500 #constraints=10371
561.67/561.99	c nbDecision=113000 #constraints=10371
563.87/564.20	c nbDecision=113500 #constraints=10371
566.18/566.41	c nbDecision=114000 #constraints=10371
568.38/568.61	c nbDecision=114500 #constraints=10371
570.58/570.81	c nbDecision=115000 #constraints=10371
572.67/573.00	c nbDecision=115500 #constraints=10371
574.87/575.18	c nbDecision=116000 #constraints=10371
577.07/577.36	c nbDecision=116500 #constraints=10371
579.27/579.54	c nbDecision=117000 #constraints=10371
581.47/581.73	c nbDecision=117500 #constraints=10371
583.67/583.93	c nbDecision=118000 #constraints=10371
585.87/586.13	c nbDecision=118500 #constraints=10371
588.07/588.33	c nbDecision=119000 #constraints=10371
590.27/590.52	c nbDecision=119500 #constraints=10371
592.37/592.69	c nbDecision=120000 #constraints=10371
594.57/594.87	c nbDecision=120500 #constraints=10371
596.77/597.04	c nbDecision=121000 #constraints=10371
598.97/599.20	c nbDecision=121500 #constraints=10371
601.07/601.38	c nbDecision=122000 #constraints=10371
603.27/603.58	c nbDecision=122500 #constraints=10371
605.47/605.76	c nbDecision=123000 #constraints=10371
607.67/607.94	c nbDecision=123500 #constraints=10371
609.87/610.12	c nbDecision=124000 #constraints=10371
611.96/612.27	c nbDecision=124500 #constraints=10371
614.16/614.43	c nbDecision=125000 #constraints=10371
616.77/617.05	c nbDecision=125500 #constraints=10371
619.26/619.53	c nbDecision=126000 #constraints=10372
625.86/626.18	c nbDecision=126500 #constraints=10374
628.16/628.42	c nbDecision=127000 #constraints=10374
630.36/630.65	c nbDecision=127500 #constraints=10374
632.56/632.87	c nbDecision=128000 #constraints=10374
634.76/635.08	c nbDecision=128500 #constraints=10374
636.96/637.29	c nbDecision=129000 #constraints=10374
639.25/639.51	c nbDecision=129500 #constraints=10374
641.45/641.73	c nbDecision=130000 #constraints=10374
643.65/643.96	c nbDecision=130500 #constraints=10374
645.85/646.18	c nbDecision=131000 #constraints=10374
648.15/648.41	c nbDecision=131500 #constraints=10374
650.35/650.63	c nbDecision=132000 #constraints=10374
652.55/652.83	c nbDecision=132500 #constraints=10374
654.75/655.04	c nbDecision=133000 #constraints=10374
656.95/657.23	c nbDecision=133500 #constraints=10374
659.15/659.43	c nbDecision=134000 #constraints=10374
661.35/661.64	c nbDecision=134500 #constraints=10374
663.55/663.86	c nbDecision=135000 #constraints=10374
665.74/666.07	c nbDecision=135500 #constraints=10374
667.94/668.28	c nbDecision=136000 #constraints=10374
670.14/670.50	c nbDecision=136500 #constraints=10374
672.34/672.69	c nbDecision=137000 #constraints=10374
674.54/674.87	c nbDecision=137500 #constraints=10374
676.74/677.06	c nbDecision=138000 #constraints=10374
678.94/679.24	c nbDecision=138500 #constraints=10374
681.14/681.42	c nbDecision=139000 #constraints=10374
683.34/683.62	c nbDecision=139500 #constraints=10374
685.54/685.82	c nbDecision=140000 #constraints=10374
687.74/688.02	c nbDecision=140500 #constraints=10374
689.94/690.22	c nbDecision=141000 #constraints=10374
692.14/692.40	c nbDecision=141500 #constraints=10374
694.24/694.59	c nbDecision=142000 #constraints=10374
696.43/696.76	c nbDecision=142500 #constraints=10374
698.63/698.93	c nbDecision=143000 #constraints=10374
700.83/701.10	c nbDecision=143500 #constraints=10374
702.93/703.29	c nbDecision=144000 #constraints=10374
705.13/705.48	c nbDecision=144500 #constraints=10374
707.33/707.66	c nbDecision=145000 #constraints=10374
709.53/709.85	c nbDecision=145500 #constraints=10374
711.73/712.03	c nbDecision=146000 #constraints=10374
713.83/714.20	c nbDecision=146500 #constraints=10374
716.03/716.36	c nbDecision=147000 #constraints=10374
718.22/718.52	c nbDecision=147500 #constraints=10374
720.32/720.68	c nbDecision=148000 #constraints=10374
722.52/722.85	c nbDecision=148500 #constraints=10374
725.22/725.50	c nbDecision=149000 #constraints=10374
727.52/727.86	c nbDecision=149500 #constraints=10374
734.32/734.67	c nbDecision=150000 #constraints=10401
736.52/736.88	c nbDecision=150500 #constraints=10401
738.72/739.08	c nbDecision=151000 #constraints=10401
741.02/741.31	c nbDecision=151500 #constraints=10401
743.22/743.54	c nbDecision=152000 #constraints=10401
745.42/745.77	c nbDecision=152500 #constraints=10401
747.62/748.00	c nbDecision=153000 #constraints=10401
749.92/750.23	c nbDecision=153500 #constraints=10401
752.12/752.44	c nbDecision=154000 #constraints=10401
754.32/754.64	c nbDecision=154500 #constraints=10401
756.51/756.85	c nbDecision=155000 #constraints=10401
758.71/759.05	c nbDecision=155500 #constraints=10401
760.91/761.26	c nbDecision=156000 #constraints=10401
763.11/763.49	c nbDecision=156500 #constraints=10401
765.41/765.71	c nbDecision=157000 #constraints=10401
767.61/767.92	c nbDecision=157500 #constraints=10401
769.81/770.14	c nbDecision=158000 #constraints=10401
772.00/772.34	c nbDecision=158500 #constraints=10401
774.20/774.54	c nbDecision=159000 #constraints=10401
776.40/776.73	c nbDecision=159500 #constraints=10401
778.60/778.92	c nbDecision=160000 #constraints=10401
780.80/781.12	c nbDecision=160500 #constraints=10401
783.00/783.33	c nbDecision=161000 #constraints=10401
785.20/785.53	c nbDecision=161500 #constraints=10401
787.40/787.74	c nbDecision=162000 #constraints=10401
789.60/789.95	c nbDecision=162500 #constraints=10401
791.80/792.13	c nbDecision=163000 #constraints=10401
794.00/794.31	c nbDecision=163500 #constraints=10401
796.10/796.49	c nbDecision=164000 #constraints=10401
798.30/798.67	c nbDecision=164500 #constraints=10401
800.50/800.82	c nbDecision=165000 #constraints=10401
802.70/803.03	c nbDecision=165500 #constraints=10401
804.90/805.22	c nbDecision=166000 #constraints=10401
807.09/807.42	c nbDecision=166500 #constraints=10401
809.29/809.61	c nbDecision=167000 #constraints=10401
811.39/811.79	c nbDecision=167500 #constraints=10401
813.59/813.97	c nbDecision=168000 #constraints=10401
815.79/816.13	c nbDecision=168500 #constraints=10401
817.99/818.30	c nbDecision=169000 #constraints=10401
820.09/820.48	c nbDecision=169500 #constraints=10401
822.28/822.63	c nbDecision=170000 #constraints=10401
824.48/824.81	c nbDecision=170500 #constraints=10401
826.58/826.99	c nbDecision=171000 #constraints=10401
828.78/829.17	c nbDecision=171500 #constraints=10401
830.98/831.34	c nbDecision=172000 #constraints=10401
833.38/833.80	c nbDecision=172500 #constraints=10401
835.68/836.10	c nbDecision=173000 #constraints=10401
842.88/843.20	c nbDecision=173500 #constraints=10451
845.08/845.44	c nbDecision=174000 #constraints=10451
847.28/847.68	c nbDecision=174500 #constraints=10451
849.57/849.92	c nbDecision=175000 #constraints=10451
851.77/852.14	c nbDecision=175500 #constraints=10451
853.97/854.35	c nbDecision=176000 #constraints=10451
856.17/856.53	c nbDecision=176500 #constraints=10451
858.37/858.74	c nbDecision=177000 #constraints=10451
860.57/860.96	c nbDecision=177500 #constraints=10451
862.77/863.19	c nbDecision=178000 #constraints=10451
865.07/865.41	c nbDecision=178500 #constraints=10451
867.27/867.64	c nbDecision=179000 #constraints=10451
869.47/869.86	c nbDecision=179500 #constraints=10451
871.67/872.06	c nbDecision=180000 #constraints=10451
873.87/874.26	c nbDecision=180500 #constraints=10451
876.06/876.46	c nbDecision=181000 #constraints=10451
878.26/878.66	c nbDecision=181500 #constraints=10451
880.46/880.86	c nbDecision=182000 #constraints=10451
882.66/883.06	c nbDecision=182500 #constraints=10451
884.86/885.27	c nbDecision=183000 #constraints=10451
887.06/887.48	c nbDecision=183500 #constraints=10451
889.26/889.69	c nbDecision=184000 #constraints=10451
891.46/891.89	c nbDecision=184500 #constraints=10451
893.66/894.08	c nbDecision=185000 #constraints=10451
895.86/896.26	c nbDecision=185500 #constraints=10451
898.05/898.45	c nbDecision=186000 #constraints=10451
900.25/900.61	c nbDecision=186500 #constraints=10451
902.45/902.82	c nbDecision=187000 #constraints=10451
904.65/905.02	c nbDecision=187500 #constraints=10451
906.85/907.21	c nbDecision=188000 #constraints=10451
909.05/909.41	c nbDecision=188500 #constraints=10451
911.15/911.58	c nbDecision=189000 #constraints=10451
913.35/913.77	c nbDecision=189500 #constraints=10451
915.55/915.94	c nbDecision=190000 #constraints=10451
917.75/918.11	c nbDecision=190500 #constraints=10451
919.84/920.28	c nbDecision=191000 #constraints=10451
922.04/922.47	c nbDecision=191500 #constraints=10451
924.24/924.66	c nbDecision=192000 #constraints=10451
926.44/926.85	c nbDecision=192500 #constraints=10451
928.64/929.04	c nbDecision=193000 #constraints=10451
930.84/931.22	c nbDecision=193500 #constraints=10451
932.94/933.38	c nbDecision=194000 #constraints=10451
935.14/935.54	c nbDecision=194500 #constraints=10451
937.34/937.70	c nbDecision=195000 #constraints=10451
939.44/939.85	c nbDecision=195500 #constraints=10451
941.63/942.01	c nbDecision=196000 #constraints=10451
944.23/944.65	c nbDecision=196500 #constraints=10451
946.83/947.20	c nbDecision=197000 #constraints=10461
953.53/953.91	c nbDecision=197500 #constraints=10480
955.73/956.13	c nbDecision=198000 #constraints=10480
957.93/958.35	c nbDecision=198500 #constraints=10480
960.13/960.56	c nbDecision=199000 #constraints=10480
962.33/962.79	c nbDecision=199500 #constraints=10480
964.63/965.02	c nbDecision=200000 #constraints=10480
966.83/967.25	c nbDecision=200500 #constraints=10480
969.03/969.47	c nbDecision=201000 #constraints=10480
971.22/971.69	c nbDecision=201500 #constraints=10480
973.42/973.88	c nbDecision=202000 #constraints=10480
975.62/976.09	c nbDecision=202500 #constraints=10480
977.82/978.29	c nbDecision=203000 #constraints=10480
980.02/980.49	c nbDecision=203500 #constraints=10480
982.32/982.71	c nbDecision=204000 #constraints=10480
984.52/984.93	c nbDecision=204500 #constraints=10480
985.82/986.27	c restart after 204801 decisions
991.02/991.49	c nbDecision=205000 #constraints=10480
993.32/993.71	c nbDecision=205500 #constraints=10480
995.51/995.93	c nbDecision=206000 #constraints=10480
997.71/998.14	c nbDecision=206500 #constraints=10480
999.91/1000.35	c nbDecision=207000 #constraints=10480
1002.11/1002.58	c nbDecision=207500 #constraints=10480
1004.41/1004.82	c nbDecision=208000 #constraints=10480
1006.61/1007.05	c nbDecision=208500 #constraints=10480
1008.81/1009.27	c nbDecision=209000 #constraints=10480
1011.01/1011.49	c nbDecision=209500 #constraints=10480
1013.21/1013.70	c nbDecision=210000 #constraints=10480
1015.51/1015.90	c nbDecision=210500 #constraints=10480
1017.71/1018.10	c nbDecision=211000 #constraints=10480
1019.90/1020.30	c nbDecision=211500 #constraints=10480
1022.10/1022.52	c nbDecision=212000 #constraints=10480
1024.30/1024.74	c nbDecision=212500 #constraints=10480
1026.50/1026.96	c nbDecision=213000 #constraints=10480
1028.70/1029.17	c nbDecision=213500 #constraints=10480
1030.90/1031.38	c nbDecision=214000 #constraints=10480
1033.10/1033.58	c nbDecision=214500 #constraints=10480
1035.30/1035.77	c nbDecision=215000 #constraints=10480
1037.50/1037.96	c nbDecision=215500 #constraints=10480
1039.70/1040.15	c nbDecision=216000 #constraints=10480
1041.90/1042.34	c nbDecision=216500 #constraints=10480
1044.09/1044.55	c nbDecision=217000 #constraints=10480
1046.29/1046.76	c nbDecision=217500 #constraints=10480
1048.49/1048.96	c nbDecision=218000 #constraints=10480
1050.69/1051.15	c nbDecision=218500 #constraints=10480
1052.89/1053.34	c nbDecision=219000 #constraints=10480
1055.09/1055.51	c nbDecision=219500 #constraints=10480
1057.19/1057.69	c nbDecision=220000 #constraints=10480
1059.39/1059.87	c nbDecision=220500 #constraints=10480
1061.59/1062.06	c nbDecision=221000 #constraints=10480
1063.79/1064.25	c nbDecision=221500 #constraints=10480
1065.99/1066.44	c nbDecision=222000 #constraints=10480
1068.18/1068.64	c nbDecision=222500 #constraints=10480
1070.38/1070.83	c nbDecision=223000 #constraints=10480
1072.58/1073.00	c nbDecision=223500 #constraints=10480
1074.68/1075.17	c nbDecision=224000 #constraints=10480
1076.88/1077.33	c nbDecision=224500 #constraints=10480
1078.98/1079.48	c nbDecision=225000 #constraints=10480
1081.18/1081.65	c nbDecision=225500 #constraints=10480
1083.38/1083.83	c nbDecision=226000 #constraints=10480
1085.48/1085.98	c nbDecision=226500 #constraints=10480
1087.68/1088.16	c nbDecision=227000 #constraints=10480
1090.07/1090.51	c nbDecision=227500 #constraints=10480
1092.47/1092.95	c nbDecision=228000 #constraints=10480
1095.18/1095.61	c nbDecision=228500 #constraints=10512
1101.67/1102.19	c nbDecision=229000 #constraints=10514
1103.97/1104.43	c nbDecision=229500 #constraints=10514
1106.17/1106.66	c nbDecision=230000 #constraints=10514
1108.47/1108.90	c nbDecision=230500 #constraints=10514
1110.67/1111.13	c nbDecision=231000 #constraints=10514
1112.86/1113.33	c nbDecision=231500 #constraints=10514
1115.06/1115.55	c nbDecision=232000 #constraints=10514
1117.26/1117.76	c nbDecision=232500 #constraints=10514
1119.46/1119.96	c nbDecision=233000 #constraints=10514
1121.66/1122.16	c nbDecision=233500 #constraints=10514
1123.86/1124.39	c nbDecision=234000 #constraints=10514
1126.16/1126.61	c nbDecision=234500 #constraints=10514
1128.36/1128.84	c nbDecision=235000 #constraints=10514
1130.56/1131.05	c nbDecision=235500 #constraints=10514
1132.76/1133.25	c nbDecision=236000 #constraints=10514
1134.96/1135.44	c nbDecision=236500 #constraints=10514
1137.15/1137.64	c nbDecision=237000 #constraints=10514
1139.35/1139.83	c nbDecision=237500 #constraints=10514
1141.55/1142.04	c nbDecision=238000 #constraints=10514
1143.75/1144.25	c nbDecision=238500 #constraints=10514
1145.95/1146.46	c nbDecision=239000 #constraints=10514
1148.15/1148.67	c nbDecision=239500 #constraints=10514
1150.35/1150.88	c nbDecision=240000 #constraints=10514
1152.55/1153.06	c nbDecision=240500 #constraints=10514
1154.75/1155.25	c nbDecision=241000 #constraints=10514
1156.95/1157.43	c nbDecision=241500 #constraints=10514
1159.15/1159.62	c nbDecision=242000 #constraints=10514
1161.35/1161.81	c nbDecision=242500 #constraints=10514
1163.55/1164.01	c nbDecision=243000 #constraints=10514
1165.74/1166.21	c nbDecision=243500 #constraints=10514
1167.94/1168.41	c nbDecision=244000 #constraints=10514
1170.14/1170.60	c nbDecision=244500 #constraints=10514
1172.24/1172.76	c nbDecision=245000 #constraints=10514
1174.44/1174.93	c nbDecision=245500 #constraints=10514
1176.64/1177.10	c nbDecision=246000 #constraints=10514
1178.74/1179.27	c nbDecision=246500 #constraints=10514
1180.94/1181.45	c nbDecision=247000 #constraints=10514
1183.14/1183.64	c nbDecision=247500 #constraints=10514
1185.34/1185.83	c nbDecision=248000 #constraints=10514
1187.54/1188.02	c nbDecision=248500 #constraints=10514
1189.74/1190.20	c nbDecision=249000 #constraints=10514
1191.84/1192.37	c nbDecision=249500 #constraints=10514
1194.04/1194.53	c nbDecision=250000 #constraints=10514
1196.13/1196.68	c nbDecision=250500 #constraints=10514
1198.33/1198.83	c nbDecision=251000 #constraints=10514
1200.93/1201.47	c nbDecision=251500 #constraints=10514
1203.33/1203.84	c nbDecision=252000 #constraints=10514
1210.33/1210.81	c nbDecision=252500 #constraints=10564
1212.52/1213.03	c nbDecision=253000 #constraints=10564
1214.73/1215.25	c nbDecision=253500 #constraints=10564
1216.93/1217.46	c nbDecision=254000 #constraints=10564
1219.13/1219.68	c nbDecision=254500 #constraints=10564
1221.33/1221.88	c nbDecision=255000 #constraints=10564
1223.63/1224.11	c nbDecision=255500 #constraints=10564
1225.83/1226.34	c nbDecision=256000 #constraints=10564
1228.03/1228.57	c nbDecision=256500 #constraints=10564
1230.23/1230.80	c nbDecision=257000 #constraints=10564
1232.43/1233.00	c nbDecision=257500 #constraints=10564
1234.73/1235.20	c nbDecision=258000 #constraints=10564
1236.93/1237.41	c nbDecision=258500 #constraints=10564
1239.13/1239.61	c nbDecision=259000 #constraints=10564
1241.33/1241.82	c nbDecision=259500 #constraints=10564
1243.53/1244.04	c nbDecision=260000 #constraints=10564
1245.73/1246.26	c nbDecision=260500 #constraints=10564
1247.93/1248.47	c nbDecision=261000 #constraints=10564
1250.12/1250.67	c nbDecision=261500 #constraints=10564
1252.32/1252.87	c nbDecision=262000 #constraints=10564
1254.52/1255.06	c nbDecision=262500 #constraints=10564
1256.72/1257.23	c nbDecision=263000 #constraints=10564
1258.92/1259.40	c nbDecision=263500 #constraints=10564
1261.02/1261.60	c nbDecision=264000 #constraints=10564
1263.32/1263.81	c nbDecision=264500 #constraints=10564
1265.52/1266.01	c nbDecision=265000 #constraints=10564
1267.72/1268.22	c nbDecision=265500 #constraints=10564
1269.92/1270.42	c nbDecision=266000 #constraints=10564
1272.12/1272.60	c nbDecision=266500 #constraints=10564
1274.21/1274.78	c nbDecision=267000 #constraints=10564
1276.41/1276.96	c nbDecision=267500 #constraints=10564
1278.61/1279.13	c nbDecision=268000 #constraints=10564
1280.81/1281.30	c nbDecision=268500 #constraints=10564
1283.01/1283.50	c nbDecision=269000 #constraints=10564
1285.11/1285.69	c nbDecision=269500 #constraints=10564
1287.31/1287.89	c nbDecision=270000 #constraints=10564
1289.50/1290.08	c nbDecision=270500 #constraints=10564
1291.70/1292.25	c nbDecision=271000 #constraints=10564
1293.90/1294.42	c nbDecision=271500 #constraints=10564
1296.00/1296.59	c nbDecision=272000 #constraints=10564
1298.20/1298.76	c nbDecision=272500 #constraints=10564
1300.40/1300.90	c nbDecision=273000 #constraints=10564
1302.50/1303.08	c nbDecision=273500 #constraints=10564
1304.70/1305.26	c nbDecision=274000 #constraints=10564
1306.90/1307.44	c nbDecision=274500 #constraints=10564
1309.30/1309.87	c nbDecision=275000 #constraints=10564
1311.70/1312.22	c nbDecision=275500 #constraints=10564
1318.69/1319.22	c nbDecision=276000 #constraints=10597
1320.89/1321.42	c nbDecision=276500 #constraints=10597
1323.09/1323.66	c nbDecision=277000 #constraints=10597
1325.29/1325.89	c nbDecision=277500 #constraints=10597
1327.59/1328.13	c nbDecision=278000 #constraints=10597
1329.79/1330.36	c nbDecision=278500 #constraints=10597
1331.99/1332.58	c nbDecision=279000 #constraints=10597
1334.19/1334.79	c nbDecision=279500 #constraints=10597
1336.39/1337.00	c nbDecision=280000 #constraints=10597
1338.58/1339.19	c nbDecision=280500 #constraints=10597
1340.88/1341.40	c nbDecision=281000 #constraints=10597
1343.08/1343.63	c nbDecision=281500 #constraints=10597
1345.28/1345.85	c nbDecision=282000 #constraints=10597
1347.48/1348.07	c nbDecision=282500 #constraints=10597
1349.68/1350.29	c nbDecision=283000 #constraints=10597
1351.98/1352.50	c nbDecision=283500 #constraints=10597
1354.08/1354.69	c nbDecision=284000 #constraints=10597
1356.28/1356.89	c nbDecision=284500 #constraints=10597
1358.48/1359.09	c nbDecision=285000 #constraints=10597
1360.68/1361.29	c nbDecision=285500 #constraints=10597
1362.97/1363.50	c nbDecision=286000 #constraints=10597
1365.17/1365.71	c nbDecision=286500 #constraints=10597
1367.37/1367.92	c nbDecision=287000 #constraints=10597
1369.57/1370.13	c nbDecision=287500 #constraints=10597
1371.77/1372.32	c nbDecision=288000 #constraints=10597
1373.97/1374.51	c nbDecision=288500 #constraints=10597
1376.07/1376.69	c nbDecision=289000 #constraints=10597
1378.27/1378.87	c nbDecision=289500 #constraints=10597
1380.47/1381.06	c nbDecision=290000 #constraints=10597
1382.66/1383.26	c nbDecision=290500 #constraints=10597
1384.86/1385.46	c nbDecision=291000 #constraints=10597
1387.06/1387.66	c nbDecision=291500 #constraints=10597
1389.26/1389.86	c nbDecision=292000 #constraints=10597
1391.46/1392.04	c nbDecision=292500 #constraints=10597
1393.56/1394.20	c nbDecision=293000 #constraints=10597
1395.76/1396.37	c nbDecision=293500 #constraints=10597
1397.96/1398.54	c nbDecision=294000 #constraints=10597
1400.16/1400.71	c nbDecision=294500 #constraints=10597
1402.36/1402.90	c nbDecision=295000 #constraints=10597
1404.46/1405.08	c nbDecision=295500 #constraints=10597
1406.66/1407.27	c nbDecision=296000 #constraints=10597
1408.86/1409.45	c nbDecision=296500 #constraints=10597
1411.06/1411.62	c nbDecision=297000 #constraints=10597
1413.15/1413.78	c nbDecision=297500 #constraints=10597
1415.35/1415.93	c nbDecision=298000 #constraints=10597
1417.45/1418.08	c nbDecision=298500 #constraints=10597
1420.15/1420.70	c nbDecision=299000 #constraints=10597
1422.55/1423.17	c nbDecision=299500 #constraints=10598
1429.55/1430.13	c nbDecision=300000 #constraints=10657
1431.75/1432.35	c nbDecision=300500 #constraints=10657
1433.95/1434.57	c nbDecision=301000 #constraints=10657
1436.15/1436.78	c nbDecision=301500 #constraints=10657
1438.44/1439.00	c nbDecision=302000 #constraints=10657
1440.64/1441.21	c nbDecision=302500 #constraints=10657
1442.84/1443.44	c nbDecision=303000 #constraints=10657
1445.04/1445.67	c nbDecision=303500 #constraints=10657
1447.34/1447.90	c nbDecision=304000 #constraints=10657
1449.54/1450.13	c nbDecision=304500 #constraints=10657
1451.74/1452.32	c nbDecision=305000 #constraints=10657
1453.84/1454.50	c nbDecision=305500 #constraints=10657
1456.14/1456.70	c nbDecision=306000 #constraints=10657
1458.24/1458.89	c nbDecision=306500 #constraints=10657
1460.54/1461.10	c nbDecision=307000 #constraints=10657
1462.74/1463.32	c nbDecision=307500 #constraints=10657
1464.94/1465.53	c nbDecision=308000 #constraints=10657
1467.13/1467.75	c nbDecision=308500 #constraints=10657
1469.33/1469.97	c nbDecision=309000 #constraints=10657
1471.53/1472.17	c nbDecision=309500 #constraints=10657
1473.73/1474.36	c nbDecision=310000 #constraints=10657
1475.93/1476.55	c nbDecision=310500 #constraints=10657
1478.13/1478.74	c nbDecision=311000 #constraints=10657
1480.33/1480.93	c nbDecision=311500 #constraints=10657
1482.53/1483.14	c nbDecision=312000 #constraints=10657
1484.72/1485.34	c nbDecision=312500 #constraints=10657
1486.92/1487.54	c nbDecision=313000 #constraints=10657
1489.12/1489.75	c nbDecision=313500 #constraints=10657
1491.32/1491.94	c nbDecision=314000 #constraints=10657
1493.52/1494.11	c nbDecision=314500 #constraints=10657
1495.62/1496.29	c nbDecision=315000 #constraints=10657
1497.82/1498.46	c nbDecision=315500 #constraints=10657
1500.02/1500.64	c nbDecision=316000 #constraints=10657
1502.22/1502.81	c nbDecision=316500 #constraints=10657
1504.42/1505.00	c nbDecision=317000 #constraints=10657
1506.52/1507.19	c nbDecision=317500 #constraints=10657
1508.71/1509.38	c nbDecision=318000 #constraints=10657
1510.91/1511.56	c nbDecision=318500 #constraints=10657
1513.11/1513.73	c nbDecision=319000 #constraints=10657
1515.31/1515.90	c nbDecision=319500 #constraints=10657
1517.41/1518.07	c nbDecision=320000 #constraints=10657
1519.61/1520.21	c nbDecision=320500 #constraints=10657
1521.71/1522.39	c nbDecision=321000 #constraints=10657
1523.91/1524.57	c nbDecision=321500 #constraints=10657
1526.11/1526.74	c nbDecision=322000 #constraints=10657
1528.61/1529.20	c nbDecision=322500 #constraints=10657
1530.91/1531.52	c nbDecision=323000 #constraints=10657
1533.60/1534.27	c nbDecision=323500 #constraints=10687
1540.20/1540.89	c nbDecision=324000 #constraints=10699
1542.50/1543.13	c nbDecision=324500 #constraints=10699
1544.70/1545.37	c nbDecision=325000 #constraints=10699
1546.90/1547.59	c nbDecision=325500 #constraints=10699
1549.20/1549.82	c nbDecision=326000 #constraints=10699
1551.40/1552.05	c nbDecision=326500 #constraints=10699
1553.60/1554.26	c nbDecision=327000 #constraints=10699
1555.80/1556.47	c nbDecision=327500 #constraints=10699
1558.00/1558.67	c nbDecision=328000 #constraints=10699
1560.20/1560.88	c nbDecision=328500 #constraints=10699
1562.50/1563.11	c nbDecision=329000 #constraints=10699
1564.70/1565.33	c nbDecision=329500 #constraints=10699
1566.90/1567.55	c nbDecision=330000 #constraints=10699
1569.10/1569.78	c nbDecision=330500 #constraints=10699
1571.30/1571.99	c nbDecision=331000 #constraints=10699
1573.49/1574.18	c nbDecision=331500 #constraints=10699
1575.69/1576.38	c nbDecision=332000 #constraints=10699
1577.89/1578.56	c nbDecision=332500 #constraints=10699
1580.09/1580.75	c nbDecision=333000 #constraints=10699
1582.29/1582.96	c nbDecision=333500 #constraints=10699
1584.49/1585.18	c nbDecision=334000 #constraints=10699
1586.69/1587.39	c nbDecision=334500 #constraints=10699
1588.89/1589.59	c nbDecision=335000 #constraints=10699
1591.09/1591.79	c nbDecision=335500 #constraints=10699
1593.28/1593.98	c nbDecision=336000 #constraints=10699
1595.48/1596.16	c nbDecision=336500 #constraints=10699
1597.68/1598.35	c nbDecision=337000 #constraints=10699
1599.88/1600.53	c nbDecision=337500 #constraints=10699
1602.08/1602.73	c nbDecision=338000 #constraints=10699
1604.28/1604.93	c nbDecision=338500 #constraints=10699
1606.48/1607.13	c nbDecision=339000 #constraints=10699
1608.68/1609.33	c nbDecision=339500 #constraints=10699
1610.88/1611.52	c nbDecision=340000 #constraints=10699
1612.98/1613.69	c nbDecision=340500 #constraints=10699
1615.18/1615.87	c nbDecision=341000 #constraints=10699
1617.38/1618.04	c nbDecision=341500 #constraints=10699
1619.57/1620.21	c nbDecision=342000 #constraints=10699
1621.67/1622.39	c nbDecision=342500 #constraints=10699
1623.87/1624.56	c nbDecision=343000 #constraints=10699
1626.07/1626.76	c nbDecision=343500 #constraints=10699
1628.27/1628.92	c nbDecision=344000 #constraints=10699
1630.47/1631.10	c nbDecision=344500 #constraints=10699
1632.57/1633.26	c nbDecision=345000 #constraints=10699
1634.77/1635.41	c nbDecision=345500 #constraints=10699
1636.87/1637.56	c nbDecision=346000 #constraints=10699
1639.47/1640.19	c nbDecision=346500 #constraints=10699
1641.86/1642.55	c nbDecision=347000 #constraints=10699
1648.76/1649.46	c nbDecision=347500 #constraints=10701
1650.96/1651.67	c nbDecision=348000 #constraints=10701
1653.16/1653.89	c nbDecision=348500 #constraints=10701
1655.46/1656.10	c nbDecision=349000 #constraints=10701
1657.66/1658.32	c nbDecision=349500 #constraints=10701
1659.86/1660.53	c nbDecision=350000 #constraints=10701
1662.05/1662.76	c nbDecision=350500 #constraints=10701
1664.25/1664.99	c nbDecision=351000 #constraints=10701
1666.55/1667.22	c nbDecision=351500 #constraints=10701
1668.75/1669.45	c nbDecision=352000 #constraints=10701
1670.95/1671.67	c nbDecision=352500 #constraints=10701
1673.15/1673.87	c nbDecision=353000 #constraints=10701
1675.35/1676.08	c nbDecision=353500 #constraints=10701
1677.55/1678.28	c nbDecision=354000 #constraints=10701
1679.75/1680.48	c nbDecision=354500 #constraints=10701
1681.95/1682.69	c nbDecision=355000 #constraints=10701
1684.25/1684.91	c nbDecision=355500 #constraints=10701
1686.45/1687.13	c nbDecision=356000 #constraints=10701
1688.65/1689.33	c nbDecision=356500 #constraints=10701
1690.84/1691.54	c nbDecision=357000 #constraints=10701
1693.04/1693.73	c nbDecision=357500 #constraints=10701
1695.24/1695.90	c nbDecision=358000 #constraints=10701
1697.34/1698.09	c nbDecision=358500 #constraints=10701
1699.54/1700.26	c nbDecision=359000 #constraints=10701
1701.74/1702.47	c nbDecision=359500 #constraints=10701
1703.94/1704.67	c nbDecision=360000 #constraints=10701
1706.14/1706.88	c nbDecision=360500 #constraints=10701
1708.34/1709.08	c nbDecision=361000 #constraints=10701
1710.54/1711.28	c nbDecision=361500 #constraints=10701
1712.74/1713.46	c nbDecision=362000 #constraints=10701
1714.94/1715.63	c nbDecision=362500 #constraints=10701
1717.04/1717.79	c nbDecision=363000 #constraints=10701
1719.23/1719.97	c nbDecision=363500 #constraints=10701
1721.43/1722.15	c nbDecision=364000 #constraints=10701
1723.63/1724.35	c nbDecision=364500 #constraints=10701
1725.83/1726.54	c nbDecision=365000 #constraints=10701
1728.03/1728.72	c nbDecision=365500 #constraints=10701
1730.23/1730.91	c nbDecision=366000 #constraints=10701
1732.33/1733.08	c nbDecision=366500 #constraints=10701
1734.53/1735.25	c nbDecision=367000 #constraints=10701
1736.73/1737.42	c nbDecision=367500 #constraints=10701
1738.83/1739.58	c nbDecision=368000 #constraints=10701
1741.03/1741.75	c nbDecision=368500 #constraints=10701
1743.23/1743.93	c nbDecision=369000 #constraints=10701
1745.43/1746.11	c nbDecision=369500 #constraints=10701
1747.52/1748.27	c nbDecision=370000 #constraints=10701
1750.22/1750.91	c nbDecision=370500 #constraints=10701
1752.73/1753.49	c nbDecision=371000 #constraints=10722
1759.82/1760.54	c nbDecision=371500 #constraints=10820
1762.02/1762.78	c nbDecision=372000 #constraints=10820
1764.32/1765.02	c nbDecision=372500 #constraints=10820
1766.52/1767.25	c nbDecision=373000 #constraints=10820
1768.72/1769.49	c nbDecision=373500 #constraints=10820
1771.02/1771.72	c nbDecision=374000 #constraints=10820
1773.22/1773.93	c nbDecision=374500 #constraints=10820
1775.41/1776.14	c nbDecision=375000 #constraints=10820
1777.61/1778.35	c nbDecision=375500 #constraints=10820
1779.81/1780.55	c nbDecision=376000 #constraints=10820
1782.01/1782.78	c nbDecision=376500 #constraints=10820
1784.31/1785.00	c nbDecision=377000 #constraints=10820
1786.51/1787.23	c nbDecision=377500 #constraints=10820
1788.71/1789.44	c nbDecision=378000 #constraints=10820
1790.91/1791.64	c nbDecision=378500 #constraints=10820
1793.11/1793.83	c nbDecision=379000 #constraints=10820
1795.31/1796.03	c nbDecision=379500 #constraints=10820
1797.50/1798.23	c nbDecision=380000 #constraints=10820
1799.70/1800.41	c nbDecision=380500 #constraints=10820
1800.01/1800.70	Received signal 15
1800.01/1800.71	
1800.01/1800.71	s UNKNOWN
1800.01/1800.71	
1800.01/1800.71	c user time= 1799.9 s
1800.01/1800.71	c system time= 0.12898 s
1800.01/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/node66/watcher-357034-1176852338 -o ROOT/results/node66/solver-357034-1176852338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.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: 0.93 0.97 0.92 3/64 10897
/proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=1620 CPUtime=0
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 161223419 1658880 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 405 170 126 317 0 84 0

[startup+0.0962499 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 10897
/proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=3440 CPUtime=0.09
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 878 0 0 0 9 0 0 0 18 0 1 0 161223419 3522560 633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 860 633 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.101243 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 10897
/proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=3440 CPUtime=0.09
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 892 0 0 0 9 0 0 0 18 0 1 0 161223419 3522560 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 860 647 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301281 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 10897
/proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=9548 CPUtime=0.29
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 2897 0 0 0 29 0 0 0 20 0 1 0 161223419 9777152 1882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 2387 1882 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701361 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 10897
/proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=10512 CPUtime=0.69
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 3234 0 0 0 68 1 0 0 23 0 1 0 161223419 10764288 2219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 2628 2220 131 317 0 2307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10512

[startup+1.50152 s]
/proc/loadavg: 0.93 0.97 0.92 2/65 10898
/proc/meminfo: memFree=1802664/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=28468 CPUtime=1.49
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 7801 0 0 0 147 2 0 0 25 0 1 0 161223419 29151232 6688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 7117 6689 131 317 0 6796 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28468

[startup+3.10185 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10898
/proc/meminfo: memFree=1777000/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=93024 CPUtime=3.09
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 23519 0 0 0 300 9 0 0 25 0 1 0 161223419 95256576 22373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10897/statm: 23256 22373 137 317 0 22935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93024

[startup+6.30248 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10898
/proc/meminfo: memFree=1718120/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=102924 CPUtime=6.29
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26000 0 0 0 619 10 0 0 25 0 1 0 161223419 105394176 24854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25731 24854 138 317 0 25410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102924

[startup+12.7018 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10898
/proc/meminfo: memFree=1718000/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=102968 CPUtime=12.68
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26014 0 0 0 1258 10 0 0 25 0 1 0 161223419 105439232 24868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25742 24868 138 317 0 25421 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102968

[startup+25.5013 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10898
/proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=102968 CPUtime=25.48
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26014 0 0 0 2538 10 0 0 25 0 1 0 161223419 105439232 24868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25742 24868 138 317 0 25421 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102968

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10898
/proc/meminfo: memFree=1718256/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=102968 CPUtime=51.06
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26016 0 0 0 5096 10 0 0 25 0 1 0 161223419 105439232 24870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25742 24870 138 317 0 25421 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102968

[startup+102.306 s]
/proc/loadavg: 1.04 1.00 0.93 2/65 10898
/proc/meminfo: memFree=1718192/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=102968 CPUtime=102.24
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26022 0 0 0 10214 10 0 0 25 0 1 0 161223419 105439232 24876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25742 24876 138 317 0 25421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102968

[startup+162.302 s]
/proc/loadavg: 1.05 1.01 0.94 2/65 10898
/proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103084 CPUtime=162.22
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26030 0 0 0 16212 10 0 0 25 0 1 0 161223419 105558016 24884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25771 24884 138 317 0 25450 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 103084

[startup+222.302 s]
/proc/loadavg: 1.13 1.04 0.95 2/65 10898
/proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103084 CPUtime=222.2
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26033 0 0 0 22210 10 0 0 25 0 1 0 161223419 105558016 24887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25771 24887 138 317 0 25450 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 103084

[startup+282.302 s]
/proc/loadavg: 1.12 1.04 0.95 2/65 10898
/proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=282.18
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 28208 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 103500

[startup+342.302 s]
/proc/loadavg: 1.04 1.03 0.95 2/65 10898
/proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=342.15
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 34205 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 103500

[startup+402.301 s]
/proc/loadavg: 1.01 1.02 0.95 2/65 10898
/proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=402.13
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 40203 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 103500

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 10898
/proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=462.11
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 46201 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 103500

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 10898
/proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=522.09
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 52199 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 103500

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 10898
/proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=582.07
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 58197 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 103500

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10898
/proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=642.06
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 64195 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 103500


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=881.96
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 88185 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 103500

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=941.93
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 94182 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24917 139 317 0 25554 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 103500

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717808/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=1001.91
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26140 0 0 0 100180 11 0 0 25 0 1 0 161223419 105984000 24923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24923 139 317 0 25554 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 103500

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717808/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=1061.89
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26140 0 0 0 106178 11 0 0 25 0 1 0 161223419 105984000 24923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24923 139 317 0 25554 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 103500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717744/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=1121.86
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26153 0 0 0 112175 11 0 0 25 0 1 0 161223419 105984000 24936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24936 139 317 0 25554 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 103500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717744/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103500 CPUtime=1181.84
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26153 0 0 0 118173 11 0 0 25 0 1 0 161223419 105984000 24936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25875 24936 139 317 0 25554 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 103500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717680/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103632 CPUtime=1241.82
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26167 0 0 0 124170 12 0 0 25 0 1 0 161223419 106119168 24950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25908 24950 139 317 0 25587 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 103632

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717680/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103632 CPUtime=1301.8
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26167 0 0 0 130168 12 0 0 25 0 1 0 161223419 106119168 24950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25908 24950 139 317 0 25587 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 103632

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717552/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103632 CPUtime=1361.77
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26178 0 0 0 136165 12 0 0 25 0 1 0 161223419 106119168 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25908 24961 139 317 0 25587 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 103632

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717616/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103632 CPUtime=1421.75
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26178 0 0 0 142163 12 0 0 25 0 1 0 161223419 106119168 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25908 24961 139 317 0 25587 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 103632

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717488/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103764 CPUtime=1481.73
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26197 0 0 0 148161 12 0 0 25 0 1 0 161223419 106254336 24980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25941 24980 139 317 0 25620 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 103764

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717424/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103764 CPUtime=1541.7
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 154158 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25941 24993 139 317 0 25620 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 103764

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717424/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103764 CPUtime=1601.68
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 160156 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25941 24993 139 317 0 25620 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 103764

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717360/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103764 CPUtime=1661.66
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 166154 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25941 24993 139 317 0 25620 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 103764

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717360/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103764 CPUtime=1721.63
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 172151 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25941 24993 139 317 0 25620 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 103764

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103896 CPUtime=1781.61
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 178149 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25974 25023 139 317 0 25653 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 103896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10900
/proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103896 CPUtime=1800.01
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 179989 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25974 25023 139 317 0 25653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 103896

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.95 2/65 10900
/proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956
[pid=10897] ppid=10895 vsize=103896 CPUtime=1800.01
/proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 179989 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10897/statm: 25974 25023 139 317 0 25653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 103896

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.11
CPU user time (s): 1799.97
CPU system time (s): 0.146977
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 103896

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

runsolver used 1.2978 second user time and 3.68844 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 17 23:25:39 UTC 2007

IDJOB= 357034
IDBENCH= 1801
IDSOLVER= 172
FILE ID= node66/357034-1176852338

PBS_JOBID= 4590183

Free space on /tmp= 66435 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
COMMAND LINE= oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-357034-1176852338 -o ROOT/results/node66/solver-357034-1176852338 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  11ee19baa608345f86d8483767b8a181

RANDOM SEED= 556972765

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1817608 kB
Buffers:         15332 kB
Cached:         164968 kB
SwapCached:       9828 kB
Active:          32576 kB
Inactive:       163528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817608 kB
SwapTotal:     4192956 kB
SwapFree:      4176832 kB
Dirty:           11312 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            28256 kB
Committed_AS:   753172 kB
PageTables:       1376 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= 66435 MiB

End job on node66 on Tue Apr 17 23:55:41 UTC 2007