Trace number 357072

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)212 1800.27 1801.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM80b0f13939656efa52b7dd958ee28431
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 180
Optimality of the best value was proved NO
Number of variables467
Total number of constraints466
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 constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
Number of bits of the biggest sum of numbers9
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=467 #constraints=467 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.02	c nbDecision=251 #constraints=467
0.00/0.02	c linear search for optimum
0.00/0.02	o 216
0.00/0.02	c nbDecision=251 #constraints=469
0.00/0.02	o 215
0.09/0.12	c restart after 401 decisions
0.09/0.13	c nbDecision=500 #constraints=536
0.19/0.24	c restart after 801 decisions
0.19/0.25	c nbDecision=1000 #constraints=602
0.49/0.56	c nbDecision=1500 #constraints=778
0.59/0.64	c restart after 1601 decisions
0.69/0.79	c nbDecision=2000 #constraints=870
1.19/1.25	c nbDecision=2500 #constraints=1056
1.79/1.80	c nbDecision=3000 #constraints=1238
2.00/2.06	c restart after 3201 decisions
2.20/2.25	c nbDecision=3500 #constraints=1332
2.89/2.92	c nbDecision=4000 #constraints=1502
3.69/3.75	c nbDecision=4500 #constraints=1694
4.59/4.65	c nbDecision=5000 #constraints=1884
5.49/5.59	c nbDecision=5500 #constraints=2076
6.69/6.72	c nbDecision=6000 #constraints=2261
7.79/7.86	c restart after 6401 decisions
8.09/8.11	c nbDecision=6500 #constraints=2422
9.18/9.22	c nbDecision=7000 #constraints=2549
10.28/10.38	c nbDecision=7418 #constraints=2688
10.28/10.38	o 214
10.69/10.71	c nbDecision=7500 #constraints=2726
12.29/12.35	c nbDecision=8000 #constraints=2913
14.19/14.21	c nbDecision=8500 #constraints=3108
16.08/16.14	c nbDecision=9000 #constraints=3298
18.09/18.18	c nbDecision=9500 #constraints=3483
20.28/20.39	c nbDecision=10000 #constraints=3667
22.78/22.82	c nbDecision=10500 #constraints=3862
25.09/25.19	c nbDecision=11000 #constraints=4053
27.58/27.65	c nbDecision=11500 #constraints=4242
29.98/30.10	c nbDecision=12000 #constraints=4434
32.68/32.77	c nbDecision=12500 #constraints=4618
34.78/34.88	c restart after 12801 decisions
35.78/35.88	c nbDecision=13000 #constraints=4738
39.07/39.19	c nbDecision=13500 #constraints=4905
42.07/42.16	c nbDecision=14000 #constraints=5080
44.28/44.36	c nbDecision=14500 #constraints=5264
46.57/46.63	c nbDecision=15000 #constraints=5440
49.08/49.14	c nbDecision=15500 #constraints=5618
51.58/51.70	c nbDecision=16000 #constraints=5788
54.08/54.15	c nbDecision=16500 #constraints=5942
56.97/57.08	c nbDecision=17000 #constraints=6124
60.07/60.11	c nbDecision=17500 #constraints=6310
63.07/63.20	c nbDecision=18000 #constraints=6492
66.37/66.49	c nbDecision=18500 #constraints=6672
70.67/70.72	c nbDecision=19000 #constraints=6851
74.77/74.81	c nbDecision=19500 #constraints=7010
79.36/79.41	c nbDecision=20000 #constraints=7193
79.66/79.77	c nbDecision=20061 #constraints=7202
79.66/79.77	o 213
83.36/83.42	c nbDecision=20500 #constraints=7373
87.36/87.45	c nbDecision=21000 #constraints=7557
91.56/91.66	c nbDecision=21500 #constraints=7736
95.85/95.99	c nbDecision=22000 #constraints=7916
100.26/100.38	c nbDecision=22500 #constraints=8099
105.56/105.66	c nbDecision=23000 #constraints=8279
110.26/110.35	c nbDecision=23500 #constraints=8461
115.15/115.28	c nbDecision=24000 #constraints=8652
119.95/120.07	c nbDecision=24500 #constraints=8839
124.94/125.00	c nbDecision=25000 #constraints=9021
130.55/130.65	c nbDecision=25500 #constraints=9200
131.85/131.91	c restart after 25601 decisions
136.55/136.60	c nbDecision=26000 #constraints=9306
142.74/142.87	c nbDecision=26500 #constraints=9456
149.64/149.79	c nbDecision=27000 #constraints=9604
155.73/155.83	c nbDecision=27500 #constraints=9736
162.24/162.38	c nbDecision=28000 #constraints=9884
168.93/169.01	c nbDecision=28500 #constraints=10039
174.93/175.03	c nbDecision=29000 #constraints=10174
180.93/181.05	c nbDecision=29500 #constraints=10322
187.63/187.75	c nbDecision=30000 #constraints=10496
194.53/194.69	c nbDecision=30500 #constraints=10665
201.52/201.68	c nbDecision=31000 #constraints=10808
208.22/208.40	c nbDecision=31500 #constraints=10969
216.31/216.41	c nbDecision=32000 #constraints=11109
224.71/224.87	c nbDecision=32500 #constraints=11268
232.22/232.31	c nbDecision=33000 #constraints=11409
239.91/240.05	c nbDecision=33500 #constraints=11564
247.21/247.38	c nbDecision=34000 #constraints=11718
254.90/255.01	c nbDecision=34500 #constraints=11867
262.70/262.86	c nbDecision=35000 #constraints=12026
271.60/271.80	c nbDecision=35500 #constraints=12183
280.10/280.21	c nbDecision=36000 #constraints=12332
288.49/288.68	c nbDecision=36500 #constraints=12476
297.39/297.51	c nbDecision=37000 #constraints=12614
309.88/310.00	c nbDecision=37500 #constraints=12793
321.58/321.77	c nbDecision=38000 #constraints=12954
330.28/330.41	c nbDecision=38500 #constraints=13082
338.08/338.21	c nbDecision=39000 #constraints=13265
345.27/345.45	c nbDecision=39500 #constraints=13410
352.67/352.87	c nbDecision=40000 #constraints=13553
361.86/362.07	c nbDecision=40500 #constraints=13711
370.27/370.46	c nbDecision=41000 #constraints=13838
379.46/379.68	c nbDecision=41500 #constraints=14001
389.46/389.61	c nbDecision=42000 #constraints=14173
400.25/400.49	c nbDecision=42500 #constraints=14342
411.35/411.56	c nbDecision=43000 #constraints=14535
423.35/423.58	c nbDecision=43500 #constraints=14702
432.05/432.30	c nbDecision=44000 #constraints=14842
439.84/440.04	c nbDecision=44500 #constraints=15000
447.44/447.61	c nbDecision=45000 #constraints=15168
455.13/455.35	c nbDecision=45500 #constraints=15313
462.73/462.94	c nbDecision=46000 #constraints=15450
471.93/472.20	c nbDecision=46500 #constraints=15576
482.02/482.22	c nbDecision=47000 #constraints=15737
493.23/493.43	c nbDecision=47500 #constraints=15918
505.22/505.45	c nbDecision=48000 #constraints=16097
516.41/516.64	c nbDecision=48500 #constraints=16249
527.41/527.61	c nbDecision=49000 #constraints=16409
537.50/537.79	c nbDecision=49500 #constraints=16557
546.70/546.91	c nbDecision=50000 #constraints=16714
554.90/555.15	c nbDecision=50500 #constraints=16888
563.16/563.45	c nbDecision=51000 #constraints=17048
566.06/566.40	c restart after 51201 decisions
571.25/571.56	c nbDecision=51500 #constraints=17133
579.72/580.05	c nbDecision=52000 #constraints=17305
588.30/588.67	c nbDecision=52500 #constraints=17467
596.99/597.39	c nbDecision=53000 #constraints=17632
606.67/607.02	c nbDecision=53500 #constraints=17789
617.46/617.85	c nbDecision=54000 #constraints=17953
628.06/628.46	c nbDecision=54500 #constraints=18108
638.16/638.50	c nbDecision=55000 #constraints=18273
647.25/647.62	c nbDecision=55500 #constraints=18428
657.15/657.59	c nbDecision=56000 #constraints=18609
667.14/667.53	c nbDecision=56500 #constraints=18776
678.04/678.46	c nbDecision=57000 #constraints=18978
688.44/688.85	c nbDecision=57500 #constraints=19119
699.53/699.95	c nbDecision=58000 #constraints=19321
710.83/711.22	c nbDecision=58500 #constraints=19522
721.93/722.39	c nbDecision=59000 #constraints=19655
734.92/735.38	c nbDecision=59500 #constraints=19828
748.12/748.54	c nbDecision=60000 #constraints=20001
760.82/761.28	c nbDecision=60500 #constraints=20163
774.01/774.46	c nbDecision=61000 #constraints=20285
789.70/790.13	c nbDecision=61500 #constraints=20438
804.89/805.34	c nbDecision=62000 #constraints=20567
818.40/818.83	c nbDecision=62500 #constraints=20715
831.49/831.96	c nbDecision=63000 #constraints=20863
845.08/845.56	c nbDecision=63500 #constraints=21012
859.97/860.44	c nbDecision=64000 #constraints=21162
873.67/874.10	c nbDecision=64500 #constraints=21313
886.77/887.28	c nbDecision=65000 #constraints=21468
900.26/900.73	c nbDecision=65500 #constraints=21599
912.75/913.22	c nbDecision=66000 #constraints=21736
924.56/925.05	c nbDecision=66500 #constraints=21881
935.35/935.88	c nbDecision=67000 #constraints=22030
946.94/947.47	c nbDecision=67500 #constraints=22216
957.95/958.48	c nbDecision=68000 #constraints=22354
969.34/969.85	c nbDecision=68500 #constraints=22498
981.04/981.57	c nbDecision=69000 #constraints=22666
993.43/993.95	c nbDecision=69500 #constraints=22800
1007.32/1007.89	c nbDecision=70000 #constraints=22959
1023.22/1023.76	c nbDecision=70500 #constraints=23116
1039.21/1039.76	c nbDecision=71000 #constraints=23264
1057.10/1057.63	c nbDecision=71500 #constraints=23433
1069.30/1069.89	c nbDecision=72000 #constraints=23557
1087.50/1088.00	c nbDecision=72500 #constraints=23733
1105.39/1105.96	c nbDecision=73000 #constraints=23905
1122.18/1122.77	c nbDecision=73500 #constraints=24039
1142.48/1143.09	c nbDecision=74000 #constraints=24199
1157.77/1158.39	c nbDecision=74500 #constraints=24326
1173.27/1173.89	c nbDecision=75000 #constraints=24515
1188.96/1189.52	c nbDecision=75500 #constraints=24697
1206.06/1206.68	c nbDecision=76000 #constraints=24860
1219.75/1220.37	c nbDecision=76500 #constraints=25013
1237.64/1238.24	c nbDecision=77000 #constraints=25193
1253.54/1254.12	c nbDecision=77500 #constraints=25384
1269.23/1269.83	c nbDecision=78000 #constraints=25527
1284.92/1285.51	c nbDecision=78500 #constraints=25674
1300.22/1300.86	c nbDecision=79000 #constraints=25858
1316.02/1316.67	c nbDecision=79500 #constraints=26034
1335.21/1335.84	c nbDecision=80000 #constraints=26217
1352.90/1353.51	c nbDecision=80500 #constraints=26410
1369.60/1370.21	c nbDecision=81000 #constraints=26596
1387.69/1388.34	c nbDecision=81500 #constraints=26751
1403.48/1404.12	c nbDecision=82000 #constraints=26887
1423.77/1424.43	c nbDecision=82500 #constraints=27051
1444.57/1445.25	c nbDecision=83000 #constraints=27221
1463.36/1464.09	c nbDecision=83500 #constraints=27366
1477.85/1478.53	c nbDecision=84000 #constraints=27526
1492.66/1493.35	c nbDecision=84500 #constraints=27698
1508.94/1509.65	c nbDecision=85000 #constraints=27857
1521.74/1522.44	c nbDecision=85500 #constraints=28009
1537.53/1538.28	c nbDecision=86000 #constraints=28180
1553.23/1553.98	c nbDecision=86500 #constraints=28343
1565.42/1566.14	c nbDecision=87000 #constraints=28487
1577.82/1578.57	c nbDecision=87500 #constraints=28637
1593.92/1594.62	c nbDecision=88000 #constraints=28810
1610.31/1611.09	c nbDecision=88500 #constraints=28985
1626.71/1627.44	c nbDecision=89000 #constraints=29158
1642.50/1643.28	c nbDecision=89500 #constraints=29330
1659.19/1659.96	c nbDecision=90000 #constraints=29475
1675.78/1676.56	c nbDecision=90500 #constraints=29614
1698.08/1698.86	c nbDecision=91000 #constraints=29790
1712.87/1713.61	c nbDecision=91500 #constraints=29925
1728.86/1729.65	c nbDecision=92000 #constraints=30073
1734.36/1735.10	c nbDecision=92187 #constraints=30117
1734.36/1735.10	o 212
1743.16/1743.91	c nbDecision=92500 #constraints=30227
1762.15/1762.97	c nbDecision=93000 #constraints=30404
1780.15/1780.97	c nbDecision=93500 #constraints=30588
1796.44/1797.30	c nbDecision=94000 #constraints=30714
1800.04/1800.80	Received signal 15
1800.14/1800.95	
1800.14/1800.95	s SATISFIABLE
1800.14/1800.95	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
1800.14/1800.95	v -x29 -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
1800.14/1800.95	v -x55 -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
1800.14/1800.95	v -x81 -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.14/1800.95	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127
1800.14/1800.95	v x128 -x129 x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149
1800.14/1800.95	v -x150 x151 -x152 -x153 -x154 -x155 x156 x157 x158 x159 -x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 x169 x170 -x171 x172
1800.14/1800.95	v -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194
1800.14/1800.95	v -x195 -x196 -x197 -x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216
1800.14/1800.95	v -x217 -x218 x219 x220 -x221 -x222 x223 x224 x225 x226 x227 x228 x229 -x230 -x231 x232 -x233 x234 x235 x236 -x237 x238 -x239
1800.14/1800.95	v -x240 -x241 x242 -x243 x244 x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261
1800.14/1800.95	v x262 -x263 -x264 -x265 -x266 x267 x268 x269 -x270 -x271 x272 -x273 x274 x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284
1800.14/1800.95	v x285 x286 -x287 x288 -x289 x290 x291 x292 -x293 x294 x295 x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 -x305 x306 x307 -x308
1800.14/1800.95	v x309 -x310 x311 x312 x313 -x314 x315 x316 -x317 x318 x319 x320 -x321 -x322 x323 x324 x325 x326 x327 -x328 x329 -x330 x331 -x332
1800.14/1800.95	v x333 -x334 x335 x336 x337 -x338 x339 x340 x341 x342 x343 x344 x345 -x346 x347 -x348 x349 x350 -x351 x352 x353 x354 x355 x356
1800.14/1800.95	v x357 x358 x359 -x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 -x380 -x381
1800.14/1800.95	v x382 -x383 x384 -x385 -x386 x387 -x388 x389 x390 x391 x392 x393 -x394 x395 x396 -x397 x398 x399 x400 -x401 x402 x403 x404 x405
1800.14/1800.95	v -x406 x407 -x408 x409 -x410 x411 x412 x413 -x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 x429
1800.14/1800.95	v x430 x431 x432 -x433 -x434 x435 x436 x437 x438 x439 -x440 x441 -x442 x443 x444 x445 x446 x447 x448 -x449 x450 x451 x452 x453
1800.14/1800.95	v x454 x455 x456 x457 x458 x459 x460 x461 -x462 x463 -x464 x465 x466 x467
1800.14/1800.95	
1800.14/1800.96	c user time= 1799.64 s
1800.14/1800.96	c system time= 0.565913 s
1800.14/1800.96	c wall clock time=1800.96

