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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM33d46caaa6c22613488909eddb5a530f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved YES
Number of terms in the objective function 444
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 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark94.0497
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
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 constraint32

Trace number 9658

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 14:40:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8354 boxname=wulflinc13 idbench=150 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc13/normalized-ii32e1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-ii32e1.opb
IDLAUNCH: 8354
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929868 kB
Buffers:         13404 kB
Cached:          73432 kB
SwapCached:          0 kB
Active:          43936 kB
Inactive:        45756 kB
HighTotal:      131008 kB
HighFree:        53984 kB
LowTotal:       903652 kB
LowFree:        875884 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9556 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:00:10 (client local time) WITH STATUS 10 IN 1206.82 SECONDS
stats: 8354 0 1206.82 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 222
c small objective detected
c CONFLICT during preprocess 
c [startup+4.17737 s]  setting bit 8 to 0
c [startup+11.1116 s]  setting bit 7 to 0

c Decision: 19462/74714	Time: 40.3389/86400
c Decision: 19847/74714	Time: 63.1124/86400
c Decision: 22033/74714	Time: 80.8367/86400
c Decision: 22322/74714	Time: 104.342/86400
c Decision: 22322/74714	Time: 112.507/86400
c Decision: 22322/74714	Time: 126.236/86400
c Decision: 22334/74714	Time: 146.077/86400
c Decision: 22342/74714	Time: 159.681/86400
c Decision: 22342/74714	Time: 176.868/86400
c Decision: 22342/74714	Time: 191.618/86400
c Decision: 22343/74714	Time: 216.399/86400
c Decision: 23737/74714	Time: 238.072/86400
c Decision: 23752/74714	Time: 252.403/86400
c Decision: 23752/74714	Time: 272.155/86400
c Decision: 27892/74714	Time: 295.672/86400
c Decision: 27892/74714	Time: 311.527/86400
c Decision: 27935/74714	Time: 346.19/86400
c Decision: 27935/74714	Time: 359.914/86400
c Decision: 27936/74714	Time: 391.612/86400
c Decision: 27936/74714	Time: 415.55/86400
c Decision: 27937/74714	Time: 442.783/86400
c Decision: 27937/74714	Time: 458.149/86400
c Decision: 27938/74714	Time: 483.097/86400
c Decision: 27938/74714	Time: 501.824/86400
c Decision: 27976/74714	Time: 532.861/86400
c Decision: 28345/74714	Time: 579.187/86400
c Decision: 28345/74714	Time: 594.575/86400
c Decision: 28345/74714	Time: 616.588/86400
c Decision: 28789/74714	Time: 655.091/86400
c Decision: 28789/74714	Time: 679.994/86400
c Decision: 28790/74714	Time: 707.43/86400
c Decision: 29077/74714	Time: 741.181/86400
c Decision: 29077/74714	Time: 761.424/86400
c Decision: 29077/74714	Time: 783.163/86400
c Decision: 29077/74714	Time: 799.704/86400
c Decision: 29077/74714	Time: 821.445/86400
c Decision: 29077/74714	Time: 839.377/86400
c Decision: 29180/74714	Time: 902.503/86400
c Decision: 29180/74714	Time: 923.596/86400
c Decision: 29465/74714	Time: 953.084/86400
c Decision: 29577/74714	Time: 978.887/86400
c Decision: 29869/74714	Time: 1030.21/86400
c Decision: 29869/74714	Time: 1050.14/86400
c Decision: 29870/74714	Time: 1082.01/86400
c Decision: 29871/74714	Time: 1110.22/86400
c Decision: 29871/74714	Time: 1134.57/86400
c Decision: 29871/74714	Time: 1157.96/86400s SATISFIABLE
v x1 -x10 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 x13 x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 x139 -x14 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 x148 -x149 x15 x150 x151 -x152 -x153 x154 x155 -x156 -x157 x158 x159 -x16 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 -x17 -x170 -x171 x172 -x173 x174 x175 -x176 x177 -x178 -x179 x18 x180 x181 -x182 -x183 x184 x185 -x186 -x187 x188 -x189 x19 x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 -x199 -x2 -x20 x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 x209 x21 -x210 -x211 x212 x213 -x214 -x215 x216 -x217 x218 x219 -x22 -x220 x221 -x222 -x223 x224 -x225 x226 x227 -x228 x229 x23 -x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 x239 -x24 -x240 -x241 x242 x243 -x244 -x245 x246 x247 -x248 x249 x25 -x250 -x251 x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x26 x260 -x261 x262 x263 -x264 x265 -x266 -x267 x268 x269 x27 -x270 -x271 x272 x273 -x274 -x275 x276 x277 -x278 -x279 -x28 x280 x281 -x282 -x283 x284 x285 -x286 -x287 x288 -x289 x29 x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x3 -x30 x300 x301 -x302 -x303 x304 -x305 x306 x307 -x308 -x309 x31 x310 x311 -x312 x313 -x314 -x315 x316 -x317 x318 x319 -x32 -x320 x321 -x322 -x323 x324 -x325 x326 x327 -x328 x329 x33 -x330 -x331 x332 -x333 x334 x335 -x336 -x337 x338 x339 -x34 -x340 x341 -x342 -x343 x344 -x345 x346 x347 -x348 x349 x35 -x350 -x351 x352 -x353 x354 x355 -x356 x357 -x358 -x359 -x36 x360 x361 -x362 -x363 x364 -x365 x366 x367 -x368 x369 x37 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x38 x380 x381 -x382 -x383 x384 x385 -x386 -x387 x388 -x389 x39 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 x399 -x4 -x40 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 x41 -x410 -x411 x412 -x413 x414 x415 -x416 -x417 x418 -x419 -x42 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x43 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x44 -x440 -x441 x442 -x443 x444 x45 -x46 x47 -x48 x49 -x5 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 x6 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 x7 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x8 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 x9 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20977659 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 373 2 364 364 0 9 0
[pid=6701] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-ii32e1.opb

