Trace number 357162

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)233 1800.38 1800.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
MD5SUM5018d2b93ba4422fc03308c57dbd6158
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of variables528
Total number of constraints1816
Number of constraints which are clauses1816
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 constraint2
Maximum length of a constraint8
Number of terms in the objective function 528
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 528
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 528
Number of bits of the biggest sum of numbers10
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=528 #constraints=1817 hasObjective=yes
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.00/0.08	c restart after 401 decisions
0.09/0.09	c nbDecision=500 #constraints=1947
0.09/0.12	c nbDecision=567 #constraints=1984
0.09/0.12	c linear search for optimum
0.09/0.12	o 245
0.09/0.17	c nbDecision=597 #constraints=1988
0.09/0.17	o 234
0.19/0.28	c restart after 801 decisions
0.29/0.39	c nbDecision=1000 #constraints=2090
0.59/0.68	c nbDecision=1500 #constraints=2218
0.69/0.74	c restart after 1601 decisions
0.89/1.00	c nbDecision=2000 #constraints=2330
1.29/1.39	c nbDecision=2500 #constraints=2458
1.79/1.83	c nbDecision=3000 #constraints=2580
1.99/2.04	c restart after 3201 decisions
2.29/2.38	c nbDecision=3500 #constraints=2692
2.89/2.96	c nbDecision=4000 #constraints=2818
3.59/3.63	c nbDecision=4500 #constraints=2946
4.29/4.36	c nbDecision=5000 #constraints=3070
5.09/5.17	c nbDecision=5500 #constraints=3196
5.99/6.07	c nbDecision=6000 #constraints=3324
6.79/6.84	c restart after 6401 decisions
7.09/7.17	c nbDecision=6500 #constraints=3432
8.18/8.21	c nbDecision=7000 #constraints=3558
9.28/9.32	c nbDecision=7500 #constraints=3682
10.49/10.55	c nbDecision=8000 #constraints=3812
11.79/11.81	c nbDecision=8500 #constraints=3938
13.09/13.15	c nbDecision=9000 #constraints=4064
14.58/14.62	c nbDecision=9500 #constraints=4181
16.09/16.12	c nbDecision=10000 #constraints=4309
17.59/17.68	c nbDecision=10500 #constraints=4435
19.28/19.32	c nbDecision=11000 #constraints=4563
20.89/20.99	c nbDecision=11500 #constraints=4685
22.78/22.80	c nbDecision=12000 #constraints=4813
24.58/24.66	c nbDecision=12500 #constraints=4937
25.79/25.82	c restart after 12801 decisions
27.09/27.17	c nbDecision=13000 #constraints=5051
29.08/29.11	c nbDecision=13500 #constraints=5169
31.18/31.27	c nbDecision=14000 #constraints=5299
33.38/33.44	c nbDecision=14500 #constraints=5423
35.68/35.76	c nbDecision=15000 #constraints=5553
37.98/38.01	c nbDecision=15500 #constraints=5671
40.38/40.47	c nbDecision=16000 #constraints=5801
42.88/42.94	c nbDecision=16500 #constraints=5925
45.47/45.54	c nbDecision=17000 #constraints=6053
49.08/49.20	c nbDecision=17500 #constraints=6169
51.98/52.01	c nbDecision=18000 #constraints=6299
54.77/54.86	c nbDecision=18500 #constraints=6425
57.78/57.80	c nbDecision=19000 #constraints=6553
60.57/60.70	c nbDecision=19500 #constraints=6673
63.78/63.82	c nbDecision=20000 #constraints=6803
66.87/66.94	c nbDecision=20500 #constraints=6927
70.17/70.23	c nbDecision=21000 #constraints=7055
73.37/73.49	c nbDecision=21500 #constraints=7179
76.87/76.97	c nbDecision=22000 #constraints=7307
80.37/80.42	c nbDecision=22500 #constraints=7433
83.87/83.99	c nbDecision=23000 #constraints=7561
87.47/87.56	c nbDecision=23500 #constraints=7685
91.07/91.14	c nbDecision=24000 #constraints=7805
94.86/94.97	c nbDecision=24500 #constraints=7933
98.77/98.82	c nbDecision=25000 #constraints=8059
102.67/102.78	c nbDecision=25500 #constraints=8187
103.37/103.44	c restart after 25601 decisions
107.77/107.88	c nbDecision=26000 #constraints=8289
111.86/111.96	c nbDecision=26500 #constraints=8415
116.16/116.24	c nbDecision=27000 #constraints=8545
120.26/120.33	c nbDecision=27500 #constraints=8665
124.67/124.74	c nbDecision=28000 #constraints=8795
129.06/129.10	c nbDecision=28500 #constraints=8919
133.56/133.65	c nbDecision=29000 #constraints=9047
137.96/138.01	c nbDecision=29500 #constraints=9167
142.66/142.71	c nbDecision=30000 #constraints=9295
147.36/147.47	c nbDecision=30500 #constraints=9423
152.25/152.37	c nbDecision=31000 #constraints=9551
157.15/157.27	c nbDecision=31500 #constraints=9677
162.05/162.18	c nbDecision=32000 #constraints=9801
167.16/167.24	c nbDecision=32500 #constraints=9929
172.35/172.48	c nbDecision=33000 #constraints=10057
177.45/177.54	c nbDecision=33500 #constraints=10177
183.25/183.39	c nbDecision=34000 #constraints=10302
188.75/188.81	c nbDecision=34500 #constraints=10430
194.14/194.25	c nbDecision=35000 #constraints=10554
199.74/199.81	c nbDecision=35500 #constraints=10682
205.24/205.31	c nbDecision=36000 #constraints=10804
210.93/211.07	c nbDecision=36500 #constraints=10932
216.74/216.84	c nbDecision=37000 #constraints=11058
222.64/222.73	c nbDecision=37500 #constraints=11186
228.34/228.43	c nbDecision=38000 #constraints=11306
234.43/234.52	c nbDecision=38500 #constraints=11434
240.53/240.63	c nbDecision=39000 #constraints=11560
246.73/246.83	c nbDecision=39500 #constraints=11688
252.83/252.97	c nbDecision=40000 #constraints=11810
259.22/259.36	c nbDecision=40500 #constraints=11938
265.52/265.68	c nbDecision=41000 #constraints=12062
272.03/272.18	c nbDecision=41500 #constraints=12188
279.92/280.06	c nbDecision=42000 #constraints=12308
286.62/286.73	c nbDecision=42500 #constraints=12436
293.42/293.57	c nbDecision=43000 #constraints=12564
300.31/300.43	c nbDecision=43500 #constraints=12692
307.01/307.15	c nbDecision=44000 #constraints=12814
314.12/314.29	c nbDecision=44500 #constraints=12944
321.22/321.31	c nbDecision=45000 #constraints=13070
328.31/328.49	c nbDecision=45500 #constraints=13198
335.31/335.41	c nbDecision=46000 #constraints=13316
342.71/342.82	c nbDecision=46500 #constraints=13446
349.91/350.08	c nbDecision=47000 #constraints=13570
357.50/357.62	c nbDecision=47500 #constraints=13698
364.40/364.57	c nbDecision=48000 #constraints=13812
372.09/372.25	c nbDecision=48500 #constraints=13940
379.80/379.91	c nbDecision=49000 #constraints=14066
387.60/387.71	c nbDecision=49500 #constraints=14194
395.19/395.39	c nbDecision=50000 #constraints=14316
403.29/403.45	c nbDecision=50500 #constraints=14446
411.19/411.37	c nbDecision=51000 #constraints=14570
414.49/414.68	c restart after 51201 decisions
421.68/421.88	c nbDecision=51500 #constraints=14678
429.68/429.84	c nbDecision=52000 #constraints=14804
437.99/438.13	c nbDecision=52500 #constraints=14932
446.09/446.30	c nbDecision=53000 #constraints=15058
454.58/454.75	c nbDecision=53500 #constraints=15186
462.68/462.81	c nbDecision=54000 #constraints=15306
472.47/472.62	c nbDecision=54500 #constraints=15426
481.08/481.22	c nbDecision=55000 #constraints=15554
489.67/489.83	c nbDecision=55500 #constraints=15680
498.37/498.53	c nbDecision=56000 #constraints=15806
506.97/507.11	c nbDecision=56500 #constraints=15928
515.87/516.08	c nbDecision=57000 #constraints=16056
524.87/525.04	c nbDecision=57500 #constraints=16184
533.96/534.17	c nbDecision=58000 #constraints=16312
542.76/542.94	c nbDecision=58500 #constraints=16432
552.06/552.29	c nbDecision=59000 #constraints=16562
561.25/561.42	c nbDecision=59500 #constraints=16686
570.56/570.71	c nbDecision=60000 #constraints=16812
579.35/579.56	c nbDecision=60500 #constraints=16928
588.85/589.09	c nbDecision=61000 #constraints=17056
598.55/598.70	c nbDecision=61500 #constraints=17182
608.05/608.29	c nbDecision=62000 #constraints=17308
617.64/617.89	c nbDecision=62500 #constraints=17432
627.54/627.73	c nbDecision=63000 #constraints=17560
637.34/637.59	c nbDecision=63500 #constraints=17686
647.33/647.59	c nbDecision=64000 #constraints=17814
657.23/657.43	c nbDecision=64500 #constraints=17936
667.43/667.60	c nbDecision=65000 #constraints=18064
677.63/677.83	c nbDecision=65500 #constraints=18190
687.82/688.01	c nbDecision=66000 #constraints=18316
697.32/697.58	c nbDecision=66391 #constraints=18396
697.32/697.58	o 233
702.12/702.34	c nbDecision=66500 #constraints=18431
720.82/721.06	c nbDecision=67000 #constraints=18559
739.51/739.70	c nbDecision=67500 #constraints=18685
757.91/758.12	c nbDecision=68000 #constraints=18809
776.90/777.10	c nbDecision=68500 #constraints=18937
795.89/796.14	c nbDecision=69000 #constraints=19065
813.80/814.02	c nbDecision=69500 #constraints=19183
833.19/833.49	c nbDecision=70000 #constraints=19313
852.48/852.72	c nbDecision=70500 #constraints=19441
870.78/871.07	c nbDecision=71000 #constraints=19561
890.78/891.00	c nbDecision=71500 #constraints=19693
909.97/910.20	c nbDecision=72000 #constraints=19819
927.76/928.02	c nbDecision=72500 #constraints=19933
947.86/948.18	c nbDecision=73000 #constraints=20065
967.26/967.59	c nbDecision=73500 #constraints=20191
986.55/986.81	c nbDecision=74000 #constraints=20315
1006.15/1006.44	c nbDecision=74500 #constraints=20441
1025.74/1026.08	c nbDecision=75000 #constraints=20567
1044.93/1045.24	c nbDecision=75500 #constraints=20689
1063.74/1064.07	c nbDecision=76000 #constraints=20807
1083.83/1084.17	c nbDecision=76500 #constraints=20935
1103.83/1104.14	c nbDecision=77000 #constraints=21061
1123.82/1124.17	c nbDecision=77500 #constraints=21187
1143.91/1144.25	c nbDecision=78000 #constraints=21313
1164.51/1164.89	c nbDecision=78500 #constraints=21443
1184.00/1184.34	c nbDecision=79000 #constraints=21563
1204.30/1204.67	c nbDecision=79500 #constraints=21689
1225.00/1225.31	c nbDecision=80000 #constraints=21817
1245.39/1245.72	c nbDecision=80500 #constraints=21943
1265.58/1265.98	c nbDecision=81000 #constraints=22067
1286.18/1286.59	c nbDecision=81500 #constraints=22193
1306.08/1306.48	c nbDecision=82000 #constraints=22313
1326.87/1327.25	c nbDecision=82500 #constraints=22439
1348.17/1348.57	c nbDecision=83000 #constraints=22569
1368.46/1368.89	c nbDecision=83500 #constraints=22691
1388.95/1389.34	c nbDecision=84000 #constraints=22813
1410.44/1410.84	c nbDecision=84500 #constraints=22943
1430.95/1431.34	c nbDecision=85000 #constraints=23054
1452.84/1453.28	c nbDecision=85500 #constraints=23186
1474.13/1474.53	c nbDecision=86000 #constraints=23312
1495.12/1495.55	c nbDecision=86500 #constraints=23436
1516.82/1517.22	c nbDecision=87000 #constraints=23564
1538.22/1538.65	c nbDecision=87500 #constraints=23690
1558.91/1559.34	c nbDecision=88000 #constraints=23810
1581.00/1581.43	c nbDecision=88500 #constraints=23940
1602.40/1602.89	c nbDecision=89000 #constraints=24064
1624.20/1624.61	c nbDecision=89500 #constraints=24190
1646.49/1646.90	c nbDecision=90000 #constraints=24320
1667.99/1668.48	c nbDecision=90500 #constraints=24444
1688.58/1689.07	c nbDecision=91000 #constraints=24560
1710.97/1711.41	c nbDecision=91500 #constraints=24688
1733.57/1734.01	c nbDecision=92000 #constraints=24818
1754.82/1755.39	c nbDecision=92500 #constraints=24938
1777.67/1778.22	c nbDecision=93000 #constraints=25068
1799.95/1800.55	c nbDecision=93500 #constraints=25194
1800.06/1800.60	Received signal 15
1800.25/1800.87	
1800.25/1800.87	s SATISFIABLE
1800.25/1800.87	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 -x30
1800.25/1800.87	v 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 -x56 x57 -x58
1800.25/1800.87	v -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 x86
1800.25/1800.87	v x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 -x107 -x108 x109 -x110 x111
1800.25/1800.87	v -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134
1800.25/1800.87	v x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157
1800.25/1800.87	v -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180
1800.25/1800.87	v x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 -x202 x203
1800.25/1800.87	v -x204 -x205 x206 -x207 x208 -x209 x210 -x211 x212 -x213 x214 x215 -x216 -x217 x218 -x219 x220 -x221 x222 -x223 -x224 -x225
1800.25/1800.87	v -x226 x227 -x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248
1800.25/1800.87	v -x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271
1800.25/1800.87	v x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 -x281 x282 -x283 x284 -x285 -x286 x287 -x288 -x289 x290 -x291 x292 -x293
1800.25/1800.87	v x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 x304 -x305 x306 -x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 x316
1800.25/1800.87	v -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 -x334 x335 -x336 -x337 x338 -x339
1800.25/1800.87	v x340 -x341 x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 x359 -x360 -x361 x362
1800.25/1800.87	v -x363 x364 -x365 x366 -x367 x368 -x369 -x370 x371 -x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 -x382 x383 -x384
1800.25/1800.87	v -x385 x386 -x387 x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 -x399 x400 -x401 x402 -x403 x404 -x405 -x406 x407
1800.25/1800.87	v -x408 -x409 x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 x424 -x425 x426 -x427 x428 -x429
1800.25/1800.87	v -x430 x431 -x432 -x433 x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 -x449 x450 -x451 x452
1800.25/1800.87	v -x453 x454 x455 -x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 -x473 x474 -x475
1800.25/1800.87	v -x476 -x477 -x478 x479 -x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 -x497
1800.25/1800.87	v x498 x499 -x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520
1800.25/1800.87	v -x521 x522 -x523 x524 x525 -x526 -x527 x528
1800.25/1800.87	
1800.25/1800.87	c user time= 1799.9 s
1800.25/1800.87	c system time= 0.429934 s
1800.25/1800.87	c wall clock time=1800.87