Verifier Data (download as text)

OK	212

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-357072-1176853902 -o ROOT/results/node25/solver-357072-1176853902 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.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.99 3/64 16427
/proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=1468 CPUtime=0
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 133307295 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 367 163 131 317 0 46 0

[startup+0.033378 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16427
/proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=1880 CPUtime=0.03
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 318 0 0 0 3 0 0 0 18 0 1 0 133307295 1925120 300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 470 300 170 317 0 149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1880

[startup+0.101389 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16427
/proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=2404 CPUtime=0.09
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 444 0 0 0 9 0 0 0 18 0 1 0 133307295 2461696 426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 601 426 170 317 0 280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2404

[startup+0.301423 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16427
/proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=3708 CPUtime=0.29
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 766 0 0 0 29 0 0 0 19 0 1 0 133307295 3796992 748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 927 748 170 317 0 606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3708

[startup+0.701491 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16427
/proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=5820 CPUtime=0.69
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 1297 0 0 0 69 0 0 0 23 0 1 0 133307295 5959680 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 1455 1279 170 317 0 1134 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5820

[startup+1.50163 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1770688/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=9396 CPUtime=1.49
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 2196 0 0 0 149 0 0 0 25 0 1 0 133307295 9621504 2178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 2349 2178 170 317 0 2028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9396

[startup+3.1019 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1766656/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=14572 CPUtime=3.09
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 3417 0 0 0 308 1 0 0 25 0 1 0 133307295 14921728 3399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 3643 3399 170 317 0 3322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14572

[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1758528/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=20340 CPUtime=6.29
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 4925 0 0 0 627 2 0 0 25 0 1 0 133307295 20828160 4907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 5085 4907 170 317 0 4764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20340

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1748800/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=30216 CPUtime=12.69
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 7184 0 0 0 1266 3 0 0 25 0 1 0 133307295 30941184 7166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 7554 7166 170 317 0 7233 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30216

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1737472/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=40108 CPUtime=25.49
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 9855 0 0 0 2543 6 0 0 25 0 1 0 133307295 41070592 9837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 10027 9837 170 317 0 9706 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40108

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1718528/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=61464 CPUtime=51.08
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 14622 0 0 0 5099 9 0 0 25 0 1 0 133307295 62939136 14604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 15366 14604 170 317 0 15045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61464

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1694976/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=82788 CPUtime=102.26
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 20405 0 0 0 10212 14 0 0 25 0 1 0 133307295 84774912 20387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 20697 20387 170 317 0 20376 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 82788

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1672640/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=111160 CPUtime=162.24
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 26063 0 0 0 16206 18 0 0 25 0 1 0 133307295 113827840 25987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 27790 25987 170 317 0 27469 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 111160

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1660096/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=122600 CPUtime=222.21
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 29154 0 0 0 22202 19 0 0 25 0 1 0 133307295 125542400 29078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 30650 29078 170 317 0 30329 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 122600

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16428
/proc/meminfo: memFree=1648896/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=132668 CPUtime=282.2
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 31980 0 0 0 28199 21 0 0 25 0 1 0 133307295 135852032 31904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 33167 31904 170 317 0 32846 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 132668

[startup+342.302 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 16428
/proc/meminfo: memFree=1639552/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=141100 CPUtime=342.17
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 34299 0 0 0 34195 22 0 0 25 0 1 0 133307295 144486400 34223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 35275 34223 170 317 0 34954 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 141100

[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 16428
/proc/meminfo: memFree=1629696/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=150312 CPUtime=402.16
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 36759 0 0 0 40192 24 0 0 25 0 1 0 133307295 153919488 36683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 37578 36683 170 317 0 37257 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 150312

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 16428
/proc/meminfo: memFree=1619392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=159820 CPUtime=462.13
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 39295 0 0 0 46189 24 0 0 25 0 1 0 133307295 163655680 39219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 39955 39219 170 317 0 39634 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 159820

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16428
/proc/meminfo: memFree=1611136/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=168060 CPUtime=522.11
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 41371 0 0 0 52184 27 0 0 25 0 1 0 133307295 172093440 41295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 42015 41295 170 317 0 41694 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 168060

[startup+582.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/71 16550
/proc/meminfo: memFree=1593784/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=203020 CPUtime=582.02
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 48741 0 0 0 58172 30 0 0 25 0 1 0 133307295 207892480 45251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 50755 45251 170 317 0 50434 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 203020

[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 16626
/proc/meminfo: memFree=1584832/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=211996 CPUtime=641.96
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 51274 0 0 0 64164 32 0 0 25 0 1 0 133307295 217083904 47751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 52999 47751 170 317 0 52678 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 211996


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

[startup+882.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 16626
/proc/meminfo: memFree=1554368/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=238800 CPUtime=881.87
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 58895 0 0 0 88149 38 0 0 25 0 1 0 133307295 244531200 55372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 59700 55372 170 317 0 59379 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 238800

[startup+942.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 16626
/proc/meminfo: memFree=1546816/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=245188 CPUtime=941.85
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 60777 0 0 0 94146 39 0 0 25 0 1 0 133307295 251072512 57254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 61297 57254 170 317 0 60976 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 245188

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1539392/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=251892 CPUtime=1001.83
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 62621 0 0 0 100142 41 0 0 25 0 1 0 133307295 257937408 59098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 62973 59098 170 317 0 62652 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 251892

[startup+1062.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 16626
/proc/meminfo: memFree=1533696/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=256888 CPUtime=1061.81
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 64057 0 0 0 106139 42 0 0 25 0 1 0 133307295 263053312 60534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 64222 60534 170 317 0 63901 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 256888

[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 16626
/proc/meminfo: memFree=1527488/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=261732 CPUtime=1121.78
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 65577 0 0 0 112136 42 0 0 25 0 1 0 133307295 268013568 62054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 65433 62054 170 317 0 65112 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 261732

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1522112/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=266600 CPUtime=1181.77
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 66963 0 0 0 118133 44 0 0 25 0 1 0 133307295 272998400 63440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 66650 63440 170 317 0 66329 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 266600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1515584/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=272536 CPUtime=1241.74
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 68594 0 0 0 124130 44 0 0 25 0 1 0 133307295 279076864 65038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 68134 65038 170 317 0 67813 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 272536

[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 16626
/proc/meminfo: memFree=1509440/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=277924 CPUtime=1301.72
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 70107 0 0 0 130126 46 0 0 25 0 1 0 133307295 284594176 66551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 69481 66551 170 317 0 69160 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 277924

[startup+1362.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 16626
/proc/meminfo: memFree=1503360/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=283948 CPUtime=1361.7
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 71822 0 0 0 136122 48 0 0 25 0 1 0 133307295 290762752 68101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 70987 68101 170 317 0 70666 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 283948

[startup+1422.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 16626
/proc/meminfo: memFree=1497920/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=288632 CPUtime=1421.67
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 73147 0 0 0 142119 48 0 0 25 0 1 0 133307295 295559168 69426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 72158 69426 170 317 0 71837 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 288632

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 16626
/proc/meminfo: memFree=1492736/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=293856 CPUtime=1481.65
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 74589 0 0 0 148116 49 0 0 25 0 1 0 133307295 300908544 70736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 73464 70736 170 317 0 73143 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 293856

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 16626
/proc/meminfo: memFree=1485632/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=299516 CPUtime=1541.64
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 76346 0 0 0 154113 51 0 0 25 0 1 0 133307295 306704384 72493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 74879 72493 170 317 0 74558 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 299516

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16626
/proc/meminfo: memFree=1479104/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=305556 CPUtime=1601.61
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 78019 0 0 0 160109 52 0 0 25 0 1 0 133307295 312889344 74133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 76389 74133 170 317 0 76068 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 305556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16626
/proc/meminfo: memFree=1473216/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=310692 CPUtime=1661.59
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 79467 0 0 0 166106 53 0 0 25 0 1 0 133307295 318148608 75581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563898 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 77673 75581 170 317 0 77352 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 310692

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1468224/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=315008 CPUtime=1721.57
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 80722 0 0 0 172103 54 0 0 25 0 1 0 133307295 322568192 76836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 78752 76836 170 317 0 78431 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 315008

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1462464/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=320544 CPUtime=1781.54
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 82259 0 0 0 178099 55 0 0 25 0 1 0 133307295 328237056 78307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 80136 78307 170 317 0 79815 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 320544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1460544/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=321724 CPUtime=1800.04
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 82728 0 0 0 179948 56 0 0 25 0 1 0 133307295 329445376 78776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 80431 78776 170 317 0 80110 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 321724

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16626
/proc/meminfo: memFree=1460544/2055920 swapFree=4166424/4192956
[pid=16427] ppid=16425 vsize=0 CPUtime=1800.24
/proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194308 82746 0 0 0 179965 59 0 0 25 0 1 0 133307295 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.02
CPU time (s): 1800.27
CPU user time (s): 1799.65
CPU system time (s): 0.617906
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 321724

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

runsolver used 1.35679 second user time and 3.64245 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue Apr 17 23:51:42 UTC 2007

IDJOB= 357072
IDBENCH= 1957
IDSOLVER= 172
FILE ID= node25/357072-1176853902

PBS_JOBID= 4590194

Free space on /tmp= 66480 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-357072-1176853902 -o ROOT/results/node25/solver-357072-1176853902 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  80b0f13939656efa52b7dd958ee28431

RANDOM SEED= 656885337

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:       1776864 kB
Buffers:         23556 kB
Cached:         186992 kB
SwapCached:      20788 kB
Active:          35760 kB
Inactive:       201340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776864 kB
SwapTotal:     4192956 kB
SwapFree:      4166424 kB
Dirty:            1344 kB
Writeback:           0 kB
Mapped:          15420 kB
Slab:            28056 kB
Committed_AS:  2111760 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= 66480 MiB

End job on node25 on Wed Apr 18 00:21:45 UTC 2007