Trace number 356866

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb
MD5SUM070ae832e0a6091e01d7e6b3fb0eac97
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15694
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -22094
Optimality of the best value was proved NO
Number of variables1935
Total number of constraints19275
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints19274
Minimum length of a constraint10
Maximum length of a constraint1815
Number of terms in the objective function 120
Biggest coefficient in the objective function 23787
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524341
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 219027
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524372
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
6.19/6.27	c ...done
6.19/6.27	c #vars=1935 #constraints=19276 hasObjective=yes
11.18/11.27	c res. mode=mod
11.18/11.27	c VSIDS like heuristics
11.18/11.27	c complete search running
12.58/12.61	c restart after 401 decisions
14.08/14.17	c nbDecision=500 #constraints=19279
14.19/14.22	c restart after 801 decisions
15.78/15.81	c nbDecision=1000 #constraints=19279
15.78/15.84	c nbDecision=1500 #constraints=19279
15.78/15.84	c restart after 1601 decisions
17.38/17.45	c nbDecision=2000 #constraints=19279
17.38/17.48	c nbDecision=2500 #constraints=19279
17.59/17.67	c nbDecision=3000 #constraints=19280
17.59/17.68	c restart after 3201 decisions
19.18/19.28	c nbDecision=3500 #constraints=19280
19.28/19.31	c nbDecision=4000 #constraints=19280
19.48/19.50	c nbDecision=4500 #constraints=19281
19.48/19.53	c nbDecision=5000 #constraints=19281
19.48/19.55	c nbDecision=5500 #constraints=19281
19.58/19.68	c nbDecision=6000 #constraints=19282
19.69/19.70	c restart after 6401 decisions
21.18/21.28	c nbDecision=6500 #constraints=19282
21.28/21.33	c nbDecision=7000 #constraints=19282
21.28/21.35	c nbDecision=7500 #constraints=19282
21.48/21.58	c nbDecision=8000 #constraints=19283
21.58/21.61	c nbDecision=8500 #constraints=19283
21.78/21.83	c nbDecision=9000 #constraints=19284
21.78/21.86	c nbDecision=9500 #constraints=19284
21.78/21.88	c nbDecision=10000 #constraints=19284
22.48/22.59	c nbDecision=10500 #constraints=19290
23.18/23.20	c nbDecision=11000 #constraints=19295
23.48/23.52	c nbDecision=11500 #constraints=19298
23.68/23.72	c nbDecision=12000 #constraints=19300
23.78/23.86	c nbDecision=12500 #constraints=19301
24.78/24.85	c restart after 12801 decisions
26.48/26.55	c nbDecision=13000 #constraints=19307
26.48/26.58	c nbDecision=13500 #constraints=19307
26.58/26.60	c nbDecision=14000 #constraints=19307
26.98/27.05	c nbDecision=14500 #constraints=19309
28.18/28.27	c nbDecision=15000 #constraints=19315
29.38/29.46	c nbDecision=15500 #constraints=19321
31.79/31.86	c nbDecision=16000 #constraints=19331
31.89/31.95	c nbDecision=16500 #constraints=19332
31.89/31.97	c nbDecision=17000 #constraints=19332
31.99/32.06	c nbDecision=17500 #constraints=19333
31.99/32.08	c nbDecision=18000 #constraints=19333
32.09/32.10	c nbDecision=18500 #constraints=19333
32.09/32.19	c nbDecision=19000 #constraints=19334
32.19/32.21	c nbDecision=19500 #constraints=19334
32.19/32.29	c nbDecision=20000 #constraints=19335
32.29/32.32	c nbDecision=20500 #constraints=19335
32.29/32.34	c nbDecision=21000 #constraints=19335
32.39/32.42	c nbDecision=21500 #constraints=19336
32.39/32.45	c nbDecision=22000 #constraints=19336
32.49/32.52	c nbDecision=22500 #constraints=19337
32.49/32.55	c nbDecision=23000 #constraints=19337
32.49/32.57	c nbDecision=23500 #constraints=19337
32.59/32.66	c nbDecision=24000 #constraints=19338
32.59/32.68	c nbDecision=24500 #constraints=19338
32.59/32.70	c nbDecision=25000 #constraints=19338
32.69/32.79	c nbDecision=25500 #constraints=19339
32.69/32.79	c restart after 25601 decisions
34.38/34.40	c nbDecision=26000 #constraints=19339
34.38/34.42	c nbDecision=26500 #constraints=19339
34.38/34.44	c nbDecision=27000 #constraints=19339
34.48/34.53	c nbDecision=27500 #constraints=19340
34.48/34.55	c nbDecision=28000 #constraints=19340
34.58/34.62	c nbDecision=28500 #constraints=19341
34.58/34.66	c nbDecision=29000 #constraints=19341
34.58/34.68	c nbDecision=29500 #constraints=19341
34.68/34.75	c nbDecision=30000 #constraints=19342
34.68/34.78	c nbDecision=30500 #constraints=19342
34.78/34.80	c nbDecision=31000 #constraints=19342
34.78/34.88	c nbDecision=31500 #constraints=19343
34.88/34.91	c nbDecision=32000 #constraints=19343
34.88/34.92	c nbDecision=32500 #constraints=19343
34.98/35.01	c nbDecision=33000 #constraints=19344
34.98/35.03	c nbDecision=33500 #constraints=19344
34.98/35.05	c nbDecision=34000 #constraints=19344
35.28/35.37	c nbDecision=34500 #constraints=19346
35.38/35.40	c nbDecision=35000 #constraints=19346
35.38/35.42	c nbDecision=35500 #constraints=19346
35.38/35.49	c nbDecision=36000 #constraints=19347
35.48/35.52	c nbDecision=36500 #constraints=19347
35.48/35.54	c nbDecision=37000 #constraints=19347
35.58/35.62	c nbDecision=37500 #constraints=19348
35.58/35.64	c nbDecision=38000 #constraints=19348
35.58/35.66	c nbDecision=38500 #constraints=19348
35.68/35.74	c nbDecision=39000 #constraints=19349
35.68/35.77	c nbDecision=39500 #constraints=19349
35.68/35.78	c nbDecision=40000 #constraints=19349
40.08/40.19	c nbDecision=40500 #constraints=19372
44.38/44.43	c nbDecision=41000 #constraints=19389
47.18/47.24	c nbDecision=41500 #constraints=19402
48.68/48.71	c nbDecision=42000 #constraints=19409
49.68/49.72	c nbDecision=42500 #constraints=19414
50.68/50.75	c nbDecision=43000 #constraints=19419
55.57/55.63	c nbDecision=43500 #constraints=19437
60.07/60.18	c nbDecision=44000 #constraints=19455
62.68/62.77	c nbDecision=44500 #constraints=19462
65.17/65.29	c nbDecision=45000 #constraints=19469
67.47/67.51	c nbDecision=45500 #constraints=19475
69.27/69.35	c nbDecision=46000 #constraints=19480
71.07/71.14	c nbDecision=46500 #constraints=19485
72.27/72.36	c nbDecision=47000 #constraints=19490
74.07/74.14	c nbDecision=47500 #constraints=19495
76.17/76.25	c nbDecision=48000 #constraints=19501
78.67/78.70	c nbDecision=48500 #constraints=19508
80.77/80.83	c nbDecision=49000 #constraints=19514
81.87/81.96	c nbDecision=49500 #constraints=19519
82.07/82.17	c nbDecision=50000 #constraints=19523
83.17/83.28	c nbDecision=50500 #constraints=19527
84.27/84.37	c nbDecision=51000 #constraints=19530
84.67/84.74	c restart after 51201 decisions
86.26/86.39	c nbDecision=51500 #constraints=19531
86.36/86.41	c nbDecision=52000 #constraints=19531
86.36/86.43	c nbDecision=52500 #constraints=19531
87.06/87.17	c nbDecision=53000 #constraints=19533
89.66/89.78	c nbDecision=53500 #constraints=19541
91.46/91.52	c nbDecision=54000 #constraints=19546
94.56/94.64	c nbDecision=54500 #constraints=19555
96.26/96.37	c nbDecision=55000 #constraints=19560
97.77/97.80	c nbDecision=55500 #constraints=19565
97.77/97.87	c nbDecision=56000 #constraints=19567
97.87/97.96	c nbDecision=56500 #constraints=19570
97.97/98.07	c nbDecision=57000 #constraints=19572
98.07/98.18	c nbDecision=57500 #constraints=19574
99.17/99.26	c nbDecision=58000 #constraints=19577
99.97/100.03	c nbDecision=58500 #constraints=19579
101.07/101.12	c nbDecision=59000 #constraints=19582
102.17/102.20	c nbDecision=59500 #constraints=19585
103.17/103.29	c nbDecision=60000 #constraints=19588
105.57/105.68	c nbDecision=60500 #constraints=19596
110.36/110.47	c nbDecision=61000 #constraints=19609
114.06/114.17	c nbDecision=61500 #constraints=19620
116.66/116.70	c nbDecision=62000 #constraints=19627
118.16/118.21	c nbDecision=62500 #constraints=19631
120.76/120.83	c nbDecision=63000 #constraints=19638
122.66/122.70	c nbDecision=63500 #constraints=19643
124.56/124.60	c nbDecision=64000 #constraints=19648
125.66/125.75	c nbDecision=64500 #constraints=19651
127.86/127.97	c nbDecision=65000 #constraints=19657
129.96/130.09	c nbDecision=65500 #constraints=19663
132.05/132.19	c nbDecision=66000 #constraints=19669
134.16/134.27	c nbDecision=66500 #constraints=19675
136.26/136.36	c nbDecision=67000 #constraints=19681
138.35/138.45	c nbDecision=67500 #constraints=19687
138.46/138.52	c nbDecision=68000 #constraints=19689
138.56/138.62	c nbDecision=68500 #constraints=19692
138.65/138.73	c nbDecision=69000 #constraints=19694
138.75/138.84	c nbDecision=69500 #constraints=19696
139.15/139.25	c nbDecision=70000 #constraints=19698
140.25/140.34	c nbDecision=70500 #constraints=19701
141.05/141.10	c nbDecision=71000 #constraints=19703
142.05/142.19	c nbDecision=71500 #constraints=19706
142.86/142.90	c nbDecision=72000 #constraints=19708
144.25/144.35	c nbDecision=72500 #constraints=19712
144.55/144.63	c nbDecision=73000 #constraints=19713
146.55/146.64	c nbDecision=73500 #constraints=19720
147.65/147.73	c nbDecision=74000 #constraints=19724
151.75/151.83	c nbDecision=74500 #constraints=19738
154.65/154.71	c nbDecision=75000 #constraints=19747
157.25/157.31	c nbDecision=75500 #constraints=19754
160.55/160.66	c nbDecision=76000 #constraints=19763
162.84/162.91	c nbDecision=76500 #constraints=19769
164.64/164.80	c nbDecision=77000 #constraints=19774
166.54/166.68	c nbDecision=77500 #constraints=19779
168.14/168.21	c nbDecision=78000 #constraints=19783
169.64/169.71	c nbDecision=78500 #constraints=19787
171.15/171.20	c nbDecision=79000 #constraints=19791
174.05/174.18	c nbDecision=79500 #constraints=19801
175.45/175.58	c nbDecision=80000 #constraints=19805
177.55/177.68	c nbDecision=80500 #constraints=19811
178.94/179.03	c nbDecision=81000 #constraints=19815
179.64/179.78	c nbDecision=81500 #constraints=19819
179.74/179.84	c nbDecision=82000 #constraints=19821
179.84/179.91	c nbDecision=82500 #constraints=19823
179.94/180.03	c nbDecision=83000 #constraints=19825
180.04/180.14	c nbDecision=83500 #constraints=19827
181.04/181.18	c nbDecision=84000 #constraints=19830
181.84/181.95	c nbDecision=84500 #constraints=19832
182.84/182.99	c nbDecision=85000 #constraints=19835
183.24/183.35	c nbDecision=85500 #constraints=19836
184.24/184.39	c nbDecision=86000 #constraints=19839
185.34/185.46	c nbDecision=86500 #constraints=19842
186.74/186.84	c nbDecision=87000 #constraints=19846
186.74/186.87	c nbDecision=87500 #constraints=19846
186.74/186.88	c nbDecision=88000 #constraints=19846
187.44/187.54	c nbDecision=88500 #constraints=19849
188.24/188.31	c nbDecision=89000 #constraints=19852
189.05/189.14	c nbDecision=89500 #constraints=19857
193.34/193.45	c nbDecision=90000 #constraints=19877
198.64/198.73	c nbDecision=90500 #constraints=19900
201.74/201.89	c nbDecision=91000 #constraints=19911
203.54/203.63	c nbDecision=91500 #constraints=19919
204.54/204.67	c nbDecision=92000 #constraints=19923
208.13/208.20	c nbDecision=92500 #constraints=19939
209.73/209.80	c nbDecision=93000 #constraints=19948
212.03/212.15	c nbDecision=93500 #constraints=19956
212.53/212.62	c nbDecision=94000 #constraints=19960
215.13/215.26	c nbDecision=94500 #constraints=19972
221.33/221.45	c nbDecision=95000 #constraints=19998
229.12/229.23	c nbDecision=95500 #constraints=20027
231.83/231.95	c nbDecision=96000 #constraints=20038
234.14/234.26	c nbDecision=96500 #constraints=20047
237.13/237.24	c nbDecision=97000 #constraints=20059
238.73/238.88	c nbDecision=97500 #constraints=20066
240.63/240.77	c nbDecision=98000 #constraints=20073
242.53/242.65	c nbDecision=98500 #constraints=20080
244.43/244.54	c nbDecision=99000 #constraints=20087
246.33/246.42	c nbDecision=99500 #constraints=20094
248.53/248.61	c nbDecision=100000 #constraints=20104
251.53/251.70	c nbDecision=100500 #constraints=20115
253.53/253.61	c nbDecision=101000 #constraints=20122
256.72/256.89	c nbDecision=101500 #constraints=20136
258.72/258.81	c nbDecision=102000 #constraints=20143
260.22/260.38	c restart after 102401 decisions
261.92/262.02	c nbDecision=102500 #constraints=20149
261.92/262.07	c nbDecision=103000 #constraints=20149
261.92/262.10	c nbDecision=103500 #constraints=20149
262.02/262.11	c nbDecision=104000 #constraints=20149
263.42/263.51	c nbDecision=104500 #constraints=20154
265.32/265.49	c nbDecision=105000 #constraints=20161
267.32/267.47	c nbDecision=105500 #constraints=20169
268.82/268.93	c nbDecision=106000 #constraints=20174
270.22/270.38	c nbDecision=106500 #constraints=20180
272.12/272.26	c nbDecision=107000 #constraints=20187
274.02/274.12	c nbDecision=107500 #constraints=20194
275.12/275.22	c nbDecision=108000 #constraints=20200
278.81/278.96	c nbDecision=108500 #constraints=20217
280.71/280.90	c nbDecision=109000 #constraints=20224
283.41/283.52	c nbDecision=109500 #constraints=20233
285.71/285.88	c nbDecision=110000 #constraints=20242
286.71/286.88	c nbDecision=110500 #constraints=20246
289.12/289.26	c nbDecision=111000 #constraints=20255
290.11/290.21	c nbDecision=111500 #constraints=20259
292.01/292.13	c nbDecision=112000 #constraints=20266
293.41/293.56	c nbDecision=112500 #constraints=20272
294.91/295.00	c nbDecision=113000 #constraints=20277
295.81/295.96	c nbDecision=113500 #constraints=20281
297.21/297.39	c nbDecision=114000 #constraints=20286
298.21/298.38	c nbDecision=114500 #constraints=20290
299.61/299.74	c nbDecision=115000 #constraints=20296
301.01/301.16	c nbDecision=115500 #constraints=20301
302.41/302.56	c nbDecision=116000 #constraints=20306
303.42/303.53	c nbDecision=116500 #constraints=20310
304.81/304.94	c nbDecision=117000 #constraints=20315
306.21/306.35	c nbDecision=117500 #constraints=20320
306.72/306.84	c nbDecision=118000 #constraints=20322
308.61/308.73	c nbDecision=118500 #constraints=20329
312.41/312.59	c nbDecision=119000 #constraints=20343
315.01/315.16	c nbDecision=119500 #constraints=20353
317.81/317.90	c nbDecision=120000 #constraints=20365
320.21/320.37	c nbDecision=120500 #constraints=20375
321.71/321.88	c nbDecision=121000 #constraints=20381
323.81/323.92	c nbDecision=121500 #constraints=20389
325.81/325.96	c nbDecision=122000 #constraints=20397
327.31/327.45	c nbDecision=122500 #constraints=20403
328.41/328.54	c nbDecision=123000 #constraints=20407
331.10/331.23	c nbDecision=123500 #constraints=20417
333.21/333.38	c nbDecision=124000 #constraints=20425
334.80/334.98	c nbDecision=124500 #constraints=20431
335.90/336.08	c nbDecision=125000 #constraints=20435
337.90/338.08	c nbDecision=125500 #constraints=20443
339.40/339.58	c nbDecision=126000 #constraints=20449
341.90/342.02	c nbDecision=126500 #constraints=20458
344.80/344.91	c nbDecision=127000 #constraints=20469
346.70/346.85	c nbDecision=127500 #constraints=20476
348.60/348.79	c nbDecision=128000 #constraints=20483
349.60/349.76	c nbDecision=128500 #constraints=20486
350.59/350.72	c nbDecision=129000 #constraints=20490
352.49/352.64	c nbDecision=129500 #constraints=20497
353.49/353.62	c nbDecision=130000 #constraints=20500
354.39/354.58	c nbDecision=130500 #constraints=20504
355.89/356.03	c nbDecision=131000 #constraints=20509
356.79/356.98	c nbDecision=131500 #constraints=20513
358.29/358.42	c nbDecision=132000 #constraints=20518
359.19/359.39	c nbDecision=132500 #constraints=20522
360.79/360.90	c nbDecision=133000 #constraints=20528
361.69/361.82	c nbDecision=133500 #constraints=20531
363.09/363.26	c nbDecision=134000 #constraints=20537
364.09/364.24	c nbDecision=134500 #constraints=20540
365.09/365.21	c nbDecision=135000 #constraints=20544
365.99/366.13	c nbDecision=135500 #constraints=20548
366.49/366.62	c nbDecision=136000 #constraints=20550
368.79/368.90	c nbDecision=136500 #constraints=20558
370.49/370.65	c nbDecision=137000 #constraints=20563
371.39/371.55	c nbDecision=137500 #constraints=20566
373.09/373.24	c nbDecision=138000 #constraints=20572
377.89/378.04	c nbDecision=138500 #constraints=20587
381.60/381.79	c nbDecision=139000 #constraints=20598
383.59/383.75	c nbDecision=139500 #constraints=20604
385.89/386.09	c nbDecision=140000 #constraints=20610
388.19/388.30	c nbDecision=140500 #constraints=20616
390.69/390.89	c nbDecision=141000 #constraints=20623
392.59/392.71	c nbDecision=141500 #constraints=20628
394.79/394.91	c nbDecision=142000 #constraints=20634
396.18/396.36	c nbDecision=142500 #constraints=20639
401.39/401.53	c nbDecision=143000 #constraints=20654
404.08/404.27	c nbDecision=143500 #constraints=20662
406.48/406.61	c nbDecision=144000 #constraints=20669
407.99/408.18	c nbDecision=144500 #constraints=20673
410.88/411.09	c nbDecision=145000 #constraints=20681
412.78/412.97	c nbDecision=145500 #constraints=20686
414.68/414.80	c nbDecision=146000 #constraints=20691
416.88/417.00	c nbDecision=146500 #constraints=20697
419.08/419.21	c nbDecision=147000 #constraints=20703
419.98/420.10	c nbDecision=147500 #constraints=20706
427.07/427.26	c nbDecision=148000 #constraints=20729
432.27/432.49	c nbDecision=148500 #constraints=20744
436.57/436.72	c nbDecision=149000 #constraints=20757
438.47/438.69	c nbDecision=149500 #constraints=20763
442.77/442.94	c nbDecision=150000 #constraints=20776
444.67/444.85	c nbDecision=150500 #constraints=20782
445.47/445.66	c nbDecision=151000 #constraints=20784
448.57/448.71	c nbDecision=151500 #constraints=20793
450.77/450.94	c nbDecision=152000 #constraints=20799
454.07/454.23	c nbDecision=152500 #constraints=20808
455.46/455.70	c nbDecision=153000 #constraints=20812
458.77/458.98	c nbDecision=153500 #constraints=20821
461.07/461.22	c nbDecision=154000 #constraints=20827
464.37/464.54	c nbDecision=154500 #constraints=20836
465.87/466.02	c nbDecision=155000 #constraints=20840
469.17/469.33	c nbDecision=155500 #constraints=20849
470.97/471.18	c nbDecision=156000 #constraints=20854
471.37/471.56	c nbDecision=156500 #constraints=20855
474.67/474.85	c nbDecision=157000 #constraints=20864
476.17/476.31	c nbDecision=157500 #constraints=20868
480.86/481.08	c nbDecision=158000 #constraints=20881
484.87/485.09	c nbDecision=158500 #constraints=20892
485.76/485.91	c nbDecision=159000 #constraints=20895
488.76/488.97	c nbDecision=159500 #constraints=20906
491.66/491.87	c nbDecision=160000 #constraints=20914
494.16/494.36	c nbDecision=160500 #constraints=20921
496.86/497.04	c nbDecision=161000 #constraints=20929
499.76/499.93	c nbDecision=161500 #constraints=20937
501.46/501.64	c nbDecision=162000 #constraints=20942
503.56/503.80	c nbDecision=162500 #constraints=20948
506.35/506.51	c nbDecision=163000 #constraints=20956
508.45/508.63	c nbDecision=163500 #constraints=20962
510.95/511.13	c nbDecision=164000 #constraints=20969
513.65/513.82	c nbDecision=164500 #constraints=20977
516.45/516.69	c nbDecision=165000 #constraints=20985
517.65/517.85	c nbDecision=165500 #constraints=20988
519.55/519.75	c nbDecision=166000 #constraints=20994
521.75/521.91	c nbDecision=166500 #constraints=21000
523.75/523.90	c nbDecision=167000 #constraints=21006
529.45/529.63	c nbDecision=167500 #constraints=21023
533.95/534.17	c nbDecision=168000 #constraints=21036
537.95/538.17	c nbDecision=168500 #constraints=21048
541.55/541.78	c nbDecision=169000 #constraints=21058
545.55/545.70	c nbDecision=169500 #constraints=21071
548.05/548.20	c nbDecision=170000 #constraints=21081
549.85/550.09	c nbDecision=170500 #constraints=21088
554.15/554.39	c nbDecision=171000 #constraints=21101
558.34/558.56	c nbDecision=171500 #constraints=21113
560.74/561.00	c nbDecision=172000 #constraints=21120
561.84/562.08	c nbDecision=172500 #constraints=21130
562.94/563.19	c nbDecision=173000 #constraints=21142
564.34/564.59	c nbDecision=173500 #constraints=21151
565.64/565.88	c nbDecision=174000 #constraints=21158
567.44/567.67	c nbDecision=174500 #constraints=21170
569.54/569.74	c nbDecision=175000 #constraints=21182
570.64/570.90	c nbDecision=175500 #constraints=21188
571.24/571.43	c nbDecision=176000 #constraints=21191
571.34/571.50	c nbDecision=176500 #constraints=21193
571.54/571.70	c nbDecision=177000 #constraints=21196
574.24/574.49	c nbDecision=177500 #constraints=21203
576.24/576.46	c nbDecision=178000 #constraints=21208
579.03/579.25	c nbDecision=178500 #constraints=21215
581.03/581.23	c nbDecision=179000 #constraints=21220
583.43/583.64	c nbDecision=179500 #constraints=21226
585.03/585.26	c nbDecision=180000 #constraints=21230
586.23/586.42	c nbDecision=180500 #constraints=21233
587.03/587.22	c nbDecision=181000 #constraints=21235
591.33/591.58	c nbDecision=181500 #constraints=21246
593.73/593.97	c nbDecision=182000 #constraints=21252
597.03/597.23	c nbDecision=182500 #constraints=21262
597.83/598.00	c nbDecision=183000 #constraints=21264
598.53/598.75	c nbDecision=183500 #constraints=21267
599.93/600.18	c nbDecision=184000 #constraints=21272
601.92/602.14	c nbDecision=184500 #constraints=21278
605.42/605.62	c nbDecision=185000 #constraints=21287
607.72/607.91	c nbDecision=185500 #constraints=21293
610.92/611.10	c nbDecision=186000 #constraints=21302
613.12/613.36	c nbDecision=186500 #constraints=21309
614.62/614.87	c nbDecision=187000 #constraints=21313
617.22/617.44	c nbDecision=187500 #constraints=21320
618.62/618.87	c nbDecision=188000 #constraints=21325
619.92/620.11	c nbDecision=188500 #constraints=21329
621.72/622.00	c nbDecision=189000 #constraints=21334
624.02/624.29	c nbDecision=189500 #constraints=21340
627.92/628.16	c nbDecision=190000 #constraints=21350
630.92/631.18	c nbDecision=190500 #constraints=21358
633.22/633.43	c nbDecision=191000 #constraints=21364
636.12/636.34	c nbDecision=191500 #constraints=21372
636.92/637.13	c nbDecision=192000 #constraints=21376
639.12/639.35	c nbDecision=192500 #constraints=21382
641.32/641.59	c nbDecision=193000 #constraints=21388
642.52/642.76	c nbDecision=193500 #constraints=21393
644.02/644.29	c nbDecision=194000 #constraints=21397
645.62/645.80	c nbDecision=194500 #constraints=21401
647.42/647.68	c nbDecision=195000 #constraints=21406
648.92/649.14	c nbDecision=195500 #constraints=21410
652.02/652.27	c nbDecision=196000 #constraints=21418
655.52/655.72	c nbDecision=196500 #constraints=21427
657.71/657.92	c nbDecision=197000 #constraints=21433
659.61/659.83	c nbDecision=197500 #constraints=21438
662.51/662.78	c nbDecision=198000 #constraints=21447
663.31/663.55	c nbDecision=198500 #constraints=21450
665.51/665.79	c nbDecision=199000 #constraints=21456
667.42/667.67	c nbDecision=199500 #constraints=21461
668.81/669.08	c nbDecision=200000 #constraints=21465
669.01/669.20	c nbDecision=200500 #constraints=21467
671.21/671.43	c nbDecision=201000 #constraints=21473
672.01/672.22	c nbDecision=201500 #constraints=21475
673.41/673.67	c nbDecision=202000 #constraints=21479
674.21/674.46	c nbDecision=202500 #constraints=21481
675.71/675.90	c nbDecision=203000 #constraints=21485
676.41/676.69	c nbDecision=203500 #constraints=21487
677.91/678.14	c nbDecision=204000 #constraints=21491
679.01/679.29	c nbDecision=204500 #constraints=21494
679.81/680.01	c restart after 204801 decisions
681.51/681.78	c nbDecision=205000 #constraints=21496
681.61/681.81	c nbDecision=205500 #constraints=21496
681.61/681.83	c nbDecision=206000 #constraints=21496
682.01/682.28	c nbDecision=206500 #constraints=21497
683.81/684.10	c nbDecision=207000 #constraints=21502
687.00/687.26	c nbDecision=207500 #constraints=21510
689.68/689.96	c nbDecision=208000 #constraints=21517
691.18/691.41	c nbDecision=208500 #constraints=21521
693.79/694.04	c nbDecision=209000 #constraints=21528
695.28/695.54	c nbDecision=209500 #constraints=21532
697.58/697.89	c nbDecision=210000 #constraints=21538
700.37/700.64	c nbDecision=210500 #constraints=21545
702.66/702.91	c nbDecision=211000 #constraints=21551
704.95/705.20	c nbDecision=211500 #constraints=21557
706.45/706.72	c nbDecision=212000 #constraints=21561
707.95/708.23	c nbDecision=212500 #constraints=21565
709.54/709.84	c nbDecision=213000 #constraints=21569
713.73/714.06	c nbDecision=213500 #constraints=21580
716.42/716.75	c nbDecision=214000 #constraints=21587
718.32/718.65	c nbDecision=214500 #constraints=21592
721.22/721.57	c nbDecision=215000 #constraints=21600
721.71/722.01	c nbDecision=215500 #constraints=21603
723.91/724.25	c nbDecision=216000 #constraints=21609
725.81/726.13	c nbDecision=216500 #constraints=21614
727.21/727.55	c nbDecision=217000 #constraints=21618
727.31/727.67	c nbDecision=217500 #constraints=21620
728.92/729.20	c nbDecision=218000 #constraints=21624
729.91/730.28	c nbDecision=218500 #constraints=21627
731.81/732.15	c nbDecision=219000 #constraints=21632
732.61/732.94	c nbDecision=219500 #constraints=21634
734.01/734.38	c nbDecision=220000 #constraints=21638
734.81/735.11	c nbDecision=220500 #constraints=21640
735.91/736.27	c nbDecision=221000 #constraints=21643
737.01/737.35	c nbDecision=221500 #constraints=21646
738.90/739.23	c nbDecision=222000 #constraints=21651
741.19/741.56	c nbDecision=222500 #constraints=21657
745.59/745.91	c nbDecision=223000 #constraints=21669
749.99/750.32	c nbDecision=223500 #constraints=21681
752.89/753.23	c nbDecision=224000 #constraints=21689
755.99/756.32	c nbDecision=224500 #constraints=21698
758.69/759.03	c nbDecision=225000 #constraints=21706
762.68/763.02	c nbDecision=225500 #constraints=21717
765.58/765.91	c nbDecision=226000 #constraints=21725
768.49/768.80	c nbDecision=226500 #constraints=21733
770.79/771.17	c nbDecision=227000 #constraints=21740
772.39/772.73	c nbDecision=227500 #constraints=21748
773.89/774.28	c nbDecision=228000 #constraints=21754
776.79/777.15	c nbDecision=228500 #constraints=21762
778.19/778.59	c nbDecision=229000 #constraints=21766
782.49/782.84	c nbDecision=229500 #constraints=21777
786.09/786.44	c nbDecision=230000 #constraints=21786
788.78/789.11	c nbDecision=230500 #constraints=21793
791.48/791.84	c nbDecision=231000 #constraints=21800
794.58/794.99	c nbDecision=231500 #constraints=21808
797.28/797.65	c nbDecision=232000 #constraints=21815
800.08/800.42	c nbDecision=232500 #constraints=21822
802.58/802.97	c nbDecision=233000 #constraints=21829
804.38/804.75	c nbDecision=233500 #constraints=21834
805.88/806.26	c nbDecision=234000 #constraints=21841
807.18/807.56	c nbDecision=234500 #constraints=21846
809.08/809.44	c nbDecision=235000 #constraints=21851
811.27/811.61	c nbDecision=235500 #constraints=21857
814.07/814.49	c nbDecision=236000 #constraints=21865
816.47/816.89	c nbDecision=236500 #constraints=21872
820.28/820.69	c nbDecision=237000 #constraints=21882
823.57/823.96	c nbDecision=237500 #constraints=21891
826.77/827.20	c nbDecision=238000 #constraints=21900
828.77/829.13	c nbDecision=238500 #constraints=21905
832.37/832.70	c nbDecision=239000 #constraints=21914
834.57/834.96	c nbDecision=239500 #constraints=21920
837.36/837.72	c nbDecision=240000 #constraints=21927
839.56/839.99	c nbDecision=240500 #constraints=21933
842.17/842.54	c nbDecision=241000 #constraints=21940
843.66/844.00	c nbDecision=241500 #constraints=21945
844.06/844.47	c nbDecision=242000 #constraints=21947
844.16/844.59	c nbDecision=242500 #constraints=21949
844.66/845.06	c nbDecision=243000 #constraints=21951
846.86/847.23	c nbDecision=243500 #constraints=21957
848.46/848.84	c nbDecision=244000 #constraints=21961
850.66/851.03	c nbDecision=244500 #constraints=21967
852.06/852.47	c nbDecision=245000 #constraints=21971
853.86/854.27	c nbDecision=245500 #constraints=21976
855.36/855.71	c nbDecision=246000 #constraints=21980
860.46/860.80	c nbDecision=246500 #constraints=21994
864.05/864.44	c nbDecision=247000 #constraints=22003
868.55/868.91	c nbDecision=247500 #constraints=22014
872.06/872.44	c nbDecision=248000 #constraints=22023
875.66/876.07	c nbDecision=248500 #constraints=22033
879.25/879.62	c nbDecision=249000 #constraints=22042
882.75/883.15	c nbDecision=249500 #constraints=22051
885.95/886.32	c nbDecision=250000 #constraints=22059
889.35/889.74	c nbDecision=250500 #constraints=22068
891.95/892.39	c nbDecision=251000 #constraints=22075
895.15/895.53	c nbDecision=251500 #constraints=22083
898.25/898.67	c nbDecision=252000 #constraints=22091
899.45/899.88	c nbDecision=252500 #constraints=22094
905.54/905.96	c nbDecision=253000 #constraints=22109
909.14/909.54	c nbDecision=253500 #constraints=22118
913.44/913.88	c nbDecision=254000 #constraints=22129
916.65/917.07	c nbDecision=254500 #constraints=22137
920.55/920.95	c nbDecision=255000 #constraints=22147
923.74/924.12	c nbDecision=255500 #constraints=22155
926.44/926.82	c nbDecision=256000 #constraints=22162
929.44/929.86	c nbDecision=256500 #constraints=22170
932.14/932.58	c nbDecision=257000 #constraints=22177
934.54/934.93	c nbDecision=257500 #constraints=22183
937.64/938.08	c nbDecision=258000 #constraints=22191
939.24/939.66	c nbDecision=258500 #constraints=22195
942.83/943.28	c nbDecision=259000 #constraints=22204
947.74/948.14	c nbDecision=259500 #constraints=22216
950.83/951.29	c nbDecision=260000 #constraints=22224
954.03/954.47	c nbDecision=260500 #constraints=22232
958.33/958.71	c nbDecision=261000 #constraints=22243
961.93/962.32	c nbDecision=261500 #constraints=22252
965.03/965.40	c nbDecision=262000 #constraints=22260
968.23/968.61	c nbDecision=262500 #constraints=22268
971.73/972.11	c nbDecision=263000 #constraints=22277
972.83/973.29	c nbDecision=263500 #constraints=22280
976.12/976.56	c nbDecision=264000 #constraints=22289
977.92/978.33	c nbDecision=264500 #constraints=22294
978.72/979.11	c nbDecision=265000 #constraints=22297
979.12/979.58	c nbDecision=265500 #constraints=22299
979.22/979.63	c nbDecision=266000 #constraints=22300
980.92/981.31	c nbDecision=266500 #constraints=22305
982.52/982.90	c nbDecision=267000 #constraints=22309
984.52/984.91	c nbDecision=267500 #constraints=22314
985.92/986.32	c nbDecision=268000 #constraints=22318
987.92/988.32	c nbDecision=268500 #constraints=22323
989.32/989.73	c nbDecision=269000 #constraints=22327
989.72/990.10	c nbDecision=269500 #constraints=22328
993.02/993.48	c nbDecision=270000 #constraints=22337
996.12/996.55	c nbDecision=270500 #constraints=22346
997.02/997.40	c nbDecision=271000 #constraints=22349
998.91/999.33	c nbDecision=271500 #constraints=22354
1000.41/1000.88	c nbDecision=272000 #constraints=22358
1001.62/1002.05	c nbDecision=272500 #constraints=22361
1002.41/1002.84	c nbDecision=273000 #constraints=22363
1004.01/1004.41	c nbDecision=273500 #constraints=22367
1005.11/1005.58	c nbDecision=274000 #constraints=22370
1006.31/1006.76	c nbDecision=274500 #constraints=22373
1007.11/1007.54	c nbDecision=275000 #constraints=22375
1007.91/1008.33	c nbDecision=275500 #constraints=22377
1008.71/1009.12	c nbDecision=276000 #constraints=22379
1009.92/1010.31	c nbDecision=276500 #constraints=22383
1012.12/1012.50	c nbDecision=277000 #constraints=22389
1013.42/1013.85	c nbDecision=277500 #constraints=22393
1014.42/1014.87	c nbDecision=278000 #constraints=22396
1015.12/1015.55	c nbDecision=278500 #constraints=22398
1015.82/1016.25	c nbDecision=279000 #constraints=22400
1017.32/1017.71	c nbDecision=279500 #constraints=22405
1018.71/1019.15	c nbDecision=280000 #constraints=22409
1019.81/1020.25	c nbDecision=280500 #constraints=22412
1020.61/1021.01	c nbDecision=281000 #constraints=22414
1022.41/1022.85	c nbDecision=281500 #constraints=22419
1023.11/1023.59	c nbDecision=282000 #constraints=22421
1023.91/1024.34	c nbDecision=282500 #constraints=22423
1024.61/1025.08	c nbDecision=283000 #constraints=22425
1025.41/1025.82	c nbDecision=283500 #constraints=22427
1025.71/1026.20	c nbDecision=284000 #constraints=22428
1026.21/1026.60	c nbDecision=284500 #constraints=22429
1028.41/1028.86	c nbDecision=285000 #constraints=22435
1028.81/1029.25	c nbDecision=285500 #constraints=22437
1029.91/1030.37	c nbDecision=286000 #constraints=22440
1029.91/1030.39	c nbDecision=286500 #constraints=22440
1030.31/1030.70	c nbDecision=287000 #constraints=22441
1030.91/1031.38	c nbDecision=287500 #constraints=22444
1031.51/1031.95	c nbDecision=288000 #constraints=22447
1033.91/1034.32	c nbDecision=288500 #constraints=22454
1035.41/1035.87	c nbDecision=289000 #constraints=22459
1036.51/1036.92	c nbDecision=289500 #constraints=22465
1037.71/1038.14	c nbDecision=290000 #constraints=22471
1041.21/1041.68	c nbDecision=290500 #constraints=22483
1045.00/1045.45	c nbDecision=291000 #constraints=22493
1046.20/1046.66	c nbDecision=291500 #constraints=22499
1048.60/1049.04	c nbDecision=292000 #constraints=22508
1050.11/1050.52	c nbDecision=292500 #constraints=22515
1050.60/1051.05	c nbDecision=293000 #constraints=22519
1052.30/1052.70	c nbDecision=293500 #constraints=22525
1054.20/1054.66	c nbDecision=294000 #constraints=22534
1056.60/1057.09	c nbDecision=294500 #constraints=22545
1058.60/1059.07	c nbDecision=295000 #constraints=22553
1059.90/1060.35	c nbDecision=295500 #constraints=22558
1061.10/1061.55	c nbDecision=296000 #constraints=22565
1061.90/1062.37	c nbDecision=296500 #constraints=22569
1063.20/1063.66	c nbDecision=297000 #constraints=22574
1064.90/1065.31	c nbDecision=297500 #constraints=22580
1067.89/1068.38	c nbDecision=298000 #constraints=22589
1070.09/1070.51	c nbDecision=298500 #constraints=22597
1071.59/1072.01	c nbDecision=299000 #constraints=22603
1072.79/1073.22	c nbDecision=299500 #constraints=22611
1074.89/1075.33	c nbDecision=300000 #constraints=22621
1075.89/1076.38	c nbDecision=300500 #constraints=22626
1077.29/1077.74	c nbDecision=301000 #constraints=22633
1077.99/1078.41	c nbDecision=301500 #constraints=22638
1078.79/1079.25	c nbDecision=302000 #constraints=22645
1079.89/1080.32	c nbDecision=302500 #constraints=22655
1079.89/1080.40	c nbDecision=303000 #constraints=22657
1081.70/1082.20	c nbDecision=303500 #constraints=22669
1082.70/1083.11	c nbDecision=304000 #constraints=22675
1082.90/1083.37	c nbDecision=304500 #constraints=22677
1085.00/1085.44	c nbDecision=305000 #constraints=22684
1085.99/1086.45	c nbDecision=305500 #constraints=22688
1087.59/1088.05	c nbDecision=306000 #constraints=22693
1089.09/1089.55	c nbDecision=306500 #constraints=22699
1090.29/1090.72	c nbDecision=307000 #constraints=22703
1091.19/1091.64	c nbDecision=307500 #constraints=22706
1092.19/1092.63	c nbDecision=308000 #constraints=22710
1093.59/1094.06	c nbDecision=308500 #constraints=22714
1094.59/1095.04	c nbDecision=309000 #constraints=22718
1096.09/1096.53	c nbDecision=309500 #constraints=22723
1096.99/1097.46	c nbDecision=310000 #constraints=22726
1098.99/1099.44	c nbDecision=310500 #constraints=22733
1100.39/1100.89	c nbDecision=311000 #constraints=22738
1102.99/1103.47	c nbDecision=311500 #constraints=22745
1107.39/1107.89	c nbDecision=312000 #constraints=22758
1110.19/1110.60	c nbDecision=312500 #constraints=22766
1113.28/1113.77	c nbDecision=313000 #constraints=22777
1115.48/1115.91	c nbDecision=313500 #constraints=22785
1117.88/1118.34	c nbDecision=314000 #constraints=22792
1120.08/1120.50	c nbDecision=314500 #constraints=22799
1121.48/1121.96	c nbDecision=315000 #constraints=22806
1123.58/1124.03	c nbDecision=315500 #constraints=22821
1123.68/1124.16	c nbDecision=316000 #constraints=22823
1125.58/1126.01	c nbDecision=316500 #constraints=22828
1127.48/1127.97	c nbDecision=317000 #constraints=22834
1128.48/1128.95	c nbDecision=317500 #constraints=22837
1131.57/1132.08	c nbDecision=318000 #constraints=22846
1135.27/1135.73	c nbDecision=318500 #constraints=22857
1137.67/1138.10	c nbDecision=319000 #constraints=22864
1139.97/1140.47	c nbDecision=319500 #constraints=22871
1141.97/1142.44	c nbDecision=320000 #constraints=22877
1143.37/1143.90	c nbDecision=320500 #constraints=22884
1144.97/1145.42	c nbDecision=321000 #constraints=22889
1146.37/1146.81	c nbDecision=321500 #constraints=22893
1148.27/1148.77	c nbDecision=322000 #constraints=22899
1150.17/1150.60	c nbDecision=322500 #constraints=22904
1151.07/1151.57	c nbDecision=323000 #constraints=22907
1155.16/1155.64	c nbDecision=323500 #constraints=22919
1157.97/1158.47	c nbDecision=324000 #constraints=22928
1160.37/1160.86	c nbDecision=324500 #constraints=22935
1162.77/1163.24	c nbDecision=325000 #constraints=22942
1164.57/1165.08	c nbDecision=325500 #constraints=22947
1165.77/1166.23	c nbDecision=326000 #constraints=22954
1167.17/1167.65	c nbDecision=326500 #constraints=22958
1168.57/1169.01	c nbDecision=327000 #constraints=22964
1170.07/1170.55	c nbDecision=327500 #constraints=22969
1171.27/1171.76	c nbDecision=328000 #constraints=22974
1172.37/1172.87	c nbDecision=328500 #constraints=22978
1173.87/1174.39	c nbDecision=329000 #constraints=22983
1174.47/1174.91	c nbDecision=329500 #constraints=22987
1176.77/1177.27	c nbDecision=330000 #constraints=22994
1177.27/1177.79	c nbDecision=330500 #constraints=22998
1179.16/1179.63	c nbDecision=331000 #constraints=23003
1179.56/1180.05	c nbDecision=331500 #constraints=23006
1180.26/1180.78	c nbDecision=332000 #constraints=23014
1181.36/1181.86	c nbDecision=332500 #constraints=23026
1181.97/1182.43	c nbDecision=333000 #constraints=23031
1182.26/1182.79	c nbDecision=333500 #constraints=23033
1185.06/1185.56	c nbDecision=334000 #constraints=23041
1187.06/1187.54	c nbDecision=334500 #constraints=23046
1188.67/1189.13	c nbDecision=335000 #constraints=23050
1190.86/1191.31	c nbDecision=335500 #constraints=23059
1193.96/1194.49	c nbDecision=336000 #constraints=23069
1197.16/1197.62	c nbDecision=336500 #constraints=23079
1199.05/1199.55	c nbDecision=337000 #constraints=23085
1201.15/1201.66	c nbDecision=337500 #constraints=23092
1202.56/1203.06	c nbDecision=338000 #constraints=23097
1204.35/1204.83	c nbDecision=338500 #constraints=23102
1205.75/1206.22	c nbDecision=339000 #constraints=23106
1209.35/1209.86	c nbDecision=339500 #constraints=23120
1211.25/1211.73	c nbDecision=340000 #constraints=23126
1214.35/1214.86	c nbDecision=340500 #constraints=23136
1216.25/1216.79	c nbDecision=341000 #constraints=23142
1218.35/1218.88	c nbDecision=341500 #constraints=23149
1219.75/1220.28	c nbDecision=342000 #constraints=23154
1221.55/1222.05	c nbDecision=342500 #constraints=23159
1222.95/1223.43	c nbDecision=343000 #constraints=23163
1224.35/1224.82	c nbDecision=343500 #constraints=23167
1227.85/1228.38	c nbDecision=344000 #constraints=23183
1231.05/1231.52	c nbDecision=344500 #constraints=23198
1233.65/1234.14	c nbDecision=345000 #constraints=23208
1236.44/1236.93	c nbDecision=345500 #constraints=23217
1239.94/1240.42	c nbDecision=346000 #constraints=23232
1241.74/1242.28	c nbDecision=346500 #constraints=23239
1245.94/1246.40	c nbDecision=347000 #constraints=23251
1249.44/1249.91	c nbDecision=347500 #constraints=23263
1250.64/1251.14	c nbDecision=348000 #constraints=23266
1251.94/1252.41	c nbDecision=348500 #constraints=23271
1252.74/1253.20	c nbDecision=349000 #constraints=23273
1253.33/1253.80	c nbDecision=349500 #constraints=23276
1256.75/1257.29	c nbDecision=350000 #constraints=23286
1258.54/1259.05	c nbDecision=350500 #constraints=23291
1261.54/1262.09	c nbDecision=351000 #constraints=23300
1263.74/1264.23	c nbDecision=351500 #constraints=23306
1264.94/1265.42	c nbDecision=352000 #constraints=23309
1269.34/1269.86	c nbDecision=352500 #constraints=23322
1270.54/1271.04	c nbDecision=353000 #constraints=23325
1271.34/1271.82	c nbDecision=353500 #constraints=23327
1274.44/1274.92	c nbDecision=354000 #constraints=23336
1276.94/1277.41	c nbDecision=354500 #constraints=23343
1281.34/1281.85	c nbDecision=355000 #constraints=23356
1283.73/1284.29	c nbDecision=355500 #constraints=23365
1287.23/1287.77	c nbDecision=356000 #constraints=23378
1289.93/1290.45	c nbDecision=356500 #constraints=23386
1292.03/1292.59	c nbDecision=357000 #constraints=23394
1295.03/1295.55	c nbDecision=357500 #constraints=23402
1296.43/1296.93	c nbDecision=358000 #constraints=23407
1298.33/1298.86	c nbDecision=358500 #constraints=23413
1299.13/1299.69	c nbDecision=359000 #constraints=23415
1303.03/1303.55	c nbDecision=359500 #constraints=23429
1305.23/1305.74	c nbDecision=360000 #constraints=23435
1308.03/1308.57	c nbDecision=360500 #constraints=23444
1310.63/1311.13	c nbDecision=361000 #constraints=23451
1311.22/1311.73	c nbDecision=361500 #constraints=23454
1312.93/1313.49	c nbDecision=362000 #constraints=23459
1314.92/1315.43	c nbDecision=362500 #constraints=23465
1316.72/1317.25	c nbDecision=363000 #constraints=23471
1319.92/1320.41	c nbDecision=363500 #constraints=23486
1322.42/1322.96	c nbDecision=364000 #constraints=23498
1326.62/1327.17	c nbDecision=364500 #constraints=23511
1329.42/1329.95	c nbDecision=365000 #constraints=23520
1333.11/1333.62	c nbDecision=365500 #constraints=23531
1337.02/1337.54	c nbDecision=366000 #constraints=23542
1338.81/1339.34	c nbDecision=366500 #constraints=23547
1340.51/1341.08	c nbDecision=367000 #constraints=23554
1341.01/1341.52	c nbDecision=367500 #constraints=23556
1341.51/1342.03	c nbDecision=368000 #constraints=23558
1344.61/1345.13	c nbDecision=368500 #constraints=23567
1346.31/1346.88	c nbDecision=369000 #constraints=23572
1349.41/1349.98	c nbDecision=369500 #constraints=23581
1351.21/1351.72	c nbDecision=370000 #constraints=23586
1354.21/1354.79	c nbDecision=370500 #constraints=23595
1356.00/1356.53	c nbDecision=371000 #constraints=23600
1357.21/1357.71	c nbDecision=371500 #constraints=23603
1359.91/1360.41	c nbDecision=372000 #constraints=23611
1360.81/1361.37	c nbDecision=372500 #constraints=23615
1364.11/1364.62	c nbDecision=373000 #constraints=23626
1365.41/1365.98	c nbDecision=373500 #constraints=23631
1367.11/1367.68	c nbDecision=374000 #constraints=23636
1370.71/1371.26	c nbDecision=374500 #constraints=23646
1373.01/1373.54	c nbDecision=375000 #constraints=23652
1374.91/1375.42	c nbDecision=375500 #constraints=23657
1377.10/1377.67	c nbDecision=376000 #constraints=23663
1378.60/1379.19	c nbDecision=376500 #constraints=23667
1380.70/1381.29	c nbDecision=377000 #constraints=23673
1384.00/1384.55	c nbDecision=377500 #constraints=23682
1386.30/1386.85	c nbDecision=378000 #constraints=23688
1388.10/1388.69	c nbDecision=378500 #constraints=23693
1390.40/1391.00	c nbDecision=379000 #constraints=23699
1391.90/1392.46	c nbDecision=379500 #constraints=23703
1393.40/1393.98	c nbDecision=380000 #constraints=23707
1395.40/1395.92	c nbDecision=380500 #constraints=23712
1398.10/1398.67	c nbDecision=381000 #constraints=23719
1401.30/1401.86	c nbDecision=381500 #constraints=23727
1404.40/1404.95	c nbDecision=382000 #constraints=23736
1406.30/1406.89	c nbDecision=382500 #constraints=23741
1409.39/1409.94	c nbDecision=383000 #constraints=23750
1411.59/1412.17	c nbDecision=383500 #constraints=23756
1412.79/1413.34	c nbDecision=384000 #constraints=23759
1414.99/1415.54	c nbDecision=384500 #constraints=23765
1416.89/1417.46	c nbDecision=385000 #constraints=23770
1419.09/1419.63	c nbDecision=385500 #constraints=23776
1419.89/1420.42	c nbDecision=386000 #constraints=23779
1420.89/1421.41	c nbDecision=386500 #constraints=23783
1422.39/1422.90	c nbDecision=387000 #constraints=23787
1423.29/1423.80	c nbDecision=387500 #constraints=23790
1424.79/1425.37	c nbDecision=388000 #constraints=23795
1425.59/1426.19	c nbDecision=388500 #constraints=23797
1427.09/1427.68	c nbDecision=389000 #constraints=23801
1427.88/1428.42	c nbDecision=389500 #constraints=23803
1429.39/1429.96	c nbDecision=390000 #constraints=23807
1430.18/1430.71	c nbDecision=390500 #constraints=23809
1432.38/1432.99	c nbDecision=391000 #constraints=23815
1433.98/1434.56	c nbDecision=391500 #constraints=23819
1436.59/1437.15	c nbDecision=392000 #constraints=23827
1439.29/1439.88	c nbDecision=392500 #constraints=23834
1440.59/1441.15	c nbDecision=393000 #constraints=23838
1442.59/1443.10	c nbDecision=393500 #constraints=23843
1444.49/1445.06	c nbDecision=394000 #constraints=23848
1446.89/1447.44	c nbDecision=394500 #constraints=23854
1449.29/1449.88	c nbDecision=395000 #constraints=23860
1452.09/1452.61	c nbDecision=395500 #constraints=23867
1453.59/1454.14	c nbDecision=396000 #constraints=23871
1455.89/1456.50	c nbDecision=396500 #constraints=23877
1457.88/1458.44	c nbDecision=397000 #constraints=23882
1459.48/1460.02	c nbDecision=397500 #constraints=23886
1461.08/1461.61	c nbDecision=398000 #constraints=23890
1463.49/1464.05	c nbDecision=398500 #constraints=23896
1465.79/1466.38	c nbDecision=399000 #constraints=23902
1467.38/1467.93	c nbDecision=399500 #constraints=23906
1468.98/1469.52	c nbDecision=400000 #constraints=23910
1470.88/1471.47	c nbDecision=400500 #constraints=23915
1471.68/1472.26	c nbDecision=401000 #constraints=23917
1472.88/1473.45	c nbDecision=401500 #constraints=23920
1474.08/1474.67	c nbDecision=402000 #constraints=23923
1475.28/1475.84	c nbDecision=402500 #constraints=23926
1476.78/1477.39	c nbDecision=403000 #constraints=23930
1477.57/1478.13	c nbDecision=403500 #constraints=23932
1479.57/1480.10	c nbDecision=404000 #constraints=23937
1481.47/1482.05	c nbDecision=404500 #constraints=23942
1481.47/1482.08	c nbDecision=405000 #constraints=23942
1481.57/1482.10	c nbDecision=405500 #constraints=23942
1482.07/1482.63	c nbDecision=406000 #constraints=23944
1487.37/1487.94	c nbDecision=406500 #constraints=23957
1491.47/1492.08	c nbDecision=407000 #constraints=23968
1495.07/1495.62	c nbDecision=407500 #constraints=23977
1499.06/1499.62	c nbDecision=408000 #constraints=23987
1503.76/1504.39	c nbDecision=408500 #constraints=23999
1506.96/1507.53	c nbDecision=409000 #constraints=24007
1510.96/1511.50	c nbDecision=409500 #constraints=24017
1510.96/1511.50	c restart after 409601 decisions
1512.86/1513.48	c nbDecision=410000 #constraints=24017
1512.96/1513.50	c nbDecision=410500 #constraints=24017
1512.96/1513.52	c nbDecision=411000 #constraints=24017
1515.26/1515.85	c nbDecision=411500 #constraints=24023
1518.66/1519.28	c nbDecision=412000 #constraints=24032
1521.06/1521.62	c nbDecision=412500 #constraints=24038
1524.26/1524.82	c nbDecision=413000 #constraints=24046
1526.36/1526.93	c nbDecision=413500 #constraints=24052
1531.67/1532.23	c nbDecision=414000 #constraints=24065
1535.76/1536.35	c nbDecision=414500 #constraints=24076
1539.26/1539.90	c nbDecision=415000 #constraints=24085
1543.36/1543.94	c nbDecision=415500 #constraints=24095
1548.16/1548.71	c nbDecision=416000 #constraints=24107
1552.06/1552.61	c nbDecision=416500 #constraints=24117
1555.15/1555.78	c nbDecision=417000 #constraints=24125
1557.85/1558.50	c nbDecision=417500 #constraints=24132
1561.35/1561.93	c nbDecision=418000 #constraints=24141
1563.35/1563.90	c nbDecision=418500 #constraints=24146
1566.55/1567.10	c nbDecision=419000 #constraints=24154
1569.65/1570.29	c nbDecision=419500 #constraints=24162
1571.65/1572.25	c nbDecision=420000 #constraints=24167
1573.64/1574.29	c nbDecision=420500 #constraints=24172
1578.85/1579.49	c nbDecision=421000 #constraints=24185
1583.35/1583.95	c nbDecision=421500 #constraints=24196
1586.24/1586.81	c nbDecision=422000 #constraints=24204
1589.04/1589.60	c nbDecision=422500 #constraints=24211
1593.44/1594.04	c nbDecision=423000 #constraints=24222
1597.74/1598.33	c nbDecision=423500 #constraints=24233
1600.43/1601.03	c nbDecision=424000 #constraints=24240
1603.63/1604.28	c nbDecision=424500 #constraints=24248
1607.23/1607.83	c nbDecision=425000 #constraints=24257
1609.53/1610.10	c nbDecision=425500 #constraints=24263
1612.33/1612.99	c nbDecision=426000 #constraints=24271
1614.43/1615.10	c nbDecision=426500 #constraints=24277
1614.53/1615.18	c nbDecision=427000 #constraints=24279
1615.13/1615.73	c nbDecision=427500 #constraints=24282
1616.04/1616.69	c nbDecision=428000 #constraints=24285
1618.44/1619.05	c nbDecision=428500 #constraints=24291
1620.54/1621.12	c nbDecision=429000 #constraints=24296
1621.74/1622.31	c nbDecision=429500 #constraints=24299
1623.74/1624.38	c nbDecision=430000 #constraints=24304
1624.94/1625.58	c nbDecision=430500 #constraints=24307
1625.74/1626.32	c nbDecision=431000 #constraints=24309
1628.93/1629.58	c nbDecision=431500 #constraints=24317
1632.23/1632.86	c nbDecision=432000 #constraints=24325
1633.23/1633.89	c nbDecision=432500 #constraints=24329
1635.33/1635.98	c nbDecision=433000 #constraints=24334
1638.13/1638.77	c nbDecision=433500 #constraints=24341
1640.63/1641.24	c nbDecision=434000 #constraints=24347
1643.53/1644.13	c nbDecision=434500 #constraints=24354
1645.23/1645.83	c nbDecision=435000 #constraints=24358
1648.13/1648.74	c nbDecision=435500 #constraints=24365
1650.93/1651.55	c nbDecision=436000 #constraints=24372
1653.32/1654.00	c nbDecision=436500 #constraints=24378
1655.02/1655.66	c nbDecision=437000 #constraints=24382
1657.03/1657.67	c nbDecision=437500 #constraints=24387
1657.82/1658.48	c nbDecision=438000 #constraints=24389
1658.32/1658.92	c nbDecision=438500 #constraints=24390
1659.12/1659.78	c nbDecision=439000 #constraints=24392
1662.02/1662.67	c nbDecision=439500 #constraints=24399
1663.62/1664.28	c nbDecision=440000 #constraints=24403
1664.12/1664.72	c nbDecision=440500 #constraints=24404
1665.72/1666.35	c nbDecision=441000 #constraints=24408
1666.92/1667.55	c nbDecision=441500 #constraints=24411
1669.02/1669.61	c nbDecision=442000 #constraints=24416
1670.92/1671.56	c nbDecision=442500 #constraints=24421
1672.52/1673.16	c nbDecision=443000 #constraints=24425
1673.32/1673.90	c nbDecision=443500 #constraints=24427
1675.72/1676.30	c nbDecision=444000 #constraints=24433
1676.21/1676.82	c nbDecision=444500 #constraints=24435
1676.21/1676.84	c nbDecision=445000 #constraints=24435
1676.92/1677.56	c nbDecision=445500 #constraints=24437
1678.31/1678.94	c nbDecision=446000 #constraints=24441
1679.31/1679.98	c nbDecision=446500 #constraints=24444
1680.01/1680.67	c nbDecision=447000 #constraints=24446
1680.71/1681.38	c nbDecision=447500 #constraints=24448
1682.11/1682.78	c nbDecision=448000 #constraints=24452
1682.81/1683.48	c nbDecision=448500 #constraints=24454
1684.81/1685.46	c nbDecision=449000 #constraints=24460
1686.01/1686.64	c nbDecision=449500 #constraints=24463
1687.21/1687.82	c nbDecision=450000 #constraints=24466
1688.01/1688.61	c nbDecision=450500 #constraints=24468
1689.61/1690.29	c nbDecision=451000 #constraints=24473
1690.81/1691.48	c nbDecision=451500 #constraints=24476
1691.71/1692.31	c nbDecision=452000 #constraints=24479
1692.81/1693.49	c nbDecision=452500 #constraints=24482
1693.21/1693.89	c nbDecision=453000 #constraints=24483
1694.01/1694.69	c nbDecision=453500 #constraints=24485
1695.61/1696.28	c nbDecision=454000 #constraints=24490
1696.51/1697.10	c nbDecision=454500 #constraints=24492
1696.51/1697.12	c nbDecision=455000 #constraints=24492
1697.51/1698.16	c nbDecision=455500 #constraints=24495
1698.92/1699.52	c nbDecision=456000 #constraints=24499
1699.92/1700.55	c nbDecision=456500 #constraints=24502
1700.61/1701.27	c nbDecision=457000 #constraints=24504
1702.12/1702.74	c nbDecision=457500 #constraints=24509
1702.91/1703.57	c nbDecision=458000 #constraints=24513
1703.32/1703.99	c nbDecision=458500 #constraints=24515
1703.81/1704.49	c nbDecision=459000 #constraints=24518
1704.32/1705.00	c nbDecision=459500 #constraints=24522
1704.42/1705.03	c nbDecision=460000 #constraints=24522
1704.42/1705.05	c nbDecision=460500 #constraints=24522
1705.52/1706.16	c nbDecision=461000 #constraints=24525
1706.62/1707.26	c nbDecision=461500 #constraints=24528
1707.72/1708.37	c nbDecision=462000 #constraints=24531
1709.71/1710.31	c nbDecision=462500 #constraints=24536
1710.81/1711.45	c nbDecision=463000 #constraints=24539
1710.81/1711.47	c nbDecision=463500 #constraints=24539
1710.81/1711.49	c nbDecision=464000 #constraints=24539
1711.21/1711.88	c nbDecision=464500 #constraints=24540
1711.31/1711.91	c nbDecision=465000 #constraints=24540
1711.61/1712.29	c nbDecision=465500 #constraints=24541
1711.71/1712.32	c nbDecision=466000 #constraints=24541
1711.71/1712.34	c nbDecision=466500 #constraints=24541
1712.11/1712.73	c nbDecision=467000 #constraints=24542
1712.11/1712.76	c nbDecision=467500 #constraints=24542
1712.51/1713.14	c nbDecision=468000 #constraints=24543
1712.51/1713.17	c nbDecision=468500 #constraints=24543
1712.51/1713.19	c nbDecision=469000 #constraints=24543
1712.91/1713.58	c nbDecision=469500 #constraints=24544
1713.01/1713.61	c nbDecision=470000 #constraints=24544
1713.01/1713.62	c nbDecision=470500 #constraints=24544
1713.41/1714.02	c nbDecision=471000 #constraints=24545
1713.41/1714.04	c nbDecision=471500 #constraints=24545
1713.41/1714.06	c nbDecision=472000 #constraints=24545
1717.81/1718.45	c nbDecision=472500 #constraints=24556
1723.51/1724.13	c nbDecision=473000 #constraints=24570
1727.00/1727.65	c nbDecision=473500 #constraints=24579
1728.20/1728.84	c nbDecision=474000 #constraints=24582
1728.20/1728.87	c nbDecision=474500 #constraints=24582
1728.30/1728.90	c nbDecision=475000 #constraints=24583
1728.30/1728.93	c nbDecision=475500 #constraints=24583
1728.30/1728.96	c nbDecision=476000 #constraints=24584
1728.30/1728.99	c nbDecision=476500 #constraints=24584
1728.40/1729.01	c nbDecision=477000 #constraints=24584
1729.30/1729.92	c nbDecision=477500 #constraints=24587
1731.20/1731.81	c nbDecision=478000 #constraints=24592
1731.20/1731.84	c nbDecision=478500 #constraints=24592
1731.20/1731.86	c nbDecision=479000 #constraints=24592
1731.60/1732.25	c nbDecision=479500 #constraints=24593
1731.60/1732.27	c nbDecision=480000 #constraints=24593
1732.00/1732.66	c nbDecision=480500 #constraints=24594
1732.00/1732.69	c nbDecision=481000 #constraints=24594
1732.10/1732.71	c nbDecision=481500 #constraints=24594
1732.90/1733.51	c nbDecision=482000 #constraints=24596
1732.90/1733.54	c nbDecision=482500 #constraints=24596
1733.30/1733.94	c nbDecision=483000 #constraints=24597
1734.50/1735.17	c nbDecision=483500 #constraints=24602
1738.09/1738.70	c nbDecision=484000 #constraints=24617
1739.29/1740.00	c nbDecision=484500 #constraints=24623
1740.89/1741.56	c nbDecision=485000 #constraints=24630
1742.19/1742.83	c nbDecision=485500 #constraints=24636
1743.69/1744.36	c nbDecision=486000 #constraints=24642
1744.79/1745.42	c nbDecision=486500 #constraints=24645
1746.79/1747.49	c nbDecision=487000 #constraints=24653
1748.49/1749.10	c nbDecision=487500 #constraints=24660
1751.09/1751.78	c nbDecision=488000 #constraints=24673
1753.09/1753.78	c nbDecision=488500 #constraints=24680
1754.09/1754.72	c nbDecision=489000 #constraints=24683
1755.39/1756.01	c nbDecision=489500 #constraints=24687
1756.59/1757.28	c nbDecision=490000 #constraints=24691
1757.29/1757.92	c nbDecision=490500 #constraints=24693
1758.79/1759.50	c nbDecision=491000 #constraints=24698
1759.49/1760.19	c nbDecision=491500 #constraints=24700
1760.39/1761.08	c nbDecision=492000 #constraints=24704
1761.19/1761.82	c nbDecision=492500 #constraints=24707
1762.09/1762.77	c nbDecision=493000 #constraints=24710
1763.09/1763.72	c nbDecision=493500 #constraints=24713
1764.29/1764.98	c nbDecision=494000 #constraints=24717
1765.48/1766.10	c nbDecision=494500 #constraints=24721
1765.68/1766.37	c nbDecision=495000 #constraints=24725
1767.38/1768.04	c nbDecision=495500 #constraints=24734
1768.58/1769.28	c nbDecision=496000 #constraints=24739
1770.18/1770.80	c nbDecision=496500 #constraints=24745
1770.48/1771.11	c nbDecision=497000 #constraints=24748
1772.48/1773.13	c nbDecision=497500 #constraints=24762
1773.38/1774.01	c nbDecision=498000 #constraints=24768
1773.48/1774.18	c nbDecision=498500 #constraints=24769
1774.08/1774.78	c nbDecision=499000 #constraints=24773
1774.58/1775.22	c nbDecision=499500 #constraints=24776
1775.28/1775.92	c nbDecision=500000 #constraints=24781
1775.68/1776.34	c nbDecision=500500 #constraints=24784
1775.98/1776.65	c nbDecision=501000 #constraints=24786
1776.38/1777.09	c nbDecision=501500 #constraints=24789
1777.19/1777.80	c nbDecision=502000 #constraints=24794
1777.59/1778.23	c nbDecision=502500 #constraints=24797
1777.99/1778.68	c nbDecision=503000 #constraints=24799
1779.39/1780.05	c nbDecision=503500 #constraints=24803
1780.29/1780.97	c nbDecision=504000 #constraints=24807
1781.69/1782.38	c nbDecision=504500 #constraints=24813
1783.49/1784.13	c nbDecision=505000 #constraints=24818
1784.59/1785.26	c nbDecision=505500 #constraints=24822
1785.79/1786.49	c nbDecision=506000 #constraints=24827
1786.89/1787.56	c nbDecision=506500 #constraints=24833
1787.78/1788.46	c nbDecision=507000 #constraints=24837
1787.99/1788.61	c nbDecision=507500 #constraints=24840
1788.48/1789.11	c nbDecision=508000 #constraints=24842
1788.58/1789.23	c nbDecision=508500 #constraints=24844
1788.68/1789.38	c nbDecision=509000 #constraints=24846
1789.18/1789.81	c nbDecision=509500 #constraints=24848
1789.28/1789.96	c nbDecision=510000 #constraints=24850
1791.48/1792.11	c nbDecision=510500 #constraints=24857
1792.78/1793.47	c nbDecision=511000 #constraints=24861
1793.88/1794.51	c nbDecision=511500 #constraints=24864
1794.58/1795.23	c nbDecision=512000 #constraints=24866
1795.28/1795.92	c nbDecision=512500 #constraints=24868
1795.78/1796.44	c nbDecision=513000 #constraints=24870
1796.98/1797.67	c nbDecision=513500 #constraints=24875
1798.28/1798.91	c nbDecision=514000 #constraints=24880
1799.78/1800.41	c nbDecision=514500 #constraints=24885
1800.09/1800.71	Received signal 15
1800.09/1800.75	
1800.09/1800.75	s UNKNOWN
1800.09/1800.75	
1800.09/1800.75	c user time= 1799.77 s
1800.09/1800.75	c system time= 0.363944 s
1800.09/1800.75	c wall clock time=1800.75

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/node1/watcher-356866-1176846575 -o ROOT/results/node1/solver-356866-1176846575 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356866-1176846575/instance-356866-1176846575.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.99 0.97 0.96 3/77 19839
/proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=1468 CPUtime=0
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 160695484 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 367 160 131 317 0 46 0

