Trace number 356983

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.17 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb
MD5SUM7808a83c255339d45cbd36765fa322a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of 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 22533
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 536862
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 536862
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...
2.89/2.96	c ...done
2.89/2.96	c #vars=155020 #constraints=4868 hasObjective=yes
3.69/3.74	c res. mode=mod
3.69/3.74	c VSIDS like heuristics
3.69/3.74	c complete search running
6.09/6.20	c restart after 401 decisions
6.49/6.59	c nbDecision=500 #constraints=4964
8.09/8.10	c restart after 801 decisions
8.99/9.04	c nbDecision=1000 #constraints=5171
11.29/11.31	c nbDecision=1500 #constraints=5264
11.69/11.77	c restart after 1601 decisions
13.49/13.58	c nbDecision=2000 #constraints=5348
15.88/15.90	c nbDecision=2500 #constraints=5444
18.28/18.33	c nbDecision=3000 #constraints=5565
19.18/19.28	c restart after 3201 decisions
20.58/20.64	c nbDecision=3500 #constraints=5638
22.89/22.95	c nbDecision=4000 #constraints=5697
25.29/25.32	c nbDecision=4500 #constraints=5784
27.58/27.66	c nbDecision=5000 #constraints=5836
29.98/30.03	c nbDecision=5500 #constraints=5915
32.38/32.44	c nbDecision=6000 #constraints=6015
34.38/34.40	c restart after 6401 decisions
34.68/34.79	c nbDecision=6500 #constraints=6099
37.07/37.13	c nbDecision=7000 #constraints=6173
39.48/39.52	c nbDecision=7500 #constraints=6258
41.77/41.87	c nbDecision=8000 #constraints=6331
44.17/44.25	c nbDecision=8500 #constraints=6415
46.57/46.63	c nbDecision=9000 #constraints=6489
48.97/49.04	c nbDecision=9500 #constraints=6580
51.26/51.38	c nbDecision=10000 #constraints=6613
53.66/53.77	c nbDecision=10500 #constraints=6685
55.97/56.10	c nbDecision=11000 #constraints=6741
58.46/58.56	c nbDecision=11500 #constraints=6845
60.86/60.93	c nbDecision=12000 #constraints=6916
63.16/63.25	c nbDecision=12500 #constraints=6956
64.56/64.68	c restart after 12801 decisions
65.46/65.54	c nbDecision=13000 #constraints=6988
67.76/67.86	c nbDecision=13500 #constraints=7017
70.05/70.18	c nbDecision=14000 #constraints=7044
72.46/72.57	c nbDecision=14500 #constraints=7109
74.76/74.88	c nbDecision=15000 #constraints=7131
77.15/77.22	c nbDecision=15500 #constraints=7176
79.45/79.56	c nbDecision=16000 #constraints=7216
81.76/81.88	c nbDecision=16500 #constraints=7250
84.26/84.34	c nbDecision=17000 #constraints=7349
86.66/86.72	c nbDecision=17500 #constraints=7404
89.06/89.19	c nbDecision=18000 #constraints=7526
91.56/91.62	c nbDecision=18500 #constraints=7623
93.96/94.05	c nbDecision=19000 #constraints=7714
96.35/96.45	c nbDecision=19500 #constraints=7804
98.75/98.84	c nbDecision=20000 #constraints=7891
101.06/101.18	c nbDecision=20500 #constraints=7943
103.45/103.55	c nbDecision=21000 #constraints=8003
105.85/105.94	c nbDecision=21500 #constraints=8057
108.25/108.33	c nbDecision=22000 #constraints=8119
110.65/110.72	c nbDecision=22500 #constraints=8187
112.95/113.03	c nbDecision=23000 #constraints=8208
115.35/115.42	c nbDecision=23500 #constraints=8283
117.65/117.77	c nbDecision=24000 #constraints=8333
120.04/120.11	c nbDecision=24500 #constraints=8376
122.45/122.53	c nbDecision=25000 #constraints=8457
124.85/124.94	c nbDecision=25500 #constraints=8531
125.35/125.41	c restart after 25601 decisions
127.15/127.26	c nbDecision=26000 #constraints=8545
129.55/129.65	c nbDecision=26500 #constraints=8560
131.95/132.04	c nbDecision=27000 #constraints=8590
134.34/134.43	c nbDecision=27500 #constraints=8619
136.64/136.77	c nbDecision=28000 #constraints=8634
139.14/139.23	c nbDecision=28500 #constraints=8684
141.54/141.66	c nbDecision=29000 #constraints=8726
143.94/144.10	c nbDecision=29500 #constraints=8777
146.34/146.49	c nbDecision=30000 #constraints=8799
148.74/148.85	c nbDecision=30500 #constraints=8811
151.14/151.25	c nbDecision=31000 #constraints=8846
153.53/153.65	c nbDecision=31500 #constraints=8873
155.93/156.00	c nbDecision=32000 #constraints=8899
158.34/158.42	c nbDecision=32500 #constraints=8946
160.74/160.80	c nbDecision=33000 #constraints=8979
163.04/163.16	c nbDecision=33500 #constraints=8997
165.34/165.50	c nbDecision=34000 #constraints=9006
167.84/167.91	c nbDecision=34500 #constraints=9042
170.34/170.40	c nbDecision=35000 #constraints=9112
172.73/172.84	c nbDecision=35500 #constraints=9169
175.13/175.26	c nbDecision=36000 #constraints=9217
177.43/177.59	c nbDecision=36500 #constraints=9231
179.83/179.97	c nbDecision=37000 #constraints=9277
182.13/182.29	c nbDecision=37500 #constraints=9286
184.53/184.64	c nbDecision=38000 #constraints=9316
186.93/187.04	c nbDecision=38500 #constraints=9360
189.32/189.45	c nbDecision=39000 #constraints=9416
191.72/191.85	c nbDecision=39500 #constraints=9463
194.12/194.21	c nbDecision=40000 #constraints=9488
196.42/196.57	c nbDecision=40500 #constraints=9520
198.83/198.99	c nbDecision=41000 #constraints=9575
201.23/201.32	c nbDecision=41500 #constraints=9592
203.53/203.65	c nbDecision=42000 #constraints=9608
205.93/206.01	c nbDecision=42500 #constraints=9629
208.32/208.44	c nbDecision=43000 #constraints=9687
210.72/210.84	c nbDecision=43500 #constraints=9729
213.12/213.20	c nbDecision=44000 #constraints=9750
215.42/215.56	c nbDecision=44500 #constraints=9785
217.82/217.91	c nbDecision=45000 #constraints=9822
220.21/220.31	c nbDecision=45500 #constraints=9888
222.62/222.74	c nbDecision=46000 #constraints=9975
225.02/225.17	c nbDecision=46500 #constraints=10046
227.42/227.60	c nbDecision=47000 #constraints=10108
229.92/230.01	c nbDecision=47500 #constraints=10161
232.32/232.49	c nbDecision=48000 #constraints=10262
234.72/234.88	c nbDecision=48500 #constraints=10320
237.21/237.32	c nbDecision=49000 #constraints=10399
239.72/239.81	c nbDecision=49500 #constraints=10503
242.11/242.20	c nbDecision=50000 #constraints=10516
244.51/244.61	c nbDecision=50500 #constraints=10532
246.91/247.08	c nbDecision=51000 #constraints=10565
247.91/248.04	c restart after 51201 decisions
249.31/249.41	c nbDecision=51500 #constraints=10569
251.72/251.89	c nbDecision=52000 #constraints=10599
254.21/254.37	c nbDecision=52500 #constraints=10637
256.71/256.86	c nbDecision=53000 #constraints=10713
259.11/259.29	c nbDecision=53500 #constraints=10762
261.61/261.76	c nbDecision=54000 #constraints=10828
264.21/264.30	c nbDecision=54500 #constraints=10953
266.71/266.84	c nbDecision=55000 #constraints=11056
269.21/269.36	c nbDecision=55500 #constraints=11151
271.70/271.82	c nbDecision=56000 #constraints=11213
274.20/274.32	c nbDecision=56500 #constraints=11305
276.60/276.74	c nbDecision=57000 #constraints=11362
279.11/279.26	c nbDecision=57500 #constraints=11458
281.60/281.77	c nbDecision=58000 #constraints=11541
284.10/284.24	c nbDecision=58500 #constraints=11614
286.50/286.66	c nbDecision=59000 #constraints=11653
289.00/289.12	c nbDecision=59500 #constraints=11729
291.50/291.62	c nbDecision=60000 #constraints=11814
294.00/294.10	c nbDecision=60500 #constraints=11891
296.49/296.60	c nbDecision=61000 #constraints=11973
298.90/299.01	c nbDecision=61500 #constraints=12018
301.31/301.44	c nbDecision=62000 #constraints=12070
303.70/303.90	c nbDecision=62500 #constraints=12132
306.30/306.44	c nbDecision=63000 #constraints=12222
308.80/308.95	c nbDecision=63500 #constraints=12292
311.30/311.45	c nbDecision=64000 #constraints=12367
313.79/313.98	c nbDecision=64500 #constraints=12449
316.39/316.50	c nbDecision=65000 #constraints=12542
318.78/318.98	c nbDecision=65500 #constraints=12652
321.36/321.52	c nbDecision=66000 #constraints=12724
323.76/323.96	c nbDecision=66500 #constraints=12782
326.25/326.44	c nbDecision=67000 #constraints=12852
328.65/328.90	c nbDecision=67500 #constraints=12915
331.15/331.39	c nbDecision=68000 #constraints=12974
333.74/333.96	c nbDecision=68500 #constraints=13066
336.13/336.36	c nbDecision=69000 #constraints=13108
338.63/338.80	c nbDecision=69500 #constraints=13160
341.12/341.31	c nbDecision=70000 #constraints=13233
343.51/343.76	c nbDecision=70500 #constraints=13302
346.01/346.28	c nbDecision=71000 #constraints=13429
348.60/348.86	c nbDecision=71500 #constraints=13562
351.10/351.37	c nbDecision=72000 #constraints=13638
353.70/353.98	c nbDecision=72500 #constraints=13771
356.29/356.52	c nbDecision=73000 #constraints=13824
358.70/358.97	c nbDecision=73500 #constraints=13829
361.20/361.47	c nbDecision=74000 #constraints=13855
363.69/363.93	c nbDecision=74500 #constraints=13870
366.19/366.44	c nbDecision=75000 #constraints=13897
368.89/369.11	c nbDecision=75500 #constraints=13966
371.50/371.72	c nbDecision=76000 #constraints=14017
373.98/374.24	c nbDecision=76500 #constraints=14058
376.48/376.73	c nbDecision=77000 #constraints=14084
378.98/379.20	c nbDecision=77500 #constraints=14121
381.38/381.65	c nbDecision=78000 #constraints=14148
383.87/384.13	c nbDecision=78500 #constraints=14177
386.37/386.64	c nbDecision=79000 #constraints=14210
388.87/389.14	c nbDecision=79500 #constraints=14232
391.37/391.62	c nbDecision=80000 #constraints=14254
393.77/394.06	c nbDecision=80500 #constraints=14259
396.27/396.54	c nbDecision=81000 #constraints=14277
398.67/398.99	c nbDecision=81500 #constraints=14299
401.27/401.52	c nbDecision=82000 #constraints=14379
403.77/404.08	c nbDecision=82500 #constraints=14478
406.37/406.63	c nbDecision=83000 #constraints=14552
408.87/409.16	c nbDecision=83500 #constraints=14613
411.47/411.76	c nbDecision=84000 #constraints=14715
413.97/414.29	c nbDecision=84500 #constraints=14772
416.46/416.75	c nbDecision=85000 #constraints=14816
418.86/419.19	c nbDecision=85500 #constraints=14861
421.36/421.68	c nbDecision=86000 #constraints=14910
423.87/424.17	c nbDecision=86500 #constraints=14951
426.37/426.68	c nbDecision=87000 #constraints=15006
428.86/429.18	c nbDecision=87500 #constraints=15059
431.36/431.69	c nbDecision=88000 #constraints=15106
433.96/434.20	c nbDecision=88500 #constraints=15152
436.36/436.66	c nbDecision=89000 #constraints=15217
438.86/439.11	c nbDecision=89500 #constraints=15273
441.26/441.57	c nbDecision=90000 #constraints=15324
443.76/444.00	c nbDecision=90500 #constraints=15384
446.16/446.43	c nbDecision=91000 #constraints=15437
448.75/449.08	c nbDecision=91500 #constraints=15488
451.35/451.67	c nbDecision=92000 #constraints=15521
453.96/454.24	c nbDecision=92500 #constraints=15534
456.45/456.78	c nbDecision=93000 #constraints=15538
459.05/459.35	c nbDecision=93500 #constraints=15557
461.65/461.94	c nbDecision=94000 #constraints=15581
464.15/464.47	c nbDecision=94500 #constraints=15597
466.75/467.07	c nbDecision=95000 #constraints=15651
469.35/469.65	c nbDecision=95500 #constraints=15685
472.05/472.31	c nbDecision=96000 #constraints=15745
474.64/474.95	c nbDecision=96500 #constraints=15807
477.15/477.49	c nbDecision=97000 #constraints=15825
479.95/480.24	c nbDecision=97500 #constraints=15903
482.55/482.88	c nbDecision=98000 #constraints=15960
485.25/485.59	c nbDecision=98500 #constraints=16032
487.95/488.29	c nbDecision=99000 #constraints=16104
490.65/490.98	c nbDecision=99500 #constraints=16140
493.34/493.66	c nbDecision=100000 #constraints=16202
496.04/496.31	c nbDecision=100500 #constraints=16259
498.64/498.93	c nbDecision=101000 #constraints=16297
501.24/501.57	c nbDecision=101500 #constraints=16341
503.94/504.24	c nbDecision=102000 #constraints=16412
506.14/506.41	c restart after 102401 decisions
506.64/506.91	c nbDecision=102500 #constraints=16471
509.54/509.87	c nbDecision=103000 #constraints=16534
512.44/512.76	c nbDecision=103500 #constraints=16584
515.13/515.48	c nbDecision=104000 #constraints=16611
517.84/518.19	c nbDecision=104500 #constraints=16625
520.63/520.98	c nbDecision=105000 #constraints=16660
523.24/523.51	c nbDecision=105500 #constraints=16662
525.83/526.10	c nbDecision=106000 #constraints=16676
528.54/528.84	c nbDecision=106500 #constraints=16722
531.24/531.56	c nbDecision=107000 #constraints=16784
534.03/534.39	c nbDecision=107500 #constraints=16894
536.83/537.12	c nbDecision=108000 #constraints=16988
539.43/539.79	c nbDecision=108500 #constraints=17054
542.03/542.35	c nbDecision=109000 #constraints=17084
544.63/544.99	c nbDecision=109500 #constraints=17142
547.33/547.60	c nbDecision=110000 #constraints=17190
550.02/550.31	c nbDecision=110500 #constraints=17293
552.63/552.90	c nbDecision=111000 #constraints=17337
555.13/555.47	c nbDecision=111500 #constraints=17386
557.73/558.04	c nbDecision=112000 #constraints=17432
560.33/560.63	c nbDecision=112500 #constraints=17447
563.02/563.36	c nbDecision=113000 #constraints=17471
565.92/566.23	c nbDecision=113500 #constraints=17544
568.72/569.01	c nbDecision=114000 #constraints=17597
571.42/571.72	c nbDecision=114500 #constraints=17632
574.12/574.42	c nbDecision=115000 #constraints=17668
576.92/577.20	c nbDecision=115500 #constraints=17727
579.62/579.97	c nbDecision=116000 #constraints=17790
582.31/582.65	c nbDecision=116500 #constraints=17815
585.11/585.48	c nbDecision=117000 #constraints=17870
587.81/588.16	c nbDecision=117500 #constraints=17893
590.41/590.79	c nbDecision=118000 #constraints=17911
593.22/593.59	c nbDecision=118500 #constraints=17953
595.92/596.29	c nbDecision=119000 #constraints=17974
598.62/598.94	c nbDecision=119500 #constraints=17990
601.32/601.69	c nbDecision=120000 #constraints=18035
604.01/604.32	c nbDecision=120500 #constraints=18046
606.82/607.19	c nbDecision=121000 #constraints=18108
609.51/609.84	c nbDecision=121500 #constraints=18126
612.11/612.49	c nbDecision=122000 #constraints=18147
614.71/615.09	c nbDecision=122500 #constraints=18162
617.41/617.76	c nbDecision=123000 #constraints=18180
620.11/620.41	c nbDecision=123500 #constraints=18205
622.70/623.03	c nbDecision=124000 #constraints=18209
625.40/625.70	c nbDecision=124500 #constraints=18230
628.00/628.39	c nbDecision=125000 #constraints=18286
630.70/631.08	c nbDecision=125500 #constraints=18327
633.40/633.70	c nbDecision=126000 #constraints=18351
636.00/636.34	c nbDecision=126500 #constraints=18383
638.60/638.94	c nbDecision=127000 #constraints=18414
641.50/641.81	c nbDecision=127500 #constraints=18498
644.20/644.58	c nbDecision=128000 #constraints=18554
647.10/647.44	c nbDecision=128500 #constraints=18621
649.90/650.23	c nbDecision=129000 #constraints=18658
652.60/652.98	c nbDecision=129500 #constraints=18691
655.40/655.75	c nbDecision=130000 #constraints=18728
658.20/658.50	c nbDecision=130500 #constraints=18762
660.80/661.14	c nbDecision=131000 #constraints=18787
663.50/663.88	c nbDecision=131500 #constraints=18822
666.39/666.78	c nbDecision=132000 #constraints=18892
669.09/669.44	c nbDecision=132500 #constraints=18910
671.89/672.21	c nbDecision=133000 #constraints=18956
674.59/674.92	c nbDecision=133500 #constraints=18983
677.29/677.62	c nbDecision=134000 #constraints=19013
679.99/680.32	c nbDecision=134500 #constraints=19037
682.69/683.04	c nbDecision=135000 #constraints=19072
685.38/685.76	c nbDecision=135500 #constraints=19103
688.08/688.42	c nbDecision=136000 #constraints=19126
690.68/691.06	c nbDecision=136500 #constraints=19143
693.38/693.70	c nbDecision=137000 #constraints=19173
695.98/696.36	c nbDecision=137500 #constraints=19218
698.68/699.03	c nbDecision=138000 #constraints=19250
701.29/701.61	c nbDecision=138500 #constraints=19264
703.99/704.36	c nbDecision=139000 #constraints=19315
706.78/707.16	c nbDecision=139500 #constraints=19369
709.48/709.86	c nbDecision=140000 #constraints=19388
712.18/712.59	c nbDecision=140500 #constraints=19436
714.88/715.27	c nbDecision=141000 #constraints=19485
717.48/717.87	c nbDecision=141500 #constraints=19518
720.18/720.51	c nbDecision=142000 #constraints=19582
722.78/723.13	c nbDecision=142500 #constraints=19618
725.37/725.71	c nbDecision=143000 #constraints=19642
728.17/728.56	c nbDecision=143500 #constraints=19691
731.08/731.43	c nbDecision=144000 #constraints=19704
734.07/734.41	c nbDecision=144500 #constraints=19754
736.77/737.18	c nbDecision=145000 #constraints=19775
739.87/740.23	c nbDecision=145500 #constraints=19814
742.97/743.38	c nbDecision=146000 #constraints=19881
746.07/746.47	c nbDecision=146500 #constraints=19918
749.07/749.42	c nbDecision=147000 #constraints=19933
751.86/752.30	c nbDecision=147500 #constraints=19947
754.76/755.12	c nbDecision=148000 #constraints=19964
757.47/757.87	c nbDecision=148500 #constraints=19983
760.16/760.57	c nbDecision=149000 #constraints=19996
762.97/763.40	c nbDecision=149500 #constraints=20027
765.76/766.16	c nbDecision=150000 #constraints=20048
768.56/768.91	c nbDecision=150500 #constraints=20063
771.26/771.69	c nbDecision=151000 #constraints=20085
774.06/774.41	c nbDecision=151500 #constraints=20089
776.76/777.10	c nbDecision=152000 #constraints=20110
779.57/779.96	c nbDecision=152500 #constraints=20149
782.26/782.62	c nbDecision=153000 #constraints=20152
784.96/785.34	c nbDecision=153500 #constraints=20163
787.76/788.16	c nbDecision=154000 #constraints=20184
790.46/790.83	c nbDecision=154500 #constraints=20207
793.16/793.58	c nbDecision=155000 #constraints=20245
795.76/796.18	c nbDecision=155500 #constraints=20263
798.35/798.78	c nbDecision=156000 #constraints=20273
801.05/801.45	c nbDecision=156500 #constraints=20308
803.65/804.04	c nbDecision=157000 #constraints=20357
806.35/806.71	c nbDecision=157500 #constraints=20423
809.15/809.53	c nbDecision=158000 #constraints=20496
811.95/812.33	c nbDecision=158500 #constraints=20525
814.75/815.17	c nbDecision=159000 #constraints=20560
817.65/818.00	c nbDecision=159500 #constraints=20594
820.35/820.75	c nbDecision=160000 #constraints=20603
823.04/823.50	c nbDecision=160500 #constraints=20617
825.94/826.33	c nbDecision=161000 #constraints=20645
828.74/829.17	c nbDecision=161500 #constraints=20681
831.64/832.00	c nbDecision=162000 #constraints=20706
834.44/834.85	c nbDecision=162500 #constraints=20734
837.24/837.69	c nbDecision=163000 #constraints=20757
840.05/840.45	c nbDecision=163500 #constraints=20773
842.75/843.14	c nbDecision=164000 #constraints=20776
845.45/845.90	c nbDecision=164500 #constraints=20785
848.45/848.84	c nbDecision=165000 #constraints=20832
851.24/851.61	c nbDecision=165500 #constraints=20846
853.84/854.28	c nbDecision=166000 #constraints=20849
856.64/857.02	c nbDecision=166500 #constraints=20858
859.34/859.76	c nbDecision=167000 #constraints=20880
862.14/862.56	c nbDecision=167500 #constraints=20900
864.84/865.24	c nbDecision=168000 #constraints=20908
867.64/868.02	c nbDecision=168500 #constraints=20930
870.34/870.78	c nbDecision=169000 #constraints=20945
873.14/873.52	c nbDecision=169500 #constraints=20965
875.84/876.20	c nbDecision=170000 #constraints=20978
878.44/878.88	c nbDecision=170500 #constraints=20995
881.24/881.68	c nbDecision=171000 #constraints=21022
884.13/884.51	c nbDecision=171500 #constraints=21078
886.83/887.30	c nbDecision=172000 #constraints=21124
889.63/890.05	c nbDecision=172500 #constraints=21161
892.33/892.78	c nbDecision=173000 #constraints=21191
895.23/895.61	c nbDecision=173500 #constraints=21249
898.03/898.46	c nbDecision=174000 #constraints=21268
901.03/901.40	c nbDecision=174500 #constraints=21306
903.73/904.16	c nbDecision=175000 #constraints=21318
906.52/906.94	c nbDecision=175500 #constraints=21328
909.42/909.89	c nbDecision=176000 #constraints=21351
912.32/912.73	c nbDecision=176500 #constraints=21370
915.22/915.60	c nbDecision=177000 #constraints=21408
917.92/918.39	c nbDecision=177500 #constraints=21426
920.72/921.18	c nbDecision=178000 #constraints=21440
923.62/924.02	c nbDecision=178500 #constraints=21457
926.42/926.88	c nbDecision=179000 #constraints=21483
929.22/929.67	c nbDecision=179500 #constraints=21500
932.02/932.43	c nbDecision=180000 #constraints=21505
934.82/935.20	c nbDecision=180500 #constraints=21513
937.52/937.95	c nbDecision=181000 #constraints=21565
940.32/940.75	c nbDecision=181500 #constraints=21635
943.12/943.52	c nbDecision=182000 #constraints=21697
945.91/946.30	c nbDecision=182500 #constraints=21766
948.71/949.14	c nbDecision=183000 #constraints=21846
951.41/951.86	c nbDecision=183500 #constraints=21883
954.31/954.79	c nbDecision=184000 #constraints=21949
957.51/957.97	c nbDecision=184500 #constraints=21992
960.41/960.81	c nbDecision=185000 #constraints=22005
963.41/963.82	c nbDecision=185500 #constraints=22017
966.31/966.78	c nbDecision=186000 #constraints=22020
969.31/969.74	c nbDecision=186500 #constraints=22023
972.21/972.69	c nbDecision=187000 #constraints=22032
975.31/975.71	c nbDecision=187500 #constraints=22066
978.01/978.48	c nbDecision=188000 #constraints=22069
980.91/981.38	c nbDecision=188500 #constraints=22073
983.91/984.33	c nbDecision=189000 #constraints=22097
986.91/987.33	c nbDecision=189500 #constraints=22120
989.70/990.17	c nbDecision=190000 #constraints=22127
992.60/993.02	c nbDecision=190500 #constraints=22130
995.50/995.97	c nbDecision=191000 #constraints=22155
998.31/998.73	c nbDecision=191500 #constraints=22169
1001.10/1001.51	c nbDecision=192000 #constraints=22182
1004.00/1004.43	c nbDecision=192500 #constraints=22205
1006.70/1007.17	c nbDecision=193000 #constraints=22208
1009.59/1010.04	c nbDecision=193500 #constraints=22228
1012.39/1012.84	c nbDecision=194000 #constraints=22233
1015.19/1015.60	c nbDecision=194500 #constraints=22248
1017.89/1018.35	c nbDecision=195000 #constraints=22261
1020.79/1021.22	c nbDecision=195500 #constraints=22303
1023.49/1023.91	c nbDecision=196000 #constraints=22306
1026.19/1026.60	c nbDecision=196500 #constraints=22315
1028.89/1029.36	c nbDecision=197000 #constraints=22319
1031.59/1032.04	c nbDecision=197500 #constraints=22323
1034.29/1034.73	c nbDecision=198000 #constraints=22327
1037.08/1037.52	c nbDecision=198500 #constraints=22334
1039.78/1040.27	c nbDecision=199000 #constraints=22355
1042.48/1042.97	c nbDecision=199500 #constraints=22373
1045.38/1045.81	c nbDecision=200000 #constraints=22401
1048.08/1048.50	c nbDecision=200500 #constraints=22414
1050.78/1051.25	c nbDecision=201000 #constraints=22421
1053.48/1053.99	c nbDecision=201500 #constraints=22444
1056.28/1056.71	c nbDecision=202000 #constraints=22462
1058.88/1059.34	c nbDecision=202500 #constraints=22472
1061.58/1062.02	c nbDecision=203000 #constraints=22491
1064.08/1064.56	c nbDecision=203500 #constraints=22513
1066.58/1067.09	c nbDecision=204000 #constraints=22548
1069.48/1069.90	c nbDecision=204500 #constraints=22566
1071.18/1071.63	c restart after 204801 decisions
1072.28/1072.74	c nbDecision=205000 #constraints=22567
1075.17/1075.61	c nbDecision=205500 #constraints=22578
1078.08/1078.58	c nbDecision=206000 #constraints=22586
1081.08/1081.56	c nbDecision=206500 #constraints=22610
1084.08/1084.54	c nbDecision=207000 #constraints=22619
1087.18/1087.63	c nbDecision=207500 #constraints=22650
1090.18/1090.64	c nbDecision=208000 #constraints=22660
1093.27/1093.73	c nbDecision=208500 #constraints=22694
1096.28/1096.75	c nbDecision=209000 #constraints=22700
1099.07/1099.59	c nbDecision=209500 #constraints=22718
1101.87/1102.35	c nbDecision=210000 #constraints=22732
1104.67/1105.13	c nbDecision=210500 #constraints=22740
1107.67/1108.13	c nbDecision=211000 #constraints=22792
1110.57/1111.02	c nbDecision=211500 #constraints=22836
1113.37/1113.86	c nbDecision=212000 #constraints=22856
1116.17/1116.64	c nbDecision=212500 #constraints=22883
1118.87/1119.36	c nbDecision=213000 #constraints=22911
1121.67/1122.16	c nbDecision=213500 #constraints=22951
1124.37/1124.89	c nbDecision=214000 #constraints=22998
1127.07/1127.56	c nbDecision=214500 #constraints=23061
1129.76/1130.23	c nbDecision=215000 #constraints=23101
1132.46/1132.96	c nbDecision=215500 #constraints=23171
1135.26/1135.77	c nbDecision=216000 #constraints=23179
1138.36/1138.86	c nbDecision=216500 #constraints=23221
1141.16/1141.68	c nbDecision=217000 #constraints=23239
1144.06/1144.55	c nbDecision=217500 #constraints=23254
1146.86/1147.38	c nbDecision=218000 #constraints=23257
1149.95/1150.48	c nbDecision=218500 #constraints=23289
1152.95/1153.40	c nbDecision=219000 #constraints=23303
1155.76/1156.29	c nbDecision=219500 #constraints=23318
1158.76/1159.23	c nbDecision=220000 #constraints=23334
1161.66/1162.12	c nbDecision=220500 #constraints=23345
1164.46/1164.93	c nbDecision=221000 #constraints=23349
1167.46/1167.97	c nbDecision=221500 #constraints=23390
1170.36/1170.83	c nbDecision=222000 #constraints=23402
1173.16/1173.65	c nbDecision=222500 #constraints=23409
1176.05/1176.51	c nbDecision=223000 #constraints=23435
1178.95/1179.47	c nbDecision=223500 #constraints=23484
1181.96/1182.49	c nbDecision=224000 #constraints=23543
1184.85/1185.38	c nbDecision=224500 #constraints=23575
1187.65/1188.16	c nbDecision=225000 #constraints=23600
1190.35/1190.90	c nbDecision=225500 #constraints=23635
1193.14/1193.62	c nbDecision=226000 #constraints=23689
1195.84/1196.35	c nbDecision=226500 #constraints=23750
1198.54/1199.03	c nbDecision=227000 #constraints=23803
1201.45/1201.94	c nbDecision=227500 #constraints=23830
1204.45/1204.91	c nbDecision=228000 #constraints=23849
1207.25/1207.76	c nbDecision=228500 #constraints=23852
1210.25/1210.70	c nbDecision=229000 #constraints=23868
1213.15/1213.61	c nbDecision=229500 #constraints=23882
1216.05/1216.52	c nbDecision=230000 #constraints=23908
1218.94/1219.45	c nbDecision=230500 #constraints=23912
1221.94/1222.40	c nbDecision=231000 #constraints=23922
1224.84/1225.37	c nbDecision=231500 #constraints=23940
1227.74/1228.26	c nbDecision=232000 #constraints=23953
1230.74/1231.23	c nbDecision=232500 #constraints=23972
1233.54/1234.07	c nbDecision=233000 #constraints=23978
1236.64/1237.15	c nbDecision=233500 #constraints=24014
1239.53/1240.05	c nbDecision=234000 #constraints=24026
1242.33/1242.89	c nbDecision=234500 #constraints=24030
1245.23/1245.73	c nbDecision=235000 #constraints=24038
1248.13/1248.69	c nbDecision=235500 #constraints=24058
1251.03/1251.56	c nbDecision=236000 #constraints=24073
1254.03/1254.55	c nbDecision=236500 #constraints=24096
1256.83/1257.39	c nbDecision=237000 #constraints=24114
1259.52/1260.04	c nbDecision=237500 #constraints=24118
1262.23/1262.80	c nbDecision=238000 #constraints=24139
1265.02/1265.56	c nbDecision=238500 #constraints=24168
1267.73/1268.22	c nbDecision=239000 #constraints=24172
1270.42/1270.94	c nbDecision=239500 #constraints=24194
1273.12/1273.61	c nbDecision=240000 #constraints=24214
1275.72/1276.28	c nbDecision=240500 #constraints=24247
1278.42/1278.94	c nbDecision=241000 #constraints=24278
1281.02/1281.57	c nbDecision=241500 #constraints=24300
1283.62/1284.17	c nbDecision=242000 #constraints=24313
1286.52/1287.04	c nbDecision=242500 #constraints=24337
1289.41/1289.94	c nbDecision=243000 #constraints=24402
1292.22/1292.71	c nbDecision=243500 #constraints=24442
1295.12/1295.70	c nbDecision=244000 #constraints=24563
1297.92/1298.47	c nbDecision=244500 #constraints=24606
1300.82/1301.38	c nbDecision=245000 #constraints=24702
1303.71/1304.21	c nbDecision=245500 #constraints=24774
1306.61/1307.16	c nbDecision=246000 #constraints=24795
1309.51/1310.07	c nbDecision=246500 #constraints=24799
1312.41/1312.99	c nbDecision=247000 #constraints=24813
1315.41/1315.91	c nbDecision=247500 #constraints=24824
1318.42/1318.91	c nbDecision=248000 #constraints=24849
1321.21/1321.76	c nbDecision=248500 #constraints=24855
1324.21/1324.77	c nbDecision=249000 #constraints=24882
1327.11/1327.66	c nbDecision=249500 #constraints=24898
1330.11/1330.68	c nbDecision=250000 #constraints=24924
1333.11/1333.64	c nbDecision=250500 #constraints=24938
1336.01/1336.52	c nbDecision=251000 #constraints=24961
1338.90/1339.47	c nbDecision=251500 #constraints=25025
1341.70/1342.29	c nbDecision=252000 #constraints=25063
1344.60/1345.15	c nbDecision=252500 #constraints=25108
1347.40/1347.95	c nbDecision=253000 #constraints=25134
1350.30/1350.83	c nbDecision=253500 #constraints=25212
1353.10/1353.65	c nbDecision=254000 #constraints=25327
1355.90/1356.44	c nbDecision=254500 #constraints=25408
1358.80/1359.36	c nbDecision=255000 #constraints=25446
1361.50/1362.09	c nbDecision=255500 #constraints=25452
1364.30/1364.87	c nbDecision=256000 #constraints=25485
1367.10/1367.65	c nbDecision=256500 #constraints=25509
1369.80/1370.34	c nbDecision=257000 #constraints=25514
1372.60/1373.12	c nbDecision=257500 #constraints=25582
1375.20/1375.77	c nbDecision=258000 #constraints=25608
1377.89/1378.43	c nbDecision=258500 #constraints=25648
1380.89/1381.45	c nbDecision=259000 #constraints=25678
1383.79/1384.38	c nbDecision=259500 #constraints=25721
1386.79/1387.31	c nbDecision=260000 #constraints=25759
1389.69/1390.24	c nbDecision=260500 #constraints=25784
1392.79/1393.34	c nbDecision=261000 #constraints=25839
1395.69/1396.23	c nbDecision=261500 #constraints=25852
1398.39/1398.90	c nbDecision=262000 #constraints=25891
1400.99/1401.59	c nbDecision=262500 #constraints=25928
1403.88/1404.40	c nbDecision=263000 #constraints=26001
1406.48/1407.04	c nbDecision=263500 #constraints=26032
1409.58/1410.15	c nbDecision=264000 #constraints=26044
1412.58/1413.18	c nbDecision=264500 #constraints=26055
1415.58/1416.15	c nbDecision=265000 #constraints=26058
1418.48/1419.02	c nbDecision=265500 #constraints=26061
1421.48/1422.03	c nbDecision=266000 #constraints=26064
1424.48/1425.09	c nbDecision=266500 #constraints=26091
1427.58/1428.12	c nbDecision=267000 #constraints=26100
1430.58/1431.11	c nbDecision=267500 #constraints=26103
1433.67/1434.25	c nbDecision=268000 #constraints=26113
1436.77/1437.30	c nbDecision=268500 #constraints=26125
1439.67/1440.25	c nbDecision=269000 #constraints=26132
1442.78/1443.36	c nbDecision=269500 #constraints=26146
1445.78/1446.37	c nbDecision=270000 #constraints=26154
1448.78/1449.33	c nbDecision=270500 #constraints=26167
1451.67/1452.26	c nbDecision=271000 #constraints=26171
1454.68/1455.28	c nbDecision=271500 #constraints=26187
1457.77/1458.32	c nbDecision=272000 #constraints=26208
1460.77/1461.31	c nbDecision=272500 #constraints=26224
1463.67/1464.25	c nbDecision=273000 #constraints=26233
1466.77/1467.33	c nbDecision=273500 #constraints=26257
1469.67/1470.20	c nbDecision=274000 #constraints=26269
1472.67/1473.23	c nbDecision=274500 #constraints=26284
1475.57/1476.11	c nbDecision=275000 #constraints=26293
1478.56/1479.16	c nbDecision=275500 #constraints=26319
1481.46/1482.08	c nbDecision=276000 #constraints=26325
1484.46/1485.08	c nbDecision=276500 #constraints=26364
1487.46/1488.00	c nbDecision=277000 #constraints=26370
1490.36/1490.96	c nbDecision=277500 #constraints=26389
1493.26/1493.89	c nbDecision=278000 #constraints=26407
1496.56/1497.13	c nbDecision=278500 #constraints=26424
1499.66/1500.21	c nbDecision=279000 #constraints=26449
1502.66/1503.23	c nbDecision=279500 #constraints=26475
1505.76/1506.34	c nbDecision=280000 #constraints=26495
1508.96/1509.57	c nbDecision=280500 #constraints=26532
1512.06/1512.68	c nbDecision=281000 #constraints=26552
1515.16/1515.73	c nbDecision=281500 #constraints=26556
1518.16/1518.74	c nbDecision=282000 #constraints=26568
1521.15/1521.74	c nbDecision=282500 #constraints=26589
1524.35/1524.90	c nbDecision=283000 #constraints=26612
1527.45/1528.00	c nbDecision=283500 #constraints=26615
1530.55/1531.12	c nbDecision=284000 #constraints=26629
1533.45/1534.08	c nbDecision=284500 #constraints=26631
1536.65/1537.23	c nbDecision=285000 #constraints=26646
1539.74/1540.32	c nbDecision=285500 #constraints=26658
1542.84/1543.43	c nbDecision=286000 #constraints=26671
1545.84/1546.45	c nbDecision=286500 #constraints=26701
1548.74/1549.35	c nbDecision=287000 #constraints=26718
1551.75/1552.37	c nbDecision=287500 #constraints=26752
1554.65/1555.27	c nbDecision=288000 #constraints=26764
1557.55/1558.14	c nbDecision=288500 #constraints=26787
1560.45/1561.08	c nbDecision=289000 #constraints=26814
1563.44/1564.00	c nbDecision=289500 #constraints=26838
1566.34/1566.92	c nbDecision=290000 #constraints=26857
1569.24/1569.87	c nbDecision=290500 #constraints=26892
1572.24/1572.83	c nbDecision=291000 #constraints=26911
1575.14/1575.70	c nbDecision=291500 #constraints=26956
1578.04/1578.63	c nbDecision=292000 #constraints=26990
1581.04/1581.64	c nbDecision=292500 #constraints=27004
1584.14/1584.70	c nbDecision=293000 #constraints=27023
1587.23/1587.80	c nbDecision=293500 #constraints=27032
1590.23/1590.80	c nbDecision=294000 #constraints=27035
1593.43/1594.03	c nbDecision=294500 #constraints=27061
1596.43/1597.04	c nbDecision=295000 #constraints=27079
1599.53/1600.15	c nbDecision=295500 #constraints=27092
1602.53/1603.11	c nbDecision=296000 #constraints=27107
1605.53/1606.19	c nbDecision=296500 #constraints=27121
1608.53/1609.16	c nbDecision=297000 #constraints=27125
1611.53/1612.18	c nbDecision=297500 #constraints=27129
1614.42/1615.08	c nbDecision=298000 #constraints=27180
1617.12/1617.78	c nbDecision=298500 #constraints=27226
1619.92/1620.54	c nbDecision=299000 #constraints=27283
1622.63/1623.26	c nbDecision=299500 #constraints=27331
1625.72/1626.38	c nbDecision=300000 #constraints=27347
1628.82/1629.46	c nbDecision=300500 #constraints=27370
1631.83/1632.47	c nbDecision=301000 #constraints=27374
1635.03/1635.69	c nbDecision=301500 #constraints=27402
1638.12/1638.73	c nbDecision=302000 #constraints=27413
1641.12/1641.70	c nbDecision=302500 #constraints=27429
1644.02/1644.69	c nbDecision=303000 #constraints=27448
1647.12/1647.76	c nbDecision=303500 #constraints=27472
1650.32/1650.92	c nbDecision=304000 #constraints=27501
1653.61/1654.24	c nbDecision=304500 #constraints=27522
1656.61/1657.27	c nbDecision=305000 #constraints=27525
1659.61/1660.27	c nbDecision=305500 #constraints=27531
1662.81/1663.47	c nbDecision=306000 #constraints=27545
1665.91/1666.58	c nbDecision=306500 #constraints=27554
1668.91/1669.55	c nbDecision=307000 #constraints=27557
1672.20/1672.83	c nbDecision=307500 #constraints=27597
1675.40/1676.01	c nbDecision=308000 #constraints=27631
1678.40/1679.07	c nbDecision=308500 #constraints=27678
1681.50/1682.20	c nbDecision=309000 #constraints=27754
1684.50/1685.14	c nbDecision=309500 #constraints=27765
1687.51/1688.16	c nbDecision=310000 #constraints=27820
1690.71/1691.38	c nbDecision=310500 #constraints=27839
1693.71/1694.38	c nbDecision=311000 #constraints=27842
1696.71/1697.39	c nbDecision=311500 #constraints=27845
1699.91/1700.60	c nbDecision=312000 #constraints=27859
1703.00/1703.66	c nbDecision=312500 #constraints=27875
1706.10/1706.74	c nbDecision=313000 #constraints=27883
1709.30/1709.91	c nbDecision=313500 #constraints=27910
1712.20/1712.85	c nbDecision=314000 #constraints=27917
1715.10/1715.80	c nbDecision=314500 #constraints=27919
1718.40/1719.10	c nbDecision=315000 #constraints=27936
1721.69/1722.35	c nbDecision=315500 #constraints=27961
1724.79/1725.42	c nbDecision=316000 #constraints=27979
1727.89/1728.56	c nbDecision=316500 #constraints=27988
1731.29/1731.94	c nbDecision=317000 #constraints=28005
1734.39/1735.00	c nbDecision=317500 #constraints=28013
1737.39/1738.04	c nbDecision=318000 #constraints=28032
1740.49/1741.13	c nbDecision=318500 #constraints=28047
1743.69/1744.35	c nbDecision=319000 #constraints=28065
1746.79/1747.41	c nbDecision=319500 #constraints=28082
1749.89/1750.51	c nbDecision=320000 #constraints=28095
1753.08/1753.75	c nbDecision=320500 #constraints=28124
1756.09/1756.75	c nbDecision=321000 #constraints=28127
1759.08/1759.73	c nbDecision=321500 #constraints=28143
1762.08/1762.74	c nbDecision=322000 #constraints=28147
1765.28/1765.92	c nbDecision=322500 #constraints=28172
1768.38/1769.08	c nbDecision=323000 #constraints=28186
1771.38/1772.04	c nbDecision=323500 #constraints=28189
1774.48/1775.14	c nbDecision=324000 #constraints=28198
1777.37/1778.04	c nbDecision=324500 #constraints=28235
1780.18/1780.88	c nbDecision=325000 #constraints=28253
1783.07/1783.75	c nbDecision=325500 #constraints=28284
1785.97/1786.61	c nbDecision=326000 #constraints=28317
1789.17/1789.81	c nbDecision=326500 #constraints=28326
1792.37/1793.01	c nbDecision=327000 #constraints=28329
1795.67/1796.35	c nbDecision=327500 #constraints=28353
1798.87/1799.57	c nbDecision=328000 #constraints=28376
1800.08/1800.71	Received signal 15
1800.08/1800.71	
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	
1800.08/1800.71	c user time= 1799.6 s
1800.08/1800.71	c system time= 0.489925 s
1800.08/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/node19/watcher-356983-1176850543 -o ROOT/results/node19/solver-356983-1176850543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356983-1176850543/instance-356983-1176850543.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 10965
/proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=1620 CPUtime=0
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132971713 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 405 175 126 317 0 84 0

