Trace number 357341

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.24 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-cycle.opb
MD5SUMa4f456875ede4549ae03268180cd603c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 53687091200000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 1737924154969464
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 48888431614361600
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 779202693141814557
Number of bits of the biggest sum of numbers60
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.19/2.25	c ...done
2.19/2.25	c #vars=84737 #constraints=3177 hasObjective=yes
2.68/2.76	c res. mode=mod
2.68/2.76	c VSIDS like heuristics
2.68/2.76	c complete search running
4.19/4.23	c restart after 401 decisions
4.39/4.49	c nbDecision=500 #constraints=3213
5.19/5.26	c restart after 801 decisions
5.59/5.69	c nbDecision=1000 #constraints=3247
6.89/6.91	c nbDecision=1500 #constraints=3289
7.09/7.12	c restart after 1601 decisions
7.99/8.00	c nbDecision=2000 #constraints=3307
9.09/9.12	c nbDecision=2500 #constraints=3327
10.29/10.39	c nbDecision=3000 #constraints=3368
10.99/11.06	c restart after 3201 decisions
11.68/11.71	c nbDecision=3500 #constraints=3386
12.89/12.92	c nbDecision=4000 #constraints=3412
13.99/14.10	c nbDecision=4500 #constraints=3430
15.98/16.09	c nbDecision=5000 #constraints=3519
17.69/17.77	c nbDecision=5500 #constraints=3576
19.09/19.14	c nbDecision=6000 #constraints=3610
19.98/20.05	c restart after 6401 decisions
20.18/20.27	c nbDecision=6500 #constraints=3622
21.28/21.39	c nbDecision=7000 #constraints=3636
23.18/23.28	c nbDecision=7500 #constraints=3706
24.78/24.81	c nbDecision=8000 #constraints=3739
25.98/26.07	c nbDecision=8500 #constraints=3753
27.08/27.19	c nbDecision=9000 #constraints=3757
28.49/28.54	c nbDecision=9500 #constraints=3774
29.78/29.87	c nbDecision=10000 #constraints=3787
31.08/31.14	c nbDecision=10500 #constraints=3797
32.48/32.51	c nbDecision=11000 #constraints=3810
33.78/33.81	c nbDecision=11500 #constraints=3821
34.88/34.96	c nbDecision=12000 #constraints=3831
36.08/36.16	c nbDecision=12500 #constraints=3839
36.88/36.91	c restart after 12801 decisions
37.28/37.33	c nbDecision=13000 #constraints=3847
38.38/38.42	c nbDecision=13500 #constraints=3861
40.17/40.22	c nbDecision=14000 #constraints=3916
41.27/41.39	c nbDecision=14500 #constraints=3926
42.67/42.70	c nbDecision=15000 #constraints=3940
43.78/43.87	c nbDecision=15500 #constraints=3952
45.08/45.18	c nbDecision=16000 #constraints=3970
46.48/46.50	c nbDecision=16500 #constraints=3986
47.78/47.81	c nbDecision=17000 #constraints=3999
49.07/49.19	c nbDecision=17500 #constraints=4017
50.37/50.46	c nbDecision=18000 #constraints=4030
51.77/51.80	c nbDecision=18500 #constraints=4041
53.07/53.17	c nbDecision=19000 #constraints=4054
54.47/54.51	c nbDecision=19500 #constraints=4069
55.57/55.68	c nbDecision=20000 #constraints=4076
56.87/56.92	c nbDecision=20500 #constraints=4084
58.28/58.36	c nbDecision=21000 #constraints=4101
59.37/59.44	c nbDecision=21500 #constraints=4105
60.67/60.70	c nbDecision=22000 #constraints=4114
61.86/61.93	c nbDecision=22500 #constraints=4123
63.06/63.13	c nbDecision=23000 #constraints=4133
64.37/64.50	c nbDecision=23500 #constraints=4151
65.67/65.75	c nbDecision=24000 #constraints=4161
66.87/66.94	c nbDecision=24500 #constraints=4167
68.27/68.32	c nbDecision=25000 #constraints=4179
69.57/69.68	c nbDecision=25500 #constraints=4189
69.97/70.01	c restart after 25601 decisions
70.86/70.98	c nbDecision=26000 #constraints=4215
72.06/72.10	c nbDecision=26500 #constraints=4224
74.06/74.14	c nbDecision=27000 #constraints=4284
75.47/75.59	c nbDecision=27500 #constraints=4318
76.67/76.74	c nbDecision=28000 #constraints=4326
77.97/78.08	c nbDecision=28500 #constraints=4341
79.27/79.36	c nbDecision=29000 #constraints=4352
80.67/80.74	c nbDecision=29500 #constraints=4367
82.16/82.21	c nbDecision=30000 #constraints=4385
83.46/83.53	c nbDecision=30500 #constraints=4399
84.66/84.78	c nbDecision=31000 #constraints=4407
86.26/86.35	c nbDecision=31500 #constraints=4425
87.87/87.99	c nbDecision=32000 #constraints=4446
89.16/89.28	c nbDecision=32500 #constraints=4454
90.76/90.80	c nbDecision=33000 #constraints=4468
92.36/92.48	c nbDecision=33500 #constraints=4489
94.36/94.45	c nbDecision=34000 #constraints=4512
95.96/96.03	c nbDecision=34500 #constraints=4526
97.65/97.72	c nbDecision=35000 #constraints=4543
99.46/99.56	c nbDecision=35500 #constraints=4566
101.36/101.43	c nbDecision=36000 #constraints=4585
103.15/103.21	c nbDecision=36500 #constraints=4603
104.96/105.01	c nbDecision=37000 #constraints=4625
106.56/106.60	c nbDecision=37500 #constraints=4640
107.76/107.86	c nbDecision=38000 #constraints=4649
108.86/108.99	c nbDecision=38500 #constraints=4657
110.05/110.17	c nbDecision=39000 #constraints=4667
111.35/111.42	c nbDecision=39500 #constraints=4676
112.65/112.79	c nbDecision=40000 #constraints=4696
113.95/114.08	c nbDecision=40500 #constraints=4705
115.45/115.58	c nbDecision=41000 #constraints=4718
117.15/117.21	c nbDecision=41500 #constraints=4741
118.35/118.42	c nbDecision=42000 #constraints=4751
119.55/119.65	c nbDecision=42500 #constraints=4757
121.15/121.21	c nbDecision=43000 #constraints=4773
122.55/122.62	c nbDecision=43500 #constraints=4783
124.05/124.16	c nbDecision=44000 #constraints=4799
125.35/125.49	c nbDecision=44500 #constraints=4807
126.74/126.88	c nbDecision=45000 #constraints=4816
128.04/128.18	c nbDecision=45500 #constraints=4823
129.34/129.46	c nbDecision=46000 #constraints=4830
130.85/130.94	c nbDecision=46500 #constraints=4846
132.15/132.24	c nbDecision=47000 #constraints=4853
133.75/133.88	c nbDecision=47500 #constraints=4877
135.15/135.30	c nbDecision=48000 #constraints=4889
136.54/136.70	c nbDecision=48500 #constraints=4900
137.84/137.95	c nbDecision=49000 #constraints=4908
139.14/139.26	c nbDecision=49500 #constraints=4919
140.54/140.63	c nbDecision=50000 #constraints=4928
141.84/141.99	c nbDecision=50500 #constraints=4941
143.14/143.27	c nbDecision=51000 #constraints=4949
143.74/143.80	c restart after 51201 decisions
144.34/144.43	c nbDecision=51500 #constraints=4952
145.44/145.54	c nbDecision=52000 #constraints=4961
150.84/151.00	c nbDecision=52500 #constraints=5311
152.75/152.81	c nbDecision=53000 #constraints=5379
157.04/157.12	c nbDecision=53500 #constraints=5764
162.23/162.31	c nbDecision=54000 #constraints=6170
166.23/166.30	c nbDecision=54500 #constraints=6470
171.94/172.05	c nbDecision=55000 #constraints=6878
176.33/176.42	c nbDecision=55500 #constraints=7140
179.83/179.95	c nbDecision=56000 #constraints=7313
181.73/181.84	c nbDecision=56500 #constraints=7363
183.63/183.72	c nbDecision=57000 #constraints=7418
187.62/187.71	c nbDecision=57500 #constraints=7565
189.83/189.99	c nbDecision=58000 #constraints=7587
191.92/192.04	c nbDecision=58500 #constraints=7614
193.92/194.02	c nbDecision=59000 #constraints=7635
195.93/196.06	c nbDecision=59500 #constraints=7662
197.93/198.07	c nbDecision=60000 #constraints=7687
199.72/199.83	c nbDecision=60500 #constraints=7707
201.42/201.59	c nbDecision=61000 #constraints=7725
203.72/203.82	c nbDecision=61500 #constraints=7750
205.32/205.43	c nbDecision=62000 #constraints=7766
207.02/207.18	c nbDecision=62500 #constraints=7783
209.02/209.12	c nbDecision=63000 #constraints=7803
210.52/210.66	c nbDecision=63500 #constraints=7818
212.52/212.65	c nbDecision=64000 #constraints=7846
214.01/214.19	c nbDecision=64500 #constraints=7857
216.02/216.14	c nbDecision=65000 #constraints=7874
218.22/218.40	c nbDecision=65500 #constraints=7892
220.61/220.74	c nbDecision=66000 #constraints=7924
222.51/222.67	c nbDecision=66500 #constraints=7947
224.21/224.35	c nbDecision=67000 #constraints=7963
226.02/226.17	c nbDecision=67500 #constraints=7982
228.02/228.11	c nbDecision=68000 #constraints=8002
231.31/231.44	c nbDecision=68500 #constraints=8038
233.52/233.61	c nbDecision=69000 #constraints=8054
235.11/235.28	c nbDecision=69500 #constraints=8066
237.21/237.39	c nbDecision=70000 #constraints=8082
239.81/240.00	c nbDecision=70500 #constraints=8109
241.81/242.00	c nbDecision=71000 #constraints=8129
243.70/243.88	c nbDecision=71500 #constraints=8142
246.41/246.54	c nbDecision=72000 #constraints=8175
248.61/248.77	c nbDecision=72500 #constraints=8195
251.00/251.19	c nbDecision=73000 #constraints=8214
253.91/254.02	c nbDecision=73500 #constraints=8241
255.40/255.55	c nbDecision=74000 #constraints=8251
257.30/257.48	c nbDecision=74500 #constraints=8266
259.61/259.78	c nbDecision=75000 #constraints=8283
261.90/262.09	c nbDecision=75500 #constraints=8302
264.30/264.44	c nbDecision=76000 #constraints=8321
266.40/266.54	c nbDecision=76500 #constraints=8336
268.89/269.04	c nbDecision=77000 #constraints=8360
271.00/271.10	c nbDecision=77500 #constraints=8376
273.10/273.23	c nbDecision=78000 #constraints=8393
275.10/275.24	c nbDecision=78500 #constraints=8411
277.79/277.93	c nbDecision=79000 #constraints=8432
279.69/279.81	c nbDecision=79500 #constraints=8444
282.99/283.18	c nbDecision=80000 #constraints=8468
286.70/286.85	c nbDecision=80500 #constraints=8499
289.49/289.63	c nbDecision=81000 #constraints=8516
292.29/292.46	c nbDecision=81500 #constraints=8533
295.69/295.87	c nbDecision=82000 #constraints=8558
297.19/297.39	c nbDecision=82500 #constraints=8568
299.09/299.27	c nbDecision=83000 #constraints=8582
301.09/301.23	c nbDecision=83500 #constraints=8600
303.98/304.19	c nbDecision=84000 #constraints=8623
306.49/306.61	c nbDecision=84500 #constraints=8638
308.99/309.14	c nbDecision=85000 #constraints=8658
310.99/311.19	c nbDecision=85500 #constraints=8672
313.88/314.04	c nbDecision=86000 #constraints=8696
316.28/316.45	c nbDecision=86500 #constraints=8715
319.08/319.25	c nbDecision=87000 #constraints=8737
321.08/321.21	c nbDecision=87500 #constraints=8751
322.98/323.15	c nbDecision=88000 #constraints=8765
324.98/325.17	c nbDecision=88500 #constraints=8779
326.88/327.07	c nbDecision=89000 #constraints=8791
329.48/329.61	c nbDecision=89500 #constraints=8811
331.57/331.72	c nbDecision=90000 #constraints=8827
333.48/333.65	c nbDecision=90500 #constraints=8841
337.18/337.36	c nbDecision=91000 #constraints=8879
338.68/338.88	c nbDecision=91500 #constraints=8887
342.17/342.37	c nbDecision=92000 #constraints=8914
344.57/344.72	c nbDecision=92500 #constraints=8928
347.48/347.63	c nbDecision=93000 #constraints=8948
350.27/350.41	c nbDecision=93500 #constraints=8966
352.57/352.77	c nbDecision=94000 #constraints=8982
354.87/355.03	c nbDecision=94500 #constraints=8996
357.06/357.26	c nbDecision=95000 #constraints=9010
359.58/359.72	c nbDecision=95500 #constraints=9027
361.17/361.30	c nbDecision=96000 #constraints=9035
363.27/363.48	c nbDecision=96500 #constraints=9047
365.57/365.76	c nbDecision=97000 #constraints=9063
367.66/367.85	c nbDecision=97500 #constraints=9079
370.47/370.69	c nbDecision=98000 #constraints=9104
373.16/373.34	c nbDecision=98500 #constraints=9122
374.96/375.19	c nbDecision=99000 #constraints=9132
376.86/377.09	c nbDecision=99500 #constraints=9142
378.96/379.15	c nbDecision=100000 #constraints=9154
381.16/381.34	c nbDecision=100500 #constraints=9169
383.06/383.25	c nbDecision=101000 #constraints=9181
385.15/385.37	c nbDecision=101500 #constraints=9196
387.55/387.79	c nbDecision=102000 #constraints=9213
389.46/389.60	c restart after 102401 decisions
389.66/389.88	c nbDecision=102500 #constraints=9222
391.16/391.33	c nbDecision=103000 #constraints=9238
393.36/393.57	c nbDecision=103500 #constraints=9260
395.05/395.29	c nbDecision=104000 #constraints=9270
396.96/397.18	c nbDecision=104500 #constraints=9283
398.75/398.92	c nbDecision=105000 #constraints=9295
400.45/400.64	c nbDecision=105500 #constraints=9305
402.15/402.38	c nbDecision=106000 #constraints=9311
403.95/404.12	c nbDecision=106500 #constraints=9322
405.86/406.01	c nbDecision=107000 #constraints=9335
407.66/407.89	c nbDecision=107500 #constraints=9347
409.65/409.87	c nbDecision=108000 #constraints=9364
411.16/411.31	c nbDecision=108500 #constraints=9369
413.15/413.34	c nbDecision=109000 #constraints=9384
414.75/414.97	c nbDecision=109500 #constraints=9392
416.55/416.72	c nbDecision=110000 #constraints=9402
418.55/418.71	c nbDecision=110500 #constraints=9415
420.45/420.61	c nbDecision=111000 #constraints=9427
422.05/422.25	c nbDecision=111500 #constraints=9435
423.95/424.19	c nbDecision=112000 #constraints=9448
425.84/426.05	c nbDecision=112500 #constraints=9462
427.54/427.72	c nbDecision=113000 #constraints=9469
429.64/429.82	c nbDecision=113500 #constraints=9481
431.35/431.51	c nbDecision=114000 #constraints=9489
432.95/433.15	c nbDecision=114500 #constraints=9495
434.55/434.76	c nbDecision=115000 #constraints=9502
436.14/436.32	c nbDecision=115500 #constraints=9506
438.94/439.10	c nbDecision=116000 #constraints=9530
440.85/441.04	c nbDecision=116500 #constraints=9544
442.84/443.05	c nbDecision=117000 #constraints=9558
444.64/444.82	c nbDecision=117500 #constraints=9568
446.54/446.71	c nbDecision=118000 #constraints=9578
448.83/449.09	c nbDecision=118500 #constraints=9592
451.03/451.24	c nbDecision=119000 #constraints=9605
452.73/452.95	c nbDecision=119500 #constraints=9614
455.14/455.31	c nbDecision=120000 #constraints=9627
457.24/457.45	c nbDecision=120500 #constraints=9641
459.24/459.49	c nbDecision=121000 #constraints=9650
461.63/461.84	c nbDecision=121500 #constraints=9666
463.23/463.47	c nbDecision=122000 #constraints=9673
465.44/465.61	c nbDecision=122500 #constraints=9689
468.13/468.33	c nbDecision=123000 #constraints=9710
470.13/470.32	c nbDecision=123500 #constraints=9721
472.13/472.38	c nbDecision=124000 #constraints=9733
473.93/474.19	c nbDecision=124500 #constraints=9744
475.93/476.18	c nbDecision=125000 #constraints=9757
477.93/478.15	c nbDecision=125500 #constraints=9770
479.62/479.81	c nbDecision=126000 #constraints=9779
481.32/481.59	c nbDecision=126500 #constraints=9788
483.22/483.46	c nbDecision=127000 #constraints=9798
484.82/485.01	c nbDecision=127500 #constraints=9804
486.73/486.97	c nbDecision=128000 #constraints=9825
488.62/488.85	c nbDecision=128500 #constraints=9838
490.43/490.68	c nbDecision=129000 #constraints=9845
492.42/492.69	c nbDecision=129500 #constraints=9855
494.22/494.48	c nbDecision=130000 #constraints=9863
495.92/496.12	c nbDecision=130500 #constraints=9869
497.92/498.13	c nbDecision=131000 #constraints=9879
500.02/500.23	c nbDecision=131500 #constraints=9888
501.72/501.99	c nbDecision=132000 #constraints=9895
504.21/504.43	c nbDecision=132500 #constraints=9909
505.61/505.86	c nbDecision=133000 #constraints=9913
507.21/507.41	c nbDecision=133500 #constraints=9919
509.32/509.50	c nbDecision=134000 #constraints=9931
511.32/511.56	c nbDecision=134500 #constraints=9942
513.43/513.60	c nbDecision=135000 #constraints=9953
515.32/515.54	c nbDecision=135500 #constraints=9961
517.52/517.77	c nbDecision=136000 #constraints=9975
519.52/519.75	c nbDecision=136500 #constraints=9984
521.41/521.62	c nbDecision=137000 #constraints=9991
523.11/523.36	c nbDecision=137500 #constraints=9998
524.91/525.17	c nbDecision=138000 #constraints=10007
527.01/527.24	c nbDecision=138500 #constraints=10021
529.21/529.43	c nbDecision=139000 #constraints=10035
531.81/532.01	c nbDecision=139500 #constraints=10053
533.71/533.91	c nbDecision=140000 #constraints=10063
535.41/535.69	c nbDecision=140500 #constraints=10074
537.51/537.75	c nbDecision=141000 #constraints=10089
539.31/539.56	c nbDecision=141500 #constraints=10097
541.40/541.67	c nbDecision=142000 #constraints=10109
543.30/543.51	c nbDecision=142500 #constraints=10120
545.41/545.61	c nbDecision=143000 #constraints=10131
547.31/547.50	c nbDecision=143500 #constraints=10142
549.40/549.69	c nbDecision=144000 #constraints=10154
551.40/551.61	c nbDecision=144500 #constraints=10164
553.11/553.34	c nbDecision=145000 #constraints=10174
555.00/555.27	c nbDecision=145500 #constraints=10185
557.20/557.43	c nbDecision=146000 #constraints=10201
558.80/559.04	c nbDecision=146500 #constraints=10208
560.50/560.72	c nbDecision=147000 #constraints=10217
562.10/562.38	c nbDecision=147500 #constraints=10224
564.20/564.41	c nbDecision=148000 #constraints=10239
566.10/566.31	c nbDecision=148500 #constraints=10249
568.00/568.22	c nbDecision=149000 #constraints=10259
570.00/570.20	c nbDecision=149500 #constraints=10269
571.50/571.71	c nbDecision=150000 #constraints=10275
573.19/573.47	c nbDecision=150500 #constraints=10283
574.89/575.17	c nbDecision=151000 #constraints=10289
576.79/577.01	c nbDecision=151500 #constraints=10300
578.79/579.01	c nbDecision=152000 #constraints=10312
580.70/580.96	c nbDecision=152500 #constraints=10322
582.49/582.78	c nbDecision=153000 #constraints=10331
584.19/584.49	c nbDecision=153500 #constraints=10339
586.39/586.68	c nbDecision=154000 #constraints=10351
588.20/588.44	c nbDecision=154500 #constraints=10359
589.99/590.26	c nbDecision=155000 #constraints=10366
591.79/592.07	c nbDecision=155500 #constraints=10374
593.69/593.90	c nbDecision=156000 #constraints=10384
595.79/596.07	c nbDecision=156500 #constraints=10397
597.59/597.83	c nbDecision=157000 #constraints=10404
599.68/599.92	c nbDecision=157500 #constraints=10415
601.39/601.60	c nbDecision=158000 #constraints=10421
603.18/603.49	c nbDecision=158500 #constraints=10430
605.18/605.43	c nbDecision=159000 #constraints=10440
607.18/607.43	c nbDecision=159500 #constraints=10451
609.49/609.74	c nbDecision=160000 #constraints=10463
611.19/611.46	c nbDecision=160500 #constraints=10470
613.38/613.64	c nbDecision=161000 #constraints=10481
615.38/615.63	c nbDecision=161500 #constraints=10491
617.58/617.88	c nbDecision=162000 #constraints=10504
619.78/620.06	c nbDecision=162500 #constraints=10516
621.98/622.27	c nbDecision=163000 #constraints=10530
624.18/624.49	c nbDecision=163500 #constraints=10542
625.97/626.26	c nbDecision=164000 #constraints=10552
628.58/628.86	c nbDecision=164500 #constraints=10569
631.28/631.53	c nbDecision=165000 #constraints=10582
633.18/633.42	c nbDecision=165500 #constraints=10590
635.77/636.00	c nbDecision=166000 #constraints=10611
638.07/638.39	c nbDecision=166500 #constraints=10630
639.87/640.19	c nbDecision=167000 #constraints=10639
641.57/641.88	c nbDecision=167500 #constraints=10646
643.87/644.12	c nbDecision=168000 #constraints=10657
646.07/646.32	c nbDecision=168500 #constraints=10669
648.37/648.62	c nbDecision=169000 #constraints=10683
650.77/651.07	c nbDecision=169500 #constraints=10695
652.77/653.00	c nbDecision=170000 #constraints=10703
655.37/655.67	c nbDecision=170500 #constraints=10722
657.47/657.75	c nbDecision=171000 #constraints=10731
660.16/660.44	c nbDecision=171500 #constraints=10752
661.97/662.28	c nbDecision=172000 #constraints=10759
664.17/664.43	c nbDecision=172500 #constraints=10770
666.36/666.68	c nbDecision=173000 #constraints=10781
668.56/668.82	c nbDecision=173500 #constraints=10790
671.17/671.44	c nbDecision=174000 #constraints=10806
673.47/673.73	c nbDecision=174500 #constraints=10819
675.46/675.73	c nbDecision=175000 #constraints=10828
677.66/677.99	c nbDecision=175500 #constraints=10838
679.76/680.06	c nbDecision=176000 #constraints=10845
681.86/682.15	c nbDecision=176500 #constraints=10855
683.96/684.28	c nbDecision=177000 #constraints=10867
685.95/686.28	c nbDecision=177500 #constraints=10878
688.06/688.31	c nbDecision=178000 #constraints=10890
690.16/690.45	c nbDecision=178500 #constraints=10905
691.96/692.23	c nbDecision=179000 #constraints=10912
694.75/695.04	c nbDecision=179500 #constraints=10929
696.45/696.71	c nbDecision=180000 #constraints=10934
698.05/698.39	c nbDecision=180500 #constraints=10940
699.85/700.11	c nbDecision=181000 #constraints=10946
702.25/702.59	c nbDecision=181500 #constraints=10962
704.76/705.07	c nbDecision=182000 #constraints=10977
706.55/706.87	c nbDecision=182500 #constraints=10984
708.45/708.75	c nbDecision=183000 #constraints=10993
710.55/710.83	c nbDecision=183500 #constraints=11003
712.45/712.79	c nbDecision=184000 #constraints=11010
715.05/715.38	c nbDecision=184500 #constraints=11023
718.15/718.43	c nbDecision=185000 #constraints=11040
719.64/719.92	c nbDecision=185500 #constraints=11044
721.74/722.07	c nbDecision=186000 #constraints=11055
723.84/724.12	c nbDecision=186500 #constraints=11063
726.74/727.02	c nbDecision=187000 #constraints=11084
728.54/728.88	c nbDecision=187500 #constraints=11091
731.65/731.92	c nbDecision=188000 #constraints=11111
734.45/734.71	c nbDecision=188500 #constraints=11132
736.95/737.25	c nbDecision=189000 #constraints=11147
739.24/739.58	c nbDecision=189500 #constraints=11163
741.44/741.70	c nbDecision=190000 #constraints=11175
743.04/743.33	c nbDecision=190500 #constraints=11181
744.94/745.21	c nbDecision=191000 #constraints=11188
747.33/747.65	c nbDecision=191500 #constraints=11204
749.13/749.48	c nbDecision=192000 #constraints=11212
751.44/751.78	c nbDecision=192500 #constraints=11227
753.34/753.69	c nbDecision=193000 #constraints=11236
755.13/755.41	c nbDecision=193500 #constraints=11243
756.93/757.23	c nbDecision=194000 #constraints=11252
759.43/759.71	c nbDecision=194500 #constraints=11266
761.63/761.98	c nbDecision=195000 #constraints=11281
764.13/764.41	c nbDecision=195500 #constraints=11296
766.82/767.19	c nbDecision=196000 #constraints=11315
768.54/768.88	c nbDecision=196500 #constraints=11321
771.33/771.60	c nbDecision=197000 #constraints=11335
773.43/773.80	c nbDecision=197500 #constraints=11348
775.53/775.85	c nbDecision=198000 #constraints=11358
777.83/778.19	c nbDecision=198500 #constraints=11375
780.23/780.59	c nbDecision=199000 #constraints=11387
782.63/782.98	c nbDecision=199500 #constraints=11400
785.03/785.35	c nbDecision=200000 #constraints=11414
787.02/787.38	c nbDecision=200500 #constraints=11422
789.62/789.96	c nbDecision=201000 #constraints=11435
792.22/792.55	c nbDecision=201500 #constraints=11450
794.62/795.00	c nbDecision=202000 #constraints=11462
796.42/796.74	c nbDecision=202500 #constraints=11468
798.82/799.15	c nbDecision=203000 #constraints=11480
800.72/801.01	c nbDecision=203500 #constraints=11486
803.02/803.33	c nbDecision=204000 #constraints=11496
805.12/805.49	c nbDecision=204500 #constraints=11505
806.22/806.58	c restart after 204801 decisions
806.82/807.10	c nbDecision=205000 #constraints=11509
808.02/808.36	c nbDecision=205500 #constraints=11515
813.42/813.76	c nbDecision=206000 #constraints=11568
816.52/816.86	c nbDecision=206500 #constraints=11587
819.61/819.99	c nbDecision=207000 #constraints=11615
821.71/822.04	c nbDecision=207500 #constraints=11634
824.11/824.40	c nbDecision=208000 #constraints=11651
825.60/825.98	c nbDecision=208500 #constraints=11658
827.60/827.95	c nbDecision=209000 #constraints=11666
829.71/830.09	c nbDecision=209500 #constraints=11679
831.81/832.12	c nbDecision=210000 #constraints=11694
834.61/834.92	c nbDecision=210500 #constraints=11710
836.81/837.12	c nbDecision=211000 #constraints=11722
840.30/840.62	c nbDecision=211500 #constraints=11744
844.41/844.77	c nbDecision=212000 #constraints=11763
851.10/851.45	c nbDecision=212500 #constraints=11795
855.20/855.56	c nbDecision=213000 #constraints=11817
858.60/858.90	c nbDecision=213500 #constraints=11831
863.69/864.06	c nbDecision=214000 #constraints=11858
865.99/866.39	c nbDecision=214500 #constraints=11873
867.89/868.21	c nbDecision=215000 #constraints=11877
870.20/870.54	c nbDecision=215500 #constraints=11889
873.90/874.25	c nbDecision=216000 #constraints=11916
875.79/876.10	c nbDecision=216500 #constraints=11921
879.79/880.11	c nbDecision=217000 #constraints=11963
883.48/883.80	c nbDecision=217500 #constraints=11991
885.79/886.14	c nbDecision=218000 #constraints=12003
889.19/889.59	c nbDecision=218500 #constraints=12014
892.29/892.67	c nbDecision=219000 #constraints=12032
894.99/895.37	c nbDecision=219500 #constraints=12049
897.98/898.35	c nbDecision=220000 #constraints=12068
900.99/901.34	c nbDecision=220500 #constraints=12088
903.79/904.16	c nbDecision=221000 #constraints=12104
907.09/907.42	c nbDecision=221500 #constraints=12131
910.28/910.65	c nbDecision=222000 #constraints=12151
914.08/914.46	c nbDecision=222500 #constraints=12178
917.97/918.30	c nbDecision=223000 #constraints=12197
922.28/922.61	c nbDecision=223500 #constraints=12216
923.88/924.23	c nbDecision=224000 #constraints=12220
926.38/926.78	c nbDecision=224500 #constraints=12231
928.78/929.17	c nbDecision=225000 #constraints=12241
931.07/931.43	c nbDecision=225500 #constraints=12250
933.67/934.03	c nbDecision=226000 #constraints=12263
936.67/937.03	c nbDecision=226500 #constraints=12277
939.77/940.13	c nbDecision=227000 #constraints=12293
942.07/942.40	c nbDecision=227500 #constraints=12302
944.67/945.09	c nbDecision=228000 #constraints=12313
947.78/948.18	c nbDecision=228500 #constraints=12328
950.67/951.09	c nbDecision=229000 #constraints=12343
952.86/953.27	c nbDecision=229500 #constraints=12353
954.96/955.37	c nbDecision=230000 #constraints=12363
958.46/958.83	c nbDecision=230500 #constraints=12385
961.37/961.75	c nbDecision=231000 #constraints=12398
963.77/964.13	c nbDecision=231500 #constraints=12409
968.26/968.67	c nbDecision=232000 #constraints=12436
972.06/972.42	c nbDecision=232500 #constraints=12453
975.96/976.39	c nbDecision=233000 #constraints=12473
979.35/979.77	c nbDecision=233500 #constraints=12491
981.05/981.46	c nbDecision=234000 #constraints=12495
983.26/983.67	c nbDecision=234500 #constraints=12503
985.66/986.04	c nbDecision=235000 #constraints=12517
988.35/988.77	c nbDecision=235500 #constraints=12531
992.55/992.92	c nbDecision=236000 #constraints=12555
994.25/994.69	c nbDecision=236500 #constraints=12559
997.25/997.62	c nbDecision=237000 #constraints=12571
999.85/1000.24	c nbDecision=237500 #constraints=12583
1002.45/1002.82	c nbDecision=238000 #constraints=12599
1006.85/1007.29	c nbDecision=238500 #constraints=12630
1009.25/1009.67	c nbDecision=239000 #constraints=12641
1012.45/1012.84	c nbDecision=239500 #constraints=12654
1016.74/1017.13	c nbDecision=240000 #constraints=12679
1018.34/1018.78	c nbDecision=240500 #constraints=12686
1020.24/1020.68	c nbDecision=241000 #constraints=12693
1022.24/1022.61	c nbDecision=241500 #constraints=12697
1025.34/1025.71	c nbDecision=242000 #constraints=12712
1027.44/1027.83	c nbDecision=242500 #constraints=12719
1029.94/1030.31	c nbDecision=243000 #constraints=12732
1031.64/1032.08	c nbDecision=243500 #constraints=12737
1034.44/1034.84	c nbDecision=244000 #constraints=12748
1037.14/1037.51	c nbDecision=244500 #constraints=12765
1039.74/1040.15	c nbDecision=245000 #constraints=12778
1042.64/1043.04	c nbDecision=245500 #constraints=12795
1045.14/1045.59	c nbDecision=246000 #constraints=12808
1048.94/1049.31	c nbDecision=246500 #constraints=12832
1052.53/1052.98	c nbDecision=247000 #constraints=12848
1057.63/1058.09	c nbDecision=247500 #constraints=12870
1061.04/1061.48	c nbDecision=248000 #constraints=12885
1065.33/1065.75	c nbDecision=248500 #constraints=12902
1069.12/1069.52	c nbDecision=249000 #constraints=12920
1073.82/1074.26	c nbDecision=249500 #constraints=12944
1076.22/1076.67	c nbDecision=250000 #constraints=12953
1080.22/1080.65	c nbDecision=250500 #constraints=12975
1082.22/1082.60	c nbDecision=251000 #constraints=12979
1085.42/1085.87	c nbDecision=251500 #constraints=13000
1087.42/1087.85	c nbDecision=252000 #constraints=13005
1089.22/1089.65	c nbDecision=252500 #constraints=13009
1091.93/1092.39	c nbDecision=253000 #constraints=13021
1093.82/1094.29	c nbDecision=253500 #constraints=13024
1095.92/1096.35	c nbDecision=254000 #constraints=13031
1097.52/1097.97	c nbDecision=254500 #constraints=13033
1101.01/1101.44	c nbDecision=255000 #constraints=13057
1105.01/1105.45	c nbDecision=255500 #constraints=13079
1108.32/1108.76	c nbDecision=256000 #constraints=13102
1110.42/1110.81	c nbDecision=256500 #constraints=13106
1113.41/1113.89	c nbDecision=257000 #constraints=13122
1115.11/1115.56	c nbDecision=257500 #constraints=13123
1117.01/1117.50	c nbDecision=258000 #constraints=13127
1119.41/1119.89	c nbDecision=258500 #constraints=13139
1122.21/1122.67	c nbDecision=259000 #constraints=13147
1125.51/1125.92	c nbDecision=259500 #constraints=13157
1127.51/1127.94	c nbDecision=260000 #constraints=13163
1129.31/1129.73	c nbDecision=260500 #constraints=13168
1130.90/1131.34	c nbDecision=261000 #constraints=13170
1133.10/1133.52	c nbDecision=261500 #constraints=13177
1136.30/1136.78	c nbDecision=262000 #constraints=13186
1140.40/1140.89	c nbDecision=262500 #constraints=13203
1146.60/1147.09	c nbDecision=263000 #constraints=13229
1150.10/1150.54	c nbDecision=263500 #constraints=13246
1152.10/1152.58	c nbDecision=264000 #constraints=13251
1155.60/1156.09	c nbDecision=264500 #constraints=13265
1158.39/1158.87	c nbDecision=265000 #constraints=13276
1162.29/1162.78	c nbDecision=265500 #constraints=13291
1165.60/1166.04	c nbDecision=266000 #constraints=13303
1167.29/1167.72	c nbDecision=266500 #constraints=13307
1169.19/1169.67	c nbDecision=267000 #constraints=13311
1171.39/1171.80	c nbDecision=267500 #constraints=13317
1173.99/1174.43	c nbDecision=268000 #constraints=13327
1177.59/1178.07	c nbDecision=268500 #constraints=13349
1179.19/1179.69	c nbDecision=269000 #constraints=13351
1181.09/1181.52	c nbDecision=269500 #constraints=13354
1183.39/1183.83	c nbDecision=270000 #constraints=13364
1187.38/1187.82	c nbDecision=270500 #constraints=13391
1191.68/1192.15	c nbDecision=271000 #constraints=13417
1198.38/1198.81	c nbDecision=271500 #constraints=13450
1203.67/1204.11	c nbDecision=272000 #constraints=13484
1206.67/1207.19	c nbDecision=272500 #constraints=13496
1210.08/1210.51	c nbDecision=273000 #constraints=13511
1213.38/1213.80	c nbDecision=273500 #constraints=13523
1216.77/1217.26	c nbDecision=274000 #constraints=13536
1219.77/1220.22	c nbDecision=274500 #constraints=13545
1221.87/1222.33	c nbDecision=275000 #constraints=13552
1223.88/1224.37	c nbDecision=275500 #constraints=13560
1225.97/1226.46	c nbDecision=276000 #constraints=13566
1229.47/1229.96	c nbDecision=276500 #constraints=13577
1232.07/1232.57	c nbDecision=277000 #constraints=13586
1234.67/1235.14	c nbDecision=277500 #constraints=13596
1237.46/1237.92	c nbDecision=278000 #constraints=13609
1241.86/1242.33	c nbDecision=278500 #constraints=13632
1245.86/1246.32	c nbDecision=279000 #constraints=13651
1247.87/1248.33	c nbDecision=279500 #constraints=13656
1251.96/1252.43	c nbDecision=280000 #constraints=13671
1254.86/1255.32	c nbDecision=280500 #constraints=13683
1258.86/1259.39	c nbDecision=281000 #constraints=13709
1261.06/1261.57	c nbDecision=281500 #constraints=13717
1264.15/1264.62	c nbDecision=282000 #constraints=13729
1266.55/1267.09	c nbDecision=282500 #constraints=13738
1268.85/1269.33	c nbDecision=283000 #constraints=13746
1271.55/1272.03	c nbDecision=283500 #constraints=13756
1273.96/1274.41	c nbDecision=284000 #constraints=13764
1277.15/1277.62	c nbDecision=284500 #constraints=13778
1280.25/1280.76	c nbDecision=285000 #constraints=13792
1283.25/1283.73	c nbDecision=285500 #constraints=13807
1285.95/1286.48	c nbDecision=286000 #constraints=13818
1288.45/1288.92	c nbDecision=286500 #constraints=13826
1291.14/1291.64	c nbDecision=287000 #constraints=13839
1295.64/1296.19	c nbDecision=287500 #constraints=13863
1298.94/1299.43	c nbDecision=288000 #constraints=13878
1303.35/1303.86	c nbDecision=288500 #constraints=13898
1307.74/1308.27	c nbDecision=289000 #constraints=13919
1310.75/1311.26	c nbDecision=289500 #constraints=13931
1313.44/1313.94	c nbDecision=290000 #constraints=13944
1316.04/1316.57	c nbDecision=290500 #constraints=13954
1319.83/1320.35	c nbDecision=291000 #constraints=13971
1322.63/1323.13	c nbDecision=291500 #constraints=13982
1325.43/1325.91	c nbDecision=292000 #constraints=13993
1328.54/1329.02	c nbDecision=292500 #constraints=14010
1330.93/1331.44	c nbDecision=293000 #constraints=14021
1332.64/1333.17	c nbDecision=293500 #constraints=14026
1334.73/1335.29	c nbDecision=294000 #constraints=14033
1337.43/1337.98	c nbDecision=294500 #constraints=14043
1339.13/1339.68	c nbDecision=295000 #constraints=14045
1340.93/1341.47	c nbDecision=295500 #constraints=14048
1343.93/1344.40	c nbDecision=296000 #constraints=14062
1347.62/1348.12	c nbDecision=296500 #constraints=14081
1350.62/1351.11	c nbDecision=297000 #constraints=14094
1354.63/1355.11	c nbDecision=297500 #constraints=14119
1359.62/1360.17	c nbDecision=298000 #constraints=14152
1364.22/1364.73	c nbDecision=298500 #constraints=14178
1367.72/1368.21	c nbDecision=299000 #constraints=14196
1370.72/1371.23	c nbDecision=299500 #constraints=14207
1374.02/1374.50	c nbDecision=300000 #constraints=14221
1377.41/1377.98	c nbDecision=300500 #constraints=14237
1382.42/1382.95	c nbDecision=301000 #constraints=14266
1386.91/1387.49	c nbDecision=301500 #constraints=14288
1391.01/1391.50	c nbDecision=302000 #constraints=14300
1393.61/1394.12	c nbDecision=302500 #constraints=14308
1395.70/1396.30	c nbDecision=303000 #constraints=14313
1398.10/1398.60	c nbDecision=303500 #constraints=14318
1400.00/1400.53	c nbDecision=304000 #constraints=14321
1403.61/1404.14	c nbDecision=304500 #constraints=14336
1406.61/1407.10	c nbDecision=305000 #constraints=14347
1408.80/1409.30	c nbDecision=305500 #constraints=14356
1412.60/1413.13	c nbDecision=306000 #constraints=14374
1416.50/1417.07	c nbDecision=306500 #constraints=14395
1421.50/1422.05	c nbDecision=307000 #constraints=14423
1424.30/1424.87	c nbDecision=307500 #constraints=14433
1427.10/1427.62	c nbDecision=308000 #constraints=14443
1431.00/1431.55	c nbDecision=308500 #constraints=14454
1434.00/1434.58	c nbDecision=309000 #constraints=14465
1438.20/1438.80	c nbDecision=309500 #constraints=14479
1442.39/1442.92	c nbDecision=310000 #constraints=14492
1446.49/1447.04	c nbDecision=310500 #constraints=14510
1447.99/1448.55	c nbDecision=311000 #constraints=14513
1450.89/1451.45	c nbDecision=311500 #constraints=14524
1453.99/1454.55	c nbDecision=312000 #constraints=14534
1458.18/1458.75	c nbDecision=312500 #constraints=14551
1459.69/1460.28	c nbDecision=313000 #constraints=14552
1461.79/1462.31	c nbDecision=313500 #constraints=14558
1463.69/1464.20	c nbDecision=314000 #constraints=14562
1465.99/1466.54	c nbDecision=314500 #constraints=14569
1468.78/1469.34	c nbDecision=315000 #constraints=14577
1475.38/1475.95	c nbDecision=315500 #constraints=14600
1480.38/1480.94	c nbDecision=316000 #constraints=14615
1482.38/1482.92	c nbDecision=316500 #constraints=14619
1484.48/1485.06	c nbDecision=317000 #constraints=14622
1488.67/1489.24	c nbDecision=317500 #constraints=14637
1490.77/1491.38	c nbDecision=318000 #constraints=14640
1492.67/1493.24	c nbDecision=318500 #constraints=14643
1495.37/1495.93	c nbDecision=319000 #constraints=14656
1499.37/1499.98	c nbDecision=319500 #constraints=14668
1502.57/1503.12	c nbDecision=320000 #constraints=14684
1504.57/1505.12	c nbDecision=320500 #constraints=14690
1506.57/1507.15	c nbDecision=321000 #constraints=14694
1508.58/1509.16	c nbDecision=321500 #constraints=14698
1510.47/1511.06	c nbDecision=322000 #constraints=14700
1513.27/1513.88	c nbDecision=322500 #constraints=14708
1516.76/1517.35	c nbDecision=323000 #constraints=14729
1520.47/1521.06	c nbDecision=323500 #constraints=14750
1525.17/1525.73	c nbDecision=324000 #constraints=14777
1528.47/1529.06	c nbDecision=324500 #constraints=14793
1533.06/1533.64	c nbDecision=325000 #constraints=14818
1535.76/1536.38	c nbDecision=325500 #constraints=14827
1538.86/1539.49	c nbDecision=326000 #constraints=14840
1540.66/1541.28	c nbDecision=326500 #constraints=14843
1543.65/1544.22	c nbDecision=327000 #constraints=14852
1545.65/1546.26	c nbDecision=327500 #constraints=14857
1548.85/1549.48	c nbDecision=328000 #constraints=14868
1551.26/1551.83	c nbDecision=328500 #constraints=14876
1553.46/1554.09	c nbDecision=329000 #constraints=14883
1558.16/1558.73	c nbDecision=329500 #constraints=14905
1560.75/1561.35	c nbDecision=330000 #constraints=14914
1563.65/1564.29	c nbDecision=330500 #constraints=14926
1566.05/1566.63	c nbDecision=331000 #constraints=14935
1569.34/1569.96	c nbDecision=331500 #constraints=14948
1573.44/1574.05	c nbDecision=332000 #constraints=14960
1577.04/1577.64	c nbDecision=332500 #constraints=14975
1581.25/1581.85	c nbDecision=333000 #constraints=15001
1583.54/1584.11	c nbDecision=333500 #constraints=15006
1586.14/1586.78	c nbDecision=334000 #constraints=15018
1588.44/1589.04	c nbDecision=334500 #constraints=15025
1590.84/1591.45	c nbDecision=335000 #constraints=15031
1593.14/1593.77	c nbDecision=335500 #constraints=15035
1595.64/1596.24	c nbDecision=336000 #constraints=15044
1597.94/1598.51	c nbDecision=336500 #constraints=15052
1600.04/1600.63	c nbDecision=337000 #constraints=15055
1604.03/1604.66	c nbDecision=337500 #constraints=15078
1607.93/1608.59	c nbDecision=338000 #constraints=15095
1611.74/1612.38	c nbDecision=338500 #constraints=15112
1615.63/1616.21	c nbDecision=339000 #constraints=15127
1618.23/1618.88	c nbDecision=339500 #constraints=15135
1622.23/1622.89	c nbDecision=340000 #constraints=15154
1627.02/1627.61	c nbDecision=340500 #constraints=15175
1629.02/1629.65	c nbDecision=341000 #constraints=15180
1634.52/1635.13	c nbDecision=341500 #constraints=15194
1636.82/1637.43	c nbDecision=342000 #constraints=15202
1640.52/1641.20	c nbDecision=342500 #constraints=15218
1643.83/1644.46	c nbDecision=343000 #constraints=15229
1648.32/1648.93	c nbDecision=343500 #constraints=15248
1652.72/1653.39	c nbDecision=344000 #constraints=15265
1657.51/1658.14	c nbDecision=344500 #constraints=15284
1661.01/1661.64	c nbDecision=345000 #constraints=15297
1662.81/1663.48	c nbDecision=345500 #constraints=15301
1667.90/1668.53	c nbDecision=346000 #constraints=15315
1673.01/1673.66	c nbDecision=346500 #constraints=15330
1675.51/1676.11	c nbDecision=347000 #constraints=15334
1679.11/1679.73	c nbDecision=347500 #constraints=15345
1682.01/1682.70	c nbDecision=348000 #constraints=15352
1684.91/1685.58	c nbDecision=348500 #constraints=15361
1686.90/1687.54	c nbDecision=349000 #constraints=15364
1689.20/1689.84	c nbDecision=349500 #constraints=15368
1691.60/1692.28	c nbDecision=350000 #constraints=15373
1693.90/1694.51	c nbDecision=350500 #constraints=15378
1696.90/1697.56	c nbDecision=351000 #constraints=15389
1699.90/1700.53	c nbDecision=351500 #constraints=15415
1701.79/1702.41	c nbDecision=352000 #constraints=15418
1704.60/1705.26	c nbDecision=352500 #constraints=15426
1706.70/1707.36	c nbDecision=353000 #constraints=15428
1709.20/1709.80	c nbDecision=353500 #constraints=15433
1711.00/1711.68	c nbDecision=354000 #constraints=15435
1713.40/1714.05	c nbDecision=354500 #constraints=15441
1715.59/1716.26	c nbDecision=355000 #constraints=15445
1717.69/1718.39	c nbDecision=355500 #constraints=15447
1719.49/1720.12	c nbDecision=356000 #constraints=15450
1721.79/1722.42	c nbDecision=356500 #constraints=15458
1724.29/1724.95	c nbDecision=357000 #constraints=15464
1726.39/1727.06	c nbDecision=357500 #constraints=15469
1731.69/1732.37	c nbDecision=358000 #constraints=15487
1734.49/1735.10	c nbDecision=358500 #constraints=15494
1737.98/1738.63	c nbDecision=359000 #constraints=15505
1741.48/1742.12	c nbDecision=359500 #constraints=15518
1746.08/1746.73	c nbDecision=360000 #constraints=15532
1748.68/1749.40	c nbDecision=360500 #constraints=15542
1752.69/1753.34	c nbDecision=361000 #constraints=15557
1758.18/1758.86	c nbDecision=361500 #constraints=15577
1760.78/1761.42	c nbDecision=362000 #constraints=15583
1763.28/1763.98	c nbDecision=362500 #constraints=15588
1765.47/1766.17	c nbDecision=363000 #constraints=15596
1768.18/1768.85	c nbDecision=363500 #constraints=15605
1770.57/1771.26	c nbDecision=364000 #constraints=15608
1773.37/1774.09	c nbDecision=364500 #constraints=15620
1775.57/1776.20	c nbDecision=365000 #constraints=15625
1778.37/1779.01	c nbDecision=365500 #constraints=15634
1780.87/1781.53	c nbDecision=366000 #constraints=15642
1783.17/1783.83	c nbDecision=366500 #constraints=15649
1785.47/1786.11	c nbDecision=367000 #constraints=15651
1788.07/1788.71	c nbDecision=367500 #constraints=15660
1790.56/1791.23	c nbDecision=368000 #constraints=15668
1792.56/1793.25	c nbDecision=368500 #constraints=15674
1797.36/1798.07	c nbDecision=369000 #constraints=15691
1800.07/1800.70	Received signal 15
1800.07/1800.71	
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	
1800.07/1800.71	c user time= 1799.08 s
1800.07/1800.71	c system time= 0.998848 s
1800.07/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-357341-1176995024 -o ROOT/results/node37/solver-357341-1176995024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357341-1176995024/instance-357341-1176995024.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 2115
/proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=1468 CPUtime=0
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147414887 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 367 161 127 317 0 46 0

