Trace number 363294

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.2 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
MD5SUM9e8d33d54c816a96320e5b2b2d7ec5c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262224
Best CPU time to get the best result obtained on this benchmark0.78788
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262224
Optimality of the best value was proved YES
Number of variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527427
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.29/0.33	c ...done
0.29/0.33	c #vars=9155 #constraints=1389 hasObjective=yes
0.29/0.38	c res. mode=mod
0.29/0.38	c VSIDS like heuristics
0.29/0.38	c complete search running
16.98/17.07	c restart after 401 decisions
17.68/17.72	c nbDecision=500 #constraints=1499
18.99/19.03	c restart after 801 decisions
20.79/20.80	c nbDecision=1000 #constraints=1517
22.99/23.04	c nbDecision=1500 #constraints=1534
23.39/23.41	c restart after 1601 decisions
24.79/24.80	c nbDecision=2000 #constraints=1548
26.79/26.83	c nbDecision=2500 #constraints=1564
28.49/28.56	c nbDecision=3000 #constraints=1579
29.08/29.13	c restart after 3201 decisions
29.48/29.56	c nbDecision=3500 #constraints=1589
30.18/30.26	c nbDecision=4000 #constraints=1596
30.69/30.73	c nbDecision=4500 #constraints=1600
31.18/31.25	c nbDecision=5000 #constraints=1605
31.58/31.65	c nbDecision=5500 #constraints=1608
31.98/32.06	c nbDecision=6000 #constraints=1611
32.38/32.42	c restart after 6401 decisions
33.28/33.39	c nbDecision=6500 #constraints=1618
33.78/33.81	c nbDecision=7000 #constraints=1621
34.18/34.28	c nbDecision=7500 #constraints=1624
34.58/34.64	c nbDecision=8000 #constraints=1626
34.98/35.09	c nbDecision=8500 #constraints=1629
35.48/35.51	c nbDecision=9000 #constraints=1632
35.78/35.85	c nbDecision=9500 #constraints=1634
36.18/36.25	c nbDecision=10000 #constraints=1637
36.48/36.58	c nbDecision=10500 #constraints=1639
36.88/36.95	c nbDecision=11000 #constraints=1641
37.28/37.32	c nbDecision=11500 #constraints=1644
37.58/37.65	c nbDecision=12000 #constraints=1646
37.98/38.01	c nbDecision=12500 #constraints=1648
38.18/38.25	c restart after 12801 decisions
38.28/38.37	c nbDecision=13000 #constraints=1650
38.68/38.71	c nbDecision=13500 #constraints=1652
38.98/39.08	c nbDecision=14000 #constraints=1655
39.28/39.37	c nbDecision=14500 #constraints=1657
39.58/39.64	c nbDecision=15000 #constraints=1659
39.88/39.91	c nbDecision=15500 #constraints=1661
40.08/40.17	c nbDecision=16000 #constraints=1663
40.38/40.42	c nbDecision=16500 #constraints=1664
40.58/40.68	c nbDecision=17000 #constraints=1666
40.88/40.95	c nbDecision=17500 #constraints=1668
41.17/41.21	c nbDecision=18000 #constraints=1670
41.37/41.48	c nbDecision=18500 #constraints=1672
41.68/41.73	c nbDecision=19000 #constraints=1674
41.97/42.00	c nbDecision=19500 #constraints=1676
42.17/42.26	c nbDecision=20000 #constraints=1678
59.28/59.35	c nbDecision=20500 #constraints=1762
60.68/60.77	c nbDecision=21000 #constraints=1778
62.17/62.25	c nbDecision=21500 #constraints=1793
63.07/63.11	c nbDecision=22000 #constraints=1801
63.68/63.70	c nbDecision=22500 #constraints=1806
64.07/64.17	c nbDecision=23000 #constraints=1810
64.57/64.66	c nbDecision=23500 #constraints=1814
64.97/65.05	c nbDecision=24000 #constraints=1817
65.37/65.44	c nbDecision=24500 #constraints=1820
65.77/65.83	c nbDecision=25000 #constraints=1823
66.27/66.31	c nbDecision=25500 #constraints=1826
66.37/66.44	c restart after 25601 decisions
66.77/66.81	c nbDecision=26000 #constraints=1829
67.08/67.18	c nbDecision=26500 #constraints=1831
67.57/67.63	c nbDecision=27000 #constraints=1834
67.87/67.99	c nbDecision=27500 #constraints=1836
68.37/68.40	c nbDecision=28000 #constraints=1839
68.67/68.76	c nbDecision=28500 #constraints=1841
69.07/69.17	c nbDecision=29000 #constraints=1844
69.47/69.52	c nbDecision=29500 #constraints=1846
69.77/69.88	c nbDecision=30000 #constraints=1848
70.17/70.29	c nbDecision=30500 #constraints=1851
70.57/70.64	c nbDecision=31000 #constraints=1853
70.97/71.00	c nbDecision=31500 #constraints=1855
71.28/71.36	c nbDecision=32000 #constraints=1857
71.58/71.69	c nbDecision=32500 #constraints=1859
71.88/71.97	c nbDecision=33000 #constraints=1861
72.18/72.24	c nbDecision=33500 #constraints=1863
72.48/72.52	c nbDecision=34000 #constraints=1865
72.77/72.80	c nbDecision=34500 #constraints=1867
72.97/73.07	c nbDecision=35000 #constraints=1869
73.27/73.33	c nbDecision=35500 #constraints=1871
73.47/73.59	c nbDecision=36000 #constraints=1873
73.77/73.86	c nbDecision=36500 #constraints=1875
74.07/74.14	c nbDecision=37000 #constraints=1877
74.27/74.39	c nbDecision=37500 #constraints=1878
74.57/74.66	c nbDecision=38000 #constraints=1880
74.87/74.91	c nbDecision=38500 #constraints=1882
75.07/75.18	c nbDecision=39000 #constraints=1884
75.37/75.45	c nbDecision=39500 #constraints=1886
75.67/75.70	c nbDecision=40000 #constraints=1887
75.88/75.95	c nbDecision=40500 #constraints=1889
76.98/77.09	c nbDecision=41000 #constraints=1895
79.37/79.48	c nbDecision=41500 #constraints=1911
81.77/81.81	c nbDecision=42000 #constraints=1927
83.67/83.75	c nbDecision=42500 #constraints=1943
85.57/85.62	c nbDecision=43000 #constraints=1958
87.57/87.61	c nbDecision=43500 #constraints=1974
88.27/88.35	c nbDecision=44000 #constraints=1981
88.57/88.67	c nbDecision=44500 #constraints=1985
88.87/88.97	c nbDecision=45000 #constraints=1988
89.17/89.28	c nbDecision=45500 #constraints=1991
89.46/89.55	c nbDecision=46000 #constraints=1993
89.76/89.85	c nbDecision=46500 #constraints=1995
90.07/90.12	c nbDecision=47000 #constraints=1997
90.36/90.41	c nbDecision=47500 #constraints=2000
90.57/90.67	c nbDecision=48000 #constraints=2002
90.87/90.95	c nbDecision=48500 #constraints=2004
91.17/91.21	c nbDecision=49000 #constraints=2006
91.37/91.48	c nbDecision=49500 #constraints=2008
91.67/91.75	c nbDecision=50000 #constraints=2010
91.97/92.01	c nbDecision=50500 #constraints=2012
92.17/92.29	c nbDecision=51000 #constraints=2014
92.27/92.39	c restart after 51201 decisions
92.57/92.60	c nbDecision=51500 #constraints=2015
93.47/93.59	c nbDecision=52000 #constraints=2024
94.37/94.45	c nbDecision=52500 #constraints=2033
94.97/95.04	c nbDecision=53000 #constraints=2039
95.47/95.50	c nbDecision=53500 #constraints=2043
95.87/95.94	c nbDecision=54000 #constraints=2047
96.27/96.33	c nbDecision=54500 #constraints=2050
96.67/96.71	c nbDecision=55000 #constraints=2053
97.07/97.13	c nbDecision=55500 #constraints=2057
97.37/97.48	c nbDecision=56000 #constraints=2059
97.87/97.93	c nbDecision=56500 #constraints=2062
98.27/98.36	c nbDecision=57000 #constraints=2065
98.67/98.73	c nbDecision=57500 #constraints=2067
99.07/99.10	c nbDecision=58000 #constraints=2070
99.37/99.46	c nbDecision=58500 #constraints=2072
99.77/99.86	c nbDecision=59000 #constraints=2075
100.16/100.27	c nbDecision=59500 #constraints=2077
100.56/100.64	c nbDecision=60000 #constraints=2080
100.86/100.96	c nbDecision=60500 #constraints=2082
101.26/101.30	c nbDecision=61000 #constraints=2084
101.56/101.68	c nbDecision=61500 #constraints=2087
101.96/102.01	c nbDecision=62000 #constraints=2089
102.27/102.35	c nbDecision=62500 #constraints=2091
102.56/102.64	c nbDecision=63000 #constraints=2093
102.86/102.91	c nbDecision=63500 #constraints=2095
103.06/103.18	c nbDecision=64000 #constraints=2097
103.37/103.45	c nbDecision=64500 #constraints=2099
103.66/103.71	c nbDecision=65000 #constraints=2101
103.86/103.97	c nbDecision=65500 #constraints=2103
104.16/104.22	c nbDecision=66000 #constraints=2105
104.37/104.48	c nbDecision=66500 #constraints=2107
119.36/119.44	c nbDecision=67000 #constraints=2153
123.76/123.87	c nbDecision=67500 #constraints=2170
127.26/127.34	c nbDecision=68000 #constraints=2187
146.35/146.48	c nbDecision=68500 #constraints=2247
150.55/150.62	c nbDecision=69000 #constraints=2263
153.86/153.93	c nbDecision=69500 #constraints=2279
172.94/173.08	c nbDecision=70000 #constraints=2338
177.14/177.26	c nbDecision=70500 #constraints=2355
180.35/180.44	c nbDecision=71000 #constraints=2371
208.24/208.36	c nbDecision=71500 #constraints=2427
216.03/216.18	c nbDecision=72000 #constraints=2444
222.43/222.51	c nbDecision=72500 #constraints=2461
224.74/224.86	c nbDecision=73000 #constraints=2469
225.93/226.02	c nbDecision=73500 #constraints=2473
227.03/227.14	c nbDecision=74000 #constraints=2477
227.83/227.94	c nbDecision=74500 #constraints=2480
228.63/228.71	c nbDecision=75000 #constraints=2483
229.63/229.73	c nbDecision=75500 #constraints=2487
230.43/230.53	c nbDecision=76000 #constraints=2490
230.93/231.10	c nbDecision=76500 #constraints=2492
231.83/231.92	c nbDecision=77000 #constraints=2495
232.43/232.54	c nbDecision=77500 #constraints=2498
232.82/232.95	c nbDecision=78000 #constraints=2500
233.32/233.47	c nbDecision=78500 #constraints=2503
233.72/233.85	c nbDecision=79000 #constraints=2505
234.23/234.34	c nbDecision=79500 #constraints=2508
258.02/258.18	c nbDecision=80000 #constraints=2552
266.52/266.68	c nbDecision=80500 #constraints=2569
272.73/272.87	c nbDecision=81000 #constraints=2585
276.72/276.85	c nbDecision=81500 #constraints=2598
278.01/278.11	c nbDecision=82000 #constraints=2603
279.22/279.34	c nbDecision=82500 #constraints=2607
280.32/280.47	c nbDecision=83000 #constraints=2611
281.11/281.24	c nbDecision=83500 #constraints=2614
281.92/282.04	c nbDecision=84000 #constraints=2617
282.72/282.80	c nbDecision=84500 #constraints=2620
283.42/283.59	c nbDecision=85000 #constraints=2623
284.32/284.41	c nbDecision=85500 #constraints=2626
284.72/284.89	c nbDecision=86000 #constraints=2628
285.41/285.52	c nbDecision=86500 #constraints=2631
285.82/285.96	c nbDecision=87000 #constraints=2633
286.31/286.48	c nbDecision=87500 #constraints=2636
286.71/286.90	c nbDecision=88000 #constraints=2638
287.21/287.38	c nbDecision=88500 #constraints=2641
305.91/306.08	c nbDecision=89000 #constraints=2693
310.21/310.30	c nbDecision=89500 #constraints=2710
312.71/312.87	c nbDecision=90000 #constraints=2726
341.40/341.50	c nbDecision=90500 #constraints=2782
348.00/348.14	c nbDecision=91000 #constraints=2798
353.40/353.58	c nbDecision=91500 #constraints=2814
354.80/354.98	c nbDecision=92000 #constraints=2820
355.90/356.06	c nbDecision=92500 #constraints=2824
357.00/357.10	c nbDecision=93000 #constraints=2828
357.70/357.89	c nbDecision=93500 #constraints=2831
358.50/358.67	c nbDecision=94000 #constraints=2834
359.30/359.42	c nbDecision=94500 #constraints=2837
360.09/360.23	c nbDecision=95000 #constraints=2840
360.89/361.04	c nbDecision=95500 #constraints=2843
361.70/361.82	c nbDecision=96000 #constraints=2846
362.09/362.24	c nbDecision=96500 #constraints=2848
362.69/362.88	c nbDecision=97000 #constraints=2851
363.09/363.29	c nbDecision=97500 #constraints=2853
363.69/363.84	c nbDecision=98000 #constraints=2856
364.09/364.22	c nbDecision=98500 #constraints=2858
388.69/388.89	c nbDecision=99000 #constraints=2902
396.79/396.98	c nbDecision=99500 #constraints=2919
402.89/403.04	c nbDecision=100000 #constraints=2935
406.28/406.40	c nbDecision=100500 #constraints=2946
407.89/408.05	c nbDecision=101000 #constraints=2952
408.68/408.90	c nbDecision=101500 #constraints=2955
409.88/410.01	c nbDecision=102000 #constraints=2959
410.48/410.61	c restart after 102401 decisions
429.18/429.31	c nbDecision=102500 #constraints=3005
433.88/434.08	c nbDecision=103000 #constraints=3021
438.17/438.34	c nbDecision=103500 #constraints=3038
439.77/439.91	c nbDecision=104000 #constraints=3049
439.87/440.08	c nbDecision=104500 #constraints=3051
440.07/440.24	c nbDecision=105000 #constraints=3053
440.47/440.63	c nbDecision=105500 #constraints=3058
440.77/440.90	c nbDecision=106000 #constraints=3060
440.87/441.09	c nbDecision=106500 #constraints=3061
449.37/449.56	c nbDecision=107000 #constraints=3078
464.87/465.06	c nbDecision=107500 #constraints=3123
469.27/469.44	c nbDecision=108000 #constraints=3139
471.27/471.46	c nbDecision=108500 #constraints=3152
471.47/471.62	c nbDecision=109000 #constraints=3153
471.68/471.82	c nbDecision=109500 #constraints=3156
472.07/472.21	c nbDecision=110000 #constraints=3161
472.27/472.47	c nbDecision=110500 #constraints=3163
472.47/472.65	c nbDecision=111000 #constraints=3164
503.35/503.58	c nbDecision=111500 #constraints=3218
510.65/510.81	c nbDecision=112000 #constraints=3235
516.66/516.90	c nbDecision=112500 #constraints=3251
517.45/517.61	c nbDecision=113000 #constraints=3253
517.96/518.14	c nbDecision=113500 #constraints=3255
518.55/518.71	c nbDecision=114000 #constraints=3257
519.25/519.41	c nbDecision=114500 #constraints=3259
520.25/520.42	c nbDecision=115000 #constraints=3262
520.85/521.01	c nbDecision=115500 #constraints=3264
521.55/521.73	c nbDecision=116000 #constraints=3266
522.15/522.36	c nbDecision=116500 #constraints=3268
522.76/522.91	c nbDecision=117000 #constraints=3270
523.56/523.72	c nbDecision=117500 #constraints=3273
524.16/524.34	c nbDecision=118000 #constraints=3275
524.76/524.91	c nbDecision=118500 #constraints=3277
525.26/525.41	c nbDecision=119000 #constraints=3279
525.76/525.91	c nbDecision=119500 #constraints=3281
526.35/526.57	c nbDecision=120000 #constraints=3284
526.76/526.97	c nbDecision=120500 #constraints=3286
527.15/527.31	c nbDecision=121000 #constraints=3288
527.45/527.64	c nbDecision=121500 #constraints=3290
527.76/527.95	c nbDecision=122000 #constraints=3292
528.25/528.40	c nbDecision=122500 #constraints=3295
528.55/528.72	c nbDecision=123000 #constraints=3297
528.75/529.00	c nbDecision=123500 #constraints=3299
529.75/529.98	c nbDecision=124000 #constraints=3302
530.05/530.21	c nbDecision=124500 #constraints=3304
530.85/531.00	c nbDecision=125000 #constraints=3306
531.45/531.64	c nbDecision=125500 #constraints=3309
531.84/532.07	c nbDecision=126000 #constraints=3311
532.55/532.70	c nbDecision=126500 #constraints=3313
532.95/533.11	c nbDecision=127000 #constraints=3315
533.26/533.44	c nbDecision=127500 #constraints=3317
534.05/534.26	c nbDecision=128000 #constraints=3320
534.25/534.43	c nbDecision=128500 #constraints=3322
534.55/534.79	c nbDecision=129000 #constraints=3324
534.75/534.94	c nbDecision=129500 #constraints=3326
535.05/535.22	c nbDecision=130000 #constraints=3328
535.75/535.96	c nbDecision=130500 #constraints=3331
536.25/536.41	c nbDecision=131000 #constraints=3334
536.65/536.80	c nbDecision=131500 #constraints=3336
537.05/537.24	c nbDecision=132000 #constraints=3338
537.65/537.83	c nbDecision=132500 #constraints=3340
538.04/538.25	c nbDecision=133000 #constraints=3342
538.54/538.71	c nbDecision=133500 #constraints=3345
538.64/538.86	c nbDecision=134000 #constraints=3347
539.35/539.51	c nbDecision=134500 #constraints=3349
539.85/540.07	c nbDecision=135000 #constraints=3351
540.05/540.20	c nbDecision=135500 #constraints=3353
540.55/540.71	c nbDecision=136000 #constraints=3355
540.65/540.87	c nbDecision=136500 #constraints=3358
540.84/541.00	c nbDecision=137000 #constraints=3360
541.05/541.28	c nbDecision=137500 #constraints=3362
541.34/541.51	c nbDecision=138000 #constraints=3364
542.05/542.24	c nbDecision=138500 #constraints=3367
542.54/542.71	c nbDecision=139000 #constraints=3369
542.94/543.18	c nbDecision=139500 #constraints=3371
543.15/543.34	c nbDecision=140000 #constraints=3373
543.54/543.73	c nbDecision=140500 #constraints=3375
544.14/544.32	c nbDecision=141000 #constraints=3377
544.84/545.05	c nbDecision=141500 #constraints=3380
545.24/545.40	c nbDecision=142000 #constraints=3382
545.64/545.82	c nbDecision=142500 #constraints=3384
546.05/546.20	c nbDecision=143000 #constraints=3386
546.35/546.56	c nbDecision=143500 #constraints=3388
547.05/547.22	c nbDecision=144000 #constraints=3392
547.44/547.61	c nbDecision=144500 #constraints=3394
547.65/547.81	c nbDecision=145000 #constraints=3396
548.14/548.32	c nbDecision=145500 #constraints=3398
548.54/548.70	c nbDecision=146000 #constraints=3400
548.94/549.10	c nbDecision=146500 #constraints=3402
549.34/549.51	c nbDecision=147000 #constraints=3405
549.75/549.96	c nbDecision=147500 #constraints=3407
550.14/550.37	c nbDecision=148000 #constraints=3409
550.84/551.01	c nbDecision=148500 #constraints=3411
551.14/551.34	c nbDecision=149000 #constraints=3413
551.74/552.00	c nbDecision=149500 #constraints=3417
551.94/552.19	c nbDecision=150000 #constraints=3419
552.44/552.69	c nbDecision=150500 #constraints=3421
552.64/552.85	c nbDecision=151000 #constraints=3423
553.24/553.49	c nbDecision=151500 #constraints=3425
553.64/553.84	c nbDecision=152000 #constraints=3427
554.04/554.27	c nbDecision=152500 #constraints=3430
554.44/554.66	c nbDecision=153000 #constraints=3432
554.84/555.03	c nbDecision=153500 #constraints=3434
555.14/555.37	c nbDecision=154000 #constraints=3436
555.34/555.52	c nbDecision=154500 #constraints=3438
555.44/555.67	c nbDecision=155000 #constraints=3440
555.64/555.86	c nbDecision=155500 #constraints=3443
556.24/556.48	c nbDecision=156000 #constraints=3446
556.74/556.91	c nbDecision=156500 #constraints=3448
557.23/557.45	c nbDecision=157000 #constraints=3450
557.44/557.66	c nbDecision=157500 #constraints=3452
557.93/558.10	c nbDecision=158000 #constraints=3454
558.84/559.08	c nbDecision=158500 #constraints=3457
559.34/559.54	c nbDecision=159000 #constraints=3459
559.74/559.96	c nbDecision=159500 #constraints=3461
559.94/560.12	c nbDecision=160000 #constraints=3463
560.54/560.75	c nbDecision=160500 #constraints=3465
561.04/561.24	c nbDecision=161000 #constraints=3467
561.34/561.57	c nbDecision=161500 #constraints=3469
561.74/561.96	c nbDecision=162000 #constraints=3472
562.13/562.33	c nbDecision=162500 #constraints=3474
562.33/562.58	c nbDecision=163000 #constraints=3476
563.04/563.29	c nbDecision=163500 #constraints=3479
563.73/563.95	c nbDecision=164000 #constraints=3482
564.53/564.71	c nbDecision=164500 #constraints=3485
565.14/565.38	c nbDecision=165000 #constraints=3488
566.43/566.65	c nbDecision=165500 #constraints=3493
567.13/567.32	c nbDecision=166000 #constraints=3496
567.83/568.03	c nbDecision=166500 #constraints=3499
568.03/568.20	c nbDecision=167000 #constraints=3501
571.33/571.52	c nbDecision=167500 #constraints=3510
573.43/573.66	c nbDecision=168000 #constraints=3516
580.53/580.75	c nbDecision=168500 #constraints=3532
580.73/580.93	c nbDecision=169000 #constraints=3533
583.62/583.86	c nbDecision=169500 #constraints=3540
613.82/614.06	c nbDecision=170000 #constraints=3593
623.32/623.53	c nbDecision=170500 #constraints=3610
630.32/630.52	c nbDecision=171000 #constraints=3626
634.51/634.73	c nbDecision=171500 #constraints=3637
635.11/635.30	c nbDecision=172000 #constraints=3639
635.81/636.00	c nbDecision=172500 #constraints=3641
636.41/636.60	c nbDecision=173000 #constraints=3643
637.11/637.33	c nbDecision=173500 #constraints=3645
637.71/637.98	c nbDecision=174000 #constraints=3647
638.61/638.86	c nbDecision=174500 #constraints=3650
639.21/639.48	c nbDecision=175000 #constraints=3652
639.81/640.07	c nbDecision=175500 #constraints=3654
640.41/640.65	c nbDecision=176000 #constraints=3656
641.02/641.21	c nbDecision=176500 #constraints=3658
641.72/641.99	c nbDecision=177000 #constraints=3661
642.32/642.59	c nbDecision=177500 #constraints=3663
642.82/643.05	c nbDecision=178000 #constraints=3665
643.32/643.56	c nbDecision=178500 #constraints=3667
643.81/644.08	c nbDecision=179000 #constraints=3669
644.42/644.63	c nbDecision=179500 #constraints=3672
644.71/644.98	c nbDecision=180000 #constraints=3674
645.11/645.31	c nbDecision=180500 #constraints=3676
645.41/645.63	c nbDecision=181000 #constraints=3678
645.71/645.98	c nbDecision=181500 #constraints=3680
646.01/646.29	c nbDecision=182000 #constraints=3682
647.01/647.22	c nbDecision=182500 #constraints=3686
647.11/647.39	c nbDecision=183000 #constraints=3688
647.51/647.76	c nbDecision=183500 #constraints=3690
648.21/648.43	c nbDecision=184000 #constraints=3692
648.61/648.85	c nbDecision=184500 #constraints=3694
649.10/649.32	c nbDecision=185000 #constraints=3697
649.50/649.71	c nbDecision=185500 #constraints=3699
649.81/650.10	c nbDecision=186000 #constraints=3701
650.20/650.47	c nbDecision=186500 #constraints=3703
650.80/651.04	c nbDecision=187000 #constraints=3705
651.30/651.59	c nbDecision=187500 #constraints=3707
651.71/651.94	c nbDecision=188000 #constraints=3710
652.11/652.31	c nbDecision=188500 #constraints=3712
652.41/652.61	c nbDecision=189000 #constraints=3714
652.51/652.76	c nbDecision=189500 #constraints=3716
653.30/653.56	c nbDecision=190000 #constraints=3719
653.60/653.80	c nbDecision=190500 #constraints=3722
654.00/654.23	c nbDecision=191000 #constraints=3724
654.71/654.90	c nbDecision=191500 #constraints=3726
654.81/655.04	c nbDecision=192000 #constraints=3728
655.21/655.45	c nbDecision=192500 #constraints=3730
655.61/655.85	c nbDecision=193000 #constraints=3732
656.01/656.25	c nbDecision=193500 #constraints=3735
656.41/656.62	c nbDecision=194000 #constraints=3737
656.71/656.97	c nbDecision=194500 #constraints=3739
657.11/657.32	c nbDecision=195000 #constraints=3741
657.21/657.48	c nbDecision=195500 #constraints=3743
657.61/657.89	c nbDecision=196000 #constraints=3745
657.81/658.06	c nbDecision=196500 #constraints=3748
658.71/658.99	c nbDecision=197000 #constraints=3751
659.20/659.41	c nbDecision=197500 #constraints=3753
659.90/660.14	c nbDecision=198000 #constraints=3755
660.40/660.65	c nbDecision=198500 #constraints=3757
660.91/661.13	c nbDecision=199000 #constraints=3759
661.60/661.88	c nbDecision=199500 #constraints=3762
662.30/662.53	c nbDecision=200000 #constraints=3764
662.70/662.93	c nbDecision=200500 #constraints=3766
663.30/663.59	c nbDecision=201000 #constraints=3768
663.90/664.17	c nbDecision=201500 #constraints=3770
664.50/664.79	c nbDecision=202000 #constraints=3772
664.90/665.13	c nbDecision=202500 #constraints=3774
665.10/665.33	c nbDecision=203000 #constraints=3777
665.20/665.48	c nbDecision=203500 #constraints=3779
665.60/665.89	c nbDecision=204000 #constraints=3781
665.90/666.14	c nbDecision=204500 #constraints=3783
666.10/666.32	c restart after 204801 decisions
689.40/689.66	c nbDecision=205000 #constraints=3831
694.09/694.37	c nbDecision=205500 #constraints=3848
697.39/697.66	c nbDecision=206000 #constraints=3864
717.69/717.93	c nbDecision=206500 #constraints=3924
721.89/722.18	c nbDecision=207000 #constraints=3940
724.78/725.04	c nbDecision=207500 #constraints=3957
754.77/755.07	c nbDecision=208000 #constraints=4015
761.37/761.65	c nbDecision=208500 #constraints=4031
767.38/767.62	c nbDecision=209000 #constraints=4047
769.17/769.40	c nbDecision=209500 #constraints=4053
770.47/770.71	c nbDecision=210000 #constraints=4057
771.57/771.87	c nbDecision=210500 #constraints=4061
772.77/773.06	c nbDecision=211000 #constraints=4065
773.67/773.97	c nbDecision=211500 #constraints=4068
774.57/774.89	c nbDecision=212000 #constraints=4071
775.47/775.79	c nbDecision=212500 #constraints=4074
776.47/776.74	c nbDecision=213000 #constraints=4077
777.06/777.39	c nbDecision=213500 #constraints=4079
777.86/778.11	c nbDecision=214000 #constraints=4082
778.27/778.59	c nbDecision=214500 #constraints=4084
778.87/779.15	c nbDecision=215000 #constraints=4087
779.37/779.60	c nbDecision=215500 #constraints=4089
779.87/780.10	c nbDecision=216000 #constraints=4092
798.87/799.12	c nbDecision=216500 #constraints=4140
803.56/803.87	c nbDecision=217000 #constraints=4156
807.47/807.74	c nbDecision=217500 #constraints=4173
827.75/828.07	c nbDecision=218000 #constraints=4232
832.06/832.37	c nbDecision=218500 #constraints=4248
835.15/835.49	c nbDecision=219000 #constraints=4265
864.44/864.72	c nbDecision=219500 #constraints=4321
871.65/871.91	c nbDecision=220000 #constraints=4338
877.45/877.74	c nbDecision=220500 #constraints=4354
879.54/879.80	c nbDecision=221000 #constraints=4361
880.64/880.97	c nbDecision=221500 #constraints=4365
881.54/881.81	c nbDecision=222000 #constraints=4368
882.55/882.86	c nbDecision=222500 #constraints=4372
883.34/883.67	c nbDecision=223000 #constraints=4375
884.15/884.48	c nbDecision=223500 #constraints=4378
885.04/885.40	c nbDecision=224000 #constraints=4381
886.04/886.32	c nbDecision=224500 #constraints=4384
886.64/886.96	c nbDecision=225000 #constraints=4386
887.34/887.63	c nbDecision=225500 #constraints=4389
887.94/888.23	c nbDecision=226000 #constraints=4392
888.34/888.68	c nbDecision=226500 #constraints=4394
888.94/889.23	c nbDecision=227000 #constraints=4397
889.34/889.62	c nbDecision=227500 #constraints=4399
916.23/916.58	c nbDecision=228000 #constraints=4443
926.23/926.58	c nbDecision=228500 #constraints=4460
933.03/933.35	c nbDecision=229000 #constraints=4476
937.23/937.53	c nbDecision=229500 #constraints=4488
939.03/939.31	c nbDecision=230000 #constraints=4493
940.23/940.51	c nbDecision=230500 #constraints=4497
941.13/941.47	c nbDecision=231000 #constraints=4500
942.43/942.75	c nbDecision=231500 #constraints=4504
943.43/943.71	c nbDecision=232000 #constraints=4507
944.33/944.69	c nbDecision=232500 #constraints=4510
945.03/945.35	c nbDecision=233000 #constraints=4512
946.02/946.30	c nbDecision=233500 #constraints=4515
946.83/947.10	c nbDecision=234000 #constraints=4518
947.22/947.59	c nbDecision=234500 #constraints=4520
947.93/948.22	c nbDecision=235000 #constraints=4523
948.32/948.68	c nbDecision=235500 #constraints=4525
948.93/949.26	c nbDecision=236000 #constraints=4528
973.82/974.10	c nbDecision=236500 #constraints=4569
982.52/982.81	c nbDecision=237000 #constraints=4585
989.62/989.97	c nbDecision=237500 #constraints=4602
994.42/994.73	c nbDecision=238000 #constraints=4615
996.61/996.92	c nbDecision=238500 #constraints=4621
997.91/998.23	c nbDecision=239000 #constraints=4625
998.91/999.23	c nbDecision=239500 #constraints=4628
999.81/1000.14	c nbDecision=240000 #constraints=4631
1000.91/1001.29	c nbDecision=240500 #constraints=4635
1001.71/1002.06	c nbDecision=241000 #constraints=4637
1002.61/1002.98	c nbDecision=241500 #constraints=4640
1003.61/1003.91	c nbDecision=242000 #constraints=4643
1004.21/1004.51	c nbDecision=242500 #constraints=4645
1004.81/1005.15	c nbDecision=243000 #constraints=4648
1005.31/1005.63	c nbDecision=243500 #constraints=4650
1005.91/1006.23	c nbDecision=244000 #constraints=4653
1006.31/1006.69	c nbDecision=244500 #constraints=4655
1028.91/1029.20	c nbDecision=245000 #constraints=4692
1040.00/1040.37	c nbDecision=245500 #constraints=4712
1046.70/1047.06	c nbDecision=246000 #constraints=4728
1052.00/1052.32	c nbDecision=246500 #constraints=4742
1053.99/1054.35	c nbDecision=247000 #constraints=4748
1055.30/1055.67	c nbDecision=247500 #constraints=4752
1056.50/1056.86	c nbDecision=248000 #constraints=4756
1057.40/1057.73	c nbDecision=248500 #constraints=4759
1058.20/1058.54	c nbDecision=249000 #constraints=4762
1059.09/1059.44	c nbDecision=249500 #constraints=4765
1060.00/1060.34	c nbDecision=250000 #constraints=4768
1060.59/1061.00	c nbDecision=250500 #constraints=4770
1061.39/1061.74	c nbDecision=251000 #constraints=4773
1062.00/1062.39	c nbDecision=251500 #constraints=4776
1062.50/1062.85	c nbDecision=252000 #constraints=4778
1063.10/1063.44	c nbDecision=252500 #constraints=4781
1063.50/1063.87	c nbDecision=253000 #constraints=4783
1064.00/1064.32	c nbDecision=253500 #constraints=4785
1095.69/1096.06	c nbDecision=254000 #constraints=4836
1102.78/1103.17	c nbDecision=254500 #constraints=4852
1108.58/1108.96	c nbDecision=255000 #constraints=4867
1111.08/1111.43	c nbDecision=255500 #constraints=4874
1112.89/1113.23	c nbDecision=256000 #constraints=4879
1113.89/1114.27	c nbDecision=256500 #constraints=4882
1114.88/1115.23	c nbDecision=257000 #constraints=4885
1115.98/1116.39	c nbDecision=257500 #constraints=4889
1116.68/1117.03	c nbDecision=258000 #constraints=4891
1117.48/1117.86	c nbDecision=258500 #constraints=4894
1118.48/1118.80	c nbDecision=259000 #constraints=4897
1119.28/1119.64	c nbDecision=259500 #constraints=4900
1119.78/1120.12	c nbDecision=260000 #constraints=4902
1120.38/1120.78	c nbDecision=260500 #constraints=4905
1120.88/1121.22	c nbDecision=261000 #constraints=4907
1121.38/1121.78	c nbDecision=261500 #constraints=4910
1121.78/1122.19	c nbDecision=262000 #constraints=4912
1150.57/1150.92	c nbDecision=262500 #constraints=4961
1157.46/1157.83	c nbDecision=263000 #constraints=4977
1163.97/1164.33	c nbDecision=263500 #constraints=4994
1165.96/1166.31	c nbDecision=264000 #constraints=5000
1167.26/1167.61	c nbDecision=264500 #constraints=5004
1168.57/1168.93	c nbDecision=265000 #constraints=5008
1169.47/1169.87	c nbDecision=265500 #constraints=5011
1170.37/1170.70	c nbDecision=266000 #constraints=5014
1171.17/1171.53	c nbDecision=266500 #constraints=5017
1171.96/1172.35	c nbDecision=267000 #constraints=5020
1172.87/1173.23	c nbDecision=267500 #constraints=5023
1173.46/1173.88	c nbDecision=268000 #constraints=5025
1174.26/1174.64	c nbDecision=268500 #constraints=5028
1174.86/1175.26	c nbDecision=269000 #constraints=5031
1175.36/1175.74	c nbDecision=269500 #constraints=5033
1175.96/1176.33	c nbDecision=270000 #constraints=5036
1176.36/1176.76	c nbDecision=270500 #constraints=5038
1201.96/1202.31	c nbDecision=271000 #constraints=5080
1210.86/1211.24	c nbDecision=271500 #constraints=5097
1217.65/1218.08	c nbDecision=272000 #constraints=5113
1221.96/1222.31	c nbDecision=272500 #constraints=5125
1223.55/1223.92	c nbDecision=273000 #constraints=5129
1224.85/1225.24	c nbDecision=273500 #constraints=5133
1225.85/1226.23	c nbDecision=274000 #constraints=5136
1227.05/1227.45	c nbDecision=274500 #constraints=5140
1227.95/1228.36	c nbDecision=275000 #constraints=5143
1228.95/1229.32	c nbDecision=275500 #constraints=5146
1229.75/1230.12	c nbDecision=276000 #constraints=5148
1230.65/1231.05	c nbDecision=276500 #constraints=5151
1231.45/1231.86	c nbDecision=277000 #constraints=5154
1232.05/1232.41	c nbDecision=277500 #constraints=5156
1232.66/1233.07	c nbDecision=278000 #constraints=5159
1233.25/1233.68	c nbDecision=278500 #constraints=5162
1233.75/1234.11	c nbDecision=279000 #constraints=5164
1234.15/1234.58	c nbDecision=279500 #constraints=5166
1264.74/1265.17	c nbDecision=280000 #constraints=5215
1271.84/1272.20	c nbDecision=280500 #constraints=5231
1277.74/1278.11	c nbDecision=281000 #constraints=5246
1280.24/1280.68	c nbDecision=281500 #constraints=5253
1282.04/1282.42	c nbDecision=282000 #constraints=5258
1283.04/1283.41	c nbDecision=282500 #constraints=5261
1284.04/1284.49	c nbDecision=283000 #constraints=5264
1285.24/1285.68	c nbDecision=283500 #constraints=5268
1286.04/1286.47	c nbDecision=284000 #constraints=5270
1286.93/1287.39	c nbDecision=284500 #constraints=5273
1287.83/1288.28	c nbDecision=285000 #constraints=5276
1288.74/1289.20	c nbDecision=285500 #constraints=5279
1289.33/1289.71	c nbDecision=286000 #constraints=5281
1289.94/1290.37	c nbDecision=286500 #constraints=5284
1290.43/1290.84	c nbDecision=287000 #constraints=5286
1291.03/1291.44	c nbDecision=287500 #constraints=5289
1291.43/1291.87	c nbDecision=288000 #constraints=5291
1320.52/1320.92	c nbDecision=288500 #constraints=5338
1327.82/1328.27	c nbDecision=289000 #constraints=5354
1334.32/1334.72	c nbDecision=289500 #constraints=5370
1337.23/1337.69	c nbDecision=290000 #constraints=5378
1338.72/1339.16	c nbDecision=290500 #constraints=5382
1340.12/1340.52	c nbDecision=291000 #constraints=5386
1341.02/1341.46	c nbDecision=291500 #constraints=5389
1342.02/1342.45	c nbDecision=292000 #constraints=5392
1342.92/1343.40	c nbDecision=292500 #constraints=5395
1343.92/1344.31	c nbDecision=293000 #constraints=5398
1344.83/1345.29	c nbDecision=293500 #constraints=5401
1345.52/1345.96	c nbDecision=294000 #constraints=5403
1346.22/1346.64	c nbDecision=294500 #constraints=5406
1346.72/1347.16	c nbDecision=295000 #constraints=5408
1347.32/1347.77	c nbDecision=295500 #constraints=5411
1347.82/1348.25	c nbDecision=296000 #constraints=5413
1348.42/1348.81	c nbDecision=296500 #constraints=5416
1377.61/1378.02	c nbDecision=297000 #constraints=5460
1385.21/1385.63	c nbDecision=297500 #constraints=5476
1392.01/1392.43	c nbDecision=298000 #constraints=5493
1395.21/1395.66	c nbDecision=298500 #constraints=5501
1396.90/1397.39	c nbDecision=299000 #constraints=5505
1398.10/1398.54	c nbDecision=299500 #constraints=5508
1399.40/1399.86	c nbDecision=300000 #constraints=5512
1400.30/1400.79	c nbDecision=300500 #constraints=5515
1401.40/1401.89	c nbDecision=301000 #constraints=5518
1402.41/1402.89	c nbDecision=301500 #constraints=5521
1403.21/1403.63	c nbDecision=302000 #constraints=5523
1404.11/1404.54	c nbDecision=302500 #constraints=5526
1404.91/1405.37	c nbDecision=303000 #constraints=5529
1405.41/1405.87	c nbDecision=303500 #constraints=5531
1406.11/1406.52	c nbDecision=304000 #constraints=5534
1406.61/1407.00	c nbDecision=304500 #constraints=5536
1407.11/1407.57	c nbDecision=305000 #constraints=5539
1435.10/1435.57	c nbDecision=305500 #constraints=5582
1443.39/1443.86	c nbDecision=306000 #constraints=5598
1450.49/1450.98	c nbDecision=306500 #constraints=5615
1454.09/1454.59	c nbDecision=307000 #constraints=5624
1455.90/1456.37	c nbDecision=307500 #constraints=5628
1457.09/1457.53	c nbDecision=308000 #constraints=5631
1458.39/1458.84	c nbDecision=308500 #constraints=5635
1459.29/1459.79	c nbDecision=309000 #constraints=5638
1460.29/1460.80	c nbDecision=309500 #constraints=5641
1461.40/1461.82	c nbDecision=310000 #constraints=5644
1462.09/1462.51	c nbDecision=310500 #constraints=5646
1462.99/1463.48	c nbDecision=311000 #constraints=5649
1463.70/1464.19	c nbDecision=311500 #constraints=5652
1464.29/1464.70	c nbDecision=312000 #constraints=5654
1464.89/1465.35	c nbDecision=312500 #constraints=5657
1465.39/1465.82	c nbDecision=313000 #constraints=5659
1465.79/1466.29	c nbDecision=313500 #constraints=5661
1488.48/1488.95	c nbDecision=314000 #constraints=5699
1497.38/1497.85	c nbDecision=314500 #constraints=5715
1503.67/1504.16	c nbDecision=315000 #constraints=5732
1506.77/1507.26	c nbDecision=315500 #constraints=5741
1508.57/1509.08	c nbDecision=316000 #constraints=5746
1509.97/1510.41	c nbDecision=316500 #constraints=5750
1511.27/1511.72	c nbDecision=317000 #constraints=5754
1512.18/1512.62	c nbDecision=317500 #constraints=5757
1512.98/1513.46	c nbDecision=318000 #constraints=5760
1513.88/1514.37	c nbDecision=318500 #constraints=5763
1514.78/1515.22	c nbDecision=319000 #constraints=5766
1515.28/1515.74	c nbDecision=319500 #constraints=5768
1515.97/1516.41	c nbDecision=320000 #constraints=5771
1516.38/1516.87	c nbDecision=320500 #constraints=5773
1516.97/1517.43	c nbDecision=321000 #constraints=5776
1517.37/1517.83	c nbDecision=321500 #constraints=5778
1517.87/1518.33	c nbDecision=322000 #constraints=5781
1542.16/1542.61	c nbDecision=322500 #constraints=5818
1550.77/1551.23	c nbDecision=323000 #constraints=5835
1557.46/1557.95	c nbDecision=323500 #constraints=5851
1561.06/1561.50	c nbDecision=324000 #constraints=5860
1562.86/1563.37	c nbDecision=324500 #constraints=5864
1564.86/1565.32	c nbDecision=325000 #constraints=5869
1565.96/1566.44	c nbDecision=325500 #constraints=5872
1566.97/1567.50	c nbDecision=326000 #constraints=5875
1568.07/1568.52	c nbDecision=326500 #constraints=5878
1569.06/1569.58	c nbDecision=327000 #constraints=5881
1570.06/1570.56	c nbDecision=327500 #constraints=5884
1570.96/1571.44	c nbDecision=328000 #constraints=5887
1571.56/1572.01	c nbDecision=328500 #constraints=5889
1572.16/1572.68	c nbDecision=329000 #constraints=5892
1572.66/1573.15	c nbDecision=329500 #constraints=5894
1573.26/1573.79	c nbDecision=330000 #constraints=5897
1573.76/1574.23	c nbDecision=330500 #constraints=5899
1598.55/1599.06	c nbDecision=331000 #constraints=5938
1607.55/1608.01	c nbDecision=331500 #constraints=5955
1614.15/1614.63	c nbDecision=332000 #constraints=5971
1617.24/1617.74	c nbDecision=332500 #constraints=5979
1618.85/1619.38	c nbDecision=333000 #constraints=5983
1620.45/1620.90	c nbDecision=333500 #constraints=5987
1621.55/1622.01	c nbDecision=334000 #constraints=5990
1622.75/1623.23	c nbDecision=334500 #constraints=5994
1623.45/1623.97	c nbDecision=335000 #constraints=5996
1624.45/1624.99	c nbDecision=335500 #constraints=5999
1625.44/1625.95	c nbDecision=336000 #constraints=6002
1626.35/1626.81	c nbDecision=336500 #constraints=6005
1626.84/1627.33	c nbDecision=337000 #constraints=6007
1627.44/1627.98	c nbDecision=337500 #constraints=6010
1627.94/1628.47	c nbDecision=338000 #constraints=6012
1628.54/1629.05	c nbDecision=338500 #constraints=6015
1628.94/1629.48	c nbDecision=339000 #constraints=6017
1654.44/1654.94	c nbDecision=339500 #constraints=6057
1662.53/1663.01	c nbDecision=340000 #constraints=6073
1669.03/1669.59	c nbDecision=340500 #constraints=6089
1672.23/1672.71	c nbDecision=341000 #constraints=6097
1673.74/1674.27	c nbDecision=341500 #constraints=6101
1675.23/1675.76	c nbDecision=342000 #constraints=6105
1676.33/1676.83	c nbDecision=342500 #constraints=6108
1677.43/1677.97	c nbDecision=343000 #constraints=6112
1678.43/1678.93	c nbDecision=343500 #constraints=6115
1679.03/1679.59	c nbDecision=344000 #constraints=6117
1680.03/1680.52	c nbDecision=344500 #constraints=6120
1680.83/1681.33	c nbDecision=345000 #constraints=6123
1681.34/1681.82	c nbDecision=345500 #constraints=6125
1681.93/1682.47	c nbDecision=346000 #constraints=6128
1682.44/1682.96	c nbDecision=346500 #constraints=6130
1683.03/1683.55	c nbDecision=347000 #constraints=6133
1683.43/1684.00	c nbDecision=347500 #constraints=6135
1706.92/1707.40	c nbDecision=348000 #constraints=6174
1714.43/1714.93	c nbDecision=348500 #constraints=6190
1720.32/1720.85	c nbDecision=349000 #constraints=6206
1722.62/1723.18	c nbDecision=349500 #constraints=6213
1724.11/1724.60	c nbDecision=350000 #constraints=6217
1725.42/1725.93	c nbDecision=350500 #constraints=6221
1726.62/1727.14	c nbDecision=351000 #constraints=6225
1727.42/1727.93	c nbDecision=351500 #constraints=6228
1728.22/1728.73	c nbDecision=352000 #constraints=6231
1729.02/1729.51	c nbDecision=352500 #constraints=6234
1729.52/1730.09	c nbDecision=353000 #constraints=6236
1730.32/1730.81	c nbDecision=353500 #constraints=6239
1730.92/1731.40	c nbDecision=354000 #constraints=6242
1731.31/1731.83	c nbDecision=354500 #constraints=6244
1731.81/1732.36	c nbDecision=355000 #constraints=6247
1732.21/1732.74	c nbDecision=355500 #constraints=6249
1732.61/1733.15	c nbDecision=356000 #constraints=6251
1759.71/1760.28	c nbDecision=356500 #constraints=6293
1767.41/1767.90	c nbDecision=357000 #constraints=6309
1773.41/1773.93	c nbDecision=357500 #constraints=6324
1776.30/1776.83	c nbDecision=358000 #constraints=6331
1778.10/1778.61	c nbDecision=358500 #constraints=6335
1779.60/1780.19	c nbDecision=359000 #constraints=6339
1780.70/1781.27	c nbDecision=359500 #constraints=6342
1781.70/1782.28	c nbDecision=360000 #constraints=6345
1782.80/1783.31	c nbDecision=360500 #constraints=6348
1783.80/1784.37	c nbDecision=361000 #constraints=6351
1784.71/1785.29	c nbDecision=361500 #constraints=6354
1785.50/1786.04	c nbDecision=362000 #constraints=6356
1786.20/1786.74	c nbDecision=362500 #constraints=6359
1786.70/1787.25	c nbDecision=363000 #constraints=6361
1787.30/1787.86	c nbDecision=363500 #constraints=6364
1787.80/1788.34	c nbDecision=364000 #constraints=6366
1788.20/1788.79	c nbDecision=364500 #constraints=6368
1800.00/1800.50	Received signal 15
1800.00/1800.53	
1800.00/1800.53	s UNKNOWN
1800.00/1800.53	
1800.00/1800.53	c user time= 1798.72 s
1800.00/1800.53	c system time= 1.3228 s
1800.00/1800.53	c wall clock time=1800.54

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/node9/watcher-363294-1176852308 -o ROOT/results/node9/solver-363294-1176852308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.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.97 0.97 3/77 9474
/proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1624 CPUtime=0
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 161268421 1662976 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 406 168 127 317 0 85 0

