Trace number 356962

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.26 1801.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
MD5SUM761eaefb829e7d3bf060fd5b86600997
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1
Best CPU time to get the best result obtained on this benchmark1782.84
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 variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 16197
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531823
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531823
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...
1.60/1.65	c ...done
1.60/1.65	c #vars=84737 #constraints=3177 hasObjective=yes
2.09/2.13	c res. mode=mod
2.09/2.13	c VSIDS like heuristics
2.09/2.13	c complete search running
3.39/3.45	c restart after 401 decisions
3.69/3.73	c nbDecision=500 #constraints=3211
4.39/4.48	c restart after 801 decisions
4.89/4.99	c nbDecision=1000 #constraints=3253
6.19/6.23	c nbDecision=1500 #constraints=3287
6.39/6.50	c restart after 1601 decisions
7.39/7.48	c nbDecision=2000 #constraints=3324
8.70/8.70	c nbDecision=2500 #constraints=3345
9.89/9.93	c nbDecision=3000 #constraints=3371
10.39/10.48	c restart after 3201 decisions
11.09/11.18	c nbDecision=3500 #constraints=3411
12.39/12.43	c nbDecision=4000 #constraints=3457
13.59/13.69	c nbDecision=4500 #constraints=3501
14.79/14.88	c nbDecision=5000 #constraints=3518
16.19/16.23	c nbDecision=5500 #constraints=3591
17.68/17.77	c nbDecision=6000 #constraints=3733
18.88/19.00	c restart after 6401 decisions
19.18/19.28	c nbDecision=6500 #constraints=3847
20.48/20.51	c nbDecision=7000 #constraints=3877
21.68/21.78	c nbDecision=7500 #constraints=3925
23.18/23.26	c nbDecision=8000 #constraints=4045
24.68/24.80	c nbDecision=8500 #constraints=4171
26.18/26.22	c nbDecision=9000 #constraints=4250
27.88/27.93	c nbDecision=9500 #constraints=4354
29.59/29.62	c nbDecision=10000 #constraints=4440
31.08/31.16	c nbDecision=10500 #constraints=4509
32.58/32.63	c nbDecision=11000 #constraints=4563
34.18/34.23	c nbDecision=11500 #constraints=4644
35.68/35.70	c nbDecision=12000 #constraints=4703
37.47/37.52	c nbDecision=12500 #constraints=4804
38.67/38.72	c restart after 12801 decisions
39.17/39.25	c nbDecision=13000 #constraints=4887
40.37/40.47	c nbDecision=13500 #constraints=4904
41.77/41.84	c nbDecision=14000 #constraints=4980
43.57/43.67	c nbDecision=14500 #constraints=5061
45.27/45.39	c nbDecision=15000 #constraints=5134
46.86/46.93	c nbDecision=15500 #constraints=5169
48.57/48.69	c nbDecision=16000 #constraints=5246
50.07/50.13	c nbDecision=16500 #constraints=5269
51.57/51.69	c nbDecision=17000 #constraints=5314
53.16/53.28	c nbDecision=17500 #constraints=5369
54.76/54.88	c nbDecision=18000 #constraints=5431
56.27/56.39	c nbDecision=18500 #constraints=5486
58.06/58.18	c nbDecision=19000 #constraints=5570
59.86/59.95	c nbDecision=19500 #constraints=5647
61.36/61.46	c nbDecision=20000 #constraints=5677
62.96/63.01	c nbDecision=20500 #constraints=5716
64.66/64.73	c nbDecision=21000 #constraints=5820
66.06/66.19	c nbDecision=21500 #constraints=5893
67.66/67.77	c nbDecision=22000 #constraints=6029
69.06/69.17	c nbDecision=22500 #constraints=6105
70.46/70.54	c nbDecision=23000 #constraints=6182
71.75/71.84	c nbDecision=23500 #constraints=6236
73.15/73.24	c nbDecision=24000 #constraints=6305
74.55/74.64	c nbDecision=24500 #constraints=6329
76.06/76.16	c nbDecision=25000 #constraints=6361
77.56/77.66	c nbDecision=25500 #constraints=6378
77.86/77.95	c restart after 25601 decisions
78.96/79.01	c nbDecision=26000 #constraints=6418
80.16/80.23	c nbDecision=26500 #constraints=6434
81.75/81.80	c nbDecision=27000 #constraints=6528
83.35/83.48	c nbDecision=27500 #constraints=6590
85.06/85.19	c nbDecision=28000 #constraints=6650
86.86/86.91	c nbDecision=28500 #constraints=6706
88.35/88.43	c nbDecision=29000 #constraints=6732
89.95/90.09	c nbDecision=29500 #constraints=6771
91.65/91.74	c nbDecision=30000 #constraints=6809
94.15/94.26	c nbDecision=30500 #constraints=6958
96.76/96.87	c nbDecision=31000 #constraints=7058
99.44/99.60	c nbDecision=31500 #constraints=7154
102.55/102.62	c nbDecision=32000 #constraints=7267
104.84/104.96	c nbDecision=32500 #constraints=7346
107.14/107.26	c nbDecision=33000 #constraints=7415
108.94/109.07	c nbDecision=33500 #constraints=7505
110.44/110.52	c nbDecision=34000 #constraints=7582
112.15/112.23	c nbDecision=34500 #constraints=7723
113.54/113.64	c nbDecision=35000 #constraints=7788
115.04/115.13	c nbDecision=35500 #constraints=7869
116.45/116.59	c nbDecision=36000 #constraints=7936
117.94/118.07	c nbDecision=36500 #constraints=8013
119.34/119.50	c nbDecision=37000 #constraints=8080
120.74/120.84	c nbDecision=37500 #constraints=8129
122.14/122.21	c nbDecision=38000 #constraints=8176
123.54/123.69	c nbDecision=38500 #constraints=8256
124.94/125.00	c nbDecision=39000 #constraints=8288
126.24/126.32	c nbDecision=39500 #constraints=8321
127.84/127.91	c nbDecision=40000 #constraints=8351
129.54/129.63	c nbDecision=40500 #constraints=8383
132.04/132.15	c nbDecision=41000 #constraints=8463
134.04/134.13	c nbDecision=41500 #constraints=8496
136.33/136.41	c nbDecision=42000 #constraints=8581
138.84/138.96	c nbDecision=42500 #constraints=8675
140.33/140.43	c nbDecision=43000 #constraints=8728
142.03/142.10	c nbDecision=43500 #constraints=8831
143.73/143.83	c nbDecision=44000 #constraints=8942
145.33/145.42	c nbDecision=44500 #constraints=9023
146.83/146.94	c nbDecision=45000 #constraints=9096
148.63/148.71	c nbDecision=45500 #constraints=9194
150.23/150.31	c nbDecision=46000 #constraints=9270
151.82/151.91	c nbDecision=46500 #constraints=9337
153.22/153.31	c nbDecision=47000 #constraints=9384
154.42/154.59	c nbDecision=47500 #constraints=9417
155.72/155.83	c nbDecision=48000 #constraints=9438
157.02/157.15	c nbDecision=48500 #constraints=9470
158.32/158.43	c nbDecision=49000 #constraints=9499
159.73/159.81	c nbDecision=49500 #constraints=9537
161.73/161.82	c nbDecision=50000 #constraints=9583
163.63/163.79	c nbDecision=50500 #constraints=9623
166.22/166.35	c nbDecision=51000 #constraints=9719
167.32/167.48	c restart after 51201 decisions
168.22/168.31	c nbDecision=51500 #constraints=9781
169.42/169.57	c nbDecision=52000 #constraints=9806
170.92/171.08	c nbDecision=52500 #constraints=9840
173.12/173.24	c nbDecision=53000 #constraints=9887
175.42/175.52	c nbDecision=53500 #constraints=9929
177.22/177.32	c nbDecision=54000 #constraints=9957
179.32/179.45	c nbDecision=54500 #constraints=10067
181.32/181.44	c nbDecision=55000 #constraints=10175
183.31/183.46	c nbDecision=55500 #constraints=10291
184.92/185.09	c nbDecision=56000 #constraints=10354
186.82/186.99	c nbDecision=56500 #constraints=10450
188.52/188.61	c nbDecision=57000 #constraints=10514
190.31/190.45	c nbDecision=57500 #constraints=10600
192.01/192.14	c nbDecision=58000 #constraints=10666
193.51/193.69	c nbDecision=58500 #constraints=10727
194.92/195.04	c nbDecision=59000 #constraints=10773
196.22/196.34	c nbDecision=59500 #constraints=10802
197.42/197.58	c nbDecision=60000 #constraints=10826
198.81/199.00	c nbDecision=60500 #constraints=10874
200.51/200.61	c nbDecision=61000 #constraints=10940
201.91/202.05	c nbDecision=61500 #constraints=10970
203.41/203.55	c nbDecision=62000 #constraints=11015
205.01/205.13	c nbDecision=62500 #constraints=11061
206.31/206.41	c nbDecision=63000 #constraints=11066
207.61/207.72	c nbDecision=63500 #constraints=11090
209.31/209.40	c nbDecision=64000 #constraints=11160
210.61/210.78	c nbDecision=64500 #constraints=11207
211.90/212.08	c nbDecision=65000 #constraints=11227
213.10/213.29	c nbDecision=65500 #constraints=11238
214.50/214.63	c nbDecision=66000 #constraints=11264
215.80/215.96	c nbDecision=66500 #constraints=11295
217.10/217.28	c nbDecision=67000 #constraints=11316
218.51/218.69	c nbDecision=67500 #constraints=11342
219.91/220.02	c nbDecision=68000 #constraints=11368
221.21/221.32	c nbDecision=68500 #constraints=11389
222.40/222.58	c nbDecision=69000 #constraints=11408
223.70/223.88	c nbDecision=69500 #constraints=11426
225.00/225.13	c nbDecision=70000 #constraints=11438
226.30/226.41	c nbDecision=70500 #constraints=11457
227.61/227.73	c nbDecision=71000 #constraints=11471
228.90/229.01	c nbDecision=71500 #constraints=11478
230.40/230.51	c nbDecision=72000 #constraints=11505
232.30/232.45	c nbDecision=72500 #constraints=11592
234.30/234.48	c nbDecision=73000 #constraints=11682
236.00/236.18	c nbDecision=73500 #constraints=11738
237.50/237.67	c nbDecision=74000 #constraints=11778
238.79/238.98	c nbDecision=74500 #constraints=11797
240.19/240.30	c nbDecision=75000 #constraints=11820
241.49/241.68	c nbDecision=75500 #constraints=11843
243.29/243.43	c nbDecision=76000 #constraints=11888
245.49/245.69	c nbDecision=76500 #constraints=11990
248.10/248.23	c nbDecision=77000 #constraints=12075
249.60/249.73	c nbDecision=77500 #constraints=12123
250.89/251.07	c nbDecision=78000 #constraints=12150
252.29/252.48	c nbDecision=78500 #constraints=12190
253.79/253.94	c nbDecision=79000 #constraints=12229
255.09/255.24	c nbDecision=79500 #constraints=12248
256.39/256.56	c nbDecision=80000 #constraints=12265
257.68/257.80	c nbDecision=80500 #constraints=12274
258.88/259.04	c nbDecision=81000 #constraints=12281
260.28/260.44	c nbDecision=81500 #constraints=12318
261.59/261.76	c nbDecision=82000 #constraints=12327
262.98/263.11	c nbDecision=82500 #constraints=12344
264.38/264.50	c nbDecision=83000 #constraints=12370
265.68/265.81	c nbDecision=83500 #constraints=12384
267.09/267.26	c nbDecision=84000 #constraints=12419
268.49/268.61	c nbDecision=84500 #constraints=12431
269.79/269.91	c nbDecision=85000 #constraints=12440
271.08/271.20	c nbDecision=85500 #constraints=12459
272.28/272.48	c nbDecision=86000 #constraints=12474
273.88/274.09	c nbDecision=86500 #constraints=12507
275.58/275.79	c nbDecision=87000 #constraints=12570
277.58/277.77	c nbDecision=87500 #constraints=12685
279.38/279.54	c nbDecision=88000 #constraints=12749
281.28/281.46	c nbDecision=88500 #constraints=12839
283.18/283.36	c nbDecision=89000 #constraints=12914
284.78/284.94	c nbDecision=89500 #constraints=12935
286.58/286.79	c nbDecision=90000 #constraints=13008
288.27/288.43	c nbDecision=90500 #constraints=13038
289.87/290.04	c nbDecision=91000 #constraints=13070
291.38/291.55	c nbDecision=91500 #constraints=13117
292.87/293.00	c nbDecision=92000 #constraints=13157
294.27/294.46	c nbDecision=92500 #constraints=13200
295.67/295.87	c nbDecision=93000 #constraints=13220
297.48/297.68	c nbDecision=93500 #constraints=13251
299.87/300.01	c nbDecision=94000 #constraints=13301
302.28/302.45	c nbDecision=94500 #constraints=13345
304.47/304.69	c nbDecision=95000 #constraints=13372
306.87/307.05	c nbDecision=95500 #constraints=13426
309.07/309.26	c nbDecision=96000 #constraints=13459
311.37/311.52	c nbDecision=96500 #constraints=13501
313.16/313.31	c nbDecision=97000 #constraints=13575
314.96/315.18	c nbDecision=97500 #constraints=13631
316.46/316.62	c nbDecision=98000 #constraints=13659
317.86/318.01	c nbDecision=98500 #constraints=13686
319.06/319.28	c nbDecision=99000 #constraints=13694
320.46/320.64	c nbDecision=99500 #constraints=13708
321.76/321.96	c nbDecision=100000 #constraints=13727
323.16/323.37	c nbDecision=100500 #constraints=13752
324.56/324.71	c nbDecision=101000 #constraints=13775
325.85/326.00	c nbDecision=101500 #constraints=13783
327.15/327.35	c nbDecision=102000 #constraints=13803
328.15/328.37	c restart after 102401 decisions
328.55/328.72	c nbDecision=102500 #constraints=13810
329.76/329.98	c nbDecision=103000 #constraints=13829
331.05/331.27	c nbDecision=103500 #constraints=13851
333.26/333.48	c nbDecision=104000 #constraints=13873
335.76/335.98	c nbDecision=104500 #constraints=13923
337.96/338.11	c nbDecision=105000 #constraints=13946
340.16/340.33	c nbDecision=105500 #constraints=13986
342.35/342.57	c nbDecision=106000 #constraints=14012
344.55/344.79	c nbDecision=106500 #constraints=14084
346.65/346.80	c nbDecision=107000 #constraints=14156
348.05/348.28	c nbDecision=107500 #constraints=14175
349.75/349.91	c nbDecision=108000 #constraints=14214
351.25/351.41	c nbDecision=108500 #constraints=14240
352.55/352.77	c nbDecision=109000 #constraints=14252
354.05/354.25	c nbDecision=109500 #constraints=14279
355.44/355.65	c nbDecision=110000 #constraints=14299
356.84/357.02	c nbDecision=110500 #constraints=14314
358.14/358.33	c nbDecision=111000 #constraints=14325
359.54/359.70	c nbDecision=111500 #constraints=14342
361.04/361.22	c nbDecision=112000 #constraints=14367
362.44/362.66	c nbDecision=112500 #constraints=14393
363.95/364.11	c nbDecision=113000 #constraints=14410
365.34/365.57	c nbDecision=113500 #constraints=14436
366.74/366.96	c nbDecision=114000 #constraints=14455
368.25/368.41	c nbDecision=114500 #constraints=14481
369.84/370.03	c nbDecision=115000 #constraints=14507
371.34/371.55	c nbDecision=115500 #constraints=14528
372.84/373.07	c nbDecision=116000 #constraints=14547
374.34/374.53	c nbDecision=116500 #constraints=14555
375.83/376.06	c nbDecision=117000 #constraints=14583
377.24/377.47	c nbDecision=117500 #constraints=14604
378.54/378.79	c nbDecision=118000 #constraints=14614
379.94/380.14	c nbDecision=118500 #constraints=14622
381.34/381.55	c nbDecision=119000 #constraints=14637
382.74/382.99	c nbDecision=119500 #constraints=14671
384.14/384.34	c nbDecision=120000 #constraints=14686
385.44/385.65	c nbDecision=120500 #constraints=14696
386.84/387.07	c nbDecision=121000 #constraints=14705
388.34/388.58	c nbDecision=121500 #constraints=14732
389.93/390.14	c nbDecision=122000 #constraints=14762
391.53/391.70	c nbDecision=122500 #constraints=14779
392.93/393.13	c nbDecision=123000 #constraints=14790
394.33/394.50	c nbDecision=123500 #constraints=14797
395.73/395.96	c nbDecision=124000 #constraints=14814
397.13/397.36	c nbDecision=124500 #constraints=14825
398.63/398.87	c nbDecision=125000 #constraints=14846
400.13/400.35	c nbDecision=125500 #constraints=14859
401.53/401.75	c nbDecision=126000 #constraints=14866
402.83/403.09	c nbDecision=126500 #constraints=14879
404.22/404.43	c nbDecision=127000 #constraints=14894
405.63/405.82	c nbDecision=127500 #constraints=14909
407.12/407.34	c nbDecision=128000 #constraints=14927
408.73/408.90	c nbDecision=128500 #constraints=14950
410.13/410.37	c nbDecision=129000 #constraints=14962
411.53/411.71	c nbDecision=129500 #constraints=14980
412.93/413.10	c nbDecision=130000 #constraints=14992
414.23/414.45	c nbDecision=130500 #constraints=15012
415.63/415.83	c nbDecision=131000 #constraints=15021
417.03/417.27	c nbDecision=131500 #constraints=15029
418.42/418.69	c nbDecision=132000 #constraints=15037
419.92/420.10	c nbDecision=132500 #constraints=15052
421.51/421.73	c nbDecision=133000 #constraints=15081
423.11/423.34	c nbDecision=133500 #constraints=15103
424.71/424.91	c nbDecision=134000 #constraints=15129
426.31/426.52	c nbDecision=134500 #constraints=15153
427.91/428.12	c nbDecision=135000 #constraints=15168
429.41/429.67	c nbDecision=135500 #constraints=15182
430.91/431.18	c nbDecision=136000 #constraints=15190
432.51/432.77	c nbDecision=136500 #constraints=15211
434.01/434.24	c nbDecision=137000 #constraints=15223
435.81/436.03	c nbDecision=137500 #constraints=15267
437.31/437.54	c nbDecision=138000 #constraints=15273
438.81/439.04	c nbDecision=138500 #constraints=15284
440.51/440.70	c nbDecision=139000 #constraints=15307
442.11/442.33	c nbDecision=139500 #constraints=15329
443.61/443.80	c nbDecision=140000 #constraints=15336
445.01/445.28	c nbDecision=140500 #constraints=15351
446.61/446.82	c nbDecision=141000 #constraints=15364
448.11/448.39	c nbDecision=141500 #constraints=15376
449.61/449.83	c nbDecision=142000 #constraints=15386
451.21/451.47	c nbDecision=142500 #constraints=15412
452.81/453.08	c nbDecision=143000 #constraints=15428
454.30/454.53	c nbDecision=143500 #constraints=15434
455.70/456.00	c nbDecision=144000 #constraints=15455
457.20/457.46	c nbDecision=144500 #constraints=15467
458.80/459.02	c nbDecision=145000 #constraints=15481
460.31/460.59	c nbDecision=145500 #constraints=15489
461.71/461.99	c nbDecision=146000 #constraints=15506
463.20/463.44	c nbDecision=146500 #constraints=15524
464.80/465.07	c nbDecision=147000 #constraints=15547
466.40/466.68	c nbDecision=147500 #constraints=15562
468.10/468.30	c nbDecision=148000 #constraints=15583
469.70/469.90	c nbDecision=148500 #constraints=15605
471.50/471.73	c nbDecision=149000 #constraints=15655
473.29/473.59	c nbDecision=149500 #constraints=15728
475.20/475.41	c nbDecision=150000 #constraints=15779
476.90/477.13	c nbDecision=150500 #constraints=15810
478.50/478.79	c nbDecision=151000 #constraints=15833
480.20/480.46	c nbDecision=151500 #constraints=15854
481.80/482.05	c nbDecision=152000 #constraints=15862
483.10/483.35	c nbDecision=152500 #constraints=15870
484.50/484.79	c nbDecision=153000 #constraints=15888
486.00/486.22	c nbDecision=153500 #constraints=15903
487.39/487.64	c nbDecision=154000 #constraints=15917
488.79/489.02	c nbDecision=154500 #constraints=15926
490.09/490.32	c nbDecision=155000 #constraints=15935
491.69/491.90	c nbDecision=155500 #constraints=15960
493.59/493.89	c nbDecision=156000 #constraints=16035
495.59/495.89	c nbDecision=156500 #constraints=16106
497.39/497.63	c nbDecision=157000 #constraints=16130
499.09/499.37	c nbDecision=157500 #constraints=16148
500.99/501.24	c nbDecision=158000 #constraints=16172
502.78/503.01	c nbDecision=158500 #constraints=16195
504.28/504.59	c nbDecision=159000 #constraints=16225
505.98/506.28	c nbDecision=159500 #constraints=16245
507.78/508.06	c nbDecision=160000 #constraints=16269
509.58/509.87	c nbDecision=160500 #constraints=16298
511.38/511.64	c nbDecision=161000 #constraints=16344
513.09/513.39	c nbDecision=161500 #constraints=16409
514.59/514.88	c nbDecision=162000 #constraints=16419
516.38/516.64	c nbDecision=162500 #constraints=16462
518.28/518.58	c nbDecision=163000 #constraints=16520
520.18/520.49	c nbDecision=163500 #constraints=16564
521.98/522.24	c nbDecision=164000 #constraints=16583
523.68/523.93	c nbDecision=164500 #constraints=16595
525.48/525.71	c nbDecision=165000 #constraints=16609
527.17/527.47	c nbDecision=165500 #constraints=16646
528.88/529.12	c nbDecision=166000 #constraints=16689
530.27/530.52	c nbDecision=166500 #constraints=16705
531.77/532.00	c nbDecision=167000 #constraints=16713
533.27/533.54	c nbDecision=167500 #constraints=16729
534.77/535.04	c nbDecision=168000 #constraints=16754
536.37/536.66	c nbDecision=168500 #constraints=16797
537.97/538.27	c nbDecision=169000 #constraints=16811
539.66/539.94	c nbDecision=169500 #constraints=16849
541.26/541.52	c nbDecision=170000 #constraints=16865
542.76/543.07	c nbDecision=170500 #constraints=16886
544.16/544.49	c nbDecision=171000 #constraints=16898
546.26/546.52	c nbDecision=171500 #constraints=16931
548.17/548.49	c nbDecision=172000 #constraints=16959
549.97/550.22	c nbDecision=172500 #constraints=17004
551.87/552.16	c nbDecision=173000 #constraints=17057
553.86/554.20	c nbDecision=173500 #constraints=17109
555.46/555.75	c nbDecision=174000 #constraints=17127
556.96/557.23	c nbDecision=174500 #constraints=17143
558.66/558.90	c nbDecision=175000 #constraints=17189
560.76/561.07	c nbDecision=175500 #constraints=17273
562.76/563.09	c nbDecision=176000 #constraints=17331
564.86/565.10	c nbDecision=176500 #constraints=17390
566.85/567.10	c nbDecision=177000 #constraints=17432
568.65/568.92	c nbDecision=177500 #constraints=17454
570.35/570.62	c nbDecision=178000 #constraints=17471
571.95/572.22	c nbDecision=178500 #constraints=17493
573.65/573.95	c nbDecision=179000 #constraints=17531
575.15/575.44	c nbDecision=179500 #constraints=17547
576.66/576.96	c nbDecision=180000 #constraints=17565
578.26/578.59	c nbDecision=180500 #constraints=17599
580.15/580.46	c nbDecision=181000 #constraints=17615
582.45/582.77	c nbDecision=181500 #constraints=17671
584.35/584.68	c nbDecision=182000 #constraints=17701
585.95/586.28	c nbDecision=182500 #constraints=17724
588.15/588.44	c nbDecision=183000 #constraints=17785
590.14/590.43	c nbDecision=183500 #constraints=17823
591.84/592.10	c nbDecision=184000 #constraints=17832
593.55/593.90	c nbDecision=184500 #constraints=17845
595.55/595.81	c nbDecision=185000 #constraints=17870
597.15/597.40	c nbDecision=185500 #constraints=17878
598.55/598.80	c nbDecision=186000 #constraints=17887
600.54/600.85	c nbDecision=186500 #constraints=17952
602.74/603.05	c nbDecision=187000 #constraints=18000
604.64/604.94	c nbDecision=187500 #constraints=18031
606.44/606.78	c nbDecision=188000 #constraints=18061
608.54/608.83	c nbDecision=188500 #constraints=18128
610.44/610.75	c nbDecision=189000 #constraints=18173
612.24/612.57	c nbDecision=189500 #constraints=18207
614.23/614.58	c nbDecision=190000 #constraints=18274
616.13/616.46	c nbDecision=190500 #constraints=18306
618.04/618.30	c nbDecision=191000 #constraints=18338
619.54/619.84	c nbDecision=191500 #constraints=18346
621.03/621.33	c nbDecision=192000 #constraints=18353
622.53/622.81	c nbDecision=192500 #constraints=18357
623.93/624.20	c nbDecision=193000 #constraints=18362
625.33/625.61	c nbDecision=193500 #constraints=18369
627.13/627.42	c nbDecision=194000 #constraints=18427
628.73/629.07	c nbDecision=194500 #constraints=18456
630.13/630.48	c nbDecision=195000 #constraints=18462
631.63/631.92	c nbDecision=195500 #constraints=18473
633.43/633.78	c nbDecision=196000 #constraints=18488
635.63/635.91	c nbDecision=196500 #constraints=18528
637.32/637.62	c nbDecision=197000 #constraints=18540
638.92/639.20	c nbDecision=197500 #constraints=18551
640.42/640.74	c nbDecision=198000 #constraints=18565
642.02/642.35	c nbDecision=198500 #constraints=18594
643.83/644.18	c nbDecision=199000 #constraints=18626
645.73/646.08	c nbDecision=199500 #constraints=18650
647.72/648.09	c nbDecision=200000 #constraints=18691
649.62/649.99	c nbDecision=200500 #constraints=18709
651.42/651.72	c nbDecision=201000 #constraints=18717
653.13/653.43	c nbDecision=201500 #constraints=18737
654.72/655.09	c nbDecision=202000 #constraints=18759
656.52/656.85	c nbDecision=202500 #constraints=18780
658.32/658.69	c nbDecision=203000 #constraints=18792
660.42/660.71	c nbDecision=203500 #constraints=18823
662.02/662.34	c nbDecision=204000 #constraints=18863
663.61/663.93	c nbDecision=204500 #constraints=18889
664.91/665.24	c restart after 204801 decisions
665.51/665.87	c nbDecision=205000 #constraints=18906
666.91/667.20	c nbDecision=205500 #constraints=18924
668.41/668.80	c nbDecision=206000 #constraints=18965
671.22/671.54	c nbDecision=206500 #constraints=19001
673.82/674.19	c nbDecision=207000 #constraints=19014
675.61/675.97	c nbDecision=207500 #constraints=19066
678.11/678.49	c nbDecision=208000 #constraints=19161
680.31/680.62	c nbDecision=208500 #constraints=19251
682.01/682.32	c nbDecision=209000 #constraints=19306
683.41/683.79	c nbDecision=209500 #constraints=19329
685.31/685.69	c nbDecision=210000 #constraints=19365
687.50/687.88	c nbDecision=210500 #constraints=19439
689.71/690.03	c nbDecision=211000 #constraints=19508
691.51/691.82	c nbDecision=211500 #constraints=19553
693.81/694.17	c nbDecision=212000 #constraints=19645
696.00/696.38	c nbDecision=212500 #constraints=19717
697.91/698.20	c nbDecision=213000 #constraints=19755
699.90/700.27	c nbDecision=213500 #constraints=19814
702.20/702.56	c nbDecision=214000 #constraints=19894
704.60/704.91	c nbDecision=214500 #constraints=19971
706.70/707.04	c nbDecision=215000 #constraints=20035
708.80/709.13	c nbDecision=215500 #constraints=20086
710.30/710.66	c nbDecision=216000 #constraints=20114
711.70/712.05	c nbDecision=216500 #constraints=20125
713.29/713.67	c nbDecision=217000 #constraints=20156
714.99/715.37	c nbDecision=217500 #constraints=20186
716.39/716.74	c nbDecision=218000 #constraints=20196
717.90/718.25	c nbDecision=218500 #constraints=20220
719.59/719.97	c nbDecision=219000 #constraints=20250
722.09/722.45	c nbDecision=219500 #constraints=20330
724.39/724.75	c nbDecision=220000 #constraints=20378
726.09/726.47	c nbDecision=220500 #constraints=20399
728.09/728.43	c nbDecision=221000 #constraints=20435
729.89/730.29	c nbDecision=221500 #constraints=20467
732.20/732.54	c nbDecision=222000 #constraints=20513
734.39/734.78	c nbDecision=222500 #constraints=20549
736.19/736.56	c nbDecision=223000 #constraints=20582
737.69/738.00	c nbDecision=223500 #constraints=20597
739.18/739.50	c nbDecision=224000 #constraints=20616
741.18/741.59	c nbDecision=224500 #constraints=20652
743.38/743.72	c nbDecision=225000 #constraints=20689
745.39/745.75	c nbDecision=225500 #constraints=20718
747.18/747.51	c nbDecision=226000 #constraints=20744
748.98/749.32	c nbDecision=226500 #constraints=20759
751.08/751.40	c nbDecision=227000 #constraints=20801
753.18/753.51	c nbDecision=227500 #constraints=20852
755.57/755.96	c nbDecision=228000 #constraints=20897
758.07/758.46	c nbDecision=228500 #constraints=20925
760.57/760.95	c nbDecision=229000 #constraints=20979
762.88/763.26	c nbDecision=229500 #constraints=21006
765.38/765.70	c nbDecision=230000 #constraints=21056
767.07/767.47	c nbDecision=230500 #constraints=21100
768.77/769.13	c nbDecision=231000 #constraints=21128
770.47/770.82	c nbDecision=231500 #constraints=21166
771.97/772.31	c nbDecision=232000 #constraints=21180
773.37/773.76	c nbDecision=232500 #constraints=21190
774.97/775.38	c nbDecision=233000 #constraints=21222
776.57/776.97	c nbDecision=233500 #constraints=21251
778.07/778.46	c nbDecision=234000 #constraints=21270
779.77/780.16	c nbDecision=234500 #constraints=21291
781.67/782.00	c nbDecision=235000 #constraints=21318
783.67/784.09	c nbDecision=235500 #constraints=21346
785.97/786.39	c nbDecision=236000 #constraints=21367
787.67/788.05	c nbDecision=236500 #constraints=21391
789.47/789.80	c nbDecision=237000 #constraints=21441
791.06/791.44	c nbDecision=237500 #constraints=21453
792.96/793.33	c nbDecision=238000 #constraints=21497
795.26/795.62	c nbDecision=238500 #constraints=21517
797.26/797.66	c nbDecision=239000 #constraints=21530
799.46/799.86	c nbDecision=239500 #constraints=21558
801.56/801.93	c nbDecision=240000 #constraints=21572
803.26/803.69	c nbDecision=240500 #constraints=21587
804.96/805.32	c nbDecision=241000 #constraints=21609
806.66/807.09	c nbDecision=241500 #constraints=21638
808.36/808.77	c nbDecision=242000 #constraints=21646
809.95/810.38	c nbDecision=242500 #constraints=21658
811.65/812.05	c nbDecision=243000 #constraints=21685
813.35/813.75	c nbDecision=243500 #constraints=21727
815.46/815.87	c nbDecision=244000 #constraints=21761
817.16/817.53	c nbDecision=244500 #constraints=21770
819.06/819.40	c nbDecision=245000 #constraints=21803
820.65/821.04	c nbDecision=245500 #constraints=21818
822.25/822.69	c nbDecision=246000 #constraints=21834
824.45/824.82	c nbDecision=246500 #constraints=21845
826.55/826.99	c nbDecision=247000 #constraints=21870
828.25/828.68	c nbDecision=247500 #constraints=21894
830.05/830.47	c nbDecision=248000 #constraints=21920
831.85/832.24	c nbDecision=248500 #constraints=21958
834.25/834.62	c nbDecision=249000 #constraints=22003
836.25/836.64	c nbDecision=249500 #constraints=22011
838.45/838.89	c nbDecision=250000 #constraints=22033
840.35/840.70	c nbDecision=250500 #constraints=22061
841.95/842.39	c nbDecision=251000 #constraints=22080
843.65/844.02	c nbDecision=251500 #constraints=22101
845.55/845.96	c nbDecision=252000 #constraints=22127
847.94/848.37	c nbDecision=252500 #constraints=22155
850.04/850.47	c nbDecision=253000 #constraints=22170
852.04/852.43	c nbDecision=253500 #constraints=22205
854.34/854.74	c nbDecision=254000 #constraints=22233
856.74/857.11	c nbDecision=254500 #constraints=22255
858.83/859.22	c nbDecision=255000 #constraints=22285
860.53/860.94	c nbDecision=255500 #constraints=22297
862.83/863.20	c nbDecision=256000 #constraints=22308
864.84/865.24	c nbDecision=256500 #constraints=22318
866.64/867.06	c nbDecision=257000 #constraints=22333
868.54/868.93	c nbDecision=257500 #constraints=22349
870.63/871.09	c nbDecision=258000 #constraints=22363
872.94/873.31	c nbDecision=258500 #constraints=22379
874.43/874.86	c nbDecision=259000 #constraints=22390
876.33/876.74	c nbDecision=259500 #constraints=22412
878.73/879.11	c nbDecision=260000 #constraints=22431
880.83/881.26	c nbDecision=260500 #constraints=22447
883.33/883.80	c nbDecision=261000 #constraints=22480
885.63/886.09	c nbDecision=261500 #constraints=22489
887.33/887.78	c nbDecision=262000 #constraints=22499
889.53/889.96	c nbDecision=262500 #constraints=22530
891.72/892.12	c nbDecision=263000 #constraints=22540
893.92/894.33	c nbDecision=263500 #constraints=22563
896.03/896.45	c nbDecision=264000 #constraints=22580
898.33/898.70	c nbDecision=264500 #constraints=22593
900.32/900.73	c nbDecision=265000 #constraints=22605
902.52/902.97	c nbDecision=265500 #constraints=22612
904.52/904.95	c nbDecision=266000 #constraints=22625
906.42/906.82	c nbDecision=266500 #constraints=22644
908.51/909.00	c nbDecision=267000 #constraints=22658
910.81/911.27	c nbDecision=267500 #constraints=22672
913.11/913.52	c nbDecision=268000 #constraints=22681
915.21/915.62	c nbDecision=268500 #constraints=22698
917.31/917.74	c nbDecision=269000 #constraints=22717
919.61/920.03	c nbDecision=269500 #constraints=22734
921.61/922.08	c nbDecision=270000 #constraints=22741
923.31/923.75	c nbDecision=270500 #constraints=22749
925.41/925.89	c nbDecision=271000 #constraints=22766
927.61/928.01	c nbDecision=271500 #constraints=22773
930.31/930.73	c nbDecision=272000 #constraints=22802
932.31/932.76	c nbDecision=272500 #constraints=22837
933.91/934.38	c nbDecision=273000 #constraints=22846
935.61/936.01	c nbDecision=273500 #constraints=22862
937.10/937.58	c nbDecision=274000 #constraints=22884
938.90/939.32	c nbDecision=274500 #constraints=22911
943.10/943.57	c nbDecision=275000 #constraints=23035
945.10/945.51	c nbDecision=275500 #constraints=23052
947.40/947.84	c nbDecision=276000 #constraints=23091
949.70/950.16	c nbDecision=276500 #constraints=23137
951.40/951.88	c nbDecision=277000 #constraints=23154
953.40/953.85	c nbDecision=277500 #constraints=23184
955.50/955.93	c nbDecision=278000 #constraints=23221
958.20/958.64	c nbDecision=278500 #constraints=23282
960.80/961.23	c nbDecision=279000 #constraints=23321
962.89/963.32	c nbDecision=279500 #constraints=23351
964.99/965.48	c nbDecision=280000 #constraints=23379
967.69/968.17	c nbDecision=280500 #constraints=23441
969.80/970.22	c nbDecision=281000 #constraints=23467
972.19/972.69	c nbDecision=281500 #constraints=23507
974.49/974.96	c nbDecision=282000 #constraints=23552
977.18/977.65	c nbDecision=282500 #constraints=23599
979.18/979.70	c nbDecision=283000 #constraints=23622
981.88/982.30	c nbDecision=283500 #constraints=23664
984.19/984.63	c nbDecision=284000 #constraints=23697
986.19/986.67	c nbDecision=284500 #constraints=23729
988.48/988.97	c nbDecision=285000 #constraints=23770
990.69/991.17	c nbDecision=285500 #constraints=23799
992.99/993.42	c nbDecision=286000 #constraints=23842
995.48/995.93	c nbDecision=286500 #constraints=23888
997.58/998.02	c nbDecision=287000 #constraints=23905
999.88/1000.36	c nbDecision=287500 #constraints=23939
1001.98/1002.47	c nbDecision=288000 #constraints=23970
1004.38/1004.82	c nbDecision=288500 #constraints=24003
1006.67/1007.11	c nbDecision=289000 #constraints=24041
1008.87/1009.38	c nbDecision=289500 #constraints=24067
1011.27/1011.77	c nbDecision=290000 #constraints=24095
1013.48/1013.91	c nbDecision=290500 #constraints=24126
1015.77/1016.30	c nbDecision=291000 #constraints=24167
1017.67/1018.13	c nbDecision=291500 #constraints=24180
1020.37/1020.88	c nbDecision=292000 #constraints=24238
1023.07/1023.50	c nbDecision=292500 #constraints=24267
1024.77/1025.21	c nbDecision=293000 #constraints=24273
1026.37/1026.87	c nbDecision=293500 #constraints=24281
1028.17/1028.67	c nbDecision=294000 #constraints=24296
1029.97/1030.40	c nbDecision=294500 #constraints=24302
1031.57/1032.07	c nbDecision=295000 #constraints=24309
1033.47/1033.96	c nbDecision=295500 #constraints=24354
1035.06/1035.59	c nbDecision=296000 #constraints=24366
1036.66/1037.16	c nbDecision=296500 #constraints=24385
1038.46/1038.97	c nbDecision=297000 #constraints=24404
1040.16/1040.62	c nbDecision=297500 #constraints=24411
1043.06/1043.59	c nbDecision=298000 #constraints=24459
1045.27/1045.70	c nbDecision=298500 #constraints=24479
1047.46/1047.93	c nbDecision=299000 #constraints=24500
1050.86/1051.39	c nbDecision=299500 #constraints=24585
1053.96/1054.41	c nbDecision=300000 #constraints=24662
1056.36/1056.87	c nbDecision=300500 #constraints=24709
1059.45/1059.91	c nbDecision=301000 #constraints=24777
1061.96/1062.48	c nbDecision=301500 #constraints=24823
1064.55/1065.04	c nbDecision=302000 #constraints=24882
1067.65/1068.13	c nbDecision=302500 #constraints=24948
1069.75/1070.25	c nbDecision=303000 #constraints=24985
1072.35/1072.80	c nbDecision=303500 #constraints=25047
1074.55/1075.06	c nbDecision=304000 #constraints=25076
1077.05/1077.56	c nbDecision=304500 #constraints=25117
1079.65/1080.20	c nbDecision=305000 #constraints=25150
1081.95/1082.42	c nbDecision=305500 #constraints=25173
1085.05/1085.52	c nbDecision=306000 #constraints=25227
1087.45/1087.93	c nbDecision=306500 #constraints=25262
1090.64/1091.18	c nbDecision=307000 #constraints=25307
1093.65/1094.11	c nbDecision=307500 #constraints=25356
1095.84/1096.39	c nbDecision=308000 #constraints=25381
1098.44/1098.93	c nbDecision=308500 #constraints=25417
1100.94/1101.41	c nbDecision=309000 #constraints=25447
1103.24/1103.79	c nbDecision=309500 #constraints=25464
1105.73/1106.25	c nbDecision=310000 #constraints=25509
1108.83/1109.30	c nbDecision=310500 #constraints=25570
1110.94/1111.42	c nbDecision=311000 #constraints=25591
1113.53/1114.00	c nbDecision=311500 #constraints=25628
1116.13/1116.63	c nbDecision=312000 #constraints=25651
1117.93/1118.49	c nbDecision=312500 #constraints=25672
1119.63/1120.15	c nbDecision=313000 #constraints=25687
1121.53/1122.02	c nbDecision=313500 #constraints=25699
1124.53/1125.00	c nbDecision=314000 #constraints=25751
1126.12/1126.61	c nbDecision=314500 #constraints=25760
1129.62/1130.13	c nbDecision=315000 #constraints=25810
1133.32/1133.86	c nbDecision=315500 #constraints=25870
1136.53/1137.01	c nbDecision=316000 #constraints=25916
1140.12/1140.63	c nbDecision=316500 #constraints=25970
1143.53/1144.06	c nbDecision=317000 #constraints=26003
1146.22/1146.73	c nbDecision=317500 #constraints=26020
1149.22/1149.72	c nbDecision=318000 #constraints=26055
1152.32/1152.86	c nbDecision=318500 #constraints=26113
1154.32/1154.83	c nbDecision=319000 #constraints=26129
1156.41/1156.91	c nbDecision=319500 #constraints=26149
1159.11/1159.60	c nbDecision=320000 #constraints=26182
1160.91/1161.44	c nbDecision=320500 #constraints=26191
1164.02/1164.58	c nbDecision=321000 #constraints=26238
1166.42/1166.93	c nbDecision=321500 #constraints=26260
1168.72/1169.29	c nbDecision=322000 #constraints=26289
1171.31/1171.88	c nbDecision=322500 #constraints=26320
1173.71/1174.27	c nbDecision=323000 #constraints=26368
1176.31/1176.80	c nbDecision=323500 #constraints=26389
1178.40/1178.97	c nbDecision=324000 #constraints=26411
1182.02/1182.58	c nbDecision=324500 #constraints=26456
1184.51/1185.04	c nbDecision=325000 #constraints=26483
1187.11/1187.63	c nbDecision=325500 #constraints=26509
1189.21/1189.72	c nbDecision=326000 #constraints=26523
1191.81/1192.31	c nbDecision=326500 #constraints=26553
1194.80/1195.36	c nbDecision=327000 #constraints=26614
1197.00/1197.55	c nbDecision=327500 #constraints=26628
1199.40/1199.93	c nbDecision=328000 #constraints=26643
1201.81/1202.31	c nbDecision=328500 #constraints=26658
1204.30/1204.83	c nbDecision=329000 #constraints=26678
1206.60/1207.18	c nbDecision=329500 #constraints=26696
1208.90/1209.48	c nbDecision=330000 #constraints=26700
1211.50/1212.00	c nbDecision=330500 #constraints=26718
1213.60/1214.11	c nbDecision=331000 #constraints=26752
1215.59/1216.10	c nbDecision=331500 #constraints=26789
1217.20/1217.71	c nbDecision=332000 #constraints=26796
1218.69/1219.27	c nbDecision=332500 #constraints=26806
1220.39/1220.93	c nbDecision=333000 #constraints=26835
1223.09/1223.62	c nbDecision=333500 #constraints=26862
1225.89/1226.45	c nbDecision=334000 #constraints=26911
1228.59/1229.18	c nbDecision=334500 #constraints=26945
1231.40/1231.95	c nbDecision=335000 #constraints=26983
1234.29/1234.85	c nbDecision=335500 #constraints=27027
1236.99/1237.50	c nbDecision=336000 #constraints=27051
1239.19/1239.77	c nbDecision=336500 #constraints=27074
1241.39/1241.96	c nbDecision=337000 #constraints=27088
1243.78/1244.30	c nbDecision=337500 #constraints=27120
1245.88/1246.46	c nbDecision=338000 #constraints=27143
1247.89/1248.40	c nbDecision=338500 #constraints=27158
1249.78/1250.32	c nbDecision=339000 #constraints=27175
1252.17/1252.73	c nbDecision=339500 #constraints=27219
1254.95/1255.55	c nbDecision=340000 #constraints=27266
1257.35/1257.91	c nbDecision=340500 #constraints=27275
1260.45/1261.06	c nbDecision=341000 #constraints=27323
1262.75/1263.38	c nbDecision=341500 #constraints=27344
1265.45/1266.00	c nbDecision=342000 #constraints=27370
1267.33/1267.92	c nbDecision=342500 #constraints=27399
1268.93/1269.58	c nbDecision=343000 #constraints=27413
1271.03/1271.66	c nbDecision=343500 #constraints=27451
1273.52/1274.15	c nbDecision=344000 #constraints=27503
1275.51/1276.12	c nbDecision=344500 #constraints=27521
1277.41/1278.07	c nbDecision=345000 #constraints=27541
1279.29/1279.93	c nbDecision=345500 #constraints=27574
1281.79/1282.48	c nbDecision=346000 #constraints=27626
1284.69/1285.34	c nbDecision=346500 #constraints=27693
1287.09/1287.78	c nbDecision=347000 #constraints=27721
1289.49/1290.13	c nbDecision=347500 #constraints=27739
1291.69/1292.34	c nbDecision=348000 #constraints=27769
1293.99/1294.62	c nbDecision=348500 #constraints=27802
1295.68/1296.37	c nbDecision=349000 #constraints=27807
1297.48/1298.19	c nbDecision=349500 #constraints=27821
1300.97/1301.62	c nbDecision=350000 #constraints=27867
1303.27/1303.96	c nbDecision=350500 #constraints=27887
1305.86/1306.58	c nbDecision=351000 #constraints=27920
1308.16/1308.82	c nbDecision=351500 #constraints=27944
1310.36/1311.07	c nbDecision=352000 #constraints=27949
1312.76/1313.46	c nbDecision=352500 #constraints=27966
1315.05/1315.75	c nbDecision=353000 #constraints=27978
1317.06/1317.79	c nbDecision=353500 #constraints=27984
1319.05/1319.73	c nbDecision=354000 #constraints=28002
1321.25/1321.94	c nbDecision=354500 #constraints=28030
1323.65/1324.39	c nbDecision=355000 #constraints=28053
1326.76/1327.49	c nbDecision=355500 #constraints=28098
1328.76/1329.48	c nbDecision=356000 #constraints=28127
1331.05/1331.76	c nbDecision=356500 #constraints=28165
1333.15/1333.81	c nbDecision=357000 #constraints=28175
1335.65/1336.34	c nbDecision=357500 #constraints=28189
1338.95/1339.65	c nbDecision=358000 #constraints=28223
1341.05/1341.78	c nbDecision=358500 #constraints=28256
1342.95/1343.63	c nbDecision=359000 #constraints=28280
1345.94/1346.61	c nbDecision=359500 #constraints=28324
1348.44/1349.19	c nbDecision=360000 #constraints=28364
1351.44/1352.14	c nbDecision=360500 #constraints=28400
1354.14/1354.82	c nbDecision=361000 #constraints=28429
1356.14/1356.83	c nbDecision=361500 #constraints=28442
1359.34/1360.00	c nbDecision=362000 #constraints=28480
1362.14/1362.85	c nbDecision=362500 #constraints=28518
1365.34/1366.04	c nbDecision=363000 #constraints=28553
1368.44/1369.14	c nbDecision=363500 #constraints=28591
1370.84/1371.59	c nbDecision=364000 #constraints=28614
1373.34/1374.07	c nbDecision=364500 #constraints=28638
1376.54/1377.29	c nbDecision=365000 #constraints=28678
1379.74/1380.41	c nbDecision=365500 #constraints=28724
1382.93/1383.62	c nbDecision=366000 #constraints=28761
1386.03/1386.79	c nbDecision=366500 #constraints=28792
1388.33/1389.07	c nbDecision=367000 #constraints=28819
1391.53/1392.29	c nbDecision=367500 #constraints=28854
1393.92/1394.66	c nbDecision=368000 #constraints=28881
1396.42/1397.14	c nbDecision=368500 #constraints=28905
1398.92/1399.64	c nbDecision=369000 #constraints=28917
1400.63/1401.35	c nbDecision=369500 #constraints=28923
1402.42/1403.14	c nbDecision=370000 #constraints=28948
1404.32/1405.06	c nbDecision=370500 #constraints=28952
1407.02/1407.72	c nbDecision=371000 #constraints=28972
1409.03/1409.80	c nbDecision=371500 #constraints=28991
1411.73/1412.44	c nbDecision=372000 #constraints=29019
1414.12/1414.89	c nbDecision=372500 #constraints=29027
1416.52/1417.27	c nbDecision=373000 #constraints=29035
1418.72/1419.47	c nbDecision=373500 #constraints=29072
1421.01/1421.79	c nbDecision=374000 #constraints=29098
1423.51/1424.28	c nbDecision=374500 #constraints=29116
1425.92/1426.66	c nbDecision=375000 #constraints=29129
1427.61/1428.30	c nbDecision=375500 #constraints=29148
1429.41/1430.18	c nbDecision=376000 #constraints=29175
1431.21/1431.96	c nbDecision=376500 #constraints=29179
1432.91/1433.66	c nbDecision=377000 #constraints=29191
1434.81/1435.52	c nbDecision=377500 #constraints=29202
1436.61/1437.34	c nbDecision=378000 #constraints=29230
1438.30/1439.06	c nbDecision=378500 #constraints=29241
1440.31/1441.00	c nbDecision=379000 #constraints=29268
1442.10/1442.80	c nbDecision=379500 #constraints=29287
1445.30/1446.00	c nbDecision=380000 #constraints=29322
1447.70/1448.50	c nbDecision=380500 #constraints=29332
1450.40/1451.18	c nbDecision=381000 #constraints=29339
1453.10/1453.82	c nbDecision=381500 #constraints=29352
1455.41/1456.16	c nbDecision=382000 #constraints=29383
1458.01/1458.77	c nbDecision=382500 #constraints=29400
1460.70/1461.42	c nbDecision=383000 #constraints=29442
1462.40/1463.15	c nbDecision=383500 #constraints=29449
1464.10/1464.89	c nbDecision=384000 #constraints=29465
1466.20/1466.91	c nbDecision=384500 #constraints=29477
1468.00/1468.74	c nbDecision=385000 #constraints=29492
1470.40/1471.15	c nbDecision=385500 #constraints=29509
1472.90/1473.63	c nbDecision=386000 #constraints=29520
1475.30/1476.03	c nbDecision=386500 #constraints=29529
1477.89/1478.63	c nbDecision=387000 #constraints=29551
1481.09/1481.86	c nbDecision=387500 #constraints=29595
1483.59/1484.39	c nbDecision=388000 #constraints=29626
1486.80/1487.50	c nbDecision=388500 #constraints=29670
1490.49/1491.20	c nbDecision=389000 #constraints=29700
1493.29/1494.09	c nbDecision=389500 #constraints=29731
1496.29/1497.08	c nbDecision=390000 #constraints=29754
1498.29/1499.07	c nbDecision=390500 #constraints=29763
1501.08/1501.87	c nbDecision=391000 #constraints=29787
1503.78/1504.53	c nbDecision=391500 #constraints=29808
1507.38/1508.15	c nbDecision=392000 #constraints=29841
1510.88/1511.65	c nbDecision=392500 #constraints=29876
1513.99/1514.72	c nbDecision=393000 #constraints=29902
1516.68/1517.43	c nbDecision=393500 #constraints=29930
1519.88/1520.61	c nbDecision=394000 #constraints=29968
1523.57/1524.34	c nbDecision=394500 #constraints=30020
1526.97/1527.70	c nbDecision=395000 #constraints=30061
1529.38/1530.14	c nbDecision=395500 #constraints=30081
1531.28/1532.05	c nbDecision=396000 #constraints=30094
1533.18/1533.92	c nbDecision=396500 #constraints=30102
1534.78/1535.50	c nbDecision=397000 #constraints=30111
1536.27/1537.05	c nbDecision=397500 #constraints=30115
1538.57/1539.32	c nbDecision=398000 #constraints=30130
1541.38/1542.13	c nbDecision=398500 #constraints=30151
1543.67/1544.42	c nbDecision=399000 #constraints=30168
1546.37/1547.18	c nbDecision=399500 #constraints=30189
1548.47/1549.22	c nbDecision=400000 #constraints=30196
1551.37/1552.15	c nbDecision=400500 #constraints=30222
1554.57/1555.37	c nbDecision=401000 #constraints=30248
1557.76/1558.56	c nbDecision=401500 #constraints=30274
1560.67/1561.48	c nbDecision=402000 #constraints=30301
1563.37/1564.18	c nbDecision=402500 #constraints=30327
1565.67/1566.46	c nbDecision=403000 #constraints=30338
1569.06/1569.85	c nbDecision=403500 #constraints=30364
1571.86/1572.62	c nbDecision=404000 #constraints=30389
1574.16/1574.95	c nbDecision=404500 #constraints=30402
1576.86/1577.64	c nbDecision=405000 #constraints=30423
1579.66/1580.49	c nbDecision=405500 #constraints=30429
1582.26/1583.09	c nbDecision=406000 #constraints=30436
1584.26/1585.02	c nbDecision=406500 #constraints=30462
1585.85/1586.69	c nbDecision=407000 #constraints=30469
1587.66/1588.46	c nbDecision=407500 #constraints=30483
1590.15/1590.95	c nbDecision=408000 #constraints=30503
1593.05/1593.81	c nbDecision=408500 #constraints=30552
1595.85/1596.61	c nbDecision=409000 #constraints=30593
1598.95/1599.73	c nbDecision=409500 #constraints=30634
1599.55/1600.34	c restart after 409601 decisions
1601.25/1602.01	c nbDecision=410000 #constraints=30655
1602.75/1603.53	c nbDecision=410500 #constraints=30686
1605.75/1606.53	c nbDecision=411000 #constraints=30712
1611.45/1612.27	c nbDecision=411500 #constraints=30750
1616.64/1617.49	c nbDecision=412000 #constraints=30768
1622.84/1623.68	c nbDecision=412500 #constraints=30795
1628.93/1629.75	c nbDecision=413000 #constraints=30809
1632.24/1633.07	c nbDecision=413500 #constraints=30867
1636.24/1637.01	c nbDecision=414000 #constraints=30964
1639.33/1640.14	c nbDecision=414500 #constraints=31025
1643.14/1643.95	c nbDecision=415000 #constraints=31122
1646.03/1646.81	c nbDecision=415500 #constraints=31175
1648.03/1648.85	c nbDecision=416000 #constraints=31196
1651.93/1652.73	c nbDecision=416500 #constraints=31297
1654.64/1655.41	c nbDecision=417000 #constraints=31360
1657.73/1658.56	c nbDecision=417500 #constraints=31412
1661.52/1662.30	c nbDecision=418000 #constraints=31513
1664.63/1665.49	c nbDecision=418500 #constraints=31574
1668.32/1669.10	c nbDecision=419000 #constraints=31664
1671.92/1672.76	c nbDecision=419500 #constraints=31738
1675.32/1676.14	c nbDecision=420000 #constraints=31792
1678.72/1679.58	c nbDecision=420500 #constraints=31852
1681.82/1682.68	c nbDecision=421000 #constraints=31874
1685.22/1686.02	c nbDecision=421500 #constraints=31917
1688.31/1689.13	c nbDecision=422000 #constraints=31930
1691.51/1692.34	c nbDecision=422500 #constraints=31966
1694.81/1695.61	c nbDecision=423000 #constraints=31980
1697.71/1698.57	c nbDecision=423500 #constraints=32001
1700.61/1701.48	c nbDecision=424000 #constraints=32014
1703.21/1704.03	c nbDecision=424500 #constraints=32061
1705.41/1706.25	c nbDecision=425000 #constraints=32089
1708.61/1709.41	c nbDecision=425500 #constraints=32100
1711.41/1712.22	c nbDecision=426000 #constraints=32111
1714.61/1715.43	c nbDecision=426500 #constraints=32122
1717.41/1718.25	c nbDecision=427000 #constraints=32148
1719.91/1720.78	c nbDecision=427500 #constraints=32192
1722.81/1723.69	c nbDecision=428000 #constraints=32199
1725.90/1726.76	c nbDecision=428500 #constraints=32216
1727.90/1728.74	c nbDecision=429000 #constraints=32248
1729.80/1730.62	c nbDecision=429500 #constraints=32263
1732.70/1733.59	c nbDecision=430000 #constraints=32283
1735.70/1736.53	c nbDecision=430500 #constraints=32301
1738.79/1739.69	c nbDecision=431000 #constraints=32340
1741.59/1742.44	c nbDecision=431500 #constraints=32354
1744.29/1745.19	c nbDecision=432000 #constraints=32361
1747.59/1748.46	c nbDecision=432500 #constraints=32382
1750.99/1751.80	c nbDecision=433000 #constraints=32395
1753.78/1754.64	c nbDecision=433500 #constraints=32417
1756.89/1757.75	c nbDecision=434000 #constraints=32432
1759.09/1759.94	c nbDecision=434500 #constraints=32442
1761.08/1761.97	c nbDecision=435000 #constraints=32457
1764.68/1765.53	c nbDecision=435500 #constraints=32493
1767.98/1768.85	c nbDecision=436000 #constraints=32520
1771.28/1772.12	c nbDecision=436500 #constraints=32534
1773.97/1774.89	c nbDecision=437000 #constraints=32547
1777.07/1777.99	c nbDecision=437500 #constraints=32566
1779.88/1780.73	c nbDecision=438000 #constraints=32596
1783.48/1784.36	c nbDecision=438500 #constraints=32637
1786.87/1787.80	c nbDecision=439000 #constraints=32675
1790.17/1791.10	c nbDecision=439500 #constraints=32699
1793.18/1794.09	c nbDecision=440000 #constraints=32720
1795.27/1796.14	c nbDecision=440500 #constraints=32778
1798.57/1799.40	c nbDecision=441000 #constraints=32817
1800.07/1800.90	Received signal 15
1800.07/1800.90	
1800.07/1800.90	s UNKNOWN
1800.07/1800.90	
1800.07/1800.90	c user time= 1798.99 s
1800.07/1800.90	c system time= 1.09583 s
1800.07/1800.90	c wall clock time=1800.91

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/node67/watcher-356962-1176849609 -o ROOT/results/node67/solver-356962-1176849609 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.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.91 0.95 0.96 3/64 28839
/proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=1620 CPUtime=0
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160950499 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 405 167 126 317 0 84 0

