Trace number 357412

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.25 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gesa3.opb
MD5SUMd3086c0e0af196eedd939c84273a060e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6587681631937
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4230134768458
Optimality of the best value was proved NO
Number of variables18384
Total number of constraints1752
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1704
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 11424
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144211309205274864
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144211309205274864
Number of bits of the biggest sum of numbers58
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.19/0.24	c ...done
0.19/0.24	c #vars=18384 #constraints=1801 hasObjective=yes
0.29/0.35	c res. mode=mod
0.29/0.35	c VSIDS like heuristics
0.29/0.35	c complete search running
0.39/0.47	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=1801
0.49/0.57	c restart after 801 decisions
0.59/0.63	c nbDecision=1000 #constraints=1801
0.69/0.73	c nbDecision=1500 #constraints=1801
0.69/0.75	c restart after 1601 decisions
0.79/0.86	c nbDecision=2000 #constraints=1801
0.89/0.95	c nbDecision=2500 #constraints=1801
1.00/1.03	c nbDecision=3000 #constraints=1801
1.00/1.05	c restart after 3201 decisions
1.10/1.14	c nbDecision=3500 #constraints=1801
1.19/1.23	c nbDecision=4000 #constraints=1801
1.29/1.31	c nbDecision=4500 #constraints=1801
1.29/1.36	c nbDecision=5000 #constraints=1801
1.39/1.42	c nbDecision=5500 #constraints=1801
1.39/1.49	c nbDecision=6000 #constraints=1809
1.49/1.54	c restart after 6401 decisions
1.49/1.57	c nbDecision=6500 #constraints=1818
1.59/1.67	c nbDecision=7000 #constraints=1818
1.69/1.76	c nbDecision=7500 #constraints=1818
1.79/1.83	c nbDecision=8000 #constraints=1818
1.79/1.89	c nbDecision=8500 #constraints=1818
1.89/1.95	c nbDecision=9000 #constraints=1818
1.99/2.01	c nbDecision=9500 #constraints=1826
2.10/2.19	c nbDecision=10000 #constraints=1915
2.20/2.24	c nbDecision=10500 #constraints=1916
2.29/2.31	c nbDecision=11000 #constraints=1925
2.29/2.37	c nbDecision=11500 #constraints=1929
2.59/2.69	c nbDecision=12000 #constraints=2090
2.89/2.92	c nbDecision=12500 #constraints=2167
2.89/2.99	c restart after 12801 decisions
2.99/3.06	c nbDecision=13000 #constraints=2179
3.09/3.16	c nbDecision=13500 #constraints=2179
3.19/3.24	c nbDecision=14000 #constraints=2179
3.29/3.31	c nbDecision=14500 #constraints=2179
3.29/3.37	c nbDecision=15000 #constraints=2180
3.39/3.43	c nbDecision=15500 #constraints=2180
3.39/3.49	c nbDecision=16000 #constraints=2184
3.79/3.83	c nbDecision=16500 #constraints=2342
3.89/3.94	c nbDecision=17000 #constraints=2362
3.99/4.04	c nbDecision=17500 #constraints=2383
4.09/4.10	c nbDecision=18000 #constraints=2386
4.09/4.17	c nbDecision=18500 #constraints=2388
4.19/4.23	c nbDecision=19000 #constraints=2390
4.48/4.53	c nbDecision=19500 #constraints=2530
4.58/4.60	c nbDecision=20000 #constraints=2535
4.58/4.67	c nbDecision=20500 #constraints=2540
5.09/5.14	c nbDecision=21000 #constraints=2723
5.40/5.48	c nbDecision=21500 #constraints=2799
5.59/5.61	c nbDecision=22000 #constraints=2820
5.69/5.74	c nbDecision=22500 #constraints=2839
5.79/5.81	c nbDecision=23000 #constraints=2842
6.09/6.14	c nbDecision=23500 #constraints=2924
6.19/6.23	c nbDecision=24000 #constraints=2931
6.29/6.31	c nbDecision=24500 #constraints=2937
6.29/6.37	c nbDecision=25000 #constraints=2939
6.39/6.44	c nbDecision=25500 #constraints=2942
6.39/6.45	c restart after 25601 decisions
6.49/6.57	c nbDecision=26000 #constraints=2942
6.59/6.67	c nbDecision=26500 #constraints=2942
6.69/6.75	c nbDecision=27000 #constraints=2942
6.79/6.81	c nbDecision=27500 #constraints=2942
6.79/6.87	c nbDecision=28000 #constraints=2942
6.89/6.95	c nbDecision=28500 #constraints=2944
6.99/7.01	c nbDecision=29000 #constraints=2946
7.09/7.12	c nbDecision=29500 #constraints=2964
7.09/7.19	c nbDecision=30000 #constraints=2967
7.19/7.27	c nbDecision=30500 #constraints=2973
7.79/7.84	c nbDecision=31000 #constraints=3136
7.99/8.02	c nbDecision=31500 #constraints=3161
8.09/8.19	c nbDecision=32000 #constraints=3187
8.19/8.27	c nbDecision=32500 #constraints=3194
8.29/8.35	c nbDecision=33000 #constraints=3200
9.19/9.24	c nbDecision=33500 #constraints=3402
9.39/9.49	c nbDecision=34000 #constraints=3434
9.69/9.73	c nbDecision=34500 #constraints=3465
9.80/9.82	c nbDecision=35000 #constraints=3473
9.90/9.92	c nbDecision=35500 #constraints=3482
9.90/10.00	c nbDecision=36000 #constraints=3486
10.69/10.71	c nbDecision=36500 #constraints=3656
10.89/10.96	c nbDecision=37000 #constraints=3689
10.99/11.05	c nbDecision=37500 #constraints=3695
11.09/11.14	c nbDecision=38000 #constraints=3702
11.09/11.20	c nbDecision=38500 #constraints=3703
11.29/11.36	c nbDecision=39000 #constraints=3732
12.19/12.26	c nbDecision=39500 #constraints=3909
12.69/12.72	c nbDecision=40000 #constraints=3965
12.79/12.87	c nbDecision=40500 #constraints=3978
12.89/12.99	c nbDecision=41000 #constraints=3988
12.99/13.06	c nbDecision=41500 #constraints=3991
13.68/13.73	c nbDecision=42000 #constraints=4117
14.08/14.19	c nbDecision=42500 #constraints=4167
14.29/14.32	c nbDecision=43000 #constraints=4174
14.38/14.44	c nbDecision=43500 #constraints=4181
14.48/14.52	c nbDecision=44000 #constraints=4184
15.29/15.35	c nbDecision=44500 #constraints=4320
15.39/15.46	c nbDecision=45000 #constraints=4325
15.49/15.57	c nbDecision=45500 #constraints=4331
15.59/15.63	c nbDecision=46000 #constraints=4332
15.79/15.85	c nbDecision=46500 #constraints=4362
16.89/16.94	c nbDecision=47000 #constraints=4492
17.09/17.10	c nbDecision=47500 #constraints=4503
17.19/17.24	c nbDecision=48000 #constraints=4511
17.29/17.31	c nbDecision=48500 #constraints=4512
17.69/17.71	c nbDecision=49000 #constraints=4577
17.99/18.08	c nbDecision=49500 #constraints=4615
18.09/18.17	c nbDecision=50000 #constraints=4619
18.18/18.26	c nbDecision=50500 #constraints=4623
18.28/18.33	c nbDecision=51000 #constraints=4624
18.28/18.36	c restart after 51201 decisions
18.48/18.51	c nbDecision=51500 #constraints=4625
18.59/18.61	c nbDecision=52000 #constraints=4625
18.59/18.69	c nbDecision=52500 #constraints=4625
18.69/18.77	c nbDecision=53000 #constraints=4625
18.78/18.83	c nbDecision=53500 #constraints=4625
18.78/18.89	c nbDecision=54000 #constraints=4625
18.88/18.97	c nbDecision=54500 #constraints=4628
19.69/19.78	c nbDecision=55000 #constraints=4866
19.99/20.01	c nbDecision=55500 #constraints=4898
20.19/20.28	c nbDecision=56000 #constraints=4924
20.39/20.44	c nbDecision=56500 #constraints=4932
20.49/20.56	c nbDecision=57000 #constraints=4934
20.69/20.71	c nbDecision=57500 #constraints=4939
22.09/22.10	c nbDecision=58000 #constraints=5116
22.39/22.50	c nbDecision=58500 #constraints=5145
22.69/22.78	c nbDecision=59000 #constraints=5166
22.99/23.01	c nbDecision=59500 #constraints=5181
23.09/23.10	c nbDecision=60000 #constraints=5184
23.09/23.18	c nbDecision=60500 #constraints=5186
24.88/24.94	c nbDecision=61000 #constraints=5412
25.38/25.40	c nbDecision=61500 #constraints=5446
25.78/25.84	c nbDecision=62000 #constraints=5478
25.88/25.96	c nbDecision=62500 #constraints=5483
26.08/26.11	c nbDecision=63000 #constraints=5490
26.58/26.69	c nbDecision=63500 #constraints=5558
26.78/26.88	c nbDecision=64000 #constraints=5569
26.88/26.95	c nbDecision=64500 #constraints=5570
27.08/27.10	c nbDecision=65000 #constraints=5578
28.98/29.00	c nbDecision=65500 #constraints=5784
29.49/29.57	c nbDecision=66000 #constraints=5819
30.09/30.12	c nbDecision=66500 #constraints=5856
30.19/30.27	c nbDecision=67000 #constraints=5864
30.39/30.40	c nbDecision=67500 #constraints=5870
30.39/30.49	c nbDecision=68000 #constraints=5872
30.98/31.06	c nbDecision=68500 #constraints=5927
31.18/31.23	c nbDecision=69000 #constraints=5934
31.28/31.36	c nbDecision=69500 #constraints=5939
31.38/31.46	c nbDecision=70000 #constraints=5941
31.98/32.03	c nbDecision=70500 #constraints=5995
32.28/32.40	c nbDecision=71000 #constraints=6021
32.38/32.47	c nbDecision=71500 #constraints=6022
32.58/32.65	c nbDecision=72000 #constraints=6034
32.68/32.73	c nbDecision=72500 #constraints=6036
33.08/33.15	c nbDecision=73000 #constraints=6074
33.18/33.22	c nbDecision=73500 #constraints=6075
33.28/33.34	c nbDecision=74000 #constraints=6078
34.98/35.01	c nbDecision=74500 #constraints=6211
35.58/35.62	c nbDecision=75000 #constraints=6241
35.78/35.81	c nbDecision=75500 #constraints=6249
35.88/35.96	c nbDecision=76000 #constraints=6255
35.98/36.07	c nbDecision=76500 #constraints=6258
37.18/37.26	c nbDecision=77000 #constraints=6334
37.68/37.79	c nbDecision=77500 #constraints=6358
37.88/37.95	c nbDecision=78000 #constraints=6365
37.98/38.09	c nbDecision=78500 #constraints=6369
38.08/38.18	c nbDecision=79000 #constraints=6371
39.08/39.19	c nbDecision=79500 #constraints=6431
39.38/39.42	c nbDecision=80000 #constraints=6440
39.48/39.60	c nbDecision=80500 #constraints=6447
39.58/39.68	c nbDecision=81000 #constraints=6449
41.07/41.16	c nbDecision=81500 #constraints=6593
42.78/42.86	c nbDecision=82000 #constraints=6696
43.28/43.33	c nbDecision=82500 #constraints=6721
43.68/43.77	c nbDecision=83000 #constraints=6747
43.78/43.89	c nbDecision=83500 #constraints=6752
43.99/44.05	c nbDecision=84000 #constraints=6759
44.48/44.51	c nbDecision=84500 #constraints=6787
47.57/47.60	c nbDecision=85000 #constraints=7058
48.38/48.47	c nbDecision=85500 #constraints=7099
49.17/49.24	c nbDecision=86000 #constraints=7137
49.38/49.41	c nbDecision=86500 #constraints=7143
49.57/49.60	c nbDecision=87000 #constraints=7149
50.07/50.16	c nbDecision=87500 #constraints=7181
51.77/51.82	c nbDecision=88000 #constraints=7261
52.07/52.15	c nbDecision=88500 #constraints=7274
52.37/52.46	c nbDecision=89000 #constraints=7287
52.47/52.58	c nbDecision=89500 #constraints=7291
52.87/52.97	c nbDecision=90000 #constraints=7317
53.17/53.28	c nbDecision=90500 #constraints=7329
53.38/53.43	c nbDecision=91000 #constraints=7333
53.48/53.52	c nbDecision=91500 #constraints=7335
53.88/53.94	c nbDecision=92000 #constraints=7368
54.28/54.39	c nbDecision=92500 #constraints=7394
54.38/54.48	c nbDecision=93000 #constraints=7396
54.48/54.55	c nbDecision=93500 #constraints=7397
55.08/55.16	c nbDecision=94000 #constraints=7428
56.57/56.60	c nbDecision=94500 #constraints=7511
56.77/56.85	c nbDecision=95000 #constraints=7520
57.08/57.12	c nbDecision=95500 #constraints=7531
57.18/57.26	c nbDecision=96000 #constraints=7538
58.87/58.98	c nbDecision=96500 #constraints=7657
60.88/60.93	c nbDecision=97000 #constraints=7748
61.38/61.49	c nbDecision=97500 #constraints=7773
61.88/61.94	c nbDecision=98000 #constraints=7793
61.98/62.07	c nbDecision=98500 #constraints=7797
62.08/62.19	c nbDecision=99000 #constraints=7800
64.37/64.49	c nbDecision=99500 #constraints=7968
64.97/65.01	c nbDecision=100000 #constraints=7985
65.37/65.42	c nbDecision=100500 #constraints=8001
65.47/65.54	c nbDecision=101000 #constraints=8004
65.57/65.67	c nbDecision=101500 #constraints=8008
65.67/65.78	c nbDecision=102000 #constraints=8010
68.67/68.72	c restart after 102401 decisions
68.77/68.89	c nbDecision=102500 #constraints=8178
68.97/69.06	c nbDecision=103000 #constraints=8178
69.07/69.15	c nbDecision=103500 #constraints=8178
69.18/69.26	c nbDecision=104000 #constraints=8178
69.28/69.33	c nbDecision=104500 #constraints=8178
69.28/69.39	c nbDecision=105000 #constraints=8179
69.37/69.46	c nbDecision=105500 #constraints=8184
70.37/70.49	c nbDecision=106000 #constraints=8255
70.67/70.71	c nbDecision=106500 #constraints=8261
70.97/71.05	c nbDecision=107000 #constraints=8275
74.47/74.57	c nbDecision=107500 #constraints=8524
75.47/75.51	c nbDecision=108000 #constraints=8554
76.07/76.12	c nbDecision=108500 #constraints=8575
76.47/76.51	c nbDecision=109000 #constraints=8587
76.57/76.62	c nbDecision=109500 #constraints=8589
77.46/77.57	c nbDecision=110000 #constraints=8644
77.56/77.68	c nbDecision=110500 #constraints=8645
77.86/77.90	c nbDecision=111000 #constraints=8650
79.66/79.76	c nbDecision=111500 #constraints=8735
80.36/80.49	c nbDecision=112000 #constraints=8756
80.66/80.72	c nbDecision=112500 #constraints=8762
80.86/80.92	c nbDecision=113000 #constraints=8767
80.96/81.08	c nbDecision=113500 #constraints=8771
82.57/82.63	c nbDecision=114000 #constraints=8851
82.77/82.86	c nbDecision=114500 #constraints=8856
82.87/82.93	c nbDecision=115000 #constraints=8857
82.97/83.05	c nbDecision=115500 #constraints=8859
83.07/83.17	c nbDecision=116000 #constraints=8861
86.17/86.22	c nbDecision=116500 #constraints=9027
87.27/87.34	c nbDecision=117000 #constraints=9057
87.57/87.65	c nbDecision=117500 #constraints=9066
87.77/87.88	c nbDecision=118000 #constraints=9072
87.97/88.05	c nbDecision=118500 #constraints=9075
91.37/91.49	c nbDecision=119000 #constraints=9230
92.56/92.61	c nbDecision=119500 #constraints=9266
92.86/92.93	c nbDecision=120000 #constraints=9275
93.06/93.16	c nbDecision=120500 #constraints=9281
93.16/93.27	c nbDecision=121000 #constraints=9283
95.86/95.91	c nbDecision=121500 #constraints=9408
96.16/96.20	c nbDecision=122000 #constraints=9412
96.46/96.58	c nbDecision=122500 #constraints=9421
96.67/96.77	c nbDecision=123000 #constraints=9424
100.46/100.57	c nbDecision=123500 #constraints=9603
102.16/102.27	c nbDecision=124000 #constraints=9653
102.56/102.61	c nbDecision=124500 #constraints=9662
102.76/102.88	c nbDecision=125000 #constraints=9669
102.86/102.97	c nbDecision=125500 #constraints=9670
103.16/103.26	c nbDecision=126000 #constraints=9681
106.77/106.88	c nbDecision=126500 #constraints=9885
107.96/108.07	c nbDecision=127000 #constraints=9915
108.36/108.42	c nbDecision=127500 #constraints=9928
108.56/108.69	c nbDecision=128000 #constraints=9935
112.66/112.70	c nbDecision=128500 #constraints=10119
113.56/113.61	c nbDecision=129000 #constraints=10144
114.26/114.38	c nbDecision=129500 #constraints=10163
114.46/114.58	c nbDecision=130000 #constraints=10168
114.86/114.92	c nbDecision=130500 #constraints=10180
118.66/118.75	c nbDecision=131000 #constraints=10359
119.35/119.49	c nbDecision=131500 #constraints=10380
119.95/120.00	c nbDecision=132000 #constraints=10394
120.05/120.12	c nbDecision=132500 #constraints=10396
120.25/120.40	c nbDecision=133000 #constraints=10404
123.86/123.92	c nbDecision=133500 #constraints=10540
124.75/124.83	c nbDecision=134000 #constraints=10558
125.56/125.63	c nbDecision=134500 #constraints=10576
125.66/125.78	c nbDecision=135000 #constraints=10578
127.76/127.83	c nbDecision=135500 #constraints=10679
131.56/131.62	c nbDecision=136000 #constraints=10786
132.26/132.33	c nbDecision=136500 #constraints=10802
132.76/132.84	c nbDecision=137000 #constraints=10813
132.86/132.97	c nbDecision=137500 #constraints=10815
133.06/133.15	c nbDecision=138000 #constraints=10818
136.85/136.98	c nbDecision=138500 #constraints=10986
137.85/137.90	c nbDecision=139000 #constraints=11010
138.85/138.93	c nbDecision=139500 #constraints=11043
139.05/139.17	c nbDecision=140000 #constraints=11050
139.35/139.48	c nbDecision=140500 #constraints=11058
144.25/144.36	c nbDecision=141000 #constraints=11275
146.85/146.94	c nbDecision=141500 #constraints=11349
147.65/147.75	c nbDecision=142000 #constraints=11367
148.36/148.42	c nbDecision=142500 #constraints=11383
148.46/148.58	c nbDecision=143000 #constraints=11386
148.65/148.78	c nbDecision=143500 #constraints=11390
153.55/153.63	c nbDecision=144000 #constraints=11577
155.25/155.36	c nbDecision=144500 #constraints=11621
156.95/157.00	c nbDecision=145000 #constraints=11668
157.15/157.28	c nbDecision=145500 #constraints=11675
157.55/157.61	c nbDecision=146000 #constraints=11686
157.65/157.70	c nbDecision=146500 #constraints=11687
158.05/158.14	c nbDecision=147000 #constraints=11708
162.84/162.98	c nbDecision=147500 #constraints=11884
165.04/165.12	c nbDecision=148000 #constraints=11932
165.44/165.52	c nbDecision=148500 #constraints=11941
165.84/165.93	c nbDecision=149000 #constraints=11952
166.05/166.12	c nbDecision=149500 #constraints=11955
171.64/171.79	c nbDecision=150000 #constraints=12186
174.34/174.50	c nbDecision=150500 #constraints=12254
175.04/175.12	c nbDecision=151000 #constraints=12271
175.44/175.59	c nbDecision=151500 #constraints=12283
175.64/175.76	c nbDecision=152000 #constraints=12288
176.14/176.26	c nbDecision=152500 #constraints=12301
181.55/181.63	c nbDecision=153000 #constraints=12480
183.85/183.95	c nbDecision=153500 #constraints=12527
184.44/184.55	c nbDecision=154000 #constraints=12540
184.84/184.98	c nbDecision=154500 #constraints=12551
185.04/185.16	c nbDecision=155000 #constraints=12555
190.34/190.49	c nbDecision=155500 #constraints=12732
192.74/192.88	c nbDecision=156000 #constraints=12778
193.34/193.45	c nbDecision=156500 #constraints=12791
193.84/193.97	c nbDecision=157000 #constraints=12800
198.74/198.84	c nbDecision=157500 #constraints=12939
200.23/200.31	c nbDecision=158000 #constraints=12969
201.24/201.37	c nbDecision=158500 #constraints=12992
201.53/201.65	c nbDecision=159000 #constraints=12998
201.73/201.88	c nbDecision=159500 #constraints=13001
207.53/207.60	c nbDecision=160000 #constraints=13166
209.53/209.64	c nbDecision=160500 #constraints=13212
210.94/211.00	c nbDecision=161000 #constraints=13238
211.14/211.25	c nbDecision=161500 #constraints=13242
211.44/211.52	c nbDecision=162000 #constraints=13248
211.54/211.68	c nbDecision=162500 #constraints=13250
216.54/216.62	c nbDecision=163000 #constraints=13407
218.53/218.66	c nbDecision=163500 #constraints=13444
219.03/219.17	c nbDecision=164000 #constraints=13454
219.53/219.62	c nbDecision=164500 #constraints=13462
225.63/225.79	c nbDecision=165000 #constraints=13646
227.32/227.46	c nbDecision=165500 #constraints=13674
228.52/228.65	c nbDecision=166000 #constraints=13694
228.82/228.97	c nbDecision=166500 #constraints=13700
229.02/229.19	c nbDecision=167000 #constraints=13703
229.32/229.40	c nbDecision=167500 #constraints=13707
235.13/235.24	c nbDecision=168000 #constraints=13878
237.03/237.11	c nbDecision=168500 #constraints=13913
238.53/238.62	c nbDecision=169000 #constraints=13943
238.83/238.96	c nbDecision=169500 #constraints=13949
239.13/239.25	c nbDecision=170000 #constraints=13953
246.12/246.30	c nbDecision=170500 #constraints=14176
248.12/248.20	c nbDecision=171000 #constraints=14209
249.92/250.06	c nbDecision=171500 #constraints=14247
250.32/250.46	c nbDecision=172000 #constraints=14257
250.72/250.81	c nbDecision=172500 #constraints=14266
250.82/250.98	c nbDecision=173000 #constraints=14269
257.02/257.11	c nbDecision=173500 #constraints=14487
258.42/258.59	c nbDecision=174000 #constraints=14513
259.82/259.95	c nbDecision=174500 #constraints=14541
260.12/260.22	c nbDecision=175000 #constraints=14545
260.32/260.42	c nbDecision=175500 #constraints=14548
260.52/260.64	c nbDecision=176000 #constraints=14553
267.32/267.44	c nbDecision=176500 #constraints=14748
270.11/270.26	c nbDecision=177000 #constraints=14798
270.61/270.74	c nbDecision=177500 #constraints=14805
271.21/271.35	c nbDecision=178000 #constraints=14817
277.51/277.68	c nbDecision=178500 #constraints=14977
279.61/279.76	c nbDecision=179000 #constraints=15011
281.11/281.22	c nbDecision=179500 #constraints=15035
281.51/281.62	c nbDecision=180000 #constraints=15043
281.81/281.99	c nbDecision=180500 #constraints=15048
288.41/288.57	c nbDecision=181000 #constraints=15201
290.21/290.38	c nbDecision=181500 #constraints=15228
291.91/292.06	c nbDecision=182000 #constraints=15257
292.21/292.35	c nbDecision=182500 #constraints=15261
292.61/292.72	c nbDecision=183000 #constraints=15266
300.01/300.13	c nbDecision=183500 #constraints=15470
302.21/302.37	c nbDecision=184000 #constraints=15505
303.61/303.80	c nbDecision=184500 #constraints=15532
304.61/304.77	c nbDecision=185000 #constraints=15550
304.81/304.91	c nbDecision=185500 #constraints=15551
305.01/305.17	c nbDecision=186000 #constraints=15556
313.50/313.63	c nbDecision=186500 #constraints=15810
316.11/316.27	c nbDecision=187000 #constraints=15857
318.61/318.76	c nbDecision=187500 #constraints=15909
319.11/319.24	c nbDecision=188000 #constraints=15919
319.61/319.70	c nbDecision=188500 #constraints=15930
319.71/319.88	c nbDecision=189000 #constraints=15934
327.00/327.13	c nbDecision=189500 #constraints=16116
328.91/329.05	c nbDecision=190000 #constraints=16142
330.70/330.87	c nbDecision=190500 #constraints=16170
331.10/331.21	c nbDecision=191000 #constraints=16175
331.40/331.53	c nbDecision=191500 #constraints=16180
331.60/331.71	c nbDecision=192000 #constraints=16182
339.10/339.22	c nbDecision=192500 #constraints=16384
342.40/342.52	c nbDecision=193000 #constraints=16438
343.20/343.34	c nbDecision=193500 #constraints=16454
343.80/343.91	c nbDecision=194000 #constraints=16465
344.00/344.16	c nbDecision=194500 #constraints=16469
353.50/353.61	c nbDecision=195000 #constraints=16737
356.59/356.76	c nbDecision=195500 #constraints=16796
359.50/359.65	c nbDecision=196000 #constraints=16858
359.89/360.07	c nbDecision=196500 #constraints=16865
360.29/360.45	c nbDecision=197000 #constraints=16872
360.49/360.68	c nbDecision=197500 #constraints=16875
368.89/369.10	c nbDecision=198000 #constraints=17141
371.59/371.80	c nbDecision=198500 #constraints=17189
373.99/374.10	c nbDecision=199000 #constraints=17240
374.29/374.49	c nbDecision=199500 #constraints=17246
374.79/374.96	c nbDecision=200000 #constraints=17261
374.89/375.08	c nbDecision=200500 #constraints=17263
376.58/376.79	c nbDecision=201000 #constraints=17302
383.88/384.04	c nbDecision=201500 #constraints=17416
385.09/385.20	c nbDecision=202000 #constraints=17431
385.99/386.17	c nbDecision=202500 #constraints=17445
386.19/386.36	c nbDecision=203000 #constraints=17447
386.49/386.68	c nbDecision=203500 #constraints=17451
394.49/394.69	c nbDecision=204000 #constraints=17608
396.78/396.94	c nbDecision=204500 #constraints=17636
398.18/398.35	c restart after 204801 decisions
398.58/398.79	c nbDecision=205000 #constraints=17658
398.88/399.03	c nbDecision=205500 #constraints=17658
398.98/399.12	c nbDecision=206000 #constraints=17659
399.19/399.30	c nbDecision=206500 #constraints=17659
399.19/399.36	c nbDecision=207000 #constraints=17659
399.28/399.42	c nbDecision=207500 #constraints=17659
399.48/399.60	c nbDecision=208000 #constraints=17662
406.89/407.05	c nbDecision=208500 #constraints=17821
408.58/408.72	c nbDecision=209000 #constraints=17840
410.68/410.85	c nbDecision=209500 #constraints=17872
411.18/411.32	c nbDecision=210000 #constraints=17879
411.48/411.68	c nbDecision=210500 #constraints=17885
411.78/411.92	c nbDecision=211000 #constraints=17888
420.97/421.13	c nbDecision=211500 #constraints=18121
424.67/424.82	c nbDecision=212000 #constraints=18171
425.77/425.90	c nbDecision=212500 #constraints=18187
426.37/426.56	c nbDecision=213000 #constraints=18197
426.67/426.89	c nbDecision=213500 #constraints=18201
433.48/433.60	c nbDecision=214000 #constraints=18348
436.28/436.46	c nbDecision=214500 #constraints=18380
436.78/436.96	c nbDecision=215000 #constraints=18385
437.28/437.46	c nbDecision=215500 #constraints=18392
437.58/437.77	c nbDecision=216000 #constraints=18395
448.17/448.37	c nbDecision=216500 #constraints=18676
451.17/451.39	c nbDecision=217000 #constraints=18719
454.37/454.56	c nbDecision=217500 #constraints=18778
454.97/455.16	c nbDecision=218000 #constraints=18788
455.47/455.63	c nbDecision=218500 #constraints=18796
455.57/455.74	c nbDecision=219000 #constraints=18797
456.77/456.90	c nbDecision=219500 #constraints=18842
462.16/462.38	c nbDecision=220000 #constraints=18926
462.87/463.04	c nbDecision=220500 #constraints=18932
463.36/463.59	c nbDecision=221000 #constraints=18938
463.76/463.93	c nbDecision=221500 #constraints=18941
475.27/475.49	c nbDecision=222000 #constraints=19237
478.86/479.00	c nbDecision=222500 #constraints=19288
482.16/482.38	c nbDecision=223000 #constraints=19347
482.86/483.02	c nbDecision=223500 #constraints=19358
483.36/483.55	c nbDecision=224000 #constraints=19367
483.66/483.81	c nbDecision=224500 #constraints=19370
495.06/495.27	c nbDecision=225000 #constraints=19662
498.36/498.57	c nbDecision=225500 #constraints=19707
500.85/501.07	c nbDecision=226000 #constraints=19742
501.36/501.52	c nbDecision=226500 #constraints=19748
501.75/501.94	c nbDecision=227000 #constraints=19755
502.05/502.24	c nbDecision=227500 #constraints=19757
512.05/512.26	c nbDecision=228000 #constraints=19962
517.15/517.39	c nbDecision=228500 #constraints=20029
518.25/518.48	c nbDecision=229000 #constraints=20045
519.05/519.29	c nbDecision=229500 #constraints=20057
519.45/519.62	c nbDecision=230000 #constraints=20060
529.15/529.33	c nbDecision=230500 #constraints=20241
531.65/531.90	c nbDecision=231000 #constraints=20268
534.14/534.32	c nbDecision=231500 #constraints=20299
534.54/534.77	c nbDecision=232000 #constraints=20304
535.14/535.37	c nbDecision=232500 #constraints=20311
548.05/548.23	c nbDecision=233000 #constraints=20593
551.95/552.13	c nbDecision=233500 #constraints=20648
554.04/554.20	c nbDecision=234000 #constraints=20678
555.94/556.15	c nbDecision=234500 #constraints=20710
556.34/556.51	c nbDecision=235000 #constraints=20715
556.74/556.97	c nbDecision=235500 #constraints=20722
568.73/568.95	c nbDecision=236000 #constraints=20976
572.43/572.63	c nbDecision=236500 #constraints=21021
575.63/575.81	c nbDecision=237000 #constraints=21069
576.53/576.75	c nbDecision=237500 #constraints=21083
577.13/577.35	c nbDecision=238000 #constraints=21093
577.24/577.48	c nbDecision=238500 #constraints=21095
578.03/578.28	c nbDecision=239000 #constraints=21114
588.23/588.48	c nbDecision=239500 #constraints=21294
589.73/589.91	c nbDecision=240000 #constraints=21309
590.43/590.64	c nbDecision=240500 #constraints=21316
591.03/591.21	c nbDecision=241000 #constraints=21323
591.63/591.81	c nbDecision=241500 #constraints=21332
602.43/602.69	c nbDecision=242000 #constraints=21516
605.63/605.89	c nbDecision=242500 #constraints=21552
606.63/606.83	c nbDecision=243000 #constraints=21562
607.43/607.64	c nbDecision=243500 #constraints=21573
607.53/607.79	c nbDecision=244000 #constraints=21574
614.63/614.89	c nbDecision=244500 #constraints=21740
623.32/623.59	c nbDecision=245000 #constraints=21858
625.42/625.63	c nbDecision=245500 #constraints=21882
627.12/627.33	c nbDecision=246000 #constraints=21904
627.32/627.50	c nbDecision=246500 #constraints=21905
629.92/630.10	c nbDecision=247000 #constraints=21964
640.51/640.76	c nbDecision=247500 #constraints=22121
642.12/642.36	c nbDecision=248000 #constraints=22139
643.71/643.92	c nbDecision=248500 #constraints=22160
644.11/644.38	c nbDecision=249000 #constraints=22168
644.42/644.63	c nbDecision=249500 #constraints=22171
644.61/644.83	c nbDecision=250000 #constraints=22173
655.42/655.67	c nbDecision=250500 #constraints=22393
658.62/658.89	c nbDecision=251000 #constraints=22430
661.11/661.31	c nbDecision=251500 #constraints=22459
661.51/661.76	c nbDecision=252000 #constraints=22466
661.92/662.15	c nbDecision=252500 #constraints=22471
662.21/662.46	c nbDecision=253000 #constraints=22473
671.61/671.86	c nbDecision=253500 #constraints=22607
675.50/675.73	c nbDecision=254000 #constraints=22644
676.31/676.53	c nbDecision=254500 #constraints=22652
676.90/677.17	c nbDecision=255000 #constraints=22658
677.31/677.51	c nbDecision=255500 #constraints=22660
689.20/689.50	c nbDecision=256000 #constraints=22836
690.90/691.14	c nbDecision=256500 #constraints=22851
691.70/691.99	c nbDecision=257000 #constraints=22858
692.00/692.23	c nbDecision=257500 #constraints=22860
693.20/693.43	c nbDecision=258000 #constraints=22879
705.40/705.64	c nbDecision=258500 #constraints=23059
707.70/707.97	c nbDecision=259000 #constraints=23082
708.70/708.96	c nbDecision=259500 #constraints=23092
709.50/709.76	c nbDecision=260000 #constraints=23101
709.90/710.13	c nbDecision=260500 #constraints=23103
721.19/721.46	c nbDecision=261000 #constraints=23294
726.79/727.02	c nbDecision=261500 #constraints=23352
727.89/728.20	c nbDecision=262000 #constraints=23366
728.69/728.97	c nbDecision=262500 #constraints=23374
728.89/729.19	c nbDecision=263000 #constraints=23377
729.29/729.52	c nbDecision=263500 #constraints=23380
738.29/738.51	c nbDecision=264000 #constraints=23545
740.00/740.20	c nbDecision=264500 #constraints=23565
741.39/741.67	c nbDecision=265000 #constraints=23584
741.69/741.95	c nbDecision=265500 #constraints=23587
747.69/747.91	c nbDecision=266000 #constraints=23686
748.29/748.52	c nbDecision=266500 #constraints=23692
749.09/749.31	c nbDecision=267000 #constraints=23699
749.29/749.56	c nbDecision=267500 #constraints=23701
752.09/752.37	c nbDecision=268000 #constraints=23777
763.88/764.12	c nbDecision=268500 #constraints=23948
765.78/766.02	c nbDecision=269000 #constraints=23969
766.78/767.08	c nbDecision=269500 #constraints=23982
767.68/767.96	c nbDecision=270000 #constraints=23993
768.18/768.49	c nbDecision=270500 #constraints=23997
773.18/773.48	c nbDecision=271000 #constraints=24065
773.88/774.15	c nbDecision=271500 #constraints=24071
774.48/774.77	c nbDecision=272000 #constraints=24076
774.68/774.96	c nbDecision=272500 #constraints=24077
775.08/775.31	c nbDecision=273000 #constraints=24081
787.78/788.02	c nbDecision=273500 #constraints=24331
791.18/791.41	c nbDecision=274000 #constraints=24367
793.98/794.24	c nbDecision=274500 #constraints=24402
794.78/795.02	c nbDecision=275000 #constraints=24415
795.48/795.73	c nbDecision=275500 #constraints=24428
795.58/795.86	c nbDecision=276000 #constraints=24429
798.18/798.42	c nbDecision=276500 #constraints=24472
807.37/807.67	c nbDecision=277000 #constraints=24585
808.77/809.05	c nbDecision=277500 #constraints=24599
809.87/810.14	c nbDecision=278000 #constraints=24611
810.27/810.51	c nbDecision=278500 #constraints=24616
813.67/813.92	c nbDecision=279000 #constraints=24696
825.57/825.88	c nbDecision=279500 #constraints=24865
827.27/827.59	c nbDecision=280000 #constraints=24882
828.57/828.88	c nbDecision=280500 #constraints=24895
828.87/829.13	c nbDecision=281000 #constraints=24897
830.56/830.82	c nbDecision=281500 #constraints=24919
843.67/843.91	c nbDecision=282000 #constraints=25093
845.57/845.84	c nbDecision=282500 #constraints=25112
846.47/846.77	c nbDecision=283000 #constraints=25121
847.27/847.58	c nbDecision=283500 #constraints=25130
847.57/847.84	c nbDecision=284000 #constraints=25133
847.87/848.13	c nbDecision=284500 #constraints=25137
860.76/861.02	c nbDecision=285000 #constraints=25325
864.76/865.06	c nbDecision=285500 #constraints=25364
868.16/868.47	c nbDecision=286000 #constraints=25400
869.05/869.37	c nbDecision=286500 #constraints=25412
869.76/870.01	c nbDecision=287000 #constraints=25420
869.86/870.15	c nbDecision=287500 #constraints=25421
877.65/877.99	c nbDecision=288000 #constraints=25570
888.35/888.64	c nbDecision=288500 #constraints=25690
890.66/890.95	c nbDecision=289000 #constraints=25714
892.65/892.97	c nbDecision=289500 #constraints=25736
893.05/893.35	c nbDecision=290000 #constraints=25740
893.55/893.82	c nbDecision=290500 #constraints=25744
901.55/901.90	c nbDecision=291000 #constraints=25849
904.54/904.86	c nbDecision=291500 #constraints=25874
906.94/907.27	c nbDecision=292000 #constraints=25897
907.34/907.69	c nbDecision=292500 #constraints=25901
908.04/908.39	c nbDecision=293000 #constraints=25908
923.24/923.53	c nbDecision=293500 #constraints=26192
929.34/929.69	c nbDecision=294000 #constraints=26263
932.44/932.79	c nbDecision=294500 #constraints=26302
934.94/935.21	c nbDecision=295000 #constraints=26338
935.24/935.56	c nbDecision=295500 #constraints=26341
935.74/936.06	c nbDecision=296000 #constraints=26345
944.44/944.76	c nbDecision=296500 #constraints=26457
946.74/947.08	c nbDecision=297000 #constraints=26475
949.04/949.31	c nbDecision=297500 #constraints=26495
949.43/949.73	c nbDecision=298000 #constraints=26498
950.14/950.41	c nbDecision=298500 #constraints=26504
966.13/966.49	c nbDecision=299000 #constraints=26818
974.13/974.40	c nbDecision=299500 #constraints=26918
977.13/977.47	c nbDecision=300000 #constraints=26961
980.03/980.36	c nbDecision=300500 #constraints=27007
980.52/980.83	c nbDecision=301000 #constraints=27013
982.52/982.82	c nbDecision=301500 #constraints=27036
993.92/994.27	c nbDecision=302000 #constraints=27166
995.52/995.84	c nbDecision=302500 #constraints=27180
996.72/997.09	c nbDecision=303000 #constraints=27192
997.02/997.35	c nbDecision=303500 #constraints=27194
997.62/997.90	c nbDecision=304000 #constraints=27200
1008.52/1008.85	c nbDecision=304500 #constraints=27308
1011.72/1012.03	c nbDecision=305000 #constraints=27331
1014.81/1015.18	c nbDecision=305500 #constraints=27359
1015.61/1015.97	c nbDecision=306000 #constraints=27367
1016.02/1016.38	c nbDecision=306500 #constraints=27370
1016.41/1016.77	c nbDecision=307000 #constraints=27373
1029.72/1030.05	c nbDecision=307500 #constraints=27534
1036.01/1036.33	c nbDecision=308000 #constraints=27587
1037.31/1037.66	c nbDecision=308500 #constraints=27601
1038.41/1038.76	c nbDecision=309000 #constraints=27614
1038.71/1039.06	c nbDecision=309500 #constraints=27618
1048.90/1049.24	c nbDecision=310000 #constraints=27740
1056.20/1056.51	c nbDecision=310500 #constraints=27808
1058.00/1058.37	c nbDecision=311000 #constraints=27822
1059.70/1060.03	c nbDecision=311500 #constraints=27837
1060.00/1060.40	c nbDecision=312000 #constraints=27840
1069.60/1069.92	c nbDecision=312500 #constraints=27965
1076.20/1076.51	c nbDecision=313000 #constraints=28021
1078.20/1078.53	c nbDecision=313500 #constraints=28038
1079.90/1080.28	c nbDecision=314000 #constraints=28057
1080.30/1080.61	c nbDecision=314500 #constraints=28060
1080.70/1081.08	c nbDecision=315000 #constraints=28063
1083.70/1084.05	c nbDecision=315500 #constraints=28112
1096.09/1096.40	c nbDecision=316000 #constraints=28264
1101.49/1101.80	c nbDecision=316500 #constraints=28312
1102.29/1102.67	c nbDecision=317000 #constraints=28319
1103.09/1103.44	c nbDecision=317500 #constraints=28325
1103.49/1103.85	c nbDecision=318000 #constraints=28327
1116.78/1117.13	c nbDecision=318500 #constraints=28504
1122.58/1122.99	c nbDecision=319000 #constraints=28553
1123.58/1123.99	c nbDecision=319500 #constraints=28561
1124.48/1124.89	c nbDecision=320000 #constraints=28569
1124.78/1125.18	c nbDecision=320500 #constraints=28571
1142.17/1142.59	c nbDecision=321000 #constraints=28857
1147.97/1148.31	c nbDecision=321500 #constraints=28910
1152.78/1153.10	c nbDecision=322000 #constraints=28960
1153.78/1154.16	c nbDecision=322500 #constraints=28972
1154.48/1154.83	c nbDecision=323000 #constraints=28979
1154.88/1155.22	c nbDecision=323500 #constraints=28981
1160.57/1160.93	c nbDecision=324000 #constraints=29059
1174.27/1174.63	c nbDecision=324500 #constraints=29204
1176.77/1177.11	c nbDecision=325000 #constraints=29226
1178.96/1179.37	c nbDecision=325500 #constraints=29251
1179.46/1179.85	c nbDecision=326000 #constraints=29257
1181.96/1182.32	c nbDecision=326500 #constraints=29282
1189.37/1189.71	c nbDecision=327000 #constraints=29368
1190.57/1190.99	c nbDecision=327500 #constraints=29380
1191.67/1192.08	c nbDecision=328000 #constraints=29393
1191.97/1192.34	c nbDecision=328500 #constraints=29396
1199.66/1200.09	c nbDecision=329000 #constraints=29513
1215.06/1215.46	c nbDecision=329500 #constraints=29679
1217.75/1218.20	c nbDecision=330000 #constraints=29704
1219.75/1220.11	c nbDecision=330500 #constraints=29725
1221.05/1221.46	c nbDecision=331000 #constraints=29741
1221.35/1221.72	c nbDecision=331500 #constraints=29743
1235.06/1235.48	c nbDecision=332000 #constraints=29914
1241.15/1241.53	c nbDecision=332500 #constraints=29972
1243.85/1244.21	c nbDecision=333000 #constraints=30001
1245.65/1246.01	c nbDecision=333500 #constraints=30015
1246.05/1246.40	c nbDecision=334000 #constraints=30018
1247.55/1248.00	c nbDecision=334500 #constraints=30031
1264.00/1264.47	c nbDecision=335000 #constraints=30255
1271.08/1271.57	c nbDecision=335500 #constraints=30335
1274.38/1274.84	c nbDecision=336000 #constraints=30371
1277.26/1277.79	c nbDecision=336500 #constraints=30411
1277.86/1278.40	c nbDecision=337000 #constraints=30419
1278.46/1278.96	c nbDecision=337500 #constraints=30423
1289.95/1290.40	c nbDecision=338000 #constraints=30547
1293.34/1293.83	c nbDecision=338500 #constraints=30574
1295.94/1296.43	c nbDecision=339000 #constraints=30593
1296.34/1296.82	c nbDecision=339500 #constraints=30595
1306.82/1307.39	c nbDecision=340000 #constraints=30759
1320.03/1320.50	c nbDecision=340500 #constraints=30937
1327.92/1328.48	c nbDecision=341000 #constraints=31033
1330.02/1330.58	c nbDecision=341500 #constraints=31056
1331.72/1332.29	c nbDecision=342000 #constraints=31078
1332.02/1332.57	c nbDecision=342500 #constraints=31081
1332.62/1333.11	c nbDecision=343000 #constraints=31085
1342.71/1343.29	c nbDecision=343500 #constraints=31192
1346.11/1346.63	c nbDecision=344000 #constraints=31217
1349.22/1349.78	c nbDecision=344500 #constraints=31245
1350.22/1350.78	c nbDecision=345000 #constraints=31253
1366.60/1367.11	c nbDecision=345500 #constraints=31432
1375.51/1376.05	c nbDecision=346000 #constraints=31509
1377.31/1377.87	c nbDecision=346500 #constraints=31526
1378.71/1379.25	c nbDecision=347000 #constraints=31540
1379.01/1379.52	c nbDecision=347500 #constraints=31542
1379.41/1379.96	c nbDecision=348000 #constraints=31545
1391.40/1391.99	c nbDecision=348500 #constraints=31664
1395.60/1396.17	c nbDecision=349000 #constraints=31696
1399.60/1400.18	c nbDecision=349500 #constraints=31731
1400.30/1400.87	c nbDecision=350000 #constraints=31736
1401.20/1401.70	c nbDecision=350500 #constraints=31742
1417.89/1418.40	c nbDecision=351000 #constraints=31933
1423.89/1424.48	c nbDecision=351500 #constraints=31986
1428.99/1429.53	c nbDecision=352000 #constraints=32030
1429.79/1430.35	c nbDecision=352500 #constraints=32037
1431.49/1432.08	c nbDecision=353000 #constraints=32055
1450.48/1451.00	c nbDecision=353500 #constraints=32326
1459.78/1460.36	c nbDecision=354000 #constraints=32408
1462.48/1463.09	c nbDecision=354500 #constraints=32433
1463.58/1464.15	c nbDecision=355000 #constraints=32443
1464.38/1464.94	c nbDecision=355500 #constraints=32451
1464.88/1465.46	c nbDecision=356000 #constraints=32454
1479.27/1479.87	c nbDecision=356500 #constraints=32607
1481.37/1481.94	c nbDecision=357000 #constraints=32623
1482.67/1483.25	c nbDecision=357500 #constraints=32633
1482.97/1483.52	c nbDecision=358000 #constraints=32635
1485.67/1486.28	c nbDecision=358500 #constraints=32674
1501.67/1502.21	c nbDecision=359000 #constraints=32861
1510.87/1511.43	c nbDecision=359500 #constraints=32937
1512.57/1513.12	c nbDecision=360000 #constraints=32952
1514.07/1514.65	c nbDecision=360500 #constraints=32969
1514.37/1514.92	c nbDecision=361000 #constraints=32971
1514.77/1515.40	c nbDecision=361500 #constraints=32975
1530.96/1531.57	c nbDecision=362000 #constraints=33150
1536.46/1537.07	c nbDecision=362500 #constraints=33194
1542.05/1542.62	c nbDecision=363000 #constraints=33250
1542.95/1543.52	c nbDecision=363500 #constraints=33258
1543.65/1544.29	c nbDecision=364000 #constraints=33264
1555.96/1556.54	c nbDecision=364500 #constraints=33474
1568.55/1569.20	c nbDecision=365000 #constraints=33609
1571.85/1572.45	c nbDecision=365500 #constraints=33643
1574.05/1574.62	c nbDecision=366000 #constraints=33667
1574.65/1575.26	c nbDecision=366500 #constraints=33670
1590.85/1591.42	c nbDecision=367000 #constraints=33840
1596.25/1596.81	c nbDecision=367500 #constraints=33879
1600.64/1601.25	c nbDecision=368000 #constraints=33918
1601.44/1602.07	c nbDecision=368500 #constraints=33924
1602.05/1602.70	c nbDecision=369000 #constraints=33927
1619.43/1620.02	c nbDecision=369500 #constraints=34130
1625.33/1625.91	c nbDecision=370000 #constraints=34178
1630.34/1630.97	c nbDecision=370500 #constraints=34221
1631.44/1632.03	c nbDecision=371000 #constraints=34231
1632.44/1633.04	c nbDecision=371500 #constraints=34239
1648.34/1648.92	c nbDecision=372000 #constraints=34393
1654.33/1654.91	c nbDecision=372500 #constraints=34441
1658.43/1659.05	c nbDecision=373000 #constraints=34474
1659.13/1659.80	c nbDecision=373500 #constraints=34480
1660.13/1660.74	c nbDecision=374000 #constraints=34489
1675.32/1675.99	c nbDecision=374500 #constraints=34701
1690.02/1690.69	c nbDecision=375000 #constraints=34866
1695.11/1695.77	c nbDecision=375500 #constraints=34927
1697.52/1698.17	c nbDecision=376000 #constraints=34951
1699.22/1699.88	c nbDecision=376500 #constraints=34969
1699.52/1700.14	c nbDecision=377000 #constraints=34971
1700.12/1700.76	c nbDecision=377500 #constraints=34977
1706.72/1707.34	c nbDecision=378000 #constraints=35041
1709.52/1710.12	c nbDecision=378500 #constraints=35056
1710.12/1710.79	c nbDecision=379000 #constraints=35061
1710.72/1711.31	c nbDecision=379500 #constraints=35064
1711.02/1711.66	c nbDecision=380000 #constraints=35069
1719.61/1720.27	c nbDecision=380500 #constraints=35168
1736.01/1736.67	c nbDecision=381000 #constraints=35331
1739.11/1739.76	c nbDecision=381500 #constraints=35357
1741.10/1741.79	c nbDecision=382000 #constraints=35373
1741.50/1742.17	c nbDecision=382500 #constraints=35375
1742.20/1742.84	c nbDecision=383000 #constraints=35380
1755.30/1755.93	c nbDecision=383500 #constraints=35490
1760.19/1760.83	c nbDecision=384000 #constraints=35522
1764.29/1764.91	c nbDecision=384500 #constraints=35550
1764.99/1765.63	c nbDecision=385000 #constraints=35556
1768.10/1768.74	c nbDecision=385500 #constraints=35614
1784.19/1784.89	c nbDecision=386000 #constraints=35792
1788.69/1789.34	c nbDecision=386500 #constraints=35836
1789.59/1790.24	c nbDecision=387000 #constraints=35844
1790.79/1791.41	c nbDecision=387500 #constraints=35856
1791.39/1792.00	c nbDecision=388000 #constraints=35860
1800.10/1800.71	Received signal 15
1800.19/1800.81	
1800.19/1800.81	s UNKNOWN
1800.19/1800.81	
1800.19/1800.81	c user time= 1799.66 s
1800.19/1800.81	c system time= 0.553915 s
1800.19/1800.81	c wall clock time=1800.82

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/node35/watcher-357412-1176997209 -o ROOT/results/node35/solver-357412-1176997209 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.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.96 3/77 21647
/proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=1468 CPUtime=0
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147636352 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 367 160 127 317 0 46 0

