Trace number 356988

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.1 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc04.opb
MD5SUMa740df3717a1394bed76c2a490fc20be
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 variables146276
Total number of constraints1699
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints1689
Minimum length of a constraint3
Maximum length of a constraint5071
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528446
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...
1.09/1.18	c ...done
1.09/1.18	c #vars=146276 #constraints=2011 hasObjective=yes
1.29/1.39	c res. mode=mod
1.29/1.39	c VSIDS like heuristics
1.29/1.39	c complete search running
3.69/3.75	c restart after 401 decisions
4.29/4.31	c nbDecision=500 #constraints=2018
5.99/6.00	c restart after 801 decisions
7.08/7.11	c nbDecision=1000 #constraints=2033
9.89/9.97	c nbDecision=1500 #constraints=2097
10.49/10.58	c restart after 1601 decisions
12.79/12.82	c nbDecision=2000 #constraints=2146
15.69/15.74	c nbDecision=2500 #constraints=2243
18.48/18.52	c nbDecision=3000 #constraints=2243
19.58/19.66	c restart after 3201 decisions
21.28/21.34	c nbDecision=3500 #constraints=2266
24.19/24.23	c nbDecision=4000 #constraints=2344
26.88/26.99	c nbDecision=4500 #constraints=2344
29.68/29.76	c nbDecision=5000 #constraints=2358
32.48/32.51	c nbDecision=5500 #constraints=2372
35.18/35.29	c nbDecision=6000 #constraints=2414
37.47/37.53	c restart after 6401 decisions
37.97/38.09	c nbDecision=6500 #constraints=2439
40.87/40.95	c nbDecision=7000 #constraints=2478
43.67/43.75	c nbDecision=7500 #constraints=2489
46.47/46.53	c nbDecision=8000 #constraints=2502
49.27/49.32	c nbDecision=8500 #constraints=2547
52.07/52.13	c nbDecision=9000 #constraints=2606
54.87/54.92	c nbDecision=9500 #constraints=2651
57.66/57.73	c nbDecision=10000 #constraints=2698
60.47/60.50	c nbDecision=10500 #constraints=2710
63.16/63.27	c nbDecision=11000 #constraints=2720
65.96/66.04	c nbDecision=11500 #constraints=2745
68.76/68.80	c nbDecision=12000 #constraints=2756
71.46/71.57	c nbDecision=12500 #constraints=2781
73.16/73.24	c restart after 12801 decisions
74.26/74.35	c nbDecision=13000 #constraints=2798
77.15/77.21	c nbDecision=13500 #constraints=2836
79.85/79.99	c nbDecision=14000 #constraints=2836
82.65/82.79	c nbDecision=14500 #constraints=2869
85.45/85.56	c nbDecision=15000 #constraints=2884
88.26/88.36	c nbDecision=15500 #constraints=2945
91.06/91.13	c nbDecision=16000 #constraints=2972
93.76/93.89	c nbDecision=16500 #constraints=2986
96.56/96.68	c nbDecision=17000 #constraints=3002
99.35/99.47	c nbDecision=17500 #constraints=3022
102.16/102.27	c nbDecision=18000 #constraints=3032
104.95/105.03	c nbDecision=18500 #constraints=3034
107.66/107.78	c nbDecision=19000 #constraints=3039
110.45/110.55	c nbDecision=19500 #constraints=3066
113.25/113.32	c nbDecision=20000 #constraints=3086
116.05/116.10	c nbDecision=20500 #constraints=3105
118.85/118.90	c nbDecision=21000 #constraints=3143
121.54/121.68	c nbDecision=21500 #constraints=3152
124.34/124.46	c nbDecision=22000 #constraints=3171
127.14/127.25	c nbDecision=22500 #constraints=3212
129.94/130.02	c nbDecision=23000 #constraints=3239
132.64/132.79	c nbDecision=23500 #constraints=3253
135.44/135.55	c nbDecision=24000 #constraints=3258
138.24/138.32	c nbDecision=24500 #constraints=3261
141.04/141.12	c nbDecision=25000 #constraints=3273
143.73/143.89	c nbDecision=25500 #constraints=3278
144.33/144.45	c restart after 25601 decisions
146.53/146.69	c nbDecision=26000 #constraints=3278
149.44/149.58	c nbDecision=26500 #constraints=3358
152.24/152.35	c nbDecision=27000 #constraints=3364
155.04/155.13	c nbDecision=27500 #constraints=3380
157.84/157.93	c nbDecision=28000 #constraints=3413
160.63/160.71	c nbDecision=28500 #constraints=3429
163.43/163.50	c nbDecision=29000 #constraints=3452
166.13/166.25	c nbDecision=29500 #constraints=3458
168.93/169.00	c nbDecision=30000 #constraints=3463
171.62/171.73	c nbDecision=30500 #constraints=3467
174.40/174.50	c nbDecision=31000 #constraints=3471
177.10/177.29	c nbDecision=31500 #constraints=3478
179.89/180.07	c nbDecision=32000 #constraints=3494
182.69/182.84	c nbDecision=32500 #constraints=3494
185.48/185.61	c nbDecision=33000 #constraints=3496
188.17/188.37	c nbDecision=33500 #constraints=3504
190.96/191.13	c nbDecision=34000 #constraints=3514
193.76/193.90	c nbDecision=34500 #constraints=3519
196.45/196.65	c nbDecision=35000 #constraints=3522
199.24/199.43	c nbDecision=35500 #constraints=3528
202.03/202.20	c nbDecision=36000 #constraints=3528
204.73/204.96	c nbDecision=36500 #constraints=3532
207.53/207.74	c nbDecision=37000 #constraints=3549
210.32/210.51	c nbDecision=37500 #constraints=3555
213.02/213.27	c nbDecision=38000 #constraints=3573
215.82/216.06	c nbDecision=38500 #constraints=3594
218.62/218.84	c nbDecision=39000 #constraints=3606
221.42/221.62	c nbDecision=39500 #constraints=3614
224.11/224.39	c nbDecision=40000 #constraints=3626
226.90/227.15	c nbDecision=40500 #constraints=3633
229.71/229.90	c nbDecision=41000 #constraints=3639
232.41/232.66	c nbDecision=41500 #constraints=3644
235.21/235.43	c nbDecision=42000 #constraints=3659
238.00/238.22	c nbDecision=42500 #constraints=3662
240.80/241.00	c nbDecision=43000 #constraints=3668
243.50/243.78	c nbDecision=43500 #constraints=3673
246.30/246.52	c nbDecision=44000 #constraints=3673
249.00/249.27	c nbDecision=44500 #constraints=3680
251.80/252.02	c nbDecision=45000 #constraints=3690
254.50/254.79	c nbDecision=45500 #constraints=3703
257.30/257.57	c nbDecision=46000 #constraints=3710
260.10/260.35	c nbDecision=46500 #constraints=3714
262.90/263.13	c nbDecision=47000 #constraints=3725
265.69/265.91	c nbDecision=47500 #constraints=3746
268.39/268.65	c nbDecision=48000 #constraints=3748
271.19/271.48	c nbDecision=48500 #constraints=3765
273.99/274.25	c nbDecision=49000 #constraints=3782
276.79/277.04	c nbDecision=49500 #constraints=3802
279.59/279.82	c nbDecision=50000 #constraints=3809
282.29/282.60	c nbDecision=50500 #constraints=3814
285.08/285.36	c nbDecision=51000 #constraints=3821
286.18/286.47	c restart after 51201 decisions
287.89/288.15	c nbDecision=51500 #constraints=3821
290.68/290.97	c nbDecision=52000 #constraints=3847
293.48/293.75	c nbDecision=52500 #constraints=3847
296.28/296.56	c nbDecision=53000 #constraints=3882
299.08/299.33	c nbDecision=53500 #constraints=3885
301.88/302.14	c nbDecision=54000 #constraints=3928
304.68/304.93	c nbDecision=54500 #constraints=3947
307.47/307.70	c nbDecision=55000 #constraints=3967
310.17/310.47	c nbDecision=55500 #constraints=3993
312.97/313.24	c nbDecision=56000 #constraints=4009
315.78/316.01	c nbDecision=56500 #constraints=4018
318.48/318.79	c nbDecision=57000 #constraints=4027
321.28/321.58	c nbDecision=57500 #constraints=4044
324.08/324.37	c nbDecision=58000 #constraints=4058
326.87/327.13	c nbDecision=58500 #constraints=4065
329.57/329.90	c nbDecision=59000 #constraints=4083
332.37/332.65	c nbDecision=59500 #constraints=4091
335.18/335.42	c nbDecision=60000 #constraints=4096
337.87/338.19	c nbDecision=60500 #constraints=4101
340.67/340.96	c nbDecision=61000 #constraints=4101
343.47/343.74	c nbDecision=61500 #constraints=4108
346.27/346.52	c nbDecision=62000 #constraints=4133
349.07/349.32	c nbDecision=62500 #constraints=4144
351.77/352.09	c nbDecision=63000 #constraints=4162
354.56/354.85	c nbDecision=63500 #constraints=4167
357.36/357.64	c nbDecision=64000 #constraints=4183
360.16/360.42	c nbDecision=64500 #constraints=4192
362.96/363.20	c nbDecision=65000 #constraints=4202
365.66/365.97	c nbDecision=65500 #constraints=4215
368.45/368.72	c nbDecision=66000 #constraints=4224
371.25/371.50	c nbDecision=66500 #constraints=4241
373.95/374.28	c nbDecision=67000 #constraints=4261
376.75/377.08	c nbDecision=67500 #constraints=4288
379.55/379.88	c nbDecision=68000 #constraints=4305
382.35/382.64	c nbDecision=68500 #constraints=4305
385.15/385.42	c nbDecision=69000 #constraints=4313
387.85/388.18	c nbDecision=69500 #constraints=4322
390.64/390.94	c nbDecision=70000 #constraints=4331
393.34/393.70	c nbDecision=70500 #constraints=4341
396.24/396.50	c nbDecision=71000 #constraints=4363
398.95/399.30	c nbDecision=71500 #constraints=4378
401.74/402.08	c nbDecision=72000 #constraints=4386
404.54/404.84	c nbDecision=72500 #constraints=4386
407.34/407.62	c nbDecision=73000 #constraints=4401
410.05/410.38	c nbDecision=73500 #constraints=4407
412.85/413.15	c nbDecision=74000 #constraints=4416
415.64/415.95	c nbDecision=74500 #constraints=4444
418.44/418.74	c nbDecision=75000 #constraints=4458
421.24/421.54	c nbDecision=75500 #constraints=4472
424.04/424.32	c nbDecision=76000 #constraints=4480
426.74/427.06	c nbDecision=76500 #constraints=4480
429.54/429.83	c nbDecision=77000 #constraints=4500
432.24/432.60	c nbDecision=77500 #constraints=4509
435.04/435.39	c nbDecision=78000 #constraints=4529
437.84/438.17	c nbDecision=78500 #constraints=4534
440.64/440.99	c nbDecision=79000 #constraints=4559
443.43/443.77	c nbDecision=79500 #constraints=4567
446.24/446.53	c nbDecision=80000 #constraints=4573
449.03/449.30	c nbDecision=80500 #constraints=4588
451.73/452.05	c nbDecision=81000 #constraints=4588
454.53/454.83	c nbDecision=81500 #constraints=4597
457.33/457.63	c nbDecision=82000 #constraints=4600
460.13/460.42	c nbDecision=82500 #constraints=4612
462.93/463.20	c nbDecision=83000 #constraints=4616
465.63/465.97	c nbDecision=83500 #constraints=4625
468.42/468.75	c nbDecision=84000 #constraints=4642
471.22/471.54	c nbDecision=84500 #constraints=4666
474.02/474.33	c nbDecision=85000 #constraints=4691
476.82/477.10	c nbDecision=85500 #constraints=4691
479.52/479.89	c nbDecision=86000 #constraints=4700
482.42/482.71	c nbDecision=86500 #constraints=4716
485.12/485.49	c nbDecision=87000 #constraints=4726
487.91/488.25	c nbDecision=87500 #constraints=4734
490.71/491.02	c nbDecision=88000 #constraints=4745
493.41/493.79	c nbDecision=88500 #constraints=4755
496.21/496.59	c nbDecision=89000 #constraints=4764
499.01/499.35	c nbDecision=89500 #constraints=4764
501.81/502.16	c nbDecision=90000 #constraints=4786
504.61/504.94	c nbDecision=90500 #constraints=4792
507.41/507.70	c nbDecision=91000 #constraints=4800
510.11/510.46	c nbDecision=91500 #constraints=4808
512.90/513.23	c nbDecision=92000 #constraints=4820
515.70/516.02	c nbDecision=92500 #constraints=4831
518.50/518.84	c nbDecision=93000 #constraints=4853
521.30/521.63	c nbDecision=93500 #constraints=4857
524.00/524.39	c nbDecision=94000 #constraints=4857
526.80/527.15	c nbDecision=94500 #constraints=4865
529.60/529.90	c nbDecision=95000 #constraints=4867
532.29/532.68	c nbDecision=95500 #constraints=4875
535.09/535.47	c nbDecision=96000 #constraints=4893
537.89/538.27	c nbDecision=96500 #constraints=4909
540.69/541.06	c nbDecision=97000 #constraints=4916
543.49/543.87	c nbDecision=97500 #constraints=4938
546.29/546.61	c nbDecision=98000 #constraints=4938
549.09/549.44	c nbDecision=98500 #constraints=4974
551.89/552.20	c nbDecision=99000 #constraints=4977
554.69/555.03	c nbDecision=99500 #constraints=5009
557.49/557.85	c nbDecision=100000 #constraints=5025
560.29/560.64	c nbDecision=100500 #constraints=5036
563.09/563.46	c nbDecision=101000 #constraints=5045
565.89/566.23	c nbDecision=101500 #constraints=5053
568.59/568.98	c nbDecision=102000 #constraints=5053
570.89/571.22	c restart after 102401 decisions
571.49/571.80	c nbDecision=102500 #constraints=5060
574.39/574.71	c nbDecision=103000 #constraints=5116
577.19/577.57	c nbDecision=103500 #constraints=5144
580.08/580.41	c nbDecision=104000 #constraints=5170
582.88/583.21	c nbDecision=104500 #constraints=5181
585.68/586.05	c nbDecision=105000 #constraints=5224
588.48/588.84	c nbDecision=105500 #constraints=5236
591.28/591.69	c nbDecision=106000 #constraints=5291
594.28/594.63	c nbDecision=106500 #constraints=5392
597.18/597.59	c nbDecision=107000 #constraints=5493
600.57/600.99	c nbDecision=107500 #constraints=5782
604.77/605.14	c nbDecision=108000 #constraints=6235
609.27/609.61	c nbDecision=108500 #constraints=6691
612.87/613.29	c nbDecision=109000 #constraints=6925
615.77/616.18	c nbDecision=109500 #constraints=6951
618.67/619.09	c nbDecision=110000 #constraints=6977
621.57/621.98	c nbDecision=110500 #constraints=6997
624.37/624.75	c nbDecision=111000 #constraints=6997
627.26/627.62	c nbDecision=111500 #constraints=7018
630.06/630.47	c nbDecision=112000 #constraints=7033
633.06/633.41	c nbDecision=112500 #constraints=7067
635.86/636.28	c nbDecision=113000 #constraints=7082
638.76/639.13	c nbDecision=113500 #constraints=7096
641.66/642.00	c nbDecision=114000 #constraints=7116
644.46/644.88	c nbDecision=114500 #constraints=7136
647.26/647.67	c nbDecision=115000 #constraints=7149
650.15/650.52	c nbDecision=115500 #constraints=7165
652.96/653.39	c nbDecision=116000 #constraints=7184
655.85/656.28	c nbDecision=116500 #constraints=7207
658.85/659.23	c nbDecision=117000 #constraints=7241
661.65/662.10	c nbDecision=117500 #constraints=7257
664.55/664.99	c nbDecision=118000 #constraints=7277
667.45/667.85	c nbDecision=118500 #constraints=7301
670.24/670.61	c nbDecision=119000 #constraints=7301
673.14/673.52	c nbDecision=119500 #constraints=7334
676.05/676.45	c nbDecision=120000 #constraints=7362
678.94/679.33	c nbDecision=120500 #constraints=7376
681.84/682.20	c nbDecision=121000 #constraints=7390
684.75/685.15	c nbDecision=121500 #constraints=7428
687.65/688.02	c nbDecision=122000 #constraints=7454
690.35/690.79	c nbDecision=122500 #constraints=7455
693.24/693.66	c nbDecision=123000 #constraints=7472
696.14/696.55	c nbDecision=123500 #constraints=7496
699.04/699.43	c nbDecision=124000 #constraints=7512
702.04/702.44	c nbDecision=124500 #constraints=7538
704.94/705.36	c nbDecision=125000 #constraints=7566
707.84/708.22	c nbDecision=125500 #constraints=7588
710.64/711.07	c nbDecision=126000 #constraints=7601
713.44/713.84	c nbDecision=126500 #constraints=7602
716.34/716.74	c nbDecision=127000 #constraints=7625
719.33/719.78	c nbDecision=127500 #constraints=7672
722.24/722.66	c nbDecision=128000 #constraints=7686
725.13/725.56	c nbDecision=128500 #constraints=7709
728.03/728.40	c nbDecision=129000 #constraints=7721
730.83/731.26	c nbDecision=129500 #constraints=7737
733.73/734.12	c nbDecision=130000 #constraints=7755
736.53/736.90	c nbDecision=130500 #constraints=7756
739.32/739.79	c nbDecision=131000 #constraints=7770
742.32/742.72	c nbDecision=131500 #constraints=7790
745.22/745.63	c nbDecision=132000 #constraints=7811
748.12/748.52	c nbDecision=132500 #constraints=7830
750.92/751.38	c nbDecision=133000 #constraints=7846
753.82/754.28	c nbDecision=133500 #constraints=7865
756.82/757.22	c nbDecision=134000 #constraints=7890
759.72/760.12	c nbDecision=134500 #constraints=7916
762.51/762.91	c nbDecision=135000 #constraints=7916
765.31/765.78	c nbDecision=135500 #constraints=7930
768.21/768.66	c nbDecision=136000 #constraints=7948
771.11/771.55	c nbDecision=136500 #constraints=7975
774.01/774.41	c nbDecision=137000 #constraints=7990
776.91/777.33	c nbDecision=137500 #constraints=8010
779.81/780.25	c nbDecision=138000 #constraints=8030
782.71/783.15	c nbDecision=138500 #constraints=8047
785.60/786.04	c nbDecision=139000 #constraints=8065
788.40/788.81	c nbDecision=139500 #constraints=8065
791.30/791.70	c nbDecision=140000 #constraints=8083
794.21/794.62	c nbDecision=140500 #constraints=8105
797.11/797.51	c nbDecision=141000 #constraints=8120
800.01/800.47	c nbDecision=141500 #constraints=8150
802.90/803.39	c nbDecision=142000 #constraints=8176
805.81/806.28	c nbDecision=142500 #constraints=8204
808.70/809.14	c nbDecision=143000 #constraints=8224
811.50/811.91	c nbDecision=143500 #constraints=8224
814.40/814.81	c nbDecision=144000 #constraints=8238
817.20/817.69	c nbDecision=144500 #constraints=8250
820.10/820.57	c nbDecision=145000 #constraints=8263
822.99/823.48	c nbDecision=145500 #constraints=8285
825.89/826.39	c nbDecision=146000 #constraints=8313
828.79/829.26	c nbDecision=146500 #constraints=8329
831.69/832.14	c nbDecision=147000 #constraints=8346
834.49/834.91	c nbDecision=147500 #constraints=8346
837.38/837.86	c nbDecision=148000 #constraints=8366
840.28/840.78	c nbDecision=148500 #constraints=8383
843.29/843.74	c nbDecision=149000 #constraints=8402
846.28/846.71	c nbDecision=149500 #constraints=8444
849.29/849.72	c nbDecision=150000 #constraints=8468
852.29/852.70	c nbDecision=150500 #constraints=8500
855.19/855.61	c nbDecision=151000 #constraints=8519
857.98/858.40	c nbDecision=151500 #constraints=8523
860.89/861.37	c nbDecision=152000 #constraints=8548
863.88/864.31	c nbDecision=152500 #constraints=8573
866.78/867.24	c nbDecision=153000 #constraints=8600
869.68/870.15	c nbDecision=153500 #constraints=8625
872.58/873.08	c nbDecision=154000 #constraints=8646
875.47/875.98	c nbDecision=154500 #constraints=8660
878.38/878.88	c nbDecision=155000 #constraints=8675
881.27/881.77	c nbDecision=155500 #constraints=8688
884.07/884.55	c nbDecision=156000 #constraints=8688
886.97/887.46	c nbDecision=156500 #constraints=8706
889.87/890.35	c nbDecision=157000 #constraints=8728
892.87/893.30	c nbDecision=157500 #constraints=8743
895.76/896.22	c nbDecision=158000 #constraints=8759
898.66/899.15	c nbDecision=158500 #constraints=8783
901.57/902.08	c nbDecision=159000 #constraints=8807
904.46/904.97	c nbDecision=159500 #constraints=8821
907.26/907.75	c nbDecision=160000 #constraints=8825
910.16/910.67	c nbDecision=160500 #constraints=8843
913.06/913.59	c nbDecision=161000 #constraints=8859
916.05/916.55	c nbDecision=161500 #constraints=8889
919.06/919.50	c nbDecision=162000 #constraints=8908
921.95/922.47	c nbDecision=162500 #constraints=8919
924.85/925.36	c nbDecision=163000 #constraints=8931
927.75/928.23	c nbDecision=163500 #constraints=8951
930.65/931.16	c nbDecision=164000 #constraints=8971
933.56/934.03	c nbDecision=164500 #constraints=8984
936.35/936.85	c nbDecision=165000 #constraints=8999
939.25/939.79	c nbDecision=165500 #constraints=9016
942.26/942.74	c nbDecision=166000 #constraints=9033
945.15/945.65	c nbDecision=166500 #constraints=9047
948.05/948.53	c nbDecision=167000 #constraints=9060
950.95/951.41	c nbDecision=167500 #constraints=9074
953.85/954.33	c nbDecision=168000 #constraints=9092
956.74/957.26	c nbDecision=168500 #constraints=9107
959.85/960.31	c nbDecision=169000 #constraints=9135
962.64/963.10	c nbDecision=169500 #constraints=9135
965.54/966.09	c nbDecision=170000 #constraints=9157
968.54/969.02	c nbDecision=170500 #constraints=9183
971.44/971.94	c nbDecision=171000 #constraints=9200
974.34/974.88	c nbDecision=171500 #constraints=9227
977.34/977.81	c nbDecision=172000 #constraints=9242
980.24/980.72	c nbDecision=172500 #constraints=9255
983.13/983.64	c nbDecision=173000 #constraints=9269
985.93/986.41	c nbDecision=173500 #constraints=9269
988.83/989.35	c nbDecision=174000 #constraints=9292
991.73/992.26	c nbDecision=174500 #constraints=9309
994.63/995.17	c nbDecision=175000 #constraints=9327
997.53/998.09	c nbDecision=175500 #constraints=9339
1000.53/1001.01	c nbDecision=176000 #constraints=9360
1003.42/1003.95	c nbDecision=176500 #constraints=9376
1006.32/1006.82	c nbDecision=177000 #constraints=9385
1009.23/1009.75	c nbDecision=177500 #constraints=9403
1012.02/1012.52	c nbDecision=178000 #constraints=9403
1015.02/1015.53	c nbDecision=178500 #constraints=9431
1018.02/1018.57	c nbDecision=179000 #constraints=9454
1020.92/1021.49	c nbDecision=179500 #constraints=9467
1023.92/1024.44	c nbDecision=180000 #constraints=9483
1026.83/1027.38	c nbDecision=180500 #constraints=9504
1029.82/1030.32	c nbDecision=181000 #constraints=9525
1032.52/1033.08	c nbDecision=181500 #constraints=9525
1035.52/1036.08	c nbDecision=182000 #constraints=9545
1038.52/1039.03	c nbDecision=182500 #constraints=9561
1041.42/1041.98	c nbDecision=183000 #constraints=9584
1044.62/1045.17	c nbDecision=183500 #constraints=9630
1047.51/1048.06	c nbDecision=184000 #constraints=9643
1050.41/1050.99	c nbDecision=184500 #constraints=9657
1053.41/1053.92	c nbDecision=185000 #constraints=9672
1056.31/1056.85	c nbDecision=185500 #constraints=9685
1059.21/1059.79	c nbDecision=186000 #constraints=9700
1062.01/1062.57	c nbDecision=186500 #constraints=9700
1065.01/1065.53	c nbDecision=187000 #constraints=9715
1067.90/1068.44	c nbDecision=187500 #constraints=9728
1070.81/1071.37	c nbDecision=188000 #constraints=9742
1073.70/1074.28	c nbDecision=188500 #constraints=9755
1076.70/1077.29	c nbDecision=189000 #constraints=9773
1079.80/1080.35	c nbDecision=189500 #constraints=9795
1082.80/1083.37	c nbDecision=190000 #constraints=9817
1085.80/1086.34	c nbDecision=190500 #constraints=9843
1088.60/1089.19	c nbDecision=191000 #constraints=9850
1091.60/1092.13	c nbDecision=191500 #constraints=9882
1094.49/1095.07	c nbDecision=192000 #constraints=9897
1097.59/1098.16	c nbDecision=192500 #constraints=9932
1100.60/1101.11	c nbDecision=193000 #constraints=9947
1103.49/1104.05	c nbDecision=193500 #constraints=9959
1106.39/1106.97	c nbDecision=194000 #constraints=9972
1109.39/1109.92	c nbDecision=194500 #constraints=9989
1112.28/1112.81	c nbDecision=195000 #constraints=10001
1115.08/1115.60	c nbDecision=195500 #constraints=10001
1117.98/1118.54	c nbDecision=196000 #constraints=10015
1120.98/1121.53	c nbDecision=196500 #constraints=10036
1124.08/1124.62	c nbDecision=197000 #constraints=10066
1126.98/1127.59	c nbDecision=197500 #constraints=10097
1130.08/1130.63	c nbDecision=198000 #constraints=10122
1132.98/1133.56	c nbDecision=198500 #constraints=10141
1135.98/1136.55	c nbDecision=199000 #constraints=10158
1138.88/1139.48	c nbDecision=199500 #constraints=10170
1141.68/1142.27	c nbDecision=200000 #constraints=10170
1144.68/1145.21	c nbDecision=200500 #constraints=10182
1147.58/1148.16	c nbDecision=201000 #constraints=10205
1150.58/1151.18	c nbDecision=201500 #constraints=10240
1153.57/1154.13	c nbDecision=202000 #constraints=10260
1156.47/1157.07	c nbDecision=202500 #constraints=10272
1159.47/1160.03	c nbDecision=203000 #constraints=10293
1162.47/1163.01	c nbDecision=203500 #constraints=10308
1165.37/1165.95	c nbDecision=204000 #constraints=10323
1168.27/1168.87	c nbDecision=204500 #constraints=10337
1169.97/1170.57	c restart after 204801 decisions
1171.37/1171.93	c nbDecision=205000 #constraints=10346
1174.56/1175.13	c nbDecision=205500 #constraints=10411
1177.47/1178.02	c nbDecision=206000 #constraints=10411
1180.36/1180.97	c nbDecision=206500 #constraints=10418
1183.56/1184.18	c nbDecision=207000 #constraints=10431
1186.66/1187.24	c nbDecision=207500 #constraints=10520
1189.96/1190.51	c nbDecision=208000 #constraints=10568
1192.86/1193.44	c nbDecision=208500 #constraints=10609
1196.27/1196.83	c nbDecision=209000 #constraints=10686
1199.06/1199.67	c nbDecision=209500 #constraints=10699
1201.96/1202.57	c nbDecision=210000 #constraints=10723
1204.96/1205.59	c nbDecision=210500 #constraints=10764
1207.85/1208.40	c nbDecision=211000 #constraints=10773
1210.65/1211.24	c nbDecision=211500 #constraints=10782
1213.55/1214.16	c nbDecision=212000 #constraints=10812
1216.55/1217.12	c nbDecision=212500 #constraints=10846
1219.55/1220.10	c nbDecision=213000 #constraints=10888
1222.45/1223.02	c nbDecision=213500 #constraints=10922
1225.35/1225.93	c nbDecision=214000 #constraints=10949
1228.54/1229.12	c nbDecision=214500 #constraints=10979
1231.74/1232.31	c nbDecision=215000 #constraints=11008
1234.54/1235.18	c nbDecision=215500 #constraints=11025
1237.54/1238.12	c nbDecision=216000 #constraints=11062
1240.84/1241.40	c nbDecision=216500 #constraints=11092
1243.94/1244.55	c nbDecision=217000 #constraints=11107
1247.13/1247.78	c nbDecision=217500 #constraints=11136
1250.33/1250.97	c nbDecision=218000 #constraints=11162
1253.23/1253.84	c nbDecision=218500 #constraints=11178
1256.03/1256.69	c nbDecision=219000 #constraints=11182
1262.03/1262.64	c nbDecision=219500 #constraints=11393
1268.33/1268.96	c nbDecision=220000 #constraints=11693
1271.13/1271.79	c nbDecision=220500 #constraints=11702
1274.03/1274.66	c nbDecision=221000 #constraints=11716
1276.93/1277.57	c nbDecision=221500 #constraints=11731
1280.33/1280.98	c nbDecision=222000 #constraints=11774
1285.03/1285.62	c nbDecision=222500 #constraints=11922
1288.22/1288.80	c nbDecision=223000 #constraints=11947
1291.12/1291.77	c nbDecision=223500 #constraints=11984
1294.12/1294.71	c nbDecision=224000 #constraints=12011
1296.92/1297.56	c nbDecision=224500 #constraints=12022
1299.82/1300.44	c nbDecision=225000 #constraints=12026
1302.72/1303.31	c nbDecision=225500 #constraints=12030
1305.62/1306.22	c nbDecision=226000 #constraints=12047
1308.42/1309.07	c nbDecision=226500 #constraints=12052
1311.31/1311.94	c nbDecision=227000 #constraints=12056
1314.21/1314.84	c nbDecision=227500 #constraints=12084
1317.11/1317.72	c nbDecision=228000 #constraints=12088
1320.01/1320.65	c nbDecision=228500 #constraints=12106
1323.21/1323.89	c nbDecision=229000 #constraints=12129
1326.41/1327.05	c nbDecision=229500 #constraints=12143
1329.31/1329.98	c nbDecision=230000 #constraints=12168
1332.20/1332.88	c nbDecision=230500 #constraints=12185
1335.41/1336.08	c nbDecision=231000 #constraints=12200
1338.31/1339.00	c nbDecision=231500 #constraints=12212
1341.41/1342.02	c nbDecision=232000 #constraints=12273
1345.10/1345.78	c nbDecision=232500 #constraints=12550
1348.40/1349.01	c nbDecision=233000 #constraints=12577
1351.41/1352.08	c nbDecision=233500 #constraints=12637
1354.31/1354.99	c nbDecision=234000 #constraints=12652
1357.30/1357.96	c nbDecision=234500 #constraints=12678
1360.20/1360.82	c nbDecision=235000 #constraints=12689
1363.10/1363.70	c nbDecision=235500 #constraints=12693
1366.00/1366.60	c nbDecision=236000 #constraints=12707
1368.90/1369.52	c nbDecision=236500 #constraints=12719
1371.70/1372.39	c nbDecision=237000 #constraints=12725
1374.70/1375.31	c nbDecision=237500 #constraints=12748
1377.60/1378.27	c nbDecision=238000 #constraints=12776
1380.49/1381.18	c nbDecision=238500 #constraints=12786
1383.49/1384.13	c nbDecision=239000 #constraints=12800
1386.29/1386.99	c nbDecision=239500 #constraints=12803
1389.49/1390.19	c nbDecision=240000 #constraints=12822
1392.69/1393.37	c nbDecision=240500 #constraints=12848
1395.59/1396.25	c nbDecision=241000 #constraints=12851
1398.59/1399.26	c nbDecision=241500 #constraints=12874
1401.48/1402.17	c nbDecision=242000 #constraints=12880
1404.38/1405.06	c nbDecision=242500 #constraints=12887
1407.18/1407.87	c nbDecision=243000 #constraints=12887
1410.08/1410.72	c nbDecision=243500 #constraints=12890
1412.88/1413.59	c nbDecision=244000 #constraints=12893
1415.87/1416.53	c nbDecision=244500 #constraints=12912
1418.87/1419.54	c nbDecision=245000 #constraints=12950
1421.77/1422.48	c nbDecision=245500 #constraints=12963
1424.67/1425.36	c nbDecision=246000 #constraints=12966
1427.57/1428.25	c nbDecision=246500 #constraints=12983
1430.67/1431.38	c nbDecision=247000 #constraints=13002
1433.57/1434.30	c nbDecision=247500 #constraints=13019
1436.57/1437.28	c nbDecision=248000 #constraints=13047
1439.57/1440.20	c nbDecision=248500 #constraints=13058
1442.47/1443.17	c nbDecision=249000 #constraints=13080
1445.36/1446.08	c nbDecision=249500 #constraints=13092
1448.56/1449.26	c nbDecision=250000 #constraints=13106
1451.46/1452.13	c nbDecision=250500 #constraints=13110
1454.76/1455.42	c nbDecision=251000 #constraints=13146
1457.56/1458.28	c nbDecision=251500 #constraints=13155
1460.46/1461.17	c nbDecision=252000 #constraints=13158
1463.36/1464.09	c nbDecision=252500 #constraints=13168
1466.56/1467.23	c nbDecision=253000 #constraints=13186
1469.85/1470.57	c nbDecision=253500 #constraints=13212
1473.06/1473.72	c nbDecision=254000 #constraints=13225
1475.86/1476.57	c nbDecision=254500 #constraints=13231
1478.76/1479.46	c nbDecision=255000 #constraints=13234
1481.76/1482.47	c nbDecision=255500 #constraints=13243
1484.66/1485.36	c nbDecision=256000 #constraints=13247
1487.66/1488.31	c nbDecision=256500 #constraints=13261
1490.45/1491.18	c nbDecision=257000 #constraints=13265
1493.65/1494.30	c nbDecision=257500 #constraints=13277
1496.65/1497.37	c nbDecision=258000 #constraints=13323
1499.55/1500.27	c nbDecision=258500 #constraints=13327
1502.55/1503.20	c nbDecision=259000 #constraints=13339
1505.45/1506.12	c nbDecision=259500 #constraints=13354
1508.55/1509.29	c nbDecision=260000 #constraints=13372
1511.65/1512.40	c nbDecision=260500 #constraints=13382
1514.54/1515.27	c nbDecision=261000 #constraints=13386
1517.54/1518.26	c nbDecision=261500 #constraints=13397
1520.44/1521.16	c nbDecision=262000 #constraints=13401
1523.34/1524.09	c nbDecision=262500 #constraints=13414
1526.24/1526.99	c nbDecision=263000 #constraints=13432
1529.44/1530.16	c nbDecision=263500 #constraints=13446
1532.34/1533.04	c nbDecision=264000 #constraints=13450
1535.23/1535.94	c nbDecision=264500 #constraints=13456
1538.14/1538.85	c nbDecision=265000 #constraints=13463
1541.03/1541.77	c nbDecision=265500 #constraints=13466
1544.23/1544.96	c nbDecision=266000 #constraints=13486
1547.43/1548.16	c nbDecision=266500 #constraints=13505
1550.33/1551.04	c nbDecision=267000 #constraints=13511
1553.42/1554.20	c nbDecision=267500 #constraints=13534
1556.42/1557.12	c nbDecision=268000 #constraints=13556
1559.32/1560.03	c nbDecision=268500 #constraints=13564
1562.22/1562.96	c nbDecision=269000 #constraints=13577
1565.22/1565.92	c nbDecision=269500 #constraints=13600
1568.12/1568.85	c nbDecision=270000 #constraints=13614
1571.02/1571.73	c nbDecision=270500 #constraints=13618
1573.92/1574.62	c nbDecision=271000 #constraints=13624
1576.81/1577.51	c nbDecision=271500 #constraints=13628
1579.71/1580.43	c nbDecision=272000 #constraints=13645
1582.61/1583.37	c nbDecision=272500 #constraints=13661
1585.62/1586.32	c nbDecision=273000 #constraints=13680
1588.42/1589.19	c nbDecision=273500 #constraints=13683
1591.32/1592.08	c nbDecision=274000 #constraints=13690
1594.22/1594.98	c nbDecision=274500 #constraints=13697
1597.21/1597.90	c nbDecision=275000 #constraints=13706
1600.11/1600.81	c nbDecision=275500 #constraints=13711
1603.31/1604.00	c nbDecision=276000 #constraints=13728
1606.21/1606.93	c nbDecision=276500 #constraints=13744
1609.11/1609.89	c nbDecision=277000 #constraints=13769
1612.10/1612.83	c nbDecision=277500 #constraints=13787
1615.00/1615.71	c nbDecision=278000 #constraints=13800
1617.90/1618.61	c nbDecision=278500 #constraints=13804
1621.10/1621.80	c nbDecision=279000 #constraints=13824
1624.01/1624.72	c nbDecision=279500 #constraints=13828
1627.00/1627.75	c nbDecision=280000 #constraints=13851
1629.90/1630.64	c nbDecision=280500 #constraints=13855
1633.10/1633.86	c nbDecision=281000 #constraints=13870
1636.00/1636.73	c nbDecision=281500 #constraints=13874
1638.89/1639.68	c nbDecision=282000 #constraints=13889
1641.89/1642.63	c nbDecision=282500 #constraints=13902
1644.80/1645.53	c nbDecision=283000 #constraints=13906
1647.69/1648.42	c nbDecision=283500 #constraints=13911
1650.59/1651.31	c nbDecision=284000 #constraints=13916
1653.39/1654.19	c nbDecision=284500 #constraints=13920
1656.49/1657.21	c nbDecision=285000 #constraints=13950
1659.38/1660.12	c nbDecision=285500 #constraints=13953
1662.39/1663.11	c nbDecision=286000 #constraints=13964
1665.28/1666.01	c nbDecision=286500 #constraints=13970
1668.08/1668.82	c nbDecision=287000 #constraints=13970
1670.89/1671.69	c nbDecision=287500 #constraints=13974
1673.79/1674.57	c nbDecision=288000 #constraints=13977
1676.99/1677.79	c nbDecision=288500 #constraints=14002
1679.88/1680.69	c nbDecision=289000 #constraints=14014
1682.88/1683.65	c nbDecision=289500 #constraints=14023
1685.78/1686.55	c nbDecision=290000 #constraints=14029
1688.68/1689.46	c nbDecision=290500 #constraints=14038
1691.58/1692.36	c nbDecision=291000 #constraints=14045
1694.48/1695.25	c nbDecision=291500 #constraints=14048
1697.38/1698.16	c nbDecision=292000 #constraints=14051
1700.28/1701.07	c nbDecision=292500 #constraints=14055
1703.28/1704.01	c nbDecision=293000 #constraints=14065
1706.07/1706.82	c nbDecision=293500 #constraints=14065
1708.97/1709.71	c nbDecision=294000 #constraints=14072
1711.77/1712.59	c nbDecision=294500 #constraints=14076
1714.77/1715.52	c nbDecision=295000 #constraints=14088
1717.67/1718.43	c nbDecision=295500 #constraints=14092
1720.57/1721.38	c nbDecision=296000 #constraints=14105
1723.47/1724.28	c nbDecision=296500 #constraints=14108
1726.37/1727.18	c nbDecision=297000 #constraints=14115
1729.26/1730.03	c nbDecision=297500 #constraints=14119
1732.16/1732.94	c nbDecision=298000 #constraints=14131
1735.07/1735.85	c nbDecision=298500 #constraints=14134
1737.96/1738.79	c nbDecision=299000 #constraints=14144
1741.06/1741.80	c nbDecision=299500 #constraints=14172
1743.96/1744.75	c nbDecision=300000 #constraints=14185
1746.86/1747.62	c nbDecision=300500 #constraints=14188
1750.05/1750.85	c nbDecision=301000 #constraints=14214
1752.95/1753.78	c nbDecision=301500 #constraints=14229
1755.86/1756.69	c nbDecision=302000 #constraints=14233
1758.85/1759.63	c nbDecision=302500 #constraints=14237
1761.75/1762.56	c nbDecision=303000 #constraints=14245
1764.65/1765.46	c nbDecision=303500 #constraints=14248
1767.55/1768.38	c nbDecision=304000 #constraints=14259
1770.44/1771.20	c nbDecision=304500 #constraints=14260
1773.64/1774.44	c nbDecision=305000 #constraints=14280
1776.54/1777.34	c nbDecision=305500 #constraints=14283
1779.44/1780.26	c nbDecision=306000 #constraints=14288
1782.34/1783.18	c nbDecision=306500 #constraints=14291
1785.24/1786.07	c nbDecision=307000 #constraints=14294
1788.14/1788.98	c nbDecision=307500 #constraints=14303
1791.04/1791.86	c nbDecision=308000 #constraints=14309
1793.93/1794.77	c nbDecision=308500 #constraints=14327
1796.83/1797.68	c nbDecision=309000 #constraints=14333
1799.84/1800.62	c nbDecision=309500 #constraints=14342
1800.04/1800.80	Received signal 15
1800.04/1800.80	
1800.04/1800.80	s UNKNOWN
1800.04/1800.80	
1800.04/1800.80	c user time= 1799.77 s
1800.04/1800.80	c system time= 0.279957 s
1800.04/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node46/watcher-356988-1176850687 -o ROOT/results/node46/solver-356988-1176850687 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.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: 1.08 1.00 1.00 3/78 8116
/proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=1468 CPUtime=0
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 39752137 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 367 165 130 317 0 46 0

