Trace number 356922

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.15 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-greenbea.opb
MD5SUM542c2b53b45e753224c38b905fee77fb
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 variables155427
Total number of constraints2674
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2674
Minimum length of a constraint11
Maximum length of a constraint7267
Number of terms in the objective function 15205
Biggest coefficient in the objective function 24902
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 537080
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 537080
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.94	c ...done
2.89/2.94	c #vars=155427 #constraints=4867 hasObjective=yes
3.68/3.71	c res. mode=mod
3.68/3.71	c VSIDS like heuristics
3.68/3.71	c complete search running
5.98/6.05	c restart after 401 decisions
6.38/6.46	c nbDecision=500 #constraints=4946
7.89/7.91	c restart after 801 decisions
8.69/8.78	c nbDecision=1000 #constraints=5036
10.98/11.04	c nbDecision=1500 #constraints=5098
11.48/11.51	c restart after 1601 decisions
13.28/13.35	c nbDecision=2000 #constraints=5161
15.78/15.83	c nbDecision=2500 #constraints=5322
18.18/18.21	c nbDecision=3000 #constraints=5420
19.08/19.13	c restart after 3201 decisions
20.47/20.51	c nbDecision=3500 #constraints=5479
22.77/22.87	c nbDecision=4000 #constraints=5547
25.18/25.24	c nbDecision=4500 #constraints=5621
27.58/27.65	c nbDecision=5000 #constraints=5700
29.97/30.09	c nbDecision=5500 #constraints=5798
32.37/32.42	c nbDecision=6000 #constraints=5834
34.17/34.28	c restart after 6401 decisions
34.57/34.68	c nbDecision=6500 #constraints=5855
36.97/37.07	c nbDecision=7000 #constraints=5926
39.38/39.42	c nbDecision=7500 #constraints=5993
41.67/41.74	c nbDecision=8000 #constraints=6040
44.07/44.17	c nbDecision=8500 #constraints=6146
46.47/46.52	c nbDecision=9000 #constraints=6186
48.87/48.99	c nbDecision=9500 #constraints=6296
51.36/51.44	c nbDecision=10000 #constraints=6384
53.76/53.85	c nbDecision=10500 #constraints=6456
56.17/56.22	c nbDecision=11000 #constraints=6523
58.56/58.60	c nbDecision=11500 #constraints=6596
60.86/60.97	c nbDecision=12000 #constraints=6667
63.26/63.36	c nbDecision=12500 #constraints=6748
64.76/64.85	c restart after 12801 decisions
65.66/65.74	c nbDecision=13000 #constraints=6830
68.17/68.22	c nbDecision=13500 #constraints=6914
70.56/70.61	c nbDecision=14000 #constraints=6970
72.96/73.03	c nbDecision=14500 #constraints=7043
75.36/75.46	c nbDecision=15000 #constraints=7122
77.76/77.84	c nbDecision=15500 #constraints=7170
80.26/80.30	c nbDecision=16000 #constraints=7258
82.56/82.64	c nbDecision=16500 #constraints=7289
84.95/85.09	c nbDecision=17000 #constraints=7367
87.55/87.61	c nbDecision=17500 #constraints=7475
89.95/90.03	c nbDecision=18000 #constraints=7527
92.35/92.41	c nbDecision=18500 #constraints=7560
94.75/94.82	c nbDecision=19000 #constraints=7618
97.15/97.30	c nbDecision=19500 #constraints=7704
99.55/99.62	c nbDecision=20000 #constraints=7734
101.85/101.96	c nbDecision=20500 #constraints=7778
104.25/104.37	c nbDecision=21000 #constraints=7842
106.75/106.81	c nbDecision=21500 #constraints=7908
109.15/109.20	c nbDecision=22000 #constraints=7967
111.54/111.61	c nbDecision=22500 #constraints=8039
113.84/113.91	c nbDecision=23000 #constraints=8041
116.24/116.32	c nbDecision=23500 #constraints=8113
118.54/118.69	c nbDecision=24000 #constraints=8161
120.94/121.09	c nbDecision=24500 #constraints=8221
123.44/123.56	c nbDecision=25000 #constraints=8323
125.94/126.04	c nbDecision=25500 #constraints=8435
126.44/126.51	c restart after 25601 decisions
128.33/128.45	c nbDecision=26000 #constraints=8479
130.85/130.92	c nbDecision=26500 #constraints=8532
133.24/133.30	c nbDecision=27000 #constraints=8543
135.74/135.80	c nbDecision=27500 #constraints=8612
138.14/138.25	c nbDecision=28000 #constraints=8657
140.54/140.64	c nbDecision=28500 #constraints=8679
142.84/142.98	c nbDecision=29000 #constraints=8693
145.24/145.38	c nbDecision=29500 #constraints=8711
147.63/147.79	c nbDecision=30000 #constraints=8738
150.03/150.17	c nbDecision=30500 #constraints=8753
152.53/152.61	c nbDecision=31000 #constraints=8797
154.93/155.01	c nbDecision=31500 #constraints=8820
157.33/157.41	c nbDecision=32000 #constraints=8858
159.63/159.77	c nbDecision=32500 #constraints=8879
162.03/162.18	c nbDecision=33000 #constraints=8918
164.43/164.56	c nbDecision=33500 #constraints=8935
166.82/166.97	c nbDecision=34000 #constraints=8961
169.22/169.40	c nbDecision=34500 #constraints=8997
171.72/171.87	c nbDecision=35000 #constraints=9049
174.23/174.31	c nbDecision=35500 #constraints=9096
176.63/176.73	c nbDecision=36000 #constraints=9126
179.02/179.16	c nbDecision=36500 #constraints=9175
181.43/181.56	c nbDecision=37000 #constraints=9213
183.82/183.97	c nbDecision=37500 #constraints=9264
186.22/186.39	c nbDecision=38000 #constraints=9293
188.72/188.87	c nbDecision=38500 #constraints=9345
191.12/191.24	c nbDecision=39000 #constraints=9358
193.42/193.60	c nbDecision=39500 #constraints=9371
195.91/196.01	c nbDecision=40000 #constraints=9424
198.31/198.42	c nbDecision=40500 #constraints=9460
200.71/200.86	c nbDecision=41000 #constraints=9524
203.21/203.32	c nbDecision=41500 #constraints=9600
205.62/205.72	c nbDecision=42000 #constraints=9624
208.02/208.16	c nbDecision=42500 #constraints=9661
210.42/210.58	c nbDecision=43000 #constraints=9701
212.91/213.03	c nbDecision=43500 #constraints=9769
215.41/215.60	c nbDecision=44000 #constraints=9924
218.11/218.24	c nbDecision=44500 #constraints=10082
220.51/220.63	c nbDecision=45000 #constraints=10108
223.01/223.14	c nbDecision=45500 #constraints=10180
225.41/225.59	c nbDecision=46000 #constraints=10220
227.91/228.09	c nbDecision=46500 #constraints=10274
230.40/230.50	c nbDecision=47000 #constraints=10302
232.80/232.97	c nbDecision=47500 #constraints=10357
235.31/235.45	c nbDecision=48000 #constraints=10418
237.80/237.91	c nbDecision=48500 #constraints=10472
240.30/240.43	c nbDecision=49000 #constraints=10570
242.70/242.82	c nbDecision=49500 #constraints=10609
245.10/245.24	c nbDecision=50000 #constraints=10658
247.60/247.74	c nbDecision=50500 #constraints=10726
249.99/250.19	c nbDecision=51000 #constraints=10779
250.99/251.15	c restart after 51201 decisions
252.39/252.57	c nbDecision=51500 #constraints=10786
254.89/255.05	c nbDecision=52000 #constraints=10823
257.49/257.67	c nbDecision=52500 #constraints=10895
259.99/260.14	c nbDecision=53000 #constraints=10927
262.39/262.56	c nbDecision=53500 #constraints=10941
264.79/264.99	c nbDecision=54000 #constraints=10948
267.39/267.54	c nbDecision=54500 #constraints=11004
269.79/269.99	c nbDecision=55000 #constraints=11007
272.29/272.49	c nbDecision=55500 #constraints=11044
274.89/275.02	c nbDecision=56000 #constraints=11094
277.29/277.42	c nbDecision=56500 #constraints=11096
279.79/279.91	c nbDecision=57000 #constraints=11128
282.29/282.41	c nbDecision=57500 #constraints=11197
284.79/284.94	c nbDecision=58000 #constraints=11280
287.28/287.42	c nbDecision=58500 #constraints=11335
289.78/289.94	c nbDecision=59000 #constraints=11396
292.28/292.43	c nbDecision=59500 #constraints=11454
294.88/295.01	c nbDecision=60000 #constraints=11540
297.28/297.48	c nbDecision=60500 #constraints=11601
299.78/299.99	c nbDecision=61000 #constraints=11671
302.38/302.50	c nbDecision=61500 #constraints=11746
304.87/305.02	c nbDecision=62000 #constraints=11802
307.37/307.53	c nbDecision=62500 #constraints=11868
309.87/310.06	c nbDecision=63000 #constraints=11925
312.37/312.56	c nbDecision=63500 #constraints=11970
314.87/315.05	c nbDecision=64000 #constraints=12015
317.27/317.48	c nbDecision=64500 #constraints=12044
319.77/320.00	c nbDecision=65000 #constraints=12098
322.37/322.54	c nbDecision=65500 #constraints=12155
324.97/325.11	c nbDecision=66000 #constraints=12228
327.57/327.79	c nbDecision=66500 #constraints=12340
330.27/330.43	c nbDecision=67000 #constraints=12425
332.87/333.06	c nbDecision=67500 #constraints=12489
335.37/335.55	c nbDecision=68000 #constraints=12512
337.96/338.12	c nbDecision=68500 #constraints=12561
340.46/340.70	c nbDecision=69000 #constraints=12615
343.06/343.26	c nbDecision=69500 #constraints=12667
345.66/345.83	c nbDecision=70000 #constraints=12722
348.26/348.42	c nbDecision=70500 #constraints=12764
350.76/350.97	c nbDecision=71000 #constraints=12784
353.35/353.58	c nbDecision=71500 #constraints=12820
355.95/356.17	c nbDecision=72000 #constraints=12861
358.46/358.66	c nbDecision=72500 #constraints=12871
361.05/361.23	c nbDecision=73000 #constraints=12904
363.66/363.83	c nbDecision=73500 #constraints=12941
366.16/366.38	c nbDecision=74000 #constraints=12956
368.76/368.90	c nbDecision=74500 #constraints=12969
371.25/371.43	c nbDecision=75000 #constraints=12981
373.95/374.13	c nbDecision=75500 #constraints=13050
376.55/376.75	c nbDecision=76000 #constraints=13100
379.15/379.34	c nbDecision=76500 #constraints=13136
381.75/381.91	c nbDecision=77000 #constraints=13165
384.15/384.38	c nbDecision=77500 #constraints=13168
386.75/386.94	c nbDecision=78000 #constraints=13196
389.44/389.61	c nbDecision=78500 #constraints=13254
392.04/392.22	c nbDecision=79000 #constraints=13291
394.54/394.74	c nbDecision=79500 #constraints=13320
397.14/397.33	c nbDecision=80000 #constraints=13349
399.74/399.90	c nbDecision=80500 #constraints=13380
402.14/402.40	c nbDecision=81000 #constraints=13384
404.64/404.90	c nbDecision=81500 #constraints=13399
407.24/407.47	c nbDecision=82000 #constraints=13440
409.73/409.97	c nbDecision=82500 #constraints=13460
412.23/412.49	c nbDecision=83000 #constraints=13493
414.93/415.10	c nbDecision=83500 #constraints=13549
417.43/417.64	c nbDecision=84000 #constraints=13590
420.03/420.23	c nbDecision=84500 #constraints=13667
422.53/422.73	c nbDecision=85000 #constraints=13720
425.13/425.30	c nbDecision=85500 #constraints=13768
427.73/427.94	c nbDecision=86000 #constraints=13829
430.23/430.47	c nbDecision=86500 #constraints=13844
432.93/433.16	c nbDecision=87000 #constraints=13917
435.63/435.86	c nbDecision=87500 #constraints=13978
438.42/438.64	c nbDecision=88000 #constraints=14063
441.22/441.45	c nbDecision=88500 #constraints=14179
444.02/444.29	c nbDecision=89000 #constraints=14302
446.72/446.90	c nbDecision=89500 #constraints=14333
449.22/449.45	c nbDecision=90000 #constraints=14358
451.92/452.11	c nbDecision=90500 #constraints=14407
454.52/454.74	c nbDecision=91000 #constraints=14447
457.11/457.35	c nbDecision=91500 #constraints=14483
459.81/460.01	c nbDecision=92000 #constraints=14538
462.41/462.62	c nbDecision=92500 #constraints=14569
465.02/465.27	c nbDecision=93000 #constraints=14653
467.72/467.95	c nbDecision=93500 #constraints=14752
470.32/470.53	c nbDecision=94000 #constraints=14798
472.82/473.10	c nbDecision=94500 #constraints=14836
475.41/475.66	c nbDecision=95000 #constraints=14880
478.11/478.32	c nbDecision=95500 #constraints=14978
480.71/480.92	c nbDecision=96000 #constraints=15049
483.31/483.56	c nbDecision=96500 #constraints=15136
486.01/486.22	c nbDecision=97000 #constraints=15152
488.61/488.83	c nbDecision=97500 #constraints=15159
491.20/491.49	c nbDecision=98000 #constraints=15178
493.90/494.17	c nbDecision=98500 #constraints=15199
496.60/496.88	c nbDecision=99000 #constraints=15239
499.20/499.49	c nbDecision=99500 #constraints=15254
501.90/502.14	c nbDecision=100000 #constraints=15274
504.60/504.83	c nbDecision=100500 #constraints=15307
507.10/507.39	c nbDecision=101000 #constraints=15315
509.99/510.21	c nbDecision=101500 #constraints=15418
512.69/512.95	c nbDecision=102000 #constraints=15496
514.90/515.10	c restart after 102401 decisions
515.30/515.59	c nbDecision=102500 #constraints=15552
518.00/518.20	c nbDecision=103000 #constraints=15568
520.59/520.85	c nbDecision=103500 #constraints=15588
523.19/523.50	c nbDecision=104000 #constraints=15602
525.99/526.20	c nbDecision=104500 #constraints=15633
528.69/528.94	c nbDecision=105000 #constraints=15657
531.39/531.66	c nbDecision=105500 #constraints=15680
534.19/534.42	c nbDecision=106000 #constraints=15720
536.79/537.05	c nbDecision=106500 #constraints=15748
539.49/539.74	c nbDecision=107000 #constraints=15774
542.09/542.34	c nbDecision=107500 #constraints=15787
544.68/544.96	c nbDecision=108000 #constraints=15801
547.28/547.59	c nbDecision=108500 #constraints=15808
549.88/550.18	c nbDecision=109000 #constraints=15812
552.58/552.89	c nbDecision=109500 #constraints=15846
555.18/555.50	c nbDecision=110000 #constraints=15850
557.78/558.03	c nbDecision=110500 #constraints=15853
560.28/560.58	c nbDecision=111000 #constraints=15868
563.17/563.42	c nbDecision=111500 #constraints=15928
565.77/566.04	c nbDecision=112000 #constraints=15948
568.37/568.62	c nbDecision=112500 #constraints=15955
570.97/571.24	c nbDecision=113000 #constraints=15988
573.67/573.97	c nbDecision=113500 #constraints=16041
576.37/576.61	c nbDecision=114000 #constraints=16081
578.96/579.22	c nbDecision=114500 #constraints=16117
581.47/581.78	c nbDecision=115000 #constraints=16121
584.07/584.36	c nbDecision=115500 #constraints=16136
586.57/586.88	c nbDecision=116000 #constraints=16156
589.17/589.49	c nbDecision=116500 #constraints=16212
591.77/592.09	c nbDecision=117000 #constraints=16258
594.36/594.64	c nbDecision=117500 #constraints=16294
596.96/597.20	c nbDecision=118000 #constraints=16331
599.56/599.82	c nbDecision=118500 #constraints=16439
602.06/602.38	c nbDecision=119000 #constraints=16532
604.66/604.98	c nbDecision=119500 #constraints=16615
607.35/607.60	c nbDecision=120000 #constraints=16698
609.85/610.17	c nbDecision=120500 #constraints=16750
612.35/612.69	c nbDecision=121000 #constraints=16805
614.95/615.25	c nbDecision=121500 #constraints=16895
617.45/617.74	c nbDecision=122000 #constraints=16940
620.15/620.48	c nbDecision=122500 #constraints=17000
622.85/623.16	c nbDecision=123000 #constraints=17030
625.55/625.80	c nbDecision=123500 #constraints=17058
628.15/628.46	c nbDecision=124000 #constraints=17084
630.75/631.05	c nbDecision=124500 #constraints=17092
633.35/633.66	c nbDecision=125000 #constraints=17096
635.95/636.28	c nbDecision=125500 #constraints=17151
638.65/638.97	c nbDecision=126000 #constraints=17221
641.25/641.59	c nbDecision=126500 #constraints=17273
643.95/644.26	c nbDecision=127000 #constraints=17342
646.65/646.91	c nbDecision=127500 #constraints=17388
649.24/649.54	c nbDecision=128000 #constraints=17440
651.94/652.22	c nbDecision=128500 #constraints=17507
654.54/654.89	c nbDecision=129000 #constraints=17579
657.34/657.62	c nbDecision=129500 #constraints=17602
660.14/660.41	c nbDecision=130000 #constraints=17644
662.84/663.10	c nbDecision=130500 #constraints=17672
665.54/665.81	c nbDecision=131000 #constraints=17711
668.33/668.68	c nbDecision=131500 #constraints=17768
671.13/671.45	c nbDecision=132000 #constraints=17811
673.93/674.26	c nbDecision=132500 #constraints=17862
676.63/676.93	c nbDecision=133000 #constraints=17892
679.33/679.60	c nbDecision=133500 #constraints=17926
681.93/682.29	c nbDecision=134000 #constraints=17939
684.73/685.04	c nbDecision=134500 #constraints=17966
687.53/687.86	c nbDecision=135000 #constraints=18029
690.33/690.64	c nbDecision=135500 #constraints=18078
693.12/693.42	c nbDecision=136000 #constraints=18116
695.73/696.06	c nbDecision=136500 #constraints=18141
698.53/698.81	c nbDecision=137000 #constraints=18180
701.23/701.53	c nbDecision=137500 #constraints=18209
703.83/704.18	c nbDecision=138000 #constraints=18227
706.63/706.91	c nbDecision=138500 #constraints=18265
709.23/709.55	c nbDecision=139000 #constraints=18272
711.93/712.26	c nbDecision=139500 #constraints=18302
714.63/714.93	c nbDecision=140000 #constraints=18349
717.42/717.75	c nbDecision=140500 #constraints=18503
720.12/720.46	c nbDecision=141000 #constraints=18586
722.92/723.26	c nbDecision=141500 #constraints=18643
725.72/726.01	c nbDecision=142000 #constraints=18659
728.42/728.71	c nbDecision=142500 #constraints=18680
731.22/731.56	c nbDecision=143000 #constraints=18697
734.02/734.30	c nbDecision=143500 #constraints=18715
736.72/737.01	c nbDecision=144000 #constraints=18735
739.41/739.77	c nbDecision=144500 #constraints=18741
742.11/742.40	c nbDecision=145000 #constraints=18744
744.81/745.11	c nbDecision=145500 #constraints=18762
747.41/747.80	c nbDecision=146000 #constraints=18766
750.21/750.52	c nbDecision=146500 #constraints=18774
752.91/753.21	c nbDecision=147000 #constraints=18784
755.61/755.98	c nbDecision=147500 #constraints=18817
758.31/758.66	c nbDecision=148000 #constraints=18855
761.01/761.35	c nbDecision=148500 #constraints=18898
763.71/764.04	c nbDecision=149000 #constraints=18940
766.41/766.74	c nbDecision=149500 #constraints=18974
769.10/769.50	c nbDecision=150000 #constraints=19038
771.90/772.28	c nbDecision=150500 #constraints=19054
774.90/775.20	c nbDecision=151000 #constraints=19091
777.60/777.95	c nbDecision=151500 #constraints=19105
780.40/780.70	c nbDecision=152000 #constraints=19122
783.09/783.48	c nbDecision=152500 #constraints=19149
785.79/786.17	c nbDecision=153000 #constraints=19161
788.59/788.99	c nbDecision=153500 #constraints=19168
791.49/791.84	c nbDecision=154000 #constraints=19202
794.29/794.66	c nbDecision=154500 #constraints=19230
797.09/797.43	c nbDecision=155000 #constraints=19244
799.90/800.24	c nbDecision=155500 #constraints=19275
802.60/802.90	c nbDecision=156000 #constraints=19278
805.29/805.64	c nbDecision=156500 #constraints=19291
807.99/808.32	c nbDecision=157000 #constraints=19303
810.69/811.02	c nbDecision=157500 #constraints=19355
813.39/813.77	c nbDecision=158000 #constraints=19418
816.19/816.51	c nbDecision=158500 #constraints=19472
818.79/819.14	c nbDecision=159000 #constraints=19502
821.49/821.85	c nbDecision=159500 #constraints=19605
824.08/824.43	c nbDecision=160000 #constraints=19693
826.58/826.96	c nbDecision=160500 #constraints=19745
829.28/829.67	c nbDecision=161000 #constraints=19803
832.08/832.43	c nbDecision=161500 #constraints=19867
834.78/835.13	c nbDecision=162000 #constraints=19961
837.48/837.87	c nbDecision=162500 #constraints=20064
840.38/840.73	c nbDecision=163000 #constraints=20091
843.08/843.46	c nbDecision=163500 #constraints=20097
846.08/846.50	c nbDecision=164000 #constraints=20153
848.98/849.36	c nbDecision=164500 #constraints=20174
851.88/852.29	c nbDecision=165000 #constraints=20218
854.77/855.13	c nbDecision=165500 #constraints=20230
857.57/857.93	c nbDecision=166000 #constraints=20250
860.37/860.72	c nbDecision=166500 #constraints=20269
863.07/863.42	c nbDecision=167000 #constraints=20279
865.87/866.29	c nbDecision=167500 #constraints=20316
868.67/869.04	c nbDecision=168000 #constraints=20329
871.57/871.92	c nbDecision=168500 #constraints=20360
874.37/874.72	c nbDecision=169000 #constraints=20384
877.17/877.55	c nbDecision=169500 #constraints=20420
879.77/880.18	c nbDecision=170000 #constraints=20433
882.46/882.86	c nbDecision=170500 #constraints=20446
885.17/885.55	c nbDecision=171000 #constraints=20465
887.86/888.26	c nbDecision=171500 #constraints=20492
890.56/890.91	c nbDecision=172000 #constraints=20555
893.26/893.66	c nbDecision=172500 #constraints=20636
895.96/896.35	c nbDecision=173000 #constraints=20704
898.56/898.97	c nbDecision=173500 #constraints=20752
901.26/901.62	c nbDecision=174000 #constraints=20838
903.75/904.19	c nbDecision=174500 #constraints=20882
906.45/906.87	c nbDecision=175000 #constraints=20955
909.36/909.73	c nbDecision=175500 #constraints=20992
912.25/912.60	c nbDecision=176000 #constraints=21010
915.05/915.49	c nbDecision=176500 #constraints=21031
917.95/918.36	c nbDecision=177000 #constraints=21053
920.85/921.23	c nbDecision=177500 #constraints=21070
923.75/924.13	c nbDecision=178000 #constraints=21090
926.55/926.94	c nbDecision=178500 #constraints=21098
929.44/929.85	c nbDecision=179000 #constraints=21113
932.45/932.80	c nbDecision=179500 #constraints=21157
935.24/935.66	c nbDecision=180000 #constraints=21168
938.05/938.49	c nbDecision=180500 #constraints=21183
940.84/941.24	c nbDecision=181000 #constraints=21186
943.74/944.19	c nbDecision=181500 #constraints=21215
946.44/946.88	c nbDecision=182000 #constraints=21227
949.24/949.63	c nbDecision=182500 #constraints=21287
951.94/952.38	c nbDecision=183000 #constraints=21337
954.83/955.23	c nbDecision=183500 #constraints=21409
957.63/958.08	c nbDecision=184000 #constraints=21447
960.53/960.97	c nbDecision=184500 #constraints=21473
963.43/963.83	c nbDecision=185000 #constraints=21492
966.23/966.65	c nbDecision=185500 #constraints=21505
969.34/969.73	c nbDecision=186000 #constraints=21575
972.23/972.66	c nbDecision=186500 #constraints=21600
975.03/975.48	c nbDecision=187000 #constraints=21617
978.03/978.49	c nbDecision=187500 #constraints=21677
980.93/981.38	c nbDecision=188000 #constraints=21702
983.63/984.08	c nbDecision=188500 #constraints=21709
986.62/987.08	c nbDecision=189000 #constraints=21762
989.52/989.96	c nbDecision=189500 #constraints=21787
992.52/992.93	c nbDecision=190000 #constraints=21794
995.42/995.82	c nbDecision=190500 #constraints=21819
998.32/998.72	c nbDecision=191000 #constraints=21837
1001.22/1001.62	c nbDecision=191500 #constraints=21841
1004.22/1004.62	c nbDecision=192000 #constraints=21881
1007.02/1007.43	c nbDecision=192500 #constraints=21905
1009.81/1010.25	c nbDecision=193000 #constraints=21923
1012.61/1013.03	c nbDecision=193500 #constraints=21932
1015.41/1015.82	c nbDecision=194000 #constraints=21959
1018.11/1018.56	c nbDecision=194500 #constraints=21973
1020.91/1021.35	c nbDecision=195000 #constraints=21988
1023.71/1024.11	c nbDecision=195500 #constraints=22004
1026.51/1026.92	c nbDecision=196000 #constraints=22023
1029.21/1029.69	c nbDecision=196500 #constraints=22084
1032.11/1032.52	c nbDecision=197000 #constraints=22141
1034.90/1035.37	c nbDecision=197500 #constraints=22189
1037.71/1038.19	c nbDecision=198000 #constraints=22296
1040.51/1040.90	c nbDecision=198500 #constraints=22384
1043.21/1043.65	c nbDecision=199000 #constraints=22441
1046.11/1046.50	c nbDecision=199500 #constraints=22471
1049.01/1049.46	c nbDecision=200000 #constraints=22474
1052.00/1052.46	c nbDecision=200500 #constraints=22489
1055.00/1055.47	c nbDecision=201000 #constraints=22511
1057.91/1058.39	c nbDecision=201500 #constraints=22514
1060.80/1061.27	c nbDecision=202000 #constraints=22526
1063.80/1064.23	c nbDecision=202500 #constraints=22542
1066.90/1067.34	c nbDecision=203000 #constraints=22575
1069.90/1070.32	c nbDecision=203500 #constraints=22598
1072.90/1073.37	c nbDecision=204000 #constraints=22639
1075.80/1076.30	c nbDecision=204500 #constraints=22651
1077.60/1078.10	c restart after 204801 decisions
1078.80/1079.24	c nbDecision=205000 #constraints=22664
1081.69/1082.15	c nbDecision=205500 #constraints=22680
1084.69/1085.10	c nbDecision=206000 #constraints=22701
1087.69/1088.10	c nbDecision=206500 #constraints=22712
1090.69/1091.15	c nbDecision=207000 #constraints=22742
1093.79/1094.25	c nbDecision=207500 #constraints=22766
1096.69/1097.19	c nbDecision=208000 #constraints=22778
1099.79/1100.23	c nbDecision=208500 #constraints=22793
1102.79/1103.29	c nbDecision=209000 #constraints=22817
1105.58/1106.09	c nbDecision=209500 #constraints=22819
1108.78/1109.29	c nbDecision=210000 #constraints=22862
1111.88/1112.33	c nbDecision=210500 #constraints=22895
1114.78/1115.29	c nbDecision=211000 #constraints=22916
1117.58/1118.08	c nbDecision=211500 #constraints=22918
1120.48/1120.99	c nbDecision=212000 #constraints=22935
1123.38/1123.88	c nbDecision=212500 #constraints=22945
1126.37/1126.85	c nbDecision=213000 #constraints=22982
1129.17/1129.65	c nbDecision=213500 #constraints=22999
1131.87/1132.39	c nbDecision=214000 #constraints=23014
1134.77/1135.21	c nbDecision=214500 #constraints=23044
1137.37/1137.85	c nbDecision=215000 #constraints=23052
1140.17/1140.62	c nbDecision=215500 #constraints=23069
1142.97/1143.46	c nbDecision=216000 #constraints=23101
1145.78/1146.23	c nbDecision=216500 #constraints=23124
1148.57/1149.01	c nbDecision=217000 #constraints=23145
1151.28/1151.70	c nbDecision=217500 #constraints=23148
1153.97/1154.45	c nbDecision=218000 #constraints=23152
1156.67/1157.17	c nbDecision=218500 #constraints=23165
1159.37/1159.87	c nbDecision=219000 #constraints=23198
1162.17/1162.69	c nbDecision=219500 #constraints=23265
1164.97/1165.41	c nbDecision=220000 #constraints=23284
1167.67/1168.13	c nbDecision=220500 #constraints=23302
1170.36/1170.87	c nbDecision=221000 #constraints=23343
1173.06/1173.59	c nbDecision=221500 #constraints=23393
1175.86/1176.38	c nbDecision=222000 #constraints=23420
1178.96/1179.41	c nbDecision=222500 #constraints=23482
1181.76/1182.28	c nbDecision=223000 #constraints=23505
1184.86/1185.34	c nbDecision=223500 #constraints=23544
1187.86/1188.33	c nbDecision=224000 #constraints=23582
1190.86/1191.34	c nbDecision=224500 #constraints=23627
1193.75/1194.28	c nbDecision=225000 #constraints=23658
1196.55/1197.06	c nbDecision=225500 #constraints=23670
1199.55/1200.01	c nbDecision=226000 #constraints=23695
1202.35/1202.84	c nbDecision=226500 #constraints=23730
1205.35/1205.80	c nbDecision=227000 #constraints=23781
1208.15/1208.62	c nbDecision=227500 #constraints=23820
1211.14/1211.61	c nbDecision=228000 #constraints=23876
1213.84/1214.39	c nbDecision=228500 #constraints=23896
1216.74/1217.22	c nbDecision=229000 #constraints=23940
1219.54/1220.04	c nbDecision=229500 #constraints=24001
1222.34/1222.88	c nbDecision=230000 #constraints=24065
1225.24/1225.76	c nbDecision=230500 #constraints=24152
1228.34/1228.82	c nbDecision=231000 #constraints=24211
1231.34/1231.88	c nbDecision=231500 #constraints=24246
1234.33/1234.80	c nbDecision=232000 #constraints=24259
1237.23/1237.79	c nbDecision=232500 #constraints=24290
1240.13/1240.68	c nbDecision=233000 #constraints=24309
1242.94/1243.48	c nbDecision=233500 #constraints=24366
1245.84/1246.31	c nbDecision=234000 #constraints=24412
1248.74/1249.20	c nbDecision=234500 #constraints=24468
1251.53/1252.04	c nbDecision=235000 #constraints=24509
1254.43/1254.93	c nbDecision=235500 #constraints=24546
1257.53/1258.02	c nbDecision=236000 #constraints=24593
1260.63/1261.18	c nbDecision=236500 #constraints=24624
1263.63/1264.18	c nbDecision=237000 #constraints=24645
1266.63/1267.12	c nbDecision=237500 #constraints=24659
1269.63/1270.19	c nbDecision=238000 #constraints=24675
1272.83/1273.32	c nbDecision=238500 #constraints=24700
1275.63/1276.18	c nbDecision=239000 #constraints=24704
1278.72/1279.28	c nbDecision=239500 #constraints=24734
1281.72/1282.25	c nbDecision=240000 #constraints=24747
1284.62/1285.17	c nbDecision=240500 #constraints=24761
1287.62/1288.11	c nbDecision=241000 #constraints=24775
1290.42/1290.99	c nbDecision=241500 #constraints=24778
1293.62/1294.14	c nbDecision=242000 #constraints=24813
1296.52/1297.08	c nbDecision=242500 #constraints=24827
1299.31/1299.89	c nbDecision=243000 #constraints=24840
1302.12/1302.62	c nbDecision=243500 #constraints=24870
1304.81/1305.33	c nbDecision=244000 #constraints=24905
1307.42/1307.99	c nbDecision=244500 #constraints=24945
1310.11/1310.65	c nbDecision=245000 #constraints=24992
1312.71/1313.22	c nbDecision=245500 #constraints=25023
1315.51/1316.03	c nbDecision=246000 #constraints=25054
1318.51/1319.07	c nbDecision=246500 #constraints=25068
1321.50/1322.04	c nbDecision=247000 #constraints=25071
1324.60/1325.12	c nbDecision=247500 #constraints=25084
1327.70/1328.25	c nbDecision=248000 #constraints=25100
1330.70/1331.24	c nbDecision=248500 #constraints=25103
1333.80/1334.32	c nbDecision=249000 #constraints=25107
1336.71/1337.29	c nbDecision=249500 #constraints=25157
1339.81/1340.37	c nbDecision=250000 #constraints=25171
1342.90/1343.48	c nbDecision=250500 #constraints=25184
1346.01/1346.52	c nbDecision=251000 #constraints=25192
1349.10/1349.61	c nbDecision=251500 #constraints=25203
1352.30/1352.80	c nbDecision=252000 #constraints=25234
1355.50/1356.01	c nbDecision=252500 #constraints=25271
1358.70/1359.25	c nbDecision=253000 #constraints=25294
1361.80/1362.31	c nbDecision=253500 #constraints=25310
1364.80/1365.31	c nbDecision=254000 #constraints=25313
1367.79/1368.35	c nbDecision=254500 #constraints=25316
1371.09/1371.60	c nbDecision=255000 #constraints=25336
1374.09/1374.64	c nbDecision=255500 #constraints=25348
1377.09/1377.62	c nbDecision=256000 #constraints=25364
1379.89/1380.48	c nbDecision=256500 #constraints=25377
1382.89/1383.41	c nbDecision=257000 #constraints=25381
1385.89/1386.48	c nbDecision=257500 #constraints=25405
1388.99/1389.57	c nbDecision=258000 #constraints=25428
1391.98/1392.54	c nbDecision=258500 #constraints=25433
1394.98/1395.57	c nbDecision=259000 #constraints=25449
1397.88/1398.45	c nbDecision=259500 #constraints=25454
1400.88/1401.43	c nbDecision=260000 #constraints=25479
1403.78/1404.36	c nbDecision=260500 #constraints=25523
1406.88/1407.40	c nbDecision=261000 #constraints=25570
1409.78/1410.30	c nbDecision=261500 #constraints=25582
1412.67/1413.29	c nbDecision=262000 #constraints=25633
1415.67/1416.25	c nbDecision=262500 #constraints=25637
1418.67/1419.21	c nbDecision=263000 #constraints=25649
1421.67/1422.23	c nbDecision=263500 #constraints=25663
1424.67/1425.29	c nbDecision=264000 #constraints=25688
1427.97/1428.58	c nbDecision=264500 #constraints=25715
1431.27/1431.80	c nbDecision=265000 #constraints=25730
1434.36/1434.99	c nbDecision=265500 #constraints=25752
1437.76/1438.34	c nbDecision=266000 #constraints=25797
1441.26/1441.86	c nbDecision=266500 #constraints=25866
1444.26/1444.83	c nbDecision=267000 #constraints=25871
1447.36/1447.90	c nbDecision=267500 #constraints=25888
1450.36/1450.99	c nbDecision=268000 #constraints=25900
1453.67/1454.23	c nbDecision=268500 #constraints=25948
1456.76/1457.33	c nbDecision=269000 #constraints=25958
1459.96/1460.51	c nbDecision=269500 #constraints=25992
1462.96/1463.59	c nbDecision=270000 #constraints=26021
1465.96/1466.56	c nbDecision=270500 #constraints=26026
1469.06/1469.70	c nbDecision=271000 #constraints=26078
1472.06/1472.61	c nbDecision=271500 #constraints=26104
1474.95/1475.58	c nbDecision=272000 #constraints=26116
1477.96/1478.52	c nbDecision=272500 #constraints=26147
1480.85/1481.44	c nbDecision=273000 #constraints=26162
1483.85/1484.44	c nbDecision=273500 #constraints=26179
1487.05/1487.60	c nbDecision=274000 #constraints=26190
1490.25/1490.81	c nbDecision=274500 #constraints=26212
1493.55/1494.16	c nbDecision=275000 #constraints=26229
1496.65/1497.26	c nbDecision=275500 #constraints=26243
1499.75/1500.35	c nbDecision=276000 #constraints=26250
1502.84/1503.44	c nbDecision=276500 #constraints=26275
1505.94/1506.51	c nbDecision=277000 #constraints=26278
1509.04/1509.62	c nbDecision=277500 #constraints=26298
1512.04/1512.67	c nbDecision=278000 #constraints=26313
1515.24/1515.80	c nbDecision=278500 #constraints=26341
1518.24/1518.83	c nbDecision=279000 #constraints=26369
1521.43/1522.09	c nbDecision=279500 #constraints=26426
1524.43/1525.01	c nbDecision=280000 #constraints=26431
1527.44/1528.07	c nbDecision=280500 #constraints=26451
1530.73/1531.39	c nbDecision=281000 #constraints=26467
1533.73/1534.39	c nbDecision=281500 #constraints=26478
1536.83/1537.42	c nbDecision=282000 #constraints=26484
1539.73/1540.38	c nbDecision=282500 #constraints=26498
1542.83/1543.45	c nbDecision=283000 #constraints=26504
1545.93/1546.51	c nbDecision=283500 #constraints=26512
1548.82/1549.48	c nbDecision=284000 #constraints=26516
1551.92/1552.50	c nbDecision=284500 #constraints=26540
1554.93/1555.54	c nbDecision=285000 #constraints=26568
1557.92/1558.57	c nbDecision=285500 #constraints=26590
1561.02/1561.64	c nbDecision=286000 #constraints=26624
1564.12/1564.72	c nbDecision=286500 #constraints=26639
1567.02/1567.65	c nbDecision=287000 #constraints=26665
1569.92/1570.58	c nbDecision=287500 #constraints=26685
1572.92/1573.53	c nbDecision=288000 #constraints=26704
1575.92/1576.55	c nbDecision=288500 #constraints=26732
1578.82/1579.41	c nbDecision=289000 #constraints=26749
1581.72/1582.38	c nbDecision=289500 #constraints=26794
1584.72/1585.37	c nbDecision=290000 #constraints=26845
1587.72/1588.36	c nbDecision=290500 #constraints=26897
1590.72/1591.34	c nbDecision=291000 #constraints=26960
1593.71/1594.38	c nbDecision=291500 #constraints=27022
1596.91/1597.51	c nbDecision=292000 #constraints=27082
1600.21/1600.85	c nbDecision=292500 #constraints=27097
1603.61/1604.24	c nbDecision=293000 #constraints=27137
1606.81/1607.41	c nbDecision=293500 #constraints=27147
1610.01/1610.64	c nbDecision=294000 #constraints=27158
1613.60/1614.23	c nbDecision=294500 #constraints=27203
1616.60/1617.29	c nbDecision=295000 #constraints=27225
1619.81/1620.47	c nbDecision=295500 #constraints=27241
1622.90/1623.57	c nbDecision=296000 #constraints=27255
1626.10/1626.70	c nbDecision=296500 #constraints=27280
1629.30/1629.91	c nbDecision=297000 #constraints=27299
1632.30/1632.94	c nbDecision=297500 #constraints=27318
1635.30/1635.99	c nbDecision=298000 #constraints=27334
1638.50/1639.11	c nbDecision=298500 #constraints=27351
1641.60/1642.24	c nbDecision=299000 #constraints=27365
1644.79/1645.47	c nbDecision=299500 #constraints=27407
1648.09/1648.77	c nbDecision=300000 #constraints=27487
1651.39/1652.00	c nbDecision=300500 #constraints=27522
1654.49/1655.14	c nbDecision=301000 #constraints=27557
1657.49/1658.15	c nbDecision=301500 #constraints=27610
1660.58/1661.29	c nbDecision=302000 #constraints=27671
1663.70/1664.34	c nbDecision=302500 #constraints=27699
1667.00/1667.60	c nbDecision=303000 #constraints=27711
1669.89/1670.56	c nbDecision=303500 #constraints=27713
1673.09/1673.78	c nbDecision=304000 #constraints=27732
1676.39/1677.08	c nbDecision=304500 #constraints=27779
1679.49/1680.19	c nbDecision=305000 #constraints=27787
1682.59/1683.23	c nbDecision=305500 #constraints=27802
1685.88/1686.54	c nbDecision=306000 #constraints=27832
1689.09/1689.74	c nbDecision=306500 #constraints=27856
1692.08/1692.79	c nbDecision=307000 #constraints=27860
1695.28/1695.90	c nbDecision=307500 #constraints=27889
1698.18/1698.89	c nbDecision=308000 #constraints=27893
1701.18/1701.88	c nbDecision=308500 #constraints=27897
1704.18/1704.86	c nbDecision=309000 #constraints=27902
1707.07/1707.77	c nbDecision=309500 #constraints=27916
1709.98/1710.61	c nbDecision=310000 #constraints=27920
1712.97/1713.61	c nbDecision=310500 #constraints=27936
1715.87/1716.53	c nbDecision=311000 #constraints=27966
1718.67/1719.38	c nbDecision=311500 #constraints=27990
1721.87/1722.56	c nbDecision=312000 #constraints=28005
1724.97/1725.64	c nbDecision=312500 #constraints=28009
1728.07/1728.72	c nbDecision=313000 #constraints=28023
1731.36/1732.00	c nbDecision=313500 #constraints=28033
1734.46/1735.19	c nbDecision=314000 #constraints=28045
1737.86/1738.50	c nbDecision=314500 #constraints=28070
1741.16/1741.80	c nbDecision=315000 #constraints=28099
1744.16/1744.85	c nbDecision=315500 #constraints=28103
1747.36/1748.05	c nbDecision=316000 #constraints=28115
1750.36/1751.01	c nbDecision=316500 #constraints=28126
1753.46/1754.13	c nbDecision=317000 #constraints=28166
1756.35/1757.08	c nbDecision=317500 #constraints=28204
1759.65/1760.38	c nbDecision=318000 #constraints=28230
1762.95/1763.69	c nbDecision=318500 #constraints=28254
1766.25/1766.94	c nbDecision=319000 #constraints=28273
1769.65/1770.37	c nbDecision=319500 #constraints=28314
1772.85/1773.55	c nbDecision=320000 #constraints=28326
1775.95/1776.61	c nbDecision=320500 #constraints=28333
1779.05/1779.80	c nbDecision=321000 #constraints=28355
1782.14/1782.86	c nbDecision=321500 #constraints=28368
1785.34/1786.00	c nbDecision=322000 #constraints=28393
1788.35/1789.08	c nbDecision=322500 #constraints=28414
1791.35/1792.06	c nbDecision=323000 #constraints=28418
1794.45/1795.14	c nbDecision=323500 #constraints=28428
1797.45/1798.12	c nbDecision=324000 #constraints=28437
1800.05/1800.71	Received signal 15
1800.05/1800.71	
1800.05/1800.71	s UNKNOWN
1800.05/1800.71	
1800.05/1800.71	c user time= 1799.7 s
1800.05/1800.71	c system time= 0.370943 s
1800.05/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/node25/watcher-356922-1176848484 -o ROOT/results/node25/solver-356922-1176848484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356922-1176848484/instance-356922-1176848484.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.97 3/64 16096
/proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=1468 CPUtime=0
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132765572 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 367 161 126 317 0 46 0

