Trace number 357225

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.37 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3704.opb
MD5SUM79102a590238a8abf70853775a775dcb
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5001200569
Best CPU time to get the best result obtained on this benchmark1804.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5001200569
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29675972066390
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29675972066390
Number of bits of the biggest sum of numbers45
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.29/2.35	c ...done
2.29/2.35	c #vars=155000 #constraints=5301 hasObjective=yes
4.19/4.28	c res. mode=mod
4.19/4.28	c VSIDS like heuristics
4.19/4.28	c complete search running
5.50/5.55	c restart after 401 decisions
5.69/5.78	c nbDecision=500 #constraints=5301
6.39/6.47	c restart after 801 decisions
6.89/6.91	c nbDecision=1000 #constraints=5301
7.99/8.05	c nbDecision=1500 #constraints=5301
8.19/8.29	c restart after 1601 decisions
9.09/9.18	c nbDecision=2000 #constraints=5301
10.29/10.32	c nbDecision=2500 #constraints=5301
11.39/11.46	c nbDecision=3000 #constraints=5301
11.89/11.91	c restart after 3201 decisions
12.49/12.59	c nbDecision=3500 #constraints=5301
13.69/13.72	c nbDecision=4000 #constraints=5301
14.79/14.84	c nbDecision=4500 #constraints=5301
15.89/15.97	c nbDecision=5000 #constraints=5301
17.09/17.10	c nbDecision=5500 #constraints=5301
18.19/18.22	c nbDecision=6000 #constraints=5301
19.09/19.12	c restart after 6401 decisions
19.29/19.35	c nbDecision=6500 #constraints=5301
20.39/20.48	c nbDecision=7000 #constraints=5301
21.59/21.61	c nbDecision=7500 #constraints=5301
22.69/22.75	c nbDecision=8000 #constraints=5301
23.79/23.89	c nbDecision=8500 #constraints=5301
24.99/25.02	c nbDecision=9000 #constraints=5301
26.09/26.16	c nbDecision=9500 #constraints=5301
27.19/27.29	c nbDecision=10000 #constraints=5301
28.39/28.43	c nbDecision=10500 #constraints=5301
29.49/29.55	c nbDecision=11000 #constraints=5301
30.59/30.68	c nbDecision=11500 #constraints=5301
31.79/31.81	c nbDecision=12000 #constraints=5301
32.89/32.93	c nbDecision=12500 #constraints=5301
33.58/33.60	c restart after 12801 decisions
33.99/34.06	c nbDecision=13000 #constraints=5301
35.09/35.19	c nbDecision=13500 #constraints=5301
36.29/36.32	c nbDecision=14000 #constraints=5301
37.39/37.45	c nbDecision=14500 #constraints=5301
38.49/38.57	c nbDecision=15000 #constraints=5301
39.68/39.70	c nbDecision=15500 #constraints=5301
40.78/40.82	c nbDecision=16000 #constraints=5301
41.88/41.94	c nbDecision=16500 #constraints=5301
42.98/43.07	c nbDecision=17000 #constraints=5301
44.18/44.20	c nbDecision=17500 #constraints=5301
45.28/45.33	c nbDecision=18000 #constraints=5301
46.38/46.45	c nbDecision=18500 #constraints=5301
47.48/47.58	c nbDecision=19000 #constraints=5301
48.68/48.71	c nbDecision=19500 #constraints=5301
49.78/49.83	c nbDecision=20000 #constraints=5301
50.88/50.95	c nbDecision=20500 #constraints=5301
51.98/52.06	c nbDecision=21000 #constraints=5301
53.08/53.15	c nbDecision=21500 #constraints=5301
54.18/54.26	c nbDecision=22000 #constraints=5301
55.28/55.36	c nbDecision=22500 #constraints=5301
56.48/56.51	c nbDecision=23000 #constraints=5303
57.48/57.58	c nbDecision=23500 #constraints=5303
58.58/58.67	c nbDecision=24000 #constraints=5303
59.67/59.77	c nbDecision=24500 #constraints=5303
62.38/62.44	c nbDecision=25000 #constraints=5364
63.48/63.53	c nbDecision=25500 #constraints=5364
63.68/63.76	c restart after 25601 decisions
64.58/64.69	c nbDecision=26000 #constraints=5364
65.78/65.83	c nbDecision=26500 #constraints=5364
66.88/66.96	c nbDecision=27000 #constraints=5364
67.98/68.06	c nbDecision=27500 #constraints=5364
69.08/69.19	c nbDecision=28000 #constraints=5364
70.28/70.32	c nbDecision=28500 #constraints=5364
71.38/71.45	c nbDecision=29000 #constraints=5364
72.48/72.58	c nbDecision=29500 #constraints=5364
73.68/73.70	c nbDecision=30000 #constraints=5364
74.78/74.82	c nbDecision=30500 #constraints=5364
75.88/75.94	c nbDecision=31000 #constraints=5364
76.98/77.05	c nbDecision=31500 #constraints=5364
78.08/78.17	c nbDecision=32000 #constraints=5364
79.18/79.28	c nbDecision=32500 #constraints=5364
80.28/80.39	c nbDecision=33000 #constraints=5364
81.47/81.50	c nbDecision=33500 #constraints=5364
82.57/82.61	c nbDecision=34000 #constraints=5364
83.67/83.72	c nbDecision=34500 #constraints=5364
84.77/84.84	c nbDecision=35000 #constraints=5364
85.87/85.96	c nbDecision=35500 #constraints=5364
87.07/87.10	c nbDecision=36000 #constraints=5364
88.17/88.23	c nbDecision=36500 #constraints=5364
89.27/89.36	c nbDecision=37000 #constraints=5364
90.37/90.49	c nbDecision=37500 #constraints=5364
91.57/91.65	c nbDecision=38000 #constraints=5364
92.67/92.74	c nbDecision=38500 #constraints=5364
93.77/93.82	c nbDecision=39000 #constraints=5364
94.87/94.92	c nbDecision=39500 #constraints=5365
95.87/95.99	c nbDecision=40000 #constraints=5365
96.97/97.07	c nbDecision=40500 #constraints=5365
98.07/98.14	c nbDecision=41000 #constraints=5365
99.27/99.30	c nbDecision=41500 #constraints=5368
100.27/100.38	c nbDecision=42000 #constraints=5368
101.37/101.45	c nbDecision=42500 #constraints=5368
104.07/104.18	c nbDecision=43000 #constraints=5417
107.26/107.37	c nbDecision=43500 #constraints=5483
109.97/110.06	c nbDecision=44000 #constraints=5525
115.47/115.58	c nbDecision=44500 #constraints=5647
130.26/130.30	c nbDecision=45000 #constraints=5861
134.66/134.71	c nbDecision=45500 #constraints=5907
136.15/136.21	c nbDecision=46000 #constraints=5913
139.86/139.96	c nbDecision=46500 #constraints=5978
144.26/144.33	c nbDecision=47000 #constraints=6045
151.95/152.00	c nbDecision=47500 #constraints=6154
153.85/153.98	c nbDecision=48000 #constraints=6164
162.06/162.16	c nbDecision=48500 #constraints=6302
164.36/164.47	c nbDecision=49000 #constraints=6316
165.75/165.83	c nbDecision=49500 #constraints=6320
167.16/167.24	c nbDecision=50000 #constraints=6324
172.65/172.74	c nbDecision=50500 #constraints=6407
185.95/186.04	c nbDecision=51000 #constraints=6579
187.85/187.92	c restart after 51201 decisions
189.35/189.42	c nbDecision=51500 #constraints=6595
190.45/190.59	c nbDecision=52000 #constraints=6595
191.64/191.78	c nbDecision=52500 #constraints=6595
192.84/192.94	c nbDecision=53000 #constraints=6595
194.04/194.11	c nbDecision=53500 #constraints=6595
195.14/195.26	c nbDecision=54000 #constraints=6595
196.34/196.43	c nbDecision=54500 #constraints=6595
197.44/197.58	c nbDecision=55000 #constraints=6595
198.64/198.75	c nbDecision=55500 #constraints=6595
199.84/199.91	c nbDecision=56000 #constraints=6595
200.94/201.07	c nbDecision=56500 #constraints=6595
202.14/202.22	c nbDecision=57000 #constraints=6595
203.24/203.39	c nbDecision=57500 #constraints=6595
204.44/204.53	c nbDecision=58000 #constraints=6595
205.54/205.69	c nbDecision=58500 #constraints=6595
206.74/206.85	c nbDecision=59000 #constraints=6595
207.94/208.04	c nbDecision=59500 #constraints=6595
209.04/209.19	c nbDecision=60000 #constraints=6595
210.24/210.35	c nbDecision=60500 #constraints=6595
211.44/211.50	c nbDecision=61000 #constraints=6595
212.54/212.69	c nbDecision=61500 #constraints=6595
213.74/213.86	c nbDecision=62000 #constraints=6595
214.94/215.01	c nbDecision=62500 #constraints=6595
216.04/216.16	c nbDecision=63000 #constraints=6595
217.34/217.41	c nbDecision=63500 #constraints=6595
218.43/218.53	c nbDecision=64000 #constraints=6595
219.53/219.65	c nbDecision=64500 #constraints=6595
220.63/220.79	c nbDecision=65000 #constraints=6595
221.83/221.94	c nbDecision=65500 #constraints=6595
222.93/223.06	c nbDecision=66000 #constraints=6595
224.03/224.18	c nbDecision=66500 #constraints=6595
225.23/225.33	c nbDecision=67000 #constraints=6595
226.33/226.46	c nbDecision=67500 #constraints=6595
227.43/227.58	c nbDecision=68000 #constraints=6595
229.54/229.60	c nbDecision=68500 #constraints=6605
232.34/232.44	c nbDecision=69000 #constraints=6626
235.34/235.49	c nbDecision=69500 #constraints=6665
241.93/242.05	c nbDecision=70000 #constraints=6743
243.63/243.73	c nbDecision=70500 #constraints=6750
256.53/256.61	c nbDecision=71000 #constraints=6895
262.03/262.11	c nbDecision=71500 #constraints=6933
263.93/264.08	c nbDecision=72000 #constraints=6941
276.13/276.26	c nbDecision=72500 #constraints=7085
281.12/281.22	c nbDecision=73000 #constraints=7118
283.63/283.70	c nbDecision=73500 #constraints=7142
294.32/294.49	c nbDecision=74000 #constraints=7267
304.82/304.95	c nbDecision=74500 #constraints=7379
306.72/306.83	c nbDecision=75000 #constraints=7387
316.12/316.22	c nbDecision=75500 #constraints=7499
318.52/318.68	c nbDecision=76000 #constraints=7510
322.22/322.37	c nbDecision=76500 #constraints=7550
332.81/332.98	c nbDecision=77000 #constraints=7681
336.81/336.96	c nbDecision=77500 #constraints=7716
359.00/359.17	c nbDecision=78000 #constraints=7926
367.71/367.84	c nbDecision=78500 #constraints=7980
370.61/370.79	c nbDecision=79000 #constraints=7993
379.80/379.92	c nbDecision=79500 #constraints=8096
381.30/381.47	c nbDecision=80000 #constraints=8101
402.60/402.76	c nbDecision=80500 #constraints=8330
409.89/410.06	c nbDecision=81000 #constraints=8374
412.99/413.14	c nbDecision=81500 #constraints=8388
416.89/417.08	c nbDecision=82000 #constraints=8433
424.99/425.18	c nbDecision=82500 #constraints=8505
426.60/426.72	c nbDecision=83000 #constraints=8508
456.39/456.51	c nbDecision=83500 #constraints=8787
477.67/477.83	c nbDecision=84000 #constraints=8916
482.88/483.08	c nbDecision=84500 #constraints=8942
486.57/486.71	c nbDecision=85000 #constraints=8967
498.37/498.53	c nbDecision=85500 #constraints=9079
511.17/511.32	c nbDecision=86000 #constraints=9182
513.77/513.94	c nbDecision=86500 #constraints=9190
516.17/516.38	c nbDecision=87000 #constraints=9199
534.76/534.90	c nbDecision=87500 #constraints=9370
539.56/539.73	c nbDecision=88000 #constraints=9395
542.16/542.35	c nbDecision=88500 #constraints=9405
563.46/563.68	c nbDecision=89000 #constraints=9590
570.25/570.45	c nbDecision=89500 #constraints=9625
573.76/573.94	c nbDecision=90000 #constraints=9642
576.36/576.55	c nbDecision=90500 #constraints=9661
613.04/613.23	c nbDecision=91000 #constraints=9888
622.54/622.77	c nbDecision=91500 #constraints=9932
625.34/625.53	c nbDecision=92000 #constraints=9941
633.54/633.71	c nbDecision=92500 #constraints=9987
635.04/635.29	c nbDecision=93000 #constraints=9989
654.43/654.63	c nbDecision=93500 #constraints=10122
660.63/660.89	c nbDecision=94000 #constraints=10149
662.63/662.85	c nbDecision=94500 #constraints=10153
677.13/677.35	c nbDecision=95000 #constraints=10228
682.53/682.74	c nbDecision=95500 #constraints=10245
686.02/686.20	c nbDecision=96000 #constraints=10255
699.82/700.04	c nbDecision=96500 #constraints=10331
706.12/706.35	c nbDecision=97000 #constraints=10354
708.92/709.12	c nbDecision=97500 #constraints=10361
742.61/742.83	c nbDecision=98000 #constraints=10554
758.31/758.51	c nbDecision=98500 #constraints=10615
762.12/762.34	c nbDecision=99000 #constraints=10628
768.20/768.48	c nbDecision=99500 #constraints=10661
769.60/769.87	c nbDecision=100000 #constraints=10663
786.01/786.20	c nbDecision=100500 #constraints=10781
795.90/796.12	c nbDecision=101000 #constraints=10819
798.90/799.17	c nbDecision=101500 #constraints=10827
800.60/800.83	c nbDecision=102000 #constraints=10830
837.09/837.37	c restart after 102401 decisions
843.79/844.00	c nbDecision=102500 #constraints=11043
844.99/845.27	c nbDecision=103000 #constraints=11043
846.39/846.62	c nbDecision=103500 #constraints=11043
847.69/847.90	c nbDecision=104000 #constraints=11043
849.00/849.23	c nbDecision=104500 #constraints=11043
850.19/850.47	c nbDecision=105000 #constraints=11043
851.59/851.81	c nbDecision=105500 #constraints=11043
852.79/853.05	c nbDecision=106000 #constraints=11043
854.09/854.37	c nbDecision=106500 #constraints=11043
855.39/855.68	c nbDecision=107000 #constraints=11043
856.69/856.98	c nbDecision=107500 #constraints=11043
857.99/858.23	c nbDecision=108000 #constraints=11043
859.29/859.57	c nbDecision=108500 #constraints=11043
860.59/860.82	c nbDecision=109000 #constraints=11043
861.89/862.13	c nbDecision=109500 #constraints=11043
863.09/863.39	c nbDecision=110000 #constraints=11043
864.49/864.80	c nbDecision=110500 #constraints=11043
865.79/866.06	c nbDecision=111000 #constraints=11043
867.08/867.39	c nbDecision=111500 #constraints=11043
868.38/868.65	c nbDecision=112000 #constraints=11043
869.79/870.08	c nbDecision=112500 #constraints=11043
871.18/871.42	c nbDecision=113000 #constraints=11043
872.38/872.69	c nbDecision=113500 #constraints=11043
873.68/873.96	c nbDecision=114000 #constraints=11043
875.29/875.60	c nbDecision=114500 #constraints=11043
876.58/876.87	c nbDecision=115000 #constraints=11043
877.78/878.09	c nbDecision=115500 #constraints=11043
879.18/879.40	c nbDecision=116000 #constraints=11043
880.48/880.76	c nbDecision=116500 #constraints=11043
881.68/881.99	c nbDecision=117000 #constraints=11043
882.98/883.30	c nbDecision=117500 #constraints=11043
884.28/884.53	c nbDecision=118000 #constraints=11043
885.68/885.93	c nbDecision=118500 #constraints=11043
886.98/887.22	c nbDecision=119000 #constraints=11043
888.18/888.45	c nbDecision=119500 #constraints=11043
903.07/903.37	c nbDecision=120000 #constraints=11097
906.98/907.25	c nbDecision=120500 #constraints=11109
925.27/925.53	c nbDecision=121000 #constraints=11254
969.06/969.31	c nbDecision=121500 #constraints=11479
975.86/976.13	c nbDecision=122000 #constraints=11500
992.76/993.09	c nbDecision=122500 #constraints=11624
996.95/997.23	c nbDecision=123000 #constraints=11645
999.45/999.71	c nbDecision=123500 #constraints=11656
1016.65/1016.93	c nbDecision=124000 #constraints=11736
1019.65/1019.91	c nbDecision=124500 #constraints=11743
1022.55/1022.83	c nbDecision=125000 #constraints=11752
1056.04/1056.37	c nbDecision=125500 #constraints=11913
1066.94/1067.27	c nbDecision=126000 #constraints=11943
1069.84/1070.17	c nbDecision=126500 #constraints=11949
1109.63/1109.94	c nbDecision=127000 #constraints=12129
1117.83/1118.15	c nbDecision=127500 #constraints=12154
1119.82/1120.11	c nbDecision=128000 #constraints=12157
1133.12/1133.40	c nbDecision=128500 #constraints=12244
1145.12/1145.46	c nbDecision=129000 #constraints=12318
1147.82/1148.16	c nbDecision=129500 #constraints=12327
1163.91/1164.21	c nbDecision=130000 #constraints=12414
1169.02/1169.31	c nbDecision=130500 #constraints=12432
1176.71/1177.06	c nbDecision=131000 #constraints=12472
1235.50/1235.86	c nbDecision=131500 #constraints=12788
1260.19/1260.53	c nbDecision=132000 #constraints=12877
1268.79/1269.11	c nbDecision=132500 #constraints=12909
1272.69/1273.01	c nbDecision=133000 #constraints=12922
1313.28/1313.63	c nbDecision=133500 #constraints=13127
1319.98/1320.33	c nbDecision=134000 #constraints=13150
1323.17/1323.53	c nbDecision=134500 #constraints=13158
1357.67/1358.00	c nbDecision=135000 #constraints=13338
1368.96/1369.32	c nbDecision=135500 #constraints=13381
1375.97/1376.32	c nbDecision=136000 #constraints=13412
1378.27/1378.64	c nbDecision=136500 #constraints=13417
1405.55/1405.95	c nbDecision=137000 #constraints=13526
1410.25/1410.60	c nbDecision=137500 #constraints=13538
1414.66/1415.08	c nbDecision=138000 #constraints=13555
1470.64/1471.08	c nbDecision=138500 #constraints=13765
1480.64/1481.01	c nbDecision=139000 #constraints=13793
1483.55/1483.92	c nbDecision=139500 #constraints=13798
1520.53/1520.91	c nbDecision=140000 #constraints=13929
1526.53/1526.97	c nbDecision=140500 #constraints=13941
1569.22/1569.62	c nbDecision=141000 #constraints=14098
1587.01/1587.50	c nbDecision=141500 #constraints=14145
1593.42/1593.83	c nbDecision=142000 #constraints=14160
1606.41/1606.89	c nbDecision=142500 #constraints=14228
1665.30/1665.71	c nbDecision=143000 #constraints=14467
1696.39/1696.82	c nbDecision=143500 #constraints=14565
1703.89/1704.36	c nbDecision=144000 #constraints=14586
1708.19/1708.69	c nbDecision=144500 #constraints=14598
1762.07/1762.51	c nbDecision=145000 #constraints=14788
1791.86/1792.37	c nbDecision=145500 #constraints=14881
1799.96/1800.41	c nbDecision=146000 #constraints=14903
1800.07/1800.50	Received signal 15
1800.07/1800.53	
1800.07/1800.53	s UNKNOWN
1800.07/1800.53	
1800.07/1800.53	c user time= 1798.53 s
1800.07/1800.53	c system time= 1.57376 s
1800.07/1800.53	c wall clock time=1800.53

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/node41/watcher-357225-1176991692 -o ROOT/results/node41/solver-357225-1176991692 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.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.98 0.96 3/77 19972
/proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=1468 CPUtime=0
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147081192 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 367 161 127 317 0 46 0

