Trace number 357312

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.18 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMebe0bf73b5f65c9fef014886519c9815
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 variables155020
Total number of constraints2675
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 constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
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 12491747892670016
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=155020 #constraints=4868 hasObjective=yes
4.79/4.85	c res. mode=mod
4.79/4.85	c VSIDS like heuristics
4.79/4.85	c complete search running
34.18/34.28	c restart after 401 decisions
39.67/39.78	c nbDecision=500 #constraints=5320
62.86/62.93	c restart after 801 decisions
76.25/76.32	c nbDecision=1000 #constraints=5798
114.94/115.06	c nbDecision=1500 #constraints=6300
117.24/117.31	c restart after 1601 decisions
118.94/119.00	c nbDecision=2000 #constraints=6343
121.04/121.17	c nbDecision=2500 #constraints=6367
123.24/123.34	c nbDecision=3000 #constraints=6391
124.14/124.20	c restart after 3201 decisions
125.34/125.50	c nbDecision=3500 #constraints=6405
127.54/127.65	c nbDecision=4000 #constraints=6416
129.74/129.82	c nbDecision=4500 #constraints=6428
131.84/131.99	c nbDecision=5000 #constraints=6434
134.04/134.15	c nbDecision=5500 #constraints=6439
136.24/136.32	c nbDecision=6000 #constraints=6442
137.94/138.07	c restart after 6401 decisions
138.34/138.48	c nbDecision=6500 #constraints=6444
140.53/140.66	c nbDecision=7000 #constraints=6450
142.73/142.83	c nbDecision=7500 #constraints=6452
144.93/145.01	c nbDecision=8000 #constraints=6458
147.03/147.18	c nbDecision=8500 #constraints=6461
149.23/149.33	c nbDecision=9000 #constraints=6464
151.33/151.49	c nbDecision=9500 #constraints=6466
153.53/153.65	c nbDecision=10000 #constraints=6470
155.73/155.82	c nbDecision=10500 #constraints=6475
157.94/158.04	c nbDecision=11000 #constraints=6482
160.14/160.21	c nbDecision=11500 #constraints=6484
162.24/162.40	c nbDecision=12000 #constraints=6492
164.44/164.57	c nbDecision=12500 #constraints=6495
165.74/165.88	c restart after 12801 decisions
166.64/166.71	c nbDecision=13000 #constraints=6497
168.74/168.88	c nbDecision=13500 #constraints=6501
170.94/171.04	c nbDecision=14000 #constraints=6506
173.14/173.20	c nbDecision=14500 #constraints=6509
175.24/175.37	c nbDecision=15000 #constraints=6520
177.44/177.57	c nbDecision=15500 #constraints=6538
179.63/179.76	c nbDecision=16000 #constraints=6543
181.83/181.94	c nbDecision=16500 #constraints=6549
184.03/184.12	c nbDecision=17000 #constraints=6551
186.13/186.28	c nbDecision=17500 #constraints=6553
188.33/188.44	c nbDecision=18000 #constraints=6556
190.53/190.60	c nbDecision=18500 #constraints=6558
192.63/192.76	c nbDecision=19000 #constraints=6560
194.83/194.92	c nbDecision=19500 #constraints=6561
196.93/197.09	c nbDecision=20000 #constraints=6563
199.13/199.26	c nbDecision=20500 #constraints=6565
201.33/201.44	c nbDecision=21000 #constraints=6567
203.53/203.61	c nbDecision=21500 #constraints=6569
205.63/205.79	c nbDecision=22000 #constraints=6576
207.83/207.96	c nbDecision=22500 #constraints=6584
210.03/210.12	c nbDecision=23000 #constraints=6589
212.13/212.28	c nbDecision=23500 #constraints=6591
214.33/214.45	c nbDecision=24000 #constraints=6599
216.53/216.61	c nbDecision=24500 #constraints=6601
218.62/218.78	c nbDecision=25000 #constraints=6603
220.83/220.95	c nbDecision=25500 #constraints=6605
221.32/221.40	c restart after 25601 decisions
223.02/223.18	c nbDecision=26000 #constraints=6607
225.22/225.35	c nbDecision=26500 #constraints=6608
227.42/227.52	c nbDecision=27000 #constraints=6616
229.52/229.68	c nbDecision=27500 #constraints=6618
231.72/231.84	c nbDecision=28000 #constraints=6621
233.92/234.00	c nbDecision=28500 #constraints=6623
236.02/236.18	c nbDecision=29000 #constraints=6628
238.22/238.38	c nbDecision=29500 #constraints=6630
240.42/240.56	c nbDecision=30000 #constraints=6632
242.62/242.74	c nbDecision=30500 #constraints=6634
244.82/244.92	c nbDecision=31000 #constraints=6636
246.92/247.09	c nbDecision=31500 #constraints=6641
249.12/249.26	c nbDecision=32000 #constraints=6648
251.32/251.42	c nbDecision=32500 #constraints=6650
253.42/253.58	c nbDecision=33000 #constraints=6652
255.62/255.74	c nbDecision=33500 #constraints=6654
257.82/257.94	c nbDecision=34000 #constraints=6656
260.02/260.11	c nbDecision=34500 #constraints=6658
262.11/262.30	c nbDecision=35000 #constraints=6661
264.31/264.47	c nbDecision=35500 #constraints=6663
266.51/266.63	c nbDecision=36000 #constraints=6665
268.61/268.80	c nbDecision=36500 #constraints=6669
270.81/270.95	c nbDecision=37000 #constraints=6671
273.01/273.11	c nbDecision=37500 #constraints=6673
275.11/275.28	c nbDecision=38000 #constraints=6678
277.31/277.45	c nbDecision=38500 #constraints=6680
279.51/279.63	c nbDecision=39000 #constraints=6686
281.71/281.82	c nbDecision=39500 #constraints=6695
283.91/284.00	c nbDecision=40000 #constraints=6702
286.01/286.17	c nbDecision=40500 #constraints=6705
288.21/288.33	c nbDecision=41000 #constraints=6710
290.31/290.48	c nbDecision=41500 #constraints=6713
292.51/292.63	c nbDecision=42000 #constraints=6715
294.61/294.79	c nbDecision=42500 #constraints=6719
296.81/297.00	c nbDecision=43000 #constraints=6722
299.01/299.18	c nbDecision=43500 #constraints=6732
301.21/301.35	c nbDecision=44000 #constraints=6735
303.41/303.52	c nbDecision=44500 #constraints=6739
305.50/305.69	c nbDecision=45000 #constraints=6744
307.70/307.86	c nbDecision=45500 #constraints=6761
309.90/310.02	c nbDecision=46000 #constraints=6765
312.00/312.17	c nbDecision=46500 #constraints=6770
314.20/314.33	c nbDecision=47000 #constraints=6774
316.30/316.49	c nbDecision=47500 #constraints=6780
318.50/318.66	c nbDecision=48000 #constraints=6783
320.70/320.83	c nbDecision=48500 #constraints=6786
322.90/323.00	c nbDecision=49000 #constraints=6790
325.00/325.17	c nbDecision=49500 #constraints=6793
327.20/327.32	c nbDecision=50000 #constraints=6797
329.30/329.49	c nbDecision=50500 #constraints=6807
331.50/331.64	c nbDecision=51000 #constraints=6811
332.40/332.51	c restart after 51201 decisions
333.60/333.78	c nbDecision=51500 #constraints=6813
335.80/335.97	c nbDecision=52000 #constraints=6815
338.00/338.17	c nbDecision=52500 #constraints=6825
340.19/340.36	c nbDecision=53000 #constraints=6827
342.39/342.55	c nbDecision=53500 #constraints=6830
344.59/344.73	c nbDecision=54000 #constraints=6832
346.79/346.91	c nbDecision=54500 #constraints=6834
348.89/349.08	c nbDecision=55000 #constraints=6836
351.09/351.25	c nbDecision=55500 #constraints=6838
353.29/353.42	c nbDecision=56000 #constraints=6839
355.39/355.59	c nbDecision=56500 #constraints=6847
357.59/357.78	c nbDecision=57000 #constraints=6851
359.79/359.97	c nbDecision=57500 #constraints=6858
361.98/362.15	c nbDecision=58000 #constraints=6864
364.18/364.33	c nbDecision=58500 #constraints=6868
366.28/366.49	c nbDecision=59000 #constraints=6872
368.48/368.66	c nbDecision=59500 #constraints=6880
370.68/370.82	c nbDecision=60000 #constraints=6884
372.78/372.98	c nbDecision=60500 #constraints=6890
374.98/375.16	c nbDecision=61000 #constraints=6893
377.18/377.33	c nbDecision=61500 #constraints=6896
379.28/379.50	c nbDecision=62000 #constraints=6898
381.48/381.67	c nbDecision=62500 #constraints=6901
383.68/383.84	c nbDecision=63000 #constraints=6903
385.88/386.01	c nbDecision=63500 #constraints=6912
387.98/388.16	c nbDecision=64000 #constraints=6916
390.18/390.31	c nbDecision=64500 #constraints=6918
392.28/392.47	c nbDecision=65000 #constraints=6921
394.47/394.62	c nbDecision=65500 #constraints=6926
396.57/396.79	c nbDecision=66000 #constraints=6929
398.77/398.96	c nbDecision=66500 #constraints=6933
400.97/401.14	c nbDecision=67000 #constraints=6939
403.17/403.31	c nbDecision=67500 #constraints=6942
405.27/405.47	c nbDecision=68000 #constraints=6944
407.47/407.62	c nbDecision=68500 #constraints=6948
409.57/409.78	c nbDecision=69000 #constraints=6951
411.77/411.93	c nbDecision=69500 #constraints=6954
413.87/414.07	c nbDecision=70000 #constraints=6956
416.07/416.24	c nbDecision=70500 #constraints=6963
418.27/418.41	c nbDecision=71000 #constraints=6967
420.37/420.58	c nbDecision=71500 #constraints=6970
422.57/422.75	c nbDecision=72000 #constraints=6973
424.77/424.92	c nbDecision=72500 #constraints=6976
426.87/427.07	c nbDecision=73000 #constraints=6979
429.06/429.22	c nbDecision=73500 #constraints=6982
431.16/431.37	c nbDecision=74000 #constraints=6985
433.36/433.53	c nbDecision=74500 #constraints=6989
435.56/435.73	c nbDecision=75000 #constraints=6999
437.76/437.90	c nbDecision=75500 #constraints=7006
439.86/440.07	c nbDecision=76000 #constraints=7011
442.06/442.25	c nbDecision=76500 #constraints=7015
444.26/444.42	c nbDecision=77000 #constraints=7018
446.36/446.57	c nbDecision=77500 #constraints=7021
448.56/448.72	c nbDecision=78000 #constraints=7024
450.66/450.88	c nbDecision=78500 #constraints=7028
452.86/453.03	c nbDecision=79000 #constraints=7031
455.06/455.21	c nbDecision=79500 #constraints=7035
457.16/457.39	c nbDecision=80000 #constraints=7039
459.36/459.56	c nbDecision=80500 #constraints=7042
461.55/461.73	c nbDecision=81000 #constraints=7046
463.75/463.92	c nbDecision=81500 #constraints=7050
465.85/466.08	c nbDecision=82000 #constraints=7056
468.05/468.25	c nbDecision=82500 #constraints=7060
470.25/470.41	c nbDecision=83000 #constraints=7068
472.35/472.56	c nbDecision=83500 #constraints=7076
474.55/474.71	c nbDecision=84000 #constraints=7080
476.65/476.88	c nbDecision=84500 #constraints=7088
478.85/479.05	c nbDecision=85000 #constraints=7093
481.05/481.22	c nbDecision=85500 #constraints=7097
483.15/483.39	c nbDecision=86000 #constraints=7102
485.35/485.56	c nbDecision=86500 #constraints=7106
487.55/487.71	c nbDecision=87000 #constraints=7111
489.65/489.87	c nbDecision=87500 #constraints=7116
491.85/492.02	c nbDecision=88000 #constraints=7120
493.94/494.18	c nbDecision=88500 #constraints=7130
496.14/496.34	c nbDecision=89000 #constraints=7136
498.34/498.51	c nbDecision=89500 #constraints=7142
500.44/500.68	c nbDecision=90000 #constraints=7148
502.64/502.85	c nbDecision=90500 #constraints=7155
504.84/505.02	c nbDecision=91000 #constraints=7161
506.94/507.18	c nbDecision=91500 #constraints=7173
509.14/509.33	c nbDecision=92000 #constraints=7179
511.24/511.48	c nbDecision=92500 #constraints=7186
513.44/513.63	c nbDecision=93000 #constraints=7192
516.14/516.34	c nbDecision=93500 #constraints=7233
518.34/518.55	c nbDecision=94000 #constraints=7240
520.53/520.75	c nbDecision=94500 #constraints=7247
522.74/522.95	c nbDecision=95000 #constraints=7251
524.94/525.17	c nbDecision=95500 #constraints=7269
527.14/527.35	c nbDecision=96000 #constraints=7278
529.34/529.51	c nbDecision=96500 #constraints=7281
531.44/531.68	c nbDecision=97000 #constraints=7287
533.74/533.99	c nbDecision=97500 #constraints=7322
535.94/536.19	c nbDecision=98000 #constraints=7323
538.24/538.40	c nbDecision=98500 #constraints=7328
540.44/540.64	c nbDecision=99000 #constraints=7336
542.63/542.84	c nbDecision=99500 #constraints=7338
544.83/545.05	c nbDecision=100000 #constraints=7340
547.03/547.23	c nbDecision=100500 #constraints=7342
549.23/549.42	c nbDecision=101000 #constraints=7345
551.43/551.60	c nbDecision=101500 #constraints=7347
553.53/553.79	c nbDecision=102000 #constraints=7349
555.33/555.56	c restart after 102401 decisions
555.73/555.98	c nbDecision=102500 #constraints=7357
557.93/558.19	c nbDecision=103000 #constraints=7358
560.23/560.42	c nbDecision=103500 #constraints=7372
562.43/562.63	c nbDecision=104000 #constraints=7374
564.63/564.84	c nbDecision=104500 #constraints=7384
566.83/567.02	c nbDecision=105000 #constraints=7389
569.12/569.34	c nbDecision=105500 #constraints=7418
571.32/571.54	c nbDecision=106000 #constraints=7420
573.52/573.74	c nbDecision=106500 #constraints=7425
575.72/575.93	c nbDecision=107000 #constraints=7429
577.92/578.14	c nbDecision=107500 #constraints=7436
580.12/580.36	c nbDecision=108000 #constraints=7439
582.32/582.57	c nbDecision=108500 #constraints=7441
584.52/584.78	c nbDecision=109000 #constraints=7443
586.72/586.98	c nbDecision=109500 #constraints=7445
589.02/589.20	c nbDecision=110000 #constraints=7450
591.12/591.39	c nbDecision=110500 #constraints=7456
593.41/593.60	c nbDecision=111000 #constraints=7459
595.51/595.79	c nbDecision=111500 #constraints=7462
597.81/598.00	c nbDecision=112000 #constraints=7466
600.01/600.20	c nbDecision=112500 #constraints=7469
602.21/602.40	c nbDecision=113000 #constraints=7471
604.41/604.60	c nbDecision=113500 #constraints=7474
606.51/606.79	c nbDecision=114000 #constraints=7476
608.71/608.98	c nbDecision=114500 #constraints=7482
610.91/611.15	c nbDecision=115000 #constraints=7486
613.11/613.33	c nbDecision=115500 #constraints=7491
615.31/615.50	c nbDecision=116000 #constraints=7494
617.41/617.69	c nbDecision=116500 #constraints=7497
619.61/619.88	c nbDecision=117000 #constraints=7500
621.91/622.16	c nbDecision=117500 #constraints=7524
624.11/624.36	c nbDecision=118000 #constraints=7525
626.31/626.56	c nbDecision=118500 #constraints=7531
628.61/628.83	c nbDecision=119000 #constraints=7554
630.81/631.07	c nbDecision=119500 #constraints=7565
633.00/633.28	c nbDecision=120000 #constraints=7567
635.20/635.48	c nbDecision=120500 #constraints=7569
637.40/637.70	c nbDecision=121000 #constraints=7571
639.70/639.92	c nbDecision=121500 #constraints=7575
641.90/642.13	c nbDecision=122000 #constraints=7580
644.10/644.37	c nbDecision=122500 #constraints=7585
646.30/646.57	c nbDecision=123000 #constraints=7587
648.50/648.78	c nbDecision=123500 #constraints=7592
650.70/650.98	c nbDecision=124000 #constraints=7595
652.90/653.18	c nbDecision=124500 #constraints=7601
655.10/655.38	c nbDecision=125000 #constraints=7606
657.30/657.59	c nbDecision=125500 #constraints=7611
659.61/659.88	c nbDecision=126000 #constraints=7633
661.91/662.13	c nbDecision=126500 #constraints=7640
664.11/664.36	c nbDecision=127000 #constraints=7642
666.31/666.56	c nbDecision=127500 #constraints=7647
668.61/668.82	c nbDecision=128000 #constraints=7663
670.80/671.05	c nbDecision=128500 #constraints=7668
673.00/673.27	c nbDecision=129000 #constraints=7677
675.30/675.52	c nbDecision=129500 #constraints=7688
677.50/677.73	c nbDecision=130000 #constraints=7690
679.70/679.95	c nbDecision=130500 #constraints=7696
681.90/682.16	c nbDecision=131000 #constraints=7700
684.20/684.42	c nbDecision=131500 #constraints=7713
686.39/686.62	c nbDecision=132000 #constraints=7716
688.69/688.95	c nbDecision=132500 #constraints=7742
690.89/691.19	c nbDecision=133000 #constraints=7755
693.09/693.39	c nbDecision=133500 #constraints=7757
695.39/695.61	c nbDecision=134000 #constraints=7761
697.59/697.83	c nbDecision=134500 #constraints=7763
699.89/700.10	c nbDecision=135000 #constraints=7776
702.08/702.33	c nbDecision=135500 #constraints=7781
704.27/704.58	c nbDecision=136000 #constraints=7791
706.66/706.97	c nbDecision=136500 #constraints=7813
708.86/709.16	c nbDecision=137000 #constraints=7816
711.06/711.37	c nbDecision=137500 #constraints=7824
713.26/713.59	c nbDecision=138000 #constraints=7833
715.45/715.78	c nbDecision=138500 #constraints=7837
717.64/717.96	c nbDecision=139000 #constraints=7842
720.04/720.35	c nbDecision=139500 #constraints=7866
722.34/722.60	c nbDecision=140000 #constraints=7868
724.54/724.83	c nbDecision=140500 #constraints=7870
726.93/727.23	c nbDecision=141000 #constraints=7899
729.22/729.53	c nbDecision=141500 #constraints=7917
731.41/731.77	c nbDecision=142000 #constraints=7922
733.61/733.96	c nbDecision=142500 #constraints=7924
735.81/736.18	c nbDecision=143000 #constraints=7935
738.01/738.37	c nbDecision=143500 #constraints=7938
740.21/740.56	c nbDecision=144000 #constraints=7942
742.41/742.75	c nbDecision=144500 #constraints=7945
744.60/744.94	c nbDecision=145000 #constraints=7948
746.80/747.11	c nbDecision=145500 #constraints=7952
748.90/749.28	c nbDecision=146000 #constraints=7963
751.10/751.45	c nbDecision=146500 #constraints=7967
753.30/753.61	c nbDecision=147000 #constraints=7970
755.39/755.79	c nbDecision=147500 #constraints=7974
757.59/757.98	c nbDecision=148000 #constraints=7977
759.79/760.16	c nbDecision=148500 #constraints=7980
761.99/762.34	c nbDecision=149000 #constraints=7983
764.19/764.55	c nbDecision=149500 #constraints=7987
766.38/766.75	c nbDecision=150000 #constraints=7990
768.68/769.04	c nbDecision=150500 #constraints=8004
770.88/771.29	c nbDecision=151000 #constraints=8012
773.08/773.48	c nbDecision=151500 #constraints=8014
775.28/775.68	c nbDecision=152000 #constraints=8018
777.58/777.92	c nbDecision=152500 #constraints=8027
779.78/780.16	c nbDecision=153000 #constraints=8033
781.98/782.37	c nbDecision=153500 #constraints=8037
784.18/784.59	c nbDecision=154000 #constraints=8043
786.48/786.82	c nbDecision=154500 #constraints=8046
788.68/789.01	c nbDecision=155000 #constraints=8047
790.87/791.20	c nbDecision=155500 #constraints=8048
793.07/793.41	c nbDecision=156000 #constraints=8051
795.27/795.60	c nbDecision=156500 #constraints=8054
797.47/797.84	c nbDecision=157000 #constraints=8057
799.67/800.07	c nbDecision=157500 #constraints=8062
801.97/802.32	c nbDecision=158000 #constraints=8086
804.17/804.56	c nbDecision=158500 #constraints=8093
806.37/806.75	c nbDecision=159000 #constraints=8096
808.57/808.94	c nbDecision=159500 #constraints=8101
810.77/811.17	c nbDecision=160000 #constraints=8110
812.97/813.36	c nbDecision=160500 #constraints=8113
815.17/815.57	c nbDecision=161000 #constraints=8119
817.47/817.82	c nbDecision=161500 #constraints=8127
819.67/820.06	c nbDecision=162000 #constraints=8130
821.97/822.30	c nbDecision=162500 #constraints=8132
824.17/824.52	c nbDecision=163000 #constraints=8133
826.36/826.73	c nbDecision=163500 #constraints=8138
828.56/828.91	c nbDecision=164000 #constraints=8141
830.76/831.10	c nbDecision=164500 #constraints=8150
832.86/833.27	c nbDecision=165000 #constraints=8154
835.06/835.45	c nbDecision=165500 #constraints=8157
837.26/837.63	c nbDecision=166000 #constraints=8159
839.46/839.83	c nbDecision=166500 #constraints=8164
841.66/842.02	c nbDecision=167000 #constraints=8166
843.86/844.22	c nbDecision=167500 #constraints=8169
846.06/846.40	c nbDecision=168000 #constraints=8175
848.16/848.57	c nbDecision=168500 #constraints=8179
850.36/850.74	c nbDecision=169000 #constraints=8183
852.56/852.94	c nbDecision=169500 #constraints=8186
854.76/855.11	c nbDecision=170000 #constraints=8189
856.96/857.31	c nbDecision=170500 #constraints=8195
859.06/859.50	c nbDecision=171000 #constraints=8200
861.26/861.68	c nbDecision=171500 #constraints=8203
863.45/863.88	c nbDecision=172000 #constraints=8209
865.65/866.06	c nbDecision=172500 #constraints=8212
867.85/868.23	c nbDecision=173000 #constraints=8215
870.05/870.41	c nbDecision=173500 #constraints=8219
872.25/872.60	c nbDecision=174000 #constraints=8234
874.35/874.76	c nbDecision=174500 #constraints=8238
876.55/876.94	c nbDecision=175000 #constraints=8242
878.75/879.12	c nbDecision=175500 #constraints=8246
880.95/881.31	c nbDecision=176000 #constraints=8250
883.15/883.50	c nbDecision=176500 #constraints=8260
885.25/885.68	c nbDecision=177000 #constraints=8265
887.46/887.85	c nbDecision=177500 #constraints=8270
889.65/890.01	c nbDecision=178000 #constraints=8274
891.76/892.17	c nbDecision=178500 #constraints=8279
893.96/894.34	c nbDecision=179000 #constraints=8283
896.16/896.51	c nbDecision=179500 #constraints=8288
898.26/898.70	c nbDecision=180000 #constraints=8293
900.46/900.88	c nbDecision=180500 #constraints=8298
902.66/903.08	c nbDecision=181000 #constraints=8314
904.86/905.26	c nbDecision=181500 #constraints=8324
907.05/907.43	c nbDecision=182000 #constraints=8335
909.15/909.59	c nbDecision=182500 #constraints=8340
911.35/911.75	c nbDecision=183000 #constraints=8345
913.85/914.23	c nbDecision=183500 #constraints=8383
916.05/916.46	c nbDecision=184000 #constraints=8385
918.25/918.69	c nbDecision=184500 #constraints=8388
920.55/920.93	c nbDecision=185000 #constraints=8393
922.74/923.17	c nbDecision=185500 #constraints=8409
924.94/925.38	c nbDecision=186000 #constraints=8416
927.14/927.58	c nbDecision=186500 #constraints=8421
929.34/929.78	c nbDecision=187000 #constraints=8426
931.54/931.97	c nbDecision=187500 #constraints=8430
933.74/934.16	c nbDecision=188000 #constraints=8434
935.94/936.38	c nbDecision=188500 #constraints=8442
938.14/938.59	c nbDecision=189000 #constraints=8448
940.44/940.81	c nbDecision=189500 #constraints=8453
942.64/943.02	c nbDecision=190000 #constraints=8460
944.84/945.26	c nbDecision=190500 #constraints=8480
947.04/947.45	c nbDecision=191000 #constraints=8488
949.23/949.62	c nbDecision=191500 #constraints=8494
951.43/951.81	c nbDecision=192000 #constraints=8500
953.73/954.12	c nbDecision=192500 #constraints=8516
955.93/956.35	c nbDecision=193000 #constraints=8525
958.23/958.61	c nbDecision=193500 #constraints=8534
960.43/960.82	c nbDecision=194000 #constraints=8542
962.63/963.05	c nbDecision=194500 #constraints=8548
964.83/965.25	c nbDecision=195000 #constraints=8552
967.03/967.45	c nbDecision=195500 #constraints=8556
969.33/969.74	c nbDecision=196000 #constraints=8578
971.53/971.96	c nbDecision=196500 #constraints=8589
973.72/974.17	c nbDecision=197000 #constraints=8604
976.02/976.40	c nbDecision=197500 #constraints=8613
978.22/978.62	c nbDecision=198000 #constraints=8623
980.42/980.86	c nbDecision=198500 #constraints=8628
982.72/983.12	c nbDecision=199000 #constraints=8634
984.92/985.39	c nbDecision=199500 #constraints=8645
987.22/987.61	c nbDecision=200000 #constraints=8652
989.43/989.88	c nbDecision=200500 #constraints=8670
991.63/992.10	c nbDecision=201000 #constraints=8679
993.83/994.29	c nbDecision=201500 #constraints=8683
996.13/996.53	c nbDecision=202000 #constraints=8691
998.33/998.78	c nbDecision=202500 #constraints=8700
1000.63/1001.05	c nbDecision=203000 #constraints=8709
1002.92/1003.30	c nbDecision=203500 #constraints=8714
1005.12/1005.55	c nbDecision=204000 #constraints=8716
1007.32/1007.76	c nbDecision=204500 #constraints=8723
1008.62/1009.09	c restart after 204801 decisions
1009.52/1009.98	c nbDecision=205000 #constraints=8729
1011.82/1012.23	c nbDecision=205500 #constraints=8731
1014.02/1014.48	c nbDecision=206000 #constraints=8733
1016.32/1016.74	c nbDecision=206500 #constraints=8735
1018.62/1019.00	c nbDecision=207000 #constraints=8736
1020.82/1021.29	c nbDecision=207500 #constraints=8739
1023.12/1023.56	c nbDecision=208000 #constraints=8741
1025.42/1025.83	c nbDecision=208500 #constraints=8743
1027.72/1028.10	c nbDecision=209000 #constraints=8747
1029.92/1030.38	c nbDecision=209500 #constraints=8749
1032.22/1032.62	c nbDecision=210000 #constraints=8751
1034.41/1034.87	c nbDecision=210500 #constraints=8753
1036.71/1037.19	c nbDecision=211000 #constraints=8769
1039.01/1039.45	c nbDecision=211500 #constraints=8773
1041.31/1041.72	c nbDecision=212000 #constraints=8781
1043.51/1043.95	c nbDecision=212500 #constraints=8784
1045.71/1046.17	c nbDecision=213000 #constraints=8787
1047.91/1048.37	c nbDecision=213500 #constraints=8789
1050.11/1050.56	c nbDecision=214000 #constraints=8791
1052.31/1052.79	c nbDecision=214500 #constraints=8794
1054.51/1054.98	c nbDecision=215000 #constraints=8796
1056.81/1057.22	c nbDecision=215500 #constraints=8801
1059.01/1059.45	c nbDecision=216000 #constraints=8803
1061.30/1061.70	c nbDecision=216500 #constraints=8806
1063.50/1063.94	c nbDecision=217000 #constraints=8810
1065.70/1066.16	c nbDecision=217500 #constraints=8813
1067.90/1068.39	c nbDecision=218000 #constraints=8826
1070.20/1070.61	c nbDecision=218500 #constraints=8834
1072.40/1072.82	c nbDecision=219000 #constraints=8837
1074.60/1075.03	c nbDecision=219500 #constraints=8841
1076.80/1077.25	c nbDecision=220000 #constraints=8844
1079.00/1079.49	c nbDecision=220500 #constraints=8848
1081.30/1081.71	c nbDecision=221000 #constraints=8851
1083.50/1083.94	c nbDecision=221500 #constraints=8855
1085.70/1086.17	c nbDecision=222000 #constraints=8859
1087.90/1088.38	c nbDecision=222500 #constraints=8863
1090.20/1090.61	c nbDecision=223000 #constraints=8880
1092.39/1092.83	c nbDecision=223500 #constraints=8886
1094.59/1095.06	c nbDecision=224000 #constraints=8891
1096.79/1097.29	c nbDecision=224500 #constraints=8896
1099.09/1099.51	c nbDecision=225000 #constraints=8901
1101.29/1101.74	c nbDecision=225500 #constraints=8906
1103.49/1103.97	c nbDecision=226000 #constraints=8911
1105.79/1106.21	c nbDecision=226500 #constraints=8919
1107.99/1108.41	c nbDecision=227000 #constraints=8924
1110.19/1110.63	c nbDecision=227500 #constraints=8929
1112.39/1112.84	c nbDecision=228000 #constraints=8934
1114.69/1115.14	c nbDecision=228500 #constraints=8944
1116.99/1117.46	c nbDecision=229000 #constraints=8967
1119.19/1119.69	c nbDecision=229500 #constraints=8971
1121.49/1121.99	c nbDecision=230000 #constraints=9000
1123.79/1124.22	c nbDecision=230500 #constraints=9006
1125.99/1126.47	c nbDecision=231000 #constraints=9016
1128.19/1128.67	c nbDecision=231500 #constraints=9021
1130.39/1130.87	c nbDecision=232000 #constraints=9024
1132.59/1133.07	c nbDecision=232500 #constraints=9029
1134.78/1135.27	c nbDecision=233000 #constraints=9036
1136.98/1137.50	c nbDecision=233500 #constraints=9041
1139.28/1139.71	c nbDecision=234000 #constraints=9047
1141.48/1141.93	c nbDecision=234500 #constraints=9054
1143.68/1144.17	c nbDecision=235000 #constraints=9059
1145.88/1146.38	c nbDecision=235500 #constraints=9066
1148.08/1148.60	c nbDecision=236000 #constraints=9079
1150.38/1150.81	c nbDecision=236500 #constraints=9086
1152.58/1153.00	c nbDecision=237000 #constraints=9092
1154.68/1155.20	c nbDecision=237500 #constraints=9096
1156.98/1157.44	c nbDecision=238000 #constraints=9105
1159.17/1159.70	c nbDecision=238500 #constraints=9107
1161.47/1161.97	c nbDecision=239000 #constraints=9117
1163.77/1164.20	c nbDecision=239500 #constraints=9125
1165.97/1166.43	c nbDecision=240000 #constraints=9144
1168.17/1168.62	c nbDecision=240500 #constraints=9149
1170.37/1170.83	c nbDecision=241000 #constraints=9162
1172.57/1173.02	c nbDecision=241500 #constraints=9167
1174.77/1175.26	c nbDecision=242000 #constraints=9174
1176.97/1177.49	c nbDecision=242500 #constraints=9184
1179.27/1179.73	c nbDecision=243000 #constraints=9193
1181.47/1181.96	c nbDecision=243500 #constraints=9199
1183.77/1184.26	c nbDecision=244000 #constraints=9217
1186.07/1186.50	c nbDecision=244500 #constraints=9226
1188.27/1188.71	c nbDecision=245000 #constraints=9230
1190.47/1190.94	c nbDecision=245500 #constraints=9234
1192.67/1193.18	c nbDecision=246000 #constraints=9240
1195.07/1195.51	c nbDecision=246500 #constraints=9257
1197.27/1197.77	c nbDecision=247000 #constraints=9268
1199.57/1200.02	c nbDecision=247500 #constraints=9273
1201.77/1202.27	c nbDecision=248000 #constraints=9278
1204.07/1204.51	c nbDecision=248500 #constraints=9284
1206.27/1206.75	c nbDecision=249000 #constraints=9288
1208.47/1208.97	c nbDecision=249500 #constraints=9289
1210.67/1211.19	c nbDecision=250000 #constraints=9297
1212.87/1213.39	c nbDecision=250500 #constraints=9300
1215.07/1215.58	c nbDecision=251000 #constraints=9303
1217.36/1217.81	c nbDecision=251500 #constraints=9305
1219.56/1220.04	c nbDecision=252000 #constraints=9320
1221.76/1222.23	c nbDecision=252500 #constraints=9323
1223.96/1224.45	c nbDecision=253000 #constraints=9329
1226.16/1226.63	c nbDecision=253500 #constraints=9332
1228.36/1228.81	c nbDecision=254000 #constraints=9336
1230.46/1230.98	c nbDecision=254500 #constraints=9341
1232.66/1233.15	c nbDecision=255000 #constraints=9344
1234.86/1235.32	c nbDecision=255500 #constraints=9347
1237.06/1237.52	c nbDecision=256000 #constraints=9351
1239.26/1239.71	c nbDecision=256500 #constraints=9354
1241.46/1241.90	c nbDecision=257000 #constraints=9359
1244.05/1244.50	c nbDecision=257500 #constraints=9394
1246.35/1246.88	c nbDecision=258000 #constraints=9410
1248.65/1249.14	c nbDecision=258500 #constraints=9413
1250.85/1251.39	c nbDecision=259000 #constraints=9416
1253.25/1253.74	c nbDecision=259500 #constraints=9433
1255.65/1256.18	c nbDecision=260000 #constraints=9450
1258.15/1258.63	c nbDecision=260500 #constraints=9470
1260.45/1260.98	c nbDecision=261000 #constraints=9481
1262.84/1263.35	c nbDecision=261500 #constraints=9495
1265.35/1265.83	c nbDecision=262000 #constraints=9516
1267.76/1268.22	c nbDecision=262500 #constraints=9533
1269.95/1270.46	c nbDecision=263000 #constraints=9539
1272.25/1272.73	c nbDecision=263500 #constraints=9561
1274.45/1274.94	c nbDecision=264000 #constraints=9565
1276.65/1277.16	c nbDecision=264500 #constraints=9568
1278.85/1279.39	c nbDecision=265000 #constraints=9573
1281.15/1281.61	c nbDecision=265500 #constraints=9577
1283.35/1283.81	c nbDecision=266000 #constraints=9580
1285.55/1286.03	c nbDecision=266500 #constraints=9588
1287.75/1288.22	c nbDecision=267000 #constraints=9592
1289.95/1290.42	c nbDecision=267500 #constraints=9596
1292.14/1292.61	c nbDecision=268000 #constraints=9600
1294.34/1294.80	c nbDecision=268500 #constraints=9604
1296.45/1296.99	c nbDecision=269000 #constraints=9607
1298.74/1299.20	c nbDecision=269500 #constraints=9610
1300.94/1301.41	c nbDecision=270000 #constraints=9614
1303.14/1303.63	c nbDecision=270500 #constraints=9630
1305.34/1305.85	c nbDecision=271000 #constraints=9644
1307.54/1308.03	c nbDecision=271500 #constraints=9650
1309.74/1310.21	c nbDecision=272000 #constraints=9654
1311.84/1312.39	c nbDecision=272500 #constraints=9657
1314.04/1314.56	c nbDecision=273000 #constraints=9661
1316.64/1317.16	c nbDecision=273500 #constraints=9692
1318.94/1319.48	c nbDecision=274000 #constraints=9695
1321.24/1321.78	c nbDecision=274500 #constraints=9697
1323.53/1324.08	c nbDecision=275000 #constraints=9699
1325.83/1326.38	c nbDecision=275500 #constraints=9703
1328.13/1328.64	c nbDecision=276000 #constraints=9707
1330.44/1330.96	c nbDecision=276500 #constraints=9719
1332.74/1333.27	c nbDecision=277000 #constraints=9729
1335.03/1335.52	c nbDecision=277500 #constraints=9733
1337.23/1337.78	c nbDecision=278000 #constraints=9737
1339.53/1340.04	c nbDecision=278500 #constraints=9740
1341.83/1342.31	c nbDecision=279000 #constraints=9744
1344.03/1344.58	c nbDecision=279500 #constraints=9753
1346.33/1346.83	c nbDecision=280000 #constraints=9758
1348.53/1349.04	c nbDecision=280500 #constraints=9763
1350.72/1351.24	c nbDecision=281000 #constraints=9769
1352.92/1353.44	c nbDecision=281500 #constraints=9774
1355.12/1355.69	c nbDecision=282000 #constraints=9779
1357.42/1357.95	c nbDecision=282500 #constraints=9783
1359.72/1360.22	c nbDecision=283000 #constraints=9786
1361.92/1362.48	c nbDecision=283500 #constraints=9790
1364.22/1364.76	c nbDecision=284000 #constraints=9804
1366.42/1366.99	c nbDecision=284500 #constraints=9813
1368.72/1369.21	c nbDecision=285000 #constraints=9824
1370.92/1371.41	c nbDecision=285500 #constraints=9829
1373.12/1373.63	c nbDecision=286000 #constraints=9836
1375.32/1375.84	c nbDecision=286500 #constraints=9842
1377.52/1378.07	c nbDecision=287000 #constraints=9854
1379.82/1380.30	c nbDecision=287500 #constraints=9865
1382.01/1382.51	c nbDecision=288000 #constraints=9876
1384.21/1384.74	c nbDecision=288500 #constraints=9887
1386.41/1386.98	c nbDecision=289000 #constraints=9894
1388.72/1389.25	c nbDecision=289500 #constraints=9906
1391.02/1391.51	c nbDecision=290000 #constraints=9919
1393.21/1393.77	c nbDecision=290500 #constraints=9924
1395.51/1396.04	c nbDecision=291000 #constraints=9932
1397.81/1398.30	c nbDecision=291500 #constraints=9938
1400.01/1400.54	c nbDecision=292000 #constraints=9946
1402.21/1402.77	c nbDecision=292500 #constraints=9955
1404.51/1405.04	c nbDecision=293000 #constraints=9965
1406.71/1407.29	c nbDecision=293500 #constraints=9981
1409.01/1409.59	c nbDecision=294000 #constraints=10008
1411.41/1411.91	c nbDecision=294500 #constraints=10022
1413.60/1414.17	c nbDecision=295000 #constraints=10029
1416.60/1417.13	c nbDecision=295500 #constraints=10101
1418.90/1419.44	c nbDecision=296000 #constraints=10103
1421.20/1421.76	c nbDecision=296500 #constraints=10105
1423.50/1424.06	c nbDecision=297000 #constraints=10107
1425.90/1426.46	c nbDecision=297500 #constraints=10118
1428.40/1428.92	c nbDecision=298000 #constraints=10135
1430.69/1431.21	c nbDecision=298500 #constraints=10137
1432.99/1433.51	c nbDecision=299000 #constraints=10140
1435.49/1436.07	c nbDecision=299500 #constraints=10166
1437.79/1438.37	c nbDecision=300000 #constraints=10168
1440.09/1440.68	c nbDecision=300500 #constraints=10170
1442.60/1443.19	c nbDecision=301000 #constraints=10187
1444.90/1445.46	c nbDecision=301500 #constraints=10188
1447.10/1447.69	c nbDecision=302000 #constraints=10193
1449.40/1449.93	c nbDecision=302500 #constraints=10197
1451.60/1452.16	c nbDecision=303000 #constraints=10201
1453.80/1454.40	c nbDecision=303500 #constraints=10210
1456.09/1456.64	c nbDecision=304000 #constraints=10213
1458.29/1458.85	c nbDecision=304500 #constraints=10218
1460.49/1461.06	c nbDecision=305000 #constraints=10224
1462.69/1463.27	c nbDecision=305500 #constraints=10230
1464.89/1465.49	c nbDecision=306000 #constraints=10238
1467.09/1467.68	c nbDecision=306500 #constraints=10243
1469.29/1469.87	c nbDecision=307000 #constraints=10248
1471.49/1472.09	c nbDecision=307500 #constraints=10254
1473.79/1474.36	c nbDecision=308000 #constraints=10264
1476.09/1476.62	c nbDecision=308500 #constraints=10271
1478.39/1478.92	c nbDecision=309000 #constraints=10301
1480.69/1481.20	c nbDecision=309500 #constraints=10313
1482.89/1483.48	c nbDecision=310000 #constraints=10322
1485.19/1485.75	c nbDecision=310500 #constraints=10334
1487.49/1488.01	c nbDecision=311000 #constraints=10341
1489.68/1490.29	c nbDecision=311500 #constraints=10351
1491.98/1492.58	c nbDecision=312000 #constraints=10366
1494.29/1494.88	c nbDecision=312500 #constraints=10381
1496.58/1497.13	c nbDecision=313000 #constraints=10387
1498.88/1499.43	c nbDecision=313500 #constraints=10395
1501.18/1501.71	c nbDecision=314000 #constraints=10399
1503.38/1503.99	c nbDecision=314500 #constraints=10421
1505.68/1506.29	c nbDecision=315000 #constraints=10426
1507.97/1508.55	c nbDecision=315500 #constraints=10435
1510.27/1510.82	c nbDecision=316000 #constraints=10443
1512.47/1513.07	c nbDecision=316500 #constraints=10455
1514.77/1515.34	c nbDecision=317000 #constraints=10471
1517.07/1517.61	c nbDecision=317500 #constraints=10474
1519.27/1519.84	c nbDecision=318000 #constraints=10483
1521.47/1522.04	c nbDecision=318500 #constraints=10491
1524.07/1524.63	c nbDecision=319000 #constraints=10520
1526.47/1527.02	c nbDecision=319500 #constraints=10535
1528.76/1529.38	c nbDecision=320000 #constraints=10557
1531.06/1531.60	c nbDecision=320500 #constraints=10564
1533.26/1533.80	c nbDecision=321000 #constraints=10567
1535.46/1536.01	c nbDecision=321500 #constraints=10570
1537.66/1538.24	c nbDecision=322000 #constraints=10574
1539.86/1540.46	c nbDecision=322500 #constraints=10577
1542.06/1542.67	c nbDecision=323000 #constraints=10579
1544.36/1544.90	c nbDecision=323500 #constraints=10582
1546.56/1547.12	c nbDecision=324000 #constraints=10585
1548.76/1549.32	c nbDecision=324500 #constraints=10588
1550.96/1551.53	c nbDecision=325000 #constraints=10592
1553.16/1553.73	c nbDecision=325500 #constraints=10594
1555.36/1555.96	c nbDecision=326000 #constraints=10601
1557.55/1558.18	c nbDecision=326500 #constraints=10604
1559.86/1560.42	c nbDecision=327000 #constraints=10618
1562.06/1562.65	c nbDecision=327500 #constraints=10622
1564.26/1564.87	c nbDecision=328000 #constraints=10625
1566.46/1567.07	c nbDecision=328500 #constraints=10627
1568.66/1569.27	c nbDecision=329000 #constraints=10630
1570.86/1571.47	c nbDecision=329500 #constraints=10634
1573.06/1573.66	c nbDecision=330000 #constraints=10641
1575.56/1576.14	c nbDecision=330500 #constraints=10659
1577.86/1578.42	c nbDecision=331000 #constraints=10681
1580.06/1580.68	c nbDecision=331500 #constraints=10688
1582.36/1582.93	c nbDecision=332000 #constraints=10692
1584.56/1585.17	c nbDecision=332500 #constraints=10696
1586.85/1587.41	c nbDecision=333000 #constraints=10703
1589.45/1590.07	c nbDecision=333500 #constraints=10737
1591.75/1592.36	c nbDecision=334000 #constraints=10745
1594.35/1594.96	c nbDecision=334500 #constraints=10789
1596.65/1597.26	c nbDecision=335000 #constraints=10791
1599.44/1600.00	c nbDecision=335500 #constraints=10820
1601.94/1602.59	c nbDecision=336000 #constraints=10843
1604.35/1604.96	c nbDecision=336500 #constraints=10869
1606.64/1607.23	c nbDecision=337000 #constraints=10877
1608.94/1609.50	c nbDecision=337500 #constraints=10885
1611.34/1611.94	c nbDecision=338000 #constraints=10913
1614.04/1614.60	c nbDecision=338500 #constraints=10940
1616.34/1616.94	c nbDecision=339000 #constraints=10944
1618.64/1619.25	c nbDecision=339500 #constraints=10951
1621.43/1622.07	c nbDecision=340000 #constraints=10975
1623.94/1624.59	c nbDecision=340500 #constraints=10999
1626.44/1627.00	c nbDecision=341000 #constraints=11009
1628.64/1629.29	c nbDecision=341500 #constraints=11014
1631.04/1631.60	c nbDecision=342000 #constraints=11018
1633.64/1634.29	c nbDecision=342500 #constraints=11051
1636.03/1636.61	c nbDecision=343000 #constraints=11053
1638.34/1638.95	c nbDecision=343500 #constraints=11059
1640.73/1641.31	c nbDecision=344000 #constraints=11066
1643.13/1643.74	c nbDecision=344500 #constraints=11078
1645.43/1646.07	c nbDecision=345000 #constraints=11082
1647.73/1648.39	c nbDecision=345500 #constraints=11087
1650.03/1650.68	c nbDecision=346000 #constraints=11090
1652.33/1652.96	c nbDecision=346500 #constraints=11101
1654.63/1655.24	c nbDecision=347000 #constraints=11104
1656.93/1657.51	c nbDecision=347500 #constraints=11109
1659.13/1659.79	c nbDecision=348000 #constraints=11114
1661.43/1662.06	c nbDecision=348500 #constraints=11119
1663.73/1664.34	c nbDecision=349000 #constraints=11126
1666.02/1666.60	c nbDecision=349500 #constraints=11131
1668.82/1669.44	c nbDecision=350000 #constraints=11168
1671.22/1671.89	c nbDecision=350500 #constraints=11180
1673.92/1674.58	c nbDecision=351000 #constraints=11204
1676.33/1676.98	c nbDecision=351500 #constraints=11215
1678.93/1679.58	c nbDecision=352000 #constraints=11233
1681.23/1681.90	c nbDecision=352500 #constraints=11235
1684.12/1684.70	c nbDecision=353000 #constraints=11263
1686.62/1687.26	c nbDecision=353500 #constraints=11281
1689.12/1689.71	c nbDecision=354000 #constraints=11294
1691.62/1692.20	c nbDecision=354500 #constraints=11311
1694.12/1694.76	c nbDecision=355000 #constraints=11335
1696.62/1697.25	c nbDecision=355500 #constraints=11346
1699.01/1699.60	c nbDecision=356000 #constraints=11349
1701.41/1702.08	c nbDecision=356500 #constraints=11361
1704.01/1704.68	c nbDecision=357000 #constraints=11381
1706.52/1707.15	c nbDecision=357500 #constraints=11395
1709.11/1709.72	c nbDecision=358000 #constraints=11419
1711.31/1711.99	c nbDecision=358500 #constraints=11425
1713.62/1714.29	c nbDecision=359000 #constraints=11429
1716.02/1716.60	c nbDecision=359500 #constraints=11447
1719.12/1719.79	c nbDecision=360000 #constraints=11487
1721.62/1722.26	c nbDecision=360500 #constraints=11501
1724.41/1725.01	c nbDecision=361000 #constraints=11529
1726.71/1727.36	c nbDecision=361500 #constraints=11534
1729.01/1729.69	c nbDecision=362000 #constraints=11539
1731.71/1732.33	c nbDecision=362500 #constraints=11562
1734.31/1734.92	c nbDecision=363000 #constraints=11580
1736.81/1737.41	c nbDecision=363500 #constraints=11595
1739.31/1739.95	c nbDecision=364000 #constraints=11611
1741.91/1742.52	c nbDecision=364500 #constraints=11630
1744.61/1745.23	c nbDecision=365000 #constraints=11655
1746.81/1747.49	c nbDecision=365500 #constraints=11657
1749.11/1749.79	c nbDecision=366000 #constraints=11676
1752.21/1752.82	c nbDecision=366500 #constraints=11714
1754.80/1755.50	c nbDecision=367000 #constraints=11741
1757.20/1757.83	c nbDecision=367500 #constraints=11745
1759.50/1760.11	c nbDecision=368000 #constraints=11753
1762.20/1762.80	c nbDecision=368500 #constraints=11784
1764.61/1765.25	c nbDecision=369000 #constraints=11799
1767.11/1767.73	c nbDecision=369500 #constraints=11816
1769.40/1770.02	c nbDecision=370000 #constraints=11820
1771.70/1772.31	c nbDecision=370500 #constraints=11831
1773.90/1774.57	c nbDecision=371000 #constraints=11840
1776.20/1776.85	c nbDecision=371500 #constraints=11851
1778.50/1779.17	c nbDecision=372000 #constraints=11872
1780.80/1781.43	c nbDecision=372500 #constraints=11884
1783.29/1783.94	c nbDecision=373000 #constraints=11904
1786.19/1786.85	c nbDecision=373500 #constraints=11935
1789.10/1789.70	c nbDecision=374000 #constraints=11957
1791.59/1792.23	c nbDecision=374500 #constraints=11969
1794.29/1794.91	c nbDecision=375000 #constraints=11989
1796.99/1797.61	c nbDecision=375500 #constraints=12008
1799.49/1800.10	c nbDecision=376000 #constraints=12018
1800.09/1800.70	Received signal 15
1800.09/1800.71	
1800.09/1800.71	s UNKNOWN
1800.09/1800.71	
1800.09/1800.71	c user time= 1799.83 s
1800.09/1800.71	c system time= 0.277957 s
1800.09/1800.71	c wall clock time=1800.71

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 23124
/proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=1468 CPUtime=0
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175405528 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830955 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 367 160 127 317 0 46 0