[startup+0.103271 s]
/proc/loadavg: 0.92 0.97 0.97 3/64 16096
/proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=3244 CPUtime=0.09
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 132765572 3321856 587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 811 587 131 317 0 490 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3244

[startup+0.201287 s]
/proc/loadavg: 0.92 0.97 0.97 3/64 16096
/proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=5488 CPUtime=0.19
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 1216 0 0 0 19 0 0 0 19 0 1 0 132765572 5619712 1165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 1372 1165 131 317 0 1051 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5488

[startup+0.301304 s]
/proc/loadavg: 0.92 0.97 0.97 3/64 16096
/proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=7736 CPUtime=0.29
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 1788 0 0 0 29 0 0 0 19 0 1 0 132765572 7921664 1737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 1934 1737 131 317 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7736

[startup+0.701372 s]
/proc/loadavg: 0.92 0.97 0.97 3/64 16096
/proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=16776 CPUtime=0.69
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 3964 0 0 0 67 2 0 0 23 0 1 0 132765572 17178624 3913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 4194 3913 131 317 0 3873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16776

[startup+1.50151 s]
/proc/loadavg: 0.92 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1748680/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=33496 CPUtime=1.49
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 7811 0 0 0 146 3 0 0 25 0 1 0 132765572 34299904 7760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 8374 7761 131 317 0 8053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33496

