Trace number 356992

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.15 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1al.opb
MD5SUM8707b70244b4b6d1505bb830d4ab8529
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42048
Best CPU time to get the best result obtained on this benchmark1802.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 42048
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints492
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 constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 3484
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 530256
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 530256
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.09/0.12	c ...done
0.09/0.12	c #vars=14400 #constraints=733 hasObjective=yes
0.09/0.17	c res. mode=mod
0.09/0.17	c VSIDS like heuristics
0.09/0.17	c complete search running
0.19/0.24	c restart after 401 decisions
0.19/0.25	c nbDecision=500 #constraints=733
0.29/0.30	c restart after 801 decisions
0.29/0.33	c nbDecision=1000 #constraints=733
0.29/0.39	c nbDecision=1500 #constraints=733
0.39/0.41	c restart after 1601 decisions
0.39/0.47	c nbDecision=2000 #constraints=733
0.49/0.54	c nbDecision=2500 #constraints=733
0.59/0.61	c nbDecision=3000 #constraints=733
0.59/0.64	c restart after 3201 decisions
0.59/0.68	c nbDecision=3500 #constraints=733
0.69/0.76	c nbDecision=4000 #constraints=733
0.79/0.83	c nbDecision=4500 #constraints=733
0.79/0.89	c nbDecision=5000 #constraints=733
0.89/0.96	c nbDecision=5500 #constraints=733
0.99/1.02	c nbDecision=6000 #constraints=733
0.99/1.06	c restart after 6401 decisions
0.99/1.08	c nbDecision=6500 #constraints=733
1.09/1.16	c nbDecision=7000 #constraints=733
1.19/1.23	c nbDecision=7500 #constraints=733
1.19/1.30	c nbDecision=8000 #constraints=733
1.29/1.36	c nbDecision=8500 #constraints=733
1.39/1.42	c nbDecision=9000 #constraints=733
1.39/1.48	c nbDecision=9500 #constraints=733
1.49/1.54	c nbDecision=10000 #constraints=733
1.49/1.59	c nbDecision=10500 #constraints=733
1.59/1.64	c nbDecision=11000 #constraints=733
2.19/2.26	c nbDecision=11500 #constraints=1023
2.89/2.92	c nbDecision=12000 #constraints=1292
6.29/6.34	c nbDecision=12500 #constraints=1664
6.69/6.75	c restart after 12801 decisions
6.79/6.80	c nbDecision=13000 #constraints=1876
6.79/6.88	c nbDecision=13500 #constraints=1876
6.89/6.95	c nbDecision=14000 #constraints=1876
6.99/7.02	c nbDecision=14500 #constraints=1876
6.99/7.09	c nbDecision=15000 #constraints=1876
7.09/7.15	c nbDecision=15500 #constraints=1876
7.19/7.21	c nbDecision=16000 #constraints=1876
7.19/7.27	c nbDecision=16500 #constraints=1876
7.29/7.32	c nbDecision=17000 #constraints=1876
7.29/7.38	c nbDecision=17500 #constraints=1876
7.78/7.85	c nbDecision=18000 #constraints=2124
8.19/8.27	c nbDecision=18500 #constraints=2296
8.79/8.87	c nbDecision=19000 #constraints=2551
9.38/9.44	c nbDecision=19500 #constraints=2753
9.79/9.85	c nbDecision=20000 #constraints=2878
10.58/10.62	c nbDecision=20500 #constraints=3126
11.29/11.32	c nbDecision=21000 #constraints=3323
11.79/11.81	c nbDecision=21500 #constraints=3440
12.58/12.67	c nbDecision=22000 #constraints=3671
13.38/13.50	c nbDecision=22500 #constraints=3874
14.39/14.49	c nbDecision=23000 #constraints=4113
15.39/15.45	c nbDecision=23500 #constraints=4321
16.49/16.51	c nbDecision=24000 #constraints=4539
17.68/17.75	c nbDecision=24500 #constraints=4792
18.79/18.87	c nbDecision=25000 #constraints=4994
20.08/20.19	c nbDecision=25500 #constraints=5233
20.48/20.53	c restart after 25601 decisions
20.78/20.81	c nbDecision=26000 #constraints=5291
20.78/20.88	c nbDecision=26500 #constraints=5291
20.88/20.95	c nbDecision=27000 #constraints=5291
20.97/21.05	c nbDecision=27500 #constraints=5291
21.07/21.12	c nbDecision=28000 #constraints=5291
21.17/21.21	c nbDecision=28500 #constraints=5291
21.17/21.27	c nbDecision=29000 #constraints=5291
21.27/21.33	c nbDecision=29500 #constraints=5291
21.27/21.38	c nbDecision=30000 #constraints=5291
22.07/22.11	c nbDecision=30500 #constraints=5406
23.47/23.55	c nbDecision=31000 #constraints=5729
24.57/24.61	c nbDecision=31500 #constraints=5970
24.77/24.87	c nbDecision=32000 #constraints=5987
24.97/25.06	c nbDecision=32500 #constraints=5999
25.17/25.25	c nbDecision=33000 #constraints=6011
25.37/25.46	c nbDecision=33500 #constraints=6023
25.57/25.66	c nbDecision=34000 #constraints=6036
25.77/25.88	c nbDecision=34500 #constraints=6050
25.97/26.08	c nbDecision=35000 #constraints=6063
26.17/26.29	c nbDecision=35500 #constraints=6076
26.37/26.49	c nbDecision=36000 #constraints=6088
26.66/26.70	c nbDecision=36500 #constraints=6101
26.86/26.91	c nbDecision=37000 #constraints=6114
27.06/27.12	c nbDecision=37500 #constraints=6128
27.26/27.32	c nbDecision=38000 #constraints=6139
27.46/27.52	c nbDecision=38500 #constraints=6152
27.66/27.73	c nbDecision=39000 #constraints=6165
27.86/27.93	c nbDecision=39500 #constraints=6177
28.06/28.13	c nbDecision=40000 #constraints=6189
28.26/28.34	c nbDecision=40500 #constraints=6202
28.46/28.55	c nbDecision=41000 #constraints=6216
28.66/28.76	c nbDecision=41500 #constraints=6228
28.86/28.96	c nbDecision=42000 #constraints=6240
29.06/29.15	c nbDecision=42500 #constraints=6252
29.26/29.37	c nbDecision=43000 #constraints=6266
29.46/29.58	c nbDecision=43500 #constraints=6278
29.66/29.78	c nbDecision=44000 #constraints=6291
29.86/29.99	c nbDecision=44500 #constraints=6303
30.16/30.20	c nbDecision=45000 #constraints=6317
30.36/30.40	c nbDecision=45500 #constraints=6329
30.56/30.60	c nbDecision=46000 #constraints=6341
30.76/30.82	c nbDecision=46500 #constraints=6355
30.96/31.02	c nbDecision=47000 #constraints=6366
31.16/31.21	c nbDecision=47500 #constraints=6378
31.36/31.43	c nbDecision=48000 #constraints=6391
31.56/31.64	c nbDecision=48500 #constraints=6404
31.76/31.85	c nbDecision=49000 #constraints=6417
31.96/32.05	c nbDecision=49500 #constraints=6429
32.16/32.25	c nbDecision=50000 #constraints=6441
32.35/32.47	c nbDecision=50500 #constraints=6454
32.55/32.68	c nbDecision=51000 #constraints=6467
32.65/32.77	c restart after 51201 decisions
32.96/33.05	c nbDecision=51500 #constraints=6473
33.15/33.20	c nbDecision=52000 #constraints=6473
33.15/33.27	c nbDecision=52500 #constraints=6473
33.35/33.40	c nbDecision=53000 #constraints=6473
33.35/33.46	c nbDecision=53500 #constraints=6473
33.45/33.57	c nbDecision=54000 #constraints=6473
33.55/33.63	c nbDecision=54500 #constraints=6473
33.55/33.69	c nbDecision=55000 #constraints=6473
33.65/33.74	c nbDecision=55500 #constraints=6473
34.06/34.17	c nbDecision=56000 #constraints=6540
36.64/36.79	c nbDecision=56500 #constraints=7011
39.63/39.78	c nbDecision=57000 #constraints=7432
40.93/41.02	c nbDecision=57500 #constraints=7536
41.63/41.74	c nbDecision=58000 #constraints=7564
42.33/42.43	c nbDecision=58500 #constraints=7586
43.13/43.26	c nbDecision=59000 #constraints=7630
44.32/44.48	c nbDecision=59500 #constraints=7841
44.93/45.10	c nbDecision=60000 #constraints=7861
45.62/45.77	c nbDecision=60500 #constraints=7879
46.32/46.47	c nbDecision=61000 #constraints=7905
47.51/47.60	c nbDecision=61500 #constraints=8044
48.11/48.29	c nbDecision=62000 #constraints=8063
48.81/48.96	c nbDecision=62500 #constraints=8081
49.41/49.57	c nbDecision=63000 #constraints=8097
50.11/50.20	c nbDecision=63500 #constraints=8115
50.70/50.87	c nbDecision=64000 #constraints=8134
51.40/51.53	c nbDecision=64500 #constraints=8151
52.00/52.18	c nbDecision=65000 #constraints=8170
52.61/52.80	c nbDecision=65500 #constraints=8187
53.40/53.50	c nbDecision=66000 #constraints=8208
54.00/54.12	c nbDecision=66500 #constraints=8225
54.60/54.78	c nbDecision=67000 #constraints=8243
55.30/55.41	c nbDecision=67500 #constraints=8260
56.00/56.11	c nbDecision=68000 #constraints=8281
56.60/56.77	c nbDecision=68500 #constraints=8299
57.31/57.43	c nbDecision=69000 #constraints=8317
57.91/58.08	c nbDecision=69500 #constraints=8361
58.70/58.82	c nbDecision=70000 #constraints=8428
59.40/59.52	c nbDecision=70500 #constraints=8493
60.20/60.32	c nbDecision=71000 #constraints=8556
60.90/61.05	c nbDecision=71500 #constraints=8622
63.10/63.25	c nbDecision=72000 #constraints=8944
65.00/65.18	c nbDecision=72500 #constraints=9144
67.30/67.40	c nbDecision=73000 #constraints=9385
69.60/69.76	c nbDecision=73500 #constraints=9632
71.59/71.74	c nbDecision=74000 #constraints=9824
74.48/74.69	c nbDecision=74500 #constraints=10020
76.68/76.87	c nbDecision=75000 #constraints=10222
79.08/79.23	c nbDecision=75500 #constraints=10450
81.68/81.82	c nbDecision=76000 #constraints=10671
84.58/84.72	c nbDecision=76500 #constraints=10925
86.87/87.07	c nbDecision=77000 #constraints=11121
89.78/89.96	c nbDecision=77500 #constraints=11359
92.37/92.50	c nbDecision=78000 #constraints=11566
95.48/95.60	c nbDecision=78500 #constraints=11812
98.17/98.30	c nbDecision=79000 #constraints=12020
101.48/101.62	c nbDecision=79500 #constraints=12274
104.58/104.74	c nbDecision=80000 #constraints=12502
107.47/107.68	c nbDecision=80500 #constraints=12704
110.78/110.91	c nbDecision=81000 #constraints=12931
113.57/113.79	c nbDecision=81500 #constraints=13124
117.48/117.61	c nbDecision=82000 #constraints=13390
120.87/121.06	c nbDecision=82500 #constraints=13622
124.27/124.42	c nbDecision=83000 #constraints=13829
128.07/128.26	c nbDecision=83500 #constraints=14079
131.37/131.51	c nbDecision=84000 #constraints=14274
135.26/135.43	c nbDecision=84500 #constraints=14525
139.07/139.29	c nbDecision=85000 #constraints=14760
142.46/142.65	c nbDecision=85500 #constraints=14951
145.76/145.95	c nbDecision=86000 #constraints=15131
149.56/149.78	c nbDecision=86500 #constraints=15359
153.16/153.31	c nbDecision=87000 #constraints=15548
157.36/157.59	c nbDecision=87500 #constraints=15791
161.47/161.66	c nbDecision=88000 #constraints=16003
165.76/165.98	c nbDecision=88500 #constraints=16238
170.36/170.55	c nbDecision=89000 #constraints=16485
174.76/174.98	c nbDecision=89500 #constraints=16714
178.85/179.00	c nbDecision=90000 #constraints=16915
183.85/184.06	c nbDecision=90500 #constraints=17171
188.35/188.54	c nbDecision=91000 #constraints=17383
192.65/192.86	c nbDecision=91500 #constraints=17600
197.55/197.76	c nbDecision=92000 #constraints=17845
202.45/202.63	c nbDecision=92500 #constraints=18067
207.65/207.83	c nbDecision=93000 #constraints=18313
212.45/212.61	c nbDecision=93500 #constraints=18538
216.95/217.18	c nbDecision=94000 #constraints=18738
222.54/222.73	c nbDecision=94500 #constraints=19000
228.04/228.26	c nbDecision=95000 #constraints=19216
233.34/233.58	c nbDecision=95500 #constraints=19465
238.94/239.15	c nbDecision=96000 #constraints=19706
243.64/243.89	c nbDecision=96500 #constraints=19898
245.54/245.77	c nbDecision=97000 #constraints=19964
247.64/247.89	c nbDecision=97500 #constraints=20040
249.93/250.17	c nbDecision=98000 #constraints=20122
251.93/252.18	c nbDecision=98500 #constraints=20194
254.13/254.36	c nbDecision=99000 #constraints=20273
256.14/256.37	c nbDecision=99500 #constraints=20342
258.34/258.56	c nbDecision=100000 #constraints=20417
260.73/260.95	c nbDecision=100500 #constraints=20502
262.94/263.15	c nbDecision=101000 #constraints=20577
265.03/265.28	c nbDecision=101500 #constraints=20650
269.83/270.01	c nbDecision=102000 #constraints=20800
271.63/271.82	c restart after 102401 decisions
272.53/272.74	c nbDecision=102500 #constraints=20862
272.93/273.14	c nbDecision=103000 #constraints=20862
273.03/273.21	c nbDecision=103500 #constraints=20862
273.23/273.40	c nbDecision=104000 #constraints=20862
273.33/273.57	c nbDecision=104500 #constraints=20862
273.63/273.81	c nbDecision=105000 #constraints=20862
273.63/273.87	c nbDecision=105500 #constraints=20862
273.73/273.94	c nbDecision=106000 #constraints=20862
273.83/274.03	c nbDecision=106500 #constraints=20862
273.93/274.13	c nbDecision=107000 #constraints=20862
276.53/276.76	c nbDecision=107500 #constraints=20989
279.53/279.80	c nbDecision=108000 #constraints=21170
281.43/281.67	c nbDecision=108500 #constraints=21242
284.12/284.33	c nbDecision=109000 #constraints=21376
286.13/286.30	c nbDecision=109500 #constraints=21463
288.93/289.17	c nbDecision=110000 #constraints=21629
291.62/291.85	c nbDecision=110500 #constraints=21760
294.13/294.33	c nbDecision=111000 #constraints=21884
296.92/297.18	c nbDecision=111500 #constraints=22032
299.72/300.00	c nbDecision=112000 #constraints=22172
302.72/302.94	c nbDecision=112500 #constraints=22305
305.21/305.44	c nbDecision=113000 #constraints=22422
308.22/308.40	c nbDecision=113500 #constraints=22578
310.82/311.09	c nbDecision=114000 #constraints=22690
313.51/313.78	c nbDecision=114500 #constraints=22808
316.72/316.94	c nbDecision=115000 #constraints=22967
320.12/320.38	c nbDecision=115500 #constraints=23137
322.62/322.87	c nbDecision=116000 #constraints=23244
324.92/325.19	c nbDecision=116500 #constraints=23347
328.51/328.76	c nbDecision=117000 #constraints=23499
332.22/332.41	c nbDecision=117500 #constraints=23648
335.32/335.57	c nbDecision=118000 #constraints=23786
338.21/338.40	c nbDecision=118500 #constraints=23908
341.11/341.32	c nbDecision=119000 #constraints=24028
343.51/343.75	c nbDecision=119500 #constraints=24133
347.00/347.23	c nbDecision=120000 #constraints=24298
350.41/350.64	c nbDecision=120500 #constraints=24453
356.21/356.49	c nbDecision=121000 #constraints=24650
369.50/369.73	c nbDecision=121500 #constraints=25092
382.90/383.18	c nbDecision=122000 #constraints=25520
388.40/388.64	c nbDecision=122500 #constraints=25743
391.70/391.98	c nbDecision=123000 #constraints=25887
393.60/393.86	c nbDecision=123500 #constraints=25944
401.99/402.26	c nbDecision=124000 #constraints=26362
406.99/407.28	c nbDecision=124500 #constraints=26565
410.69/410.93	c nbDecision=125000 #constraints=26703
413.69/413.94	c nbDecision=125500 #constraints=26826
417.79/418.08	c nbDecision=126000 #constraints=26998
420.39/420.62	c nbDecision=126500 #constraints=27088
424.78/425.04	c nbDecision=127000 #constraints=27273
427.78/428.06	c nbDecision=127500 #constraints=27386
431.38/431.65	c nbDecision=128000 #constraints=27523
433.98/434.27	c nbDecision=128500 #constraints=27615
438.08/438.31	c nbDecision=129000 #constraints=27776
439.28/439.59	c nbDecision=129500 #constraints=27807
444.59/444.89	c nbDecision=130000 #constraints=28033
447.49/447.79	c nbDecision=130500 #constraints=28136
450.58/450.89	c nbDecision=131000 #constraints=28248
453.78/454.06	c nbDecision=131500 #constraints=28368
458.08/458.38	c nbDecision=132000 #constraints=28523
462.17/462.42	c nbDecision=132500 #constraints=28671
464.87/465.11	c nbDecision=133000 #constraints=28758
469.28/469.59	c nbDecision=133500 #constraints=28936
481.87/482.10	c nbDecision=134000 #constraints=29341
496.67/496.93	c nbDecision=134500 #constraints=29779
501.67/501.94	c nbDecision=135000 #constraints=29944
505.17/505.45	c nbDecision=135500 #constraints=30064
509.77/510.09	c nbDecision=136000 #constraints=30240
512.67/512.98	c nbDecision=136500 #constraints=30334
517.26/517.55	c nbDecision=137000 #constraints=30498
521.17/521.42	c nbDecision=137500 #constraints=30632
525.06/525.32	c nbDecision=138000 #constraints=30773
528.46/528.76	c nbDecision=138500 #constraints=30884
531.46/531.75	c nbDecision=139000 #constraints=30975
536.47/536.73	c nbDecision=139500 #constraints=31161
540.16/540.40	c nbDecision=140000 #constraints=31280
544.26/544.56	c nbDecision=140500 #constraints=31424
547.05/547.30	c nbDecision=141000 #constraints=31499
551.96/552.24	c nbDecision=141500 #constraints=31664
556.26/556.54	c nbDecision=142000 #constraints=31812
558.56/558.89	c nbDecision=142500 #constraints=31879
563.25/563.54	c nbDecision=143000 #constraints=32040
567.54/567.82	c nbDecision=143500 #constraints=32178
570.44/570.73	c nbDecision=144000 #constraints=32265
575.35/575.63	c nbDecision=144500 #constraints=32436
580.05/580.31	c nbDecision=145000 #constraints=32594
583.75/584.06	c nbDecision=145500 #constraints=32712
587.54/587.84	c nbDecision=146000 #constraints=32816
593.34/593.65	c nbDecision=146500 #constraints=33005
598.04/598.39	c nbDecision=147000 #constraints=33157
602.54/602.81	c nbDecision=147500 #constraints=33293
605.54/605.82	c nbDecision=148000 #constraints=33385
609.04/609.35	c nbDecision=148500 #constraints=33496
612.94/613.24	c nbDecision=149000 #constraints=33626
618.43/618.79	c nbDecision=149500 #constraints=33842
622.34/622.61	c nbDecision=150000 #constraints=33960
627.43/627.73	c nbDecision=150500 #constraints=34119
631.23/631.52	c nbDecision=151000 #constraints=34232
636.43/636.71	c nbDecision=151500 #constraints=34393
640.03/640.36	c nbDecision=152000 #constraints=34499
643.73/644.06	c nbDecision=152500 #constraints=34612
649.03/649.38	c nbDecision=153000 #constraints=34770
650.83/651.12	c nbDecision=153500 #constraints=34812
655.82/656.17	c nbDecision=154000 #constraints=34967
659.92/660.25	c nbDecision=154500 #constraints=35093
663.53/663.87	c nbDecision=155000 #constraints=35192
669.13/669.46	c nbDecision=155500 #constraints=35362
673.93/674.21	c nbDecision=156000 #constraints=35506
677.92/678.23	c nbDecision=156500 #constraints=35612
680.42/680.80	c nbDecision=157000 #constraints=35682
684.12/684.47	c nbDecision=157500 #constraints=35787
690.01/690.32	c nbDecision=158000 #constraints=35952
695.11/695.43	c nbDecision=158500 #constraints=36101
699.52/699.80	c nbDecision=159000 #constraints=36218
704.21/704.59	c nbDecision=159500 #constraints=36346
709.81/710.16	c nbDecision=160000 #constraints=36512
714.81/715.13	c nbDecision=160500 #constraints=36656
717.91/718.20	c nbDecision=161000 #constraints=36740
723.60/723.92	c nbDecision=161500 #constraints=36898
730.51/730.85	c nbDecision=162000 #constraints=37110
736.71/737.01	c nbDecision=162500 #constraints=37273
742.01/742.38	c nbDecision=163000 #constraints=37428
747.90/748.25	c nbDecision=163500 #constraints=37581
751.30/751.68	c nbDecision=164000 #constraints=37671
765.40/765.72	c nbDecision=164500 #constraints=38074
771.60/771.92	c nbDecision=165000 #constraints=38236
776.99/777.35	c nbDecision=165500 #constraints=38386
782.09/782.49	c nbDecision=166000 #constraints=38515
786.39/786.75	c nbDecision=166500 #constraints=38620
791.89/792.21	c nbDecision=167000 #constraints=38775
796.49/796.83	c nbDecision=167500 #constraints=38898
802.99/803.38	c nbDecision=168000 #constraints=39067
807.38/807.74	c nbDecision=168500 #constraints=39180
811.29/811.60	c nbDecision=169000 #constraints=39269
816.09/816.42	c nbDecision=169500 #constraints=39394
819.98/820.36	c nbDecision=170000 #constraints=39497
826.48/826.86	c nbDecision=170500 #constraints=39666
830.38/830.73	c nbDecision=171000 #constraints=39760
835.58/835.99	c nbDecision=171500 #constraints=39894
838.88/839.22	c nbDecision=172000 #constraints=39962
843.28/843.70	c nbDecision=172500 #constraints=40077
848.88/849.29	c nbDecision=173000 #constraints=40228
858.47/858.89	c nbDecision=173500 #constraints=40490
868.27/868.63	c nbDecision=174000 #constraints=40773
876.47/876.81	c nbDecision=174500 #constraints=41025
883.86/884.27	c nbDecision=175000 #constraints=41203
890.36/890.76	c nbDecision=175500 #constraints=41369
895.96/896.32	c nbDecision=176000 #constraints=41496
900.26/900.64	c nbDecision=176500 #constraints=41600
906.96/907.38	c nbDecision=177000 #constraints=41759
913.85/914.23	c nbDecision=177500 #constraints=41929
918.16/918.54	c nbDecision=178000 #constraints=42028
923.35/923.72	c nbDecision=178500 #constraints=42152
930.05/930.41	c nbDecision=179000 #constraints=42304
935.05/935.48	c nbDecision=179500 #constraints=42426
939.65/940.01	c nbDecision=180000 #constraints=42528
945.95/946.30	c nbDecision=180500 #constraints=42678
953.15/953.57	c nbDecision=181000 #constraints=42846
955.74/956.16	c nbDecision=181500 #constraints=42905
957.44/957.88	c nbDecision=182000 #constraints=42936
963.04/963.42	c nbDecision=182500 #constraints=43067
967.94/968.32	c nbDecision=183000 #constraints=43177
975.04/975.43	c nbDecision=183500 #constraints=43340
980.44/980.81	c nbDecision=184000 #constraints=43462
987.73/988.16	c nbDecision=184500 #constraints=43628
992.13/992.53	c nbDecision=185000 #constraints=43724
997.63/998.07	c nbDecision=185500 #constraints=43858
1003.44/1003.86	c nbDecision=186000 #constraints=43990
1010.73/1011.16	c nbDecision=186500 #constraints=44155
1015.23/1015.69	c nbDecision=187000 #constraints=44262
1021.43/1021.87	c nbDecision=187500 #constraints=44407
1026.33/1026.73	c nbDecision=188000 #constraints=44511
1032.33/1032.71	c nbDecision=188500 #constraints=44640
1039.62/1040.07	c nbDecision=189000 #constraints=44808
1046.53/1046.93	c nbDecision=189500 #constraints=44967
1049.62/1050.09	c nbDecision=190000 #constraints=45033
1058.52/1058.99	c nbDecision=190500 #constraints=45229
1064.42/1064.86	c nbDecision=191000 #constraints=45362
1071.62/1072.08	c nbDecision=191500 #constraints=45526
1075.32/1075.73	c nbDecision=192000 #constraints=45607
1082.41/1082.81	c nbDecision=192500 #constraints=45767
1088.61/1089.06	c nbDecision=193000 #constraints=45904
1094.41/1094.89	c nbDecision=193500 #constraints=46020
1100.61/1101.06	c nbDecision=194000 #constraints=46157
1107.50/1107.99	c nbDecision=194500 #constraints=46312
1113.50/1113.96	c nbDecision=195000 #constraints=46442
1119.00/1119.45	c nbDecision=195500 #constraints=46545
1126.60/1127.00	c nbDecision=196000 #constraints=46717
1132.29/1132.70	c nbDecision=196500 #constraints=46837
1140.39/1140.81	c nbDecision=197000 #constraints=47013
1145.00/1145.41	c nbDecision=197500 #constraints=47107
1150.59/1151.09	c nbDecision=198000 #constraints=47234
1158.49/1158.97	c nbDecision=198500 #constraints=47393
1164.39/1164.89	c nbDecision=199000 #constraints=47517
1168.49/1168.94	c nbDecision=199500 #constraints=47596
1176.69/1177.17	c nbDecision=200000 #constraints=47756
1181.89/1182.40	c nbDecision=200500 #constraints=47867
1189.18/1189.61	c nbDecision=201000 #constraints=48022
1195.88/1196.31	c nbDecision=201500 #constraints=48197
1213.38/1213.86	c nbDecision=202000 #constraints=48605
1222.88/1223.38	c nbDecision=202500 #constraints=48789
1228.77/1229.28	c nbDecision=203000 #constraints=48916
1235.57/1236.01	c nbDecision=203500 #constraints=49064
1241.27/1241.71	c nbDecision=204000 #constraints=49174
1249.26/1249.71	c nbDecision=204500 #constraints=49336
1254.67/1255.13	c restart after 204801 decisions
1256.97/1257.43	c nbDecision=205000 #constraints=49442
1257.76/1258.28	c nbDecision=205500 #constraints=49442
1257.87/1258.35	c nbDecision=206000 #constraints=49442
1258.46/1258.98	c nbDecision=206500 #constraints=49442
1258.56/1259.04	c nbDecision=207000 #constraints=49442
1259.07/1259.54	c nbDecision=207500 #constraints=49442
1259.16/1259.60	c nbDecision=208000 #constraints=49442
1259.16/1259.66	c nbDecision=208500 #constraints=49442
1259.36/1259.83	c nbDecision=209000 #constraints=49442
1259.86/1260.39	c nbDecision=209500 #constraints=49442
1261.46/1261.97	c nbDecision=210000 #constraints=49807
1271.26/1271.72	c nbDecision=210500 #constraints=50269
1283.26/1283.75	c nbDecision=211000 #constraints=50749
1285.15/1285.63	c nbDecision=211500 #constraints=51145
1286.66/1287.15	c nbDecision=212000 #constraints=51497
1291.55/1292.02	c nbDecision=212500 #constraints=51866
1293.45/1293.98	c nbDecision=213000 #constraints=52305
1296.15/1296.64	c nbDecision=213500 #constraints=52670
1298.75/1299.23	c nbDecision=214000 #constraints=53099
1301.55/1302.03	c nbDecision=214500 #constraints=53487
1304.65/1305.19	c nbDecision=215000 #constraints=53864
1305.94/1306.48	c nbDecision=215500 #constraints=54139
1308.34/1308.86	c nbDecision=216000 #constraints=54331
1310.35/1310.84	c nbDecision=216500 #constraints=54524
1311.95/1312.42	c nbDecision=217000 #constraints=54722
1313.95/1314.46	c nbDecision=217500 #constraints=55058
1315.05/1315.54	c nbDecision=218000 #constraints=55160
1316.35/1316.87	c nbDecision=218500 #constraints=55302
1317.44/1317.90	c nbDecision=219000 #constraints=55430
1318.44/1318.92	c nbDecision=219500 #constraints=55572
1320.15/1320.65	c nbDecision=220000 #constraints=55776
1321.84/1322.36	c nbDecision=220500 #constraints=55983
1323.34/1323.82	c nbDecision=221000 #constraints=56124
1324.34/1324.83	c nbDecision=221500 #constraints=56215
1325.34/1325.87	c nbDecision=222000 #constraints=56314
1326.64/1327.14	c nbDecision=222500 #constraints=56453
1327.84/1328.33	c nbDecision=223000 #constraints=56564
1328.94/1329.44	c nbDecision=223500 #constraints=56660
1330.04/1330.52	c nbDecision=224000 #constraints=56753
1331.23/1331.70	c nbDecision=224500 #constraints=56872
1332.44/1332.94	c nbDecision=225000 #constraints=56990
1333.54/1334.07	c nbDecision=225500 #constraints=57084
1334.74/1335.20	c nbDecision=226000 #constraints=57184
1336.34/1336.89	c nbDecision=226500 #constraints=57362
1338.44/1338.99	c nbDecision=227000 #constraints=57610
1340.23/1340.77	c nbDecision=227500 #constraints=57775
1341.44/1341.96	c nbDecision=228000 #constraints=57859
1342.64/1343.19	c nbDecision=228500 #constraints=57954
1345.64/1346.16	c nbDecision=229000 #constraints=58247
1347.04/1347.50	c nbDecision=229500 #constraints=58353
1348.33/1348.87	c nbDecision=230000 #constraints=58453
1350.13/1350.61	c nbDecision=230500 #constraints=58613
1351.34/1351.82	c nbDecision=231000 #constraints=58697
1352.53/1353.09	c nbDecision=231500 #constraints=58782
1353.83/1354.36	c nbDecision=232000 #constraints=58866
1355.04/1355.55	c nbDecision=232500 #constraints=58944
1356.24/1356.77	c nbDecision=233000 #constraints=59022
1357.53/1358.05	c nbDecision=233500 #constraints=59110
1358.83/1359.33	c nbDecision=234000 #constraints=59205
1360.23/1360.73	c nbDecision=234500 #constraints=59305
1361.43/1361.99	c nbDecision=235000 #constraints=59390
1363.33/1363.85	c nbDecision=235500 #constraints=59533
1364.73/1365.27	c nbDecision=236000 #constraints=59614
1366.13/1366.61	c nbDecision=236500 #constraints=59681
1367.53/1368.04	c nbDecision=237000 #constraints=59771
1369.03/1369.58	c nbDecision=237500 #constraints=59879
1370.52/1371.07	c nbDecision=238000 #constraints=59984
1372.53/1373.03	c nbDecision=238500 #constraints=60202
1374.02/1374.52	c nbDecision=239000 #constraints=60371
1375.32/1375.88	c nbDecision=239500 #constraints=60488
1376.73/1377.24	c nbDecision=240000 #constraints=60588
1378.22/1378.73	c nbDecision=240500 #constraints=60699
1379.52/1380.10	c nbDecision=241000 #constraints=60804
1380.93/1381.46	c nbDecision=241500 #constraints=60898
1382.32/1382.85	c nbDecision=242000 #constraints=61001
1384.02/1384.58	c nbDecision=242500 #constraints=61130
1385.32/1385.87	c nbDecision=243000 #constraints=61164
1387.12/1387.64	c nbDecision=243500 #constraints=61252
1388.32/1388.89	c nbDecision=244000 #constraints=61276
1389.52/1390.09	c nbDecision=244500 #constraints=61294
1390.72/1391.27	c nbDecision=245000 #constraints=61328
1392.12/1392.61	c nbDecision=245500 #constraints=61348
1393.42/1393.97	c nbDecision=246000 #constraints=61378
1394.71/1395.25	c nbDecision=246500 #constraints=61396
1396.02/1396.59	c nbDecision=247000 #constraints=61422
1397.32/1397.84	c nbDecision=247500 #constraints=61440
1398.42/1398.97	c nbDecision=248000 #constraints=61460
1399.83/1400.33	c nbDecision=248500 #constraints=61508
1401.82/1402.33	c nbDecision=249000 #constraints=61612
1403.32/1403.86	c nbDecision=249500 #constraints=61681
1404.72/1405.26	c nbDecision=250000 #constraints=61701
1406.52/1407.05	c nbDecision=250500 #constraints=61773
1407.72/1408.27	c nbDecision=251000 #constraints=61790
1409.12/1409.64	c nbDecision=251500 #constraints=61809
1410.41/1410.99	c nbDecision=252000 #constraints=61829
1411.71/1412.29	c nbDecision=252500 #constraints=61852
1413.61/1414.14	c nbDecision=253000 #constraints=61937
1415.01/1415.51	c nbDecision=253500 #constraints=61966
1416.41/1416.91	c nbDecision=254000 #constraints=61998
1417.71/1418.26	c nbDecision=254500 #constraints=62018
1419.21/1419.71	c nbDecision=255000 #constraints=62043
1420.51/1421.07	c nbDecision=255500 #constraints=62063
1421.61/1422.20	c nbDecision=256000 #constraints=62082
1423.01/1423.57	c nbDecision=256500 #constraints=62101
1424.60/1425.15	c nbDecision=257000 #constraints=62148
1426.01/1426.56	c nbDecision=257500 #constraints=62168
1427.41/1427.94	c nbDecision=258000 #constraints=62208
1428.91/1429.41	c nbDecision=258500 #constraints=62227
1430.31/1430.82	c nbDecision=259000 #constraints=62246
1432.21/1432.75	c nbDecision=259500 #constraints=62334
1434.01/1434.55	c nbDecision=260000 #constraints=62411
1435.41/1435.97	c nbDecision=260500 #constraints=62430
1436.81/1437.31	c nbDecision=261000 #constraints=62448
1438.70/1439.29	c nbDecision=261500 #constraints=62535
1440.20/1440.74	c nbDecision=262000 #constraints=62555
1441.90/1442.46	c nbDecision=262500 #constraints=62612
1443.40/1443.91	c nbDecision=263000 #constraints=62637
1444.80/1445.37	c nbDecision=263500 #constraints=62660
1446.30/1446.82	c nbDecision=264000 #constraints=62681
1447.60/1448.19	c nbDecision=264500 #constraints=62700
1448.99/1449.57	c nbDecision=265000 #constraints=62723
1450.49/1451.01	c nbDecision=265500 #constraints=62742
1451.89/1452.40	c nbDecision=266000 #constraints=62760
1453.09/1453.67	c nbDecision=266500 #constraints=62784
1454.71/1455.24	c nbDecision=267000 #constraints=62814
1456.20/1456.71	c nbDecision=267500 #constraints=62834
1457.40/1457.94	c nbDecision=268000 #constraints=62854
1458.60/1459.18	c nbDecision=268500 #constraints=62872
1460.10/1460.66	c nbDecision=269000 #constraints=62892
1461.50/1462.04	c nbDecision=269500 #constraints=62910
1462.80/1463.37	c nbDecision=270000 #constraints=62931
1464.40/1464.95	c nbDecision=270500 #constraints=62973
1466.00/1466.50	c nbDecision=271000 #constraints=63001
1467.39/1467.94	c nbDecision=271500 #constraints=63019
1468.79/1469.37	c nbDecision=272000 #constraints=63038
1470.69/1471.24	c nbDecision=272500 #constraints=63105
1472.30/1472.82	c nbDecision=273000 #constraints=63135
1473.69/1474.28	c nbDecision=273500 #constraints=63154
1475.19/1475.74	c nbDecision=274000 #constraints=63173
1476.79/1477.32	c nbDecision=274500 #constraints=63205
1478.39/1478.90	c nbDecision=275000 #constraints=63225
1479.79/1480.32	c nbDecision=275500 #constraints=63243
1481.29/1481.84	c nbDecision=276000 #constraints=63262
1482.79/1483.35	c nbDecision=276500 #constraints=63281
1484.29/1484.89	c nbDecision=277000 #constraints=63306
1485.68/1486.24	c nbDecision=277500 #constraints=63327
1487.18/1487.72	c nbDecision=278000 #constraints=63345
1488.58/1489.19	c nbDecision=278500 #constraints=63366
1490.08/1490.68	c nbDecision=279000 #constraints=63385
1491.48/1492.09	c nbDecision=279500 #constraints=63402
1492.98/1493.52	c nbDecision=280000 #constraints=63420
1494.48/1495.01	c nbDecision=280500 #constraints=63439
1495.78/1496.40	c nbDecision=281000 #constraints=63457
1497.28/1497.87	c nbDecision=281500 #constraints=63476
1498.69/1499.26	c nbDecision=282000 #constraints=63494
1500.19/1500.70	c nbDecision=282500 #constraints=63521
1501.69/1502.26	c nbDecision=283000 #constraints=63548
1503.29/1503.88	c nbDecision=283500 #constraints=63604
1504.99/1505.51	c nbDecision=284000 #constraints=63630
1506.68/1507.21	c nbDecision=284500 #constraints=63656
1508.08/1508.65	c nbDecision=285000 #constraints=63673
1509.58/1510.16	c nbDecision=285500 #constraints=63692
1511.18/1511.70	c nbDecision=286000 #constraints=63711
1512.58/1513.13	c nbDecision=286500 #constraints=63734
1514.18/1514.77	c nbDecision=287000 #constraints=63763
1515.68/1516.22	c nbDecision=287500 #constraints=63781
1517.18/1517.70	c nbDecision=288000 #constraints=63799
1518.68/1519.29	c nbDecision=288500 #constraints=63825
1520.28/1520.82	c nbDecision=289000 #constraints=63844
1521.78/1522.31	c nbDecision=289500 #constraints=63861
1522.98/1523.59	c nbDecision=290000 #constraints=63881
1524.58/1525.15	c nbDecision=290500 #constraints=63900
1526.08/1526.63	c nbDecision=291000 #constraints=63919
1527.47/1528.00	c nbDecision=291500 #constraints=63939
1528.87/1529.47	c nbDecision=292000 #constraints=63958
1530.37/1530.96	c nbDecision=292500 #constraints=63981
1531.87/1532.42	c nbDecision=293000 #constraints=63998
1533.37/1533.93	c nbDecision=293500 #constraints=64017
1534.87/1535.44	c nbDecision=294000 #constraints=64036
1536.47/1537.09	c nbDecision=294500 #constraints=64080
1538.28/1538.84	c nbDecision=295000 #constraints=64130
1539.67/1540.25	c nbDecision=295500 #constraints=64147
1541.17/1541.79	c nbDecision=296000 #constraints=64166
1542.77/1543.32	c nbDecision=296500 #constraints=64185
1544.27/1544.89	c nbDecision=297000 #constraints=64222
1545.77/1546.35	c nbDecision=297500 #constraints=64240
1547.37/1547.92	c nbDecision=298000 #constraints=64260
1548.87/1549.42	c nbDecision=298500 #constraints=64278
1550.26/1550.87	c nbDecision=299000 #constraints=64300
1551.86/1552.48	c nbDecision=299500 #constraints=64320
1553.36/1553.97	c nbDecision=300000 #constraints=64339
1555.06/1555.62	c nbDecision=300500 #constraints=64360
1556.56/1557.16	c nbDecision=301000 #constraints=64379
1557.96/1558.59	c nbDecision=301500 #constraints=64396
1559.67/1560.23	c nbDecision=302000 #constraints=64417
1561.07/1561.64	c nbDecision=302500 #constraints=64437
1562.67/1563.25	c nbDecision=303000 #constraints=64457
1564.27/1564.88	c nbDecision=303500 #constraints=64486
1565.77/1566.35	c nbDecision=304000 #constraints=64504
1567.37/1567.99	c nbDecision=304500 #constraints=64524
1568.96/1569.54	c nbDecision=305000 #constraints=64542
1570.17/1570.80	c nbDecision=305500 #constraints=64561
1571.77/1572.38	c nbDecision=306000 #constraints=64581
1573.16/1573.70	c nbDecision=306500 #constraints=64599
1574.67/1575.21	c nbDecision=307000 #constraints=64618
1576.16/1576.71	c nbDecision=307500 #constraints=64637
1577.66/1578.25	c nbDecision=308000 #constraints=64659
1579.26/1579.80	c nbDecision=308500 #constraints=64678
1580.76/1581.33	c nbDecision=309000 #constraints=64707
1582.56/1583.11	c nbDecision=309500 #constraints=64806
1584.26/1584.87	c nbDecision=310000 #constraints=64894
1586.05/1586.68	c nbDecision=310500 #constraints=65004
1587.87/1588.45	c nbDecision=311000 #constraints=65098
1589.66/1590.27	c nbDecision=311500 #constraints=65196
1591.46/1592.00	c nbDecision=312000 #constraints=65290
1593.06/1593.63	c nbDecision=312500 #constraints=65385
1594.96/1595.52	c nbDecision=313000 #constraints=65490
1596.66/1597.23	c nbDecision=313500 #constraints=65578
1598.35/1598.98	c nbDecision=314000 #constraints=65664
1600.25/1600.84	c nbDecision=314500 #constraints=65767
1602.06/1602.70	c nbDecision=315000 #constraints=65859
1604.06/1604.66	c nbDecision=315500 #constraints=65960
1605.95/1606.54	c nbDecision=316000 #constraints=66057
1607.95/1608.52	c nbDecision=316500 #constraints=66155
1609.86/1610.43	c nbDecision=317000 #constraints=66256
1611.65/1612.28	c nbDecision=317500 #constraints=66349
1613.55/1614.19	c nbDecision=318000 #constraints=66447
1615.75/1616.30	c nbDecision=318500 #constraints=66572
1617.75/1618.31	c nbDecision=319000 #constraints=66670
1619.44/1620.09	c nbDecision=319500 #constraints=66776
1621.54/1622.11	c nbDecision=320000 #constraints=66866
1623.54/1624.16	c nbDecision=320500 #constraints=66976
1625.64/1626.22	c nbDecision=321000 #constraints=67066
1627.64/1628.30	c nbDecision=321500 #constraints=67170
1629.55/1630.13	c nbDecision=322000 #constraints=67270
1631.65/1632.25	c nbDecision=322500 #constraints=67374
1633.65/1634.23	c nbDecision=323000 #constraints=67470
1635.75/1636.31	c nbDecision=323500 #constraints=67569
1637.74/1638.36	c nbDecision=324000 #constraints=67669
1639.84/1640.41	c nbDecision=324500 #constraints=67759
1641.94/1642.54	c nbDecision=325000 #constraints=67869
1643.84/1644.49	c nbDecision=325500 #constraints=67963
1646.05/1646.67	c nbDecision=326000 #constraints=68068
1648.14/1648.75	c nbDecision=326500 #constraints=68163
1650.14/1650.74	c nbDecision=327000 #constraints=68251
1652.24/1652.89	c nbDecision=327500 #constraints=68352
1654.34/1654.94	c nbDecision=328000 #constraints=68443
1656.54/1657.19	c nbDecision=328500 #constraints=68546
1658.74/1659.30	c nbDecision=329000 #constraints=68642
1660.74/1661.35	c nbDecision=329500 #constraints=68727
1663.23/1663.88	c nbDecision=330000 #constraints=68849
1665.53/1666.12	c nbDecision=330500 #constraints=68945
1667.53/1668.15	c nbDecision=331000 #constraints=69045
1669.83/1670.48	c nbDecision=331500 #constraints=69147
1672.13/1672.72	c nbDecision=332000 #constraints=69240
1674.13/1674.70	c nbDecision=332500 #constraints=69305
1675.73/1676.31	c nbDecision=333000 #constraints=69324
1677.23/1677.88	c nbDecision=333500 #constraints=69342
1678.83/1679.44	c nbDecision=334000 #constraints=69360
1680.43/1681.05	c nbDecision=334500 #constraints=69389
1681.83/1682.46	c nbDecision=335000 #constraints=69407
1683.53/1684.16	c nbDecision=335500 #constraints=69427
1685.12/1685.76	c nbDecision=336000 #constraints=69445
1687.02/1687.65	c nbDecision=336500 #constraints=69484
1688.82/1689.42	c nbDecision=337000 #constraints=69505
1690.42/1691.08	c nbDecision=337500 #constraints=69524
1692.12/1692.76	c nbDecision=338000 #constraints=69551
1693.72/1694.32	c nbDecision=338500 #constraints=69569
1695.42/1696.04	c nbDecision=339000 #constraints=69589
1697.02/1697.64	c nbDecision=339500 #constraints=69607
1698.72/1699.32	c nbDecision=340000 #constraints=69626
1700.22/1700.89	c nbDecision=340500 #constraints=69644
1701.93/1702.54	c nbDecision=341000 #constraints=69662
1703.63/1704.20	c nbDecision=341500 #constraints=69681
1705.53/1706.16	c nbDecision=342000 #constraints=69722
1707.13/1707.71	c nbDecision=342500 #constraints=69740
1708.73/1709.40	c nbDecision=343000 #constraints=69759
1710.42/1711.08	c nbDecision=343500 #constraints=69778
1712.13/1712.79	c nbDecision=344000 #constraints=69798
1713.72/1714.31	c nbDecision=344500 #constraints=69825
1715.33/1715.94	c nbDecision=345000 #constraints=69845
1717.02/1717.67	c nbDecision=345500 #constraints=69865
1718.52/1719.20	c nbDecision=346000 #constraints=69881
1720.62/1721.23	c nbDecision=346500 #constraints=69932
1722.32/1722.94	c nbDecision=347000 #constraints=69953
1723.92/1724.53	c nbDecision=347500 #constraints=69970
1725.52/1726.16	c nbDecision=348000 #constraints=69989
1727.32/1727.90	c nbDecision=348500 #constraints=70008
1728.81/1729.49	c nbDecision=349000 #constraints=70025
1730.51/1731.14	c nbDecision=349500 #constraints=70044
1732.11/1732.73	c nbDecision=350000 #constraints=70061
1733.81/1734.47	c nbDecision=350500 #constraints=70086
1735.51/1736.14	c nbDecision=351000 #constraints=70106
1737.11/1737.73	c nbDecision=351500 #constraints=70123
1738.61/1739.22	c nbDecision=352000 #constraints=70145
1740.31/1740.98	c nbDecision=352500 #constraints=70165
1742.01/1742.66	c nbDecision=353000 #constraints=70189
1743.71/1744.33	c nbDecision=353500 #constraints=70207
1745.40/1746.02	c nbDecision=354000 #constraints=70226
1747.10/1747.73	c nbDecision=354500 #constraints=70246
1748.81/1749.43	c nbDecision=355000 #constraints=70264
1750.52/1751.19	c nbDecision=355500 #constraints=70284
1752.21/1752.86	c nbDecision=356000 #constraints=70303
1753.91/1754.51	c nbDecision=356500 #constraints=70322
1755.51/1756.19	c nbDecision=357000 #constraints=70340
1757.31/1757.92	c nbDecision=357500 #constraints=70359
1758.91/1759.59	c nbDecision=358000 #constraints=70379
1760.61/1761.27	c nbDecision=358500 #constraints=70398
1762.41/1763.09	c nbDecision=359000 #constraints=70418
1764.20/1764.80	c nbDecision=359500 #constraints=70437
1765.80/1766.43	c nbDecision=360000 #constraints=70455
1767.50/1768.19	c nbDecision=360500 #constraints=70474
1769.21/1769.88	c nbDecision=361000 #constraints=70493
1770.90/1771.57	c nbDecision=361500 #constraints=70512
1772.51/1773.14	c nbDecision=362000 #constraints=70532
1774.20/1774.82	c nbDecision=362500 #constraints=70551
1775.80/1776.44	c nbDecision=363000 #constraints=70570
1777.50/1778.14	c nbDecision=363500 #constraints=70588
1779.10/1779.72	c nbDecision=364000 #constraints=70606
1780.80/1781.42	c nbDecision=364500 #constraints=70625
1782.40/1783.08	c nbDecision=365000 #constraints=70643
1784.09/1784.73	c nbDecision=365500 #constraints=70661
1785.80/1786.47	c nbDecision=366000 #constraints=70687
1787.50/1788.16	c nbDecision=366500 #constraints=70707
1789.30/1789.91	c nbDecision=367000 #constraints=70726
1790.90/1791.59	c nbDecision=367500 #constraints=70745
1792.60/1793.28	c nbDecision=368000 #constraints=70763
1794.40/1795.09	c nbDecision=368500 #constraints=70787
1796.10/1796.74	c nbDecision=369000 #constraints=70806
1797.80/1798.47	c nbDecision=369500 #constraints=70829
1799.40/1800.02	c nbDecision=370000 #constraints=70846
1800.00/1800.60	Received signal 15
1800.00/1800.64	
1800.00/1800.64	s UNKNOWN
1800.00/1800.64	
1800.00/1800.64	c user time= 1798.97 s
1800.00/1800.64	c system time= 1.07384 s
1800.00/1800.64	c wall clock time=1800.64

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/node51/watcher-356992-1176850841 -o ROOT/results/node51/solver-356992-1176850841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3255
/proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=1620 CPUtime=0
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 39929240 1658880 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 405 168 126 317 0 84 0