[startup+0.083895 s]
/proc/loadavg: 1.08 1.00 1.00 3/78 8116
/proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=2960 CPUtime=0.08
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 551 0 0 0 8 0 0 0 18 0 1 0 39752137 3031040 533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 740 533 131 317 0 419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2960

[startup+0.101888 s]
/proc/loadavg: 1.08 1.00 1.00 3/78 8116
/proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=3380 CPUtime=0.09
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 39752137 3461120 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 845 619 131 317 0 524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3380

[startup+0.301926 s]
/proc/loadavg: 1.08 1.00 1.00 3/78 8116
/proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=6844 CPUtime=0.29
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 1513 0 0 0 29 0 0 0 19 0 1 0 39752137 7008256 1495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 1711 1495 131 317 0 1390 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6844

[startup+0.702 s]
/proc/loadavg: 1.08 1.00 1.00 3/78 8116
/proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=14276 CPUtime=0.69
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 3314 0 0 0 68 1 0 0 22 0 1 0 39752137 14618624 3296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 3569 3296 131 317 0 3248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14276

[startup+1.50115 s]
/proc/loadavg: 1.08 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1429504/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=42864 CPUtime=1.49
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10083 0 0 0 145 4 0 0 25 0 1 0 39752137 43892736 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 10716 10065 138 317 0 10395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42864

