Trace number 363728

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 alphaSAT (TO)1053 1800.26 1801.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM8aa1aebf70d33d96463ba96014c98682
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark0.096984
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved YES
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
Number of terms in the objective function 304
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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...
0.00/0.01	c ...done
0.00/0.01	c #vars=304 #constraints=672 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.01	c nbDecision=131 #constraints=675
0.00/0.01	c linear search for optimum
0.00/0.01	o 1065
0.00/0.02	c nbDecision=137 #constraints=678
0.00/0.02	o 1057
0.06/0.09	c restart after 401 decisions
0.06/0.09	c nbDecision=500 #constraints=770
0.09/0.14	c restart after 801 decisions
0.09/0.17	c nbDecision=1000 #constraints=849
0.29/0.34	c nbDecision=1500 #constraints=1012
0.29/0.36	c restart after 1601 decisions
0.39/0.46	c nbDecision=2000 #constraints=1098
0.59/0.62	c nbDecision=2500 #constraints=1215
0.79/0.82	c nbDecision=3000 #constraints=1370
0.79/0.88	c restart after 3201 decisions
0.89/0.99	c nbDecision=3500 #constraints=1462
1.10/1.20	c nbDecision=4000 #constraints=1578
1.49/1.57	c nbDecision=4500 #constraints=1791
1.79/1.86	c nbDecision=5000 #constraints=1936
2.09/2.14	c nbDecision=5500 #constraints=2052
2.49/2.57	c nbDecision=6000 #constraints=2256
2.79/2.84	c restart after 6401 decisions
2.89/2.93	c nbDecision=6500 #constraints=2352
3.39/3.45	c nbDecision=7000 #constraints=2556
3.79/3.86	c nbDecision=7500 #constraints=2674
4.29/4.39	c nbDecision=8000 #constraints=2821
4.89/4.98	c nbDecision=8500 #constraints=2950
5.59/5.60	c nbDecision=9000 #constraints=3100
6.09/6.12	c nbDecision=9500 #constraints=3197
6.98/7.08	c nbDecision=10000 #constraints=3393
7.78/7.84	c nbDecision=10500 #constraints=3515
8.58/8.66	c nbDecision=11000 #constraints=3641
9.59/9.60	c nbDecision=11500 #constraints=3762
10.79/10.84	c nbDecision=12000 #constraints=3956
11.69/11.77	c nbDecision=12500 #constraints=4074
12.68/12.73	c restart after 12801 decisions
13.28/13.32	c nbDecision=13000 #constraints=4233
14.58/14.65	c nbDecision=13500 #constraints=4395
16.08/16.19	c nbDecision=14000 #constraints=4554
17.99/18.00	c nbDecision=14500 #constraints=4781
19.79/19.83	c nbDecision=15000 #constraints=4941
21.78/21.86	c nbDecision=15500 #constraints=5088
23.98/24.07	c nbDecision=16000 #constraints=5308
26.18/26.26	c nbDecision=16500 #constraints=5453
28.68/28.79	c nbDecision=17000 #constraints=5666
31.08/31.10	c nbDecision=17500 #constraints=5821
33.98/34.03	c nbDecision=18000 #constraints=6004
36.97/37.06	c nbDecision=18500 #constraints=6194
40.57/40.62	c nbDecision=19000 #constraints=6389
42.48/42.58	c nbDecision=19500 #constraints=6502
44.68/44.70	c nbDecision=20000 #constraints=6641
46.87/46.99	c nbDecision=20500 #constraints=6767
49.57/49.61	c nbDecision=21000 #constraints=6903
52.17/52.20	c nbDecision=21500 #constraints=7042
54.67/54.76	c nbDecision=22000 #constraints=7174
57.77/57.80	c nbDecision=22500 #constraints=7347
60.66/60.73	c nbDecision=23000 #constraints=7523
64.06/64.14	c nbDecision=23500 #constraints=7696
67.36/67.42	c nbDecision=24000 #constraints=7840
71.67/71.76	c nbDecision=24500 #constraints=8011
75.66/75.77	c nbDecision=25000 #constraints=8178
79.96/80.08	c nbDecision=25500 #constraints=8357
80.96/81.05	c restart after 25601 decisions
84.36/84.41	c nbDecision=26000 #constraints=8503
88.96/89.08	c nbDecision=26500 #constraints=8692
93.56/93.63	c nbDecision=27000 #constraints=8866
96.36/96.46	c nbDecision=27500 #constraints=9010
99.45/99.55	c nbDecision=28000 #constraints=9135
103.55/103.62	c nbDecision=28500 #constraints=9339
106.65/106.77	c nbDecision=29000 #constraints=9468
109.96/110.01	c nbDecision=29500 #constraints=9592
113.35/113.49	c nbDecision=30000 #constraints=9715
118.25/118.33	c nbDecision=30500 #constraints=9934
121.85/121.94	c nbDecision=31000 #constraints=10072
126.44/126.56	c nbDecision=31500 #constraints=10250
130.64/130.79	c nbDecision=32000 #constraints=10413
135.34/135.43	c nbDecision=32500 #constraints=10565
140.93/141.07	c nbDecision=33000 #constraints=10826
146.04/146.12	c nbDecision=33500 #constraints=10987
151.64/151.74	c nbDecision=34000 #constraints=11139
157.73/157.85	c nbDecision=34500 #constraints=11368
162.92/163.05	c nbDecision=35000 #constraints=11505
169.83/169.96	c nbDecision=35500 #constraints=11725
175.32/175.49	c nbDecision=36000 #constraints=11891
181.72/181.81	c nbDecision=36500 #constraints=12060
188.21/188.38	c nbDecision=37000 #constraints=12236
196.01/196.15	c nbDecision=37500 #constraints=12419
199.91/200.09	c nbDecision=38000 #constraints=12530
204.62/204.77	c nbDecision=38500 #constraints=12684
209.21/209.35	c nbDecision=39000 #constraints=12811
214.51/214.68	c nbDecision=39500 #constraints=12946
219.91/220.05	c nbDecision=40000 #constraints=13078
224.70/224.88	c nbDecision=40500 #constraints=13227
230.81/230.98	c nbDecision=41000 #constraints=13383
236.30/236.43	c nbDecision=41500 #constraints=13548
242.69/242.90	c nbDecision=42000 #constraints=13733
248.70/248.87	c nbDecision=42500 #constraints=13874
256.29/256.47	c nbDecision=43000 #constraints=14029
264.29/264.40	c nbDecision=43500 #constraints=14220
271.99/272.18	c nbDecision=44000 #constraints=14383
279.99/280.19	c nbDecision=44500 #constraints=14589
288.78/288.90	c nbDecision=45000 #constraints=14767
297.58/297.77	c nbDecision=45500 #constraints=14950
305.27/305.42	c nbDecision=46000 #constraints=15169
311.97/312.18	c nbDecision=46500 #constraints=15335
318.47/318.63	c nbDecision=47000 #constraints=15474
327.67/327.86	c nbDecision=47500 #constraints=15740
334.66/334.82	c nbDecision=48000 #constraints=15900
342.86/343.07	c nbDecision=48500 #constraints=16063
350.76/350.98	c nbDecision=49000 #constraints=16208
358.75/358.99	c nbDecision=49500 #constraints=16360
368.65/368.82	c nbDecision=50000 #constraints=16568
377.15/377.36	c nbDecision=50500 #constraints=16773
386.34/386.51	c nbDecision=51000 #constraints=16961
390.34/390.55	c restart after 51201 decisions
396.24/396.44	c nbDecision=51500 #constraints=17110
406.34/406.50	c nbDecision=52000 #constraints=17329
416.74/416.99	c nbDecision=52500 #constraints=17502
427.73/427.96	c nbDecision=53000 #constraints=17759
438.02/438.25	c nbDecision=53500 #constraints=17926
448.82/449.04	c nbDecision=54000 #constraints=18106
460.72/460.92	c nbDecision=54500 #constraints=18290
473.61/473.81	c nbDecision=55000 #constraints=18516
485.21/485.48	c nbDecision=55500 #constraints=18700
498.10/498.36	c nbDecision=56000 #constraints=18885
511.19/511.42	c nbDecision=56500 #constraints=19092
523.40/523.68	c nbDecision=57000 #constraints=19290
536.59/536.88	c nbDecision=57500 #constraints=19488
550.38/550.69	c nbDecision=58000 #constraints=19671
562.78/563.00	c nbDecision=58500 #constraints=19851
575.77/576.03	c nbDecision=59000 #constraints=20043
586.46/586.79	c nbDecision=59500 #constraints=20228
594.97/595.27	c nbDecision=60000 #constraints=20386
603.26/603.52	c nbDecision=60500 #constraints=20524
614.05/614.37	c nbDecision=61000 #constraints=20729
625.15/625.44	c nbDecision=61500 #constraints=20892
636.45/636.71	c nbDecision=62000 #constraints=21048
646.65/646.90	c nbDecision=62500 #constraints=21196
660.44/660.73	c nbDecision=63000 #constraints=21406
673.13/673.47	c nbDecision=63500 #constraints=21600
686.72/687.06	c nbDecision=64000 #constraints=21802
700.02/700.34	c nbDecision=64500 #constraints=22000
714.82/715.10	c nbDecision=65000 #constraints=22214
728.71/729.05	c nbDecision=65500 #constraints=22402
744.31/744.69	c nbDecision=66000 #constraints=22587
759.70/760.09	c nbDecision=66500 #constraints=22775
773.69/774.08	c nbDecision=67000 #constraints=22947
788.69/789.06	c nbDecision=67500 #constraints=23115
804.38/804.79	c nbDecision=68000 #constraints=23364
819.88/820.29	c nbDecision=68500 #constraints=23554
835.57/835.92	c nbDecision=69000 #constraints=23762
852.26/852.61	c nbDecision=69500 #constraints=23964
864.66/865.03	c nbDecision=70000 #constraints=24157
874.46/874.86	c nbDecision=70500 #constraints=24314
884.35/884.77	c nbDecision=71000 #constraints=24444
896.55/896.92	c nbDecision=71500 #constraints=24665
909.34/909.79	c nbDecision=72000 #constraints=24832
923.74/924.19	c nbDecision=72500 #constraints=25002
938.63/939.09	c nbDecision=73000 #constraints=25173
954.12/954.55	c nbDecision=73500 #constraints=25409
968.42/968.88	c nbDecision=74000 #constraints=25578
985.02/985.44	c nbDecision=74500 #constraints=25793
1002.20/1002.62	c nbDecision=75000 #constraints=26006
1019.40/1019.89	c nbDecision=75500 #constraints=26231
1037.10/1037.52	c nbDecision=76000 #constraints=26426
1053.88/1054.39	c nbDecision=76500 #constraints=26590
1070.28/1070.74	c nbDecision=77000 #constraints=26782
1087.68/1088.11	c nbDecision=77500 #constraints=26942
1105.17/1105.65	c nbDecision=78000 #constraints=27176
1123.56/1124.08	c nbDecision=78500 #constraints=27376
1142.65/1143.19	c nbDecision=79000 #constraints=27578
1160.54/1161.03	c nbDecision=79500 #constraints=27768
1174.04/1174.53	c nbDecision=80000 #constraints=27946
1185.53/1186.02	c nbDecision=80500 #constraints=28082
1202.54/1203.07	c nbDecision=81000 #constraints=28292
1218.62/1219.13	c nbDecision=81500 #constraints=28481
1235.42/1235.99	c nbDecision=82000 #constraints=28666
1253.71/1254.21	c nbDecision=82500 #constraints=28871
1269.91/1270.40	c nbDecision=83000 #constraints=29067
1290.90/1291.48	c nbDecision=83500 #constraints=29296
1309.49/1310.03	c nbDecision=84000 #constraints=29534
1329.88/1330.44	c nbDecision=84500 #constraints=29744
1349.88/1350.49	c nbDecision=85000 #constraints=29916
1371.76/1372.39	c nbDecision=85500 #constraints=30116
1392.73/1393.32	c nbDecision=86000 #constraints=30342
1411.78/1412.41	c nbDecision=86500 #constraints=30513
1431.96/1432.65	c nbDecision=87000 #constraints=30655
1446.73/1447.42	c nbDecision=87500 #constraints=30794
1464.12/1464.89	c nbDecision=88000 #constraints=30972
1487.91/1488.66	c nbDecision=88500 #constraints=31199
1507.20/1507.90	c nbDecision=89000 #constraints=31367
1527.70/1528.43	c nbDecision=89500 #constraints=31541
1546.99/1547.76	c nbDecision=90000 #constraints=31713
1568.08/1568.85	c nbDecision=90500 #constraints=31903
1570.67/1571.47	c nbDecision=90552 #constraints=31919
1570.67/1571.47	o 1053
1577.97/1578.76	c nbDecision=91000 #constraints=32095
1587.47/1588.25	c nbDecision=91500 #constraints=32286
1597.47/1598.27	c nbDecision=92000 #constraints=32426
1608.06/1608.81	c nbDecision=92500 #constraints=32625
1618.86/1619.69	c nbDecision=93000 #constraints=32756
1633.06/1633.81	c nbDecision=93500 #constraints=33056
1648.15/1648.94	c nbDecision=94000 #constraints=33256
1660.85/1661.64	c nbDecision=94500 #constraints=33536
1674.04/1674.84	c nbDecision=95000 #constraints=33702
1687.34/1688.11	c nbDecision=95500 #constraints=33985
1701.13/1701.91	c nbDecision=96000 #constraints=34184
1714.32/1715.15	c nbDecision=96500 #constraints=34354
1723.33/1724.19	c nbDecision=97000 #constraints=34489
1736.52/1737.31	c nbDecision=97500 #constraints=34674
1748.22/1749.06	c nbDecision=98000 #constraints=34799
1761.70/1762.59	c nbDecision=98500 #constraints=34984
1775.50/1776.32	c nbDecision=99000 #constraints=35170
1788.50/1789.40	c nbDecision=99500 #constraints=35338
1800.10/1800.90	Received signal 15
1800.20/1801.02	
1800.20/1801.02	s SATISFIABLE
1800.20/1801.02	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1800.20/1801.02	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55
1800.20/1801.02	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.20/1801.02	v -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.20/1801.02	v -x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127
1800.20/1801.02	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.20/1801.02	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.20/1801.02	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190
1800.20/1801.02	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.20/1801.02	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233
1800.20/1801.02	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.20/1801.02	v -x255 -x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.20/1801.02	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.20/1801.02	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304
1800.20/1801.02	
1800.20/1801.02	c user time= 1799.68 s
1800.20/1801.02	c system time= 0.543917 s
1800.20/1801.02	c wall clock time=1801.02