[startup+0.0785171 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 21647
/proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=2304 CPUtime=0.07
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 407 0 0 0 7 0 0 0 18 0 1 0 147636352 2359296 356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 576 356 131 317 0 255 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2304

[startup+0.101519 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 21647
/proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=2572 CPUtime=0.09
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 147636352 2633728 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 643 418 131 317 0 322 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2572

[startup+0.301542 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 21647
/proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=6416 CPUtime=0.29
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1440 0 0 0 29 0 0 0 19 0 1 0 147636352 6569984 1389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 1604 1389 137 317 0 1283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6416

[startup+0.701589 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 21647
/proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=6812 CPUtime=0.69
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1521 0 0 0 69 0 0 0 23 0 1 0 147636352 6975488 1470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 1703 1470 138 317 0 1382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6812

[startup+1.50168 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1737328/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=6948 CPUtime=1.49
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1543 0 0 0 149 0 0 0 25 0 1 0 147636352 7114752 1492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 1737 1492 139 317 0 1416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6948

[startup+3.10187 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1736624/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=8936 CPUtime=3.09
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 2098 0 0 0 309 0 0 0 25 0 1 0 147636352 9150464 2047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 2234 2047 170 317 0 1913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8936

[startup+6.30124 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1731760/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=12740 CPUtime=6.29
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 3045 0 0 0 628 1 0 0 25 0 1 0 147636352 13045760 2994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546727 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 3185 2994 170 317 0 2864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12740

[startup+12.703 s]
/proc/loadavg: 0.94 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1726192/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=18160 CPUtime=12.69
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 4392 0 0 0 1267 2 0 0 25 0 1 0 147636352 18595840 4341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713767 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 4540 4341 170 317 0 4219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18160

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1717744/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=26640 CPUtime=25.48
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 6419 0 0 0 2544 4 0 0 25 0 1 0 147636352 27279360 6368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 6660 6368 170 317 0 6339 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26640

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1707568/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=37664 CPUtime=51.07
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 8942 0 0 0 5101 6 0 0 25 0 1 0 147636352 38567936 8841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 9416 8841 170 317 0 9095 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37664

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1696112/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=48376 CPUtime=102.26
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 11851 0 0 0 10217 9 0 0 25 0 1 0 147636352 49537024 11750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 12094 11750 170 317 0 11773 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48376

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1682864/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=64428 CPUtime=162.24
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 15157 0 0 0 16212 12 0 0 25 0 1 0 147636352 65974272 15056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 16107 15056 170 317 0 15786 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64428

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1674736/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=71744 CPUtime=222.23
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 17162 0 0 0 22208 15 0 0 25 0 1 0 147636352 73465856 17061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 17936 17061 170 317 0 17615 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71744

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1667568/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=78600 CPUtime=282.21
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 19050 0 0 0 28204 17 0 0 25 0 1 0 147636352 80486400 18850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 19650 18850 170 317 0 19329 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78600

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1660912/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=84816 CPUtime=342.2
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 20701 0 0 0 34201 19 0 0 25 0 1 0 147636352 86851584 20501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 21204 20501 170 317 0 20883 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 84816

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1654896/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=90620 CPUtime=402.18
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 22279 0 0 0 40197 21 0 0 25 0 1 0 147636352 92794880 22079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 22655 22079 170 317 0 22334 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 90620

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1646960/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=106468 CPUtime=462.16
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 25699 0 0 0 46192 24 0 0 25 0 1 0 147636352 109023232 23981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 26617 23981 170 317 0 26296 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 106468

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1641648/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=111844 CPUtime=522.15
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 27119 0 0 0 52188 27 0 0 25 0 1 0 147636352 114528256 25335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 27961 25335 170 317 0 27640 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 111844

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1636464/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=116184 CPUtime=582.13
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 28395 0 0 0 58185 28 0 0 25 0 1 0 147636352 118972416 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 29046 26611 170 317 0 28725 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 116184

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1631920/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=120104 CPUtime=642.12
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 29510 0 0 0 64183 29 0 0 25 0 1 0 147636352 122986496 27726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 30026 27726 170 317 0 29705 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 120104


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1615344/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=134776 CPUtime=882.05
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 33709 0 0 0 88171 34 0 0 25 0 1 0 147636352 138010624 31859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 33694 31859 170 317 0 33373 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 134776

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1611760/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=138176 CPUtime=942.04
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 34626 0 0 0 94168 36 0 0 25 0 1 0 147636352 141492224 32776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 34544 32776 170 317 0 34223 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 138176

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1607728/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=141460 CPUtime=1002.02
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 35619 0 0 0 100165 37 0 0 25 0 1 0 147636352 144855040 33769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 35365 33769 170 317 0 35044 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 141460

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1604912/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=143956 CPUtime=1062
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 36340 0 0 0 106162 38 0 0 25 0 1 0 147636352 147410944 34490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 35989 34490 170 317 0 35668 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 143956

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1601392/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=147080 CPUtime=1121.98
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 37283 0 0 0 112159 39 0 0 25 0 1 0 147636352 150609920 35334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 36770 35334 170 317 0 36449 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 147080

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1598128/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=150900 CPUtime=1181.96
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 38317 0 0 0 118155 41 0 0 25 0 1 0 147636352 154521600 36171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 37725 36171 170 317 0 37404 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 150900

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21648
/proc/meminfo: memFree=1594864/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=153656 CPUtime=1241.95
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 39116 0 0 0 124152 43 0 0 25 0 1 0 147636352 157343744 36970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 38414 36970 170 317 0 38093 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 153656

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/84 21824
/proc/meminfo: memFree=1590072/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=156660 CPUtime=1301.84
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 40024 0 0 0 130140 44 0 0 25 0 1 0 147636352 160419840 37845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 39165 37845 170 317 0 38844 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 156660

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1588080/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=159668 CPUtime=1361.81
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 40848 0 0 0 136136 45 0 0 25 0 1 0 147636352 163500032 38636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 39917 38636 170 317 0 39596 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 159668

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1585328/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=162272 CPUtime=1421.79
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 41600 0 0 0 142133 46 0 0 25 0 1 0 147636352 166166528 39322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 40568 39322 170 317 0 40247 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 162272

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1582000/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=164904 CPUtime=1481.77
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 42413 0 0 0 148130 47 0 0 25 0 1 0 147636352 168861696 40135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 41226 40135 170 317 0 40905 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 164904

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1579312/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=167656 CPUtime=1541.75
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 43172 0 0 0 154127 48 0 0 25 0 1 0 147636352 171679744 40861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 41914 40861 170 317 0 41593 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 167656

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1576240/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=170672 CPUtime=1601.74
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 44004 0 0 0 160124 50 0 0 25 0 1 0 147636352 174768128 41627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 42668 41627 170 317 0 42347 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 170672

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1573488/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=173036 CPUtime=1661.73
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 44697 0 0 0 166122 51 0 0 25 0 1 0 147636352 177188864 42320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 43259 42320 170 317 0 42938 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 173036

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1567664/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=197708 CPUtime=1721.71
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 50523 0 0 0 172117 54 0 0 25 0 1 0 147636352 202452992 43693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 49427 43693 170 317 0 49106 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 197708

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1565680/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=199796 CPUtime=1781.69
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51134 0 0 0 178115 54 0 0 25 0 1 0 147636352 204591104 44239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 49949 44239 170 317 0 49628 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 199796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1565040/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=200448 CPUtime=1800.1
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51304 0 0 0 179955 55 0 0 25 0 1 0 147636352 205258752 44409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 50112 44409 170 317 0 49791 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 200448

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 21846
/proc/meminfo: memFree=1565040/2055920 swapFree=4150956/4192956
[pid=21647] ppid=21645 vsize=200448 CPUtime=1800.19
/proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51305 0 0 0 179964 55 0 0 25 0 1 0 147636352 205258752 44410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21647/statm: 50112 44410 170 317 0 49791 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 200448

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.25
CPU user time (s): 1799.67
CPU system time (s): 0.583911
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 200448

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

runsolver used 2.09968 second user time and 4.47032 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Thu Apr 19 15:40:09 UTC 2007

IDJOB= 357412
IDBENCH= 2554
IDSOLVER= 172
FILE ID= node35/357412-1176997209

PBS_JOBID= 4630464

Free space on /tmp= 66304 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
COMMAND LINE= oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-357412-1176997209 -o ROOT/results/node35/solver-357412-1176997209 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d3086c0e0af196eedd939c84273a060e

RANDOM SEED= 747205306

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.232
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.232
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:       1743056 kB
Buffers:         35080 kB
Cached:         187996 kB
SwapCached:       9280 kB
Active:         179716 kB
Inactive:        90732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743056 kB
SwapTotal:     4192956 kB
SwapFree:      4150956 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          54112 kB
Slab:            27604 kB
Committed_AS:  2410836 kB
PageTables:       2060 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= 66304 MiB

End job on node35 on Thu Apr 19 16:10:12 UTC 2007