Trace number 357343

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.13 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbea.opb
MD5SUMfed9726f7ff3b53e29a48b8849ad3d9b
Bench CategoryOPT-BIGINT (optimisation, big 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 variables155427
Total number of constraints2674
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2674
Minimum length of a constraint11
Maximum length of a constraint7267
Number of terms in the objective function 15205
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 11303756896327816
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
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...
3.99/4.02	c ...done
3.99/4.02	c #vars=155427 #constraints=4867 hasObjective=yes
4.79/4.86	c res. mode=mod
4.79/4.86	c VSIDS like heuristics
4.79/4.86	c complete search running
34.68/34.74	c restart after 401 decisions
40.38/40.45	c nbDecision=500 #constraints=5319
63.67/63.80	c restart after 801 decisions
77.16/77.28	c nbDecision=1000 #constraints=5797
116.45/116.55	c nbDecision=1500 #constraints=6299
124.84/124.96	c restart after 1601 decisions
154.43/154.57	c nbDecision=2000 #constraints=6779
157.83/157.91	c nbDecision=2500 #constraints=6816
160.03/160.12	c nbDecision=3000 #constraints=6827
160.93/161.02	c restart after 3201 decisions
162.23/162.36	c nbDecision=3500 #constraints=6847
164.43/164.58	c nbDecision=4000 #constraints=6854
166.73/166.83	c nbDecision=4500 #constraints=6878
168.92/169.05	c nbDecision=5000 #constraints=6890
171.12/171.26	c nbDecision=5500 #constraints=6898
173.32/173.47	c nbDecision=6000 #constraints=6909
175.12/175.25	c restart after 6401 decisions
175.52/175.68	c nbDecision=6500 #constraints=6916
177.82/177.91	c nbDecision=7000 #constraints=6922
180.02/180.14	c nbDecision=7500 #constraints=6929
182.22/182.37	c nbDecision=8000 #constraints=6933
184.42/184.59	c nbDecision=8500 #constraints=6937
186.71/186.81	c nbDecision=9000 #constraints=6943
188.91/189.02	c nbDecision=9500 #constraints=6948
191.11/191.23	c nbDecision=10000 #constraints=6952
193.31/193.43	c nbDecision=10500 #constraints=6954
195.51/195.63	c nbDecision=11000 #constraints=6955
197.71/197.85	c nbDecision=11500 #constraints=6957
199.91/200.08	c nbDecision=12000 #constraints=6960
202.21/202.30	c nbDecision=12500 #constraints=6962
203.51/203.64	c restart after 12801 decisions
204.41/204.52	c nbDecision=13000 #constraints=6963
206.61/206.74	c nbDecision=13500 #constraints=6967
208.81/208.94	c nbDecision=14000 #constraints=6969
211.02/211.15	c nbDecision=14500 #constraints=6971
213.22/213.36	c nbDecision=15000 #constraints=6979
215.41/215.58	c nbDecision=15500 #constraints=6993
217.71/217.81	c nbDecision=16000 #constraints=6999
219.91/220.04	c nbDecision=16500 #constraints=7006
222.11/222.27	c nbDecision=17000 #constraints=7011
224.41/224.50	c nbDecision=17500 #constraints=7016
226.61/226.71	c nbDecision=18000 #constraints=7020
228.80/228.92	c nbDecision=18500 #constraints=7023
231.00/231.12	c nbDecision=19000 #constraints=7025
233.20/233.33	c nbDecision=19500 #constraints=7029
235.40/235.53	c nbDecision=20000 #constraints=7032
237.60/237.75	c nbDecision=20500 #constraints=7034
239.80/239.98	c nbDecision=21000 #constraints=7037
242.10/242.20	c nbDecision=21500 #constraints=7039
244.29/244.43	c nbDecision=22000 #constraints=7041
246.49/246.64	c nbDecision=22500 #constraints=7043
248.69/248.84	c nbDecision=23000 #constraints=7046
250.89/251.04	c nbDecision=23500 #constraints=7052
253.09/253.25	c nbDecision=24000 #constraints=7057
255.29/255.46	c nbDecision=24500 #constraints=7065
257.49/257.69	c nbDecision=25000 #constraints=7078
259.79/259.92	c nbDecision=25500 #constraints=7084
260.19/260.37	c restart after 25601 decisions
261.99/262.15	c nbDecision=26000 #constraints=7088
264.19/264.38	c nbDecision=26500 #constraints=7090
266.38/266.60	c nbDecision=27000 #constraints=7091
268.68/268.81	c nbDecision=27500 #constraints=7094
270.88/271.03	c nbDecision=28000 #constraints=7096
273.08/273.24	c nbDecision=28500 #constraints=7099
275.28/275.45	c nbDecision=29000 #constraints=7101
277.48/277.69	c nbDecision=29500 #constraints=7103
279.78/279.92	c nbDecision=30000 #constraints=7105
281.98/282.15	c nbDecision=30500 #constraints=7106
284.17/284.38	c nbDecision=31000 #constraints=7108
286.47/286.61	c nbDecision=31500 #constraints=7118
288.68/288.83	c nbDecision=32000 #constraints=7124
290.88/291.04	c nbDecision=32500 #constraints=7128
293.08/293.25	c nbDecision=33000 #constraints=7134
295.28/295.46	c nbDecision=33500 #constraints=7139
297.48/297.69	c nbDecision=34000 #constraints=7141
299.78/299.92	c nbDecision=34500 #constraints=7144
301.98/302.14	c nbDecision=35000 #constraints=7146
304.18/304.38	c nbDecision=35500 #constraints=7156
306.47/306.60	c nbDecision=36000 #constraints=7161
308.67/308.81	c nbDecision=36500 #constraints=7167
310.87/311.02	c nbDecision=37000 #constraints=7171
313.07/313.22	c nbDecision=37500 #constraints=7174
315.27/315.43	c nbDecision=38000 #constraints=7180
317.47/317.66	c nbDecision=38500 #constraints=7189
319.67/319.88	c nbDecision=39000 #constraints=7193
321.97/322.10	c nbDecision=39500 #constraints=7198
324.16/324.32	c nbDecision=40000 #constraints=7201
326.36/326.53	c nbDecision=40500 #constraints=7206
328.56/328.73	c nbDecision=41000 #constraints=7209
330.76/330.92	c nbDecision=41500 #constraints=7211
332.96/333.12	c nbDecision=42000 #constraints=7214
335.16/335.32	c nbDecision=42500 #constraints=7218
337.36/337.54	c nbDecision=43000 #constraints=7220
339.56/339.76	c nbDecision=43500 #constraints=7223
341.76/341.97	c nbDecision=44000 #constraints=7225
343.96/344.19	c nbDecision=44500 #constraints=7228
346.15/346.40	c nbDecision=45000 #constraints=7231
348.46/348.61	c nbDecision=45500 #constraints=7240
350.66/350.81	c nbDecision=46000 #constraints=7243
352.85/353.02	c nbDecision=46500 #constraints=7259
355.05/355.23	c nbDecision=47000 #constraints=7265
357.25/357.45	c nbDecision=47500 #constraints=7272
359.45/359.67	c nbDecision=48000 #constraints=7275
361.65/361.88	c nbDecision=48500 #constraints=7278
363.85/364.10	c nbDecision=49000 #constraints=7281
366.15/366.31	c nbDecision=49500 #constraints=7286
368.35/368.50	c nbDecision=50000 #constraints=7289
370.55/370.70	c nbDecision=50500 #constraints=7293
372.64/372.90	c nbDecision=51000 #constraints=7296
373.55/373.79	c restart after 51201 decisions
374.95/375.11	c nbDecision=51500 #constraints=7297
377.15/377.34	c nbDecision=52000 #constraints=7299
379.35/379.57	c nbDecision=52500 #constraints=7301
381.65/381.80	c nbDecision=53000 #constraints=7303
383.84/384.04	c nbDecision=53500 #constraints=7305
386.04/386.26	c nbDecision=54000 #constraints=7307
388.24/388.48	c nbDecision=54500 #constraints=7309
390.44/390.69	c nbDecision=55000 #constraints=7311
392.74/392.90	c nbDecision=55500 #constraints=7313
394.94/395.11	c nbDecision=56000 #constraints=7315
397.14/397.34	c nbDecision=56500 #constraints=7317
399.33/399.57	c nbDecision=57000 #constraints=7318
401.63/401.81	c nbDecision=57500 #constraints=7323
403.83/404.05	c nbDecision=58000 #constraints=7329
406.03/406.27	c nbDecision=58500 #constraints=7331
408.23/408.48	c nbDecision=59000 #constraints=7339
410.43/410.69	c nbDecision=59500 #constraints=7343
412.63/412.89	c nbDecision=60000 #constraints=7346
414.82/415.09	c nbDecision=60500 #constraints=7349
417.12/417.30	c nbDecision=61000 #constraints=7352
419.32/419.53	c nbDecision=61500 #constraints=7355
421.52/421.75	c nbDecision=62000 #constraints=7360
423.72/423.98	c nbDecision=62500 #constraints=7369
425.92/426.20	c nbDecision=63000 #constraints=7373
428.22/428.40	c nbDecision=63500 #constraints=7376
430.32/430.60	c nbDecision=64000 #constraints=7379
432.52/432.80	c nbDecision=64500 #constraints=7382
434.72/435.00	c nbDecision=65000 #constraints=7385
437.02/437.21	c nbDecision=65500 #constraints=7388
439.22/439.43	c nbDecision=66000 #constraints=7394
441.42/441.65	c nbDecision=66500 #constraints=7397
443.62/443.87	c nbDecision=67000 #constraints=7400
445.82/446.08	c nbDecision=67500 #constraints=7403
448.02/448.27	c nbDecision=68000 #constraints=7406
450.21/450.47	c nbDecision=68500 #constraints=7409
452.41/452.67	c nbDecision=69000 #constraints=7412
454.61/454.86	c nbDecision=69500 #constraints=7415
456.81/457.07	c nbDecision=70000 #constraints=7418
459.01/459.29	c nbDecision=70500 #constraints=7421
461.31/461.50	c nbDecision=71000 #constraints=7424
463.51/463.72	c nbDecision=71500 #constraints=7428
465.71/465.93	c nbDecision=72000 #constraints=7431
467.90/468.13	c nbDecision=72500 #constraints=7435
470.10/470.32	c nbDecision=73000 #constraints=7438
472.30/472.52	c nbDecision=73500 #constraints=7442
474.50/474.72	c nbDecision=74000 #constraints=7445
476.70/476.93	c nbDecision=74500 #constraints=7451
478.90/479.15	c nbDecision=75000 #constraints=7455
481.10/481.37	c nbDecision=75500 #constraints=7458
483.30/483.58	c nbDecision=76000 #constraints=7462
485.59/485.80	c nbDecision=76500 #constraints=7466
487.79/488.00	c nbDecision=77000 #constraints=7470
489.99/490.20	c nbDecision=77500 #constraints=7474
492.19/492.40	c nbDecision=78000 #constraints=7477
494.39/494.60	c nbDecision=78500 #constraints=7481
496.59/496.82	c nbDecision=79000 #constraints=7485
498.79/499.04	c nbDecision=79500 #constraints=7488
500.99/501.26	c nbDecision=80000 #constraints=7492
503.18/503.48	c nbDecision=80500 #constraints=7496
505.48/505.70	c nbDecision=81000 #constraints=7500
507.68/507.90	c nbDecision=81500 #constraints=7504
509.78/510.09	c nbDecision=82000 #constraints=7508
511.98/512.29	c nbDecision=82500 #constraints=7512
514.18/514.49	c nbDecision=83000 #constraints=7517
516.48/516.71	c nbDecision=83500 #constraints=7530
518.68/518.93	c nbDecision=84000 #constraints=7535
520.88/521.15	c nbDecision=84500 #constraints=7541
523.07/523.36	c nbDecision=85000 #constraints=7546
525.27/525.60	c nbDecision=85500 #constraints=7559
527.47/527.79	c nbDecision=86000 #constraints=7565
529.67/530.00	c nbDecision=86500 #constraints=7571
531.97/532.20	c nbDecision=87000 #constraints=7577
534.18/534.40	c nbDecision=87500 #constraints=7585
536.38/536.61	c nbDecision=88000 #constraints=7593
538.57/538.83	c nbDecision=88500 #constraints=7601
540.77/541.05	c nbDecision=89000 #constraints=7610
542.97/543.28	c nbDecision=89500 #constraints=7621
545.28/545.51	c nbDecision=90000 #constraints=7633
547.47/547.72	c nbDecision=90500 #constraints=7645
549.67/549.94	c nbDecision=91000 #constraints=7665
552.07/552.35	c nbDecision=91500 #constraints=7699
554.26/554.57	c nbDecision=92000 #constraints=7701
556.56/556.87	c nbDecision=92500 #constraints=7719
558.86/559.17	c nbDecision=93000 #constraints=7732
561.16/561.45	c nbDecision=93500 #constraints=7743
563.46/563.71	c nbDecision=94000 #constraints=7750
565.76/566.03	c nbDecision=94500 #constraints=7768
568.16/568.40	c nbDecision=95000 #constraints=7794
570.45/570.72	c nbDecision=95500 #constraints=7813
572.65/573.00	c nbDecision=96000 #constraints=7826
575.16/575.41	c nbDecision=96500 #constraints=7854
577.46/577.76	c nbDecision=97000 #constraints=7874
579.86/580.16	c nbDecision=97500 #constraints=7896
582.25/582.51	c nbDecision=98000 #constraints=7913
584.55/584.86	c nbDecision=98500 #constraints=7932
586.85/587.20	c nbDecision=99000 #constraints=7951
589.35/589.61	c nbDecision=99500 #constraints=7984
591.55/591.89	c nbDecision=100000 #constraints=7993
593.94/594.22	c nbDecision=100500 #constraints=8011
596.35/596.63	c nbDecision=101000 #constraints=8038
598.75/599.02	c nbDecision=101500 #constraints=8058
601.05/601.35	c nbDecision=102000 #constraints=8070
602.95/603.21	c restart after 102401 decisions
603.35/603.67	c nbDecision=102500 #constraints=8079
605.64/605.92	c nbDecision=103000 #constraints=8081
607.84/608.15	c nbDecision=103500 #constraints=8083
610.04/610.39	c nbDecision=104000 #constraints=8085
612.34/612.63	c nbDecision=104500 #constraints=8087
614.54/614.86	c nbDecision=105000 #constraints=8089
616.84/617.11	c nbDecision=105500 #constraints=8091
619.04/619.36	c nbDecision=106000 #constraints=8093
621.34/621.62	c nbDecision=106500 #constraints=8095
623.54/623.88	c nbDecision=107000 #constraints=8100
625.84/626.13	c nbDecision=107500 #constraints=8104
628.03/628.36	c nbDecision=108000 #constraints=8110
630.23/630.60	c nbDecision=108500 #constraints=8117
632.53/632.83	c nbDecision=109000 #constraints=8121
634.73/635.06	c nbDecision=109500 #constraints=8123
637.03/637.30	c nbDecision=110000 #constraints=8126
639.23/639.54	c nbDecision=110500 #constraints=8128
641.52/641.80	c nbDecision=111000 #constraints=8131
643.72/644.04	c nbDecision=111500 #constraints=8133
645.92/646.28	c nbDecision=112000 #constraints=8135
648.22/648.51	c nbDecision=112500 #constraints=8138
650.42/650.73	c nbDecision=113000 #constraints=8141
652.62/652.95	c nbDecision=113500 #constraints=8144
654.82/655.18	c nbDecision=114000 #constraints=8147
657.12/657.41	c nbDecision=114500 #constraints=8150
659.31/659.65	c nbDecision=115000 #constraints=8153
661.51/661.89	c nbDecision=115500 #constraints=8156
663.81/664.14	c nbDecision=116000 #constraints=8159
666.01/666.37	c nbDecision=116500 #constraints=8162
668.31/668.60	c nbDecision=117000 #constraints=8171
670.51/670.82	c nbDecision=117500 #constraints=8176
672.72/673.03	c nbDecision=118000 #constraints=8180
674.92/675.24	c nbDecision=118500 #constraints=8184
677.12/677.48	c nbDecision=119000 #constraints=8188
679.42/679.71	c nbDecision=119500 #constraints=8193
681.62/681.95	c nbDecision=120000 #constraints=8197
683.82/684.19	c nbDecision=120500 #constraints=8203
686.12/686.42	c nbDecision=121000 #constraints=8206
688.31/688.63	c nbDecision=121500 #constraints=8210
690.51/690.85	c nbDecision=122000 #constraints=8214
692.71/693.06	c nbDecision=122500 #constraints=8218
694.91/695.28	c nbDecision=123000 #constraints=8222
697.21/697.51	c nbDecision=123500 #constraints=8226
699.40/699.74	c nbDecision=124000 #constraints=8231
701.60/701.97	c nbDecision=124500 #constraints=8239
703.90/704.21	c nbDecision=125000 #constraints=8250
706.10/706.44	c nbDecision=125500 #constraints=8259
708.30/708.65	c nbDecision=126000 #constraints=8266
710.50/710.85	c nbDecision=126500 #constraints=8269
712.70/713.06	c nbDecision=127000 #constraints=8273
714.90/715.29	c nbDecision=127500 #constraints=8276
717.20/717.53	c nbDecision=128000 #constraints=8279
719.39/719.79	c nbDecision=128500 #constraints=8282
721.69/722.04	c nbDecision=129000 #constraints=8285
723.89/724.29	c nbDecision=129500 #constraints=8290
726.19/726.52	c nbDecision=130000 #constraints=8294
728.39/728.74	c nbDecision=130500 #constraints=8297
730.59/730.96	c nbDecision=131000 #constraints=8303
732.79/733.18	c nbDecision=131500 #constraints=8310
735.09/735.40	c nbDecision=132000 #constraints=8320
737.29/737.63	c nbDecision=132500 #constraints=8325
739.48/739.88	c nbDecision=133000 #constraints=8330
741.78/742.13	c nbDecision=133500 #constraints=8334
743.98/744.38	c nbDecision=134000 #constraints=8339
746.28/746.61	c nbDecision=134500 #constraints=8347
748.48/748.82	c nbDecision=135000 #constraints=8352
750.68/751.03	c nbDecision=135500 #constraints=8358
752.88/753.24	c nbDecision=136000 #constraints=8362
755.08/755.45	c nbDecision=136500 #constraints=8365
757.38/757.70	c nbDecision=137000 #constraints=8372
759.57/759.96	c nbDecision=137500 #constraints=8378
761.88/762.21	c nbDecision=138000 #constraints=8383
764.08/764.46	c nbDecision=138500 #constraints=8388
766.38/766.70	c nbDecision=139000 #constraints=8391
768.57/768.93	c nbDecision=139500 #constraints=8400
770.77/771.16	c nbDecision=140000 #constraints=8403
772.97/773.38	c nbDecision=140500 #constraints=8408
775.26/775.62	c nbDecision=141000 #constraints=8414
777.47/777.86	c nbDecision=141500 #constraints=8417
779.77/780.10	c nbDecision=142000 #constraints=8420
781.97/782.37	c nbDecision=142500 #constraints=8428
784.27/784.62	c nbDecision=143000 #constraints=8431
786.47/786.87	c nbDecision=143500 #constraints=8435
788.77/789.12	c nbDecision=144000 #constraints=8444
790.97/791.36	c nbDecision=144500 #constraints=8455
793.16/793.59	c nbDecision=145000 #constraints=8468
795.46/795.81	c nbDecision=145500 #constraints=8478
797.66/798.05	c nbDecision=146000 #constraints=8487
799.86/800.28	c nbDecision=146500 #constraints=8494
802.16/802.51	c nbDecision=147000 #constraints=8501
804.36/804.74	c nbDecision=147500 #constraints=8508
806.56/806.96	c nbDecision=148000 #constraints=8517
808.75/809.17	c nbDecision=148500 #constraints=8524
810.95/811.39	c nbDecision=149000 #constraints=8532
813.25/813.60	c nbDecision=149500 #constraints=8540
815.45/815.82	c nbDecision=150000 #constraints=8548
817.65/818.05	c nbDecision=150500 #constraints=8557
819.85/820.28	c nbDecision=151000 #constraints=8567
822.15/822.52	c nbDecision=151500 #constraints=8579
824.35/824.76	c nbDecision=152000 #constraints=8593
826.54/826.99	c nbDecision=152500 #constraints=8611
828.84/829.21	c nbDecision=153000 #constraints=8623
831.04/831.42	c nbDecision=153500 #constraints=8635
833.64/834.01	c nbDecision=154000 #constraints=8655
835.84/836.29	c nbDecision=154500 #constraints=8660
838.14/838.60	c nbDecision=155000 #constraints=8678
840.44/840.88	c nbDecision=155500 #constraints=8686
842.73/843.17	c nbDecision=156000 #constraints=8692
845.13/845.52	c nbDecision=156500 #constraints=8711
847.34/847.77	c nbDecision=157000 #constraints=8718
849.74/850.11	c nbDecision=157500 #constraints=8740
851.94/852.36	c nbDecision=158000 #constraints=8747
854.24/854.64	c nbDecision=158500 #constraints=8761
856.44/856.89	c nbDecision=159000 #constraints=8767
858.74/859.14	c nbDecision=159500 #constraints=8771
860.94/861.39	c nbDecision=160000 #constraints=8775
863.23/863.64	c nbDecision=160500 #constraints=8783
865.43/865.89	c nbDecision=161000 #constraints=8789
867.73/868.12	c nbDecision=161500 #constraints=8792
869.93/870.35	c nbDecision=162000 #constraints=8796
872.13/872.58	c nbDecision=162500 #constraints=8800
874.43/874.81	c nbDecision=163000 #constraints=8804
876.63/877.05	c nbDecision=163500 #constraints=8808
878.92/879.31	c nbDecision=164000 #constraints=8813
881.12/881.55	c nbDecision=164500 #constraints=8816
883.42/883.80	c nbDecision=165000 #constraints=8826
885.62/886.05	c nbDecision=165500 #constraints=8831
887.82/888.27	c nbDecision=166000 #constraints=8836
890.12/890.52	c nbDecision=166500 #constraints=8849
892.32/892.75	c nbDecision=167000 #constraints=8855
894.52/894.97	c nbDecision=167500 #constraints=8859
896.82/897.21	c nbDecision=168000 #constraints=8863
899.02/899.47	c nbDecision=168500 #constraints=8872
901.31/901.73	c nbDecision=169000 #constraints=8886
903.51/903.99	c nbDecision=169500 #constraints=8907
905.81/906.23	c nbDecision=170000 #constraints=8916
908.21/908.64	c nbDecision=170500 #constraints=8938
910.51/910.91	c nbDecision=171000 #constraints=8940
912.72/913.19	c nbDecision=171500 #constraints=8945
915.01/915.44	c nbDecision=172000 #constraints=8951
917.21/917.69	c nbDecision=172500 #constraints=8955
919.51/919.95	c nbDecision=173000 #constraints=8959
921.81/922.21	c nbDecision=173500 #constraints=8963
924.01/924.47	c nbDecision=174000 #constraints=8970
926.31/926.70	c nbDecision=174500 #constraints=8973
928.51/928.94	c nbDecision=175000 #constraints=8983
930.71/931.17	c nbDecision=175500 #constraints=8986
932.91/933.40	c nbDecision=176000 #constraints=8991
935.21/935.62	c nbDecision=176500 #constraints=8995
937.41/937.87	c nbDecision=177000 #constraints=8998
939.70/940.11	c nbDecision=177500 #constraints=9001
941.90/942.37	c nbDecision=178000 #constraints=9011
944.20/944.62	c nbDecision=178500 #constraints=9017
946.40/946.88	c nbDecision=179000 #constraints=9036
948.70/949.10	c nbDecision=179500 #constraints=9044
950.90/951.32	c nbDecision=180000 #constraints=9048
953.09/953.53	c nbDecision=180500 #constraints=9052
955.29/955.75	c nbDecision=181000 #constraints=9057
957.49/957.98	c nbDecision=181500 #constraints=9061
959.79/960.22	c nbDecision=182000 #constraints=9065
961.99/962.45	c nbDecision=182500 #constraints=9070
964.29/964.72	c nbDecision=183000 #constraints=9079
966.49/966.96	c nbDecision=183500 #constraints=9084
968.69/969.19	c nbDecision=184000 #constraints=9090
970.98/971.42	c nbDecision=184500 #constraints=9094
973.18/973.65	c nbDecision=185000 #constraints=9099
975.38/975.88	c nbDecision=185500 #constraints=9103
977.68/978.13	c nbDecision=186000 #constraints=9107
979.88/980.38	c nbDecision=186500 #constraints=9111
982.18/982.63	c nbDecision=187000 #constraints=9116
984.38/984.88	c nbDecision=187500 #constraints=9121
986.68/987.12	c nbDecision=188000 #constraints=9127
988.88/989.37	c nbDecision=188500 #constraints=9142
991.18/991.61	c nbDecision=189000 #constraints=9146
993.38/993.88	c nbDecision=189500 #constraints=9172
995.68/996.12	c nbDecision=190000 #constraints=9175
997.88/998.39	c nbDecision=190500 #constraints=9179
1000.17/1000.65	c nbDecision=191000 #constraints=9183
1002.47/1002.92	c nbDecision=191500 #constraints=9197
1004.77/1005.20	c nbDecision=192000 #constraints=9213
1006.97/1007.42	c nbDecision=192500 #constraints=9218
1009.17/1009.63	c nbDecision=193000 #constraints=9222
1011.37/1011.85	c nbDecision=193500 #constraints=9230
1013.97/1014.46	c nbDecision=194000 #constraints=9259
1016.27/1016.75	c nbDecision=194500 #constraints=9261
1018.57/1019.06	c nbDecision=195000 #constraints=9264
1021.06/1021.52	c nbDecision=195500 #constraints=9296
1023.36/1023.87	c nbDecision=196000 #constraints=9304
1025.77/1026.22	c nbDecision=196500 #constraints=9316
1028.06/1028.51	c nbDecision=197000 #constraints=9319
1030.36/1030.80	c nbDecision=197500 #constraints=9324
1032.56/1033.09	c nbDecision=198000 #constraints=9329
1035.06/1035.55	c nbDecision=198500 #constraints=9348
1037.36/1037.89	c nbDecision=199000 #constraints=9352
1039.75/1040.20	c nbDecision=199500 #constraints=9354
1042.05/1042.51	c nbDecision=200000 #constraints=9356
1044.35/1044.82	c nbDecision=200500 #constraints=9360
1046.66/1047.17	c nbDecision=201000 #constraints=9372
1048.95/1049.47	c nbDecision=201500 #constraints=9383
1051.26/1051.78	c nbDecision=202000 #constraints=9389
1053.56/1054.04	c nbDecision=202500 #constraints=9392
1055.96/1056.46	c nbDecision=203000 #constraints=9413
1058.25/1058.75	c nbDecision=203500 #constraints=9416
1060.55/1061.09	c nbDecision=204000 #constraints=9424
1062.95/1063.45	c nbDecision=204500 #constraints=9432
1064.36/1064.86	c restart after 204801 decisions
1065.36/1065.80	c nbDecision=205000 #constraints=9443
1067.55/1068.09	c nbDecision=205500 #constraints=9445
1070.05/1070.57	c nbDecision=206000 #constraints=9479
1072.45/1072.91	c nbDecision=206500 #constraints=9490
1074.74/1075.22	c nbDecision=207000 #constraints=9495
1077.04/1077.53	c nbDecision=207500 #constraints=9503
1079.34/1079.83	c nbDecision=208000 #constraints=9508
1081.64/1082.12	c nbDecision=208500 #constraints=9512
1083.94/1084.40	c nbDecision=209000 #constraints=9517
1086.24/1086.76	c nbDecision=209500 #constraints=9529
1088.54/1089.04	c nbDecision=210000 #constraints=9531
1090.84/1091.33	c nbDecision=210500 #constraints=9533
1093.14/1093.61	c nbDecision=211000 #constraints=9535
1095.53/1096.05	c nbDecision=211500 #constraints=9554
1097.83/1098.37	c nbDecision=212000 #constraints=9556
1100.13/1100.67	c nbDecision=212500 #constraints=9557
1102.43/1102.98	c nbDecision=213000 #constraints=9559
1104.83/1105.30	c nbDecision=213500 #constraints=9562
1107.13/1107.62	c nbDecision=214000 #constraints=9569
1109.43/1109.92	c nbDecision=214500 #constraints=9572
1111.83/1112.38	c nbDecision=215000 #constraints=9600
1114.12/1114.69	c nbDecision=215500 #constraints=9610
1116.52/1117.06	c nbDecision=216000 #constraints=9629
1118.82/1119.39	c nbDecision=216500 #constraints=9633
1121.22/1121.73	c nbDecision=217000 #constraints=9645
1123.62/1124.20	c nbDecision=217500 #constraints=9674
1126.23/1126.71	c nbDecision=218000 #constraints=9703
1128.42/1128.99	c nbDecision=218500 #constraints=9708
1130.72/1131.27	c nbDecision=219000 #constraints=9712
1133.12/1133.63	c nbDecision=219500 #constraints=9724
1135.42/1135.92	c nbDecision=220000 #constraints=9729
1137.82/1138.39	c nbDecision=220500 #constraints=9749
1140.12/1140.69	c nbDecision=221000 #constraints=9750
1142.52/1143.05	c nbDecision=221500 #constraints=9761
1144.82/1145.36	c nbDecision=222000 #constraints=9764
1147.41/1147.99	c nbDecision=222500 #constraints=9796
1149.71/1150.27	c nbDecision=223000 #constraints=9800
1152.01/1152.59	c nbDecision=223500 #constraints=9811
1154.31/1154.88	c nbDecision=224000 #constraints=9815
1156.61/1157.18	c nbDecision=224500 #constraints=9820
1158.91/1159.48	c nbDecision=225000 #constraints=9823
1161.20/1161.79	c nbDecision=225500 #constraints=9832
1163.60/1164.14	c nbDecision=226000 #constraints=9837
1165.90/1166.44	c nbDecision=226500 #constraints=9847
1168.20/1168.73	c nbDecision=227000 #constraints=9853
1170.51/1171.08	c nbDecision=227500 #constraints=9870
1172.80/1173.36	c nbDecision=228000 #constraints=9876
1175.10/1175.66	c nbDecision=228500 #constraints=9879
1177.40/1177.99	c nbDecision=229000 #constraints=9888
1179.70/1180.30	c nbDecision=229500 #constraints=9893
1182.10/1182.61	c nbDecision=230000 #constraints=9896
1184.40/1184.92	c nbDecision=230500 #constraints=9899
1186.70/1187.22	c nbDecision=231000 #constraints=9903
1189.00/1189.51	c nbDecision=231500 #constraints=9907
1191.20/1191.78	c nbDecision=232000 #constraints=9914
1193.69/1194.28	c nbDecision=232500 #constraints=9944
1196.39/1196.92	c nbDecision=233000 #constraints=9987
1198.89/1199.49	c nbDecision=233500 #constraints=10019
1201.49/1202.08	c nbDecision=234000 #constraints=10053
1204.18/1204.71	c nbDecision=234500 #constraints=10087
1206.78/1207.31	c nbDecision=235000 #constraints=10128
1209.18/1209.77	c nbDecision=235500 #constraints=10149
1211.89/1212.44	c nbDecision=236000 #constraints=10191
1214.49/1215.06	c nbDecision=236500 #constraints=10230
1216.99/1217.57	c nbDecision=237000 #constraints=10255
1219.48/1220.06	c nbDecision=237500 #constraints=10291
1221.78/1222.38	c nbDecision=238000 #constraints=10293
1224.18/1224.73	c nbDecision=238500 #constraints=10296
1226.48/1227.02	c nbDecision=239000 #constraints=10303
1228.68/1229.29	c nbDecision=239500 #constraints=10307
1231.08/1231.65	c nbDecision=240000 #constraints=10314
1233.38/1233.99	c nbDecision=240500 #constraints=10324
1235.88/1236.42	c nbDecision=241000 #constraints=10344
1238.27/1238.88	c nbDecision=241500 #constraints=10362
1240.67/1241.23	c nbDecision=242000 #constraints=10374
1242.97/1243.59	c nbDecision=242500 #constraints=10383
1245.37/1245.96	c nbDecision=243000 #constraints=10399
1247.67/1248.30	c nbDecision=243500 #constraints=10408
1250.27/1250.85	c nbDecision=244000 #constraints=10437
1252.77/1253.36	c nbDecision=244500 #constraints=10460
1255.17/1255.70	c nbDecision=245000 #constraints=10479
1257.46/1258.07	c nbDecision=245500 #constraints=10497
1259.86/1260.44	c nbDecision=246000 #constraints=10502
1262.26/1262.80	c nbDecision=246500 #constraints=10513
1264.56/1265.13	c nbDecision=247000 #constraints=10519
1267.06/1267.67	c nbDecision=247500 #constraints=10547
1269.57/1270.16	c nbDecision=248000 #constraints=10570
1272.07/1272.63	c nbDecision=248500 #constraints=10591
1274.56/1275.18	c nbDecision=249000 #constraints=10612
1277.16/1277.70	c nbDecision=249500 #constraints=10633
1279.55/1280.15	c nbDecision=250000 #constraints=10652
1282.15/1282.70	c nbDecision=250500 #constraints=10675
1284.45/1285.03	c nbDecision=251000 #constraints=10678
1286.75/1287.34	c nbDecision=251500 #constraints=10686
1289.05/1289.64	c nbDecision=252000 #constraints=10694
1291.35/1291.95	c nbDecision=252500 #constraints=10710
1293.65/1294.29	c nbDecision=253000 #constraints=10739
1296.05/1296.60	c nbDecision=253500 #constraints=10744
1298.34/1298.91	c nbDecision=254000 #constraints=10749
1300.65/1301.24	c nbDecision=254500 #constraints=10755
1302.95/1303.56	c nbDecision=255000 #constraints=10762
1305.34/1305.90	c nbDecision=255500 #constraints=10771
1307.64/1308.23	c nbDecision=256000 #constraints=10791
1309.94/1310.53	c nbDecision=256500 #constraints=10796
1312.24/1312.83	c nbDecision=257000 #constraints=10805
1314.53/1315.11	c nbDecision=257500 #constraints=10809
1316.84/1317.49	c nbDecision=258000 #constraints=10818
1319.24/1319.86	c nbDecision=258500 #constraints=10825
1321.64/1322.23	c nbDecision=259000 #constraints=10837
1323.94/1324.56	c nbDecision=259500 #constraints=10844
1326.34/1327.00	c nbDecision=260000 #constraints=10863
1328.74/1329.31	c nbDecision=260500 #constraints=10867
1331.23/1331.88	c nbDecision=261000 #constraints=10901
1333.64/1334.27	c nbDecision=261500 #constraints=10915
1336.93/1337.52	c nbDecision=262000 #constraints=10980
1339.23/1339.86	c nbDecision=262500 #constraints=10982
1341.53/1342.19	c nbDecision=263000 #constraints=10985
1344.33/1344.91	c nbDecision=263500 #constraints=11012
1346.73/1347.38	c nbDecision=264000 #constraints=11024
1349.52/1350.16	c nbDecision=264500 #constraints=11053
1351.82/1352.48	c nbDecision=265000 #constraints=11056
1354.52/1355.14	c nbDecision=265500 #constraints=11080
1356.92/1357.58	c nbDecision=266000 #constraints=11088
1359.62/1360.24	c nbDecision=266500 #constraints=11118
1362.02/1362.61	c nbDecision=267000 #constraints=11121
1364.31/1364.94	c nbDecision=267500 #constraints=11126
1366.62/1367.23	c nbDecision=268000 #constraints=11129
1368.92/1369.52	c nbDecision=268500 #constraints=11132
1371.22/1371.88	c nbDecision=269000 #constraints=11137
1373.52/1374.18	c nbDecision=269500 #constraints=11139
1375.92/1376.58	c nbDecision=270000 #constraints=11145
1378.32/1378.99	c nbDecision=270500 #constraints=11158
1380.72/1381.32	c nbDecision=271000 #constraints=11162
1383.01/1383.64	c nbDecision=271500 #constraints=11166
1385.32/1385.98	c nbDecision=272000 #constraints=11171
1387.62/1388.29	c nbDecision=272500 #constraints=11175
1390.01/1390.61	c nbDecision=273000 #constraints=11180
1392.31/1392.96	c nbDecision=273500 #constraints=11202
1394.61/1395.27	c nbDecision=274000 #constraints=11206
1396.91/1397.59	c nbDecision=274500 #constraints=11211
1399.30/1399.92	c nbDecision=275000 #constraints=11216
1401.60/1402.27	c nbDecision=275500 #constraints=11222
1404.01/1404.61	c nbDecision=276000 #constraints=11227
1406.31/1406.94	c nbDecision=276500 #constraints=11234
1408.60/1409.23	c nbDecision=277000 #constraints=11242
1411.40/1412.00	c nbDecision=277500 #constraints=11276
1413.70/1414.34	c nbDecision=278000 #constraints=11280
1416.20/1416.80	c nbDecision=278500 #constraints=11300
1418.50/1419.11	c nbDecision=279000 #constraints=11305
1421.29/1421.95	c nbDecision=279500 #constraints=11342
1423.59/1424.29	c nbDecision=280000 #constraints=11343
1425.99/1426.63	c nbDecision=280500 #constraints=11345
1428.30/1428.97	c nbDecision=281000 #constraints=11347
1430.69/1431.31	c nbDecision=281500 #constraints=11349
1433.10/1433.75	c nbDecision=282000 #constraints=11359
1435.49/1436.12	c nbDecision=282500 #constraints=11367
1437.79/1438.43	c nbDecision=283000 #constraints=11371
1440.29/1441.00	c nbDecision=283500 #constraints=11386
1442.89/1443.52	c nbDecision=284000 #constraints=11400
1445.29/1445.92	c nbDecision=284500 #constraints=11411
1447.59/1448.27	c nbDecision=285000 #constraints=11415
1450.08/1450.77	c nbDecision=285500 #constraints=11429
1452.49/1453.17	c nbDecision=286000 #constraints=11435
1455.38/1456.00	c nbDecision=286500 #constraints=11462
1457.78/1458.40	c nbDecision=287000 #constraints=11469
1460.08/1460.78	c nbDecision=287500 #constraints=11475
1462.78/1463.46	c nbDecision=288000 #constraints=11496
1465.18/1465.82	c nbDecision=288500 #constraints=11498
1467.57/1468.23	c nbDecision=289000 #constraints=11509
1470.08/1470.77	c nbDecision=289500 #constraints=11529
1472.57/1473.23	c nbDecision=290000 #constraints=11538
1475.27/1475.90	c nbDecision=290500 #constraints=11562
1477.67/1478.39	c nbDecision=291000 #constraints=11574
1480.16/1480.86	c nbDecision=291500 #constraints=11587
1482.66/1483.36	c nbDecision=292000 #constraints=11600
1485.47/1486.13	c nbDecision=292500 #constraints=11626
1487.76/1488.43	c nbDecision=293000 #constraints=11628
1490.07/1490.78	c nbDecision=293500 #constraints=11633
1492.47/1493.18	c nbDecision=294000 #constraints=11645
1494.77/1495.47	c nbDecision=294500 #constraints=11653
1497.06/1497.76	c nbDecision=295000 #constraints=11665
1499.46/1500.18	c nbDecision=295500 #constraints=11674
1501.76/1502.47	c nbDecision=296000 #constraints=11678
1504.17/1504.81	c nbDecision=296500 #constraints=11683
1506.46/1507.14	c nbDecision=297000 #constraints=11686
1508.76/1509.46	c nbDecision=297500 #constraints=11689
1511.06/1511.74	c nbDecision=298000 #constraints=11691
1513.36/1514.03	c nbDecision=298500 #constraints=11695
1515.66/1516.31	c nbDecision=299000 #constraints=11704
1517.95/1518.64	c nbDecision=299500 #constraints=11707
1520.25/1520.95	c nbDecision=300000 #constraints=11716
1522.55/1523.25	c nbDecision=300500 #constraints=11720
1524.85/1525.53	c nbDecision=301000 #constraints=11729
1527.05/1527.78	c nbDecision=301500 #constraints=11733
1529.35/1530.01	c nbDecision=302000 #constraints=11738
1531.55/1532.24	c nbDecision=302500 #constraints=11743
1533.75/1534.48	c nbDecision=303000 #constraints=11750
1536.05/1536.73	c nbDecision=303500 #constraints=11758
1538.54/1539.26	c nbDecision=304000 #constraints=11771
1540.84/1541.56	c nbDecision=304500 #constraints=11773
1543.14/1543.87	c nbDecision=305000 #constraints=11776
1545.44/1546.18	c nbDecision=305500 #constraints=11779
1547.74/1548.47	c nbDecision=306000 #constraints=11782
1550.04/1550.75	c nbDecision=306500 #constraints=11784
1552.34/1553.01	c nbDecision=307000 #constraints=11791
1554.53/1555.28	c nbDecision=307500 #constraints=11804
1557.13/1557.83	c nbDecision=308000 #constraints=11818
1559.43/1560.12	c nbDecision=308500 #constraints=11821
1561.73/1562.42	c nbDecision=309000 #constraints=11836
1564.93/1565.68	c nbDecision=309500 #constraints=11866
1568.03/1568.76	c nbDecision=310000 #constraints=11893
1570.43/1571.12	c nbDecision=310500 #constraints=11895
1573.13/1573.81	c nbDecision=311000 #constraints=11914
1575.73/1576.47	c nbDecision=311500 #constraints=11930
1578.43/1579.12	c nbDecision=312000 #constraints=11948
1581.03/1581.73	c nbDecision=312500 #constraints=11960
1583.33/1584.10	c nbDecision=313000 #constraints=11962
1586.13/1586.87	c nbDecision=313500 #constraints=11984
1589.03/1589.73	c nbDecision=314000 #constraints=12006
1591.52/1592.23	c nbDecision=314500 #constraints=12020
1593.82/1594.58	c nbDecision=315000 #constraints=12022
1596.72/1597.45	c nbDecision=315500 #constraints=12044
1599.02/1599.79	c nbDecision=316000 #constraints=12045
1601.42/1602.15	c nbDecision=316500 #constraints=12047
1603.81/1604.53	c nbDecision=317000 #constraints=12049
1606.11/1606.88	c nbDecision=317500 #constraints=12051
1608.52/1609.24	c nbDecision=318000 #constraints=12053
1610.82/1611.59	c nbDecision=318500 #constraints=12055
1613.61/1614.35	c nbDecision=319000 #constraints=12072
1616.02/1616.71	c nbDecision=319500 #constraints=12074
1618.42/1619.13	c nbDecision=320000 #constraints=12080
1621.01/1621.76	c nbDecision=320500 #constraints=12103
1623.51/1624.23	c nbDecision=321000 #constraints=12113
1626.01/1626.73	c nbDecision=321500 #constraints=12123
1628.91/1629.67	c nbDecision=322000 #constraints=12152
1631.31/1632.00	c nbDecision=322500 #constraints=12154
1633.60/1634.32	c nbDecision=323000 #constraints=12155
1636.01/1636.76	c nbDecision=323500 #constraints=12159
1638.71/1639.47	c nbDecision=324000 #constraints=12182
1641.21/1641.97	c nbDecision=324500 #constraints=12190
1644.21/1644.95	c nbDecision=325000 #constraints=12223
1646.51/1647.28	c nbDecision=325500 #constraints=12225
1649.10/1649.87	c nbDecision=326000 #constraints=12247
1651.80/1652.59	c nbDecision=326500 #constraints=12269
1654.20/1654.91	c nbDecision=327000 #constraints=12270
1657.20/1657.93	c nbDecision=327500 #constraints=12302
1659.60/1660.35	c nbDecision=328000 #constraints=12311
1662.10/1662.83	c nbDecision=328500 #constraints=12322
1664.50/1665.20	c nbDecision=329000 #constraints=12324
1666.90/1667.69	c nbDecision=329500 #constraints=12339
1669.69/1670.41	c nbDecision=330000 #constraints=12361
1672.59/1673.36	c nbDecision=330500 #constraints=12395
1675.39/1676.10	c nbDecision=331000 #constraints=12421
1678.08/1678.82	c nbDecision=331500 #constraints=12445
1680.68/1681.41	c nbDecision=332000 #constraints=12459
1683.30/1684.02	c nbDecision=332500 #constraints=12473
1686.09/1686.84	c nbDecision=333000 #constraints=12498
1688.49/1689.20	c nbDecision=333500 #constraints=12504
1690.88/1691.68	c nbDecision=334000 #constraints=12513
1693.98/1694.72	c nbDecision=334500 #constraints=12543
1696.38/1697.11	c nbDecision=335000 #constraints=12545
1698.88/1699.63	c nbDecision=335500 #constraints=12553
1701.48/1702.25	c nbDecision=336000 #constraints=12563
1703.88/1704.65	c nbDecision=336500 #constraints=12565
1706.18/1706.99	c nbDecision=337000 #constraints=12566
1709.47/1710.27	c nbDecision=337500 #constraints=12589
1711.77/1712.57	c nbDecision=338000 #constraints=12590
1714.57/1715.39	c nbDecision=338500 #constraints=12619
1717.18/1717.90	c nbDecision=339000 #constraints=12630
1719.97/1720.71	c nbDecision=339500 #constraints=12658
1722.77/1723.56	c nbDecision=340000 #constraints=12674
1725.37/1726.19	c nbDecision=340500 #constraints=12688
1727.77/1728.56	c nbDecision=341000 #constraints=12693
1730.57/1731.38	c nbDecision=341500 #constraints=12723
1733.17/1733.96	c nbDecision=342000 #constraints=12737
1735.87/1736.66	c nbDecision=342500 #constraints=12755
1738.56/1739.30	c nbDecision=343000 #constraints=12772
1741.06/1741.83	c nbDecision=343500 #constraints=12784
1743.56/1744.32	c nbDecision=344000 #constraints=12793
1745.86/1746.67	c nbDecision=344500 #constraints=12794
1748.26/1749.05	c nbDecision=345000 #constraints=12800
1751.06/1751.86	c nbDecision=345500 #constraints=12824
1753.46/1754.21	c nbDecision=346000 #constraints=12826
1755.75/1756.53	c nbDecision=346500 #constraints=12829
1758.16/1758.92	c nbDecision=347000 #constraints=12845
1760.45/1761.29	c nbDecision=347500 #constraints=12858
1762.85/1763.63	c nbDecision=348000 #constraints=12862
1765.15/1765.96	c nbDecision=348500 #constraints=12865
1767.45/1768.25	c nbDecision=349000 #constraints=12867
1769.75/1770.56	c nbDecision=349500 #constraints=12874
1772.04/1772.87	c nbDecision=350000 #constraints=12877
1774.34/1775.18	c nbDecision=350500 #constraints=12880
1776.75/1777.52	c nbDecision=351000 #constraints=12888
1779.54/1780.30	c nbDecision=351500 #constraints=12908
1781.85/1782.62	c nbDecision=352000 #constraints=12912
1784.15/1784.94	c nbDecision=352500 #constraints=12915
1786.45/1787.25	c nbDecision=353000 #constraints=12918
1788.74/1789.53	c nbDecision=353500 #constraints=12922
1792.34/1793.18	c nbDecision=354000 #constraints=12972
1795.44/1796.28	c nbDecision=354500 #constraints=12994
1798.13/1798.92	c nbDecision=355000 #constraints=13009
1800.04/1800.80	Received signal 15
1800.04/1800.81	
1800.04/1800.81	s UNKNOWN
1800.04/1800.81	
1800.04/1800.81	c user time= 1799.62 s
1800.04/1800.81	c system time= 0.436933 s
1800.04/1800.81	c wall clock time=1800.81

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30789
/proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=1468 CPUtime=0
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175553584 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 367 161 127 317 0 46 0

[startup+0.0610499 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30789
/proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=2052 CPUtime=0.05
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 333 0 0 0 5 0 0 0 18 0 1 0 175553584 2101248 282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 513 282 128 317 0 192 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2052

[startup+0.101059 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30789
/proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=2580 CPUtime=0.09
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 175553584 2641920 449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 645 449 131 317 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2580

[startup+0.301101 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30789
/proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=6020 CPUtime=0.29
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 1357 0 0 0 29 0 0 0 19 0 1 0 175553584 6164480 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 1505 1306 131 317 0 1184 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6020

[startup+0.701187 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30789
/proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=12844 CPUtime=0.69
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 2990 0 0 0 68 1 0 0 23 0 1 0 175553584 13152256 2939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 3211 2941 131 317 0 2890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12844

[startup+1.50136 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1678144/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=25396 CPUtime=1.49
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 5896 0 0 0 145 4 0 0 25 0 1 0 175553584 26005504 5845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531149 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 6349 5845 131 317 0 6028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25396

[startup+3.1017 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1662080/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=50860 CPUtime=3.09
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 11930 0 0 0 301 8 0 0 25 0 1 0 175553584 52080640 11879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 12715 11879 131 317 0 12394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50860

[startup+6.30239 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1609408/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=89228 CPUtime=6.29
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21336 0 0 0 617 12 0 0 25 0 1 0 175553584 91369472 21251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 22307 21251 139 317 0 21986 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89228

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1609352/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=89360 CPUtime=12.69
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21351 0 0 0 1257 12 0 0 25 0 1 0 175553584 91504640 21266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 22340 21266 139 317 0 22019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89360

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1609224/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=89756 CPUtime=25.48
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21455 0 0 0 2536 12 0 0 25 0 1 0 175553584 91910144 21370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 22439 21370 139 317 0 22118 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89756

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1608456/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=90552 CPUtime=51.07
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21650 0 0 0 5094 13 0 0 25 0 1 0 175553584 92725248 21565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 22638 21565 139 317 0 22317 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 90552

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1607048/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=92004 CPUtime=102.26
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22017 0 0 0 10212 14 0 0 25 0 1 0 175553584 94212096 21932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 23001 21932 139 317 0 22680 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92004

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1605448/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=93572 CPUtime=162.23
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22424 0 0 0 16208 15 0 0 25 0 1 0 175553584 95817728 22339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 23393 22339 139 317 0 23072 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 93572

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1604424/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=94488 CPUtime=222.21
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22647 0 0 0 22205 16 0 0 25 0 1 0 175553584 96755712 22562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 23622 22562 139 317 0 23301 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 94488

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1603592/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=95284 CPUtime=282.18
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22852 0 0 0 28202 16 0 0 25 0 1 0 175553584 97570816 22767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 23821 22767 139 317 0 23500 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 95284

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30790
/proc/meminfo: memFree=1603016/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=95816 CPUtime=342.16
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22990 0 0 0 34199 17 0 0 25 0 1 0 175553584 98115584 22905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 23954 22905 139 317 0 23633 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 95816

[startup+402.302 s]
/proc/loadavg: 1.06 1.00 0.99 2/78 30790
/proc/meminfo: memFree=1602440/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=96344 CPUtime=402.13
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23121 0 0 0 40195 18 0 0 25 0 1 0 175553584 98656256 23036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 24086 23036 139 317 0 23765 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 96344

[startup+462.302 s]
/proc/loadavg: 1.08 1.01 1.00 2/78 30790
/proc/meminfo: memFree=1601928/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=96868 CPUtime=462.11
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23258 0 0 0 46192 19 0 0 25 0 1 0 175553584 99192832 23173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 24217 23173 139 317 0 23896 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 96868

[startup+522.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 30790
/proc/meminfo: memFree=1600712/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=98048 CPUtime=522.07
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23558 0 0 0 52188 19 0 0 25 0 1 0 175553584 100401152 23473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385262 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 24512 23473 139 317 0 24191 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 98048

[startup+582.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 30790
/proc/meminfo: memFree=1593736/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=105808 CPUtime=582.05
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 25343 0 0 0 58184 21 0 0 25 0 1 0 175553584 108347392 25258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 26452 25258 170 317 0 26131 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 105808

[startup+642.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 30790
/proc/meminfo: memFree=1588552/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=111396 CPUtime=642.03
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 26614 0 0 0 64181 22 0 0 25 0 1 0 175553584 114069504 26529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 27849 26529 170 317 0 27528 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 111396


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30790
/proc/meminfo: memFree=1586120/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=113760 CPUtime=821.95
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 27219 0 0 0 82171 24 0 0 25 0 1 0 175553584 116490240 27134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 28440 27134 170 317 0 28119 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 113760

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 30790
/proc/meminfo: memFree=1583688/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=116408 CPUtime=881.92
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 27808 0 0 0 88167 25 0 0 25 0 1 0 175553584 119201792 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 29102 27723 170 317 0 28781 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 116408

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1582344/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=117880 CPUtime=941.9
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 28168 0 0 0 94164 26 0 0 25 0 1 0 175553584 120709120 28083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 29470 28083 170 317 0 29149 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 117880

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1580872/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=119192 CPUtime=1001.87
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 28513 0 0 0 100160 27 0 0 25 0 1 0 175553584 122052608 28428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 29798 28428 170 317 0 29477 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 119192

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1575816/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=124660 CPUtime=1061.85
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 29802 0 0 0 106157 28 0 0 25 0 1 0 175553584 127651840 29717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 31165 29717 170 317 0 30844 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 124660

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1572808/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=127792 CPUtime=1121.82
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 30580 0 0 0 112154 28 0 0 25 0 1 0 175553584 130859008 30430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 31948 30430 170 317 0 31627 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 127792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1569352/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=131616 CPUtime=1181.8
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 31433 0 0 0 118150 30 0 0 25 0 1 0 175553584 134774784 31283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 32904 31283 170 317 0 32583 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 131616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1557576/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=144836 CPUtime=1241.77
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 34382 0 0 0 124146 31 0 0 25 0 1 0 175553584 148312064 34232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 36209 34232 170 317 0 35888 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 144836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1552264/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=150584 CPUtime=1301.75
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 35707 0 0 0 130143 32 0 0 25 0 1 0 175553584 154198016 35557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 37646 35557 170 317 0 37325 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 150584

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1546056/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=156592 CPUtime=1361.72
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 37249 0 0 0 136139 33 0 0 25 0 1 0 175553584 160350208 37099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 39148 37099 170 317 0 38827 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 156592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1542344/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=161088 CPUtime=1421.69
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 38152 0 0 0 142135 34 0 0 25 0 1 0 175553584 164954112 38002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 40272 38002 170 317 0 39951 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 161088

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1537736/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=165472 CPUtime=1481.66
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 39310 0 0 0 148131 35 0 0 25 0 1 0 175553584 169443328 39160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 41368 39160 170 317 0 41047 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 165472

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 30790
/proc/meminfo: memFree=1535752/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=167608 CPUtime=1541.64
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 39800 0 0 0 154128 36 0 0 25 0 1 0 175553584 171630592 39650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 41902 39650 170 317 0 41581 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 167608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30790
/proc/meminfo: memFree=1527304/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=178552 CPUtime=1601.61
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 41895 0 0 0 160123 38 0 0 25 0 1 0 175553584 182837248 41745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 44638 41745 170 317 0 44317 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 178552

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30792
/proc/meminfo: memFree=1521096/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=184040 CPUtime=1661.6
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 43448 0 0 0 166120 40 0 0 25 0 1 0 175553584 188456960 43298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 46010 43298 170 317 0 45689 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 184040

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30792
/proc/meminfo: memFree=1514056/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=191544 CPUtime=1721.57
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 45305 0 0 0 172115 42 0 0 25 0 1 0 175553584 196141056 45155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 47886 45155 170 317 0 47565 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 191544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30792
/proc/meminfo: memFree=1509384/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=195552 CPUtime=1781.55
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 46357 0 0 0 178112 43 0 0 25 0 1 0 175553584 200245248 46207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 48888 46207 170 317 0 48567 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 195552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30792
/proc/meminfo: memFree=1507016/2055920 swapFree=4152380/4192956
[pid=30789] ppid=30787 vsize=198096 CPUtime=1800.04
/proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 46947 0 0 0 179961 43 0 0 25 0 1 0 175553584 202850304 46797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30789/statm: 49524 46797 170 317 0 49203 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 198096

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

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

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.13
CPU user time (s): 1799.66
CPU system time (s): 0.469928
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 198096

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

runsolver used 2.04669 second user time and 4.53131 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 15:06:01 UTC 2007

IDJOB= 357343
IDBENCH= 2438
IDSOLVER= 172
FILE ID= node10/357343-1176995160

PBS_JOBID= 4630430

Free space on /tmp= 66256 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb
COMMAND LINE= oree /tmp/evaluation/357343-1176995160/instance-357343-1176995160.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-357343-1176995160 -o ROOT/results/node10/solver-357343-1176995160 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357343-1176995160/instance-357343-1176995160.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fed9726f7ff3b53e29a48b8849ad3d9b

RANDOM SEED= 607039096

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1694624 kB
Buffers:         24916 kB
Cached:         256408 kB
SwapCached:       8560 kB
Active:          77444 kB
Inactive:       227876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1694624 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:           15720 kB
Writeback:           0 kB
Mapped:          31248 kB
Slab:            41592 kB
Committed_AS:  3567760 kB
PageTables:       1712 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= 66256 MiB

End job on node10 on Thu Apr 19 15:36:04 UTC 2007