[startup+3.10179 s]
/proc/loadavg: 0.92 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1725640/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=76148 CPUtime=3.09
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 18097 0 0 0 300 9 0 0 25 0 1 0 132765572 77975552 18046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712872 0 0 4096 17474 0 0 0 17 0 0 0
/proc/16096/statm: 19037 18046 137 317 0 18716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76148

[startup+6.30133 s]
/proc/loadavg: 0.93 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1686088/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=89484 CPUtime=6.28
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 21412 0 0 0 619 9 0 0 25 0 1 0 132765572 91631616 21327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 22371 21327 139 317 0 22050 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 89484

[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1684936/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=90796 CPUtime=12.68
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 21734 0 0 0 1258 10 0 0 25 0 1 0 132765572 92975104 21649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 22699 21649 139 317 0 22378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90796

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1682056/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=93548 CPUtime=25.48
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 22432 0 0 0 2537 11 0 0 25 0 1 0 132765572 95793152 22347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 23387 22347 139 317 0 23066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93548

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1677576/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=98020 CPUtime=51.07
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 23562 0 0 0 5095 12 0 0 25 0 1 0 132765572 100372480 23477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 24505 23477 139 317 0 24184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98020

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.97 2/65 16097
/proc/meminfo: memFree=1669000/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=106452 CPUtime=102.26
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 25697 0 0 0 10212 14 0 0 25 0 1 0 132765572 109006848 25612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 26613 25612 139 317 0 26292 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106452

[startup+162.302 s]
/proc/loadavg: 1.04 0.99 0.98 2/65 16097
/proc/meminfo: memFree=1662984/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=112536 CPUtime=162.23
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 27217 0 0 0 16208 15 0 0 25 0 1 0 132765572 115236864 27132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 28134 27132 139 317 0 27813 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 112536

[startup+222.305 s]
/proc/loadavg: 1.06 1.00 0.98 2/65 16097
/proc/meminfo: memFree=1652744/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=122852 CPUtime=222.21
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 29791 0 0 0 22204 17 0 0 25 0 1 0 132765572 125800448 29641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 30713 29641 139 317 0 30392 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 122852

[startup+282.302 s]
/proc/loadavg: 1.05 1.01 0.99 2/65 16097
/proc/meminfo: memFree=1646088/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=129484 CPUtime=282.19
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 31461 0 0 0 28201 18 0 0 25 0 1 0 132765572 132591616 31311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 32371 31311 139 317 0 32050 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 129484

[startup+342.303 s]
/proc/loadavg: 1.13 1.04 1.00 2/65 16097
/proc/meminfo: memFree=1634632/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=141484 CPUtime=342.16
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 34317 0 0 0 34197 19 0 0 25 0 1 0 132765572 144879616 34167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 35371 34167 139 317 0 35050 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 141484

[startup+402.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 16097
/proc/meminfo: memFree=1629128/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=146996 CPUtime=402.14
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 35669 0 0 0 40194 20 0 0 25 0 1 0 132765572 150523904 35519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606886 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 36749 35519 139 317 0 36428 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 146996

[startup+462.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 16097
/proc/meminfo: memFree=1621000/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=154664 CPUtime=462.11
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 37717 0 0 0 46190 21 0 0 25 0 1 0 132765572 158375936 37567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 38666 37567 139 317 0 38345 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 154664

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 16097
/proc/meminfo: memFree=1614152/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=161492 CPUtime=522.09
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 39409 0 0 0 52186 23 0 0 25 0 1 0 132765572 165367808 39259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 40373 39259 139 317 0 40052 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 161492

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16097
/proc/meminfo: memFree=1610888/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=164820 CPUtime=582.07
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 40217 0 0 0 58183 24 0 0 25 0 1 0 132765572 168775680 40067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 41205 40067 139 317 0 40884 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 164820

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16097
/proc/meminfo: memFree=1605448/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=170612 CPUtime=642.05
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 41601 0 0 0 64180 25 0 0 25 0 1 0 132765572 174706688 41451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 42653 41451 139 317 0 42332 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 170612


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16097
/proc/meminfo: memFree=1593992/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=182652 CPUtime=821.98
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 44583 0 0 0 82171 27 0 0 25 0 1 0 132765572 187035648 44304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 45663 44304 139 317 0 45342 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 182652

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16097
/proc/meminfo: memFree=1589320/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=187200 CPUtime=881.97
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 45720 0 0 0 88169 28 0 0 25 0 1 0 132765572 191692800 45441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 46800 45441 139 317 0 46479 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 187200

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16097
/proc/meminfo: memFree=1585672/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=190756 CPUtime=941.94
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 46655 0 0 0 94166 28 0 0 25 0 1 0 132765572 195334144 46376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 47689 46376 139 317 0 47368 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 190756

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1581832/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=194316 CPUtime=1001.92
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 47598 0 0 0 100163 29 0 0 25 0 1 0 132765572 198979584 47319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 48579 47319 139 317 0 48258 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 194316

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1577672/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=198276 CPUtime=1061.9
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 48628 0 0 0 106160 30 0 0 25 0 1 0 132765572 203034624 48349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 49569 48349 139 317 0 49248 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 198276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1575432/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=200392 CPUtime=1121.88
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 49172 0 0 0 112158 30 0 0 25 0 1 0 132765572 205201408 48893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 50098 48893 139 317 0 49777 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 200392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1572616/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=203152 CPUtime=1181.86
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 49894 0 0 0 118155 31 0 0 25 0 1 0 132765572 208027648 49615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 50788 49615 139 317 0 50467 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 203152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1567624/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=209240 CPUtime=1241.83
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 51143 0 0 0 124152 31 0 0 25 0 1 0 132765572 214261760 50864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 52310 50864 139 317 0 51989 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 209240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1561160/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=217436 CPUtime=1301.81
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 52737 0 0 0 130149 32 0 0 25 0 1 0 132765572 222654464 52458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 54359 52458 139 317 0 54038 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 217436

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1557832/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=221080 CPUtime=1361.8
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 53552 0 0 0 136147 33 0 0 25 0 1 0 132765572 226385920 53273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 55270 53273 139 317 0 54949 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 221080

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1555784/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=223072 CPUtime=1421.77
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 54049 0 0 0 142144 33 0 0 25 0 1 0 132765572 228425728 53770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 55768 53770 139 317 0 55447 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 223072

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1553160/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=225460 CPUtime=1481.75
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 54697 0 0 0 148141 34 0 0 25 0 1 0 132765572 230871040 54418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 56365 54418 139 317 0 56044 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 225460

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1550984/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=227596 CPUtime=1541.73
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 55232 0 0 0 154139 34 0 0 25 0 1 0 132765572 233058304 54953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 56899 54953 139 317 0 56578 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 227596

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1546568/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=232944 CPUtime=1601.71
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 56354 0 0 0 160136 35 0 0 25 0 1 0 132765572 238534656 56075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 58236 56075 139 317 0 57915 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 232944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1543624/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=236060 CPUtime=1661.68
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 57120 0 0 0 166133 35 0 0 25 0 1 0 132765572 241725440 56841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 59015 56841 139 317 0 58694 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 236060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1542024/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=237512 CPUtime=1721.67
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 57518 0 0 0 172131 36 0 0 25 0 1 0 132765572 243212288 57239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 59378 57239 139 317 0 59057 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 237512

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1539656/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=240092 CPUtime=1781.64
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 58102 0 0 0 178128 36 0 0 25 0 1 0 132765572 245854208 57823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 60023 57823 139 317 0 59702 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 240092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16099
/proc/meminfo: memFree=1539080/2055920 swapFree=4166424/4192956
[pid=16096] ppid=16094 vsize=240608 CPUtime=1800.05
/proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 58247 0 0 0 179968 37 0 0 25 0 1 0 132765572 246382592 57968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16096/statm: 60152 57968 139 317 0 59831 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 240608

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.8
CPU time (s): 1800.15
CPU user time (s): 1799.74
CPU system time (s): 0.409937
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 240608

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

runsolver used 1.19882 second user time and 3.76443 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue Apr 17 22:21:25 UTC 2007

IDJOB= 356922
IDBENCH= 1643
IDSOLVER= 172
FILE ID= node25/356922-1176848484

PBS_JOBID= 4590194

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  542c2b53b45e753224c38b905fee77fb

RANDOM SEED= 815127994

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1771624 kB
Buffers:         22568 kB
Cached:         193080 kB
SwapCached:      20788 kB
Active:          44264 kB
Inactive:       197792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771624 kB
SwapTotal:     4192956 kB
SwapFree:      4166424 kB
Dirty:           10524 kB
Writeback:           0 kB
Mapped:          15336 kB
Slab:            28296 kB
Committed_AS:  2111584 kB
PageTables:       1472 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= 66471 MiB

End job on node25 on Tue Apr 17 22:51:28 UTC 2007