[startup+0.0175029 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 23124
/proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=1752 CPUtime=0.01
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 231 0 0 0 1 0 0 0 18 0 1 0 175405528 1794048 213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 438 213 127 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.10151 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 23124
/proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=2724 CPUtime=0.09
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 505 0 0 0 9 0 0 0 18 0 1 0 175405528 2789376 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 681 455 131 317 0 360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2724

[startup+0.301527 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 23124
/proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=6156 CPUtime=0.29
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 1366 0 0 0 29 0 0 0 19 0 1 0 175405528 6303744 1315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 1539 1315 131 317 0 1218 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6156

[startup+0.701564 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 23124
/proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=12864 CPUtime=0.69
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 3003 0 0 0 67 2 0 0 22 0 1 0 175405528 13172736 2952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 3216 2952 131 317 0 2895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12864

[startup+1.50163 s]
/proc/loadavg: 0.91 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1366120/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=25508 CPUtime=1.49
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 5897 0 0 0 146 3 0 0 25 0 1 0 175405528 26120192 5846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 6377 5846 131 317 0 6056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25508

[startup+3.10178 s]
/proc/loadavg: 0.91 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1350056/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=50764 CPUtime=3.09
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 11947 0 0 0 302 7 0 0 25 0 1 0 175405528 51982336 11896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 12691 11897 131 317 0 12370 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50764

[startup+6.30107 s]
/proc/loadavg: 0.92 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1297640/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=89112 CPUtime=6.28
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21323 0 0 0 617 11 0 0 25 0 1 0 175405528 91250688 21238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 22278 21238 139 317 0 21957 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 89112

[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1297448/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=89244 CPUtime=12.68
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21338 0 0 0 1257 11 0 0 25 0 1 0 175405528 91385856 21253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 22311 21253 139 317 0 21990 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89244

[startup+25.5018 s]
/proc/loadavg: 0.94 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1297200/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=89636 CPUtime=25.49
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21447 0 0 0 2537 12 0 0 25 0 1 0 175405528 91787264 21362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 22409 21362 139 317 0 22088 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89636

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1296432/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=90428 CPUtime=51.06
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21648 0 0 0 5093 13 0 0 25 0 1 0 175405528 92598272 21563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 22607 21563 139 317 0 22286 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 90428

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1294960/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=92004 CPUtime=102.25
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22022 0 0 0 10212 13 0 0 25 0 1 0 175405528 94212096 21937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23001 21937 139 317 0 22680 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 92004

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1293616/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=93184 CPUtime=162.24
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22339 0 0 0 16210 14 0 0 25 0 1 0 175405528 95420416 22254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23296 22254 139 317 0 22975 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 93184

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1292848/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=93980 CPUtime=222.22
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22515 0 0 0 22208 14 0 0 25 0 1 0 175405528 96235520 22430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23495 22430 139 317 0 23174 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 93980

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1292208/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=94512 CPUtime=282.21
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22673 0 0 0 28207 14 0 0 25 0 1 0 175405528 96780288 22588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23628 22588 139 317 0 23307 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 94512

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1291376/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=95300 CPUtime=342.19
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22872 0 0 0 34205 14 0 0 25 0 1 0 175405528 97587200 22787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23825 22787 139 317 0 23504 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 95300

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1290864/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=95820 CPUtime=402.17
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23009 0 0 0 40203 14 0 0 25 0 1 0 175405528 98119680 22924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 23955 22924 139 317 0 23634 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 95820

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1289968/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=96740 CPUtime=462.15
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23230 0 0 0 46201 14 0 0 25 0 1 0 175405528 99061760 23145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 24185 23145 139 317 0 23864 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 96740

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1287856/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=98956 CPUtime=522.14
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23794 0 0 0 52199 15 0 0 25 0 1 0 175405528 101330944 23709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 24739 23709 170 317 0 24418 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 98956

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1285616/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=101212 CPUtime=582.12
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 24355 0 0 0 58197 15 0 0 25 0 1 0 175405528 103641088 24270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 25303 24270 170 317 0 24982 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 101212

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23125
/proc/meminfo: memFree=1284400/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=102536 CPUtime=642.11
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 24662 0 0 0 64196 15 0 0 25 0 1 0 175405528 104996864 24577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 25634 24577 170 317 0 25313 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 102536


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23323
/proc/meminfo: memFree=1274864/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=112040 CPUtime=881.95
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 26997 0 0 0 88178 17 0 0 25 0 1 0 175405528 114728960 26912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 28010 26912 170 317 0 27689 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 112040

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23323
/proc/meminfo: memFree=1273072/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=113984 CPUtime=941.94
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 27448 0 0 0 94176 18 0 0 25 0 1 0 175405528 116719616 27363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 28496 27363 170 317 0 28175 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 113984

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 23323
/proc/meminfo: memFree=1270640/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=116432 CPUtime=1001.92
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28064 0 0 0 100173 19 0 0 25 0 1 0 175405528 119226368 27979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 29108 27979 170 317 0 28787 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 116432

[startup+1062.3 s]
/proc/loadavg: 1.04 0.99 0.93 2/65 23323
/proc/meminfo: memFree=1269872/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=117356 CPUtime=1061.9
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28272 0 0 0 106171 19 0 0 25 0 1 0 175405528 120172544 28187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 29339 28187 170 317 0 29018 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 117356

[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 0.94 2/65 23323
/proc/meminfo: memFree=1268528/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=118672 CPUtime=1121.89
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28610 0 0 0 112170 19 0 0 25 0 1 0 175405528 121520128 28525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 29668 28525 170 317 0 29347 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 118672

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 0.94 2/65 23323
/proc/meminfo: memFree=1266864/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=120436 CPUtime=1181.87
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 29039 0 0 0 118168 19 0 0 25 0 1 0 175405528 123326464 28954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 30109 28954 170 317 0 29788 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 120436

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/65 23323
/proc/meminfo: memFree=1265584/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=121740 CPUtime=1241.86
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 29350 0 0 0 124166 20 0 0 25 0 1 0 175405528 124661760 29265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 30435 29265 170 317 0 30114 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 121740

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 23323
/proc/meminfo: memFree=1260144/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=127416 CPUtime=1301.85
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 30739 0 0 0 130164 21 0 0 25 0 1 0 175405528 130473984 30589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 31854 30589 170 317 0 31533 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 127416

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 23323
/proc/meminfo: memFree=1257776/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=129900 CPUtime=1361.82
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 31343 0 0 0 136161 21 0 0 25 0 1 0 175405528 133017600 31193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 32475 31193 170 317 0 32154 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 129900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 23323
/proc/meminfo: memFree=1253808/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=134180 CPUtime=1421.8
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 32325 0 0 0 142159 21 0 0 25 0 1 0 175405528 137400320 32175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 33545 32175 170 317 0 33224 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 134180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 23323
/proc/meminfo: memFree=1251568/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=136560 CPUtime=1481.79
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 32893 0 0 0 148157 22 0 0 25 0 1 0 175405528 139837440 32743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 34140 32743 170 317 0 33819 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 136560

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 0.95 2/65 23323
/proc/meminfo: memFree=1249008/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=138936 CPUtime=1541.76
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 33526 0 0 0 154154 22 0 0 25 0 1 0 175405528 142270464 33376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 34734 33376 170 317 0 34413 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 138936

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 0.95 2/65 23323
/proc/meminfo: memFree=1243120/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=146160 CPUtime=1601.74
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 35032 0 0 0 160151 23 0 0 25 0 1 0 175405528 149667840 34882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 36540 34882 170 317 0 36219 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 146160

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/65 23323
/proc/meminfo: memFree=1237808/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=150856 CPUtime=1661.73
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 36298 0 0 0 166149 24 0 0 25 0 1 0 175405528 154476544 36148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 37714 36148 170 317 0 37393 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 150856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 23323
/proc/meminfo: memFree=1230576/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=158464 CPUtime=1721.72
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 38116 0 0 0 172146 26 0 0 25 0 1 0 175405528 162267136 37966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 39616 37966 170 317 0 39295 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 158464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 23323
/proc/meminfo: memFree=1222640/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=167476 CPUtime=1781.7
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40086 0 0 0 178143 27 0 0 25 0 1 0 175405528 171495424 39936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 41869 39936 170 317 0 41548 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 167476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 23323
/proc/meminfo: memFree=1219632/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=171060 CPUtime=1800.09
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40839 0 0 0 179982 27 0 0 25 0 1 0 175405528 175165440 40689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 42765 40689 170 317 0 42444 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 171060

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 23323
/proc/meminfo: memFree=1219632/2055920 swapFree=4181952/4192956
[pid=23124] ppid=23122 vsize=171060 CPUtime=1800.09
/proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40839 0 0 0 179982 27 0 0 25 0 1 0 175405528 175165440 40689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23124/statm: 42765 40689 170 317 0 42444 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 171060

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.18
CPU user time (s): 1799.87
CPU system time (s): 0.303953
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 171060

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

runsolver used 1.3478 second user time and 3.69744 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Thu Apr 19 14:49:20 UTC 2007

IDJOB= 357312
IDBENCH= 2383
IDSOLVER= 172
FILE ID= node68/357312-1176994159

PBS_JOBID= 4630417

Free space on /tmp= 66312 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-greenbeb.opb
COMMAND LINE= oree /tmp/evaluation/357312-1176994159/instance-357312-1176994159.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-357312-1176994159 -o ROOT/results/node68/solver-357312-1176994159 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357312-1176994159/instance-357312-1176994159.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ebe0bf73b5f65c9fef014886519c9815

RANDOM SEED= 536541030

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1382664 kB
Buffers:         29700 kB
Cached:         570216 kB
SwapCached:       4740 kB
Active:          94600 kB
Inactive:       516896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1382664 kB
SwapTotal:     4192956 kB
SwapFree:      4181952 kB
Dirty:           15556 kB
Writeback:           0 kB
Mapped:          15736 kB
Slab:            47828 kB
Committed_AS:  2744772 kB
PageTables:       1380 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= 66312 MiB

End job on node68 on Thu Apr 19 15:19:23 UTC 2007