Trace number 356940

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.49 1801.03

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-grow15.opb
MD5SUM85af08260bc54f31465e48eb0563bdd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.75
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 variables17130
Total number of constraints900
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 constraints900
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1335
Biggest coefficient in the objective function 12744
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525285
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525285
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.29/0.37	c ...done
0.29/0.37	c #vars=17130 #constraints=1201 hasObjective=yes
0.39/0.44	c res. mode=mod
0.39/0.44	c VSIDS like heuristics
0.39/0.44	c complete search running
0.69/0.72	c restart after 401 decisions
0.69/0.79	c nbDecision=500 #constraints=1201
0.89/1.00	c restart after 801 decisions
1.10/1.14	c nbDecision=1000 #constraints=1201
1.39/1.50	c nbDecision=1500 #constraints=1227
1.49/1.57	c restart after 1601 decisions
1.79/1.85	c nbDecision=2000 #constraints=1235
2.09/2.19	c nbDecision=2500 #constraints=1251
2.49/2.57	c nbDecision=3000 #constraints=1345
2.69/2.72	c restart after 3201 decisions
2.89/2.93	c nbDecision=3500 #constraints=1366
3.30/3.32	c nbDecision=4000 #constraints=1420
3.59/3.66	c nbDecision=4500 #constraints=1448
3.99/4.01	c nbDecision=5000 #constraints=1495
4.29/4.39	c nbDecision=5500 #constraints=1576
4.69/4.78	c nbDecision=6000 #constraints=1655
4.99/5.05	c restart after 6401 decisions
5.09/5.12	c nbDecision=6500 #constraints=1657
5.39/5.49	c nbDecision=7000 #constraints=1694
5.79/5.83	c nbDecision=7500 #constraints=1711
6.19/6.22	c nbDecision=8000 #constraints=1793
6.49/6.57	c nbDecision=8500 #constraints=1825
6.89/6.97	c nbDecision=9000 #constraints=1911
7.28/7.38	c nbDecision=9500 #constraints=2011
7.69/7.78	c nbDecision=10000 #constraints=2063
8.09/8.14	c nbDecision=10500 #constraints=2099
8.49/8.52	c nbDecision=11000 #constraints=2139
8.80/8.85	c nbDecision=11500 #constraints=2144
9.19/9.26	c nbDecision=12000 #constraints=2220
9.59/9.63	c nbDecision=12500 #constraints=2272
9.79/9.89	c restart after 12801 decisions
9.99/10.04	c nbDecision=13000 #constraints=2312
10.39/10.44	c nbDecision=13500 #constraints=2364
10.79/10.80	c nbDecision=14000 #constraints=2412
11.19/11.24	c nbDecision=14500 #constraints=2537
11.59/11.65	c nbDecision=15000 #constraints=2609
11.99/12.10	c nbDecision=15500 #constraints=2687
12.39/12.49	c nbDecision=16000 #constraints=2744
12.89/12.94	c nbDecision=16500 #constraints=2853
13.29/13.32	c nbDecision=17000 #constraints=2892
13.68/13.73	c nbDecision=17500 #constraints=2961
14.08/14.13	c nbDecision=18000 #constraints=3002
14.58/14.66	c nbDecision=18500 #constraints=3138
14.98/15.08	c nbDecision=19000 #constraints=3179
15.49/15.52	c nbDecision=19500 #constraints=3233
15.99/16.07	c nbDecision=20000 #constraints=3337
16.49/16.53	c nbDecision=20500 #constraints=3401
16.99/17.01	c nbDecision=21000 #constraints=3480
17.39/17.48	c nbDecision=21500 #constraints=3547
17.89/17.91	c nbDecision=22000 #constraints=3572
18.29/18.35	c nbDecision=22500 #constraints=3613
18.79/18.81	c nbDecision=23000 #constraints=3677
19.29/19.35	c nbDecision=23500 #constraints=3763
19.79/19.80	c nbDecision=24000 #constraints=3826
20.29/20.31	c nbDecision=24500 #constraints=3874
20.79/20.82	c nbDecision=25000 #constraints=3942
21.19/21.27	c nbDecision=25500 #constraints=3982
21.39/21.42	c restart after 25601 decisions
21.69/21.74	c nbDecision=26000 #constraints=4008
22.09/22.14	c nbDecision=26500 #constraints=4044
22.49/22.57	c nbDecision=27000 #constraints=4104
23.09/23.14	c nbDecision=27500 #constraints=4194
23.59/23.62	c nbDecision=28000 #constraints=4244
24.09/24.12	c nbDecision=28500 #constraints=4300
24.59/24.64	c nbDecision=29000 #constraints=4357
25.08/25.15	c nbDecision=29500 #constraints=4402
25.59/25.64	c nbDecision=30000 #constraints=4443
26.09/26.17	c nbDecision=30500 #constraints=4530
26.68/26.70	c nbDecision=31000 #constraints=4600
27.08/27.12	c nbDecision=31500 #constraints=4617
27.59/27.61	c nbDecision=32000 #constraints=4673
28.08/28.10	c nbDecision=32500 #constraints=4721
28.69/28.70	c nbDecision=33000 #constraints=4793
29.08/29.18	c nbDecision=33500 #constraints=4824
29.69/29.75	c nbDecision=34000 #constraints=4903
30.18/30.28	c nbDecision=34500 #constraints=4953
30.68/30.79	c nbDecision=35000 #constraints=4993
31.38/31.44	c nbDecision=35500 #constraints=5086
31.89/31.93	c nbDecision=36000 #constraints=5107
32.38/32.46	c nbDecision=36500 #constraints=5145
32.88/32.98	c nbDecision=37000 #constraints=5179
33.38/33.50	c nbDecision=37500 #constraints=5208
33.98/34.07	c nbDecision=38000 #constraints=5267
34.48/34.59	c nbDecision=38500 #constraints=5321
35.08/35.14	c nbDecision=39000 #constraints=5363
35.68/35.79	c nbDecision=39500 #constraints=5435
36.28/36.35	c nbDecision=40000 #constraints=5487
36.78/36.87	c nbDecision=40500 #constraints=5523
37.38/37.49	c nbDecision=41000 #constraints=5591
37.98/38.03	c nbDecision=41500 #constraints=5625
38.58/38.66	c nbDecision=42000 #constraints=5676
39.18/39.23	c nbDecision=42500 #constraints=5721
39.68/39.79	c nbDecision=43000 #constraints=5762
40.27/40.33	c nbDecision=43500 #constraints=5795
40.87/40.90	c nbDecision=44000 #constraints=5833
41.47/41.59	c nbDecision=44500 #constraints=5902
42.07/42.18	c nbDecision=45000 #constraints=5949
42.67/42.75	c nbDecision=45500 #constraints=5978
43.28/43.34	c nbDecision=46000 #constraints=6009
43.78/43.85	c nbDecision=46500 #constraints=6019
44.38/44.42	c nbDecision=47000 #constraints=6043
44.88/44.95	c nbDecision=47500 #constraints=6063
45.48/45.55	c nbDecision=48000 #constraints=6100
46.08/46.15	c nbDecision=48500 #constraints=6132
46.58/46.69	c nbDecision=49000 #constraints=6147
47.18/47.27	c nbDecision=49500 #constraints=6186
47.88/47.91	c nbDecision=50000 #constraints=6227
48.48/48.55	c nbDecision=50500 #constraints=6277
49.18/49.29	c nbDecision=51000 #constraints=6349
49.58/49.62	c restart after 51201 decisions
49.88/49.91	c nbDecision=51500 #constraints=6378
50.27/50.30	c nbDecision=52000 #constraints=6393
50.77/50.80	c nbDecision=52500 #constraints=6416
51.47/51.57	c nbDecision=53000 #constraints=6488
52.17/52.23	c nbDecision=53500 #constraints=6536
52.78/52.87	c nbDecision=54000 #constraints=6576
53.47/53.57	c nbDecision=54500 #constraints=6630
54.38/54.42	c nbDecision=55000 #constraints=6717
54.98/55.09	c nbDecision=55500 #constraints=6770
56.08/56.17	c nbDecision=56000 #constraints=6874
57.08/57.14	c nbDecision=56500 #constraints=6972
57.78/57.86	c nbDecision=57000 #constraints=7020
58.48/58.52	c nbDecision=57500 #constraints=7048
59.28/59.31	c nbDecision=58000 #constraints=7126
60.28/60.39	c nbDecision=58500 #constraints=7271
61.37/61.46	c nbDecision=59000 #constraints=7385
62.48/62.52	c nbDecision=59500 #constraints=7509
63.78/63.89	c nbDecision=60000 #constraints=7651
64.77/64.84	c nbDecision=60500 #constraints=7714
66.17/66.23	c nbDecision=61000 #constraints=7837
66.97/67.05	c nbDecision=61500 #constraints=7877
67.87/67.97	c nbDecision=62000 #constraints=7933
68.67/68.77	c nbDecision=62500 #constraints=7974
69.57/69.64	c nbDecision=63000 #constraints=8018
70.67/70.73	c nbDecision=63500 #constraints=8095
71.87/71.94	c nbDecision=64000 #constraints=8192
72.77/72.83	c nbDecision=64500 #constraints=8234
73.97/74.08	c nbDecision=65000 #constraints=8312
75.07/75.10	c nbDecision=65500 #constraints=8365
76.16/76.23	c nbDecision=66000 #constraints=8431
77.47/77.56	c nbDecision=66500 #constraints=8530
78.57/78.60	c nbDecision=67000 #constraints=8606
79.77/79.81	c nbDecision=67500 #constraints=8673
80.67/80.79	c nbDecision=68000 #constraints=8736
81.57/81.68	c nbDecision=68500 #constraints=8778
82.87/82.91	c nbDecision=69000 #constraints=8853
84.07/84.13	c nbDecision=69500 #constraints=8943
85.67/85.72	c nbDecision=70000 #constraints=9010
86.77/86.83	c nbDecision=70500 #constraints=9054
87.97/88.01	c nbDecision=71000 #constraints=9246
88.76/88.81	c nbDecision=71500 #constraints=9286
90.67/90.72	c nbDecision=72000 #constraints=9472
92.17/92.24	c nbDecision=72500 #constraints=9571
94.26/94.37	c nbDecision=73000 #constraints=9726
95.67/95.75	c nbDecision=73500 #constraints=9798
96.87/96.92	c nbDecision=74000 #constraints=9853
98.06/98.12	c nbDecision=74500 #constraints=9903
99.56/99.68	c nbDecision=75000 #constraints=9983
100.86/100.97	c nbDecision=75500 #constraints=10040
102.27/102.35	c nbDecision=76000 #constraints=10079
103.76/103.83	c nbDecision=76500 #constraints=10127
105.36/105.46	c nbDecision=77000 #constraints=10218
106.86/106.96	c nbDecision=77500 #constraints=10290
109.56/109.69	c nbDecision=78000 #constraints=10458
110.56/110.63	c nbDecision=78500 #constraints=10485
111.76/111.85	c nbDecision=79000 #constraints=10520
112.96/113.02	c nbDecision=79500 #constraints=10570
114.46/114.51	c nbDecision=80000 #constraints=10643
115.66/115.71	c nbDecision=80500 #constraints=10692
116.96/117.06	c nbDecision=81000 #constraints=10746
118.56/118.61	c nbDecision=81500 #constraints=10821
119.76/119.83	c nbDecision=82000 #constraints=10840
120.66/120.75	c nbDecision=82500 #constraints=10844
121.86/121.93	c nbDecision=83000 #constraints=10863
123.16/123.28	c nbDecision=83500 #constraints=10917
124.16/124.23	c nbDecision=84000 #constraints=10930
125.65/125.72	c nbDecision=84500 #constraints=10982
126.85/126.90	c nbDecision=85000 #constraints=11004
127.75/127.87	c nbDecision=85500 #constraints=11024
129.05/129.11	c nbDecision=86000 #constraints=11053
130.46/130.54	c nbDecision=86500 #constraints=11108
131.76/131.85	c nbDecision=87000 #constraints=11144
134.75/134.88	c nbDecision=87500 #constraints=11221
136.36/136.41	c nbDecision=88000 #constraints=11279
137.15/137.29	c nbDecision=88500 #constraints=11297
138.95/139.02	c nbDecision=89000 #constraints=11342
140.35/140.45	c nbDecision=89500 #constraints=11412
142.75/142.80	c nbDecision=90000 #constraints=11535
144.45/144.58	c nbDecision=90500 #constraints=11597
146.26/146.36	c nbDecision=91000 #constraints=11646
148.25/148.30	c nbDecision=91500 #constraints=11705
149.65/149.73	c nbDecision=92000 #constraints=11751
151.45/151.54	c nbDecision=92500 #constraints=11800
153.75/153.87	c nbDecision=93000 #constraints=11904
155.85/155.93	c nbDecision=93500 #constraints=11962
157.15/157.23	c nbDecision=94000 #constraints=11986
158.45/158.57	c nbDecision=94500 #constraints=12026
160.94/161.02	c nbDecision=95000 #constraints=12119
162.04/162.16	c nbDecision=95500 #constraints=12130
163.25/163.31	c nbDecision=96000 #constraints=12147
164.84/164.95	c nbDecision=96500 #constraints=12182
165.94/166.10	c nbDecision=97000 #constraints=12217
167.04/167.19	c nbDecision=97500 #constraints=12250
169.34/169.42	c nbDecision=98000 #constraints=12302
170.84/170.90	c nbDecision=98500 #constraints=12338
172.74/172.89	c nbDecision=99000 #constraints=12386
174.14/174.24	c nbDecision=99500 #constraints=12399
175.04/175.13	c nbDecision=100000 #constraints=12406
176.15/176.20	c nbDecision=100500 #constraints=12433
177.54/177.60	c nbDecision=101000 #constraints=12476
179.54/179.64	c nbDecision=101500 #constraints=12552
181.64/181.72	c nbDecision=102000 #constraints=12604
184.34/184.49	c restart after 102401 decisions
184.94/185.07	c nbDecision=102500 #constraints=12701
185.54/185.61	c nbDecision=103000 #constraints=12728
186.44/186.59	c nbDecision=103500 #constraints=12763
188.04/188.17	c nbDecision=104000 #constraints=12822
188.93/189.09	c nbDecision=104500 #constraints=12835
191.03/191.12	c nbDecision=105000 #constraints=12922
192.84/192.99	c nbDecision=105500 #constraints=13012
195.64/195.78	c nbDecision=106000 #constraints=13077
198.54/198.62	c nbDecision=106500 #constraints=13145
202.34/202.42	c nbDecision=107000 #constraints=13256
202.73/202.88	c nbDecision=107500 #constraints=13272
205.23/205.33	c nbDecision=108000 #constraints=13346
207.54/207.68	c nbDecision=108500 #constraints=13464
208.84/208.93	c nbDecision=109000 #constraints=13503
210.64/210.74	c nbDecision=109500 #constraints=13561
213.04/213.10	c nbDecision=110000 #constraints=13607
214.93/215.06	c nbDecision=110500 #constraints=13671
217.63/217.72	c nbDecision=111000 #constraints=13750
219.83/219.94	c nbDecision=111500 #constraints=13810
222.23/222.31	c nbDecision=112000 #constraints=13867
225.33/225.50	c nbDecision=112500 #constraints=13950
228.22/228.31	c nbDecision=113000 #constraints=14008
231.82/231.97	c nbDecision=113500 #constraints=14069
234.33/234.50	c nbDecision=114000 #constraints=14123
237.62/237.79	c nbDecision=114500 #constraints=14197
239.62/239.71	c nbDecision=115000 #constraints=14246
242.52/242.60	c nbDecision=115500 #constraints=14308
245.53/245.67	c nbDecision=116000 #constraints=14389
247.23/247.39	c nbDecision=116500 #constraints=14411
250.62/250.78	c nbDecision=117000 #constraints=14479
252.82/252.93	c nbDecision=117500 #constraints=14547
255.72/255.88	c nbDecision=118000 #constraints=14626
258.62/258.79	c nbDecision=118500 #constraints=14698
260.52/260.66	c nbDecision=119000 #constraints=14747
263.62/263.72	c nbDecision=119500 #constraints=14786
265.92/266.07	c nbDecision=120000 #constraints=14850
268.61/268.75	c nbDecision=120500 #constraints=14894
271.41/271.53	c nbDecision=121000 #constraints=14948
273.51/273.63	c nbDecision=121500 #constraints=14993
276.81/276.92	c nbDecision=122000 #constraints=15058
279.82/279.94	c nbDecision=122500 #constraints=15117
282.12/282.22	c nbDecision=123000 #constraints=15166
285.01/285.11	c nbDecision=123500 #constraints=15204
287.31/287.41	c nbDecision=124000 #constraints=15252
289.71/289.84	c nbDecision=124500 #constraints=15298
292.62/292.78	c nbDecision=125000 #constraints=15337
295.61/295.72	c nbDecision=125500 #constraints=15392
297.91/298.02	c nbDecision=126000 #constraints=15434
301.21/301.32	c nbDecision=126500 #constraints=15496
303.90/304.03	c nbDecision=127000 #constraints=15554
306.30/306.47	c nbDecision=127500 #constraints=15618
309.40/309.51	c nbDecision=128000 #constraints=15671
311.90/312.04	c nbDecision=128500 #constraints=15703
313.90/314.02	c nbDecision=129000 #constraints=15745
316.81/316.97	c nbDecision=129500 #constraints=15822
319.61/319.71	c nbDecision=130000 #constraints=15876
322.00/322.17	c nbDecision=130500 #constraints=15938
325.10/325.27	c nbDecision=131000 #constraints=15983
328.10/328.24	c nbDecision=131500 #constraints=16035
330.40/330.52	c nbDecision=132000 #constraints=16065
332.90/333.06	c nbDecision=132500 #constraints=16080
336.19/336.33	c nbDecision=133000 #constraints=16151
338.29/338.43	c nbDecision=133500 #constraints=16175
341.29/341.42	c nbDecision=134000 #constraints=16228
343.49/343.65	c nbDecision=134500 #constraints=16264
345.29/345.47	c nbDecision=135000 #constraints=16304
348.69/348.90	c nbDecision=135500 #constraints=16399
350.89/351.02	c nbDecision=136000 #constraints=16415
353.70/353.88	c nbDecision=136500 #constraints=16474
355.69/355.85	c nbDecision=137000 #constraints=16500
358.50/358.65	c nbDecision=137500 #constraints=16525
359.99/360.19	c nbDecision=138000 #constraints=16536
362.29/362.48	c nbDecision=138500 #constraints=16571
365.20/365.39	c nbDecision=139000 #constraints=16605
368.19/368.33	c nbDecision=139500 #constraints=16647
369.99/370.16	c nbDecision=140000 #constraints=16672
372.49/372.60	c nbDecision=140500 #constraints=16702
374.69/374.88	c nbDecision=141000 #constraints=16739
377.09/377.28	c nbDecision=141500 #constraints=16777
379.28/379.42	c nbDecision=142000 #constraints=16802
380.98/381.19	c nbDecision=142500 #constraints=16836
383.38/383.57	c nbDecision=143000 #constraints=16865
385.78/385.93	c nbDecision=143500 #constraints=16891
388.28/388.49	c nbDecision=144000 #constraints=16959
390.38/390.57	c nbDecision=144500 #constraints=16989
392.98/393.18	c nbDecision=145000 #constraints=17050
395.17/395.38	c nbDecision=145500 #constraints=17066
397.37/397.59	c nbDecision=146000 #constraints=17096
399.28/399.48	c nbDecision=146500 #constraints=17124
402.07/402.23	c nbDecision=147000 #constraints=17174
404.68/404.88	c nbDecision=147500 #constraints=17220
406.57/406.76	c nbDecision=148000 #constraints=17251
409.07/409.23	c nbDecision=148500 #constraints=17279
411.47/411.63	c nbDecision=149000 #constraints=17306
413.67/413.86	c nbDecision=149500 #constraints=17347
415.57/415.70	c nbDecision=150000 #constraints=17365
418.06/418.22	c nbDecision=150500 #constraints=17387
420.26/420.47	c nbDecision=151000 #constraints=17411
422.86/423.08	c nbDecision=151500 #constraints=17463
424.97/425.16	c nbDecision=152000 #constraints=17499
427.47/427.61	c nbDecision=152500 #constraints=17522
429.97/430.14	c nbDecision=153000 #constraints=17552
431.67/431.81	c nbDecision=153500 #constraints=17563
433.97/434.17	c nbDecision=154000 #constraints=17593
436.26/436.41	c nbDecision=154500 #constraints=17603
438.86/439.09	c nbDecision=155000 #constraints=17655
441.66/441.85	c nbDecision=155500 #constraints=17732
443.66/443.86	c nbDecision=156000 #constraints=17762
445.96/446.19	c nbDecision=156500 #constraints=17783
448.16/448.39	c nbDecision=157000 #constraints=17800
450.97/451.12	c nbDecision=157500 #constraints=17859
453.26/453.49	c nbDecision=158000 #constraints=17910
455.66/455.83	c nbDecision=158500 #constraints=17932
457.86/458.08	c nbDecision=159000 #constraints=17947
460.36/460.50	c nbDecision=159500 #constraints=17982
462.36/462.53	c nbDecision=160000 #constraints=18013
464.95/465.11	c nbDecision=160500 #constraints=18054
467.55/467.75	c nbDecision=161000 #constraints=18106
469.55/469.76	c nbDecision=161500 #constraints=18168
472.56/472.73	c nbDecision=162000 #constraints=18230
475.16/475.30	c nbDecision=162500 #constraints=18274
477.45/477.68	c nbDecision=163000 #constraints=18293
479.25/479.45	c nbDecision=163500 #constraints=18318
481.45/481.60	c nbDecision=164000 #constraints=18333
483.96/484.11	c nbDecision=164500 #constraints=18363
486.25/486.45	c nbDecision=165000 #constraints=18384
488.55/488.73	c nbDecision=165500 #constraints=18431
491.15/491.37	c nbDecision=166000 #constraints=18462
493.75/493.91	c nbDecision=166500 #constraints=18498
496.25/496.40	c nbDecision=167000 #constraints=18529
498.25/498.41	c nbDecision=167500 #constraints=18564
501.04/501.21	c nbDecision=168000 #constraints=18606
504.24/504.44	c nbDecision=168500 #constraints=18669
507.24/507.47	c nbDecision=169000 #constraints=18742
509.64/509.80	c nbDecision=169500 #constraints=18776
512.13/512.36	c nbDecision=170000 #constraints=18794
514.44/514.67	c nbDecision=170500 #constraints=18802
516.44/516.63	c nbDecision=171000 #constraints=18826
518.54/518.70	c nbDecision=171500 #constraints=18854
520.24/520.43	c nbDecision=172000 #constraints=18861
522.04/522.25	c nbDecision=172500 #constraints=18877
523.84/524.08	c nbDecision=173000 #constraints=18894
525.84/526.09	c nbDecision=173500 #constraints=18922
527.54/527.78	c nbDecision=174000 #constraints=18938
529.74/529.98	c nbDecision=174500 #constraints=18969
531.73/531.93	c nbDecision=175000 #constraints=18990
533.53/533.79	c nbDecision=175500 #constraints=19012
535.23/535.41	c nbDecision=176000 #constraints=19019
537.03/537.29	c nbDecision=176500 #constraints=19025
539.43/539.61	c nbDecision=177000 #constraints=19051
541.43/541.68	c nbDecision=177500 #constraints=19069
544.63/544.87	c nbDecision=178000 #constraints=19117
547.63/547.85	c nbDecision=178500 #constraints=19154
550.52/550.71	c nbDecision=179000 #constraints=19189
553.42/553.60	c nbDecision=179500 #constraints=19237
555.52/555.70	c nbDecision=180000 #constraints=19263
558.32/558.60	c nbDecision=180500 #constraints=19293
561.12/561.39	c nbDecision=181000 #constraints=19319
564.02/564.28	c nbDecision=181500 #constraints=19383
566.52/566.70	c nbDecision=182000 #constraints=19422
568.83/569.03	c nbDecision=182500 #constraints=19441
571.73/571.95	c nbDecision=183000 #constraints=19480
574.22/574.44	c nbDecision=183500 #constraints=19531
577.62/577.87	c nbDecision=184000 #constraints=19576
581.32/581.51	c nbDecision=184500 #constraints=19646
583.72/583.92	c nbDecision=185000 #constraints=19657
585.82/586.03	c nbDecision=185500 #constraints=19672
588.82/589.01	c nbDecision=186000 #constraints=19719
591.41/591.65	c nbDecision=186500 #constraints=19741
593.31/593.60	c nbDecision=187000 #constraints=19766
596.12/596.35	c nbDecision=187500 #constraints=19785
598.81/599.09	c nbDecision=188000 #constraints=19803
601.61/601.85	c nbDecision=188500 #constraints=19831
604.01/604.21	c nbDecision=189000 #constraints=19873
606.71/606.97	c nbDecision=189500 #constraints=19893
609.51/609.71	c nbDecision=190000 #constraints=19918
612.62/612.83	c nbDecision=190500 #constraints=19958
615.61/615.80	c nbDecision=191000 #constraints=19999
617.91/618.14	c nbDecision=191500 #constraints=20026
620.11/620.39	c nbDecision=192000 #constraints=20051
622.11/622.39	c nbDecision=192500 #constraints=20067
624.81/625.09	c nbDecision=193000 #constraints=20110
627.60/627.80	c nbDecision=193500 #constraints=20142
629.50/629.70	c nbDecision=194000 #constraints=20153
632.20/632.40	c nbDecision=194500 #constraints=20176
635.10/635.30	c nbDecision=195000 #constraints=20210
637.90/638.17	c nbDecision=195500 #constraints=20242
640.80/641.03	c nbDecision=196000 #constraints=20272
643.00/643.24	c nbDecision=196500 #constraints=20293
645.80/646.07	c nbDecision=197000 #constraints=20322
648.60/648.80	c nbDecision=197500 #constraints=20346
652.29/652.57	c nbDecision=198000 #constraints=20400
654.19/654.47	c nbDecision=198500 #constraints=20403
657.49/657.77	c nbDecision=199000 #constraints=20442
660.49/660.75	c nbDecision=199500 #constraints=20475
662.99/663.26	c nbDecision=200000 #constraints=20497
665.19/665.49	c nbDecision=200500 #constraints=20517
667.49/667.77	c nbDecision=201000 #constraints=20541
670.30/670.59	c nbDecision=201500 #constraints=20587
674.49/674.70	c nbDecision=202000 #constraints=20651
677.29/677.51	c nbDecision=202500 #constraints=20669
680.19/680.49	c nbDecision=203000 #constraints=20709
683.49/683.73	c nbDecision=203500 #constraints=20753
685.99/686.24	c nbDecision=204000 #constraints=20789
689.39/689.68	c nbDecision=204500 #constraints=20829
691.28/691.56	c restart after 204801 decisions
692.58/692.80	c nbDecision=205000 #constraints=20856
693.18/693.47	c nbDecision=205500 #constraints=20880
694.38/694.62	c nbDecision=206000 #constraints=20894
698.08/698.37	c nbDecision=206500 #constraints=20957
702.28/702.52	c nbDecision=207000 #constraints=21072
705.28/705.57	c nbDecision=207500 #constraints=21177
709.08/709.30	c nbDecision=208000 #constraints=21249
712.28/712.54	c nbDecision=208500 #constraints=21325
715.88/716.16	c nbDecision=209000 #constraints=21429
718.68/718.93	c nbDecision=209500 #constraints=21475
721.67/721.96	c nbDecision=210000 #constraints=21526
725.07/725.33	c nbDecision=210500 #constraints=21597
727.37/727.60	c nbDecision=211000 #constraints=21661
730.47/730.74	c nbDecision=211500 #constraints=21733
732.97/733.23	c nbDecision=212000 #constraints=21783
736.18/736.43	c nbDecision=212500 #constraints=21861
739.17/739.42	c nbDecision=213000 #constraints=21948
741.57/741.87	c nbDecision=213500 #constraints=21997
744.77/745.04	c nbDecision=214000 #constraints=22057
747.07/747.30	c nbDecision=214500 #constraints=22088
749.37/749.61	c nbDecision=215000 #constraints=22127
752.36/752.64	c nbDecision=215500 #constraints=22187
755.26/755.51	c nbDecision=216000 #constraints=22245
757.66/757.99	c nbDecision=216500 #constraints=22282
760.86/761.11	c nbDecision=217000 #constraints=22357
763.46/763.77	c nbDecision=217500 #constraints=22408
765.96/766.29	c nbDecision=218000 #constraints=22460
769.05/769.32	c nbDecision=218500 #constraints=22495
772.16/772.47	c nbDecision=219000 #constraints=22559
774.66/774.93	c nbDecision=219500 #constraints=22591
776.96/777.29	c nbDecision=220000 #constraints=22621
780.66/780.96	c nbDecision=220500 #constraints=22693
783.06/783.40	c nbDecision=221000 #constraints=22724
785.35/785.68	c nbDecision=221500 #constraints=22752
788.15/788.40	c nbDecision=222000 #constraints=22781
790.65/790.94	c nbDecision=222500 #constraints=22821
793.15/793.46	c nbDecision=223000 #constraints=22847
796.05/796.37	c nbDecision=223500 #constraints=22882
798.35/798.68	c nbDecision=224000 #constraints=22902
800.95/801.27	c nbDecision=224500 #constraints=22928
803.54/803.88	c nbDecision=225000 #constraints=22947
806.44/806.72	c nbDecision=225500 #constraints=23013
809.24/809.54	c nbDecision=226000 #constraints=23064
812.15/812.50	c nbDecision=226500 #constraints=23130
814.85/815.11	c nbDecision=227000 #constraints=23172
817.34/817.63	c nbDecision=227500 #constraints=23204
820.35/820.63	c nbDecision=228000 #constraints=23236
823.65/823.97	c nbDecision=228500 #constraints=23290
826.14/826.49	c nbDecision=229000 #constraints=23321
828.54/828.87	c nbDecision=229500 #constraints=23352
832.34/832.61	c nbDecision=230000 #constraints=23424
834.64/834.99	c nbDecision=230500 #constraints=23444
837.43/837.76	c nbDecision=231000 #constraints=23487
839.93/840.20	c nbDecision=231500 #constraints=23508
842.53/842.81	c nbDecision=232000 #constraints=23547
845.64/845.90	c nbDecision=232500 #constraints=23583
848.04/848.36	c nbDecision=233000 #constraints=23599
850.44/850.76	c nbDecision=233500 #constraints=23628
853.24/853.50	c nbDecision=234000 #constraints=23637
855.64/855.98	c nbDecision=234500 #constraints=23661
858.53/858.87	c nbDecision=235000 #constraints=23682
860.93/861.25	c nbDecision=235500 #constraints=23704
863.43/863.70	c nbDecision=236000 #constraints=23726
866.13/866.45	c nbDecision=236500 #constraints=23743
868.63/868.94	c nbDecision=237000 #constraints=23759
871.93/872.26	c nbDecision=237500 #constraints=23806
874.63/874.95	c nbDecision=238000 #constraints=23832
877.42/877.72	c nbDecision=238500 #constraints=23842
880.12/880.40	c nbDecision=239000 #constraints=23864
882.52/882.83	c nbDecision=239500 #constraints=23883
885.33/885.67	c nbDecision=240000 #constraints=23903
888.12/888.41	c nbDecision=240500 #constraints=23941
890.42/890.80	c nbDecision=241000 #constraints=23957
893.72/894.08	c nbDecision=241500 #constraints=24010
896.62/896.93	c nbDecision=242000 #constraints=24022
899.31/899.65	c nbDecision=242500 #constraints=24067
902.01/902.36	c nbDecision=243000 #constraints=24098
904.81/905.15	c nbDecision=243500 #constraints=24113
907.51/907.81	c nbDecision=244000 #constraints=24146
910.11/910.47	c nbDecision=244500 #constraints=24173
912.81/913.17	c nbDecision=245000 #constraints=24201
915.71/916.08	c nbDecision=245500 #constraints=24217
918.61/918.96	c nbDecision=246000 #constraints=24263
921.20/921.52	c nbDecision=246500 #constraints=24283
924.00/924.39	c nbDecision=247000 #constraints=24294
926.80/927.16	c nbDecision=247500 #constraints=24328
929.61/929.99	c nbDecision=248000 #constraints=24348
932.81/933.16	c nbDecision=248500 #constraints=24399
936.11/936.46	c nbDecision=249000 #constraints=24447
939.11/939.41	c nbDecision=249500 #constraints=24481
942.30/942.60	c nbDecision=250000 #constraints=24512
945.10/945.48	c nbDecision=250500 #constraints=24539
947.80/948.18	c nbDecision=251000 #constraints=24559
950.50/950.87	c nbDecision=251500 #constraints=24583
953.60/953.98	c nbDecision=252000 #constraints=24611
956.20/956.54	c nbDecision=252500 #constraints=24629
958.80/959.20	c nbDecision=253000 #constraints=24645
961.50/961.82	c nbDecision=253500 #constraints=24661
964.70/965.06	c nbDecision=254000 #constraints=24684
967.50/967.81	c nbDecision=254500 #constraints=24707
970.19/970.53	c nbDecision=255000 #constraints=24731
973.39/973.77	c nbDecision=255500 #constraints=24749
976.19/976.52	c nbDecision=256000 #constraints=24776
978.79/979.12	c nbDecision=256500 #constraints=24797
981.89/982.25	c nbDecision=257000 #constraints=24814
984.59/984.96	c nbDecision=257500 #constraints=24837
987.18/987.57	c nbDecision=258000 #constraints=24854
990.28/990.68	c nbDecision=258500 #constraints=24874
993.00/993.33	c nbDecision=259000 #constraints=24888
996.09/996.47	c nbDecision=259500 #constraints=24913
998.79/999.19	c nbDecision=260000 #constraints=24939
1001.39/1001.80	c nbDecision=260500 #constraints=24956
1004.79/1005.20	c nbDecision=261000 #constraints=24975
1007.08/1007.41	c nbDecision=261500 #constraints=25001
1010.38/1010.70	c nbDecision=262000 #constraints=25093
1012.78/1013.14	c nbDecision=262500 #constraints=25152
1016.88/1017.29	c nbDecision=263000 #constraints=25205
1022.97/1023.37	c nbDecision=263500 #constraints=25259
1025.98/1026.38	c nbDecision=264000 #constraints=25292
1033.18/1033.60	c nbDecision=264500 #constraints=25398
1037.78/1038.16	c nbDecision=265000 #constraints=25482
1044.68/1045.02	c nbDecision=265500 #constraints=25586
1048.27/1048.61	c nbDecision=266000 #constraints=25643
1053.17/1053.50	c nbDecision=266500 #constraints=25735
1056.67/1057.00	c nbDecision=267000 #constraints=25781
1062.27/1062.62	c nbDecision=267500 #constraints=25870
1066.97/1067.31	c nbDecision=268000 #constraints=25945
1070.97/1071.31	c nbDecision=268500 #constraints=25994
1073.27/1073.63	c nbDecision=269000 #constraints=26012
1076.36/1076.77	c nbDecision=269500 #constraints=26040
1079.36/1079.76	c nbDecision=270000 #constraints=26079
1082.46/1082.89	c nbDecision=270500 #constraints=26137
1085.46/1085.89	c nbDecision=271000 #constraints=26155
1089.46/1089.87	c nbDecision=271500 #constraints=26217
1093.66/1094.09	c nbDecision=272000 #constraints=26258
1098.96/1099.31	c nbDecision=272500 #constraints=26336
1104.55/1104.94	c nbDecision=273000 #constraints=26424
1107.65/1108.02	c nbDecision=273500 #constraints=26459
1110.25/1110.60	c nbDecision=274000 #constraints=26475
1113.05/1113.44	c nbDecision=274500 #constraints=26508
1115.95/1116.34	c nbDecision=275000 #constraints=26543
1120.15/1120.54	c nbDecision=275500 #constraints=26589
1124.15/1124.56	c nbDecision=276000 #constraints=26635
1126.75/1127.18	c nbDecision=276500 #constraints=26659
1130.15/1130.50	c nbDecision=277000 #constraints=26693
1132.75/1133.17	c nbDecision=277500 #constraints=26701
1135.55/1135.91	c nbDecision=278000 #constraints=26709
1138.54/1138.91	c nbDecision=278500 #constraints=26749
1141.84/1142.29	c nbDecision=279000 #constraints=26785
1144.94/1145.39	c nbDecision=279500 #constraints=26840
1147.94/1148.38	c nbDecision=280000 #constraints=26863
1150.54/1150.93	c nbDecision=280500 #constraints=26876
1153.44/1153.82	c nbDecision=281000 #constraints=26900
1156.13/1156.59	c nbDecision=281500 #constraints=26942
1159.33/1159.71	c nbDecision=282000 #constraints=26968
1162.24/1162.63	c nbDecision=282500 #constraints=26998
1165.54/1165.92	c nbDecision=283000 #constraints=27042
1168.74/1169.11	c nbDecision=283500 #constraints=27068
1171.44/1171.81	c nbDecision=284000 #constraints=27082
1174.13/1174.57	c nbDecision=284500 #constraints=27101
1177.13/1177.55	c nbDecision=285000 #constraints=27147
1180.23/1180.60	c nbDecision=285500 #constraints=27161
1183.23/1183.64	c nbDecision=286000 #constraints=27178
1186.03/1186.47	c nbDecision=286500 #constraints=27199
1189.43/1189.82	c nbDecision=287000 #constraints=27226
1193.13/1193.57	c nbDecision=287500 #constraints=27291
1197.82/1198.21	c nbDecision=288000 #constraints=27348
1202.22/1202.63	c nbDecision=288500 #constraints=27403
1207.72/1208.11	c nbDecision=289000 #constraints=27463
1211.93/1212.34	c nbDecision=289500 #constraints=27515
1216.23/1216.64	c nbDecision=290000 #constraints=27560
1219.52/1219.91	c nbDecision=290500 #constraints=27590
1223.02/1223.46	c nbDecision=291000 #constraints=27634
1228.92/1229.35	c nbDecision=291500 #constraints=27713
1235.01/1235.41	c nbDecision=292000 #constraints=27780
1238.11/1238.56	c nbDecision=292500 #constraints=27806
1243.01/1243.41	c nbDecision=293000 #constraints=27866
1248.81/1249.23	c nbDecision=293500 #constraints=27929
1253.01/1253.46	c nbDecision=294000 #constraints=27968
1256.61/1257.07	c nbDecision=294500 #constraints=27990
1260.31/1260.70	c nbDecision=295000 #constraints=28030
1264.01/1264.41	c nbDecision=295500 #constraints=28053
1267.61/1268.01	c nbDecision=296000 #constraints=28088
1270.81/1271.24	c nbDecision=296500 #constraints=28128
1274.40/1274.90	c nbDecision=297000 #constraints=28186
1279.00/1279.47	c nbDecision=297500 #constraints=28245
1285.60/1286.04	c nbDecision=298000 #constraints=28324
1291.20/1291.65	c nbDecision=298500 #constraints=28393
1296.30/1296.71	c nbDecision=299000 #constraints=28462
1302.20/1302.60	c nbDecision=299500 #constraints=28529
1304.99/1305.49	c nbDecision=300000 #constraints=28556
1312.19/1312.64	c nbDecision=300500 #constraints=28641
1317.79/1318.25	c nbDecision=301000 #constraints=28721
1324.49/1324.92	c nbDecision=301500 #constraints=28829
1329.68/1330.19	c nbDecision=302000 #constraints=28870
1332.58/1333.01	c nbDecision=302500 #constraints=28880
1335.99/1336.43	c nbDecision=303000 #constraints=28920
1340.59/1341.02	c nbDecision=303500 #constraints=28974
1343.48/1343.94	c nbDecision=304000 #constraints=28993
1348.68/1349.13	c nbDecision=304500 #constraints=29044
1351.38/1351.84	c nbDecision=305000 #constraints=29062
1356.48/1356.90	c nbDecision=305500 #constraints=29102
1362.58/1363.09	c nbDecision=306000 #constraints=29173
1370.17/1370.69	c nbDecision=306500 #constraints=29270
1376.78/1377.27	c nbDecision=307000 #constraints=29338
1381.67/1382.10	c nbDecision=307500 #constraints=29382
1384.67/1385.16	c nbDecision=308000 #constraints=29400
1389.37/1389.85	c nbDecision=308500 #constraints=29460
1391.97/1392.49	c nbDecision=309000 #constraints=29464
1397.27/1397.73	c nbDecision=309500 #constraints=29527
1401.56/1402.09	c nbDecision=310000 #constraints=29556
1404.86/1405.31	c nbDecision=310500 #constraints=29582
1408.77/1409.24	c nbDecision=311000 #constraints=29619
1412.56/1413.01	c nbDecision=311500 #constraints=29650
1418.25/1418.77	c nbDecision=312000 #constraints=29704
1421.15/1421.70	c nbDecision=312500 #constraints=29715
1424.65/1425.18	c nbDecision=313000 #constraints=29754
1428.56/1429.02	c nbDecision=313500 #constraints=29784
1431.95/1432.41	c nbDecision=314000 #constraints=29813
1435.56/1436.01	c nbDecision=314500 #constraints=29844
1438.96/1439.40	c nbDecision=315000 #constraints=29866
1442.06/1442.59	c nbDecision=315500 #constraints=29881
1445.46/1445.96	c nbDecision=316000 #constraints=29898
1448.65/1449.15	c nbDecision=316500 #constraints=29917
1452.35/1452.88	c nbDecision=317000 #constraints=29948
1455.35/1455.80	c nbDecision=317500 #constraints=29960
1458.55/1459.04	c nbDecision=318000 #constraints=29982
1461.25/1461.79	c nbDecision=318500 #constraints=30007
1465.95/1466.44	c nbDecision=319000 #constraints=30057
1469.34/1469.84	c nbDecision=319500 #constraints=30087
1473.34/1473.90	c nbDecision=320000 #constraints=30127
1476.54/1477.05	c nbDecision=320500 #constraints=30156
1479.75/1480.24	c nbDecision=321000 #constraints=30182
1482.55/1483.08	c nbDecision=321500 #constraints=30193
1488.34/1488.85	c nbDecision=322000 #constraints=30243
1492.14/1492.67	c nbDecision=322500 #constraints=30291
1495.64/1496.16	c nbDecision=323000 #constraints=30313
1499.64/1500.18	c nbDecision=323500 #constraints=30343
1502.73/1503.30	c nbDecision=324000 #constraints=30359
1506.83/1507.30	c nbDecision=324500 #constraints=30388
1510.53/1511.00	c nbDecision=325000 #constraints=30432
1513.53/1514.02	c nbDecision=325500 #constraints=30445
1516.83/1517.36	c nbDecision=326000 #constraints=30462
1520.23/1520.76	c nbDecision=326500 #constraints=30489
1523.63/1524.17	c nbDecision=327000 #constraints=30513
1526.92/1527.42	c nbDecision=327500 #constraints=30535
1529.82/1530.31	c nbDecision=328000 #constraints=30547
1533.92/1534.50	c nbDecision=328500 #constraints=30585
1537.12/1537.66	c nbDecision=329000 #constraints=30600
1541.02/1541.58	c nbDecision=329500 #constraints=30620
1550.53/1551.10	c nbDecision=330000 #constraints=30704
1554.62/1555.17	c nbDecision=330500 #constraints=30736
1557.72/1558.21	c nbDecision=331000 #constraints=30751
1560.72/1561.25	c nbDecision=331500 #constraints=30762
1564.22/1564.73	c nbDecision=332000 #constraints=30782
1568.12/1568.68	c nbDecision=332500 #constraints=30809
1571.82/1572.31	c nbDecision=333000 #constraints=30821
1574.91/1575.48	c nbDecision=333500 #constraints=30836
1579.12/1579.62	c nbDecision=334000 #constraints=30873
1582.21/1582.73	c nbDecision=334500 #constraints=30898
1586.51/1587.02	c nbDecision=335000 #constraints=30918
1589.91/1590.44	c nbDecision=335500 #constraints=30946
1593.10/1593.60	c nbDecision=336000 #constraints=30970
1596.60/1597.19	c nbDecision=336500 #constraints=30999
1601.20/1601.73	c nbDecision=337000 #constraints=31031
1605.30/1605.87	c nbDecision=337500 #constraints=31082
1608.70/1609.23	c nbDecision=338000 #constraints=31098
1613.20/1613.72	c nbDecision=338500 #constraints=31147
1616.90/1617.41	c nbDecision=339000 #constraints=31178
1621.00/1621.54	c nbDecision=339500 #constraints=31209
1624.20/1624.75	c nbDecision=340000 #constraints=31229
1628.39/1628.95	c nbDecision=340500 #constraints=31280
1632.19/1632.70	c nbDecision=341000 #constraints=31302
1635.90/1636.47	c nbDecision=341500 #constraints=31321
1640.30/1640.81	c nbDecision=342000 #constraints=31372
1648.29/1648.83	c nbDecision=342500 #constraints=31460
1652.79/1653.33	c nbDecision=343000 #constraints=31524
1659.78/1660.35	c nbDecision=343500 #constraints=31597
1664.08/1664.62	c nbDecision=344000 #constraints=31646
1671.39/1671.94	c nbDecision=344500 #constraints=31721
1673.89/1674.44	c nbDecision=345000 #constraints=31727
1682.28/1682.82	c nbDecision=345500 #constraints=31824
1687.08/1687.63	c nbDecision=346000 #constraints=31884
1691.08/1691.70	c nbDecision=346500 #constraints=31905
1695.98/1696.59	c nbDecision=347000 #constraints=31966
1699.68/1700.28	c nbDecision=347500 #constraints=31980
1708.07/1708.64	c nbDecision=348000 #constraints=32058
1711.37/1711.91	c nbDecision=348500 #constraints=32078
1714.57/1715.12	c nbDecision=349000 #constraints=32091
1719.97/1720.54	c nbDecision=349500 #constraints=32142
1728.07/1728.66	c nbDecision=350000 #constraints=32225
1733.77/1734.30	c nbDecision=350500 #constraints=32266
1737.47/1738.01	c nbDecision=351000 #constraints=32288
1743.76/1744.39	c nbDecision=351500 #constraints=32333
1751.16/1751.72	c nbDecision=352000 #constraints=32389
1754.56/1755.10	c nbDecision=352500 #constraints=32408
1757.86/1758.46	c nbDecision=353000 #constraints=32423
1765.36/1765.91	c nbDecision=353500 #constraints=32485
1770.66/1771.25	c nbDecision=354000 #constraints=32530
1774.26/1774.89	c nbDecision=354500 #constraints=32568
1782.25/1782.80	c nbDecision=355000 #constraints=32643
1786.35/1787.00	c nbDecision=355500 #constraints=32670
1799.15/1799.77	c nbDecision=356000 #constraints=32774
1800.05/1800.60	Received signal 15
1800.34/1800.98	
1800.34/1800.98	s UNKNOWN
1800.34/1800.98	
1800.34/1800.98	c user time= 1799.94 s
1800.34/1800.98	c system time= 0.498924 s
1800.34/1800.98	c wall clock time=1800.98

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/node7/watcher-356940-1176848916 -o ROOT/results/node7/solver-356940-1176848916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356940-1176848916/instance-356940-1176848916.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 2/77 19019
/proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=1468 CPUtime=0
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 160929276 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 367 162 128 317 0 46 0

