Trace number 356901

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.07 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb
MD5SUMcf56ee4a2e10a22486df8fb664e91027
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15501
Total number of constraints763
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)627
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint8
Maximum length of a constraint13581
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 531126
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.69/0.79	c ...done
0.69/0.79	c #vars=15501 #constraints=854 hasObjective=yes
0.79/0.88	c res. mode=mod
0.79/0.88	c VSIDS like heuristics
0.79/0.88	c complete search running
3.99/4.08	c restart after 401 decisions
4.59/4.64	c nbDecision=500 #constraints=1178
7.09/7.15	c restart after 801 decisions
8.49/8.59	c nbDecision=1000 #constraints=1515
13.49/13.52	c nbDecision=1500 #constraints=1782
14.69/14.73	c restart after 1601 decisions
17.89/17.92	c nbDecision=2000 #constraints=2083
23.48/23.58	c nbDecision=2500 #constraints=2318
26.98/27.02	c nbDecision=3000 #constraints=2519
28.98/29.06	c restart after 3201 decisions
31.48/31.56	c nbDecision=3500 #constraints=2776
37.18/37.27	c nbDecision=4000 #constraints=3003
40.97/41.04	c nbDecision=4500 #constraints=3202
45.47/45.58	c nbDecision=5000 #constraints=3388
47.87/47.95	c nbDecision=5500 #constraints=3565
53.07/53.18	c nbDecision=6000 #constraints=3713
53.57/53.61	c restart after 6401 decisions
54.27/54.36	c nbDecision=6500 #constraints=3882
59.57/59.63	c nbDecision=7000 #constraints=4147
64.37/64.42	c nbDecision=7500 #constraints=4349
70.07/70.15	c nbDecision=8000 #constraints=4543
74.67/74.73	c nbDecision=8500 #constraints=4740
80.47/80.58	c nbDecision=9000 #constraints=4908
83.07/83.16	c nbDecision=9500 #constraints=5091
86.87/86.98	c nbDecision=10000 #constraints=5232
87.46/87.59	c nbDecision=10500 #constraints=5338
88.06/88.13	c nbDecision=11000 #constraints=5450
88.66/88.74	c nbDecision=11500 #constraints=5550
89.46/89.53	c nbDecision=12000 #constraints=5650
91.17/91.28	c nbDecision=12500 #constraints=5766
91.56/91.65	c restart after 12801 decisions
93.26/93.31	c nbDecision=13000 #constraints=5967
99.37/99.41	c nbDecision=13500 #constraints=6214
103.37/103.45	c nbDecision=14000 #constraints=6424
109.36/109.42	c nbDecision=14500 #constraints=6598
115.66/115.73	c nbDecision=15000 #constraints=6791
119.76/119.88	c nbDecision=15500 #constraints=6984
124.76/124.86	c nbDecision=16000 #constraints=7156
126.66/126.79	c nbDecision=16500 #constraints=7292
127.26/127.35	c nbDecision=17000 #constraints=7410
127.96/128.03	c nbDecision=17500 #constraints=7514
128.56/128.65	c nbDecision=18000 #constraints=7614
130.35/130.46	c nbDecision=18500 #constraints=7733
131.35/131.41	c nbDecision=19000 #constraints=7836
132.05/132.11	c nbDecision=19500 #constraints=7937
133.65/133.77	c nbDecision=20000 #constraints=8069
135.35/135.48	c nbDecision=20500 #constraints=8181
135.95/136.09	c nbDecision=21000 #constraints=8281
137.15/137.26	c nbDecision=21500 #constraints=8383
138.15/138.27	c nbDecision=22000 #constraints=8486
138.56/138.68	c nbDecision=22500 #constraints=8607
139.85/139.92	c nbDecision=23000 #constraints=8702
140.35/140.45	c nbDecision=23500 #constraints=8764
141.65/141.75	c nbDecision=24000 #constraints=8830
143.05/143.16	c nbDecision=24500 #constraints=8900
143.75/143.86	c nbDecision=25000 #constraints=8949
145.05/145.20	c nbDecision=25500 #constraints=9018
145.15/145.29	c restart after 25601 decisions
149.35/149.48	c nbDecision=26000 #constraints=9286
154.25/154.31	c nbDecision=26500 #constraints=9519
160.85/160.91	c nbDecision=27000 #constraints=9704
167.05/167.19	c nbDecision=27500 #constraints=9887
171.45/171.60	c nbDecision=28000 #constraints=10075
176.65/176.72	c nbDecision=28500 #constraints=10242
178.05/178.16	c nbDecision=29000 #constraints=10376
178.85/178.91	c nbDecision=29500 #constraints=10488
179.85/179.94	c nbDecision=30000 #constraints=10586
180.55/180.64	c nbDecision=30500 #constraints=10685
181.25/181.32	c nbDecision=31000 #constraints=10798
181.95/182.02	c nbDecision=31500 #constraints=10909
184.24/184.39	c nbDecision=32000 #constraints=11021
185.94/186.07	c nbDecision=32500 #constraints=11131
186.64/186.79	c nbDecision=33000 #constraints=11231
187.84/187.99	c nbDecision=33500 #constraints=11342
189.15/189.29	c nbDecision=34000 #constraints=11445
189.64/189.76	c nbDecision=34500 #constraints=11511
191.04/191.18	c nbDecision=35000 #constraints=11587
192.54/192.67	c nbDecision=35500 #constraints=11666
193.14/193.26	c nbDecision=36000 #constraints=11727
193.84/193.91	c nbDecision=36500 #constraints=11776
194.24/194.36	c nbDecision=37000 #constraints=11831
195.84/195.92	c nbDecision=37500 #constraints=11899
196.44/196.50	c nbDecision=38000 #constraints=11959
197.84/197.96	c nbDecision=38500 #constraints=12025
198.54/198.67	c nbDecision=39000 #constraints=12074
200.34/200.49	c nbDecision=39500 #constraints=12178
201.84/201.96	c nbDecision=40000 #constraints=12258
202.34/202.45	c nbDecision=40500 #constraints=12333
203.54/203.64	c nbDecision=41000 #constraints=12380
206.13/206.21	c nbDecision=41500 #constraints=12478
207.03/207.19	c nbDecision=42000 #constraints=12579
208.53/208.67	c nbDecision=42500 #constraints=12653
210.23/210.31	c nbDecision=43000 #constraints=12697
211.23/211.33	c nbDecision=43500 #constraints=12745
211.63/211.72	c nbDecision=44000 #constraints=12795
212.03/212.17	c nbDecision=44500 #constraints=12845
212.63/212.76	c nbDecision=45000 #constraints=12893
213.13/213.25	c nbDecision=45500 #constraints=12940
213.93/214.05	c nbDecision=46000 #constraints=12986
214.53/214.62	c nbDecision=46500 #constraints=13030
214.93/215.07	c nbDecision=47000 #constraints=13076
215.63/215.72	c nbDecision=47500 #constraints=13119
216.53/216.60	c nbDecision=48000 #constraints=13161
218.03/218.19	c nbDecision=48500 #constraints=13214
221.73/221.86	c nbDecision=49000 #constraints=13384
223.34/223.44	c nbDecision=49500 #constraints=13506
225.14/225.28	c nbDecision=50000 #constraints=13604
225.84/225.92	c nbDecision=50500 #constraints=13707
226.54/226.66	c nbDecision=51000 #constraints=13779
226.84/226.93	c restart after 51201 decisions
230.64/230.74	c nbDecision=51500 #constraints=13986
237.63/237.73	c nbDecision=52000 #constraints=14256
244.83/244.99	c nbDecision=52500 #constraints=14462
251.03/251.15	c nbDecision=53000 #constraints=14661
258.22/258.35	c nbDecision=53500 #constraints=14859
265.42/265.50	c nbDecision=54000 #constraints=15065
271.32/271.48	c nbDecision=54500 #constraints=15249
276.72/276.90	c nbDecision=55000 #constraints=15410
286.12/286.25	c nbDecision=55500 #constraints=15527
294.01/294.15	c nbDecision=56000 #constraints=15671
301.81/301.97	c nbDecision=56500 #constraints=15835
306.21/306.37	c nbDecision=57000 #constraints=15942
309.21/309.37	c nbDecision=57500 #constraints=16033
312.11/312.26	c nbDecision=58000 #constraints=16121
315.21/315.32	c nbDecision=58500 #constraints=16215
319.11/319.29	c nbDecision=59000 #constraints=16307
321.90/322.05	c nbDecision=59500 #constraints=16390
324.80/324.91	c nbDecision=60000 #constraints=16473
327.61/327.77	c nbDecision=60500 #constraints=16556
330.60/330.71	c nbDecision=61000 #constraints=16640
333.70/333.80	c nbDecision=61500 #constraints=16721
336.41/336.58	c nbDecision=62000 #constraints=16805
339.31/339.43	c nbDecision=62500 #constraints=16888
342.11/342.27	c nbDecision=63000 #constraints=16971
345.01/345.11	c nbDecision=63500 #constraints=17061
349.31/349.42	c nbDecision=64000 #constraints=17153
352.10/352.27	c nbDecision=64500 #constraints=17237
356.40/356.54	c nbDecision=65000 #constraints=17331
359.30/359.45	c nbDecision=65500 #constraints=17415
362.50/362.62	c nbDecision=66000 #constraints=17497
365.80/365.91	c nbDecision=66500 #constraints=17602
369.70/369.83	c nbDecision=67000 #constraints=17689
373.30/373.48	c nbDecision=67500 #constraints=17791
377.20/377.38	c nbDecision=68000 #constraints=17879
381.29/381.46	c nbDecision=68500 #constraints=17966
384.39/384.52	c nbDecision=69000 #constraints=18050
388.59/388.77	c nbDecision=69500 #constraints=18136
392.79/392.99	c nbDecision=70000 #constraints=18230
395.69/395.83	c nbDecision=70500 #constraints=18313
398.79/398.95	c nbDecision=71000 #constraints=18404
402.29/402.40	c nbDecision=71500 #constraints=18497
404.49/404.64	c nbDecision=72000 #constraints=18567
407.49/407.66	c nbDecision=72500 #constraints=18631
409.69/409.83	c nbDecision=73000 #constraints=18698
412.79/412.94	c nbDecision=73500 #constraints=18761
414.79/414.99	c nbDecision=74000 #constraints=18823
417.99/418.10	c nbDecision=74500 #constraints=18891
420.89/421.03	c nbDecision=75000 #constraints=18954
423.69/423.85	c nbDecision=75500 #constraints=19015
426.29/426.44	c nbDecision=76000 #constraints=19072
429.38/429.54	c nbDecision=76500 #constraints=19128
432.38/432.58	c nbDecision=77000 #constraints=19190
434.18/434.36	c nbDecision=77500 #constraints=19238
437.18/437.31	c nbDecision=78000 #constraints=19297
438.68/438.90	c nbDecision=78500 #constraints=19340
440.38/440.57	c nbDecision=79000 #constraints=19385
443.58/443.71	c nbDecision=79500 #constraints=19446
445.48/445.61	c nbDecision=80000 #constraints=19492
448.58/448.75	c nbDecision=80500 #constraints=19559
450.58/450.78	c nbDecision=81000 #constraints=19601
454.88/455.05	c nbDecision=81500 #constraints=19683
457.78/457.98	c nbDecision=82000 #constraints=19766
460.78/460.92	c nbDecision=82500 #constraints=19822
464.27/464.40	c nbDecision=83000 #constraints=19892
466.28/466.48	c nbDecision=83500 #constraints=19943
469.48/469.69	c nbDecision=84000 #constraints=20006
471.37/471.51	c nbDecision=84500 #constraints=20048
474.67/474.84	c nbDecision=85000 #constraints=20111
478.97/479.19	c nbDecision=85500 #constraints=20194
482.07/482.26	c nbDecision=86000 #constraints=20278
485.57/485.72	c nbDecision=86500 #constraints=20351
487.57/487.75	c nbDecision=87000 #constraints=20394
490.07/490.21	c nbDecision=87500 #constraints=20437
493.36/493.53	c nbDecision=88000 #constraints=20518
496.97/497.18	c nbDecision=88500 #constraints=20598
499.17/499.32	c nbDecision=89000 #constraints=20642
501.66/501.88	c nbDecision=89500 #constraints=20683
505.86/506.08	c nbDecision=90000 #constraints=20759
508.86/509.10	c nbDecision=90500 #constraints=20842
511.96/512.14	c nbDecision=91000 #constraints=20902
516.66/516.85	c nbDecision=91500 #constraints=20982
519.76/519.95	c nbDecision=92000 #constraints=21066
523.26/523.45	c nbDecision=92500 #constraints=21140
526.56/526.71	c nbDecision=93000 #constraints=21217
530.26/530.45	c nbDecision=93500 #constraints=21302
533.86/534.09	c nbDecision=94000 #constraints=21381
536.76/536.96	c nbDecision=94500 #constraints=21456
540.76/540.96	c nbDecision=95000 #constraints=21543
544.46/544.63	c nbDecision=95500 #constraints=21622
546.96/547.16	c nbDecision=96000 #constraints=21696
551.16/551.38	c nbDecision=96500 #constraints=21783
554.86/555.06	c nbDecision=97000 #constraints=21863
556.85/557.02	c nbDecision=97500 #constraints=21908
558.45/558.61	c nbDecision=98000 #constraints=21952
560.55/560.71	c nbDecision=98500 #constraints=22019
564.95/565.15	c nbDecision=99000 #constraints=22110
568.75/568.93	c nbDecision=99500 #constraints=22192
570.55/570.75	c nbDecision=100000 #constraints=22238
572.55/572.71	c nbDecision=100500 #constraints=22292
577.35/577.51	c nbDecision=101000 #constraints=22390
580.65/580.89	c nbDecision=101500 #constraints=22474
583.14/583.31	c nbDecision=102000 #constraints=22522
584.44/584.64	c restart after 102401 decisions
585.84/586.02	c nbDecision=102500 #constraints=22628
595.74/595.91	c nbDecision=103000 #constraints=22897
604.54/604.77	c nbDecision=103500 #constraints=23127
613.43/613.65	c nbDecision=104000 #constraints=23304
623.73/623.90	c nbDecision=104500 #constraints=23476
630.34/630.51	c nbDecision=105000 #constraints=23663
634.34/634.52	c nbDecision=105500 #constraints=23850
640.53/640.71	c nbDecision=106000 #constraints=23994
641.53/641.80	c nbDecision=106500 #constraints=24111
642.83/643.00	c nbDecision=107000 #constraints=24211
644.13/644.36	c nbDecision=107500 #constraints=24311
645.83/646.03	c nbDecision=108000 #constraints=24418
648.03/648.29	c nbDecision=108500 #constraints=24521
649.43/649.66	c nbDecision=109000 #constraints=24624
650.63/650.88	c nbDecision=109500 #constraints=24724
652.63/652.83	c nbDecision=110000 #constraints=24838
653.83/654.00	c nbDecision=110500 #constraints=24945
654.33/654.59	c nbDecision=111000 #constraints=25013
657.13/657.35	c nbDecision=111500 #constraints=25106
658.63/658.82	c nbDecision=112000 #constraints=25207
660.13/660.34	c nbDecision=112500 #constraints=25279
661.93/662.16	c nbDecision=113000 #constraints=25348
663.82/664.06	c nbDecision=113500 #constraints=25438
664.42/664.66	c nbDecision=114000 #constraints=25490
664.92/665.14	c nbDecision=114500 #constraints=25548
665.62/665.82	c nbDecision=115000 #constraints=25596
666.62/666.89	c nbDecision=115500 #constraints=25644
668.02/668.28	c nbDecision=116000 #constraints=25701
669.82/670.03	c nbDecision=116500 #constraints=25760
672.62/672.86	c nbDecision=117000 #constraints=25858
674.72/674.90	c nbDecision=117500 #constraints=25945
675.72/675.99	c nbDecision=118000 #constraints=25992
678.12/678.38	c nbDecision=118500 #constraints=26037
681.62/681.82	c nbDecision=119000 #constraints=26080
682.02/682.27	c nbDecision=119500 #constraints=26129
682.72/682.94	c nbDecision=120000 #constraints=26178
683.42/683.62	c nbDecision=120500 #constraints=26227
684.22/684.41	c nbDecision=121000 #constraints=26275
685.12/685.36	c nbDecision=121500 #constraints=26320
685.72/685.92	c nbDecision=122000 #constraints=26368
686.62/686.84	c nbDecision=122500 #constraints=26410
690.42/690.65	c nbDecision=123000 #constraints=26510
694.32/694.53	c nbDecision=123500 #constraints=26661
696.32/696.59	c nbDecision=124000 #constraints=26784
698.71/698.95	c nbDecision=124500 #constraints=26903
699.61/699.80	c nbDecision=125000 #constraints=26982
700.31/700.50	c nbDecision=125500 #constraints=27063
701.21/701.47	c nbDecision=126000 #constraints=27124
702.81/703.03	c nbDecision=126500 #constraints=27172
705.01/705.25	c nbDecision=127000 #constraints=27259
706.02/706.26	c nbDecision=127500 #constraints=27324
708.31/708.56	c nbDecision=128000 #constraints=27369
709.41/709.69	c nbDecision=128500 #constraints=27425
711.71/711.92	c nbDecision=129000 #constraints=27470
713.41/713.61	c nbDecision=129500 #constraints=27519
713.81/714.03	c nbDecision=130000 #constraints=27583
714.31/714.52	c nbDecision=130500 #constraints=27633
715.11/715.34	c nbDecision=131000 #constraints=27681
719.01/719.22	c nbDecision=131500 #constraints=27783
720.71/720.97	c nbDecision=132000 #constraints=27883
722.61/722.87	c nbDecision=132500 #constraints=27942
723.41/723.66	c nbDecision=133000 #constraints=27988
724.41/724.68	c nbDecision=133500 #constraints=28032
732.90/733.12	c nbDecision=134000 #constraints=28148
739.31/739.51	c nbDecision=134500 #constraints=28304
742.81/743.06	c nbDecision=135000 #constraints=28474
744.31/744.57	c nbDecision=135500 #constraints=28583
746.71/746.98	c nbDecision=136000 #constraints=28701
748.81/749.08	c nbDecision=136500 #constraints=28801
749.61/749.80	c nbDecision=137000 #constraints=28879
750.70/750.99	c nbDecision=137500 #constraints=28944
751.51/751.79	c nbDecision=138000 #constraints=28994
753.10/753.39	c nbDecision=138500 #constraints=29060
754.00/754.24	c nbDecision=139000 #constraints=29127
757.40/757.68	c nbDecision=139500 #constraints=29261
759.81/760.04	c nbDecision=140000 #constraints=29362
760.80/761.01	c nbDecision=140500 #constraints=29421
763.00/763.23	c nbDecision=141000 #constraints=29477
765.90/766.18	c nbDecision=141500 #constraints=29586
767.70/767.97	c nbDecision=142000 #constraints=29686
769.60/769.80	c nbDecision=142500 #constraints=29759
772.10/772.32	c nbDecision=143000 #constraints=29805
774.39/774.65	c nbDecision=143500 #constraints=29850
775.20/775.47	c nbDecision=144000 #constraints=29898
776.40/776.69	c nbDecision=144500 #constraints=29972
776.79/777.09	c nbDecision=145000 #constraints=30023
777.59/777.87	c nbDecision=145500 #constraints=30070
778.29/778.52	c nbDecision=146000 #constraints=30117
781.30/781.54	c nbDecision=146500 #constraints=30175
786.00/786.21	c nbDecision=147000 #constraints=30333
789.40/789.62	c nbDecision=147500 #constraints=30442
791.10/791.37	c nbDecision=148000 #constraints=30566
792.10/792.34	c nbDecision=148500 #constraints=30655
792.90/793.18	c nbDecision=149000 #constraints=30742
794.00/794.27	c nbDecision=149500 #constraints=30791
795.00/795.26	c nbDecision=150000 #constraints=30841
795.90/796.14	c nbDecision=150500 #constraints=30906
797.20/797.44	c nbDecision=151000 #constraints=30970
800.50/800.77	c nbDecision=151500 #constraints=31013
801.49/801.73	c nbDecision=152000 #constraints=31079
803.49/803.72	c nbDecision=152500 #constraints=31169
804.79/805.09	c nbDecision=153000 #constraints=31218
805.49/805.76	c nbDecision=153500 #constraints=31268
808.09/808.31	c nbDecision=154000 #constraints=31338
808.89/809.14	c nbDecision=154500 #constraints=31386
810.29/810.53	c nbDecision=155000 #constraints=31432
816.69/816.96	c nbDecision=155500 #constraints=31555
819.09/819.36	c nbDecision=156000 #constraints=31694
820.59/820.84	c nbDecision=156500 #constraints=31830
823.69/823.91	c nbDecision=157000 #constraints=31932
824.69/824.94	c nbDecision=157500 #constraints=32011
825.89/826.11	c nbDecision=158000 #constraints=32078
826.69/826.95	c nbDecision=158500 #constraints=32127
828.79/829.04	c nbDecision=159000 #constraints=32174
831.58/831.81	c nbDecision=159500 #constraints=32244
832.49/832.71	c nbDecision=160000 #constraints=32309
834.48/834.78	c nbDecision=160500 #constraints=32358
836.68/836.91	c nbDecision=161000 #constraints=32423
837.28/837.58	c nbDecision=161500 #constraints=32472
838.08/838.34	c nbDecision=162000 #constraints=32521
842.08/842.33	c nbDecision=162500 #constraints=32639
845.08/845.38	c nbDecision=163000 #constraints=32740
846.08/846.37	c nbDecision=163500 #constraints=32805
846.78/847.09	c nbDecision=164000 #constraints=32856
847.88/848.19	c nbDecision=164500 #constraints=32903
849.78/850.03	c nbDecision=165000 #constraints=32948
850.88/851.13	c nbDecision=165500 #constraints=32994
852.08/852.32	c nbDecision=166000 #constraints=33040
855.08/855.36	c nbDecision=166500 #constraints=33082
857.37/857.65	c nbDecision=167000 #constraints=33126
857.97/858.21	c nbDecision=167500 #constraints=33176
863.37/863.68	c nbDecision=168000 #constraints=33247
868.57/868.85	c nbDecision=168500 #constraints=33406
870.88/871.12	c nbDecision=169000 #constraints=33529
874.17/874.49	c nbDecision=169500 #constraints=33644
875.17/875.46	c nbDecision=170000 #constraints=33721
876.57/876.80	c nbDecision=170500 #constraints=33776
877.17/877.44	c nbDecision=171000 #constraints=33863
877.88/878.17	c nbDecision=171500 #constraints=33929
878.48/878.75	c nbDecision=172000 #constraints=33996
880.18/880.44	c nbDecision=172500 #constraints=34045
883.08/883.35	c nbDecision=173000 #constraints=34105
885.28/885.52	c nbDecision=173500 #constraints=34152
885.97/886.20	c nbDecision=174000 #constraints=34249
888.77/889.00	c nbDecision=174500 #constraints=34293
889.47/889.79	c nbDecision=175000 #constraints=34342
890.97/891.24	c nbDecision=175500 #constraints=34389
891.97/892.22	c nbDecision=176000 #constraints=34439
894.07/894.37	c nbDecision=176500 #constraints=34483
898.87/899.11	c nbDecision=177000 #constraints=34520
901.27/901.58	c nbDecision=177500 #constraints=34614
902.77/903.07	c nbDecision=178000 #constraints=34702
904.77/905.06	c nbDecision=178500 #constraints=34792
906.17/906.49	c nbDecision=179000 #constraints=34850
907.17/907.42	c nbDecision=179500 #constraints=34900
910.27/910.59	c nbDecision=180000 #constraints=34958
913.16/913.42	c nbDecision=180500 #constraints=35026
916.76/917.06	c nbDecision=181000 #constraints=35074
921.16/921.42	c nbDecision=181500 #constraints=35123
923.96/924.25	c nbDecision=182000 #constraints=35165
925.26/925.53	c nbDecision=182500 #constraints=35207
928.16/928.45	c nbDecision=183000 #constraints=35249
930.16/930.43	c nbDecision=183500 #constraints=35290
932.86/933.13	c nbDecision=184000 #constraints=35331
934.16/934.42	c nbDecision=184500 #constraints=35374
934.96/935.22	c nbDecision=185000 #constraints=35419
936.16/936.42	c nbDecision=185500 #constraints=35463
936.96/937.28	c nbDecision=186000 #constraints=35509
939.16/939.43	c nbDecision=186500 #constraints=35551
940.85/941.19	c nbDecision=187000 #constraints=35593
942.55/942.89	c nbDecision=187500 #constraints=35636
944.56/944.89	c nbDecision=188000 #constraints=35678
947.25/947.59	c nbDecision=188500 #constraints=35719
949.25/949.58	c nbDecision=189000 #constraints=35760
951.45/951.79	c nbDecision=189500 #constraints=35801
953.46/953.73	c nbDecision=190000 #constraints=35842
956.75/957.07	c nbDecision=190500 #constraints=35882
959.65/959.98	c nbDecision=191000 #constraints=35922
960.96/961.30	c nbDecision=191500 #constraints=35981
961.46/961.73	c nbDecision=192000 #constraints=36031
964.46/964.70	c nbDecision=192500 #constraints=36072
968.65/968.91	c nbDecision=193000 #constraints=36111
970.85/971.17	c nbDecision=193500 #constraints=36151
972.85/973.15	c nbDecision=194000 #constraints=36193
973.95/974.24	c nbDecision=194500 #constraints=36235
976.65/976.98	c nbDecision=195000 #constraints=36276
979.35/979.64	c nbDecision=195500 #constraints=36316
981.35/981.66	c nbDecision=196000 #constraints=36358
983.75/984.05	c nbDecision=196500 #constraints=36399
985.05/985.39	c nbDecision=197000 #constraints=36439
986.25/986.52	c nbDecision=197500 #constraints=36478
987.75/988.08	c nbDecision=198000 #constraints=36518
988.95/989.26	c nbDecision=198500 #constraints=36557
992.85/993.11	c nbDecision=199000 #constraints=36593
994.85/995.18	c nbDecision=199500 #constraints=36633
996.15/996.46	c nbDecision=200000 #constraints=36672
998.35/998.61	c nbDecision=200500 #constraints=36711
999.25/999.58	c nbDecision=201000 #constraints=36751
999.84/1000.13	c nbDecision=201500 #constraints=36791
1000.54/1000.88	c nbDecision=202000 #constraints=36830
1002.44/1002.73	c nbDecision=202500 #constraints=36867
1003.04/1003.30	c nbDecision=203000 #constraints=36905
1004.64/1004.97	c nbDecision=203500 #constraints=36944
1006.04/1006.40	c nbDecision=204000 #constraints=36980
1006.64/1006.96	c nbDecision=204500 #constraints=37019
1007.04/1007.39	c restart after 204801 decisions
1012.74/1013.10	c nbDecision=205000 #constraints=37121
1026.83/1027.18	c nbDecision=205500 #constraints=37320
1039.24/1039.55	c nbDecision=206000 #constraints=37481
1050.73/1051.04	c nbDecision=206500 #constraints=37649
1056.23/1056.50	c nbDecision=207000 #constraints=37818
1064.62/1064.99	c nbDecision=207500 #constraints=37971
1066.62/1066.93	c nbDecision=208000 #constraints=38092
1068.92/1069.24	c nbDecision=208500 #constraints=38192
1071.12/1071.46	c nbDecision=209000 #constraints=38292
1073.52/1073.80	c nbDecision=209500 #constraints=38391
1075.72/1076.09	c nbDecision=210000 #constraints=38510
1079.72/1080.06	c nbDecision=210500 #constraints=38638
1083.52/1083.83	c nbDecision=211000 #constraints=38752
1085.82/1086.19	c nbDecision=211500 #constraints=38852
1089.83/1090.19	c nbDecision=212000 #constraints=38958
1092.92/1093.29	c nbDecision=212500 #constraints=39057
1094.82/1095.10	c nbDecision=213000 #constraints=39172
1096.82/1097.10	c nbDecision=213500 #constraints=39270
1098.12/1098.41	c nbDecision=214000 #constraints=39336
1100.42/1100.71	c nbDecision=214500 #constraints=39426
1101.62/1101.90	c nbDecision=215000 #constraints=39484
1104.42/1104.78	c nbDecision=215500 #constraints=39554
1105.62/1105.99	c nbDecision=216000 #constraints=39629
1106.52/1106.90	c nbDecision=216500 #constraints=39679
1107.62/1107.99	c nbDecision=217000 #constraints=39729
1108.82/1109.14	c nbDecision=217500 #constraints=39777
1111.72/1112.08	c nbDecision=218000 #constraints=39846
1116.12/1116.43	c nbDecision=218500 #constraints=39970
1119.42/1119.71	c nbDecision=219000 #constraints=40070
1121.31/1121.69	c nbDecision=219500 #constraints=40120
1122.72/1123.03	c nbDecision=220000 #constraints=40169
1125.71/1126.04	c nbDecision=220500 #constraints=40239
1129.21/1129.57	c nbDecision=221000 #constraints=40282
1133.11/1133.46	c nbDecision=221500 #constraints=40348
1136.91/1137.24	c nbDecision=222000 #constraints=40416
1139.81/1140.17	c nbDecision=222500 #constraints=40516
1142.80/1143.11	c nbDecision=223000 #constraints=40588
1145.10/1145.46	c nbDecision=223500 #constraints=40634
1145.81/1146.19	c nbDecision=224000 #constraints=40683
1146.91/1147.26	c nbDecision=224500 #constraints=40730
1147.90/1148.21	c nbDecision=225000 #constraints=40778
1149.80/1150.15	c nbDecision=225500 #constraints=40821
1151.10/1151.44	c nbDecision=226000 #constraints=40865
1152.30/1152.67	c nbDecision=226500 #constraints=40910
1153.20/1153.59	c nbDecision=227000 #constraints=40958
1160.30/1160.68	c nbDecision=227500 #constraints=41105
1162.60/1163.00	c nbDecision=228000 #constraints=41230
1166.70/1167.03	c nbDecision=228500 #constraints=41350
1167.90/1168.28	c nbDecision=229000 #constraints=41436
1169.60/1169.93	c nbDecision=229500 #constraints=41496
1170.50/1170.85	c nbDecision=230000 #constraints=41553
1171.59/1171.98	c nbDecision=230500 #constraints=41610
1173.79/1174.15	c nbDecision=231000 #constraints=41672
1177.30/1177.63	c nbDecision=231500 #constraints=41717
1178.40/1178.77	c nbDecision=232000 #constraints=41783
1182.30/1182.67	c nbDecision=232500 #constraints=41826
1183.10/1183.46	c nbDecision=233000 #constraints=41875
1184.10/1184.46	c nbDecision=233500 #constraints=41970
1184.70/1185.04	c nbDecision=234000 #constraints=42019
1186.30/1186.66	c nbDecision=234500 #constraints=42066
1187.40/1187.79	c nbDecision=235000 #constraints=42111
1188.60/1188.94	c nbDecision=235500 #constraints=42158
1191.40/1191.70	c nbDecision=236000 #constraints=42202
1197.99/1198.39	c nbDecision=236500 #constraints=42369
1200.80/1201.15	c nbDecision=237000 #constraints=42496
1204.49/1204.87	c nbDecision=237500 #constraints=42612
1205.69/1206.08	c nbDecision=238000 #constraints=42693
1206.79/1207.15	c nbDecision=238500 #constraints=42774
1207.99/1208.34	c nbDecision=239000 #constraints=42840
1209.19/1209.55	c nbDecision=239500 #constraints=42888
1210.19/1210.58	c nbDecision=240000 #constraints=42965
1212.59/1212.93	c nbDecision=240500 #constraints=43011
1215.69/1216.08	c nbDecision=241000 #constraints=43056
1216.89/1217.26	c nbDecision=241500 #constraints=43121
1220.79/1221.14	c nbDecision=242000 #constraints=43165
1221.49/1221.82	c nbDecision=242500 #constraints=43214
1222.39/1222.71	c nbDecision=243000 #constraints=43263
1224.68/1225.00	c nbDecision=243500 #constraints=43308
1229.88/1230.20	c nbDecision=244000 #constraints=43467
1234.18/1234.54	c nbDecision=244500 #constraints=43681
1237.38/1237.70	c nbDecision=245000 #constraints=43864
1240.18/1240.55	c nbDecision=245500 #constraints=43987
1241.48/1241.89	c nbDecision=246000 #constraints=44120
1242.58/1242.90	c nbDecision=246500 #constraints=44262
1243.58/1243.97	c nbDecision=247000 #constraints=44412
1244.38/1244.78	c nbDecision=247500 #constraints=44524
1245.08/1245.50	c nbDecision=248000 #constraints=44617
1245.78/1246.20	c nbDecision=248500 #constraints=44709
1246.68/1247.02	c nbDecision=249000 #constraints=44797
1247.48/1247.82	c nbDecision=249500 #constraints=44885
1248.48/1248.83	c nbDecision=250000 #constraints=44966
1249.38/1249.70	c nbDecision=250500 #constraints=45052
1250.28/1250.69	c nbDecision=251000 #constraints=45157
1251.18/1251.56	c nbDecision=251500 #constraints=45246
1252.07/1252.42	c nbDecision=252000 #constraints=45354
1253.07/1253.41	c nbDecision=252500 #constraints=45437
1253.77/1254.17	c nbDecision=253000 #constraints=45524
1254.37/1254.77	c nbDecision=253500 #constraints=45595
1255.17/1255.59	c nbDecision=254000 #constraints=45682
1255.78/1256.15	c nbDecision=254500 #constraints=45752
1256.47/1256.84	c nbDecision=255000 #constraints=45842
1257.37/1257.77	c nbDecision=255500 #constraints=45905
1259.27/1259.61	c nbDecision=256000 #constraints=45951
1262.58/1262.91	c nbDecision=256500 #constraints=45991
1270.38/1270.79	c nbDecision=257000 #constraints=46125
1273.18/1273.55	c nbDecision=257500 #constraints=46243
1277.38/1277.73	c nbDecision=258000 #constraints=46347
1278.27/1278.64	c nbDecision=258500 #constraints=46427
1279.87/1280.24	c nbDecision=259000 #constraints=46551
1282.67/1283.03	c nbDecision=259500 #constraints=46644
1284.48/1284.89	c nbDecision=260000 #constraints=46696
1285.87/1286.27	c nbDecision=260500 #constraints=46744
1288.07/1288.41	c nbDecision=261000 #constraints=46791
1289.47/1289.88	c nbDecision=261500 #constraints=46855
1292.47/1292.81	c nbDecision=262000 #constraints=46902
1293.57/1293.97	c nbDecision=262500 #constraints=47013
1296.67/1297.06	c nbDecision=263000 #constraints=47060
1299.07/1299.40	c nbDecision=263500 #constraints=47106
1299.77/1300.11	c nbDecision=264000 #constraints=47155
1301.37/1301.78	c nbDecision=264500 #constraints=47243
1303.17/1303.57	c nbDecision=265000 #constraints=47328
1304.27/1304.68	c nbDecision=265500 #constraints=47385
1305.56/1305.94	c nbDecision=266000 #constraints=47430
1307.96/1308.33	c nbDecision=266500 #constraints=47474
1309.06/1309.42	c nbDecision=267000 #constraints=47531
1310.66/1311.10	c nbDecision=267500 #constraints=47577
1317.76/1318.13	c nbDecision=268000 #constraints=47671
1323.36/1323.79	c nbDecision=268500 #constraints=47793
1327.36/1327.71	c nbDecision=269000 #constraints=47916
1329.26/1329.64	c nbDecision=269500 #constraints=48014
1331.46/1331.81	c nbDecision=270000 #constraints=48064
1332.36/1332.76	c nbDecision=270500 #constraints=48129
1333.36/1333.73	c nbDecision=271000 #constraints=48218
1334.86/1335.22	c nbDecision=271500 #constraints=48282
1337.45/1337.85	c nbDecision=272000 #constraints=48330
1340.75/1341.13	c nbDecision=272500 #constraints=48414
1342.66/1343.01	c nbDecision=273000 #constraints=48466
1345.96/1346.33	c nbDecision=273500 #constraints=48515
1346.75/1347.16	c nbDecision=274000 #constraints=48564
1347.55/1347.94	c nbDecision=274500 #constraints=48642
1348.25/1348.67	c nbDecision=275000 #constraints=48691
1349.25/1349.62	c nbDecision=275500 #constraints=48740
1352.15/1352.54	c nbDecision=276000 #constraints=48783
1356.66/1357.03	c nbDecision=276500 #constraints=48948
1358.56/1358.97	c nbDecision=277000 #constraints=49054
1359.96/1360.37	c nbDecision=277500 #constraints=49212
1361.16/1361.52	c nbDecision=278000 #constraints=49348
1362.25/1362.60	c nbDecision=278500 #constraints=49481
1363.05/1363.41	c nbDecision=279000 #constraints=49572
1363.95/1364.34	c nbDecision=279500 #constraints=49680
1364.85/1365.21	c nbDecision=280000 #constraints=49780
1365.65/1366.08	c nbDecision=280500 #constraints=49869
1366.65/1367.05	c nbDecision=281000 #constraints=49956
1367.75/1368.13	c nbDecision=281500 #constraints=50065
1368.75/1369.14	c nbDecision=282000 #constraints=50161
1369.65/1370.07	c nbDecision=282500 #constraints=50266
1371.25/1371.60	c nbDecision=283000 #constraints=50339
1371.95/1372.39	c nbDecision=283500 #constraints=50432
1373.15/1373.55	c nbDecision=284000 #constraints=50516
1373.85/1374.29	c nbDecision=284500 #constraints=50582
1374.55/1374.99	c nbDecision=285000 #constraints=50650
1375.35/1375.71	c nbDecision=285500 #constraints=50716
1375.95/1376.37	c nbDecision=286000 #constraints=50780
1376.75/1377.14	c nbDecision=286500 #constraints=50867
1377.45/1377.88	c nbDecision=287000 #constraints=50956
1378.15/1378.52	c nbDecision=287500 #constraints=51022
1392.25/1392.65	c nbDecision=288000 #constraints=51165
1398.74/1399.18	c nbDecision=288500 #constraints=51307
1403.34/1403.70	c nbDecision=289000 #constraints=51421
1408.04/1408.50	c nbDecision=289500 #constraints=51566
1411.74/1412.12	c nbDecision=290000 #constraints=51666
1413.34/1413.77	c nbDecision=290500 #constraints=51741
1414.54/1414.90	c nbDecision=291000 #constraints=51824
1415.64/1416.04	c nbDecision=291500 #constraints=51911
1416.53/1416.99	c nbDecision=292000 #constraints=51962
1417.73/1418.18	c nbDecision=292500 #constraints=52027
1419.74/1420.12	c nbDecision=293000 #constraints=52075
1422.03/1422.49	c nbDecision=293500 #constraints=52158
1423.73/1424.18	c nbDecision=294000 #constraints=52235
1428.23/1428.60	c nbDecision=294500 #constraints=52300
1431.53/1431.99	c nbDecision=295000 #constraints=52350
1435.53/1435.95	c nbDecision=295500 #constraints=52394
1436.53/1436.93	c nbDecision=296000 #constraints=52443
1437.73/1438.16	c nbDecision=296500 #constraints=52491
1440.04/1440.48	c nbDecision=297000 #constraints=52536
1443.03/1443.49	c nbDecision=297500 #constraints=52581
1457.93/1458.38	c nbDecision=298000 #constraints=52739
1464.63/1465.00	c nbDecision=298500 #constraints=52882
1466.83/1467.29	c nbDecision=299000 #constraints=53007
1471.23/1471.60	c nbDecision=299500 #constraints=53112
1472.43/1472.84	c nbDecision=300000 #constraints=53190
1474.13/1474.55	c nbDecision=300500 #constraints=53255
1475.42/1475.80	c nbDecision=301000 #constraints=53304
1478.12/1478.54	c nbDecision=301500 #constraints=53359
1479.82/1480.22	c nbDecision=302000 #constraints=53416
1481.82/1482.27	c nbDecision=302500 #constraints=53491
1485.22/1485.63	c nbDecision=303000 #constraints=53550
1489.02/1489.41	c nbDecision=303500 #constraints=53594
1490.02/1490.41	c nbDecision=304000 #constraints=53643
1491.52/1491.92	c nbDecision=304500 #constraints=53691
1493.72/1494.17	c nbDecision=305000 #constraints=53741
1497.61/1498.05	c nbDecision=305500 #constraints=53835
1499.71/1500.18	c nbDecision=306000 #constraints=53918
1500.61/1501.07	c nbDecision=306500 #constraints=54013
1501.21/1501.60	c nbDecision=307000 #constraints=54063
1503.71/1504.12	c nbDecision=307500 #constraints=54155
1506.21/1506.69	c nbDecision=308000 #constraints=54226
1509.51/1509.95	c nbDecision=308500 #constraints=54279
1513.91/1514.33	c nbDecision=309000 #constraints=54323
1518.31/1518.79	c nbDecision=309500 #constraints=54371
1519.41/1519.80	c nbDecision=310000 #constraints=54441
1520.11/1520.54	c nbDecision=310500 #constraints=54490
1522.31/1522.72	c nbDecision=311000 #constraints=54540
1525.21/1525.69	c nbDecision=311500 #constraints=54584
1529.71/1530.17	c nbDecision=312000 #constraints=54625
1535.11/1535.59	c nbDecision=312500 #constraints=54663
1540.80/1541.26	c nbDecision=313000 #constraints=54701
1545.20/1545.64	c nbDecision=313500 #constraints=54741
1546.90/1547.37	c nbDecision=314000 #constraints=54784
1549.60/1550.04	c nbDecision=314500 #constraints=54826
1552.50/1552.98	c nbDecision=315000 #constraints=54868
1555.30/1555.73	c nbDecision=315500 #constraints=54911
1556.89/1557.30	c nbDecision=316000 #constraints=54957
1558.09/1558.58	c nbDecision=316500 #constraints=55002
1560.49/1560.97	c nbDecision=317000 #constraints=55044
1563.69/1564.13	c nbDecision=317500 #constraints=55086
1566.89/1567.31	c nbDecision=318000 #constraints=55128
1569.69/1570.13	c nbDecision=318500 #constraints=55170
1572.89/1573.31	c nbDecision=319000 #constraints=55212
1576.69/1577.16	c nbDecision=319500 #constraints=55253
1579.19/1579.61	c nbDecision=320000 #constraints=55295
1583.18/1583.67	c nbDecision=320500 #constraints=55336
1587.08/1587.50	c nbDecision=321000 #constraints=55376
1590.19/1590.66	c nbDecision=321500 #constraints=55442
1590.98/1591.41	c nbDecision=322000 #constraints=55514
1595.18/1595.69	c nbDecision=322500 #constraints=55555
1598.79/1599.27	c nbDecision=323000 #constraints=55596
1604.09/1604.59	c nbDecision=323500 #constraints=55634
1606.69/1607.15	c nbDecision=324000 #constraints=55710
1607.79/1608.28	c nbDecision=324500 #constraints=55772
1611.78/1612.28	c nbDecision=325000 #constraints=55812
1614.48/1614.98	c nbDecision=325500 #constraints=55857
1618.48/1618.96	c nbDecision=326000 #constraints=55898
1619.88/1620.34	c nbDecision=326500 #constraints=55938
1621.38/1621.81	c nbDecision=327000 #constraints=55978
1623.28/1623.73	c nbDecision=327500 #constraints=56018
1625.18/1625.67	c nbDecision=328000 #constraints=56057
1628.38/1628.82	c nbDecision=328500 #constraints=56097
1631.08/1631.59	c nbDecision=329000 #constraints=56139
1634.18/1634.62	c nbDecision=329500 #constraints=56183
1635.77/1636.28	c nbDecision=330000 #constraints=56223
1640.07/1640.50	c nbDecision=330500 #constraints=56259
1644.47/1644.94	c nbDecision=331000 #constraints=56296
1647.67/1648.10	c nbDecision=331500 #constraints=56336
1648.57/1649.08	c nbDecision=332000 #constraints=56377
1649.57/1650.01	c nbDecision=332500 #constraints=56417
1650.77/1651.22	c nbDecision=333000 #constraints=56456
1652.27/1652.75	c nbDecision=333500 #constraints=56495
1653.57/1654.00	c nbDecision=334000 #constraints=56533
1654.87/1655.30	c nbDecision=334500 #constraints=56601
1655.37/1655.85	c nbDecision=335000 #constraints=56669
1655.97/1656.41	c nbDecision=335500 #constraints=56719
1657.37/1657.87	c nbDecision=336000 #constraints=56756
1660.16/1660.60	c nbDecision=336500 #constraints=56793
1660.66/1661.14	c nbDecision=337000 #constraints=56832
1662.46/1662.95	c nbDecision=337500 #constraints=56868
1664.66/1665.10	c nbDecision=338000 #constraints=56901
1665.56/1666.06	c nbDecision=338500 #constraints=56938
1667.86/1668.34	c nbDecision=339000 #constraints=56971
1670.96/1671.42	c nbDecision=339500 #constraints=57005
1673.36/1673.89	c nbDecision=340000 #constraints=57048
1678.36/1678.89	c nbDecision=340500 #constraints=57128
1685.66/1686.11	c nbDecision=341000 #constraints=57234
1690.35/1690.85	c nbDecision=341500 #constraints=57323
1692.85/1693.31	c nbDecision=342000 #constraints=57377
1695.15/1695.63	c nbDecision=342500 #constraints=57424
1697.96/1698.42	c nbDecision=343000 #constraints=57465
1701.26/1701.73	c nbDecision=343500 #constraints=57507
1705.86/1706.39	c nbDecision=344000 #constraints=57547
1711.56/1712.00	c nbDecision=344500 #constraints=57585
1717.25/1717.72	c nbDecision=345000 #constraints=57624
1722.55/1723.02	c nbDecision=345500 #constraints=57662
1728.15/1728.66	c nbDecision=346000 #constraints=57701
1729.15/1729.61	c nbDecision=346500 #constraints=57742
1730.25/1730.70	c nbDecision=347000 #constraints=57783
1733.55/1734.00	c nbDecision=347500 #constraints=57822
1736.15/1736.62	c nbDecision=348000 #constraints=57860
1740.65/1741.12	c nbDecision=348500 #constraints=57897
1744.44/1744.95	c nbDecision=349000 #constraints=57935
1745.44/1745.91	c nbDecision=349500 #constraints=57974
1746.14/1746.61	c nbDecision=350000 #constraints=58014
1748.14/1748.67	c nbDecision=350500 #constraints=58050
1749.04/1749.50	c nbDecision=351000 #constraints=58089
1749.65/1750.18	c nbDecision=351500 #constraints=58128
1751.64/1752.11	c nbDecision=352000 #constraints=58165
1752.04/1752.52	c nbDecision=352500 #constraints=58206
1753.74/1754.21	c nbDecision=353000 #constraints=58243
1756.64/1757.15	c nbDecision=353500 #constraints=58276
1759.04/1759.57	c nbDecision=354000 #constraints=58311
1761.94/1762.42	c nbDecision=354500 #constraints=58352
1765.24/1765.74	c nbDecision=355000 #constraints=58393
1770.64/1771.12	c nbDecision=355500 #constraints=58432
1775.74/1776.26	c nbDecision=356000 #constraints=58472
1783.23/1783.73	c nbDecision=356500 #constraints=58548
1788.53/1789.00	c nbDecision=357000 #constraints=58660
1793.33/1793.85	c nbDecision=357500 #constraints=58729
1795.93/1796.43	c nbDecision=358000 #constraints=58772
1798.43/1798.94	c nbDecision=358500 #constraints=58814
1800.03/1800.50	Received signal 15
1800.03/1800.51	
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	
1800.03/1800.51	c user time= 1799.83 s
1800.03/1800.51	c system time= 0.217966 s
1800.03/1800.51	c wall clock time=1800.51

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/node14/watcher-356901-1176847497 -o ROOT/results/node14/solver-356901-1176847497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.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.78 0.95 0.98 3/77 1678
/proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=1468 CPUtime=0
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 132667436 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 367 164 131 317 0 46 0

