Trace number 356945

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.1 1800.77

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-d2q06c.opb
MD5SUM121100115f65aafe7304954ad1ff7cf1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1744.78
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155010
Total number of constraints2171
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 constraints2171
Minimum length of a constraint30
Maximum length of a constraint3270
Number of terms in the objective function 89670
Biggest coefficient in the objective function 1092
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 602590
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 602590
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
2.89/2.99	c ...done
2.89/2.99	c #vars=155010 #constraints=3679 hasObjective=yes
3.99/4.07	c res. mode=mod
3.99/4.07	c VSIDS like heuristics
3.99/4.07	c complete search running
6.39/6.46	c restart after 401 decisions
6.78/6.87	c nbDecision=500 #constraints=3845
8.28/8.33	c restart after 801 decisions
9.09/9.12	c nbDecision=1000 #constraints=4000
11.49/11.56	c nbDecision=1500 #constraints=4166
12.09/12.13	c restart after 1601 decisions
14.09/14.11	c nbDecision=2000 #constraints=4347
16.29/16.39	c nbDecision=2500 #constraints=4451
18.58/18.63	c nbDecision=3000 #constraints=4527
19.28/19.38	c restart after 3201 decisions
20.58/20.69	c nbDecision=3500 #constraints=4626
22.88/22.96	c nbDecision=4000 #constraints=4724
24.78/24.89	c nbDecision=4500 #constraints=4775
27.08/27.13	c nbDecision=5000 #constraints=4839
29.28/29.39	c nbDecision=5500 #constraints=4924
31.58/31.60	c nbDecision=6000 #constraints=4976
33.08/33.15	c restart after 6401 decisions
33.47/33.57	c nbDecision=6500 #constraints=5050
35.58/35.61	c nbDecision=7000 #constraints=5142
37.38/37.48	c nbDecision=7500 #constraints=5160
39.28/39.38	c nbDecision=8000 #constraints=5186
41.18/41.26	c nbDecision=8500 #constraints=5200
43.38/43.49	c nbDecision=9000 #constraints=5254
45.38/45.44	c nbDecision=9500 #constraints=5299
47.67/47.77	c nbDecision=10000 #constraints=5374
49.58/49.67	c nbDecision=10500 #constraints=5403
51.47/51.58	c nbDecision=11000 #constraints=5430
53.37/53.49	c nbDecision=11500 #constraints=5456
55.27/55.40	c nbDecision=12000 #constraints=5487
57.57/57.66	c nbDecision=12500 #constraints=5543
58.77/58.83	c restart after 12801 decisions
59.57/59.60	c nbDecision=13000 #constraints=5578
61.57/61.70	c nbDecision=13500 #constraints=5681
63.57/63.60	c nbDecision=14000 #constraints=5699
65.47/65.54	c nbDecision=14500 #constraints=5736
67.36/67.45	c nbDecision=15000 #constraints=5755
69.27/69.38	c nbDecision=15500 #constraints=5787
71.16/71.28	c nbDecision=16000 #constraints=5809
73.16/73.20	c nbDecision=16500 #constraints=5836
74.96/75.09	c nbDecision=17000 #constraints=5857
76.86/76.99	c nbDecision=17500 #constraints=5873
79.16/79.24	c nbDecision=18000 #constraints=5921
81.06/81.19	c nbDecision=18500 #constraints=5954
83.06/83.14	c nbDecision=19000 #constraints=5980
84.96/85.05	c nbDecision=19500 #constraints=5994
86.96/87.03	c nbDecision=20000 #constraints=6035
88.95/89.03	c nbDecision=20500 #constraints=6092
90.85/90.94	c nbDecision=21000 #constraints=6112
92.75/92.89	c nbDecision=21500 #constraints=6156
95.06/95.19	c nbDecision=22000 #constraints=6220
97.06/97.15	c nbDecision=22500 #constraints=6258
99.06/99.11	c nbDecision=23000 #constraints=6296
101.36/101.46	c nbDecision=23500 #constraints=6363
103.36/103.41	c nbDecision=24000 #constraints=6393
105.26/105.37	c nbDecision=24500 #constraints=6421
107.25/107.30	c nbDecision=25000 #constraints=6439
109.15/109.26	c nbDecision=25500 #constraints=6469
109.55/109.65	c restart after 25601 decisions
111.25/111.39	c nbDecision=26000 #constraints=6569
113.36/113.41	c nbDecision=26500 #constraints=6625
115.25/115.34	c nbDecision=27000 #constraints=6647
117.25/117.31	c nbDecision=27500 #constraints=6688
119.15/119.26	c nbDecision=28000 #constraints=6715
121.15/121.25	c nbDecision=28500 #constraints=6749
123.45/123.58	c nbDecision=29000 #constraints=6810
125.45/125.55	c nbDecision=29500 #constraints=6839
127.45/127.53	c nbDecision=30000 #constraints=6871
129.45/129.51	c nbDecision=30500 #constraints=6904
131.34/131.44	c nbDecision=31000 #constraints=6930
133.64/133.76	c nbDecision=31500 #constraints=6988
135.64/135.70	c nbDecision=32000 #constraints=7011
137.54/137.62	c nbDecision=32500 #constraints=7027
139.54/139.60	c nbDecision=33000 #constraints=7056
141.84/141.96	c nbDecision=33500 #constraints=7109
143.84/143.90	c nbDecision=34000 #constraints=7123
145.83/145.92	c nbDecision=34500 #constraints=7166
147.83/147.91	c nbDecision=35000 #constraints=7193
149.83/149.93	c nbDecision=35500 #constraints=7240
151.83/151.90	c nbDecision=36000 #constraints=7270
153.73/153.88	c nbDecision=36500 #constraints=7301
155.73/155.85	c nbDecision=37000 #constraints=7332
157.63/157.79	c nbDecision=37500 #constraints=7349
159.63/159.79	c nbDecision=38000 #constraints=7383
161.63/161.76	c nbDecision=38500 #constraints=7402
163.63/163.73	c nbDecision=39000 #constraints=7425
165.53/165.69	c nbDecision=39500 #constraints=7443
167.52/167.64	c nbDecision=40000 #constraints=7461
169.52/169.65	c nbDecision=40500 #constraints=7500
171.54/171.61	c nbDecision=41000 #constraints=7523
173.43/173.57	c nbDecision=41500 #constraints=7550
175.43/175.53	c nbDecision=42000 #constraints=7575
177.43/177.55	c nbDecision=42500 #constraints=7615
179.43/179.50	c nbDecision=43000 #constraints=7634
181.33/181.47	c nbDecision=43500 #constraints=7651
183.33/183.42	c nbDecision=44000 #constraints=7667
185.23/185.38	c nbDecision=44500 #constraints=7681
187.22/187.39	c nbDecision=45000 #constraints=7713
189.23/189.32	c nbDecision=45500 #constraints=7728
191.62/191.72	c nbDecision=46000 #constraints=7799
193.53/193.66	c nbDecision=46500 #constraints=7815
195.52/195.63	c nbDecision=47000 #constraints=7832
197.42/197.58	c nbDecision=47500 #constraints=7856
199.52/199.65	c nbDecision=48000 #constraints=7908
201.52/201.65	c nbDecision=48500 #constraints=7931
203.92/204.02	c nbDecision=49000 #constraints=7985
205.92/206.01	c nbDecision=49500 #constraints=8009
207.92/208.03	c nbDecision=50000 #constraints=8037
209.82/209.97	c nbDecision=50500 #constraints=8052
211.81/211.96	c nbDecision=51000 #constraints=8078
212.61/212.75	c restart after 51201 decisions
214.01/214.16	c nbDecision=51500 #constraints=8182
216.11/216.21	c nbDecision=52000 #constraints=8222
218.01/218.17	c nbDecision=52500 #constraints=8239
220.11/220.24	c nbDecision=53000 #constraints=8281
222.11/222.24	c nbDecision=53500 #constraints=8304
224.21/224.31	c nbDecision=54000 #constraints=8342
226.21/226.31	c nbDecision=54500 #constraints=8364
228.21/228.34	c nbDecision=55000 #constraints=8391
230.20/230.34	c nbDecision=55500 #constraints=8416
232.20/232.33	c nbDecision=56000 #constraints=8443
234.21/234.32	c nbDecision=56500 #constraints=8470
236.10/236.29	c nbDecision=57000 #constraints=8488
238.10/238.25	c nbDecision=57500 #constraints=8503
240.10/240.21	c nbDecision=58000 #constraints=8517
242.00/242.18	c nbDecision=58500 #constraints=8531
244.10/244.26	c nbDecision=59000 #constraints=8574
246.10/246.29	c nbDecision=59500 #constraints=8604
248.20/248.38	c nbDecision=60000 #constraints=8642
250.19/250.35	c nbDecision=60500 #constraints=8667
252.20/252.39	c nbDecision=61000 #constraints=8700
254.20/254.37	c nbDecision=61500 #constraints=8720
256.21/256.34	c nbDecision=62000 #constraints=8737
258.20/258.35	c nbDecision=62500 #constraints=8761
260.20/260.35	c nbDecision=63000 #constraints=8780
262.20/262.32	c nbDecision=63500 #constraints=8794
264.20/264.30	c nbDecision=64000 #constraints=8809
266.20/266.36	c nbDecision=64500 #constraints=8845
268.30/268.46	c nbDecision=65000 #constraints=8893
270.29/270.47	c nbDecision=65500 #constraints=8924
272.29/272.48	c nbDecision=66000 #constraints=8949
274.39/274.53	c nbDecision=66500 #constraints=8984
276.39/276.53	c nbDecision=67000 #constraints=9005
278.39/278.50	c nbDecision=67500 #constraints=9021
280.39/280.54	c nbDecision=68000 #constraints=9051
282.39/282.53	c nbDecision=68500 #constraints=9066
284.39/284.51	c nbDecision=69000 #constraints=9082
286.39/286.59	c nbDecision=69500 #constraints=9118
288.49/288.62	c nbDecision=70000 #constraints=9140
290.48/290.63	c nbDecision=70500 #constraints=9165
292.49/292.61	c nbDecision=71000 #constraints=9183
294.48/294.61	c nbDecision=71500 #constraints=9208
296.48/296.61	c nbDecision=72000 #constraints=9229
298.38/298.57	c nbDecision=72500 #constraints=9243
300.38/300.56	c nbDecision=73000 #constraints=9257
302.38/302.54	c nbDecision=73500 #constraints=9275
304.38/304.58	c nbDecision=74000 #constraints=9303
306.48/306.61	c nbDecision=74500 #constraints=9325
308.38/308.60	c nbDecision=75000 #constraints=9340
310.37/310.59	c nbDecision=75500 #constraints=9359
312.38/312.54	c nbDecision=76000 #constraints=9373
314.27/314.49	c nbDecision=76500 #constraints=9385
316.38/316.56	c nbDecision=77000 #constraints=9420
318.38/318.58	c nbDecision=77500 #constraints=9447
320.38/320.55	c nbDecision=78000 #constraints=9461
322.38/322.54	c nbDecision=78500 #constraints=9476
324.38/324.53	c nbDecision=79000 #constraints=9490
326.77/326.98	c nbDecision=79500 #constraints=9559
328.78/328.99	c nbDecision=80000 #constraints=9575
330.77/330.95	c nbDecision=80500 #constraints=9586
332.77/332.93	c nbDecision=81000 #constraints=9602
334.77/334.99	c nbDecision=81500 #constraints=9639
336.77/336.95	c nbDecision=82000 #constraints=9650
338.77/338.97	c nbDecision=82500 #constraints=9676
340.77/340.97	c nbDecision=83000 #constraints=9690
342.87/343.03	c nbDecision=83500 #constraints=9723
344.87/345.03	c nbDecision=84000 #constraints=9741
346.86/347.05	c nbDecision=84500 #constraints=9761
348.96/349.19	c nbDecision=85000 #constraints=9823
351.06/351.29	c nbDecision=85500 #constraints=9856
353.16/353.33	c nbDecision=86000 #constraints=9880
355.17/355.38	c nbDecision=86500 #constraints=9905
357.26/357.45	c nbDecision=87000 #constraints=9933
359.26/359.47	c nbDecision=87500 #constraints=9952
361.36/361.55	c nbDecision=88000 #constraints=9977
363.46/363.60	c nbDecision=88500 #constraints=9999
365.46/365.63	c nbDecision=89000 #constraints=10018
367.46/367.66	c nbDecision=89500 #constraints=10035
369.46/369.66	c nbDecision=90000 #constraints=10049
371.46/371.64	c nbDecision=90500 #constraints=10065
373.65/373.80	c nbDecision=91000 #constraints=10108
375.65/375.80	c nbDecision=91500 #constraints=10127
377.75/377.93	c nbDecision=92000 #constraints=10160
379.85/380.00	c nbDecision=92500 #constraints=10185
381.75/381.99	c nbDecision=93000 #constraints=10199
383.85/384.08	c nbDecision=93500 #constraints=10231
385.95/386.16	c nbDecision=94000 #constraints=10259
387.95/388.18	c nbDecision=94500 #constraints=10274
389.94/390.18	c nbDecision=95000 #constraints=10290
392.04/392.23	c nbDecision=95500 #constraints=10320
394.14/394.33	c nbDecision=96000 #constraints=10352
396.14/396.38	c nbDecision=96500 #constraints=10375
398.24/398.40	c nbDecision=97000 #constraints=10392
400.25/400.48	c nbDecision=97500 #constraints=10416
402.34/402.55	c nbDecision=98000 #constraints=10444
404.34/404.57	c nbDecision=98500 #constraints=10461
406.34/406.58	c nbDecision=99000 #constraints=10475
408.44/408.65	c nbDecision=99500 #constraints=10503
410.54/410.73	c nbDecision=100000 #constraints=10535
412.64/412.80	c nbDecision=100500 #constraints=10558
414.64/414.83	c nbDecision=101000 #constraints=10577
417.03/417.25	c nbDecision=101500 #constraints=10630
419.05/419.26	c nbDecision=102000 #constraints=10643
420.64/420.87	c restart after 102401 decisions
421.04/421.29	c nbDecision=102500 #constraints=10666
423.84/424.02	c nbDecision=103000 #constraints=10792
425.84/426.06	c nbDecision=103500 #constraints=10808
427.84/428.09	c nbDecision=104000 #constraints=10822
429.84/430.09	c nbDecision=104500 #constraints=10835
432.03/432.21	c nbDecision=105000 #constraints=10870
434.03/434.25	c nbDecision=105500 #constraints=10893
436.13/436.32	c nbDecision=106000 #constraints=10921
438.13/438.36	c nbDecision=106500 #constraints=10945
440.13/440.38	c nbDecision=107000 #constraints=10959
442.23/442.47	c nbDecision=107500 #constraints=10984
444.23/444.50	c nbDecision=108000 #constraints=10998
446.33/446.53	c nbDecision=108500 #constraints=11013
448.33/448.56	c nbDecision=109000 #constraints=11027
450.43/450.62	c nbDecision=109500 #constraints=11056
452.43/452.67	c nbDecision=110000 #constraints=11080
454.52/454.71	c nbDecision=110500 #constraints=11103
456.52/456.77	c nbDecision=111000 #constraints=11124
458.53/458.80	c nbDecision=111500 #constraints=11138
460.62/460.82	c nbDecision=112000 #constraints=11159
462.62/462.89	c nbDecision=112500 #constraints=11181
464.72/464.96	c nbDecision=113000 #constraints=11208
466.92/467.10	c nbDecision=113500 #constraints=11253
468.92/469.13	c nbDecision=114000 #constraints=11267
470.92/471.15	c nbDecision=114500 #constraints=11282
472.92/473.17	c nbDecision=115000 #constraints=11296
475.02/475.25	c nbDecision=115500 #constraints=11321
477.01/477.25	c nbDecision=116000 #constraints=11334
479.01/479.29	c nbDecision=116500 #constraints=11350
481.11/481.37	c nbDecision=117000 #constraints=11373
483.21/483.46	c nbDecision=117500 #constraints=11404
485.31/485.53	c nbDecision=118000 #constraints=11424
487.41/487.60	c nbDecision=118500 #constraints=11447
489.41/489.67	c nbDecision=119000 #constraints=11473
491.61/491.81	c nbDecision=119500 #constraints=11519
493.61/493.85	c nbDecision=120000 #constraints=11535
495.60/495.89	c nbDecision=120500 #constraints=11550
497.71/497.93	c nbDecision=121000 #constraints=11564
499.81/500.00	c nbDecision=121500 #constraints=11585
501.81/502.03	c nbDecision=122000 #constraints=11599
503.91/504.12	c nbDecision=122500 #constraints=11619
505.92/506.19	c nbDecision=123000 #constraints=11636
508.01/508.27	c nbDecision=123500 #constraints=11659
510.11/510.36	c nbDecision=124000 #constraints=11686
512.41/512.63	c nbDecision=124500 #constraints=11753
514.41/514.67	c nbDecision=125000 #constraints=11775
516.41/516.67	c nbDecision=125500 #constraints=11788
518.50/518.72	c nbDecision=126000 #constraints=11806
520.60/520.81	c nbDecision=126500 #constraints=11829
522.70/522.90	c nbDecision=127000 #constraints=11849
524.70/524.97	c nbDecision=127500 #constraints=11865
526.90/527.17	c nbDecision=128000 #constraints=11904
529.10/529.30	c nbDecision=128500 #constraints=11948
531.10/531.34	c nbDecision=129000 #constraints=11961
533.10/533.39	c nbDecision=129500 #constraints=11980
535.60/535.88	c nbDecision=130000 #constraints=12042
537.70/537.97	c nbDecision=130500 #constraints=12068
539.79/540.08	c nbDecision=131000 #constraints=12102
541.89/542.15	c nbDecision=131500 #constraints=12119
544.09/544.31	c nbDecision=132000 #constraints=12150
546.19/546.49	c nbDecision=132500 #constraints=12197
548.89/549.11	c nbDecision=133000 #constraints=12273
550.99/551.28	c nbDecision=133500 #constraints=12320
553.19/553.45	c nbDecision=134000 #constraints=12359
555.58/555.89	c nbDecision=134500 #constraints=12486
557.78/558.01	c nbDecision=135000 #constraints=12503
559.88/560.16	c nbDecision=135500 #constraints=12524
561.99/562.24	c nbDecision=136000 #constraints=12536
564.09/564.35	c nbDecision=136500 #constraints=12552
566.28/566.52	c nbDecision=137000 #constraints=12578
568.38/568.64	c nbDecision=137500 #constraints=12596
570.48/570.77	c nbDecision=138000 #constraints=12619
572.58/572.85	c nbDecision=138500 #constraints=12633
574.78/575.00	c nbDecision=139000 #constraints=12656
576.88/577.11	c nbDecision=139500 #constraints=12671
578.88/579.19	c nbDecision=140000 #constraints=12687
581.07/581.33	c nbDecision=140500 #constraints=12708
583.17/583.43	c nbDecision=141000 #constraints=12722
585.27/585.59	c nbDecision=141500 #constraints=12750
587.48/587.71	c nbDecision=142000 #constraints=12771
589.58/589.85	c nbDecision=142500 #constraints=12795
591.88/592.11	c nbDecision=143000 #constraints=12843
593.98/594.21	c nbDecision=143500 #constraints=12859
595.98/596.29	c nbDecision=144000 #constraints=12879
598.07/598.37	c nbDecision=144500 #constraints=12894
600.27/600.55	c nbDecision=145000 #constraints=12919
602.37/602.65	c nbDecision=145500 #constraints=12933
604.57/604.88	c nbDecision=146000 #constraints=12969
606.77/607.00	c nbDecision=146500 #constraints=12985
608.87/609.10	c nbDecision=147000 #constraints=13003
610.97/611.28	c nbDecision=147500 #constraints=13033
613.17/613.42	c nbDecision=148000 #constraints=13053
615.27/615.58	c nbDecision=148500 #constraints=13093
617.47/617.75	c nbDecision=149000 #constraints=13120
619.57/619.83	c nbDecision=149500 #constraints=13132
621.67/621.94	c nbDecision=150000 #constraints=13149
623.76/624.05	c nbDecision=150500 #constraints=13166
625.96/626.23	c nbDecision=151000 #constraints=13191
628.06/628.36	c nbDecision=151500 #constraints=13210
630.26/630.57	c nbDecision=152000 #constraints=13240
632.46/632.77	c nbDecision=152500 #constraints=13282
635.06/635.30	c nbDecision=153000 #constraints=13330
637.16/637.49	c nbDecision=153500 #constraints=13360
639.26/639.56	c nbDecision=154000 #constraints=13372
641.56/641.88	c nbDecision=154500 #constraints=13414
643.76/644.10	c nbDecision=155000 #constraints=13452
645.95/646.29	c nbDecision=155500 #constraints=13485
648.15/648.46	c nbDecision=156000 #constraints=13512
650.55/650.81	c nbDecision=156500 #constraints=13563
652.85/653.17	c nbDecision=157000 #constraints=13617
655.15/655.46	c nbDecision=157500 #constraints=13666
657.55/657.85	c nbDecision=158000 #constraints=13744
659.95/660.22	c nbDecision=158500 #constraints=13809
662.15/662.40	c nbDecision=159000 #constraints=13826
664.25/664.56	c nbDecision=159500 #constraints=13840
666.45/666.75	c nbDecision=160000 #constraints=13864
668.65/668.92	c nbDecision=160500 #constraints=13884
670.75/671.06	c nbDecision=161000 #constraints=13900
672.95/673.24	c nbDecision=161500 #constraints=13921
675.04/675.39	c nbDecision=162000 #constraints=13941
677.34/677.65	c nbDecision=162500 #constraints=13968
679.54/679.83	c nbDecision=163000 #constraints=13986
681.74/682.00	c nbDecision=163500 #constraints=14007
684.04/684.35	c nbDecision=164000 #constraints=14053
686.24/686.55	c nbDecision=164500 #constraints=14074
688.44/688.74	c nbDecision=165000 #constraints=14090
690.64/690.92	c nbDecision=165500 #constraints=14109
692.74/693.09	c nbDecision=166000 #constraints=14125
694.94/695.28	c nbDecision=166500 #constraints=14148
697.14/697.42	c nbDecision=167000 #constraints=14162
699.33/699.61	c nbDecision=167500 #constraints=14189
701.64/701.92	c nbDecision=168000 #constraints=14225
703.74/704.09	c nbDecision=168500 #constraints=14244
705.94/706.28	c nbDecision=169000 #constraints=14260
708.24/708.51	c nbDecision=169500 #constraints=14280
710.44/710.73	c nbDecision=170000 #constraints=14304
712.83/713.19	c nbDecision=170500 #constraints=14364
715.03/715.35	c nbDecision=171000 #constraints=14378
717.33/717.64	c nbDecision=171500 #constraints=14407
719.73/720.00	c nbDecision=172000 #constraints=14454
722.03/722.33	c nbDecision=172500 #constraints=14485
724.33/724.65	c nbDecision=173000 #constraints=14526
726.63/726.99	c nbDecision=173500 #constraints=14566
729.53/729.81	c nbDecision=174000 #constraints=14694
731.62/731.99	c nbDecision=174500 #constraints=14708
733.82/734.14	c nbDecision=175000 #constraints=14721
736.12/736.41	c nbDecision=175500 #constraints=14743
738.22/738.55	c nbDecision=176000 #constraints=14755
740.42/740.77	c nbDecision=176500 #constraints=14775
742.72/743.06	c nbDecision=177000 #constraints=14799
745.12/745.40	c nbDecision=177500 #constraints=14834
747.52/747.81	c nbDecision=178000 #constraints=14888
749.62/749.95	c nbDecision=178500 #constraints=14900
751.91/752.22	c nbDecision=179000 #constraints=14921
754.11/754.49	c nbDecision=179500 #constraints=14943
756.41/756.77	c nbDecision=180000 #constraints=14970
758.71/759.06	c nbDecision=180500 #constraints=15008
761.01/761.35	c nbDecision=181000 #constraints=15029
763.41/763.73	c nbDecision=181500 #constraints=15059
765.81/766.12	c nbDecision=182000 #constraints=15103
768.51/768.81	c nbDecision=182500 #constraints=15172
771.21/771.59	c nbDecision=183000 #constraints=15253
774.01/774.32	c nbDecision=183500 #constraints=15356
776.20/776.53	c nbDecision=184000 #constraints=15372
778.40/778.72	c nbDecision=184500 #constraints=15388
780.71/781.06	c nbDecision=185000 #constraints=15417
783.10/783.45	c nbDecision=185500 #constraints=15448
785.50/785.85	c nbDecision=186000 #constraints=15487
787.80/788.14	c nbDecision=186500 #constraints=15507
790.20/790.50	c nbDecision=187000 #constraints=15533
792.50/792.88	c nbDecision=187500 #constraints=15575
795.11/795.42	c nbDecision=188000 #constraints=15612
797.50/797.89	c nbDecision=188500 #constraints=15659
800.10/800.40	c nbDecision=189000 #constraints=15718
802.81/803.16	c nbDecision=189500 #constraints=15814
805.40/805.71	c nbDecision=190000 #constraints=15850
807.80/808.16	c nbDecision=190500 #constraints=15889
810.20/810.53	c nbDecision=191000 #constraints=15915
812.70/813.03	c nbDecision=191500 #constraints=15962
815.30/815.69	c nbDecision=192000 #constraints=16023
818.20/818.59	c nbDecision=192500 #constraints=16132
820.69/821.06	c nbDecision=193000 #constraints=16163
823.70/824.03	c nbDecision=193500 #constraints=16245
826.39/826.75	c nbDecision=194000 #constraints=16330
828.89/829.28	c nbDecision=194500 #constraints=16381
831.69/832.01	c nbDecision=195000 #constraints=16441
834.59/834.96	c nbDecision=195500 #constraints=16538
837.68/838.07	c nbDecision=196000 #constraints=16653
841.09/841.47	c nbDecision=196500 #constraints=16850
844.29/844.66	c nbDecision=197000 #constraints=17006
846.79/847.15	c nbDecision=197500 #constraints=17025
849.18/849.56	c nbDecision=198000 #constraints=17042
851.48/851.88	c nbDecision=198500 #constraints=17056
853.78/854.19	c nbDecision=199000 #constraints=17071
856.48/856.87	c nbDecision=199500 #constraints=17100
858.88/859.26	c nbDecision=200000 #constraints=17125
861.28/861.66	c nbDecision=200500 #constraints=17141
863.78/864.19	c nbDecision=201000 #constraints=17166
866.18/866.55	c nbDecision=201500 #constraints=17181
868.47/868.89	c nbDecision=202000 #constraints=17195
870.98/871.38	c nbDecision=202500 #constraints=17219
873.37/873.79	c nbDecision=203000 #constraints=17244
875.77/876.18	c nbDecision=203500 #constraints=17264
878.17/878.54	c nbDecision=204000 #constraints=17283
880.77/881.17	c nbDecision=204500 #constraints=17322
882.77/883.10	c restart after 204801 decisions
883.57/883.98	c nbDecision=205000 #constraints=17379
886.86/887.22	c nbDecision=205500 #constraints=17472
889.16/889.51	c nbDecision=206000 #constraints=17484
892.06/892.44	c nbDecision=206500 #constraints=17519
894.76/895.10	c nbDecision=207000 #constraints=17544
897.17/897.59	c nbDecision=207500 #constraints=17564
899.67/900.02	c nbDecision=208000 #constraints=17587
902.07/902.46	c nbDecision=208500 #constraints=17604
904.46/904.87	c nbDecision=209000 #constraints=17620
906.86/907.25	c nbDecision=209500 #constraints=17635
909.16/909.50	c nbDecision=210000 #constraints=17647
912.06/912.43	c nbDecision=210500 #constraints=17684
914.36/914.73	c nbDecision=211000 #constraints=17696
917.16/917.51	c nbDecision=211500 #constraints=17725
919.76/920.13	c nbDecision=212000 #constraints=17748
922.26/922.64	c nbDecision=212500 #constraints=17767
924.56/925.00	c nbDecision=213000 #constraints=17781
926.96/927.36	c nbDecision=213500 #constraints=17795
929.26/929.69	c nbDecision=214000 #constraints=17810
932.25/932.69	c nbDecision=214500 #constraints=17855
934.85/935.28	c nbDecision=215000 #constraints=17877
937.25/937.65	c nbDecision=215500 #constraints=17892
939.75/940.15	c nbDecision=216000 #constraints=17918
942.15/942.53	c nbDecision=216500 #constraints=17933
944.55/944.90	c nbDecision=217000 #constraints=17947
947.15/947.54	c nbDecision=217500 #constraints=17974
949.54/949.99	c nbDecision=218000 #constraints=17992
952.14/952.51	c nbDecision=218500 #constraints=18012
954.44/954.84	c nbDecision=219000 #constraints=18031
956.74/957.13	c nbDecision=219500 #constraints=18043
959.34/959.74	c nbDecision=220000 #constraints=18068
961.84/962.23	c nbDecision=220500 #constraints=18086
964.14/964.56	c nbDecision=221000 #constraints=18099
966.44/966.86	c nbDecision=221500 #constraints=18111
969.03/969.41	c nbDecision=222000 #constraints=18135
971.33/971.78	c nbDecision=222500 #constraints=18150
973.63/974.06	c nbDecision=223000 #constraints=18162
976.13/976.55	c nbDecision=223500 #constraints=18183
978.43/978.84	c nbDecision=224000 #constraints=18195
981.03/981.40	c nbDecision=224500 #constraints=18222
983.53/984.00	c nbDecision=225000 #constraints=18249
986.03/986.42	c nbDecision=225500 #constraints=18270
989.33/989.77	c nbDecision=226000 #constraints=18333
991.73/992.11	c nbDecision=226500 #constraints=18353
994.53/994.97	c nbDecision=227000 #constraints=18391
997.23/997.64	c nbDecision=227500 #constraints=18422
999.73/1000.17	c nbDecision=228000 #constraints=18441
1002.23/1002.62	c nbDecision=228500 #constraints=18457
1004.63/1005.01	c nbDecision=229000 #constraints=18472
1007.03/1007.45	c nbDecision=229500 #constraints=18500
1009.93/1010.36	c nbDecision=230000 #constraints=18532
1012.43/1012.81	c nbDecision=230500 #constraints=18549
1014.82/1015.28	c nbDecision=231000 #constraints=18566
1017.42/1017.80	c nbDecision=231500 #constraints=18585
1019.92/1020.30	c nbDecision=232000 #constraints=18604
1022.22/1022.64	c nbDecision=232500 #constraints=18616
1024.92/1025.32	c nbDecision=233000 #constraints=18642
1027.42/1027.82	c nbDecision=233500 #constraints=18659
1029.92/1030.35	c nbDecision=234000 #constraints=18678
1032.41/1032.86	c nbDecision=234500 #constraints=18697
1035.21/1035.67	c nbDecision=235000 #constraints=18748
1037.71/1038.12	c nbDecision=235500 #constraints=18767
1040.21/1040.67	c nbDecision=236000 #constraints=18786
1042.81/1043.21	c nbDecision=236500 #constraints=18805
1045.11/1045.59	c nbDecision=237000 #constraints=18819
1047.91/1048.35	c nbDecision=237500 #constraints=18857
1050.21/1050.66	c nbDecision=238000 #constraints=18869
1052.60/1053.01	c nbDecision=238500 #constraints=18882
1055.21/1055.61	c nbDecision=239000 #constraints=18907
1057.51/1057.98	c nbDecision=239500 #constraints=18921
1060.11/1060.59	c nbDecision=240000 #constraints=18946
1063.11/1063.60	c nbDecision=240500 #constraints=18988
1066.31/1066.75	c nbDecision=241000 #constraints=19040
1068.91/1069.35	c nbDecision=241500 #constraints=19060
1071.40/1071.85	c nbDecision=242000 #constraints=19077
1073.90/1074.36	c nbDecision=242500 #constraints=19095
1076.40/1076.86	c nbDecision=243000 #constraints=19119
1078.80/1079.26	c nbDecision=243500 #constraints=19133
1081.50/1081.96	c nbDecision=244000 #constraints=19160
1084.00/1084.45	c nbDecision=244500 #constraints=19176
1086.59/1087.02	c nbDecision=245000 #constraints=19195
1088.99/1089.41	c nbDecision=245500 #constraints=19209
1091.39/1091.81	c nbDecision=246000 #constraints=19224
1093.69/1094.10	c nbDecision=246500 #constraints=19236
1096.39/1096.83	c nbDecision=247000 #constraints=19267
1098.89/1099.30	c nbDecision=247500 #constraints=19300
1101.29/1101.71	c nbDecision=248000 #constraints=19315
1103.59/1104.04	c nbDecision=248500 #constraints=19327
1106.19/1106.69	c nbDecision=249000 #constraints=19349
1108.58/1109.07	c nbDecision=249500 #constraints=19362
1110.98/1111.49	c nbDecision=250000 #constraints=19379
1113.48/1113.95	c nbDecision=250500 #constraints=19398
1115.78/1116.28	c nbDecision=251000 #constraints=19414
1118.48/1118.91	c nbDecision=251500 #constraints=19439
1121.18/1121.66	c nbDecision=252000 #constraints=19469
1124.38/1124.84	c nbDecision=252500 #constraints=19532
1126.88/1127.35	c nbDecision=253000 #constraints=19548
1129.48/1129.93	c nbDecision=253500 #constraints=19567
1132.37/1132.81	c nbDecision=254000 #constraints=19620
1134.78/1135.21	c nbDecision=254500 #constraints=19642
1137.07/1137.59	c nbDecision=255000 #constraints=19656
1139.77/1140.27	c nbDecision=255500 #constraints=19688
1142.37/1142.86	c nbDecision=256000 #constraints=19706
1144.67/1145.19	c nbDecision=256500 #constraints=19717
1147.17/1147.65	c nbDecision=257000 #constraints=19733
1149.77/1150.25	c nbDecision=257500 #constraints=19755
1152.16/1152.69	c nbDecision=258000 #constraints=19770
1154.76/1155.23	c nbDecision=258500 #constraints=19790
1157.16/1157.63	c nbDecision=259000 #constraints=19805
1159.56/1160.08	c nbDecision=259500 #constraints=19819
1161.96/1162.49	c nbDecision=260000 #constraints=19837
1164.86/1165.39	c nbDecision=260500 #constraints=19873
1168.16/1168.69	c nbDecision=261000 #constraints=19932
1170.66/1171.17	c nbDecision=261500 #constraints=19948
1173.17/1173.62	c nbDecision=262000 #constraints=19963
1175.66/1176.11	c nbDecision=262500 #constraints=19987
1178.26/1178.72	c nbDecision=263000 #constraints=20010
1180.66/1181.18	c nbDecision=263500 #constraints=20024
1183.36/1183.87	c nbDecision=264000 #constraints=20048
1185.76/1186.28	c nbDecision=264500 #constraints=20062
1188.36/1188.83	c nbDecision=265000 #constraints=20082
1191.26/1191.74	c nbDecision=265500 #constraints=20135
1194.26/1194.75	c nbDecision=266000 #constraints=20179
1197.25/1197.72	c nbDecision=266500 #constraints=20228
1199.66/1200.19	c nbDecision=267000 #constraints=20243
1202.45/1202.92	c nbDecision=267500 #constraints=20269
1204.75/1205.26	c nbDecision=268000 #constraints=20280
1207.45/1207.98	c nbDecision=268500 #constraints=20305
1210.05/1210.54	c nbDecision=269000 #constraints=20326
1212.55/1213.08	c nbDecision=269500 #constraints=20346
1215.45/1215.95	c nbDecision=270000 #constraints=20388
1217.84/1218.33	c nbDecision=270500 #constraints=20403
1220.44/1220.92	c nbDecision=271000 #constraints=20423
1222.94/1223.42	c nbDecision=271500 #constraints=20447
1225.44/1225.90	c nbDecision=272000 #constraints=20465
1228.84/1229.35	c nbDecision=272500 #constraints=20530
1231.54/1232.05	c nbDecision=273000 #constraints=20556
1234.84/1235.34	c nbDecision=273500 #constraints=20610
1237.34/1237.87	c nbDecision=274000 #constraints=20631
1240.44/1240.96	c nbDecision=274500 #constraints=20683
1243.33/1243.84	c nbDecision=275000 #constraints=20730
1246.63/1247.15	c nbDecision=275500 #constraints=20815
1250.23/1250.79	c nbDecision=276000 #constraints=20881
1252.84/1253.36	c nbDecision=276500 #constraints=20898
1255.64/1256.17	c nbDecision=277000 #constraints=20920
1258.53/1259.00	c nbDecision=277500 #constraints=20943
1261.13/1261.70	c nbDecision=278000 #constraints=20962
1263.73/1264.29	c nbDecision=278500 #constraints=20980
1266.23/1266.72	c nbDecision=279000 #constraints=20993
1268.73/1269.21	c nbDecision=279500 #constraints=21007
1272.03/1272.53	c nbDecision=280000 #constraints=21045
1274.73/1275.28	c nbDecision=280500 #constraints=21072
1277.33/1277.87	c nbDecision=281000 #constraints=21103
1280.03/1280.50	c nbDecision=281500 #constraints=21121
1282.52/1283.04	c nbDecision=282000 #constraints=21136
1285.02/1285.54	c nbDecision=282500 #constraints=21150
1288.12/1288.68	c nbDecision=283000 #constraints=21184
1290.72/1291.24	c nbDecision=283500 #constraints=21200
1293.32/1293.83	c nbDecision=284000 #constraints=21217
1295.82/1296.31	c nbDecision=284500 #constraints=21231
1298.22/1298.79	c nbDecision=285000 #constraints=21246
1301.22/1301.75	c nbDecision=285500 #constraints=21276
1303.82/1304.30	c nbDecision=286000 #constraints=21291
1306.22/1306.79	c nbDecision=286500 #constraints=21305
1308.62/1309.18	c nbDecision=287000 #constraints=21317
1311.51/1312.08	c nbDecision=287500 #constraints=21345
1314.01/1314.54	c nbDecision=288000 #constraints=21359
1316.81/1317.32	c nbDecision=288500 #constraints=21384
1319.21/1319.73	c nbDecision=289000 #constraints=21397
1322.01/1322.52	c nbDecision=289500 #constraints=21430
1325.11/1325.60	c nbDecision=290000 #constraints=21466
1328.31/1328.86	c nbDecision=290500 #constraints=21518
1331.10/1331.69	c nbDecision=291000 #constraints=21540
1334.10/1334.64	c nbDecision=291500 #constraints=21565
1336.80/1337.35	c nbDecision=292000 #constraints=21584
1339.30/1339.86	c nbDecision=292500 #constraints=21598
1341.90/1342.41	c nbDecision=293000 #constraints=21613
1344.39/1344.92	c nbDecision=293500 #constraints=21627
1347.29/1347.89	c nbDecision=294000 #constraints=21656
1350.09/1350.65	c nbDecision=294500 #constraints=21685
1352.59/1353.16	c nbDecision=295000 #constraints=21699
1355.09/1355.67	c nbDecision=295500 #constraints=21714
1357.59/1358.17	c nbDecision=296000 #constraints=21728
1360.49/1361.08	c nbDecision=296500 #constraints=21762
1363.08/1363.69	c nbDecision=297000 #constraints=21778
1365.69/1366.24	c nbDecision=297500 #constraints=21793
1368.58/1369.14	c nbDecision=298000 #constraints=21820
1371.08/1371.60	c nbDecision=298500 #constraints=21833
1373.49/1374.08	c nbDecision=299000 #constraints=21853
1376.19/1376.77	c nbDecision=299500 #constraints=21876
1378.69/1379.23	c nbDecision=300000 #constraints=21895
1381.19/1381.76	c nbDecision=300500 #constraints=21912
1383.78/1384.32	c nbDecision=301000 #constraints=21929
1387.38/1387.96	c nbDecision=301500 #constraints=21995
1390.58/1391.10	c nbDecision=302000 #constraints=22040
1393.28/1393.86	c nbDecision=302500 #constraints=22067
1395.88/1396.46	c nbDecision=303000 #constraints=22083
1398.48/1399.01	c nbDecision=303500 #constraints=22098
1400.88/1401.42	c nbDecision=304000 #constraints=22110
1403.87/1404.47	c nbDecision=304500 #constraints=22140
1406.57/1407.17	c nbDecision=305000 #constraints=22157
1409.07/1409.62	c nbDecision=305500 #constraints=22169
1411.97/1412.55	c nbDecision=306000 #constraints=22198
1414.37/1414.98	c nbDecision=306500 #constraints=22210
1416.87/1417.46	c nbDecision=307000 #constraints=22223
1419.57/1420.17	c nbDecision=307500 #constraints=22245
1421.96/1422.59	c nbDecision=308000 #constraints=22257
1424.66/1425.22	c nbDecision=308500 #constraints=22277
1427.27/1427.83	c nbDecision=309000 #constraints=22295
1430.76/1431.38	c nbDecision=309500 #constraints=22357
1433.56/1434.16	c nbDecision=310000 #constraints=22384
1436.36/1436.97	c nbDecision=310500 #constraints=22404
1438.76/1439.38	c nbDecision=311000 #constraints=22415
1441.76/1442.37	c nbDecision=311500 #constraints=22451
1444.36/1444.92	c nbDecision=312000 #constraints=22465
1446.86/1447.46	c nbDecision=312500 #constraints=22480
1449.56/1450.15	c nbDecision=313000 #constraints=22500
1452.06/1452.63	c nbDecision=313500 #constraints=22521
1454.66/1455.28	c nbDecision=314000 #constraints=22541
1457.96/1458.55	c nbDecision=314500 #constraints=22601
1461.65/1462.29	c nbDecision=315000 #constraints=22668
1464.35/1464.91	c nbDecision=315500 #constraints=22683
1466.86/1467.46	c nbDecision=316000 #constraints=22697
1469.75/1470.34	c nbDecision=316500 #constraints=22723
1472.15/1472.72	c nbDecision=317000 #constraints=22733
1474.85/1475.43	c nbDecision=317500 #constraints=22755
1477.65/1478.25	c nbDecision=318000 #constraints=22780
1481.35/1481.96	c nbDecision=318500 #constraints=22843
1483.95/1484.52	c nbDecision=319000 #constraints=22857
1486.75/1487.35	c nbDecision=319500 #constraints=22882
1489.74/1490.37	c nbDecision=320000 #constraints=22913
1493.04/1493.69	c nbDecision=320500 #constraints=22965
1495.54/1496.18	c nbDecision=321000 #constraints=22985
1499.24/1499.81	c nbDecision=321500 #constraints=23038
1501.94/1502.51	c nbDecision=322000 #constraints=23068
1505.44/1506.06	c nbDecision=322500 #constraints=23128
1509.23/1509.87	c nbDecision=323000 #constraints=23209
1513.53/1514.10	c nbDecision=323500 #constraints=23319
1516.33/1516.99	c nbDecision=324000 #constraints=23340
1519.23/1519.81	c nbDecision=324500 #constraints=23359
1521.93/1522.59	c nbDecision=325000 #constraints=23377
1524.53/1525.13	c nbDecision=325500 #constraints=23390
1527.02/1527.66	c nbDecision=326000 #constraints=23402
1530.42/1531.01	c nbDecision=326500 #constraints=23437
1533.22/1533.82	c nbDecision=327000 #constraints=23456
1535.92/1536.54	c nbDecision=327500 #constraints=23473
1538.52/1539.13	c nbDecision=328000 #constraints=23487
1541.52/1542.16	c nbDecision=328500 #constraints=23537
1544.52/1545.13	c nbDecision=329000 #constraints=23562
1547.22/1547.89	c nbDecision=329500 #constraints=23579
1549.71/1550.38	c nbDecision=330000 #constraints=23591
1552.31/1552.93	c nbDecision=330500 #constraints=23605
1555.31/1555.96	c nbDecision=331000 #constraints=23632
1557.91/1558.58	c nbDecision=331500 #constraints=23647
1560.91/1561.56	c nbDecision=332000 #constraints=23673
1563.51/1564.10	c nbDecision=332500 #constraints=23685
1566.31/1566.97	c nbDecision=333000 #constraints=23714
1568.90/1569.53	c nbDecision=333500 #constraints=23728
1572.11/1572.79	c nbDecision=334000 #constraints=23768
1575.61/1576.28	c nbDecision=334500 #constraints=23817
1578.61/1579.23	c nbDecision=335000 #constraints=23838
1581.21/1581.90	c nbDecision=335500 #constraints=23853
1583.91/1584.52	c nbDecision=336000 #constraints=23867
1586.60/1587.26	c nbDecision=336500 #constraints=23884
1589.70/1590.36	c nbDecision=337000 #constraints=23918
1592.31/1592.95	c nbDecision=337500 #constraints=23932
1594.90/1595.57	c nbDecision=338000 #constraints=23947
1597.40/1598.04	c nbDecision=338500 #constraints=23959
1600.30/1600.92	c nbDecision=339000 #constraints=23981
1602.90/1603.55	c nbDecision=339500 #constraints=23996
1605.90/1606.52	c nbDecision=340000 #constraints=24022
1608.50/1609.11	c nbDecision=340500 #constraints=24036
1611.19/1611.89	c nbDecision=341000 #constraints=24056
1614.20/1614.82	c nbDecision=341500 #constraints=24081
1616.79/1617.49	c nbDecision=342000 #constraints=24108
1620.29/1620.91	c nbDecision=342500 #constraints=24158
1623.19/1623.89	c nbDecision=343000 #constraints=24179
1625.88/1626.54	c nbDecision=343500 #constraints=24193
1628.49/1629.16	c nbDecision=344000 #constraints=24208
1631.38/1632.04	c nbDecision=344500 #constraints=24230
1633.98/1634.63	c nbDecision=345000 #constraints=24243
1636.58/1637.28	c nbDecision=345500 #constraints=24259
1639.58/1640.29	c nbDecision=346000 #constraints=24284
1642.58/1643.26	c nbDecision=346500 #constraints=24309
1645.37/1646.01	c nbDecision=347000 #constraints=24328
1648.47/1649.14	c nbDecision=347500 #constraints=24359
1651.88/1652.53	c nbDecision=348000 #constraints=24414
1654.48/1655.10	c nbDecision=348500 #constraints=24427
1657.08/1657.76	c nbDecision=349000 #constraints=24443
1659.98/1660.68	c nbDecision=349500 #constraints=24473
1662.68/1663.35	c nbDecision=350000 #constraints=24487
1665.48/1666.13	c nbDecision=350500 #constraints=24508
1668.27/1668.93	c nbDecision=351000 #constraints=24528
1671.17/1671.81	c nbDecision=351500 #constraints=24554
1674.37/1675.08	c nbDecision=352000 #constraints=24598
1677.17/1677.89	c nbDecision=352500 #constraints=24618
1679.87/1680.55	c nbDecision=353000 #constraints=24633
1682.67/1683.35	c nbDecision=353500 #constraints=24653
1686.46/1687.14	c nbDecision=354000 #constraints=24713
1688.97/1689.64	c nbDecision=354500 #constraints=24725
1692.06/1692.76	c nbDecision=355000 #constraints=24756
1695.46/1696.18	c nbDecision=355500 #constraints=24806
1699.36/1700.01	c nbDecision=356000 #constraints=24868
1702.96/1703.64	c nbDecision=356500 #constraints=24927
1707.15/1707.86	c nbDecision=357000 #constraints=25042
1710.05/1710.72	c nbDecision=357500 #constraints=25061
1712.95/1713.62	c nbDecision=358000 #constraints=25080
1715.75/1716.44	c nbDecision=358500 #constraints=25097
1718.35/1719.00	c nbDecision=359000 #constraints=25109
1721.35/1722.06	c nbDecision=359500 #constraints=25134
1724.04/1724.70	c nbDecision=360000 #constraints=25153
1726.84/1727.58	c nbDecision=360500 #constraints=25172
1729.44/1730.19	c nbDecision=361000 #constraints=25186
1732.64/1733.33	c nbDecision=361500 #constraints=25213
1735.25/1735.98	c nbDecision=362000 #constraints=25228
1737.95/1738.62	c nbDecision=362500 #constraints=25242
1740.95/1741.60	c nbDecision=363000 #constraints=25265
1743.95/1744.65	c nbDecision=363500 #constraints=25315
1746.84/1747.54	c nbDecision=364000 #constraints=25335
1750.24/1750.93	c nbDecision=364500 #constraints=25371
1754.14/1754.82	c nbDecision=365000 #constraints=25428
1756.84/1757.59	c nbDecision=365500 #constraints=25444
1759.44/1760.19	c nbDecision=366000 #constraints=25456
1762.14/1762.86	c nbDecision=366500 #constraints=25471
1765.23/1765.91	c nbDecision=367000 #constraints=25495
1767.93/1768.65	c nbDecision=367500 #constraints=25510
1770.44/1771.18	c nbDecision=368000 #constraints=25522
1773.53/1774.24	c nbDecision=368500 #constraints=25547
1776.33/1777.06	c nbDecision=369000 #constraints=25566
1779.03/1779.79	c nbDecision=369500 #constraints=25582
1782.33/1783.09	c nbDecision=370000 #constraints=25615
1785.83/1786.57	c nbDecision=370500 #constraints=25665
1788.52/1789.28	c nbDecision=371000 #constraints=25679
1791.22/1791.93	c nbDecision=371500 #constraints=25694
1794.32/1795.03	c nbDecision=372000 #constraints=25725
1797.12/1797.88	c nbDecision=372500 #constraints=25745
1799.72/1800.45	c nbDecision=373000 #constraints=25757
1800.03/1800.70	Received signal 15
1800.03/1800.71	
1800.03/1800.71	s UNKNOWN
1800.03/1800.71	
1800.03/1800.71	c user time= 1799.73 s
1800.03/1800.71	c system time= 0.308953 s
1800.03/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node37/watcher-356945-1176849045 -o ROOT/results/node37/solver-356945-1176849045 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.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.92 0.98 0.99 3/78 19331
/proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=1620 CPUtime=0
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132816976 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569724 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 405 176 126 317 0 84 0

