Trace number 356965

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.07 1800.67

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-pilot.we.opb
MD5SUM6d89097601cc17df3da06374ded173c4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
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 constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 9798
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526457
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526457
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...
0.79/0.88	c ...done
0.79/0.88	c #vars=77678 #constraints=1600 hasObjective=yes
0.99/1.05	c res. mode=mod
0.99/1.05	c VSIDS like heuristics
0.99/1.05	c complete search running
2.39/2.44	c restart after 401 decisions
2.69/2.75	c nbDecision=500 #constraints=1669
3.78/3.80	c restart after 801 decisions
4.39/4.43	c nbDecision=1000 #constraints=1743
6.19/6.29	c nbDecision=1500 #constraints=1937
6.69/6.75	c restart after 1601 decisions
8.09/8.10	c nbDecision=2000 #constraints=2064
9.69/9.79	c nbDecision=2500 #constraints=2164
11.69/11.73	c nbDecision=3000 #constraints=2369
12.39/12.44	c restart after 3201 decisions
13.39/13.45	c nbDecision=3500 #constraints=2458
15.08/15.15	c nbDecision=4000 #constraints=2546
16.89/16.91	c nbDecision=4500 #constraints=2671
18.49/18.59	c nbDecision=5000 #constraints=2769
20.19/20.20	c nbDecision=5500 #constraints=2823
21.79/21.86	c nbDecision=6000 #constraints=2895
23.09/23.17	c restart after 6401 decisions
23.49/23.51	c nbDecision=6500 #constraints=2943
25.08/25.19	c nbDecision=7000 #constraints=2996
26.78/26.89	c nbDecision=7500 #constraints=3071
28.48/28.58	c nbDecision=8000 #constraints=3131
30.18/30.25	c nbDecision=8500 #constraints=3199
31.89/31.97	c nbDecision=9000 #constraints=3310
33.58/33.69	c nbDecision=9500 #constraints=3423
35.28/35.39	c nbDecision=10000 #constraints=3525
37.08/37.12	c nbDecision=10500 #constraints=3642
38.68/38.74	c nbDecision=11000 #constraints=3668
40.28/40.37	c nbDecision=11500 #constraints=3721
41.98/42.02	c nbDecision=12000 #constraints=3782
43.58/43.66	c nbDecision=12500 #constraints=3813
44.68/44.72	c restart after 12801 decisions
45.38/45.40	c nbDecision=13000 #constraints=3868
47.07/47.17	c nbDecision=13500 #constraints=3928
48.77/48.85	c nbDecision=14000 #constraints=3984
50.48/50.56	c nbDecision=14500 #constraints=4048
52.18/52.20	c nbDecision=15000 #constraints=4097
53.79/53.88	c nbDecision=15500 #constraints=4151
55.48/55.51	c nbDecision=16000 #constraints=4175
57.18/57.23	c nbDecision=16500 #constraints=4257
58.78/58.85	c nbDecision=17000 #constraints=4282
60.48/60.52	c nbDecision=17500 #constraints=4353
62.17/62.23	c nbDecision=18000 #constraints=4432
63.78/63.85	c nbDecision=18500 #constraints=4448
65.47/65.51	c nbDecision=19000 #constraints=4486
67.17/67.20	c nbDecision=19500 #constraints=4557
68.77/68.86	c nbDecision=20000 #constraints=4588
70.57/70.68	c nbDecision=20500 #constraints=4701
72.37/72.44	c nbDecision=21000 #constraints=4787
74.17/74.21	c nbDecision=21500 #constraints=4888
75.88/75.92	c nbDecision=22000 #constraints=4979
77.67/77.73	c nbDecision=22500 #constraints=5094
79.27/79.39	c nbDecision=23000 #constraints=5153
81.07/81.19	c nbDecision=23500 #constraints=5280
82.87/82.90	c nbDecision=24000 #constraints=5352
84.57/84.60	c nbDecision=24500 #constraints=5414
86.17/86.26	c nbDecision=25000 #constraints=5462
87.87/87.97	c nbDecision=25500 #constraints=5513
88.26/88.30	c restart after 25601 decisions
89.66/89.80	c nbDecision=26000 #constraints=5553
91.77/91.87	c nbDecision=26500 #constraints=5661
93.47/93.57	c nbDecision=27000 #constraints=5691
95.27/95.33	c nbDecision=27500 #constraints=5766
96.97/97.07	c nbDecision=28000 #constraints=5838
98.67/98.79	c nbDecision=28500 #constraints=5905
100.47/100.54	c nbDecision=29000 #constraints=5972
102.17/102.26	c nbDecision=29500 #constraints=6037
103.86/103.99	c nbDecision=30000 #constraints=6090
105.66/105.79	c nbDecision=30500 #constraints=6209
107.46/107.53	c nbDecision=31000 #constraints=6298
109.26/109.32	c nbDecision=31500 #constraints=6395
110.96/111.01	c nbDecision=32000 #constraints=6438
112.56/112.68	c nbDecision=32500 #constraints=6485
114.26/114.37	c nbDecision=33000 #constraints=6526
115.97/116.04	c nbDecision=33500 #constraints=6571
117.57/117.68	c nbDecision=34000 #constraints=6603
119.26/119.37	c nbDecision=34500 #constraints=6658
120.97/121.01	c nbDecision=35000 #constraints=6680
122.56/122.68	c nbDecision=35500 #constraints=6712
124.27/124.34	c nbDecision=36000 #constraints=6744
125.86/125.99	c nbDecision=36500 #constraints=6766
127.56/127.69	c nbDecision=37000 #constraints=6814
129.26/129.36	c nbDecision=37500 #constraints=6849
130.96/131.09	c nbDecision=38000 #constraints=6913
132.66/132.79	c nbDecision=38500 #constraints=6959
134.36/134.44	c nbDecision=39000 #constraints=6979
136.05/136.14	c nbDecision=39500 #constraints=7037
137.75/137.83	c nbDecision=40000 #constraints=7076
139.35/139.48	c nbDecision=40500 #constraints=7098
141.05/141.14	c nbDecision=41000 #constraints=7125
142.75/142.84	c nbDecision=41500 #constraints=7165
144.46/144.58	c nbDecision=42000 #constraints=7212
146.26/146.35	c nbDecision=42500 #constraints=7281
147.96/148.05	c nbDecision=43000 #constraints=7315
149.66/149.76	c nbDecision=43500 #constraints=7350
151.46/151.52	c nbDecision=44000 #constraints=7409
153.16/153.26	c nbDecision=44500 #constraints=7448
154.86/154.93	c nbDecision=45000 #constraints=7471
156.56/156.66	c nbDecision=45500 #constraints=7519
158.26/158.37	c nbDecision=46000 #constraints=7554
159.95/160.03	c nbDecision=46500 #constraints=7581
161.66/161.70	c nbDecision=47000 #constraints=7604
163.25/163.36	c nbDecision=47500 #constraints=7617
164.95/165.05	c nbDecision=48000 #constraints=7644
166.65/166.73	c nbDecision=48500 #constraints=7660
168.35/168.45	c nbDecision=49000 #constraints=7697
170.05/170.15	c nbDecision=49500 #constraints=7728
171.75/171.89	c nbDecision=50000 #constraints=7770
173.55/173.61	c nbDecision=50500 #constraints=7810
175.25/175.34	c nbDecision=51000 #constraints=7837
175.95/176.04	c restart after 51201 decisions
177.05/177.17	c nbDecision=51500 #constraints=7856
178.94/179.07	c nbDecision=52000 #constraints=7894
180.94/181.03	c nbDecision=52500 #constraints=7966
182.84/183.00	c nbDecision=53000 #constraints=8028
184.74/184.88	c nbDecision=53500 #constraints=8087
186.64/186.73	c nbDecision=54000 #constraints=8131
188.45/188.50	c nbDecision=54500 #constraints=8162
190.25/190.37	c nbDecision=55000 #constraints=8223
192.05/192.11	c nbDecision=55500 #constraints=8236
193.84/193.94	c nbDecision=56000 #constraints=8291
195.84/195.98	c nbDecision=56500 #constraints=8436
197.74/197.81	c nbDecision=57000 #constraints=8493
199.64/199.76	c nbDecision=57500 #constraints=8597
201.64/201.75	c nbDecision=58000 #constraints=8702
203.64/203.77	c nbDecision=58500 #constraints=8799
205.64/205.76	c nbDecision=59000 #constraints=8889
207.63/207.74	c nbDecision=59500 #constraints=8997
209.54/209.69	c nbDecision=60000 #constraints=9091
211.44/211.56	c nbDecision=60500 #constraints=9158
213.44/213.59	c nbDecision=61000 #constraints=9242
215.34/215.43	c nbDecision=61500 #constraints=9306
217.44/217.57	c nbDecision=62000 #constraints=9429
219.33/219.47	c nbDecision=62500 #constraints=9489
221.33/221.47	c nbDecision=63000 #constraints=9579
223.33/223.48	c nbDecision=63500 #constraints=9663
225.33/225.45	c nbDecision=64000 #constraints=9738
227.13/227.26	c nbDecision=64500 #constraints=9769
229.03/229.11	c nbDecision=65000 #constraints=9808
230.94/231.07	c nbDecision=65500 #constraints=9859
232.84/232.95	c nbDecision=66000 #constraints=9903
234.73/234.84	c nbDecision=66500 #constraints=9938
236.63/236.72	c nbDecision=67000 #constraints=9977
238.33/238.49	c nbDecision=67500 #constraints=9999
240.53/240.63	c nbDecision=68000 #constraints=10076
242.53/242.65	c nbDecision=68500 #constraints=10127
244.43/244.50	c nbDecision=69000 #constraints=10160
246.43/246.51	c nbDecision=69500 #constraints=10219
248.53/248.69	c nbDecision=70000 #constraints=10291
250.63/250.79	c nbDecision=70500 #constraints=10352
252.63/252.72	c nbDecision=71000 #constraints=10394
254.63/254.70	c nbDecision=71500 #constraints=10454
256.53/256.62	c nbDecision=72000 #constraints=10526
258.53/258.63	c nbDecision=72500 #constraints=10611
260.53/260.68	c nbDecision=73000 #constraints=10714
262.53/262.69	c nbDecision=73500 #constraints=10791
264.33/264.45	c nbDecision=74000 #constraints=10807
266.33/266.45	c nbDecision=74500 #constraints=10864
268.33/268.49	c nbDecision=75000 #constraints=10923
270.43/270.57	c nbDecision=75500 #constraints=10989
272.42/272.51	c nbDecision=76000 #constraints=11023
274.42/274.56	c nbDecision=76500 #constraints=11072
276.42/276.57	c nbDecision=77000 #constraints=11129
278.32/278.47	c nbDecision=77500 #constraints=11181
280.32/280.41	c nbDecision=78000 #constraints=11228
282.12/282.24	c nbDecision=78500 #constraints=11261
284.02/284.11	c nbDecision=79000 #constraints=11299
285.93/286.04	c nbDecision=79500 #constraints=11350
287.72/287.88	c nbDecision=80000 #constraints=11382
289.52/289.68	c nbDecision=80500 #constraints=11404
291.43/291.57	c nbDecision=81000 #constraints=11431
293.63/293.72	c nbDecision=81500 #constraints=11504
295.62/295.73	c nbDecision=82000 #constraints=11556
297.52/297.68	c nbDecision=82500 #constraints=11611
299.42/299.51	c nbDecision=83000 #constraints=11631
301.22/301.37	c nbDecision=83500 #constraints=11656
303.22/303.35	c nbDecision=84000 #constraints=11689
305.32/305.49	c nbDecision=84500 #constraints=11748
307.32/307.42	c nbDecision=85000 #constraints=11768
309.22/309.37	c nbDecision=85500 #constraints=11827
311.01/311.20	c nbDecision=86000 #constraints=11840
312.91/313.04	c nbDecision=86500 #constraints=11863
314.71/314.85	c nbDecision=87000 #constraints=11885
316.62/316.72	c nbDecision=87500 #constraints=11919
318.81/318.91	c nbDecision=88000 #constraints=11974
320.91/321.02	c nbDecision=88500 #constraints=12013
322.81/322.91	c nbDecision=89000 #constraints=12034
324.81/324.90	c nbDecision=89500 #constraints=12073
326.71/326.87	c nbDecision=90000 #constraints=12107
328.71/328.85	c nbDecision=90500 #constraints=12160
330.91/331.07	c nbDecision=91000 #constraints=12224
333.00/333.10	c nbDecision=91500 #constraints=12266
334.80/334.99	c nbDecision=92000 #constraints=12291
336.70/336.81	c nbDecision=92500 #constraints=12299
338.71/338.88	c nbDecision=93000 #constraints=12339
340.81/340.90	c nbDecision=93500 #constraints=12381
342.61/342.79	c nbDecision=94000 #constraints=12405
344.51/344.68	c nbDecision=94500 #constraints=12433
346.41/346.55	c nbDecision=95000 #constraints=12449
348.21/348.34	c nbDecision=95500 #constraints=12464
350.20/350.34	c nbDecision=96000 #constraints=12499
352.10/352.23	c nbDecision=96500 #constraints=12521
353.90/354.08	c nbDecision=97000 #constraints=12539
355.90/356.01	c nbDecision=97500 #constraints=12554
357.80/357.93	c nbDecision=98000 #constraints=12587
359.60/359.77	c nbDecision=98500 #constraints=12603
361.50/361.62	c nbDecision=99000 #constraints=12623
363.39/363.50	c nbDecision=99500 #constraints=12658
365.29/365.41	c nbDecision=100000 #constraints=12723
367.19/367.34	c nbDecision=100500 #constraints=12755
369.29/369.44	c nbDecision=101000 #constraints=12844
371.19/371.33	c nbDecision=101500 #constraints=12881
373.09/373.27	c nbDecision=102000 #constraints=12976
374.69/374.80	c restart after 102401 decisions
375.29/375.41	c nbDecision=102500 #constraints=13016
377.49/377.63	c nbDecision=103000 #constraints=13071
379.60/379.78	c nbDecision=103500 #constraints=13114
381.99/382.19	c nbDecision=104000 #constraints=13218
384.29/384.43	c nbDecision=104500 #constraints=13321
386.59/386.74	c nbDecision=105000 #constraints=13416
388.79/388.95	c nbDecision=105500 #constraints=13528
390.98/391.10	c nbDecision=106000 #constraints=13650
392.88/393.01	c nbDecision=106500 #constraints=13784
395.39/395.58	c nbDecision=107000 #constraints=13879
397.69/397.89	c nbDecision=107500 #constraints=13932
400.19/400.36	c nbDecision=108000 #constraints=14038
402.18/402.35	c nbDecision=108500 #constraints=14083
404.28/404.41	c nbDecision=109000 #constraints=14152
406.28/406.46	c nbDecision=109500 #constraints=14200
408.48/408.69	c nbDecision=110000 #constraints=14306
410.68/410.88	c nbDecision=110500 #constraints=14407
412.98/413.11	c nbDecision=111000 #constraints=14473
414.98/415.17	c nbDecision=111500 #constraints=14530
417.28/417.47	c nbDecision=112000 #constraints=14661
419.58/419.78	c nbDecision=112500 #constraints=14788
421.98/422.12	c nbDecision=113000 #constraints=14935
424.38/424.52	c nbDecision=113500 #constraints=15108
426.77/426.95	c nbDecision=114000 #constraints=15273
428.88/429.07	c nbDecision=114500 #constraints=15353
431.18/431.31	c nbDecision=115000 #constraints=15463
433.28/433.49	c nbDecision=115500 #constraints=15561
435.38/435.52	c nbDecision=116000 #constraints=15622
437.48/437.61	c nbDecision=116500 #constraints=15710
439.67/439.81	c nbDecision=117000 #constraints=15808
441.98/442.11	c nbDecision=117500 #constraints=15917
444.37/444.51	c nbDecision=118000 #constraints=16038
446.57/446.77	c nbDecision=118500 #constraints=16123
448.97/449.13	c nbDecision=119000 #constraints=16229
451.06/451.23	c nbDecision=119500 #constraints=16281
453.17/453.31	c nbDecision=120000 #constraints=16350
455.37/455.54	c nbDecision=120500 #constraints=16430
457.47/457.62	c nbDecision=121000 #constraints=16499
459.57/459.80	c nbDecision=121500 #constraints=16570
461.97/462.19	c nbDecision=122000 #constraints=16671
464.16/464.38	c nbDecision=122500 #constraints=16753
466.27/466.49	c nbDecision=123000 #constraints=16804
468.66/468.81	c nbDecision=123500 #constraints=16907
470.96/471.16	c nbDecision=124000 #constraints=16998
473.16/473.32	c nbDecision=124500 #constraints=17069
475.17/475.30	c nbDecision=125000 #constraints=17097
477.17/477.39	c nbDecision=125500 #constraints=17146
479.26/479.44	c nbDecision=126000 #constraints=17199
481.36/481.57	c nbDecision=126500 #constraints=17267
483.56/483.77	c nbDecision=127000 #constraints=17346
485.76/485.95	c nbDecision=127500 #constraints=17401
487.86/488.02	c nbDecision=128000 #constraints=17449
490.16/490.31	c nbDecision=128500 #constraints=17509
492.26/492.49	c nbDecision=129000 #constraints=17551
494.56/494.75	c nbDecision=129500 #constraints=17606
496.85/497.03	c nbDecision=130000 #constraints=17668
499.16/499.40	c nbDecision=130500 #constraints=17732
501.46/501.65	c nbDecision=131000 #constraints=17793
503.86/504.04	c nbDecision=131500 #constraints=17867
506.06/506.26	c nbDecision=132000 #constraints=17916
508.16/508.38	c nbDecision=132500 #constraints=17982
510.46/510.63	c nbDecision=133000 #constraints=18051
512.55/512.76	c nbDecision=133500 #constraints=18104
514.66/514.86	c nbDecision=134000 #constraints=18156
516.55/516.78	c nbDecision=134500 #constraints=18171
518.65/518.89	c nbDecision=135000 #constraints=18220
520.75/520.91	c nbDecision=135500 #constraints=18248
522.94/523.15	c nbDecision=136000 #constraints=18315
525.15/525.31	c nbDecision=136500 #constraints=18359
527.15/527.35	c nbDecision=137000 #constraints=18386
529.25/529.45	c nbDecision=137500 #constraints=18405
531.35/531.56	c nbDecision=138000 #constraints=18432
533.45/533.61	c nbDecision=138500 #constraints=18446
535.65/535.80	c nbDecision=139000 #constraints=18497
537.84/538.05	c nbDecision=139500 #constraints=18569
540.04/540.26	c nbDecision=140000 #constraints=18619
542.34/542.50	c nbDecision=140500 #constraints=18678
544.35/544.59	c nbDecision=141000 #constraints=18699
546.55/546.76	c nbDecision=141500 #constraints=18742
548.64/548.82	c nbDecision=142000 #constraints=18771
550.74/551.00	c nbDecision=142500 #constraints=18817
552.84/553.07	c nbDecision=143000 #constraints=18851
555.14/555.35	c nbDecision=143500 #constraints=18906
557.55/557.79	c nbDecision=144000 #constraints=18991
559.84/560.07	c nbDecision=144500 #constraints=19043
562.04/562.27	c nbDecision=145000 #constraints=19095
564.14/564.38	c nbDecision=145500 #constraints=19118
566.43/566.64	c nbDecision=146000 #constraints=19159
568.44/568.66	c nbDecision=146500 #constraints=19176
570.53/570.74	c nbDecision=147000 #constraints=19207
572.73/572.90	c nbDecision=147500 #constraints=19254
574.73/574.97	c nbDecision=148000 #constraints=19281
576.83/577.07	c nbDecision=148500 #constraints=19308
579.04/579.26	c nbDecision=149000 #constraints=19361
581.04/581.28	c nbDecision=149500 #constraints=19381
583.33/583.52	c nbDecision=150000 #constraints=19436
585.43/585.64	c nbDecision=150500 #constraints=19469
587.43/587.64	c nbDecision=151000 #constraints=19481
589.44/589.67	c nbDecision=151500 #constraints=19510
591.54/591.79	c nbDecision=152000 #constraints=19552
593.63/593.88	c nbDecision=152500 #constraints=19577
595.73/596.00	c nbDecision=153000 #constraints=19610
597.83/598.04	c nbDecision=153500 #constraints=19650
600.02/600.23	c nbDecision=154000 #constraints=19693
602.12/602.37	c nbDecision=154500 #constraints=19736
604.22/604.45	c nbDecision=155000 #constraints=19752
606.42/606.62	c nbDecision=155500 #constraints=19795
608.62/608.87	c nbDecision=156000 #constraints=19846
610.72/610.99	c nbDecision=156500 #constraints=19884
612.82/613.07	c nbDecision=157000 #constraints=19900
614.82/615.08	c nbDecision=157500 #constraints=19920
617.02/617.24	c nbDecision=158000 #constraints=19953
619.13/619.31	c nbDecision=158500 #constraints=19971
621.12/621.38	c nbDecision=159000 #constraints=20005
623.32/623.55	c nbDecision=159500 #constraints=20042
625.52/625.77	c nbDecision=160000 #constraints=20083
627.72/627.95	c nbDecision=160500 #constraints=20114
629.72/629.98	c nbDecision=161000 #constraints=20132
631.92/632.16	c nbDecision=161500 #constraints=20169
634.02/634.22	c nbDecision=162000 #constraints=20182
636.12/636.30	c nbDecision=162500 #constraints=20203
638.32/638.50	c nbDecision=163000 #constraints=20250
640.42/640.65	c nbDecision=163500 #constraints=20282
642.52/642.78	c nbDecision=164000 #constraints=20318
644.71/644.96	c nbDecision=164500 #constraints=20338
646.91/647.20	c nbDecision=165000 #constraints=20384
649.11/649.33	c nbDecision=165500 #constraints=20407
651.31/651.54	c nbDecision=166000 #constraints=20440
653.42/653.61	c nbDecision=166500 #constraints=20473
655.52/655.72	c nbDecision=167000 #constraints=20505
657.62/657.81	c nbDecision=167500 #constraints=20526
659.72/659.93	c nbDecision=168000 #constraints=20549
661.81/662.00	c nbDecision=168500 #constraints=20572
664.01/664.24	c nbDecision=169000 #constraints=20610
666.11/666.35	c nbDecision=169500 #constraints=20639
668.41/668.69	c nbDecision=170000 #constraints=20702
670.61/670.86	c nbDecision=170500 #constraints=20733
672.91/673.18	c nbDecision=171000 #constraints=20774
675.30/675.54	c nbDecision=171500 #constraints=20819
677.60/677.81	c nbDecision=172000 #constraints=20857
679.80/680.02	c nbDecision=172500 #constraints=20898
682.11/682.34	c nbDecision=173000 #constraints=20944
684.31/684.55	c nbDecision=173500 #constraints=20978
686.51/686.72	c nbDecision=174000 #constraints=20999
688.71/688.96	c nbDecision=174500 #constraints=21030
691.10/691.32	c nbDecision=175000 #constraints=21073
693.10/693.39	c nbDecision=175500 #constraints=21095
695.20/695.45	c nbDecision=176000 #constraints=21120
697.40/697.61	c nbDecision=176500 #constraints=21149
699.50/699.77	c nbDecision=177000 #constraints=21178
701.90/702.17	c nbDecision=177500 #constraints=21215
704.09/704.31	c nbDecision=178000 #constraints=21238
706.09/706.38	c nbDecision=178500 #constraints=21249
708.49/708.79	c nbDecision=179000 #constraints=21292
710.69/710.95	c nbDecision=179500 #constraints=21324
713.29/713.51	c nbDecision=180000 #constraints=21383
715.80/716.05	c nbDecision=180500 #constraints=21439
718.10/718.30	c nbDecision=181000 #constraints=21465
720.20/720.45	c nbDecision=181500 #constraints=21482
722.40/722.70	c nbDecision=182000 #constraints=21504
724.99/725.26	c nbDecision=182500 #constraints=21550
727.19/727.44	c nbDecision=183000 #constraints=21572
729.39/729.67	c nbDecision=183500 #constraints=21601
731.89/732.14	c nbDecision=184000 #constraints=21633
734.49/734.79	c nbDecision=184500 #constraints=21664
736.89/737.15	c nbDecision=185000 #constraints=21703
739.28/739.58	c nbDecision=185500 #constraints=21752
741.58/741.86	c nbDecision=186000 #constraints=21771
744.29/744.55	c nbDecision=186500 #constraints=21832
746.49/746.74	c nbDecision=187000 #constraints=21855
748.69/748.91	c nbDecision=187500 #constraints=21870
750.99/751.27	c nbDecision=188000 #constraints=21896
753.39/753.66	c nbDecision=188500 #constraints=21934
755.59/755.85	c nbDecision=189000 #constraints=21962
757.99/758.25	c nbDecision=189500 #constraints=21988
760.39/760.65	c nbDecision=190000 #constraints=22022
762.99/763.23	c nbDecision=190500 #constraints=22046
765.58/765.84	c nbDecision=191000 #constraints=22093
768.18/768.42	c nbDecision=191500 #constraints=22141
770.58/770.81	c nbDecision=192000 #constraints=22176
773.18/773.45	c nbDecision=192500 #constraints=22226
775.68/775.98	c nbDecision=193000 #constraints=22288
778.08/778.38	c nbDecision=193500 #constraints=22320
780.38/780.66	c nbDecision=194000 #constraints=22351
782.88/783.19	c nbDecision=194500 #constraints=22400
785.27/785.57	c nbDecision=195000 #constraints=22442
787.57/787.86	c nbDecision=195500 #constraints=22465
790.07/790.32	c nbDecision=196000 #constraints=22499
792.37/792.61	c nbDecision=196500 #constraints=22527
794.67/794.92	c nbDecision=197000 #constraints=22569
796.97/797.27	c nbDecision=197500 #constraints=22600
799.37/799.65	c nbDecision=198000 #constraints=22643
801.57/801.87	c nbDecision=198500 #constraints=22684
803.87/804.15	c nbDecision=199000 #constraints=22713
806.26/806.50	c nbDecision=199500 #constraints=22762
808.36/808.69	c nbDecision=200000 #constraints=22775
810.66/810.92	c nbDecision=200500 #constraints=22800
812.97/813.23	c nbDecision=201000 #constraints=22837
815.37/815.63	c nbDecision=201500 #constraints=22879
817.67/817.95	c nbDecision=202000 #constraints=22922
820.27/820.50	c nbDecision=202500 #constraints=22962
822.47/822.78	c nbDecision=203000 #constraints=22994
824.87/825.16	c nbDecision=203500 #constraints=23027
826.97/827.29	c nbDecision=204000 #constraints=23046
829.26/829.53	c nbDecision=204500 #constraints=23077
830.86/831.10	c restart after 204801 decisions
832.37/832.69	c nbDecision=205000 #constraints=23110
835.76/836.09	c nbDecision=205500 #constraints=23189
838.86/839.19	c nbDecision=206000 #constraints=23253
841.56/841.88	c nbDecision=206500 #constraints=23327
844.86/845.13	c nbDecision=207000 #constraints=23399
847.65/848.00	c nbDecision=207500 #constraints=23487
850.86/851.14	c nbDecision=208000 #constraints=23609
853.66/853.92	c nbDecision=208500 #constraints=23712
856.85/857.18	c nbDecision=209000 #constraints=23801
859.45/859.75	c nbDecision=209500 #constraints=23853
862.05/862.33	c nbDecision=210000 #constraints=23933
864.55/864.82	c nbDecision=210500 #constraints=24004
867.26/867.56	c nbDecision=211000 #constraints=24118
870.16/870.48	c nbDecision=211500 #constraints=24240
872.95/873.28	c nbDecision=212000 #constraints=24361
875.85/876.17	c nbDecision=212500 #constraints=24466
879.15/879.42	c nbDecision=213000 #constraints=24523
882.35/882.62	c nbDecision=213500 #constraints=24611
884.84/885.14	c nbDecision=214000 #constraints=24793
889.44/889.79	c nbDecision=214500 #constraints=24873
892.04/892.39	c nbDecision=215000 #constraints=24958
895.15/895.49	c nbDecision=215500 #constraints=25014
898.05/898.36	c nbDecision=216000 #constraints=25059
901.45/901.78	c nbDecision=216500 #constraints=25139
903.95/904.27	c nbDecision=217000 #constraints=25151
907.35/907.63	c nbDecision=217500 #constraints=25210
910.24/910.52	c nbDecision=218000 #constraints=25249
912.84/913.10	c nbDecision=218500 #constraints=25268
916.24/916.54	c nbDecision=219000 #constraints=25332
919.24/919.57	c nbDecision=219500 #constraints=25360
922.14/922.46	c nbDecision=220000 #constraints=25415
924.84/925.19	c nbDecision=220500 #constraints=25439
928.04/928.34	c nbDecision=221000 #constraints=25484
930.73/931.09	c nbDecision=221500 #constraints=25514
933.83/934.17	c nbDecision=222000 #constraints=25554
936.74/937.06	c nbDecision=222500 #constraints=25600
939.54/939.88	c nbDecision=223000 #constraints=25628
942.84/943.13	c nbDecision=223500 #constraints=25664
946.14/946.44	c nbDecision=224000 #constraints=25706
949.04/949.37	c nbDecision=224500 #constraints=25737
952.43/952.78	c nbDecision=225000 #constraints=25784
955.13/955.48	c nbDecision=225500 #constraints=25800
958.53/958.85	c nbDecision=226000 #constraints=25844
961.33/961.66	c nbDecision=226500 #constraints=25869
964.33/964.65	c nbDecision=227000 #constraints=25904
967.13/967.44	c nbDecision=227500 #constraints=25937
970.23/970.57	c nbDecision=228000 #constraints=25965
973.02/973.36	c nbDecision=228500 #constraints=25976
975.82/976.17	c nbDecision=229000 #constraints=26007
978.63/978.95	c nbDecision=229500 #constraints=26020
981.42/981.70	c nbDecision=230000 #constraints=26039
983.82/984.13	c nbDecision=230500 #constraints=26076
986.42/986.76	c nbDecision=231000 #constraints=26106
988.92/989.25	c nbDecision=231500 #constraints=26168
991.42/991.78	c nbDecision=232000 #constraints=26250
993.92/994.25	c nbDecision=232500 #constraints=26316
996.92/997.21	c nbDecision=233000 #constraints=26347
999.62/999.95	c nbDecision=233500 #constraints=26369
1002.32/1002.64	c nbDecision=234000 #constraints=26402
1005.92/1006.20	c nbDecision=234500 #constraints=26449
1008.52/1008.87	c nbDecision=235000 #constraints=26475
1011.82/1012.18	c nbDecision=235500 #constraints=26524
1015.71/1016.06	c nbDecision=236000 #constraints=26585
1019.71/1020.02	c nbDecision=236500 #constraints=26662
1023.01/1023.30	c nbDecision=237000 #constraints=26698
1025.91/1026.24	c nbDecision=237500 #constraints=26736
1029.51/1029.80	c nbDecision=238000 #constraints=26800
1032.31/1032.69	c nbDecision=238500 #constraints=26833
1034.91/1035.23	c nbDecision=239000 #constraints=26849
1038.21/1038.52	c nbDecision=239500 #constraints=26895
1040.81/1041.13	c nbDecision=240000 #constraints=26919
1043.61/1043.91	c nbDecision=240500 #constraints=26939
1046.71/1047.10	c nbDecision=241000 #constraints=26963
1049.31/1049.66	c nbDecision=241500 #constraints=26975
1051.71/1052.02	c nbDecision=242000 #constraints=26991
1054.11/1054.46	c nbDecision=242500 #constraints=26995
1056.71/1057.04	c nbDecision=243000 #constraints=27007
1059.40/1059.74	c nbDecision=243500 #constraints=27047
1062.40/1062.79	c nbDecision=244000 #constraints=27145
1065.61/1065.90	c nbDecision=244500 #constraints=27212
1068.80/1069.11	c nbDecision=245000 #constraints=27282
1071.60/1071.95	c nbDecision=245500 #constraints=27319
1074.70/1075.08	c nbDecision=246000 #constraints=27441
1077.79/1078.12	c nbDecision=246500 #constraints=27496
1080.70/1081.03	c nbDecision=247000 #constraints=27567
1083.70/1084.02	c nbDecision=247500 #constraints=27640
1086.70/1087.02	c nbDecision=248000 #constraints=27700
1089.50/1089.86	c nbDecision=248500 #constraints=27753
1092.39/1092.75	c nbDecision=249000 #constraints=27816
1095.49/1095.89	c nbDecision=249500 #constraints=27901
1099.30/1099.64	c nbDecision=250000 #constraints=27996
1102.09/1102.47	c nbDecision=250500 #constraints=28069
1105.79/1106.13	c nbDecision=251000 #constraints=28104
1109.09/1109.49	c nbDecision=251500 #constraints=28146
1112.29/1112.60	c nbDecision=252000 #constraints=28213
1114.79/1115.19	c nbDecision=252500 #constraints=28300
1117.79/1118.14	c nbDecision=253000 #constraints=28328
1124.18/1124.57	c nbDecision=253500 #constraints=28455
1129.48/1129.89	c nbDecision=254000 #constraints=28517
1132.68/1133.00	c nbDecision=254500 #constraints=28542
1136.38/1136.77	c nbDecision=255000 #constraints=28606
1139.18/1139.56	c nbDecision=255500 #constraints=28698
1144.05/1144.45	c nbDecision=256000 #constraints=28874
1147.25/1147.69	c nbDecision=256500 #constraints=28933
1150.64/1151.08	c nbDecision=257000 #constraints=29007
1153.63/1154.00	c nbDecision=257500 #constraints=29139
1157.33/1157.72	c nbDecision=258000 #constraints=29247
1161.72/1162.12	c nbDecision=258500 #constraints=29374
1164.81/1165.22	c nbDecision=259000 #constraints=29431
1168.50/1168.92	c nbDecision=259500 #constraints=29557
1171.59/1172.08	c nbDecision=260000 #constraints=29623
1175.09/1175.59	c nbDecision=260500 #constraints=29708
1180.78/1181.30	c nbDecision=261000 #constraints=29804
1184.08/1184.50	c nbDecision=261500 #constraints=29869
1186.49/1186.92	c nbDecision=262000 #constraints=29939
1189.58/1190.07	c nbDecision=262500 #constraints=29992
1192.18/1192.67	c nbDecision=263000 #constraints=30095
1194.57/1195.05	c nbDecision=263500 #constraints=30167
1197.07/1197.53	c nbDecision=264000 #constraints=30244
1199.47/1199.98	c nbDecision=264500 #constraints=30315
1202.16/1202.66	c nbDecision=265000 #constraints=30406
1204.56/1205.07	c nbDecision=265500 #constraints=30452
1206.86/1207.35	c nbDecision=266000 #constraints=30483
1209.16/1209.63	c nbDecision=266500 #constraints=30525
1211.66/1212.16	c nbDecision=267000 #constraints=30593
1213.86/1214.32	c nbDecision=267500 #constraints=30607
1216.16/1216.60	c nbDecision=268000 #constraints=30651
1218.46/1218.96	c nbDecision=268500 #constraints=30692
1220.75/1221.20	c nbDecision=269000 #constraints=30724
1223.05/1223.52	c nbDecision=269500 #constraints=30762
1225.35/1225.90	c nbDecision=270000 #constraints=30807
1227.95/1228.40	c nbDecision=270500 #constraints=30874
1230.46/1230.99	c nbDecision=271000 #constraints=30941
1232.96/1233.41	c nbDecision=271500 #constraints=30985
1235.36/1235.82	c nbDecision=272000 #constraints=31029
1237.45/1237.96	c nbDecision=272500 #constraints=31037
1239.95/1240.40	c nbDecision=273000 #constraints=31076
1242.25/1242.78	c nbDecision=273500 #constraints=31117
1244.85/1245.33	c nbDecision=274000 #constraints=31188
1247.15/1247.63	c nbDecision=274500 #constraints=31217
1249.65/1250.11	c nbDecision=275000 #constraints=31277
1252.04/1252.54	c nbDecision=275500 #constraints=31324
1254.44/1254.93	c nbDecision=276000 #constraints=31364
1256.95/1257.49	c nbDecision=276500 #constraints=31426
1259.45/1259.94	c nbDecision=277000 #constraints=31467
1261.95/1262.43	c nbDecision=277500 #constraints=31531
1264.35/1264.89	c nbDecision=278000 #constraints=31589
1266.94/1267.40	c nbDecision=278500 #constraints=31657
1269.44/1269.93	c nbDecision=279000 #constraints=31695
1271.64/1272.19	c nbDecision=279500 #constraints=31717
1274.04/1274.52	c nbDecision=280000 #constraints=31747
1276.25/1276.77	c nbDecision=280500 #constraints=31770
1278.75/1279.22	c nbDecision=281000 #constraints=31812
1281.14/1281.63	c nbDecision=281500 #constraints=31855
1283.34/1283.88	c nbDecision=282000 #constraints=31872
1285.64/1286.17	c nbDecision=282500 #constraints=31896
1288.04/1288.58	c nbDecision=283000 #constraints=31930
1290.44/1290.94	c nbDecision=283500 #constraints=31961
1292.94/1293.41	c nbDecision=284000 #constraints=32013
1295.24/1295.76	c nbDecision=284500 #constraints=32039
1297.74/1298.28	c nbDecision=285000 #constraints=32084
1300.14/1300.64	c nbDecision=285500 #constraints=32120
1302.44/1302.95	c nbDecision=286000 #constraints=32157
1304.74/1305.23	c nbDecision=286500 #constraints=32177
1307.04/1307.56	c nbDecision=287000 #constraints=32207
1309.44/1309.93	c nbDecision=287500 #constraints=32239
1311.84/1312.36	c nbDecision=288000 #constraints=32282
1314.04/1314.57	c nbDecision=288500 #constraints=32302
1316.23/1316.73	c nbDecision=289000 #constraints=32314
1318.53/1319.09	c nbDecision=289500 #constraints=32339
1320.83/1321.32	c nbDecision=290000 #constraints=32351
1323.13/1323.62	c nbDecision=290500 #constraints=32369
1325.43/1325.98	c nbDecision=291000 #constraints=32412
1327.93/1328.48	c nbDecision=291500 #constraints=32453
1330.23/1330.72	c nbDecision=292000 #constraints=32469
1332.52/1333.04	c nbDecision=292500 #constraints=32498
1334.83/1335.32	c nbDecision=293000 #constraints=32516
1337.22/1337.74	c nbDecision=293500 #constraints=32558
1339.43/1339.94	c nbDecision=294000 #constraints=32569
1341.83/1342.39	c nbDecision=294500 #constraints=32608
1344.23/1344.70	c nbDecision=295000 #constraints=32640
1346.42/1346.98	c nbDecision=295500 #constraints=32659
1348.82/1349.39	c nbDecision=296000 #constraints=32700
1351.12/1351.68	c nbDecision=296500 #constraints=32727
1353.42/1353.98	c nbDecision=297000 #constraints=32745
1355.72/1356.26	c nbDecision=297500 #constraints=32761
1358.12/1358.61	c nbDecision=298000 #constraints=32782
1360.32/1360.88	c nbDecision=298500 #constraints=32801
1362.71/1363.20	c nbDecision=299000 #constraints=32828
1365.11/1365.64	c nbDecision=299500 #constraints=32865
1367.41/1367.99	c nbDecision=300000 #constraints=32902
1369.81/1370.35	c nbDecision=300500 #constraints=32926
1372.11/1372.66	c nbDecision=301000 #constraints=32945
1374.42/1374.98	c nbDecision=301500 #constraints=32982
1376.71/1377.28	c nbDecision=302000 #constraints=33009
1379.22/1379.75	c nbDecision=302500 #constraints=33061
1381.52/1382.03	c nbDecision=303000 #constraints=33077
1383.81/1384.31	c nbDecision=303500 #constraints=33097
1386.12/1386.65	c nbDecision=304000 #constraints=33118
1388.31/1388.84	c nbDecision=304500 #constraints=33131
1390.71/1391.27	c nbDecision=305000 #constraints=33154
1393.01/1393.53	c nbDecision=305500 #constraints=33167
1395.31/1395.85	c nbDecision=306000 #constraints=33193
1397.71/1398.20	c nbDecision=306500 #constraints=33213
1400.01/1400.56	c nbDecision=307000 #constraints=33239
1402.41/1402.92	c nbDecision=307500 #constraints=33263
1404.81/1405.39	c nbDecision=308000 #constraints=33293
1407.21/1407.72	c nbDecision=308500 #constraints=33306
1409.61/1410.20	c nbDecision=309000 #constraints=33334
1412.11/1412.64	c nbDecision=309500 #constraints=33374
1414.40/1414.91	c nbDecision=310000 #constraints=33399
1416.70/1417.26	c nbDecision=310500 #constraints=33416
1419.00/1419.59	c nbDecision=311000 #constraints=33434
1421.30/1421.84	c nbDecision=311500 #constraints=33444
1423.60/1424.12	c nbDecision=312000 #constraints=33461
1426.00/1426.51	c nbDecision=312500 #constraints=33493
1428.30/1428.90	c nbDecision=313000 #constraints=33514
1430.60/1431.12	c nbDecision=313500 #constraints=33522
1432.90/1433.44	c nbDecision=314000 #constraints=33539
1435.20/1435.77	c nbDecision=314500 #constraints=33564
1437.80/1438.31	c nbDecision=315000 #constraints=33612
1440.20/1440.74	c nbDecision=315500 #constraints=33643
1442.50/1443.06	c nbDecision=316000 #constraints=33661
1444.80/1445.36	c nbDecision=316500 #constraints=33684
1447.20/1447.73	c nbDecision=317000 #constraints=33711
1449.50/1450.05	c nbDecision=317500 #constraints=33732
1451.90/1452.42	c nbDecision=318000 #constraints=33758
1454.39/1454.95	c nbDecision=318500 #constraints=33789
1456.90/1457.46	c nbDecision=319000 #constraints=33816
1459.29/1459.86	c nbDecision=319500 #constraints=33833
1461.69/1462.23	c nbDecision=320000 #constraints=33863
1464.09/1464.65	c nbDecision=320500 #constraints=33892
1466.49/1467.06	c nbDecision=321000 #constraints=33910
1469.39/1469.93	c nbDecision=321500 #constraints=33963
1471.79/1472.35	c nbDecision=322000 #constraints=33987
1474.38/1474.96	c nbDecision=322500 #constraints=34028
1476.88/1477.45	c nbDecision=323000 #constraints=34050
1479.38/1479.95	c nbDecision=323500 #constraints=34087
1481.58/1482.20	c nbDecision=324000 #constraints=34098
1484.08/1484.64	c nbDecision=324500 #constraints=34114
1486.48/1487.06	c nbDecision=325000 #constraints=34134
1488.98/1489.58	c nbDecision=325500 #constraints=34166
1491.48/1492.05	c nbDecision=326000 #constraints=34191
1493.88/1494.45	c nbDecision=326500 #constraints=34216
1496.28/1496.85	c nbDecision=327000 #constraints=34243
1498.88/1499.40	c nbDecision=327500 #constraints=34274
1501.18/1501.76	c nbDecision=328000 #constraints=34297
1503.68/1504.20	c nbDecision=328500 #constraints=34327
1505.98/1506.59	c nbDecision=329000 #constraints=34345
1508.38/1508.98	c nbDecision=329500 #constraints=34360
1510.78/1511.35	c nbDecision=330000 #constraints=34389
1513.18/1513.78	c nbDecision=330500 #constraints=34412
1515.87/1516.41	c nbDecision=331000 #constraints=34444
1518.27/1518.89	c nbDecision=331500 #constraints=34467
1520.78/1521.36	c nbDecision=332000 #constraints=34487
1523.47/1524.01	c nbDecision=332500 #constraints=34522
1525.87/1526.44	c nbDecision=333000 #constraints=34542
1528.37/1528.91	c nbDecision=333500 #constraints=34567
1530.87/1531.49	c nbDecision=334000 #constraints=34596
1533.37/1533.93	c nbDecision=334500 #constraints=34625
1535.77/1536.32	c nbDecision=335000 #constraints=34641
1538.27/1538.83	c nbDecision=335500 #constraints=34673
1540.67/1541.23	c nbDecision=336000 #constraints=34692
1543.16/1543.74	c nbDecision=336500 #constraints=34718
1545.56/1546.16	c nbDecision=337000 #constraints=34733
1548.06/1548.70	c nbDecision=337500 #constraints=34760
1550.66/1551.23	c nbDecision=338000 #constraints=34796
1552.96/1553.52	c nbDecision=338500 #constraints=34805
1555.26/1555.80	c nbDecision=339000 #constraints=34818
1557.76/1558.30	c nbDecision=339500 #constraints=34849
1560.16/1560.70	c nbDecision=340000 #constraints=34873
1562.87/1563.45	c nbDecision=340500 #constraints=34924
1565.57/1566.17	c nbDecision=341000 #constraints=34968
1568.17/1568.72	c nbDecision=341500 #constraints=34989
1570.57/1571.19	c nbDecision=342000 #constraints=35015
1572.96/1573.56	c nbDecision=342500 #constraints=35031
1575.36/1575.92	c nbDecision=343000 #constraints=35062
1578.06/1578.61	c nbDecision=343500 #constraints=35112
1580.36/1580.95	c nbDecision=344000 #constraints=35127
1582.66/1583.28	c nbDecision=344500 #constraints=35150
1585.26/1585.88	c nbDecision=345000 #constraints=35179
1587.86/1588.48	c nbDecision=345500 #constraints=35209
1590.36/1590.91	c nbDecision=346000 #constraints=35224
1592.75/1593.33	c nbDecision=346500 #constraints=35242
1595.05/1595.67	c nbDecision=347000 #constraints=35259
1597.45/1598.10	c nbDecision=347500 #constraints=35273
1599.96/1600.54	c nbDecision=348000 #constraints=35294
1602.65/1603.25	c nbDecision=348500 #constraints=35345
1605.15/1605.74	c nbDecision=349000 #constraints=35362
1607.55/1608.18	c nbDecision=349500 #constraints=35378
1610.05/1610.66	c nbDecision=350000 #constraints=35395
1612.55/1613.11	c nbDecision=350500 #constraints=35415
1614.74/1615.37	c nbDecision=351000 #constraints=35426
1617.15/1617.72	c nbDecision=351500 #constraints=35437
1619.44/1620.08	c nbDecision=352000 #constraints=35450
1621.95/1622.56	c nbDecision=352500 #constraints=35465
1624.34/1624.96	c nbDecision=353000 #constraints=35484
1627.05/1627.68	c nbDecision=353500 #constraints=35537
1629.45/1630.09	c nbDecision=354000 #constraints=35549
1631.85/1632.44	c nbDecision=354500 #constraints=35563
1634.15/1634.76	c nbDecision=355000 #constraints=35577
1636.55/1637.15	c nbDecision=355500 #constraints=35601
1639.04/1639.69	c nbDecision=356000 #constraints=35628
1641.75/1642.32	c nbDecision=356500 #constraints=35662
1644.24/1644.87	c nbDecision=357000 #constraints=35685
1646.74/1647.32	c nbDecision=357500 #constraints=35702
1649.04/1649.69	c nbDecision=358000 #constraints=35714
1651.54/1652.18	c nbDecision=358500 #constraints=35728
1653.94/1654.52	c nbDecision=359000 #constraints=35738
1656.24/1656.89	c nbDecision=359500 #constraints=35749
1658.74/1659.36	c nbDecision=360000 #constraints=35776
1661.04/1661.68	c nbDecision=360500 #constraints=35786
1663.44/1664.03	c nbDecision=361000 #constraints=35800
1665.84/1666.41	c nbDecision=361500 #constraints=35810
1668.14/1668.77	c nbDecision=362000 #constraints=35828
1670.53/1671.11	c nbDecision=362500 #constraints=35835
1672.93/1673.56	c nbDecision=363000 #constraints=35857
1675.33/1675.93	c nbDecision=363500 #constraints=35870
1677.73/1678.31	c nbDecision=364000 #constraints=35883
1680.23/1680.81	c nbDecision=364500 #constraints=35914
1682.53/1683.15	c nbDecision=365000 #constraints=35927
1685.02/1685.62	c nbDecision=365500 #constraints=35957
1687.52/1688.13	c nbDecision=366000 #constraints=35975
1689.92/1690.54	c nbDecision=366500 #constraints=35995
1692.33/1692.98	c nbDecision=367000 #constraints=36016
1694.83/1695.46	c nbDecision=367500 #constraints=36044
1697.33/1697.93	c nbDecision=368000 #constraints=36069
1699.93/1700.51	c nbDecision=368500 #constraints=36105
1702.53/1703.16	c nbDecision=369000 #constraints=36141
1704.92/1705.59	c nbDecision=369500 #constraints=36156
1707.42/1708.03	c nbDecision=370000 #constraints=36183
1709.93/1710.59	c nbDecision=370500 #constraints=36209
1712.32/1712.94	c nbDecision=371000 #constraints=36223
1714.92/1715.55	c nbDecision=371500 #constraints=36251
1717.42/1718.09	c nbDecision=372000 #constraints=36266
1719.92/1720.59	c nbDecision=372500 #constraints=36288
1722.62/1723.24	c nbDecision=373000 #constraints=36317
1725.11/1725.79	c nbDecision=373500 #constraints=36352
1727.52/1728.11	c nbDecision=374000 #constraints=36363
1729.91/1730.58	c nbDecision=374500 #constraints=36384
1732.62/1733.27	c nbDecision=375000 #constraints=36420
1735.02/1735.65	c nbDecision=375500 #constraints=36432
1737.62/1738.22	c nbDecision=376000 #constraints=36458
1740.02/1740.64	c nbDecision=376500 #constraints=36477
1742.62/1743.24	c nbDecision=377000 #constraints=36499
1745.22/1745.82	c nbDecision=377500 #constraints=36524
1747.71/1748.34	c nbDecision=378000 #constraints=36548
1750.21/1750.84	c nbDecision=378500 #constraints=36562
1752.71/1753.32	c nbDecision=379000 #constraints=36577
1755.01/1755.68	c nbDecision=379500 #constraints=36591
1757.51/1758.11	c nbDecision=380000 #constraints=36611
1759.81/1760.47	c nbDecision=380500 #constraints=36630
1762.21/1762.85	c nbDecision=381000 #constraints=36644
1764.71/1765.32	c nbDecision=381500 #constraints=36665
1767.11/1767.77	c nbDecision=382000 #constraints=36683
1769.60/1770.20	c nbDecision=382500 #constraints=36697
1772.00/1772.68	c nbDecision=383000 #constraints=36715
1774.60/1775.25	c nbDecision=383500 #constraints=36744
1777.01/1777.69	c nbDecision=384000 #constraints=36769
1779.41/1780.06	c nbDecision=384500 #constraints=36780
1781.91/1782.58	c nbDecision=385000 #constraints=36797
1784.31/1784.93	c nbDecision=385500 #constraints=36805
1787.00/1787.62	c nbDecision=386000 #constraints=36842
1789.40/1790.02	c nbDecision=386500 #constraints=36857
1792.30/1792.92	c nbDecision=387000 #constraints=36879
1795.10/1795.74	c nbDecision=387500 #constraints=36900
1797.60/1798.30	c nbDecision=388000 #constraints=36921
1800.00/1800.61	Received signal 15
1800.00/1800.61	
1800.00/1800.61	s UNKNOWN
1800.00/1800.61	
1800.00/1800.61	c user time= 1799.46 s
1800.00/1800.61	c system time= 0.557915 s
1800.00/1800.61	c wall clock time=1800.61

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/node4/watcher-356965-1176849720 -o ROOT/results/node4/solver-356965-1176849720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.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.97 2/77 25978
/proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=1468 CPUtime=0
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161009824 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 367 161 126 317 0 46 0