[startup+0.0657561 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 1678
/proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=2792 CPUtime=0.06
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 462 0 0 0 6 0 0 0 18 0 1 0 132667436 2859008 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 698 444 131 317 0 377 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2792

[startup+0.101759 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 1678
/proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=3524 CPUtime=0.09
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 132667436 3608576 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 881 609 131 317 0 560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3524

[startup+0.301777 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 1678
/proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=7400 CPUtime=0.29
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 1485 0 0 0 29 0 0 0 19 0 1 0 132667436 7577600 1467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 1850 1467 131 317 0 1529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7400

[startup+0.701816 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 1678
/proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=15288 CPUtime=0.69
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 3309 0 0 0 68 1 0 0 23 0 1 0 132667436 15654912 3225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278904 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 3822 3225 131 317 0 3501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15288

[startup+1.50189 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 1679
/proc/meminfo: memFree=1815360/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=22772 CPUtime=1.49
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5115 0 0 0 147 2 0 0 25 0 1 0 132667436 23318528 5031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 5693 5031 139 317 0 5372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22772

[startup+3.10104 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 1679
/proc/meminfo: memFree=1815168/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=22772 CPUtime=3.09
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5127 0 0 0 307 2 0 0 25 0 1 0 132667436 23318528 5043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 5693 5043 139 317 0 5372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22772

[startup+6.30134 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 1679
/proc/meminfo: memFree=1814912/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=22900 CPUtime=6.29
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5160 0 0 0 627 2 0 0 25 0 1 0 132667436 23449600 5076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 5725 5076 139 317 0 5404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22900

[startup+12.7019 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 1679
/proc/meminfo: memFree=1814656/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=23296 CPUtime=12.69
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5231 0 0 0 1267 2 0 0 25 0 1 0 132667436 23855104 5147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 5824 5147 139 317 0 5503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23296

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 1679
/proc/meminfo: memFree=1814400/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=23556 CPUtime=25.48
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5322 0 0 0 2546 2 0 0 25 0 1 0 132667436 24121344 5238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 5889 5238 139 317 0 5568 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23556

[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 1679
/proc/meminfo: memFree=1813760/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=24384 CPUtime=51.07
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5488 0 0 0 5105 2 0 0 25 0 1 0 132667436 24969216 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 6096 5404 139 317 0 5775 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24384

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 1679
/proc/meminfo: memFree=1811840/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=26088 CPUtime=102.27
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5951 0 0 0 10223 4 0 0 25 0 1 0 132667436 26714112 5824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 6522 5824 139 317 0 6201 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26088

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1810304/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=27804 CPUtime=162.25
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 6395 0 0 0 16220 5 0 0 25 0 1 0 132667436 28471296 6268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 6951 6268 139 317 0 6630 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27804

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1808256/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=30164 CPUtime=222.23
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 6997 0 0 0 22218 5 0 0 25 0 1 0 132667436 30887936 6785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 7541 6785 139 317 0 7220 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30164

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1806912/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=31464 CPUtime=282.22
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7324 0 0 0 28216 6 0 0 25 0 1 0 132667436 32219136 7112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 7866 7112 139 317 0 7545 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31464

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1806080/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=32324 CPUtime=342.21
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7532 0 0 0 34214 7 0 0 25 0 1 0 132667436 33099776 7320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 8081 7320 139 317 0 7760 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 32324

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1805184/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=33152 CPUtime=402.19
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7755 0 0 0 40211 8 0 0 25 0 1 0 132667436 33947648 7543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 8288 7543 139 317 0 7967 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33152

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1804416/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=33920 CPUtime=462.17
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7948 0 0 0 46209 8 0 0 25 0 1 0 132667436 34734080 7736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 8480 7736 139 317 0 8159 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 33920

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1803648/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=34696 CPUtime=522.16
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8135 0 0 0 52208 8 0 0 25 0 1 0 132667436 35528704 7923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 8674 7923 139 317 0 8353 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 34696

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1802752/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=35600 CPUtime=582.15
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8350 0 0 0 58206 9 0 0 25 0 1 0 132667436 36454400 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 8900 8138 139 317 0 8579 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 35600

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1801856/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=36424 CPUtime=642.14
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8578 0 0 0 64204 10 0 0 25 0 1 0 132667436 37298176 8366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 9106 8366 139 317 0 8785 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 36424


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1796352/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=42692 CPUtime=882.08
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10162 0 0 0 88195 13 0 0 25 0 1 0 132667436 43716608 9780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 10673 9780 139 317 0 10352 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 42692

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1795520/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=43596 CPUtime=942.05
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10408 0 0 0 94192 13 0 0 25 0 1 0 132667436 44642304 9993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 10899 9993 139 317 0 10578 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 43596

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1794880/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=44236 CPUtime=1002.04
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10581 0 0 0 100190 14 0 0 25 0 1 0 132667436 45297664 10166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 11059 10166 139 317 0 10738 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 44236

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1794176/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=44772 CPUtime=1062.02
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10726 0 0 0 106188 14 0 0 25 0 1 0 132667436 45846528 10311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 11193 10311 139 317 0 10872 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 44772

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1792896/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=45952 CPUtime=1122.01
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11034 0 0 0 112186 15 0 0 25 0 1 0 132667436 47054848 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 11488 10619 139 317 0 11167 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 45952

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1792000/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=47016 CPUtime=1182
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11265 0 0 0 118184 16 0 0 25 0 1 0 132667436 48144384 10850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 11754 10850 139 317 0 11433 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 47016

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1790656/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=48220 CPUtime=1241.98
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11601 0 0 0 124182 16 0 0 25 0 1 0 132667436 49377280 11186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 12055 11186 139 317 0 11734 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 48220

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1788800/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=50044 CPUtime=1301.97
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 12058 0 0 0 130180 17 0 0 25 0 1 0 132667436 51245056 11643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 12511 11643 139 317 0 12190 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 50044

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1787648/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=54148 CPUtime=1361.95
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13090 0 0 0 136177 18 0 0 25 0 1 0 132667436 55447552 12337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 13537 12337 139 317 0 13216 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 54148

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1785856/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=54148 CPUtime=1421.94
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13126 0 0 0 142176 18 0 0 25 0 1 0 132667436 55447552 12373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 13537 12373 139 317 0 13216 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 54148

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1785152/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=54808 CPUtime=1481.92
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13309 0 0 0 148173 19 0 0 25 0 1 0 132667436 56123392 12556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562651 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 13702 12556 139 317 0 13381 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 54808

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1784384/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=55576 CPUtime=1541.9
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13512 0 0 0 154171 19 0 0 25 0 1 0 132667436 56909824 12726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 13894 12726 139 317 0 13573 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 55576

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1783936/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=56092 CPUtime=1601.89
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13635 0 0 0 160169 20 0 0 25 0 1 0 132667436 57438208 12849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14023 12849 139 317 0 13702 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 56092

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1783232/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=56612 CPUtime=1661.86
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13807 0 0 0 166166 20 0 0 25 0 1 0 132667436 57970688 13021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14153 13021 139 317 0 13832 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 56612

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1782784/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=57124 CPUtime=1721.85
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13923 0 0 0 172164 21 0 0 25 0 1 0 132667436 58494976 13137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14281 13137 139 317 0 13960 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 57124

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1782272/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=57504 CPUtime=1781.83
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14044 0 0 0 178162 21 0 0 25 0 1 0 132667436 58884096 13258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14376 13258 139 317 0 14055 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 57504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1782144/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=57760 CPUtime=1800.03
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14084 0 0 0 179982 21 0 0 25 0 1 0 132667436 59146240 13298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14440 13298 139 317 0 14119 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 57760

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1679
/proc/meminfo: memFree=1782144/2055920 swapFree=4145412/4192956
[pid=1678] ppid=1676 vsize=57760 CPUtime=1800.03
/proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14084 0 0 0 179982 21 0 0 25 0 1 0 132667436 59146240 13298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1678/statm: 14440 13298 139 317 0 14119 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 57760

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.07
CPU user time (s): 1799.84
CPU system time (s): 0.228965
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 57760

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

runsolver used 2.14867 second user time and 4.33234 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Apr 17 22:04:57 UTC 2007

IDJOB= 356901
IDBENCH= 1613
IDSOLVER= 172
FILE ID= node14/356901-1176847497

PBS_JOBID= 4590212

Free space on /tmp= 66296 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb
COMMAND LINE= oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-356901-1176847497 -o ROOT/results/node14/solver-356901-1176847497 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cf56ee4a2e10a22486df8fb664e91027

RANDOM SEED= 256929131

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1835424 kB
Buffers:         32612 kB
Cached:         120492 kB
SwapCached:      14788 kB
Active:          68076 kB
Inactive:       111060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835424 kB
SwapTotal:     4192956 kB
SwapFree:      4145412 kB
Dirty:            3444 kB
Writeback:           0 kB
Mapped:          29556 kB
Slab:            26860 kB
Committed_AS:  6573920 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= 66296 MiB

End job on node14 on Tue Apr 17 22:34:59 UTC 2007