[startup+0.0265299 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 10965
/proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=1880 CPUtime=0.02
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 316 0 0 0 2 0 0 0 18 0 1 0 132971713 1925120 265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714799 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 470 265 127 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101539 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 10965
/proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=3252 CPUtime=0.09
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 132971713 3330048 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 813 585 131 317 0 492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3252

[startup+0.30156 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 10965
/proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=7872 CPUtime=0.29
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 1799 0 0 0 28 1 0 0 19 0 1 0 132971713 8060928 1748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 1968 1748 131 317 0 1647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7872

[startup+0.701604 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 10965
/proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=16888 CPUtime=0.69
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 3965 0 0 0 67 2 0 0 22 0 1 0 132971713 17293312 3914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 4222 3915 131 317 0 3901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16888

[startup+1.50169 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1572104/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=33476 CPUtime=1.49
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 7807 0 0 0 146 3 0 0 25 0 1 0 132971713 34279424 7756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 8369 7756 131 317 0 8048 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33476

[startup+3.10186 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1549256/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=76032 CPUtime=3.09
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 18033 0 0 0 301 8 0 0 25 0 1 0 132971713 77856768 17982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138636 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 19008 17982 137 317 0 18687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76032

[startup+6.30121 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1507784/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=89360 CPUtime=6.29
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 21379 0 0 0 620 9 0 0 25 0 1 0 132971713 91504640 21294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 22340 21294 139 317 0 22019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89360

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1505928/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=91212 CPUtime=12.69
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 21835 0 0 0 1260 9 0 0 25 0 1 0 132971713 93401088 21750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 22803 21750 139 317 0 22482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91212

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1503240/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=93948 CPUtime=25.49
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 22528 0 0 0 2539 10 0 0 25 0 1 0 132971713 96202752 22443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384575 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 23487 22443 139 317 0 23166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93948

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1498824/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=98424 CPUtime=51.06
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 23653 0 0 0 5095 11 0 0 25 0 1 0 132971713 100786176 23568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 24606 23568 139 317 0 24285 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 98424

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1490376/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=106748 CPUtime=102.26
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 25739 0 0 0 10214 12 0 0 25 0 1 0 132971713 109309952 25654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 26687 25654 139 317 0 26366 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106748

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1483464/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=113608 CPUtime=162.24
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 27478 0 0 0 16210 14 0 0 25 0 1 0 132971713 116334592 27393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 28402 27393 139 317 0 28081 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 113608

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1478536/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=118884 CPUtime=222.21
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 28789 0 0 0 22206 15 0 0 25 0 1 0 132971713 121737216 28639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 29721 28639 139 317 0 29400 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 118884

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10966
/proc/meminfo: memFree=1468232/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=129260 CPUtime=282.2
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 31403 0 0 0 28202 18 0 0 25 0 1 0 132971713 132362240 31253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 32315 31253 139 317 0 31994 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 129260

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 4/83 11089
/proc/meminfo: memFree=1456336/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=139472 CPUtime=342.12
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 33958 0 0 0 34190 22 0 0 25 0 1 0 132971713 142819328 33808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10965/statm: 34868 33808 139 317 0 34547 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 139472

[startup+402.301 s]
/proc/loadavg: 1.09 1.02 0.99 2/78 11164
/proc/meminfo: memFree=1449224/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=148580 CPUtime=402.06
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 36054 0 0 0 40182 24 0 0 25 0 1 0 132971713 152145920 35904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 37145 35904 139 317 0 36824 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 148580

[startup+462.302 s]
/proc/loadavg: 1.03 1.01 0.99 2/78 11164
/proc/meminfo: memFree=1443592/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=154044 CPUtime=462.05
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 37395 0 0 0 46179 26 0 0 25 0 1 0 132971713 157741056 37245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 38511 37245 139 317 0 38190 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 154044

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 11164
/proc/meminfo: memFree=1437704/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=159908 CPUtime=522.03
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 38862 0 0 0 52176 27 0 0 25 0 1 0 132971713 163745792 38712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 39977 38712 139 317 0 39656 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 159908

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11164
/proc/meminfo: memFree=1431816/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=166072 CPUtime=582.01
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 40353 0 0 0 58172 29 0 0 25 0 1 0 132971713 170057728 40203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 41518 40203 139 317 0 41197 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 166072

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11164
/proc/meminfo: memFree=1428488/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=169264 CPUtime=642
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 41175 0 0 0 64170 30 0 0 25 0 1 0 132971713 173326336 41025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 42316 41025 139 317 0 41995 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 169264


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

[startup+882.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 11164
/proc/meminfo: memFree=1415432/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=183164 CPUtime=881.93
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 44565 0 0 0 88159 34 0 0 25 0 1 0 132971713 187559936 44286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 45791 44286 139 317 0 45470 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 183164

[startup+942.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 11164
/proc/meminfo: memFree=1412360/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=186196 CPUtime=941.92
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 45373 0 0 0 94157 35 0 0 25 0 1 0 132971713 190664704 45094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 46549 45094 139 317 0 46228 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 186196

[startup+1002.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 11164
/proc/meminfo: memFree=1409864/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=188596 CPUtime=1001.9
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 45976 0 0 0 100154 36 0 0 25 0 1 0 132971713 193122304 45697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 47149 45697 139 317 0 46828 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 188596

[startup+1062.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/78 11164
/proc/meminfo: memFree=1408712/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=189784 CPUtime=1061.88
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 46278 0 0 0 106152 36 0 0 25 0 1 0 132971713 194338816 45999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 47446 45999 139 317 0 47125 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 189784

[startup+1122.3 s]
/proc/loadavg: 1.19 1.08 1.01 2/78 11164
/proc/meminfo: memFree=1406152/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=192288 CPUtime=1121.87
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 46933 0 0 0 112149 38 0 0 25 0 1 0 132971713 196902912 46654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 48072 46654 139 317 0 47751 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 192288

[startup+1182.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/78 11164
/proc/meminfo: memFree=1401736/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=196564 CPUtime=1181.85
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 48006 0 0 0 118146 39 0 0 25 0 1 0 132971713 201281536 47727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 49141 47727 139 317 0 48820 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 196564

[startup+1242.3 s]
/proc/loadavg: 1.11 1.08 1.01 2/78 11164
/proc/meminfo: memFree=1398088/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=200156 CPUtime=1241.83
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 48920 0 0 0 124143 40 0 0 25 0 1 0 132971713 204959744 48641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 50039 48641 139 317 0 49718 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 200156

[startup+1302.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 11164
/proc/meminfo: memFree=1394504/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=203368 CPUtime=1301.82
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 49789 0 0 0 130141 41 0 0 25 0 1 0 132971713 208248832 49510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 50842 49510 139 317 0 50521 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 203368

[startup+1362.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/78 11164
/proc/meminfo: memFree=1390152/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=208208 CPUtime=1361.8
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 50872 0 0 0 136137 43 0 0 25 0 1 0 132971713 213204992 50593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 52052 50593 139 317 0 51731 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 208208

[startup+1422.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 11164
/proc/meminfo: memFree=1387400/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=210852 CPUtime=1421.78
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 51540 0 0 0 142135 43 0 0 25 0 1 0 132971713 215912448 51261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 52713 51261 139 317 0 52392 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 210852

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 11164
/proc/meminfo: memFree=1385928/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=212512 CPUtime=1481.76
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 51924 0 0 0 148132 44 0 0 25 0 1 0 132971713 217612288 51645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 53128 51645 139 317 0 52807 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 212512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 11164
/proc/meminfo: memFree=1383368/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=215404 CPUtime=1541.74
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 52559 0 0 0 154129 45 0 0 25 0 1 0 132971713 220573696 52280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 53851 52280 139 317 0 53530 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 215404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11164
/proc/meminfo: memFree=1380360/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=218332 CPUtime=1601.73
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 53310 0 0 0 160127 46 0 0 25 0 1 0 132971713 223571968 53031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 54583 53031 139 317 0 54262 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 218332

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11164
/proc/meminfo: memFree=1378120/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=220688 CPUtime=1661.71
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 53874 0 0 0 166124 47 0 0 25 0 1 0 132971713 225984512 53595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 55172 53595 139 317 0 54851 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 220688

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11164
/proc/meminfo: memFree=1375816/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=222968 CPUtime=1721.69
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54432 0 0 0 172121 48 0 0 25 0 1 0 132971713 228319232 54153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 55742 54153 139 317 0 55421 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 222968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11164
/proc/meminfo: memFree=1374216/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=224580 CPUtime=1781.67
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54835 0 0 0 178119 48 0 0 25 0 1 0 132971713 229969920 54556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 56145 54556 139 317 0 55824 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 224580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11164
/proc/meminfo: memFree=1373832/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=224988 CPUtime=1800.08
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54943 0 0 0 179960 48 0 0 25 0 1 0 132971713 230387712 54664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 56247 54664 139 317 0 55926 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 224988

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 1.00 2/78 11164
/proc/meminfo: memFree=1373832/2055920 swapFree=4159444/4192956
[pid=10965] ppid=10963 vsize=224988 CPUtime=1800.08
/proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54943 0 0 0 179960 48 0 0 25 0 1 0 132971713 230387712 54664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10965/statm: 56247 54664 139 317 0 55926 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 224988

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.17
CPU user time (s): 1799.65
CPU system time (s): 0.52492
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 224988

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

runsolver used 2.19467 second user time and 4.35734 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue Apr 17 22:55:43 UTC 2007

IDJOB= 356983
IDBENCH= 1722
IDSOLVER= 172
FILE ID= node19/356983-1176850543

PBS_JOBID= 4590201

Free space on /tmp= 66479 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7808a83c255339d45cbd36765fa322a9

RANDOM SEED= 472532105

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1593256 kB
Buffers:         38072 kB
Cached:         350280 kB
SwapCached:       2580 kB
Active:          48620 kB
Inactive:       362828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1593256 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:           10612 kB
Writeback:           0 kB
Mapped:          30832 kB
Slab:            36792 kB
Committed_AS:  2951984 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66479 MiB

End job on node19 on Tue Apr 17 23:25:46 UTC 2007