[startup+0.102649 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19331
/proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=3440 CPUtime=0.1
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 897 0 0 0 10 0 0 0 18 0 1 0 132816976 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 860 652 126 317 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3440

[startup+0.201668 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19331
/proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=5520 CPUtime=0.19
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 1507 0 0 0 19 0 0 0 18 0 1 0 132816976 5652480 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714755 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 1380 1005 127 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.301687 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19331
/proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=5820 CPUtime=0.29
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 1591 0 0 0 29 0 0 0 19 0 1 0 132816976 5959680 1089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 1455 1089 131 317 0 1134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5820

[startup+0.701762 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19331
/proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=14644 CPUtime=0.69
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 3680 0 0 0 68 1 0 0 22 0 1 0 132816976 14995456 3178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 3661 3178 131 317 0 3340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14644

[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1598456/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=32628 CPUtime=1.49
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 7878 0 0 0 146 3 0 0 25 0 1 0 132816976 33411072 7376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 8157 7377 131 317 0 7836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32628

[startup+3.10121 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1575032/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=80812 CPUtime=3.09
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 19606 0 0 0 302 7 0 0 25 0 1 0 132816976 82751488 19104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 20203 19104 137 317 0 19882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80812

[startup+6.30182 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1528376/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=95664 CPUtime=6.29
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 23299 0 0 0 621 8 0 0 25 0 1 0 132816976 97959936 22797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 23916 22797 139 317 0 23595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95664

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1525512/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=98280 CPUtime=12.69
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 23940 0 0 0 1260 9 0 0 25 0 1 0 132816976 100638720 23438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 24570 23438 139 317 0 24249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98280

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 3/79 19332
/proc/meminfo: memFree=1522312/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=101436 CPUtime=25.48
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 24750 0 0 0 2539 9 0 0 25 0 1 0 132816976 103870464 24248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 25359 24248 139 317 0 25038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101436

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1519816/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=104048 CPUtime=51.07
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 25394 0 0 0 5097 10 0 0 25 0 1 0 132816976 106545152 24892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 26012 24892 139 317 0 25691 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104048

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1516616/2055920 swapFree=4128524/4192956
[pid=19331] ppid=19329 vsize=107208 CPUtime=102.26
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 26175 0 0 0 10215 11 0 0 25 0 1 0 132816976 109780992 25673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 26802 25673 139 317 0 26481 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107208

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1513416/2055920 swapFree=4128588/4192956
[pid=19331] ppid=19329 vsize=110440 CPUtime=162.23
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27000 0 0 0 16212 11 0 0 25 0 1 0 132816976 113090560 26448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 27610 26448 139 317 0 27289 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 110440

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1511304/2055920 swapFree=4128588/4192956
[pid=19331] ppid=19329 vsize=112720 CPUtime=222.21
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27562 0 0 0 22209 12 0 0 25 0 1 0 132816976 115425280 27010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 28180 27010 139 317 0 27859 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 112720

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1510216/2055920 swapFree=4128588/4192956
[pid=19331] ppid=19329 vsize=113760 CPUtime=282.19
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27823 0 0 0 28206 13 0 0 25 0 1 0 132816976 116490240 27271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 28440 27271 139 317 0 28119 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 113760

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19332
/proc/meminfo: memFree=1509128/2055920 swapFree=4128652/4192956
[pid=19331] ppid=19329 vsize=114672 CPUtime=342.17
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28080 0 0 0 34203 14 0 0 25 0 1 0 132816976 117424128 27528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 28668 27528 139 317 0 28347 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 114672

[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/79 19332
/proc/meminfo: memFree=1508040/2055920 swapFree=4128652/4192956
[pid=19331] ppid=19329 vsize=116112 CPUtime=402.14
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28368 0 0 0 40200 14 0 0 25 0 1 0 132816976 118898688 27816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 29028 27816 139 317 0 28707 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 116112

[startup+462.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 19332
/proc/meminfo: memFree=1506056/2055920 swapFree=4128716/4192956
[pid=19331] ppid=19329 vsize=117960 CPUtime=462.12
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28838 0 0 0 46197 15 0 0 25 0 1 0 132816976 120791040 28286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 29490 28286 139 317 0 29169 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 117960

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1505160/2055920 swapFree=4128716/4192956
[pid=19331] ppid=19329 vsize=118880 CPUtime=522.1
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29085 0 0 0 52194 16 0 0 25 0 1 0 132816976 121733120 28533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 29720 28533 139 317 0 29399 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 118880

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1502920/2055920 swapFree=4128716/4192956
[pid=19331] ppid=19329 vsize=121184 CPUtime=582.07
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29621 0 0 0 58191 16 0 0 25 0 1 0 132816976 124092416 29069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 30296 29069 139 317 0 29975 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 121184

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1501832/2055920 swapFree=4128780/4192956
[pid=19331] ppid=19329 vsize=122416 CPUtime=642.06
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29924 0 0 0 64189 17 0 0 25 0 1 0 132816976 125353984 29372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 30604 29372 139 317 0 30283 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 122416


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1497288/2055920 swapFree=4128844/4192956
[pid=19331] ppid=19329 vsize=127620 CPUtime=821.99
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31148 0 0 0 82180 19 0 0 25 0 1 0 132816976 130682880 30497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 31905 30497 139 317 0 31584 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 127620

[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1495496/2055920 swapFree=4128908/4192956
[pid=19331] ppid=19329 vsize=129460 CPUtime=881.97
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31583 0 0 0 88177 20 0 0 25 0 1 0 132816976 132567040 30932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 32365 30932 139 317 0 32044 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 129460

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1494152/2055920 swapFree=4128908/4192956
[pid=19331] ppid=19329 vsize=131072 CPUtime=941.95
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31942 0 0 0 94174 21 0 0 25 0 1 0 132816976 134217728 31291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 32768 31291 139 317 0 32447 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 131072

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1493320/2055920 swapFree=4128908/4192956
[pid=19331] ppid=19329 vsize=131720 CPUtime=1001.93
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32127 0 0 0 100171 22 0 0 25 0 1 0 132816976 134881280 31476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385227 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 32930 31476 139 317 0 32609 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 131720

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1492552/2055920 swapFree=4128972/4192956
[pid=19331] ppid=19329 vsize=132504 CPUtime=1061.91
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32338 0 0 0 106168 23 0 0 25 0 1 0 132816976 135684096 31687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 33126 31687 139 317 0 32805 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 132504

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1491784/2055920 swapFree=4128972/4192956
[pid=19331] ppid=19329 vsize=133156 CPUtime=1121.88
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32523 0 0 0 112165 23 0 0 25 0 1 0 132816976 136351744 31872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 33289 31872 139 317 0 32968 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 133156

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1490824/2055920 swapFree=4129036/4192956
[pid=19331] ppid=19329 vsize=133976 CPUtime=1181.86
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32753 0 0 0 118162 24 0 0 25 0 1 0 132816976 137191424 32102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 33494 32102 139 317 0 33173 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 133976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1489800/2055920 swapFree=4129036/4192956
[pid=19331] ppid=19329 vsize=135052 CPUtime=1241.83
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33022 0 0 0 124159 24 0 0 25 0 1 0 132816976 138293248 32371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 33763 32371 139 317 0 33442 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 135052

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1488968/2055920 swapFree=4129036/4192956
[pid=19331] ppid=19329 vsize=135712 CPUtime=1301.82
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33209 0 0 0 130157 25 0 0 25 0 1 0 132816976 138969088 32558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 33928 32558 139 317 0 33607 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 135712

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1488392/2055920 swapFree=4129100/4192956
[pid=19331] ppid=19329 vsize=136428 CPUtime=1361.79
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33371 0 0 0 136154 25 0 0 25 0 1 0 132816976 139702272 32720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 34107 32720 139 317 0 33786 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 136428

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1487624/2055920 swapFree=4129100/4192956
[pid=19331] ppid=19329 vsize=136952 CPUtime=1421.77
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33536 0 0 0 142151 26 0 0 25 0 1 0 132816976 140238848 32885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 34238 32885 139 317 0 33917 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 136952

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1486728/2055920 swapFree=4129164/4192956
[pid=19331] ppid=19329 vsize=137924 CPUtime=1481.75
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33772 0 0 0 148148 27 0 0 25 0 1 0 132816976 141234176 33121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 34481 33121 139 317 0 34160 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 137924

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1485640/2055920 swapFree=4129164/4192956
[pid=19331] ppid=19329 vsize=139028 CPUtime=1541.72
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34046 0 0 0 154145 27 0 0 25 0 1 0 132816976 142364672 33395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 34757 33395 139 317 0 34436 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 139028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1484744/2055920 swapFree=4129164/4192956
[pid=19331] ppid=19329 vsize=141356 CPUtime=1601.7
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34522 0 0 0 160142 28 0 0 25 0 1 0 132816976 144748544 33607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 35339 33607 139 317 0 35018 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 141356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1484104/2055920 swapFree=4129228/4192956
[pid=19331] ppid=19329 vsize=141912 CPUtime=1661.68
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34686 0 0 0 166139 29 0 0 25 0 1 0 132816976 145317888 33771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 35478 33771 139 317 0 35157 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 141912

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1483208/2055920 swapFree=4129228/4192956
[pid=19331] ppid=19329 vsize=142700 CPUtime=1721.65
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34897 0 0 0 172136 29 0 0 25 0 1 0 132816976 146124800 33982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 35675 33982 139 317 0 35354 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 142700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19334
/proc/meminfo: memFree=1482440/2055920 swapFree=4129292/4192956
[pid=19331] ppid=19329 vsize=143604 CPUtime=1781.63
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 35137 0 0 0 178133 30 0 0 25 0 1 0 132816976 147050496 34189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 35901 34189 139 317 0 35580 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 143604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/79 19334
/proc/meminfo: memFree=1482248/2055920 swapFree=4129292/4192956
[pid=19331] ppid=19329 vsize=143732 CPUtime=1800.03
/proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 35189 0 0 0 179973 30 0 0 25 0 1 0 132816976 147181568 34241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19331/statm: 35933 34241 139 317 0 35612 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 143732

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.77
CPU time (s): 1800.1
CPU user time (s): 1799.77
CPU system time (s): 0.330949
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 143732

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

runsolver used 1.84772 second user time and 4.75228 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue Apr 17 22:30:45 UTC 2007

IDJOB= 356945
IDBENCH= 1671
IDSOLVER= 172
FILE ID= node37/356945-1176849045

PBS_JOBID= 4590205

Free space on /tmp= 66452 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-d2q06c.opb
COMMAND LINE= oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-356945-1176849045 -o ROOT/results/node37/solver-356945-1176849045 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  121100115f65aafe7304954ad1ff7cf1

RANDOM SEED= 736139933

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1619480 kB
Buffers:         37284 kB
Cached:         313928 kB
SwapCached:       3136 kB
Active:         200264 kB
Inactive:       176956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619480 kB
SwapTotal:     4192956 kB
SwapFree:      4128524 kB
Dirty:           11900 kB
Writeback:           0 kB
Mapped:          33184 kB
Slab:            44524 kB
Committed_AS:  1101608 kB
PageTables:       2000 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= 66452 MiB

End job on node37 on Tue Apr 17 23:00:48 UTC 2007