[startup+0.0686969 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25978
/proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=2816 CPUtime=0.06
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 487 0 0 0 6 0 0 0 18 0 1 0 161009824 2883584 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 704 469 131 317 0 383 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2816

[startup+0.102699 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25978
/proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=3476 CPUtime=0.09
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 655 0 0 0 9 0 0 0 18 0 1 0 161009824 3559424 637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 869 637 131 317 0 548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3476

[startup+0.301719 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25978
/proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=7500 CPUtime=0.29
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 1582 0 0 0 29 0 0 0 19 0 1 0 161009824 7680000 1564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 1875 1564 131 317 0 1554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7500

[startup+0.702757 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25978
/proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=16964 CPUtime=0.69
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 3785 0 0 0 68 1 0 0 23 0 1 0 161009824 17371136 3767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 4241 3767 131 317 0 3920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16964

[startup+1.50183 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 25979
/proc/meminfo: memFree=1826696/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=31788 CPUtime=1.49
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7419 0 0 0 147 2 0 0 25 0 1 0 161009824 32550912 7401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 7947 7401 138 317 0 7626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31788

[startup+3.10199 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 25979
/proc/meminfo: memFree=1824968/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=31916 CPUtime=3.09
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7448 0 0 0 307 2 0 0 25 0 1 0 161009824 32681984 7430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 7979 7430 139 317 0 7658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31916

[startup+6.30129 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 25979
/proc/meminfo: memFree=1824456/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=33360 CPUtime=6.29
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7829 0 0 0 626 3 0 0 25 0 1 0 161009824 34160640 7811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 8340 7811 139 317 0 8019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33360

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 25979
/proc/meminfo: memFree=1819592/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=37188 CPUtime=12.69
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 8801 0 0 0 1266 3 0 0 25 0 1 0 161009824 38080512 8783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 9297 8783 170 317 0 8976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37188

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 25979
/proc/meminfo: memFree=1817096/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=39680 CPUtime=25.48
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 9434 0 0 0 2544 4 0 0 25 0 1 0 161009824 40632320 9416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 9920 9416 170 317 0 9599 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39680

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25979
/proc/meminfo: memFree=1811784/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=44968 CPUtime=51.07
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 10759 0 0 0 5102 5 0 0 25 0 1 0 161009824 46047232 10741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 11242 10741 170 317 0 10921 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44968

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 25979
/proc/meminfo: memFree=1802376/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=54300 CPUtime=102.27
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 13090 0 0 0 10219 8 0 0 25 0 1 0 161009824 55603200 13072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 13575 13072 170 317 0 13254 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54300

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25979
/proc/meminfo: memFree=1795080/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=61592 CPUtime=162.25
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 14939 0 0 0 16215 10 0 0 25 0 1 0 161009824 63070208 14878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 15398 14878 170 317 0 15077 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61592

[startup+222.302 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1785544/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=71232 CPUtime=222.23
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 17307 0 0 0 22211 12 0 0 25 0 1 0 161009824 72941568 17246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 17808 17246 170 317 0 17487 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71232

[startup+282.302 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1777480/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=79476 CPUtime=282.22
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 19317 0 0 0 28208 14 0 0 25 0 1 0 161009824 81383424 19256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 19869 19256 170 317 0 19548 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79476

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1772552/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=84856 CPUtime=342.21
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 20699 0 0 0 34205 16 0 0 25 0 1 0 161009824 86892544 20553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 21214 20553 170 317 0 20893 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 84856

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1765448/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=91648 CPUtime=402.18
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 22399 0 0 0 40200 18 0 0 25 0 1 0 161009824 93847552 22253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 22912 22253 170 317 0 22591 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 91648

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1752456/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=104804 CPUtime=462.17
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 25595 0 0 0 46196 21 0 0 25 0 1 0 161009824 107319296 25449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 26201 25449 170 317 0 25880 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 104804

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1744264/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=113092 CPUtime=522.14
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 27634 0 0 0 52191 23 0 0 25 0 1 0 161009824 115806208 27488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 28273 27488 170 317 0 27952 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 113092

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1738120/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=119256 CPUtime=582.14
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 29116 0 0 0 58188 26 0 0 25 0 1 0 161009824 122118144 28970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 29814 28970 170 317 0 29493 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 119256

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1733320/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=123956 CPUtime=642.12
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 30281 0 0 0 64185 27 0 0 25 0 1 0 161009824 126930944 30135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 30989 30135 170 317 0 30668 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 123956


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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1718664/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=139780 CPUtime=822.07
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 33910 0 0 0 82175 32 0 0 25 0 1 0 161009824 143134720 33764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 34945 33764 170 317 0 34624 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 139780

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1710024/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=148640 CPUtime=882.05
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 36015 0 0 0 88171 34 0 0 25 0 1 0 161009824 152207360 35869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 37160 35869 170 317 0 36839 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 148640

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1704456/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=154912 CPUtime=942.04
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 37554 0 0 0 94168 36 0 0 25 0 1 0 161009824 158629888 37238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 38728 37238 170 317 0 38407 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 154912

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1700808/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=158792 CPUtime=1002.02
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 38460 0 0 0 100165 37 0 0 25 0 1 0 161009824 162603008 38144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 39698 38144 170 317 0 39377 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 158792

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1697416/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=162012 CPUtime=1062
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 39297 0 0 0 106162 38 0 0 25 0 1 0 161009824 165900288 38981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 40503 38981 170 317 0 40182 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 162012

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 25979
/proc/meminfo: memFree=1691208/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=168436 CPUtime=1121.98
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 40829 0 0 0 112158 40 0 0 25 0 1 0 161009824 172478464 40513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 42109 40513 170 317 0 41788 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 168436

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/84 26149
/proc/meminfo: memFree=1683224/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=175140 CPUtime=1181.88
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 42452 0 0 0 118146 42 0 0 25 0 1 0 161009824 179343360 42136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 43785 42136 170 317 0 43464 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 175140

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1677896/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=181892 CPUtime=1241.85
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 44028 0 0 0 124141 44 0 0 25 0 1 0 161009824 186257408 43712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 45473 43712 170 317 0 45152 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 181892

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1672712/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=187052 CPUtime=1301.84
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 45305 0 0 0 130138 46 0 0 25 0 1 0 161009824 191541248 44989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 46763 44989 170 317 0 46442 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 187052

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1669448/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=190368 CPUtime=1361.82
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 46158 0 0 0 136135 47 0 0 25 0 1 0 161009824 194936832 45809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 47592 45809 170 317 0 47271 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 190368

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1666632/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=193332 CPUtime=1421.8
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 46845 0 0 0 142132 48 0 0 25 0 1 0 161009824 197971968 46496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 48333 46496 170 317 0 48012 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 193332

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1663112/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=197272 CPUtime=1481.78
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 47724 0 0 0 148129 49 0 0 25 0 1 0 161009824 202006528 47375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 49318 47375 170 317 0 48997 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 197272

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1660296/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=200320 CPUtime=1541.77
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 48411 0 0 0 154127 50 0 0 25 0 1 0 161009824 205127680 48062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 50080 48062 170 317 0 49759 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 200320

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1657416/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=202956 CPUtime=1601.75
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 49141 0 0 0 160124 51 0 0 25 0 1 0 161009824 207826944 48792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 50739 48792 170 317 0 50418 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 202956

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1655048/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=205048 CPUtime=1661.74
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 49702 0 0 0 166122 52 0 0 25 0 1 0 161009824 209969152 49353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 51262 49353 170 317 0 50941 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 205048

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1652808/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=207216 CPUtime=1721.72
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 50256 0 0 0 172119 53 0 0 25 0 1 0 161009824 212189184 49907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 51804 49907 170 317 0 51483 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 207216

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1650376/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=209508 CPUtime=1781.71
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 50835 0 0 0 178116 55 0 0 25 0 1 0 161009824 214536192 50486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 52377 50486 170 317 0 52056 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 209508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 26177
/proc/meminfo: memFree=1648520/2055920 swapFree=4153860/4192956
[pid=25978] ppid=25976 vsize=212304 CPUtime=1800
/proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 51295 0 0 0 179945 55 0 0 25 0 1 0 161009824 217399296 50946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25978/statm: 53076 50946 170 317 0 52755 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 212304

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

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

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.07
CPU user time (s): 1799.48
CPU system time (s): 0.592909
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 212304

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

runsolver used 2.26865 second user time and 4.30434 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Apr 17 22:42:01 UTC 2007

IDJOB= 356965
IDBENCH= 1698
IDSOLVER= 172
FILE ID= node4/356965-1176849720

PBS_JOBID= 4590189

Free space on /tmp= 66494 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-pilot.we.opb
COMMAND LINE= oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-356965-1176849720 -o ROOT/results/node4/solver-356965-1176849720 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6d89097601cc17df3da06374ded173c4

RANDOM SEED= 552198464

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1854760 kB
Buffers:         10608 kB
Cached:         116560 kB
SwapCached:       2236 kB
Active:          43824 kB
Inactive:       106724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854760 kB
SwapTotal:     4192956 kB
SwapFree:      4153860 kB
Dirty:            3856 kB
Writeback:           0 kB
Mapped:          31024 kB
Slab:            36076 kB
Committed_AS:  5222872 kB
PageTables:       1820 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= 66494 MiB

End job on node4 on Tue Apr 17 23:12:04 UTC 2007