[startup+0.103413 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19019
/proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=3456 CPUtime=0.1
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 683 0 0 0 10 0 0 0 18 0 1 0 160929276 3538944 665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 864 665 131 317 0 543 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3456

[startup+0.202424 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19019
/proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=5848 CPUtime=0.19
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 1281 0 0 0 19 0 0 0 19 0 1 0 160929276 5988352 1263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 1462 1263 131 317 0 1141 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5848

[startup+0.302434 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19019
/proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=8240 CPUtime=0.29
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 1862 0 0 0 29 0 0 0 19 0 1 0 160929276 8437760 1844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 2060 1844 131 317 0 1739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8240

[startup+0.702476 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19019
/proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=13460 CPUtime=0.69
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3194 0 0 0 68 1 0 0 23 0 1 0 160929276 13783040 3176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 3365 3176 138 317 0 3044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13460

[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1808360/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=13636 CPUtime=1.49
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3211 0 0 0 148 1 0 0 25 0 1 0 160929276 13963264 3193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 3409 3193 139 317 0 3088 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13636

[startup+3.10173 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19020
/proc/meminfo: memFree=1808040/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=14156 CPUtime=3.09
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3375 0 0 0 308 1 0 0 25 0 1 0 160929276 14495744 3357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 3539 3357 170 317 0 3218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14156

[startup+6.30106 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1806440/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=15740 CPUtime=6.29
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3769 0 0 0 628 1 0 0 25 0 1 0 160929276 16117760 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 3935 3751 170 317 0 3614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15740

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1802152/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=19716 CPUtime=12.69
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 4782 0 0 0 1267 2 0 0 25 0 1 0 160929276 20189184 4764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 4929 4764 170 317 0 4608 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19716

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1794664/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=27064 CPUtime=25.48
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 6595 0 0 0 2545 3 0 0 25 0 1 0 160929276 27713536 6577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 6766 6577 170 317 0 6445 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27064

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1785896/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=35904 CPUtime=51.07
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 8800 0 0 0 5103 4 0 0 25 0 1 0 160929276 36765696 8782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 8976 8782 170 317 0 8655 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35904

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19020
/proc/meminfo: memFree=1761768/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=60960 CPUtime=102.27
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 14828 0 0 0 10219 8 0 0 25 0 1 0 160929276 62423040 14752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 15240 14752 170 317 0 14919 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60960

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19021
/proc/meminfo: memFree=1746152/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=77668 CPUtime=162.24
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 18723 0 0 0 16212 12 0 0 25 0 1 0 160929276 79532032 18647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 19417 18647 170 317 0 19096 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 77668

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1736296/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=87748 CPUtime=222.23
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 21176 0 0 0 22208 15 0 0 25 0 1 0 160929276 89853952 21100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 21937 21100 170 317 0 21616 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 87748

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1729896/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=94068 CPUtime=282.22
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 22786 0 0 0 28205 17 0 0 25 0 1 0 160929276 96325632 22710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 23517 22710 170 317 0 23196 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94068

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1724008/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=100084 CPUtime=342.19
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 24227 0 0 0 34201 18 0 0 25 0 1 0 160929276 102486016 24151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 25021 24151 170 317 0 24700 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 100084

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1719272/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=105432 CPUtime=402.17
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 25532 0 0 0 40198 19 0 0 25 0 1 0 160929276 107962368 25342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 26358 25342 170 317 0 26037 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105432

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1714856/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=109964 CPUtime=462.15
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 26632 0 0 0 46194 21 0 0 25 0 1 0 160929276 112603136 26442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 27491 26442 170 317 0 27170 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 109964

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1710760/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=114456 CPUtime=522.14
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 27664 0 0 0 52191 23 0 0 25 0 1 0 160929276 117202944 27474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 28614 27474 170 317 0 28293 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 114456

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1706920/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=118448 CPUtime=582.12
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 28617 0 0 0 58188 24 0 0 25 0 1 0 160929276 121290752 28427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 29612 28427 170 317 0 29291 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 118448

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1703720/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=122244 CPUtime=642.1
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 29412 0 0 0 64185 25 0 0 25 0 1 0 160929276 125177856 29222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 30561 29222 170 317 0 30240 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 122244


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1677800/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=148276 CPUtime=1001.99
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 35855 0 0 0 100166 33 0 0 25 0 1 0 160929276 151834624 35665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 37069 35665 170 317 0 36748 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 148276

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1670376/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=155940 CPUtime=1061.97
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 37728 0 0 0 106163 34 0 0 25 0 1 0 160929276 159682560 37538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 38985 37538 170 317 0 38664 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 155940

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1664552/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=162112 CPUtime=1121.95
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 39195 0 0 0 112159 36 0 0 25 0 1 0 160929276 166002688 39005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 40528 39005 170 317 0 40207 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 162112

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1660776/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=166232 CPUtime=1181.93
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 40111 0 0 0 118156 37 0 0 25 0 1 0 160929276 170221568 39921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 41558 39921 170 317 0 41237 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 166232

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1655336/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=172968 CPUtime=1241.91
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 41455 0 0 0 124153 38 0 0 25 0 1 0 160929276 177119232 41265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 43242 41265 170 317 0 42921 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 172968

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1650024/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=178660 CPUtime=1301.9
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 42788 0 0 0 130150 40 0 0 25 0 1 0 160929276 182947840 42598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 44665 42598 170 317 0 44344 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 178660

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1644776/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=183712 CPUtime=1361.87
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 44071 0 0 0 136146 41 0 0 25 0 1 0 160929276 188121088 43881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 45928 43881 170 317 0 45607 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 183712

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1639976/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=188760 CPUtime=1421.86
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 45246 0 0 0 142144 42 0 0 25 0 1 0 160929276 193290240 45056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 47190 45056 170 317 0 46869 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 188760

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1636072/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=193608 CPUtime=1481.85
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 46237 0 0 0 148141 44 0 0 25 0 1 0 160929276 198254592 46047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 48402 46047 170 317 0 48081 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 193608

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1632424/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=197840 CPUtime=1541.83
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 47157 0 0 0 154138 45 0 0 25 0 1 0 160929276 202588160 46967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 49460 46967 170 317 0 49139 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 197840

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1629032/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=201268 CPUtime=1601.8
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 47996 0 0 0 160135 45 0 0 25 0 1 0 160929276 206098432 47806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 50317 47806 170 317 0 49996 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 201268

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1624744/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=205672 CPUtime=1661.78
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 49067 0 0 0 166132 46 0 0 25 0 1 0 160929276 210608128 48877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 51418 48877 170 317 0 51097 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 205672

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1620200/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=210944 CPUtime=1721.77
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 50212 0 0 0 172129 48 0 0 25 0 1 0 160929276 216006656 50022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 52736 50022 170 317 0 52415 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 210944

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1615912/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=214888 CPUtime=1781.75
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51253 0 0 0 178126 49 0 0 25 0 1 0 160929276 220045312 51063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 53722 51063 170 317 0 53401 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 214888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19022
/proc/meminfo: memFree=1614696/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=216260 CPUtime=1800.05
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179956 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 54065 51362 170 317 0 53744 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 216260

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19023
/proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=216260 CPUtime=1800.15
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179966 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 54065 51362 170 317 0 53744 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 216260

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19023
/proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=216260 CPUtime=1800.34
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179985 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 54065 51362 170 317 0 53744 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 216260

[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 19023
/proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956
[pid=19019] ppid=19017 vsize=0 CPUtime=1800.45
/proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194308 51601 0 0 0 179995 50 0 0 25 0 1 0 160929276 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19019/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.49
CPU user time (s): 1799.95
CPU system time (s): 0.531919
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 216260

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

runsolver used 2.07368 second user time and 4.48032 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Tue Apr 17 22:28:37 UTC 2007

IDJOB= 356940
IDBENCH= 1664
IDSOLVER= 172
FILE ID= node7/356940-1176848916

PBS_JOBID= 4590182

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  85af08260bc54f31465e48eb0563bdd8

RANDOM SEED= 20141322

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1820936 kB
Buffers:         37972 kB
Cached:         121024 kB
SwapCached:      23652 kB
Active:          76752 kB
Inactive:       115884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820936 kB
SwapTotal:     4192956 kB
SwapFree:      4149980 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            27732 kB
Committed_AS:  7066684 kB
PageTables:       1860 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= 66365 MiB

End job on node7 on Tue Apr 17 22:58:39 UTC 2007