[startup+0.0677761 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3255
/proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=2808 CPUtime=0.06
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 502 0 0 0 6 0 0 0 18 0 1 0 39929240 2875392 484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 702 484 131 317 0 381 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2808

[startup+0.101778 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3255
/proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=3600 CPUtime=0.09
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 39929240 3686400 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 900 697 131 317 0 579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3600

[startup+0.301795 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3255
/proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=5992 CPUtime=0.29
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1297 0 0 0 29 0 0 0 19 0 1 0 39929240 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 1498 1279 138 317 0 1177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5992

[startup+0.701831 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3255
/proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=5992 CPUtime=0.69
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1298 0 0 0 69 0 0 0 23 0 1 0 39929240 6135808 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 1498 1280 138 317 0 1177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5992

[startup+1.5019 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 3256
/proc/meminfo: memFree=1860656/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=5992 CPUtime=1.49
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 39929240 6135808 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 1498 1282 138 317 0 1177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5992

[startup+3.10105 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 3256
/proc/meminfo: memFree=1859376/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=10460 CPUtime=3.09
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 2404 0 0 0 309 0 0 0 25 0 1 0 39929240 10711040 2386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 2615 2386 139 317 0 2294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10460

[startup+6.30133 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 3256
/proc/meminfo: memFree=1854768/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=11772 CPUtime=6.29
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 2760 0 0 0 628 1 0 0 25 0 1 0 39929240 12054528 2742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 2943 2742 139 317 0 2622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11772

[startup+12.7019 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 3256
/proc/meminfo: memFree=1838576/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=29500 CPUtime=12.68
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 7159 0 0 0 1265 3 0 0 25 0 1 0 39929240 30208000 7141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 7375 7141 139 317 0 7054 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29500

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.97 2/71 3322
/proc/meminfo: memFree=1814712/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=52188 CPUtime=25.47
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 12452 0 0 0 2540 7 0 0 25 0 1 0 39929240 53440512 12434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 13047 12434 139 317 0 12726 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52188

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.97 2/71 3420
/proc/meminfo: memFree=1798184/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=67700 CPUtime=51
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 16500 0 0 0 5090 10 0 0 25 0 1 0 39929240 69324800 16482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 16925 16482 139 317 0 16604 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 67700

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 3454
/proc/meminfo: memFree=1764784/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=105156 CPUtime=102.18
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 25173 0 0 0 10200 18 0 0 25 0 1 0 39929240 107679744 25097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 26289 25097 139 317 0 25968 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 105156

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3454
/proc/meminfo: memFree=1734128/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=135924 CPUtime=162.16
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 32904 0 0 0 16192 24 0 0 25 0 1 0 39929240 139186176 32828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 33981 32828 139 317 0 33660 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 135924

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3454
/proc/meminfo: memFree=1709616/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=160316 CPUtime=222.14
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 39053 0 0 0 22185 29 0 0 25 0 1 0 39929240 164163584 38863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 40079 38863 139 317 0 39758 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 160316

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3454
/proc/meminfo: memFree=1689904/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=186836 CPUtime=282.12
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 45502 0 0 0 28180 32 0 0 25 0 1 0 39929240 191320064 43860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 46709 43860 139 317 0 46388 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 186836

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3454
/proc/meminfo: memFree=1666800/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=207876 CPUtime=342.11
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 51235 0 0 0 34174 37 0 0 25 0 1 0 39929240 212865024 49527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 51969 49527 139 317 0 51648 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 207876

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3454
/proc/meminfo: memFree=1652016/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=222108 CPUtime=402.09
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 54982 0 0 0 40169 40 0 0 25 0 1 0 39929240 227438592 53274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 55527 53274 139 317 0 55206 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 222108

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1633072/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=238768 CPUtime=462.07
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 59655 0 0 0 46164 43 0 0 25 0 1 0 39929240 244498432 57947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 59692 57947 139 317 0 59371 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 238768

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1617968/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=258632 CPUtime=522.06
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 64298 0 0 0 52159 47 0 0 25 0 1 0 39929240 264839168 61732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 64658 61732 139 317 0 64337 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 258632

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1601264/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=274028 CPUtime=582.05
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 68455 0 0 0 58155 50 0 0 25 0 1 0 39929240 280604672 65889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 68507 65889 139 317 0 68186 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 274028

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1584944/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=294256 CPUtime=642.04
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 73543 0 0 0 64151 53 0 0 25 0 1 0 39929240 301318144 69925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 73564 69925 139 317 0 73243 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 294256


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1532144/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=360864 CPUtime=881.96
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 90966 0 0 0 88134 62 0 0 25 0 1 0 39929240 369524736 83088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 90216 83088 139 317 0 89895 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 360864

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1519728/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=372860 CPUtime=941.95
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 94179 0 0 0 94130 65 0 0 25 0 1 0 39929240 381808640 86236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 93215 86236 139 317 0 92894 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 372860

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1508528/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=382668 CPUtime=1001.94
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 96958 0 0 0 100127 67 0 0 25 0 1 0 39929240 391852032 89015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 95667 89015 139 317 0 95346 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 382668

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1497136/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=392476 CPUtime=1061.92
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 99824 0 0 0 106123 69 0 0 25 0 1 0 39929240 401895424 91881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 98119 91881 139 317 0 97798 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 392476

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1486384/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=401908 CPUtime=1121.9
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 102570 0 0 0 112118 72 0 0 25 0 1 0 39929240 411553792 94627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 100477 94627 139 317 0 100156 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 401908

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1475824/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=411120 CPUtime=1181.89
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 105142 0 0 0 118114 75 0 0 25 0 1 0 39929240 420986880 97199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 102780 97199 139 317 0 102459 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 411120

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1464944/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=420536 CPUtime=1241.87
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 107835 0 0 0 124110 77 0 0 25 0 1 0 39929240 430628864 99892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 105134 99892 139 317 0 104813 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 420536

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1433264/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=450560 CPUtime=1301.86
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 115750 0 0 0 130102 84 0 0 25 0 1 0 39929240 461373440 107774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 112640 107774 139 317 0 112319 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 450560

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1388528/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=493636 CPUtime=1361.82
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 127078 0 0 0 136091 91 0 0 25 0 1 0 39929240 505483264 119037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 123409 119037 139 317 0 123088 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 493636

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1367536/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=514112 CPUtime=1421.81
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 132220 0 0 0 142086 95 0 0 25 0 1 0 39929240 526450688 124179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 128528 124179 139 317 0 128207 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 514112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1359280/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=521872 CPUtime=1481.79
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 134283 0 0 0 148082 97 0 0 25 0 1 0 39929240 534396928 126242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 130468 126242 139 317 0 130147 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 521872

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1352688/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=528048 CPUtime=1541.77
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 135918 0 0 0 154079 98 0 0 25 0 1 0 39929240 540721152 127877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718324 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 132012 127877 139 317 0 131691 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 528048

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1338352/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=544216 CPUtime=1601.75
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 139628 0 0 0 160075 100 0 0 25 0 1 0 39929240 557277184 131522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 136054 131522 139 317 0 135733 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 544216

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1311920/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=575144 CPUtime=1661.74
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 146630 0 0 0 166070 104 0 0 25 0 1 0 39929240 588947456 138072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 143786 138072 139 317 0 143465 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 575144

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1303216/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=583284 CPUtime=1721.72
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 148800 0 0 0 172067 105 0 0 25 0 1 0 39929240 597282816 140242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 145821 140242 139 317 0 145500 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 583284

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1298032/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=588000 CPUtime=1781.7
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 150057 0 0 0 178064 106 0 0 25 0 1 0 39929240 602112000 141499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 147000 141499 139 317 0 146679 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 588000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3456
/proc/meminfo: memFree=1296176/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=589568 CPUtime=1800
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 150513 0 0 0 179893 107 0 0 25 0 1 0 39929240 603717632 141955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 147392 141955 139 317 0 147071 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 589568

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.97 0.97 2/65 3456
/proc/meminfo: memFree=1296176/2055920 swapFree=4178808/4192956
[pid=3255] ppid=3253 vsize=0 CPUtime=1800.1
/proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194308 150531 0 0 0 179898 112 0 0 25 0 1 0 39929240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3255/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.15
CPU user time (s): 1798.98
CPU system time (s): 1.16282
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 589568

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

runsolver used 1.15282 second user time and 3.86941 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue Apr 17 23:00:41 UTC 2007

IDJOB= 356992
IDBENCH= 1743
IDSOLVER= 172
FILE ID= node51/356992-1176850841

PBS_JOBID= 4590204

Free space on /tmp= 66474 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb
COMMAND LINE= oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-356992-1176850841 -o ROOT/results/node51/solver-356992-1176850841 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8707b70244b4b6d1505bb830d4ab8529

RANDOM SEED= 109556803

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1865680 kB
Buffers:         18044 kB
Cached:         125908 kB
SwapCached:       8368 kB
Active:          87836 kB
Inactive:        71784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1865680 kB
SwapTotal:     4192956 kB
SwapFree:      4178808 kB
Dirty:            1736 kB
Writeback:           0 kB
Mapped:          16672 kB
Slab:            16704 kB
Committed_AS:  2542292 kB
PageTables:       1408 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= 66474 MiB

End job on node51 on Tue Apr 17 23:30:44 UTC 2007