[startup+0.012799 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2115
/proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=1752 CPUtime=0.01
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 225 0 0 0 1 0 0 0 18 0 1 0 147414887 1794048 207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 438 207 127 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.102815 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2115
/proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=2944 CPUtime=0.09
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 558 0 0 0 9 0 0 0 18 0 1 0 147414887 3014656 507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 736 507 131 317 0 415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2944

[startup+0.301854 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2115
/proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=6144 CPUtime=0.29
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 1343 0 0 0 29 0 0 0 19 0 1 0 147414887 6291456 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 1536 1292 131 317 0 1215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6144

[startup+0.70193 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2115
/proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=12892 CPUtime=0.69
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 2972 0 0 0 68 1 0 0 22 0 1 0 147414887 13201408 2921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 3223 2921 131 317 0 2902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12892

[startup+1.50108 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1637488/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=25536 CPUtime=1.49
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 6092 0 0 0 146 3 0 0 25 0 1 0 147414887 26148864 6041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 6384 6041 131 317 0 6063 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25536

[startup+3.10138 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1622512/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=49676 CPUtime=3.09
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 12068 0 0 0 303 6 0 0 25 0 1 0 147414887 50868224 12017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 12419 12017 137 317 0 12098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49676

[startup+6.30198 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1603504/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=53048 CPUtime=6.29
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 12827 0 0 0 623 6 0 0 25 0 1 0 147414887 54321152 12776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 13262 12776 139 317 0 12941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53048

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1597680/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=59328 CPUtime=12.69
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 14373 0 0 0 1261 8 0 0 25 0 1 0 147414887 60751872 14322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 14832 14322 170 317 0 14511 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59328

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1579696/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=76996 CPUtime=25.48
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 18635 0 0 0 2539 9 0 0 25 0 1 0 147414887 78843904 18584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 19249 18584 170 317 0 18928 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76996

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1564016/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=93216 CPUtime=51.07
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 22591 0 0 0 5096 11 0 0 25 0 1 0 147414887 95453184 22540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 23304 22540 170 317 0 22983 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93216

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1531632/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=125816 CPUtime=102.26
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 30625 0 0 0 10211 15 0 0 25 0 1 0 147414887 128835584 30574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 31454 30574 170 317 0 31133 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125816

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1497648/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=162432 CPUtime=162.23
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 39130 0 0 0 16204 19 0 0 25 0 1 0 147414887 166330368 39079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 40608 39079 170 317 0 40287 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 162432

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1447472/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=217132 CPUtime=222.21
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 51752 0 0 0 22196 25 0 0 25 0 1 0 147414887 222343168 51658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593374 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 54283 51658 170 317 0 53962 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 217132

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1394352/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=284076 CPUtime=282.19
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 65133 0 0 0 28188 31 0 0 25 0 1 0 147414887 290893824 65014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 71019 65014 170 317 0 70698 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 284076

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1350064/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=335820 CPUtime=342.17
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 76112 0 0 0 34180 37 0 0 25 0 1 0 147414887 343879680 75967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 83955 75967 170 317 0 83634 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 335820

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1318000/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=374016 CPUtime=402.15
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 84148 0 0 0 40175 40 0 0 25 0 1 0 147414887 382992384 83934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 93504 83934 170 317 0 93183 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 374016

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1292528/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=403720 CPUtime=462.13
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 91382 0 0 0 46170 43 0 0 25 0 1 0 147414887 413409280 91168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 100930 91168 170 317 0 100609 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 403720

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1266928/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=425916 CPUtime=522.11
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 96901 0 0 0 52165 46 0 0 25 0 1 0 147414887 436137984 96687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 106479 96687 170 317 0 106158 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 425916

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1236336/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=459948 CPUtime=582.09
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 104467 0 0 0 58159 50 0 0 25 0 1 0 147414887 470986752 104253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 114987 104253 170 317 0 114666 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 459948

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1214192/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=481212 CPUtime=642.07
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 109981 0 0 0 64155 52 0 0 25 0 1 0 147414887 492761088 109767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 120303 109767 170 317 0 119982 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 481212


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1117936/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=577144 CPUtime=881.99
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 134017 0 0 0 88135 64 0 0 25 0 1 0 147414887 590995456 133803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 144286 133803 170 317 0 143965 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 577144

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1096560/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=597664 CPUtime=941.97
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 139427 0 0 0 94129 68 0 0 25 0 1 0 147414887 612007936 139213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 149416 139213 170 317 0 149095 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 597664

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1061872/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=644460 CPUtime=1001.94
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 148157 0 0 0 100123 71 0 0 25 0 1 0 147414887 659927040 147858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 161115 147858 170 317 0 160794 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 644460

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1042160/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=664740 CPUtime=1061.93
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 153097 0 0 0 106119 74 0 0 25 0 1 0 147414887 680693760 152798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 166185 152798 170 317 0 165864 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 664740

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=1012208/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=705836 CPUtime=1121.91
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 160537 0 0 0 112114 77 0 0 25 0 1 0 147414887 722776064 160238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 176459 160238 170 317 0 176138 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 705836

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=998704/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=718752 CPUtime=1181.88
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 163877 0 0 0 118109 79 0 0 25 0 1 0 147414887 736002048 163578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 179688 163578 170 317 0 179367 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 718752

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=978800/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=739012 CPUtime=1241.86
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 168853 0 0 0 124105 81 0 0 25 0 1 0 147414887 756748288 168554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 184753 168554 170 317 0 184432 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 739012

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=959536/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=757120 CPUtime=1301.85
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 173605 0 0 0 130101 84 0 0 25 0 1 0 147414887 775290880 173306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 189280 173306 170 317 0 188959 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 757120

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=942064/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=774664 CPUtime=1361.82
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 178077 0 0 0 136096 86 0 0 25 0 1 0 147414887 793255936 177778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 193666 177778 170 317 0 193345 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 774664

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=922608/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=792948 CPUtime=1421.81
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 182831 0 0 0 142092 89 0 0 25 0 1 0 147414887 811978752 182532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 198237 182532 170 317 0 197916 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 792948

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=909232/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=805384 CPUtime=1481.78
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 186173 0 0 0 148088 90 0 0 25 0 1 0 147414887 824713216 185874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 201346 185874 170 317 0 201025 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 805384

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=894320/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=818920 CPUtime=1541.75
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 189904 0 0 0 154083 92 0 0 25 0 1 0 147414887 838574080 189605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 204730 189605 170 317 0 204409 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 818920

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=880880/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=831004 CPUtime=1601.74
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 193290 0 0 0 160080 94 0 0 25 0 1 0 147414887 850948096 192991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 207751 192991 170 317 0 207430 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 831004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=863792/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=847464 CPUtime=1661.71
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 197507 0 0 0 166075 96 0 0 25 0 1 0 147414887 867803136 197208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 211866 197208 170 317 0 211545 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 847464

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=854448/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=856532 CPUtime=1721.69
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 199864 0 0 0 172071 98 0 0 25 0 1 0 147414887 877088768 199565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 214133 199565 170 317 0 213812 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 856532

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=842736/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=867144 CPUtime=1781.67
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 202733 0 0 0 178068 99 0 0 25 0 1 0 147414887 887955456 202434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 216786 202434 170 317 0 216465 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 867144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=839984/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=869948 CPUtime=1800.07
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 203442 0 0 0 179908 99 0 0 25 0 1 0 147414887 890826752 203143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 217487 203143 170 317 0 217166 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 869948

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 2116
/proc/meminfo: memFree=839984/2055920 swapFree=4158988/4192956
[pid=2115] ppid=2113 vsize=0 CPUtime=1800.16
/proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194308 203458 0 0 0 179910 106 0 0 25 0 1 0 147414887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2115/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.24
CPU user time (s): 1799.11
CPU system time (s): 1.12883
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 869948

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

runsolver used 1.82172 second user time and 4.78127 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Thu Apr 19 15:03:44 UTC 2007

IDJOB= 357341
IDBENCH= 2433
IDSOLVER= 172
FILE ID= node37/357341-1176995024

PBS_JOBID= 4630446

Free space on /tmp= 66407 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a4f456875ede4549ae03268180cd603c

RANDOM SEED= 917738187

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:       1653968 kB
Buffers:         42044 kB
Cached:         266064 kB
SwapCached:       2516 kB
Active:         104580 kB
Inactive:       227320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1653968 kB
SwapTotal:     4192956 kB
SwapFree:      4158988 kB
Dirty:            9688 kB
Writeback:           0 kB
Mapped:          31448 kB
Slab:            55372 kB
Committed_AS:  1141856 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= 66407 MiB

End job on node37 on Thu Apr 19 15:33:47 UTC 2007