[startup+0.024631 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 19839
/proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=1732 CPUtime=0.02
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 247 0 0 0 2 0 0 0 18 0 1 0 160695484 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 433 229 131 317 0 112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1732

[startup+0.101639 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 19839
/proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=2788 CPUtime=0.09
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 517 0 0 0 9 0 0 0 18 0 1 0 160695484 2854912 499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 697 499 131 317 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788

[startup+0.301663 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 19839
/proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=5560 CPUtime=0.29
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 1213 0 0 0 29 0 0 0 19 0 1 0 160695484 5693440 1195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 1390 1195 131 317 0 1069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5560

[startup+0.701709 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 19839
/proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=11236 CPUtime=0.69
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 2607 0 0 0 68 1 0 0 22 0 1 0 160695484 11505664 2589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 2809 2589 131 317 0 2488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11236

[startup+1.5018 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1761592/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=22324 CPUtime=1.49
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 5380 0 0 0 146 3 0 0 25 0 1 0 160695484 22859776 5362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 5581 5362 131 317 0 5260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22324

[startup+3.10199 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1745336/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=44384 CPUtime=3.09
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 10898 0 0 0 303 6 0 0 25 0 1 0 160695484 45449216 10880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 11096 10880 131 317 0 10775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44384

[startup+6.30137 s]
/proc/loadavg: 0.99 0.97 0.96 3/78 19840
/proc/meminfo: memFree=1701752/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=88740 CPUtime=6.29
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 21974 0 0 0 617 12 0 0 25 0 1 0 160695484 90869760 21956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 22185 21956 137 317 0 21864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88740

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1664952/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=116676 CPUtime=12.68
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27873 0 0 0 1255 13 0 0 25 0 1 0 160695484 119476224 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29169 27723 139 317 0 28848 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116676

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1665144/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=116676 CPUtime=25.48
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27873 0 0 0 2535 13 0 0 25 0 1 0 160695484 119476224 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29169 27723 139 317 0 28848 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116676

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1665208/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=116676 CPUtime=51.08
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27904 0 0 0 5094 14 0 0 25 0 1 0 160695484 119476224 27754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29169 27754 170 317 0 28848 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116676

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1664952/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=117064 CPUtime=102.27
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28017 0 0 0 10212 15 0 0 25 0 1 0 160695484 119873536 27867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29266 27867 170 317 0 28945 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 117064

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1664120/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=117716 CPUtime=162.24
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28216 0 0 0 16209 15 0 0 25 0 1 0 160695484 120541184 28066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29429 28066 170 317 0 29108 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117716

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1663352/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=118496 CPUtime=222.23
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28418 0 0 0 22207 16 0 0 25 0 1 0 160695484 121339904 28268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29624 28268 170 317 0 29303 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 118496

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1662328/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=119396 CPUtime=282.21
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28663 0 0 0 28204 17 0 0 25 0 1 0 160695484 122261504 28513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 29849 28513 170 317 0 29528 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 119396

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1661304/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=120604 CPUtime=342.2
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28914 0 0 0 34202 18 0 0 25 0 1 0 160695484 123498496 28764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 30151 28764 170 317 0 29830 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 120604

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1660472/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=121260 CPUtime=402.18
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29112 0 0 0 40199 19 0 0 25 0 1 0 160695484 124170240 28962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 30315 28962 170 317 0 29994 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 121260

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1659704/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=123456 CPUtime=462.17
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29576 0 0 0 46197 20 0 0 25 0 1 0 160695484 126418944 29162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 30864 29162 170 317 0 30543 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 123456

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1659000/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=124108 CPUtime=522.15
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29746 0 0 0 52195 20 0 0 25 0 1 0 160695484 127086592 29332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604337 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 31027 29332 170 317 0 30706 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 124108

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1657656/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=126056 CPUtime=582.13
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 30202 0 0 0 58192 21 0 0 25 0 1 0 160695484 129081344 29623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 31514 29623 170 317 0 31193 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 126056

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19840
/proc/meminfo: memFree=1657080/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=127224 CPUtime=642.12
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 30463 0 0 0 64190 22 0 0 25 0 1 0 160695484 130277376 29785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 31806 29785 170 317 0 31485 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 127224


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 20038
/proc/meminfo: memFree=1654264/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=129696 CPUtime=881.95
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31137 0 0 0 88170 25 0 0 25 0 1 0 160695484 132808704 30459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 32424 30459 170 317 0 32103 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 129696

[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1653624/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=130216 CPUtime=941.93
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31295 0 0 0 94167 26 0 0 25 0 1 0 160695484 133341184 30617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 32554 30617 170 317 0 32233 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 130216

[startup+1002.3 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1652664/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=131516 CPUtime=1001.91
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31598 0 0 0 100165 26 0 0 25 0 1 0 160695484 134672384 30854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 32879 30854 170 317 0 32558 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 131516

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1651576/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=132564 CPUtime=1061.9
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31843 0 0 0 106163 27 0 0 25 0 1 0 160695484 135745536 31099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 33141 31099 170 317 0 32820 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 132564

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1650552/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=133480 CPUtime=1121.88
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32114 0 0 0 112160 28 0 0 25 0 1 0 160695484 136683520 31370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 33370 31370 170 317 0 33049 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 133480

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1649592/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=134272 CPUtime=1181.86
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32346 0 0 0 118157 29 0 0 25 0 1 0 160695484 137494528 31602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 33568 31602 170 317 0 33247 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 134272

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1648760/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=135052 CPUtime=1241.84
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32551 0 0 0 124155 29 0 0 25 0 1 0 160695484 138293248 31807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 33763 31807 170 317 0 33442 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 135052

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1647864/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=135840 CPUtime=1301.83
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32766 0 0 0 130153 30 0 0 25 0 1 0 160695484 139100160 32022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 33960 32022 170 317 0 33639 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 135840

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1647032/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=136652 CPUtime=1361.81
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32969 0 0 0 136150 31 0 0 25 0 1 0 160695484 139931648 32225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 34163 32225 170 317 0 33842 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 136652

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1646136/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=137308 CPUtime=1421.79
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33171 0 0 0 142148 31 0 0 25 0 1 0 160695484 140603392 32427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 34327 32427 170 317 0 34006 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 137308

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1645432/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=137964 CPUtime=1481.77
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33340 0 0 0 148145 32 0 0 25 0 1 0 160695484 141275136 32596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 34491 32596 170 317 0 34170 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 137964

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1644856/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=138488 CPUtime=1541.76
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33481 0 0 0 154143 33 0 0 25 0 1 0 160695484 141811712 32737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 34622 32737 170 317 0 34301 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 138488

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1644152/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=139004 CPUtime=1601.73
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33635 0 0 0 160140 33 0 0 25 0 1 0 160695484 142340096 32891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 34751 32891 170 317 0 34430 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 139004

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1643192/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=140192 CPUtime=1661.72
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33877 0 0 0 166138 34 0 0 25 0 1 0 160695484 143556608 33133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 35048 33133 170 317 0 34727 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 140192

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1642232/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=141108 CPUtime=1721.71
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34114 0 0 0 172136 35 0 0 25 0 1 0 160695484 144494592 33370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 35277 33370 170 317 0 34956 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 141108

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1641016/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=142276 CPUtime=1781.69
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34425 0 0 0 178133 36 0 0 25 0 1 0 160695484 145690624 33648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 35569 33648 170 317 0 35248 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 142276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1640696/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=142536 CPUtime=1800.09
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34513 0 0 0 179973 36 0 0 25 0 1 0 160695484 145956864 33736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 35634 33736 170 317 0 35313 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 142536

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 0.99 0.97 2/78 20038
/proc/meminfo: memFree=1640696/2055920 swapFree=4145928/4192956
[pid=19839] ppid=19837 vsize=142536 CPUtime=1800.09
/proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34513 0 0 0 179973 36 0 0 25 0 1 0 160695484 145956864 33736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19839/statm: 35634 33736 170 317 0 35313 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 142536

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.16
CPU user time (s): 1799.78
CPU system time (s): 0.386941
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 142536

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

runsolver used 2.13167 second user time and 4.47432 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Apr 17 21:49:36 UTC 2007

IDJOB= 356866
IDBENCH= 1570
IDSOLVER= 172
FILE ID= node1/356866-1176846575

PBS_JOBID= 4590173

Free space on /tmp= 66376 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  070ae832e0a6091e01d7e6b3fb0eac97

RANDOM SEED= 751240109

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1776088 kB
Buffers:         28596 kB
Cached:         183656 kB
SwapCached:      14460 kB
Active:          83996 kB
Inactive:       151208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776088 kB
SwapTotal:     4192956 kB
SwapFree:      4145928 kB
Dirty:           25516 kB
Writeback:           0 kB
Mapped:          30028 kB
Slab:            30112 kB
Committed_AS:  4917044 kB
PageTables:       1832 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= 66376 MiB

End job on node1 on Tue Apr 17 22:19:39 UTC 2007