[startup+3.10144 s]
/proc/loadavg: 1.08 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1408512/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=42864 CPUtime=3.09
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10084 0 0 0 305 4 0 0 25 0 1 0 39752137 43892736 10066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 10716 10066 138 317 0 10395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42864

[startup+6.30104 s]
/proc/loadavg: 1.07 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1408448/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=43076 CPUtime=6.28
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10109 0 0 0 624 4 0 0 25 0 1 0 39752137 44109824 10091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 10769 10091 139 317 0 10448 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43076

[startup+12.7012 s]
/proc/loadavg: 1.07 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1408000/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=43464 CPUtime=12.69
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10232 0 0 0 1264 5 0 0 25 0 1 0 39752137 44507136 10214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 10866 10214 139 317 0 10545 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43464

[startup+25.5016 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1406784/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=44776 CPUtime=25.48
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10551 0 0 0 2543 5 0 0 25 0 1 0 39752137 45850624 10533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 11194 10533 139 317 0 10873 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44776

[startup+51.1013 s]
/proc/loadavg: 1.03 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1406080/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=45564 CPUtime=51.07
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10780 0 0 0 5102 5 0 0 25 0 1 0 39752137 46657536 10762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 11391 10762 170 317 0 11070 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45564

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1404352/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=47400 CPUtime=102.26
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11222 0 0 0 10220 6 0 0 25 0 1 0 39752137 48537600 11204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 11850 11204 170 317 0 11529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47400

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8117
/proc/meminfo: memFree=1402752/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=48840 CPUtime=162.23
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11611 0 0 0 16216 7 0 0 25 0 1 0 39752137 50012160 11593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 12210 11593 170 317 0 11889 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48840

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 8295
/proc/meminfo: memFree=1400904/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=49500 CPUtime=222.12
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11757 0 0 0 22205 7 0 0 25 0 1 0 39752137 50688000 11739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 12375 11739 170 317 0 12054 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 49500

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1401344/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=50496 CPUtime=282.09
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11990 0 0 0 28201 8 0 0 25 0 1 0 39752137 51707904 11972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 12624 11972 170 317 0 12303 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 50496

[startup+342.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/79 8315
/proc/meminfo: memFree=1400128/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=51544 CPUtime=342.07
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12256 0 0 0 34198 9 0 0 25 0 1 0 39752137 52781056 12238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 12886 12238 170 317 0 12565 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 51544

[startup+402.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 8315
/proc/meminfo: memFree=1398656/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=53128 CPUtime=402.04
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12635 0 0 0 40195 9 0 0 25 0 1 0 39752137 54403072 12617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 13282 12617 170 317 0 12961 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 53128

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1397888/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=53784 CPUtime=462.03
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12828 0 0 0 46193 10 0 0 25 0 1 0 39752137 55074816 12810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 13446 12810 170 317 0 13125 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 53784

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1396736/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=54976 CPUtime=522
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 13122 0 0 0 52190 10 0 0 25 0 1 0 39752137 56295424 13104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 13744 13104 170 317 0 13423 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 54976

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1395328/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=56284 CPUtime=581.98
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 13462 0 0 0 58187 11 0 0 25 0 1 0 39752137 57634816 13444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 14071 13444 170 317 0 13750 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 56284

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1385344/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=66388 CPUtime=641.96
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 15984 0 0 0 64182 14 0 0 25 0 1 0 39752137 67981312 15966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 16597 15966 170 317 0 16276 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 66388


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1380160/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=72284 CPUtime=821.89
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 17352 0 0 0 82173 16 0 0 25 0 1 0 39752137 74018816 17283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 18071 17283 170 317 0 17750 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 72284

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1378368/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=74052 CPUtime=881.87
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 17787 0 0 0 88170 17 0 0 25 0 1 0 39752137 75829248 17718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 18513 17718 170 317 0 18192 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 74052

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1377152/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=75260 CPUtime=941.85
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18122 0 0 0 94167 18 0 0 25 0 1 0 39752137 77066240 18053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 18815 18053 170 317 0 18494 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 75260

[startup+1002.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/79 8315
/proc/meminfo: memFree=1375744/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=76448 CPUtime=1001.82
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18459 0 0 0 100164 18 0 0 25 0 1 0 39752137 78282752 18390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 19112 18390 170 317 0 18791 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 76448

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/79 8315
/proc/meminfo: memFree=1374400/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=77768 CPUtime=1061.81
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18824 0 0 0 106162 19 0 0 25 0 1 0 39752137 79634432 18755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 19442 18755 170 317 0 19121 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 77768

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/79 8315
/proc/meminfo: memFree=1373056/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=79224 CPUtime=1121.78
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 19165 0 0 0 112159 19 0 0 25 0 1 0 39752137 81125376 19096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 19806 19096 170 317 0 19485 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 79224

[startup+1182.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/79 8315
/proc/meminfo: memFree=1370048/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=83468 CPUtime=1181.76
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 19892 0 0 0 118156 20 0 0 25 0 1 0 39752137 85471232 19823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 20867 19823 170 317 0 20546 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 83468

[startup+1242.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/79 8315
/proc/meminfo: memFree=1366912/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=86744 CPUtime=1241.74
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 20718 0 0 0 124153 21 0 0 25 0 1 0 39752137 88825856 20649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 21686 20649 170 317 0 21365 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 86744

[startup+1302.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/79 8315
/proc/meminfo: memFree=1362432/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=90872 CPUtime=1301.72
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 21804 0 0 0 130150 22 0 0 25 0 1 0 39752137 93052928 21735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 22718 21735 170 317 0 22397 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 90872

[startup+1362.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/79 8315
/proc/meminfo: memFree=1358912/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=94428 CPUtime=1361.7
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 22707 0 0 0 136146 24 0 0 25 0 1 0 39752137 96694272 22638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 23607 22638 170 317 0 23286 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 94428

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 8315
/proc/meminfo: memFree=1357632/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=95736 CPUtime=1421.68
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23036 0 0 0 142144 24 0 0 25 0 1 0 39752137 98033664 22967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 23934 22967 170 317 0 23613 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 95736

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 8315
/proc/meminfo: memFree=1356096/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=97480 CPUtime=1481.66
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23438 0 0 0 148141 25 0 0 25 0 1 0 39752137 99819520 23369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 24370 23369 170 317 0 24049 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 97480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 8315
/proc/meminfo: memFree=1354880/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=98700 CPUtime=1541.63
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23752 0 0 0 154138 25 0 0 25 0 1 0 39752137 101068800 23683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 24675 23683 170 317 0 24354 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 98700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 8315
/proc/meminfo: memFree=1353856/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=99740 CPUtime=1601.61
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24011 0 0 0 160135 26 0 0 25 0 1 0 39752137 102133760 23942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 24935 23942 170 317 0 24614 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 99740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1352512/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=101236 CPUtime=1661.58
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24361 0 0 0 166132 26 0 0 25 0 1 0 39752137 103665664 24292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 25309 24292 170 317 0 24988 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 101236

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1351808/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=101916 CPUtime=1721.57
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24529 0 0 0 172130 27 0 0 25 0 1 0 39752137 104361984 24460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 25479 24460 170 317 0 25158 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 101916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1351040/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=102848 CPUtime=1781.54
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24731 0 0 0 178127 27 0 0 25 0 1 0 39752137 105316352 24662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 25712 24662 170 317 0 25391 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 102848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 8315
/proc/meminfo: memFree=1350848/2055920 swapFree=4184556/4192956
[pid=8116] ppid=8114 vsize=102976 CPUtime=1800.04
/proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24785 0 0 0 179977 27 0 0 25 0 1 0 39752137 105447424 24716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8116/statm: 25744 24716 170 317 0 25423 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 102976

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

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

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.295955
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 102976

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

runsolver used 1.89171 second user time and 4.71228 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue Apr 17 22:58:12 UTC 2007

IDJOB= 356988
IDBENCH= 1731
IDSOLVER= 172
FILE ID= node46/356988-1176850687

PBS_JOBID= 4590203

Free space on /tmp= 66150 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb
COMMAND LINE= oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-356988-1176850687 -o ROOT/results/node46/solver-356988-1176850687 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a740df3717a1394bed76c2a490fc20be

RANDOM SEED= 564837998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1448864 kB
Buffers:         43548 kB
Cached:         367376 kB
SwapCached:       3060 kB
Active:         331076 kB
Inactive:       220552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1448864 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            6208 kB
Writeback:           0 kB
Mapped:         155388 kB
Slab:            40740 kB
Committed_AS:  1892764 kB
PageTables:       1988 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= 66150 MiB

End job on node46 on Tue Apr 17 23:28:14 UTC 2007