[startup+0.0723939 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 9474
/proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=2548 CPUtime=0.06
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 449 0 0 0 6 0 0 0 18 0 1 0 161268421 2609152 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 637 431 131 317 0 316 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2548

[startup+0.101397 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 9474
/proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=3076 CPUtime=0.09
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 568 0 0 0 9 0 0 0 18 0 1 0 161268421 3149824 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 769 550 131 317 0 448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3076

[startup+0.301418 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 9474
/proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=6640 CPUtime=0.29
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 1447 0 0 0 29 0 0 0 19 0 1 0 161268421 6799360 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 1660 1429 131 317 0 1339 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6640

[startup+0.701463 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 9474
/proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=9964 CPUtime=0.69
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2285 0 0 0 68 1 0 0 23 0 1 0 161268421 10203136 2267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 2491 2267 138 317 0 2170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9964

[startup+1.50155 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1765344/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=10104 CPUtime=1.49
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2318 0 0 0 148 1 0 0 25 0 1 0 161268421 10346496 2300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 2526 2300 139 317 0 2205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10104

[startup+3.10173 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1765088/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=10244 CPUtime=3.09
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2377 0 0 0 308 1 0 0 25 0 1 0 161268421 10489856 2359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 2561 2359 139 317 0 2240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10244

[startup+6.3011 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1764384/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=11016 CPUtime=6.29
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2548 0 0 0 628 1 0 0 25 0 1 0 161268421 11280384 2530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 2754 2530 139 317 0 2433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11016

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1762784/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=12492 CPUtime=12.69
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2907 0 0 0 1268 1 0 0 25 0 1 0 161268421 12791808 2889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 3123 2889 139 317 0 2802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12492

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1759712/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=15468 CPUtime=25.49
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 3667 0 0 0 2547 2 0 0 25 0 1 0 161268421 15839232 3649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 3867 3649 139 317 0 3546 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15468

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1753440/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=21784 CPUtime=51.08
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 5232 0 0 0 5105 3 0 0 25 0 1 0 161268421 22306816 5214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712473 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 5446 5214 139 317 0 5125 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21784

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1739232/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=35816 CPUtime=102.27
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 8758 0 0 0 10222 5 0 0 25 0 1 0 161268421 36675584 8740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 8954 8740 139 317 0 8633 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35816

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1701536/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=85632 CPUtime=162.25
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 20650 0 0 0 16214 11 0 0 25 0 1 0 161268421 87687168 18208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713773 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 21408 18208 139 317 0 21087 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 85632

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1667296/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=129568 CPUtime=222.23
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 31032 0 0 0 22208 15 0 0 25 0 1 0 161268421 132677632 26686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 32392 26686 139 317 0 32071 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 129568

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1641568/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=164568 CPUtime=282.22
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 39565 0 0 0 28202 20 0 0 25 0 1 0 161268421 168517632 33178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 41142 33179 139 317 0 40821 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 164568

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1601632/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=214052 CPUtime=342.2
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 51450 0 0 0 34195 25 0 0 25 0 1 0 161268421 219189248 43045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 53513 43045 139 317 0 53192 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 214052

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9475
/proc/meminfo: memFree=1577120/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=246904 CPUtime=402.19
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 59525 0 0 0 40191 28 0 0 25 0 1 0 161268421 252829696 49207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 61726 49207 139 317 0 61405 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 246904

[startup+462.302 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1547680/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=287268 CPUtime=462.17
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 69163 0 0 0 46186 31 0 0 25 0 1 0 161268421 294162432 56562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 71817 56562 139 317 0 71496 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 287268

[startup+522.301 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1504352/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=343648 CPUtime=522.15
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 81986 0 0 0 52178 37 0 0 25 0 1 0 161268421 351895552 67398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 85912 67398 139 317 0 85591 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 343648

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1450592/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=411680 CPUtime=582.12
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 100686 0 0 0 58167 45 0 0 25 0 1 0 161268421 421560320 80754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746924 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 102920 80754 170 317 0 102599 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 411680

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1428448/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=439460 CPUtime=642.12
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 107805 0 0 0 64163 49 0 0 25 0 1 0 161268421 450007040 86227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 109865 86227 170 317 0 109544 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 439460


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1279392/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=644548 CPUtime=882.05
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 154310 0 0 0 88136 69 0 0 25 0 1 0 161268421 660017152 123426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 161137 123426 170 317 0 160816 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 644548

[startup+942.303 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1256608/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=673664 CPUtime=942.03
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 161774 0 0 0 94131 72 0 0 25 0 1 0 161268421 689831936 129201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 168416 129201 170 317 0 168095 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 673664

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1232800/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=703424 CPUtime=1002.01
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 169355 0 0 0 100126 75 0 0 25 0 1 0 161268421 720306176 135062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 175856 135062 170 317 0 175535 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 703424

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1208288/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=734648 CPUtime=1062
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 177380 0 0 0 106119 81 0 0 25 0 1 0 161268421 752279552 141317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 183662 141317 170 317 0 183341 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 734648

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1183776/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=764712 CPUtime=1121.98
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 185125 0 0 0 112114 84 0 0 25 0 1 0 161268421 783065088 147318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 191178 147318 170 317 0 190857 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 764712

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1158560/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=797656 CPUtime=1181.97
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 193135 0 0 0 118108 89 0 0 25 0 1 0 161268421 816799744 153573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 199414 153573 170 317 0 199093 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 797656

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1136288/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=825716 CPUtime=1241.95
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 200381 0 0 0 124102 93 0 0 25 0 1 0 161268421 845533184 159053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 206429 159053 170 317 0 206108 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 825716

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1114144/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=854068 CPUtime=1301.94
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 207472 0 0 0 130098 96 0 0 25 0 1 0 161268421 874565632 164585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 213517 164585 170 317 0 213196 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 854068

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1091616/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=882432 CPUtime=1361.92
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 214667 0 0 0 136092 100 0 0 25 0 1 0 161268421 903610368 170245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541526 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 220608 170245 170 317 0 220287 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 882432

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1062816/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=922804 CPUtime=1421.9
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 223275 0 0 0 142087 103 0 0 25 0 1 0 161268421 944951296 177372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549863 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 230701 177372 170 317 0 230380 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 922804

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1041248/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=951548 CPUtime=1481.88
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 230455 0 0 0 148080 108 0 0 25 0 1 0 161268421 974385152 182830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 237887 182830 170 317 0 237566 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 951548

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=1018144/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=982680 CPUtime=1541.86
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 237791 0 0 0 154075 111 0 0 25 0 1 0 161268421 1006264320 188509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 245670 188509 170 317 0 245349 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 982680

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=997088/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1011924 CPUtime=1601.86
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 244790 0 0 0 160071 115 0 0 25 0 1 0 161268421 1036210176 193837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 252981 193837 170 317 0 252660 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1011924

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=975776/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1040664 CPUtime=1661.83
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 251629 0 0 0 166065 118 0 0 25 0 1 0 161268421 1065639936 199131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549876 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 260166 199131 170 317 0 259845 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1040664

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=902688/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1162156 CPUtime=1721.82
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 271565 0 0 0 172055 127 0 0 25 0 1 0 161268421 1190047744 217355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 290539 217355 170 317 0 290218 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1162156

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=880160/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1190596 CPUtime=1781.8
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 278896 0 0 0 178050 130 0 0 25 0 1 0 161268421 1219170304 222935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 297649 222935 170 317 0 297328 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1190596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9477
/proc/meminfo: memFree=872672/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=1199892 CPUtime=1800
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 281260 0 0 0 179868 132 0 0 25 0 1 0 161268421 1228689408 224746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/statm: 299973 224746 170 317 0 299652 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1199892

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 9478
/proc/meminfo: memFree=1242712/2055920 swapFree=4145528/4192956
[pid=9474] ppid=9472 vsize=0 CPUtime=1800.1
/proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194308 281279 0 0 0 179872 138 0 0 25 0 1 0 161268421 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9474/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.69
CPU time (s): 1800.2
CPU user time (s): 1798.73
CPU system time (s): 1.46678
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1200024

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

runsolver used 2.06669 second user time and 4.17636 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Apr 17 23:25:09 UTC 2007

IDJOB= 363294
IDBENCH= 1798
IDSOLVER= 172
FILE ID= node9/363294-1176852308

PBS_JOBID= 4590228

Free space on /tmp= 66490 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/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
COMMAND LINE= oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-363294-1176852308 -o ROOT/results/node9/solver-363294-1176852308 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9e8d33d54c816a96320e5b2b2d7ec5c8

RANDOM SEED= 551506646

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1774464 kB
Buffers:         33624 kB
Cached:         185668 kB
SwapCached:      16124 kB
Active:         193892 kB
Inactive:        56468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774464 kB
SwapTotal:     4192956 kB
SwapFree:      4145528 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          29936 kB
Slab:            16616 kB
Committed_AS:  5959604 kB
PageTables:       1784 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= 66490 MiB

End job on node9 on Tue Apr 17 23:55:11 UTC 2007