[startup+0.0451619 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19972
/proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=2400 CPUtime=0.04
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 455 0 0 0 4 0 0 0 18 0 1 0 147081192 2457600 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 600 339 127 317 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2400

[startup+0.101165 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19972
/proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=3440 CPUtime=0.09
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 147081192 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 860 558 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301183 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19972
/proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=5520 CPUtime=0.29
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 1654 0 0 0 29 0 0 0 19 0 1 0 147081192 5652480 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 1380 1152 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701218 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19972
/proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=9548 CPUtime=0.69
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 147081192 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 2387 1776 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1660816/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=25676 CPUtime=1.49
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 6412 0 0 0 146 3 0 0 25 0 1 0 147081192 26292224 5397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 6419 5400 131 317 0 6098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25676

[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1642128/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=54280 CPUtime=3.09
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 13445 0 0 0 303 6 0 0 25 0 1 0 147081192 55582720 12430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 13570 12430 137 317 0 13249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54280

[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1618640/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=59032 CPUtime=6.29
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 622 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1618768/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=59032 CPUtime=12.69
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 1262 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59032

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1618832/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=59032 CPUtime=25.49
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 2542 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59032

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1618896/2055920 swapFree=4135144/4192956
[pid=19972] ppid=19970 vsize=59032 CPUtime=51.08
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 5101 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59032

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1608464/2055920 swapFree=4135208/4192956
[pid=19972] ppid=19970 vsize=71200 CPUtime=102.27
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 17407 0 0 0 10219 8 0 0 25 0 1 0 147081192 72908800 16345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 17800 16345 139 317 0 17479 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71200

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1482576/2055920 swapFree=4135208/4192956
[pid=19972] ppid=19970 vsize=205600 CPUtime=162.26
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 49393 0 0 0 16206 20 0 0 25 0 1 0 147081192 210534400 47950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 51400 47950 170 317 0 51079 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 205600

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1429456/2055920 swapFree=4135272/4192956
[pid=19972] ppid=19970 vsize=263916 CPUtime=222.23
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 62578 0 0 0 22197 26 0 0 25 0 1 0 147081192 270249984 60960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 65979 60960 170 317 0 65658 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 263916

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1367248/2055920 swapFree=4135272/4192956
[pid=19972] ppid=19970 vsize=327728 CPUtime=282.22
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 78503 0 0 0 28190 32 0 0 25 0 1 0 147081192 335593472 76622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714061 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 81932 76622 170 317 0 81611 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 327728

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1258832/2055920 swapFree=4135272/4192956
[pid=19972] ppid=19970 vsize=454868 CPUtime=342.21
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 105798 0 0 0 34176 45 0 0 25 0 1 0 147081192 465784832 103585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 113717 103585 170 317 0 113396 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 454868

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1193296/2055920 swapFree=4135336/4192956
[pid=19972] ppid=19970 vsize=519552 CPUtime=402.2
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 122531 0 0 0 40167 53 0 0 25 0 1 0 147081192 532021248 120051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 129888 120051 170 317 0 129567 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 519552

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1131856/2055920 swapFree=4135336/4192956
[pid=19972] ppid=19970 vsize=579908 CPUtime=462.18
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 137985 0 0 0 46159 59 0 0 25 0 1 0 147081192 593825792 135286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 144977 135286 170 317 0 144656 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 579908

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=1081232/2055920 swapFree=4135400/4192956
[pid=19972] ppid=19970 vsize=633808 CPUtime=522.17
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 151119 0 0 0 52154 63 0 0 25 0 1 0 147081192 649019392 148162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 158452 148162 170 317 0 158131 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 633808

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=975504/2055920 swapFree=4135400/4192956
[pid=19972] ppid=19970 vsize=780244 CPUtime=582.16
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 177471 0 0 0 58141 75 0 0 25 0 1 0 147081192 798969856 174306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 195061 174306 170 317 0 194740 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 780244

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19973
/proc/meminfo: memFree=934416/2055920 swapFree=4135468/4192956
[pid=19972] ppid=19970 vsize=819936 CPUtime=642.15
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 187780 0 0 0 64134 81 0 0 25 0 1 0 147081192 839614464 184445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 204984 184445 170 317 0 204663 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 819936


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

[startup+942.303 s]
/proc/loadavg: 1.02 1.03 0.99 2/78 19973
/proc/meminfo: memFree=770320/2055920 swapFree=4135596/4192956
[pid=19972] ppid=19970 vsize=980200 CPUtime=942.07
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 229069 0 0 0 94106 101 0 0 25 0 1 0 147081192 1003724800 225477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 245050 225477 170 317 0 244729 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 980200

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 19973
/proc/meminfo: memFree=732496/2055920 swapFree=4135596/4192956
[pid=19972] ppid=19970 vsize=1016632 CPUtime=1002.06
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 238506 0 0 0 100100 106 0 0 25 0 1 0 147081192 1041031168 234869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 254158 234869 170 317 0 253837 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1016632

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 19973
/proc/meminfo: memFree=700752/2055920 swapFree=4135596/4192956
[pid=19972] ppid=19970 vsize=1047808 CPUtime=1062.04
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 246581 0 0 0 106095 109 0 0 25 0 1 0 147081192 1072955392 242832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 261952 242832 170 317 0 261631 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1047808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 19973
/proc/meminfo: memFree=671056/2055920 swapFree=4135660/4192956
[pid=19972] ppid=19970 vsize=1076752 CPUtime=1122.02
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 254160 0 0 0 112090 112 0 0 25 0 1 0 147081192 1102594048 250272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 269188 250272 170 317 0 268867 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1076752

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=629136/2055920 swapFree=4135660/4192956
[pid=19972] ppid=19970 vsize=1118512 CPUtime=1182
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 264869 0 0 0 118083 117 0 0 25 0 1 0 147081192 1145356288 260852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 279628 260852 170 317 0 279307 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1118512

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=592208/2055920 swapFree=4135724/4192956
[pid=19972] ppid=19970 vsize=1154024 CPUtime=1242
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 274011 0 0 0 124079 121 0 0 25 0 1 0 147081192 1181720576 269848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564068 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 288506 269848 170 317 0 288185 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1154024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=558864/2055920 swapFree=4135724/4192956
[pid=19972] ppid=19970 vsize=1186876 CPUtime=1301.99
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 282409 0 0 0 130075 124 0 0 25 0 1 0 147081192 1215361024 278139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 296719 278139 170 317 0 296398 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1186876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=528336/2055920 swapFree=4135724/4192956
[pid=19972] ppid=19970 vsize=1219924 CPUtime=1361.97
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 290111 0 0 0 136070 127 0 0 25 0 1 0 147081192 1249202176 285769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 304981 285769 170 317 0 304660 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1219924

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=403856/2055920 swapFree=4135788/4192956
[pid=19972] ppid=19970 vsize=1438832 CPUtime=1421.96
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 321161 0 0 0 142057 139 0 0 25 0 1 0 147081192 1473363968 316785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 359708 316785 170 317 0 359387 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1438832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=381136/2055920 swapFree=4135788/4192956
[pid=19972] ppid=19970 vsize=1463988 CPUtime=1481.93
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 326926 0 0 0 148052 141 0 0 25 0 1 0 147081192 1499123712 322516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 365997 322516 170 317 0 365676 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1463988

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=357776/2055920 swapFree=4135852/4192956
[pid=19972] ppid=19970 vsize=1489288 CPUtime=1541.92
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 332782 0 0 0 154047 145 0 0 25 0 1 0 147081192 1525030912 328318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713863 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 372322 328318 170 317 0 372001 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1489288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=329488/2055920 swapFree=4135852/4192956
[pid=19972] ppid=19970 vsize=1513544 CPUtime=1601.91
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 339973 0 0 0 160042 149 0 0 25 0 1 0 147081192 1549869056 335394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 378386 335394 170 317 0 378065 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1513544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=301520/2055920 swapFree=4135852/4192956
[pid=19972] ppid=19970 vsize=1543700 CPUtime=1661.9
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 347006 0 0 0 166038 152 0 0 25 0 1 0 147081192 1580748800 342340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 385925 342340 170 317 0 385604 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1543700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=274192/2055920 swapFree=4135916/4192956
[pid=19972] ppid=19970 vsize=1567720 CPUtime=1721.88
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 353967 0 0 0 172033 155 0 0 25 0 1 0 147081192 1605345280 349244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 391930 349244 170 317 0 391609 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1567720

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=252112/2055920 swapFree=4135916/4192956
[pid=19972] ppid=19970 vsize=1591348 CPUtime=1781.86
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 359414 0 0 0 178030 156 0 0 25 0 1 0 147081192 1629540352 354655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 397837 354655 170 317 0 397516 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1591348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 19973
/proc/meminfo: memFree=246096/2055920 swapFree=4135916/4192956
[pid=19972] ppid=19970 vsize=1597768 CPUtime=1800.07
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 360923 0 0 0 179850 157 0 0 25 0 1 0 147081192 1636114432 356119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 399442 356119 170 317 0 399121 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1597768

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 19974
/proc/meminfo: memFree=412040/2055920 swapFree=4135916/4192956
[pid=19972] ppid=19970 vsize=0 CPUtime=1800.17
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194308 360939 0 0 0 179857 160 0 0 25 0 1 0 147081192 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 19974
/proc/meminfo: memFree=412040/2055920 swapFree=4135916/4192956
[pid=19972] ppid=19970 vsize=0 CPUtime=1800.37
/proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194308 360939 0 0 0 179857 180 0 0 25 0 1 0 147081192 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.37
CPU user time (s): 1798.57
CPU system time (s): 1.80372
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1597768

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

runsolver used 1.85872 second user time and 4.70228 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Thu Apr 19 14:08:13 UTC 2007

IDJOB= 357225
IDBENCH= 2286
IDSOLVER= 172
FILE ID= node41/357225-1176991692

PBS_JOBID= 4630436

Free space on /tmp= 66339 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
COMMAND LINE= oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-357225-1176991692 -o ROOT/results/node41/solver-357225-1176991692 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  79102a590238a8abf70853775a775dcb

RANDOM SEED= 45066246

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1673520 kB
Buffers:         37220 kB
Cached:         260976 kB
SwapCached:       2704 kB
Active:         110372 kB
Inactive:       211332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1673520 kB
SwapTotal:     4192956 kB
SwapFree:      4135144 kB
Dirty:            9924 kB
Writeback:           0 kB
Mapped:          31244 kB
Slab:            46088 kB
Committed_AS:  2563888 kB
PageTables:       2008 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= 66339 MiB

End job on node41 on Thu Apr 19 14:38:16 UTC 2007