[startup+0.0803899 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 28839
/proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=3076 CPUtime=0.07
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 585 0 0 0 7 0 0 0 18 0 1 0 160950499 3149824 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 769 534 131 317 0 448 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3076

[startup+0.101393 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 28839
/proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=3472 CPUtime=0.09
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 700 0 0 0 9 0 0 0 18 0 1 0 160950499 3555328 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 901 650 131 317 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3472

[startup+0.301429 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 28839
/proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=7888 CPUtime=0.29
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 1761 0 0 0 28 1 0 0 19 0 1 0 160950499 8077312 1710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 1972 1710 131 317 0 1651 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7888

[startup+0.701504 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 28839
/proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=16412 CPUtime=0.69
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 3831 0 0 0 68 1 0 0 22 0 1 0 160950499 16805888 3780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 4103 3780 131 317 0 3782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16412

[startup+1.50165 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 28840
/proc/meminfo: memFree=1853344/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=32224 CPUtime=1.5
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 7698 0 0 0 146 4 0 0 25 0 1 0 160950499 32997376 7647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 8056 7647 131 317 0 7735 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 32224

[startup+3.10194 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 28840
/proc/meminfo: memFree=1827232/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=49928 CPUtime=3.09
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12093 0 0 0 304 5 0 0 25 0 1 0 160950499 51126272 12042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 12482 12042 139 317 0 12161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49928

[startup+6.30153 s]
/proc/loadavg: 0.92 0.95 0.96 2/65 28840
/proc/meminfo: memFree=1825888/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=50708 CPUtime=6.29
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12301 0 0 0 623 6 0 0 25 0 1 0 160950499 51924992 12250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 12677 12250 139 317 0 12356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50708

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 28840
/proc/meminfo: memFree=1824168/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=52528 CPUtime=12.69
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12735 0 0 0 1263 6 0 0 25 0 1 0 160950499 53788672 12684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 13132 12684 139 317 0 12811 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52528

[startup+25.501 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 28840
/proc/meminfo: memFree=1812144/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=64592 CPUtime=25.48
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 15776 0 0 0 2541 7 0 0 25 0 1 0 160950499 66142208 15725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 16148 15725 139 317 0 15827 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64592

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.96 2/65 28840
/proc/meminfo: memFree=1785584/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=92712 CPUtime=51.07
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 22579 0 0 0 5096 11 0 0 25 0 1 0 160950499 94937088 22528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 23178 22528 170 317 0 22857 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92712

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 28840
/proc/meminfo: memFree=1729136/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=150832 CPUtime=102.25
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 36530 0 0 0 10207 18 0 0 25 0 1 0 160950499 154451968 36436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 37708 36436 170 317 0 37387 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 150832

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1659952/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=223680 CPUtime=162.23
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 53860 0 0 0 16198 25 0 0 25 0 1 0 160950499 229048320 53766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 55920 53766 170 317 0 55599 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 223680

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1605936/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=280852 CPUtime=222.2
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 67249 0 0 0 22190 30 0 0 25 0 1 0 160950499 287592448 67155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 70213 67155 170 317 0 69892 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 280852

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1566384/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=323020 CPUtime=282.18
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 77508 0 0 0 28183 35 0 0 25 0 1 0 160950499 330772480 77329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 80755 77329 170 317 0 80434 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 323020

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1537904/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=351884 CPUtime=342.15
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 84328 0 0 0 34177 38 0 0 25 0 1 0 160950499 360329216 84149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 87971 84149 170 317 0 87650 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 351884

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1513776/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=376152 CPUtime=402.12
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 90353 0 0 0 40171 41 0 0 25 0 1 0 160950499 385179648 90174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 94038 90174 170 317 0 93717 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 376152

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1499184/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=390400 CPUtime=462.1
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 93975 0 0 0 46166 44 0 0 25 0 1 0 160950499 399769600 93796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 97600 93796 170 317 0 97279 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 390400

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 28840
/proc/meminfo: memFree=1469488/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=423532 CPUtime=522.08
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 101392 0 0 0 52161 47 0 0 25 0 1 0 160950499 433696768 101213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 105883 101213 170 317 0 105562 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 423532

[startup+582.301 s]
/proc/loadavg: 1.03 0.99 0.97 2/65 28840
/proc/meminfo: memFree=1440304/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=452936 CPUtime=582.05
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 108726 0 0 0 58155 50 0 0 25 0 1 0 160950499 463806464 108547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 113234 108547 170 317 0 112913 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 452936

[startup+642.301 s]
/proc/loadavg: 1.12 1.02 0.98 2/65 28840
/proc/meminfo: memFree=1413168/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=481080 CPUtime=642.02
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 115395 0 0 0 64149 53 0 0 25 0 1 0 160950499 492625920 115216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 120270 115216 170 317 0 119949 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 481080


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

[startup+882.301 s]
/proc/loadavg: 1.02 1.02 0.99 2/65 28840
/proc/meminfo: memFree=1295856/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=604756 CPUtime=881.93
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 144678 0 0 0 88125 68 0 0 25 0 1 0 160950499 619270144 144499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 151189 144499 170 317 0 150868 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 604756

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 0.99 2/65 28840
/proc/meminfo: memFree=1278832/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=623508 CPUtime=941.91
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 149147 0 0 0 94120 71 0 0 25 0 1 0 160950499 638472192 148968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 155877 148968 170 317 0 155556 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 623508

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 28840
/proc/meminfo: memFree=1242480/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=659508 CPUtime=1001.88
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 158022 0 0 0 100112 76 0 0 25 0 1 0 160950499 675336192 157843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 164877 157843 170 317 0 164556 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 659508

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 28840
/proc/meminfo: memFree=1213104/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=691940 CPUtime=1061.86
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 165629 0 0 0 106106 80 0 0 25 0 1 0 160950499 708546560 165280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 172985 165280 170 317 0 172664 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 691940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 28840
/proc/meminfo: memFree=1182896/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=721556 CPUtime=1121.83
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 173308 0 0 0 112099 84 0 0 25 0 1 0 160950499 738873344 172959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 180389 172959 170 317 0 180068 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 721556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 28840
/proc/meminfo: memFree=1154864/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=750120 CPUtime=1181.81
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 180102 0 0 0 118093 88 0 0 25 0 1 0 160950499 768122880 179753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 187530 179753 170 317 0 187209 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 750120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 28840
/proc/meminfo: memFree=1131248/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=776608 CPUtime=1241.78
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 185882 0 0 0 124088 90 0 0 25 0 1 0 160950499 795246592 185533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 194152 185533 170 317 0 193831 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 776608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/71 29016
/proc/meminfo: memFree=1108648/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=797460 CPUtime=1301.68
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 191175 0 0 0 130076 92 0 0 25 0 1 0 160950499 816599040 190826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 199365 190826 170 317 0 199044 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 797460

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=1090160/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=817388 CPUtime=1361.64
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 196102 0 0 0 136070 94 0 0 25 0 1 0 160950499 837005312 195753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 204347 195753 170 317 0 204026 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 817388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=1065008/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=848684 CPUtime=1421.62
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 202382 0 0 0 142066 96 0 0 25 0 1 0 160950499 869052416 202033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 212171 202033 170 317 0 211850 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 848684

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=1051952/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=862120 CPUtime=1481.59
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 205665 0 0 0 148062 97 0 0 25 0 1 0 160950499 882810880 205316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 215530 205316 170 317 0 215209 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 862120

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=1032176/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=880904 CPUtime=1541.57
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 210575 0 0 0 154057 100 0 0 25 0 1 0 160950499 902045696 210226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 220226 210226 170 317 0 219905 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 880904

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=1016624/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=895776 CPUtime=1601.55
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 214528 0 0 0 160053 102 0 0 25 0 1 0 160950499 917274624 214179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 223944 214179 170 317 0 223623 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 895776

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=989424/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=924100 CPUtime=1661.52
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 221289 0 0 0 166047 105 0 0 25 0 1 0 160950499 946278400 220940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 231025 220940 170 317 0 230704 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 924100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=970992/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=942064 CPUtime=1721.5
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 225835 0 0 0 172042 108 0 0 25 0 1 0 160950499 964673536 225486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 235516 225486 170 317 0 235195 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 942064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=959728/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=953816 CPUtime=1781.48
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 228623 0 0 0 178039 109 0 0 25 0 1 0 160950499 976707584 228274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 238454 228274 170 317 0 238133 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 953816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=954544/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=959004 CPUtime=1800.07
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 229985 0 0 0 179898 109 0 0 25 0 1 0 160950499 982020096 229603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 239751 229603 170 317 0 239430 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 959004

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 29038
/proc/meminfo: memFree=954544/2055920 swapFree=4178028/4192956
[pid=28839] ppid=28837 vsize=0 CPUtime=1800.17
/proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194308 230001 0 0 0 179901 116 0 0 25 0 1 0 160950499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28839/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.08
CPU time (s): 1800.26
CPU user time (s): 1799.02
CPU system time (s): 1.24181
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 959004

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

runsolver used 1.21182 second user time and 3.83242 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue Apr 17 22:40:10 UTC 2007

IDJOB= 356962
IDBENCH= 1695
IDSOLVER= 172
FILE ID= node67/356962-1176849609

PBS_JOBID= 4590222

Free space on /tmp= 66479 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
COMMAND LINE= oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-356962-1176849609 -o ROOT/results/node67/solver-356962-1176849609 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  761eaefb829e7d3bf060fd5b86600997

RANDOM SEED= 469814357

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1875072 kB
Buffers:         20252 kB
Cached:         113372 kB
SwapCached:       9176 kB
Active:          74004 kB
Inactive:        74812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1875072 kB
SwapTotal:     4192956 kB
SwapFree:      4178028 kB
Dirty:            6364 kB
Writeback:           0 kB
Mapped:          15596 kB
Slab:            17940 kB
Committed_AS:   220032 kB
PageTables:       1452 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= 66479 MiB

End job on node67 on Tue Apr 17 23:10:13 UTC 2007