[startup+10.0017 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 14358 0 0 0 962 33 0 0 25 0 1 0 20977659 49643520 8472 4294967295 134512640 135987407 3221224576 3221223196 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 12120 8472 364 364 0 11756 0
[pid=6701] vsize: 48480
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 48480

[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 15341 0 0 0 1938 42 0 0 25 0 1 0 20977659 53547008 9211 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 13073 9211 364 364 0 12709 0
[pid=6701] vsize: 52292
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 52292

[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 15607 0 0 0 2920 47 0 0 25 0 1 0 20977659 54366208 9444 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 13273 9444 364 364 0 12909 0
[pid=6701] vsize: 53092
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (Kb) 53092

[startup+40.0036 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 15780 0 0 0 3911 50 0 0 25 0 1 0 20977659 54906880 9617 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 13405 9617 364 364 0 13041 0
[pid=6701] vsize: 53620
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (Kb) 53620

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 16117 0 0 0 4895 56 0 0 25 0 1 0 20977659 56668160 9954 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 13835 9954 364 364 0 13471 0
[pid=6701] vsize: 55340
Current children cumulated CPU time (s) 49.51
Current children cumulated vsize (Kb) 55340

[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 16378 0 0 0 5888 59 0 0 25 0 1 0 20977659 57102336 10069 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 13941 10069 364 364 0 13577 0
[pid=6701] vsize: 55764
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (Kb) 55764

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 16450 0 0 0 6877 62 0 0 25 0 1 0 20977659 57569280 10141 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14055 10141 364 364 0 13691 0
[pid=6701] vsize: 56220
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 56220

[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 16679 0 0 0 7872 65 0 0 25 0 1 0 20977659 57700352 10191 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14087 10191 364 364 0 13723 0
[pid=6701] vsize: 56348
Current children cumulated CPU time (s) 79.37
Current children cumulated vsize (Kb) 56348

[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 16982 0 0 0 8854 72 0 0 25 0 1 0 20977659 59105280 10494 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14430 10494 364 364 0 14066 0
[pid=6701] vsize: 57720
Current children cumulated CPU time (s) 89.26
Current children cumulated vsize (Kb) 57720

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17163 0 0 0 9846 75 0 0 25 0 1 0 20977659 59105280 10529 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14430 10529 364 364 0 14066 0
[pid=6701] vsize: 57720
Current children cumulated CPU time (s) 99.21
Current children cumulated vsize (Kb) 57720

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17211 0 0 0 10838 78 0 0 25 0 1 0 20977659 59105280 10577 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14430 10577 364 364 0 14066 0
[pid=6701] vsize: 57720
Current children cumulated CPU time (s) 109.16
Current children cumulated vsize (Kb) 57720

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17390 0 0 0 11831 82 0 0 25 0 1 0 20977659 59105280 10610 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14430 10610 364 364 0 14066 0
[pid=6701] vsize: 57720
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 57720

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17582 0 0 0 12820 85 0 0 25 0 1 0 20977659 59105280 10656 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14430 10656 364 364 0 14066 0
[pid=6701] vsize: 57720
Current children cumulated CPU time (s) 129.05
Current children cumulated vsize (Kb) 57720

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17800 0 0 0 13815 87 0 0 25 0 1 0 20977659 59236352 10695 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14462 10695 364 364 0 14098 0
[pid=6701] vsize: 57848
Current children cumulated CPU time (s) 139.02
Current children cumulated vsize (Kb) 57848

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17802 0 0 0 14810 88 0 0 25 0 1 0 20977659 59236352 10697 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14462 10697 364 364 0 14098 0
[pid=6701] vsize: 57848
Current children cumulated CPU time (s) 148.98
Current children cumulated vsize (Kb) 57848

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17951 0 0 0 15804 91 0 0 25 0 1 0 20977659 59236352 10700 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14462 10700 364 364 0 14098 0
[pid=6701] vsize: 57848
Current children cumulated CPU time (s) 158.95
Current children cumulated vsize (Kb) 57848

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 17954 0 0 0 16799 93 0 0 25 0 1 0 20977659 59236352 10703 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14462 10703 364 364 0 14098 0
[pid=6701] vsize: 57848
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (Kb) 57848

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18110 0 0 0 17794 95 0 0 25 0 1 0 20977659 59371520 10713 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14495 10713 364 364 0 14131 0
[pid=6701] vsize: 57980
Current children cumulated CPU time (s) 178.89
Current children cumulated vsize (Kb) 57980

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18274 0 0 0 18790 98 0 0 25 0 1 0 20977659 59371520 10731 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14495 10731 364 364 0 14131 0
[pid=6701] vsize: 57980
Current children cumulated CPU time (s) 188.88
Current children cumulated vsize (Kb) 57980

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18333 0 0 0 19779 102 0 0 25 0 1 0 20977659 59641856 10790 4294967295 134512640 135987407 3221224576 3221223248 134824717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14561 10790 364 364 0 14197 0
[pid=6701] vsize: 58244
Current children cumulated CPU time (s) 198.81
Current children cumulated vsize (Kb) 58244

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18498 0 0 0 20774 104 0 0 25 0 1 0 20977659 59777024 10809 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14594 10809 364 364 0 14230 0
[pid=6701] vsize: 58376
Current children cumulated CPU time (s) 208.78
Current children cumulated vsize (Kb) 58376

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18560 0 0 0 21768 106 0 0 25 0 1 0 20977659 59777024 10871 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14594 10871 364 364 0 14230 0
[pid=6701] vsize: 58376
Current children cumulated CPU time (s) 218.74
Current children cumulated vsize (Kb) 58376

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18783 0 0 0 22762 108 0 0 25 0 1 0 20977659 59961344 10948 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14639 10948 364 364 0 14275 0
[pid=6701] vsize: 58556
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 58556

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18785 0 0 0 23759 110 0 0 25 0 1 0 20977659 59961344 10950 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14639 10950 364 364 0 14275 0
[pid=6701] vsize: 58556
Current children cumulated CPU time (s) 238.69
Current children cumulated vsize (Kb) 58556

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 18886 0 0 0 24749 114 0 0 25 0 1 0 20977659 60465152 11051 4294967295 134512640 135987407 3221224576 3221223120 134788680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14762 11051 364 364 0 14398 0
[pid=6701] vsize: 59048
Current children cumulated CPU time (s) 248.63
Current children cumulated vsize (Kb) 59048

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19050 0 0 0 25745 115 0 0 25 0 1 0 20977659 60465152 11069 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14762 11069 364 364 0 14398 0
[pid=6701] vsize: 59048
Current children cumulated CPU time (s) 258.6
Current children cumulated vsize (Kb) 59048

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19200 0 0 0 26738 117 0 0 25 0 1 0 20977659 60465152 11073 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14762 11073 364 364 0 14398 0
[pid=6701] vsize: 59048
Current children cumulated CPU time (s) 268.55
Current children cumulated vsize (Kb) 59048

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19246 0 0 0 27733 119 0 0 25 0 1 0 20977659 60735488 11119 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14828 11119 364 364 0 14464 0
[pid=6701] vsize: 59312
Current children cumulated CPU time (s) 278.52
Current children cumulated vsize (Kb) 59312

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19405 0 0 0 28728 120 0 0 25 0 1 0 20977659 60735488 11132 4294967295 134512640 135987407 3221224576 3221223120 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14828 11132 364 364 0 14464 0
[pid=6701] vsize: 59312
Current children cumulated CPU time (s) 288.48
Current children cumulated vsize (Kb) 59312

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19411 0 0 0 29722 123 0 0 25 0 1 0 20977659 60735488 11138 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14828 11138 364 364 0 14464 0
[pid=6701] vsize: 59312
Current children cumulated CPU time (s) 298.45
Current children cumulated vsize (Kb) 59312

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19579 0 0 0 30715 126 0 0 25 0 1 0 20977659 60870656 11160 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11160 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 308.41
Current children cumulated vsize (Kb) 59444

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19631 0 0 0 31712 127 0 0 25 0 1 0 20977659 60870656 11212 4294967295 134512640 135987407 3221224576 3221223280 134790091 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11212 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 318.39
Current children cumulated vsize (Kb) 59444

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19797 0 0 0 32708 129 0 0 25 0 1 0 20977659 60870656 11232 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11232 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 328.37
Current children cumulated vsize (Kb) 59444

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19800 0 0 0 33703 131 0 0 25 0 1 0 20977659 60870656 11235 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11235 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 338.34
Current children cumulated vsize (Kb) 59444

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19803 0 0 0 34700 132 0 0 25 0 1 0 20977659 60870656 11238 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11238 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 348.32
Current children cumulated vsize (Kb) 59444

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19951 0 0 0 35696 133 0 0 25 0 1 0 20977659 60870656 11240 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 14861 11240 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (Kb) 59444

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 19954 0 0 0 36693 134 0 0 25 0 1 0 20977659 60870656 11243 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11243 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 368.27
Current children cumulated vsize (Kb) 59444

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20102 0 0 0 37689 136 0 0 25 0 1 0 20977659 60870656 11245 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11245 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 378.25
Current children cumulated vsize (Kb) 59444

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20105 0 0 0 38686 137 0 0 25 0 1 0 20977659 60870656 11248 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11248 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 388.23
Current children cumulated vsize (Kb) 59444

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20131 0 0 0 39681 139 0 0 25 0 1 0 20977659 60870656 11274 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11274 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 398.2
Current children cumulated vsize (Kb) 59444

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20318 0 0 0 40677 141 0 0 25 0 1 0 20977659 60870656 11315 4294967295 134512640 135987407 3221224576 3221223120 134812063 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14861 11315 364 364 0 14497 0
[pid=6701] vsize: 59444
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (Kb) 59444

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20347 0 0 0 41675 142 0 0 25 0 1 0 20977659 61009920 11344 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14895 11344 364 364 0 14531 0
[pid=6701] vsize: 59580
Current children cumulated CPU time (s) 418.17
Current children cumulated vsize (Kb) 59580

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20540 0 0 0 42673 143 0 0 25 0 1 0 20977659 61009920 11391 4294967295 134512640 135987407 3221224576 3221223020 134677714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14895 11391 364 364 0 14531 0
[pid=6701] vsize: 59580
Current children cumulated CPU time (s) 428.16
Current children cumulated vsize (Kb) 59580

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20580 0 0 0 43669 145 0 0 25 0 1 0 20977659 61009920 11431 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14895 11431 364 364 0 14531 0
[pid=6701] vsize: 59580
Current children cumulated CPU time (s) 438.14
Current children cumulated vsize (Kb) 59580

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20644 0 0 0 44665 147 0 0 25 0 1 0 20977659 61009920 11495 4294967295 134512640 135987407 3221224576 3221223100 134778358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14895 11495 364 364 0 14531 0
[pid=6701] vsize: 59580
Current children cumulated CPU time (s) 448.12
Current children cumulated vsize (Kb) 59580

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20830 0 0 0 45661 149 0 0 25 0 1 0 20977659 61009920 11535 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14895 11535 364 364 0 14531 0
[pid=6701] vsize: 59580
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (Kb) 59580

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 20885 0 0 0 46652 152 0 0 25 0 1 0 20977659 61374464 11590 4294967295 134512640 135987407 3221224576 3221223216 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11590 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 468.04
Current children cumulated vsize (Kb) 59936

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21035 0 0 0 47645 155 0 0 25 0 1 0 20977659 61374464 11594 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11594 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 478
Current children cumulated vsize (Kb) 59936

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21037 0 0 0 48640 157 0 0 25 0 1 0 20977659 61374464 11596 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11596 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 487.97
Current children cumulated vsize (Kb) 59936

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21185 0 0 0 49637 159 0 0 25 0 1 0 20977659 61374464 11598 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11598 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 497.96
Current children cumulated vsize (Kb) 59936

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21187 0 0 0 50633 160 0 0 25 0 1 0 20977659 61374464 11600 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11600 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 507.93
Current children cumulated vsize (Kb) 59936

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21336 0 0 0 51629 162 0 0 25 0 1 0 20977659 61374464 11603 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 14984 11603 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 517.91
Current children cumulated vsize (Kb) 59936

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21338 0 0 0 52624 163 0 0 25 0 1 0 20977659 61374464 11605 4294967295 134512640 135987407 3221224576 3221223120 134811709 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 14984 11605 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 527.87
Current children cumulated vsize (Kb) 59936

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21341 0 0 0 53621 164 0 0 25 0 1 0 20977659 61374464 11608 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11608 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 537.85
Current children cumulated vsize (Kb) 59936

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21495 0 0 0 54618 166 0 0 25 0 1 0 20977659 61374464 11616 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11616 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 547.84
Current children cumulated vsize (Kb) 59936

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21502 0 0 0 55615 167 0 0 25 0 1 0 20977659 61374464 11623 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11623 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 557.82
Current children cumulated vsize (Kb) 59936

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21512 0 0 0 56611 169 0 0 25 0 1 0 20977659 61374464 11633 4294967295 134512640 135987407 3221224576 3221223120 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11633 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 567.8
Current children cumulated vsize (Kb) 59936

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21521 0 0 0 57608 170 0 0 25 0 1 0 20977659 61374464 11642 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11642 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 577.78
Current children cumulated vsize (Kb) 59936

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21525 0 0 0 58606 171 0 0 25 0 1 0 20977659 61374464 11646 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 14984 11646 364 364 0 14620 0
[pid=6701] vsize: 59936
Current children cumulated CPU time (s) 587.77
Current children cumulated vsize (Kb) 59936

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21689 0 0 0 59602 173 0 0 25 0 1 0 20977659 61509632 11664 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11664 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 597.75
Current children cumulated vsize (Kb) 60068

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21839 0 0 0 60598 174 0 0 25 0 1 0 20977659 61509632 11668 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11668 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 607.72
Current children cumulated vsize (Kb) 60068

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21842 0 0 0 61596 176 0 0 25 0 1 0 20977659 61509632 11671 4294967295 134512640 135987407 3221224576 3221223120 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11671 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 617.72
Current children cumulated vsize (Kb) 60068

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 21995 0 0 0 62592 177 0 0 25 0 1 0 20977659 61509632 11678 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11678 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 627.69
Current children cumulated vsize (Kb) 60068

[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22001 0 0 0 63589 178 0 0 25 0 1 0 20977659 61509632 11684 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11684 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 637.67
Current children cumulated vsize (Kb) 60068

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22008 0 0 0 64586 180 0 0 25 0 1 0 20977659 61509632 11691 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11691 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 647.66
Current children cumulated vsize (Kb) 60068

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22011 0 0 0 65583 181 0 0 25 0 1 0 20977659 61509632 11694 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15017 11694 364 364 0 14653 0
[pid=6701] vsize: 60068
Current children cumulated CPU time (s) 657.64
Current children cumulated vsize (Kb) 60068

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22180 0 0 0 66579 183 0 0 25 0 1 0 20977659 61644800 11717 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11717 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 667.62
Current children cumulated vsize (Kb) 60200

[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22182 0 0 0 67577 184 0 0 25 0 1 0 20977659 61644800 11719 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11719 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 677.61
Current children cumulated vsize (Kb) 60200

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22186 0 0 0 68574 185 0 0 25 0 1 0 20977659 61644800 11723 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11723 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 687.59
Current children cumulated vsize (Kb) 60200

[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22335 0 0 0 69572 186 0 0 25 0 1 0 20977659 61644800 11726 4294967295 134512640 135987407 3221224576 3221223120 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11726 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 697.58
Current children cumulated vsize (Kb) 60200

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22341 0 0 0 70567 187 0 0 25 0 1 0 20977659 61644800 11732 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11732 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 707.54
Current children cumulated vsize (Kb) 60200

[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22377 0 0 0 71564 189 0 0 25 0 1 0 20977659 61644800 11768 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15050 11768 364 364 0 14686 0
[pid=6701] vsize: 60200
Current children cumulated CPU time (s) 717.53
Current children cumulated vsize (Kb) 60200

[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22542 0 0 0 72561 191 0 0 25 0 1 0 20977659 61779968 11787 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15083 11787 364 364 0 14719 0
[pid=6701] vsize: 60332
Current children cumulated CPU time (s) 727.52
Current children cumulated vsize (Kb) 60332

[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22547 0 0 0 73558 192 0 0 25 0 1 0 20977659 61779968 11792 4294967295 134512640 135987407 3221224576 3221223248 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15083 11792 364 364 0 14719 0
[pid=6701] vsize: 60332
Current children cumulated CPU time (s) 737.5
Current children cumulated vsize (Kb) 60332

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22552 0 0 0 74556 193 0 0 25 0 1 0 20977659 61779968 11797 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15083 11797 364 364 0 14719 0
[pid=6701] vsize: 60332
Current children cumulated CPU time (s) 747.49
Current children cumulated vsize (Kb) 60332

[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22710 0 0 0 75553 195 0 0 25 0 1 0 20977659 61779968 11809 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15083 11809 364 364 0 14719 0
[pid=6701] vsize: 60332
Current children cumulated CPU time (s) 757.48
Current children cumulated vsize (Kb) 60332

[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22713 0 0 0 76551 196 0 0 25 0 1 0 20977659 61779968 11812 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15083 11812 364 364 0 14719 0
[pid=6701] vsize: 60332
Current children cumulated CPU time (s) 767.47
Current children cumulated vsize (Kb) 60332

[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22871 0 0 0 77548 197 0 0 25 0 1 0 20977659 61915136 11824 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11824 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 777.45
Current children cumulated vsize (Kb) 60464

[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 22876 0 0 0 78546 197 0 0 25 0 1 0 20977659 61915136 11829 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11829 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 787.43
Current children cumulated vsize (Kb) 60464

[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23034 0 0 0 79543 199 0 0 25 0 1 0 20977659 61915136 11841 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11841 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 797.42
Current children cumulated vsize (Kb) 60464

[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23038 0 0 0 80540 200 0 0 25 0 1 0 20977659 61915136 11845 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11845 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 807.4
Current children cumulated vsize (Kb) 60464

[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23193 0 0 0 81536 202 0 0 25 0 1 0 20977659 61915136 11854 4294967295 134512640 135987407 3221224576 3221222892 135480932 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11854 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 60464

[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23200 0 0 0 82534 203 0 0 25 0 1 0 20977659 61915136 11861 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11861 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 827.37
Current children cumulated vsize (Kb) 60464

[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23372 0 0 0 83530 205 0 0 25 0 1 0 20977659 61915136 11887 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11887 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 837.35
Current children cumulated vsize (Kb) 60464

[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23380 0 0 0 84527 206 0 0 25 0 1 0 20977659 61915136 11895 4294967295 134512640 135987407 3221224576 3221223248 134824816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15116 11895 364 364 0 14752 0
[pid=6701] vsize: 60464
Current children cumulated CPU time (s) 847.33
Current children cumulated vsize (Kb) 60464

[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23536 0 0 0 85524 207 0 0 25 0 1 0 20977659 62050304 11905 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11905 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 857.31
Current children cumulated vsize (Kb) 60596

[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23541 0 0 0 86521 209 0 0 25 0 1 0 20977659 62050304 11910 4294967295 134512640 135987407 3221224576 3221223216 134812355 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11910 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 867.3
Current children cumulated vsize (Kb) 60596

[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23551 0 0 0 87517 210 0 0 25 0 1 0 20977659 62050304 11920 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11920 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 877.27
Current children cumulated vsize (Kb) 60596

[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23557 0 0 0 88515 211 0 0 25 0 1 0 20977659 62050304 11926 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11926 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 887.26
Current children cumulated vsize (Kb) 60596

[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23559 0 0 0 89511 213 0 0 25 0 1 0 20977659 62050304 11928 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11928 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 897.24
Current children cumulated vsize (Kb) 60596

[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23564 0 0 0 90509 213 0 0 25 0 1 0 20977659 62050304 11933 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15149 11933 364 364 0 14785 0
[pid=6701] vsize: 60596
Current children cumulated CPU time (s) 907.22
Current children cumulated vsize (Kb) 60596

[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23728 0 0 0 91506 215 0 0 25 0 1 0 20977659 62185472 11951 4294967295 134512640 135987407 3221224576 3221222992 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15182 11951 364 364 0 14818 0
[pid=6701] vsize: 60728
Current children cumulated CPU time (s) 917.21
Current children cumulated vsize (Kb) 60728

[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23729 0 0 0 92503 216 0 0 25 0 1 0 20977659 62185472 11952 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15182 11952 364 364 0 14818 0
[pid=6701] vsize: 60728
Current children cumulated CPU time (s) 927.19
Current children cumulated vsize (Kb) 60728

[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23910 0 0 0 93500 218 0 0 25 0 1 0 20977659 62185472 11987 4294967295 134512640 135987407 3221224576 3221223120 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15182 11987 364 364 0 14818 0
[pid=6701] vsize: 60728
Current children cumulated CPU time (s) 937.18
Current children cumulated vsize (Kb) 60728

[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 23967 0 0 0 94497 219 0 0 25 0 1 0 20977659 62185472 12044 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 15182 12044 364 364 0 14818 0
[pid=6701] vsize: 60728
Current children cumulated CPU time (s) 947.16
Current children cumulated vsize (Kb) 60728

[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24008 0 0 0 95494 221 0 0 25 0 1 0 20977659 62185472 12085 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 15182 12085 364 364 0 14818 0
[pid=6701] vsize: 60728
Current children cumulated CPU time (s) 957.15
Current children cumulated vsize (Kb) 60728

[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24211 0 0 0 96490 223 0 0 25 0 1 0 20977659 62320640 12142 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 15215 12142 364 364 0 14851 0
[pid=6701] vsize: 60860
Current children cumulated CPU time (s) 967.13
Current children cumulated vsize (Kb) 60860

[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24269 0 0 0 97488 223 0 0 25 0 1 0 20977659 70709248 12200 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 17263 12200 364 364 0 16899 0
[pid=6701] vsize: 69052
Current children cumulated CPU time (s) 977.11
Current children cumulated vsize (Kb) 69052

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24316 0 0 0 98486 224 0 0 25 0 1 0 20977659 70709248 12247 4294967295 134512640 135987407 3221224576 3221223024 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 17263 12247 364 364 0 16899 0
[pid=6701] vsize: 69052
Current children cumulated CPU time (s) 987.1
Current children cumulated vsize (Kb) 69052

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24482 0 0 0 99484 225 0 0 25 0 1 0 20977659 70709248 12267 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17263 12267 364 364 0 16899 0
[pid=6701] vsize: 69052
Current children cumulated CPU time (s) 997.09
Current children cumulated vsize (Kb) 69052

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24498 0 0 0 100479 227 0 0 25 0 1 0 20977659 70709248 12283 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17263 12283 364 364 0 16899 0
[pid=6701] vsize: 69052
Current children cumulated CPU time (s) 1007.06
Current children cumulated vsize (Kb) 69052

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24525 0 0 0 101469 230 0 0 25 0 1 0 20977659 70844416 12310 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17296 12310 364 364 0 16932 0
[pid=6701] vsize: 69184
Current children cumulated CPU time (s) 1016.99
Current children cumulated vsize (Kb) 69184

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24527 0 0 0 102465 232 0 0 25 0 1 0 20977659 70844416 12312 4294967295 134512640 135987407 3221224576 3221223120 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17296 12312 364 364 0 16932 0
[pid=6701] vsize: 69184
Current children cumulated CPU time (s) 1026.97
Current children cumulated vsize (Kb) 69184

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24529 0 0 0 103463 233 0 0 25 0 1 0 20977659 70844416 12314 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17296 12314 364 364 0 16932 0
[pid=6701] vsize: 69184
Current children cumulated CPU time (s) 1036.96
Current children cumulated vsize (Kb) 69184

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24684 0 0 0 104459 235 0 0 25 0 1 0 20977659 70844416 12323 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17296 12323 364 364 0 16932 0
[pid=6701] vsize: 69184
Current children cumulated CPU time (s) 1046.94
Current children cumulated vsize (Kb) 69184

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24687 0 0 0 105457 236 0 0 25 0 1 0 20977659 70844416 12326 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17296 12326 364 364 0 16932 0
[pid=6701] vsize: 69184
Current children cumulated CPU time (s) 1056.93
Current children cumulated vsize (Kb) 69184

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24841 0 0 0 106455 237 0 0 25 0 1 0 20977659 70979584 12334 4294967295 134512640 135987407 3221224576 3221223184 134801119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12334 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1066.92
Current children cumulated vsize (Kb) 69316

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24847 0 0 0 107451 238 0 0 25 0 1 0 20977659 70979584 12340 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12340 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1076.89
Current children cumulated vsize (Kb) 69316

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 24853 0 0 0 108448 239 0 0 25 0 1 0 20977659 70979584 12346 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12346 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1086.87
Current children cumulated vsize (Kb) 69316

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25007 0 0 0 109445 240 0 0 25 0 1 0 20977659 70979584 12354 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12354 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1096.85
Current children cumulated vsize (Kb) 69316

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25016 0 0 0 110444 241 0 0 25 0 1 0 20977659 70979584 12363 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12363 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1106.85
Current children cumulated vsize (Kb) 69316

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25021 0 0 0 111442 242 0 0 25 0 1 0 20977659 70979584 12368 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17329 12368 364 364 0 16965 0
[pid=6701] vsize: 69316
Current children cumulated CPU time (s) 1116.84
Current children cumulated vsize (Kb) 69316

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25193 0 0 0 112439 243 0 0 25 0 1 0 20977659 71114752 12394 4294967295 134512640 135987407 3221224576 3221223120 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17362 12394 364 364 0 16998 0
[pid=6701] vsize: 69448
Current children cumulated CPU time (s) 1126.82
Current children cumulated vsize (Kb) 69448

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25194 0 0 0 113435 244 0 0 25 0 1 0 20977659 71114752 12395 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17362 12395 364 364 0 16998 0
[pid=6701] vsize: 69448
Current children cumulated CPU time (s) 1136.79
Current children cumulated vsize (Kb) 69448

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25342 0 0 0 114433 245 0 0 25 0 1 0 20977659 71114752 12397 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17362 12397 364 364 0 16998 0
[pid=6701] vsize: 69448
Current children cumulated CPU time (s) 1146.78
Current children cumulated vsize (Kb) 69448

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25348 0 0 0 115430 246 0 0 25 0 1 0 20977659 71114752 12403 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17362 12403 364 364 0 16998 0
[pid=6701] vsize: 69448
Current children cumulated CPU time (s) 1156.76
Current children cumulated vsize (Kb) 69448

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25350 0 0 0 116427 247 0 0 25 0 1 0 20977659 71114752 12405 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17362 12405 364 364 0 16998 0
[pid=6701] vsize: 69448
Current children cumulated CPU time (s) 1166.74
Current children cumulated vsize (Kb) 69448

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25509 0 0 0 117423 249 0 0 25 0 1 0 20977659 71249920 12418 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17395 12418 364 364 0 17031 0
[pid=6701] vsize: 69580
Current children cumulated CPU time (s) 1176.72
Current children cumulated vsize (Kb) 69580

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25516 0 0 0 118421 250 0 0 25 0 1 0 20977659 71249920 12425 4294967295 134512640 135987407 3221224576 3221223196 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17395 12425 364 364 0 17031 0
[pid=6701] vsize: 69580
Current children cumulated CPU time (s) 1186.71
Current children cumulated vsize (Kb) 69580

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 6701
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25521 0 0 0 119417 252 0 0 25 0 1 0 20977659 71249920 12430 4294967295 134512640 135987407 3221224576 3221223008 134801587 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6701/statm): 17395 12430 364 364 0 17031 0
[pid=6701] vsize: 69580
Current children cumulated CPU time (s) 1196.69
Current children cumulated vsize (Kb) 69580

[startup+1210.04 s]
Raw data (loadavg): 1.07 0.99 0.98 2/59 6751
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25526 0 0 0 120412 254 0 0 25 0 1 0 20977659 71249920 12435 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 17395 12435 364 364 0 17031 0
[pid=6701] vsize: 69580
Current children cumulated CPU time (s) 1206.66
Current children cumulated vsize (Kb) 69580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.07 0.99 0.98 2/59 6751
Raw data (/proc/6701/stat): 6701 (pb2sat) R 6700 6701 4060 0 -1 0 25526 0 0 0 120412 254 0 0 25 0 1 0 20977659 71249920 12435 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6701/statm): 17395 12435 364 364 0 17031 0
[pid=6701] vsize: 69580
Current children cumulated CPU time (s) 1206.66
Current children cumulated vsize (Kb) 69580

Sending SIGTERM to -6701
Sleeping 2 seconds
One traced child (pid=6701) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.2
CPU time (s): 1206.82
CPU user time (s): 1204.25
CPU system time (s): 2.56861
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (Kb): 69580

Verifier Data

Verifier:	OK	222