Verifier Data (download as text)

OK	233

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-357162-1176989517 -o ROOT/results/node51/solver-357162-1176989517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.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 17092
/proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=1468 CPUtime=0
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 53796812 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 367 164 130 317 0 46 0

[startup+0.0927649 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17092
/proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=2128 CPUtime=0.09
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 347 0 0 0 9 0 0 0 18 0 1 0 53796812 2179072 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266283 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 532 330 139 317 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2128

[startup+0.101765 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17092
/proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=2256 CPUtime=0.09
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 357 0 0 0 9 0 0 0 18 0 1 0 53796812 2310144 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 564 339 139 317 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2256

[startup+0.301783 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17092
/proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=3176 CPUtime=0.29
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 626 0 0 0 29 0 0 0 19 0 1 0 53796812 3252224 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 794 608 170 317 0 473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3176

[startup+0.701819 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17092
/proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=5016 CPUtime=0.69
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 1088 0 0 0 69 0 0 0 22 0 1 0 53796812 5136384 1070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 1254 1070 170 317 0 933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5016

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1690960/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=7908 CPUtime=1.49
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 1809 0 0 0 149 0 0 0 25 0 1 0 53796812 8097792 1791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 1977 1791 170 317 0 1656 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7908

[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1687120/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=12016 CPUtime=3.09
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 2846 0 0 0 308 1 0 0 25 0 1 0 53796812 12304384 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 3004 2828 170 317 0 2683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12016

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1680080/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=18500 CPUtime=6.29
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 4381 0 0 0 627 2 0 0 25 0 1 0 53796812 18944000 4363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563469 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 4625 4363 170 317 0 4304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18500

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1673112/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=24640 CPUtime=12.69
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 5990 0 0 0 1266 3 0 0 25 0 1 0 53796812 25231360 5972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 6160 5972 170 317 0 5839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24640

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1660440/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=37436 CPUtime=25.49
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 9049 0 0 0 2544 5 0 0 25 0 1 0 53796812 38334464 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 9359 9031 170 317 0 9038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37436

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1644568/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=56208 CPUtime=51.08
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 13046 0 0 0 5101 7 0 0 25 0 1 0 53796812 57556992 13028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 14052 13028 170 317 0 13731 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56208

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1624472/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=74684 CPUtime=102.27
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 18023 0 0 0 10216 11 0 0 25 0 1 0 53796812 76476416 17955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 18671 17955 170 317 0 18350 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 74684

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1608216/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=89512 CPUtime=162.25
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 22115 0 0 0 16212 13 0 0 25 0 1 0 53796812 91660288 22047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 22378 22047 170 317 0 22057 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89512

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1588376/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=115524 CPUtime=222.24
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 27028 0 0 0 22208 16 0 0 25 0 1 0 53796812 118296576 26960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 28881 26960 170 317 0 28560 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 115524

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17093
/proc/meminfo: memFree=1575832/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=127372 CPUtime=282.22
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 30166 0 0 0 28204 18 0 0 25 0 1 0 53796812 130428928 30098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 31843 30098 170 317 0 31522 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 127372

[startup+342.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1564888/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=137080 CPUtime=342.21
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 32881 0 0 0 34201 20 0 0 25 0 1 0 53796812 140369920 32813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 34270 32813 170 317 0 33949 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 137080

[startup+402.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 17093
/proc/meminfo: memFree=1553496/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=148660 CPUtime=402.19
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 35748 0 0 0 40198 21 0 0 25 0 1 0 53796812 152227840 35581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 37165 35581 170 317 0 36844 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 148660

[startup+462.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 17093
/proc/meminfo: memFree=1545560/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=156276 CPUtime=462.18
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 37861 0 0 0 46196 22 0 0 25 0 1 0 53796812 160026624 37694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 39069 37694 170 317 0 38748 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 156276

[startup+522.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 17093
/proc/meminfo: memFree=1536984/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=163880 CPUtime=522.17
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 39956 0 0 0 52193 24 0 0 25 0 1 0 53796812 167813120 39789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 40970 39789 170 317 0 40649 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 163880

[startup+582.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 17093
/proc/meminfo: memFree=1528536/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=171356 CPUtime=582.15
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 42062 0 0 0 58189 26 0 0 25 0 1 0 53796812 175468544 41895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 42839 41895 170 317 0 42518 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 171356

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 17093
/proc/meminfo: memFree=1520856/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=178436 CPUtime=642.14
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 43958 0 0 0 64187 27 0 0 25 0 1 0 53796812 182718464 43791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 44609 43791 170 317 0 44288 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 178436


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1491416/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=225732 CPUtime=942.06
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 54825 0 0 0 94174 32 0 0 25 0 1 0 53796812 231149568 51127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 56433 51127 170 317 0 56112 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 225732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1487960/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=229148 CPUtime=1002.05
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 55685 0 0 0 100172 33 0 0 25 0 1 0 53796812 234647552 51987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 57287 51987 170 317 0 56966 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 229148

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1483800/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=232600 CPUtime=1062.04
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 56723 0 0 0 106170 34 0 0 25 0 1 0 53796812 238182400 53025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 58150 53025 170 317 0 57829 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 232600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1479704/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=236028 CPUtime=1122.02
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 57746 0 0 0 112167 35 0 0 25 0 1 0 53796812 241692672 54048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 59007 54048 170 317 0 58686 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 236028

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1475672/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=239456 CPUtime=1182
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 58760 0 0 0 118165 35 0 0 25 0 1 0 53796812 245202944 55062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 59864 55062 170 317 0 59543 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 239456

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1472280/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=242760 CPUtime=1241.99
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 59596 0 0 0 124163 36 0 0 25 0 1 0 53796812 248586240 55898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 60690 55898 170 317 0 60369 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 242760

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1468248/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=245936 CPUtime=1301.98
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 60587 0 0 0 130161 37 0 0 25 0 1 0 53796812 251838464 56889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 61484 56889 170 317 0 61163 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 245936

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1464280/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=249236 CPUtime=1361.96
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 61575 0 0 0 136159 37 0 0 25 0 1 0 53796812 255217664 57877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 62309 57877 170 317 0 61988 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 249236

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1460376/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=252404 CPUtime=1421.94
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 62550 0 0 0 142157 37 0 0 25 0 1 0 53796812 258461696 58852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 63101 58852 170 317 0 62780 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 252404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1457176/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=255580 CPUtime=1481.93
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 63350 0 0 0 148155 38 0 0 25 0 1 0 53796812 261713920 59652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 63895 59652 170 317 0 63574 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 255580

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1453400/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=258756 CPUtime=1541.92
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 64301 0 0 0 154153 39 0 0 25 0 1 0 53796812 264966144 60603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 64689 60603 170 317 0 64368 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 258756

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1448792/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=263908 CPUtime=1601.9
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 65471 0 0 0 160151 39 0 0 25 0 1 0 53796812 270241792 61773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 65977 61773 170 317 0 65656 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 263908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1445656/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=266952 CPUtime=1661.89
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 66245 0 0 0 166149 40 0 0 25 0 1 0 53796812 273358848 62547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 66738 62547 170 317 0 66417 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 266952

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17093
/proc/meminfo: memFree=1441880/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=270260 CPUtime=1721.88
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 67221 0 0 0 172147 41 0 0 25 0 1 0 53796812 276746240 63490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 67565 63490 170 317 0 67244 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 270260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 17261
/proc/meminfo: memFree=1436576/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=273164 CPUtime=1781.77
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68164 0 0 0 178135 42 0 0 25 0 1 0 53796812 279719936 64433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 68291 64433 170 317 0 67970 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 273164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17291
/proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=274088 CPUtime=1800.06
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68391 0 0 0 179964 42 0 0 25 0 1 0 53796812 280666112 64660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 68522 64660 170 317 0 68201 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 274088

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17291
/proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=274088 CPUtime=1800.25
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68394 0 0 0 179983 42 0 0 25 0 1 0 53796812 280666112 64663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 68522 64664 170 317 0 68201 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 274088

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17291
/proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956
[pid=17092] ppid=17090 vsize=0 CPUtime=1800.35
/proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194308 68411 0 0 0 179991 44 0 0 25 0 1 0 53796812 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17092/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.38
CPU user time (s): 1799.91
CPU system time (s): 0.468928
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 274088

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

runsolver used 1.38679 second user time and 3.61945 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Thu Apr 19 13:31:57 UTC 2007

IDJOB= 357162
IDBENCH= 2200
IDSOLVER= 172
FILE ID= node51/357162-1176989517

PBS_JOBID= 4630419

Free space on /tmp= 66460 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
COMMAND LINE= oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-357162-1176989517 -o ROOT/results/node51/solver-357162-1176989517 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5018d2b93ba4422fc03308c57dbd6158

RANDOM SEED= 343339424

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1696496 kB
Buffers:         25176 kB
Cached:         285564 kB
SwapCached:       3556 kB
Active:         209576 kB
Inactive:       111568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1696496 kB
SwapTotal:     4192956 kB
SwapFree:      4183232 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:          16352 kB
Slab:            24356 kB
Committed_AS:  2634532 kB
PageTables:       1412 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= 66460 MiB

End job on node51 on Thu Apr 19 14:02:00 UTC 2007