Verifier Data (download as text)

OK	1053

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-363728-1176986274 -o ROOT/results/node33/solver-363728-1176986274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.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.97 3/77 2428
/proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=1468 CPUtime=0
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 146542898 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 367 166 130 317 0 46 0

[startup+0.0706729 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 2428
/proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=1996 CPUtime=0.06
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 343 0 0 0 6 0 0 0 18 0 1 0 146542898 2043904 325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 499 325 170 317 0 178 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1996

[startup+0.10168 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 2428
/proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=2128 CPUtime=0.09
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 146542898 2179072 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 532 357 170 317 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2128

[startup+0.30172 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 2428
/proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=2916 CPUtime=0.29
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 595 0 0 0 29 0 0 0 19 0 1 0 146542898 2985984 577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 729 577 170 317 0 408 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2916

[startup+0.701803 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 2428
/proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=4900 CPUtime=0.69
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 1068 0 0 0 69 0 0 0 22 0 1 0 146542898 5017600 1050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 1225 1050 170 317 0 904 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4900

[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1751744/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=7556 CPUtime=1.49
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 1724 0 0 0 149 0 0 0 25 0 1 0 146542898 7737344 1706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 1889 1706 170 317 0 1568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7556

[startup+3.1023 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1748480/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=11064 CPUtime=3.09
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 2584 0 0 0 309 0 0 0 25 0 1 0 146542898 11329536 2566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 2766 2566 170 317 0 2445 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11064

[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1743168/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=15676 CPUtime=6.29
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 3681 0 0 0 628 1 0 0 25 0 1 0 146542898 16052224 3663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 3919 3663 170 317 0 3598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15676

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1736576/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=22156 CPUtime=12.68
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 5192 0 0 0 1266 2 0 0 25 0 1 0 146542898 22687744 5174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 5539 5174 170 317 0 5218 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22156

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1729152/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=29260 CPUtime=25.48
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 6934 0 0 0 2545 3 0 0 25 0 1 0 146542898 29962240 6916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 7315 6916 170 317 0 6994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29260

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.97 2/78 2429
/proc/meminfo: memFree=1719744/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=39760 CPUtime=51.07
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 9323 0 0 0 5101 6 0 0 25 0 1 0 146542898 40714240 9305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 9940 9305 170 317 0 9619 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39760

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1705152/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=54348 CPUtime=102.25
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 12982 0 0 0 10217 8 0 0 25 0 1 0 146542898 55652352 12906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 13587 12906 170 317 0 13266 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54348

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1692032/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=68328 CPUtime=162.22
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 16274 0 0 0 16211 11 0 0 25 0 1 0 146542898 69967872 16198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 17082 16198 170 317 0 16761 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 68328

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1681792/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=80888 CPUtime=222.2
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 18799 0 0 0 22207 13 0 0 25 0 1 0 146542898 82829312 18723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 20222 18723 170 317 0 19901 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 80888

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1673216/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=88860 CPUtime=282.19
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 20963 0 0 0 28203 16 0 0 25 0 1 0 146542898 90992640 20887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 22215 20887 170 317 0 21894 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 88860

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1665664/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=95900 CPUtime=342.16
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 22851 0 0 0 34198 18 0 0 25 0 1 0 146542898 98201600 22775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 23975 22775 170 317 0 23654 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 95900

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1658112/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=105452 CPUtime=402.13
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 25194 0 0 0 40194 19 0 0 25 0 1 0 146542898 107982848 24674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 26363 24674 170 317 0 26042 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 105452

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1652032/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=111468 CPUtime=462.11
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 26847 0 0 0 46190 21 0 0 25 0 1 0 146542898 114143232 26195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 27867 26195 170 317 0 27546 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 111468

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1647104/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=117120 CPUtime=522.09
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 28387 0 0 0 52186 23 0 0 25 0 1 0 146542898 119930880 27471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 29280 27471 170 317 0 28959 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 117120

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=122352 CPUtime=582.07
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 29857 0 0 0 58183 24 0 0 25 0 1 0 146542898 125288448 28644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 30588 28644 170 317 0 30267 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 122352

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1636160/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=128636 CPUtime=642.05
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 31576 0 0 0 64178 27 0 0 25 0 1 0 146542898 131723264 30132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 32159 30132 170 317 0 31838 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 128636


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1617664/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=152060 CPUtime=881.95
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 37822 0 0 0 88163 32 0 0 25 0 1 0 146542898 155709440 34794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 38015 34794 170 317 0 37694 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 152060

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1612992/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=156520 CPUtime=941.93
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 39052 0 0 0 94160 33 0 0 25 0 1 0 146542898 160276480 35958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 39130 35958 170 317 0 38809 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 156520

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1608384/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=161020 CPUtime=1001.9
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 40291 0 0 0 100156 34 0 0 25 0 1 0 146542898 164884480 37131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 40255 37131 170 317 0 39934 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 161020

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1604736/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=164180 CPUtime=1061.88
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 41211 0 0 0 106153 35 0 0 25 0 1 0 146542898 168120320 38051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 41045 38051 170 317 0 40724 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 164180

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1601152/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=167368 CPUtime=1121.87
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 42136 0 0 0 112150 37 0 0 25 0 1 0 146542898 171384832 38943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 41842 38943 170 317 0 41521 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 167368

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1597504/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=170656 CPUtime=1181.84
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 43084 0 0 0 118146 38 0 0 25 0 1 0 146542898 174751744 39858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 42664 39858 170 317 0 42343 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 170656

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1593344/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=174624 CPUtime=1241.82
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 44116 0 0 0 124142 40 0 0 25 0 1 0 146542898 178814976 40890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 43656 40890 170 317 0 43335 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 174624

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1588928/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=178524 CPUtime=1301.8
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 45236 0 0 0 130139 41 0 0 25 0 1 0 146542898 182808576 41977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 44631 41977 170 317 0 44310 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 178524

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2431
/proc/meminfo: memFree=1585856/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=181420 CPUtime=1361.77
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 46023 0 0 0 136135 42 0 0 25 0 1 0 146542898 185774080 42764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 45355 42764 170 317 0 45034 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 181420

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/84 2597
/proc/meminfo: memFree=1581688/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=183784 CPUtime=1421.66
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 46747 0 0 0 142123 43 0 0 25 0 1 0 146542898 188194816 43488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 45946 43488 170 317 0 45625 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 183784

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1580288/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=186396 CPUtime=1481.62
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 47477 0 0 0 148117 45 0 0 25 0 1 0 146542898 190869504 44152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 46599 44152 170 317 0 46278 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 186396

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1577408/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=188892 CPUtime=1541.59
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 48229 0 0 0 154113 46 0 0 25 0 1 0 146542898 193425408 44871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716183 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 47223 44871 170 317 0 46902 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 188892

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1573760/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=192440 CPUtime=1601.57
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 49205 0 0 0 160109 48 0 0 25 0 1 0 146542898 197058560 45781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 48110 45781 170 317 0 47789 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 192440

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1568768/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=201904 CPUtime=1661.55
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 51671 0 0 0 166105 50 0 0 25 0 1 0 146542898 206749696 47013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 50476 47013 170 317 0 50155 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 201904

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1564544/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=205732 CPUtime=1721.53
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 52756 0 0 0 172101 52 0 0 25 0 1 0 146542898 210669568 48098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 51433 48098 170 317 0 51112 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 205732

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1560448/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=209540 CPUtime=1781.49
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 53853 0 0 0 178096 53 0 0 25 0 1 0 146542898 214568960 49129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 52385 49129 170 317 0 52064 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 209540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1559232/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=210592 CPUtime=1800.1
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 54171 0 0 0 179956 54 0 0 25 0 1 0 146542898 215646208 49447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 52648 49447 170 317 0 52327 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 210592

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

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

[startup+1801.01 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 2629
/proc/meminfo: memFree=1559232/2055920 swapFree=4180512/4192956
[pid=2428] ppid=2426 vsize=210592 CPUtime=1800.2
/proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 54175 0 0 0 179966 54 0 0 25 0 1 0 146542898 215646208 49451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2428/statm: 52648 49451 170 317 0 52327 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 210592

Child status: 0
Real time (s): 1801.06
CPU time (s): 1800.26
CPU user time (s): 1799.68
CPU system time (s): 0.578911
CPU usage (%): 99.9556
Max. virtual memory (cumulated for all children) (KiB): 210592

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

runsolver used 2.06069 second user time and 4.50931 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Thu Apr 19 12:37:54 UTC 2007

IDJOB= 363728
IDBENCH= 2020
IDSOLVER= 172
FILE ID= node33/363728-1176986274

PBS_JOBID= 4630415

Free space on /tmp= 66476 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
COMMAND LINE= oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-363728-1176986274 -o ROOT/results/node33/solver-363728-1176986274 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8aa1aebf70d33d96463ba96014c98682

RANDOM SEED= 337714617

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1756768 kB
Buffers:         35224 kB
Cached:         152152 kB
SwapCached:       2276 kB
Active:         167104 kB
Inactive:        78780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756768 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            1380 kB
Writeback:           0 kB
Mapped:          73436 kB
Slab:            38548 kB
Committed_AS:  1674572 kB
PageTables:       1996 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= 66476 MiB

End job on node33 on Thu Apr 19 13:07:57 UTC 2007