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-ii32c3.opb
MD5SUM00d830716ad6728e4af33fe898d69922
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 261
Optimality of the best value was proved YES
Number of terms in the objective function 558
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 558
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 558
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark316.875
Number of variables558
Total number of constraints3551
Number of constraints which are clauses3551
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 9640

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 14:38:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8350 boxname=wulflinc29 idbench=146 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00d830716ad6728e4af33fe898d69922  /oldhome/oroussel/tmp/wulflinc29/normalized-ii32c3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-ii32c3.opb
IDLAUNCH: 8350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930820 kB
Buffers:         10920 kB
Cached:          75984 kB
SwapCached:          0 kB
Active:          44048 kB
Inactive:        45744 kB
HighTotal:      131008 kB
HighFree:        55384 kB
LowTotal:       903652 kB
LowFree:        875436 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8560 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:58:16 (client local time) WITH STATUS 10 IN 1208.01 SECONDS
stats: 8350 0 1208.01 10

Solver Data

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

c Decision: 46613/117753	Time: 88.5225/86400
c Decision: 46613/117753	Time: 114.05/86400
c Decision: 47411/117753	Time: 155.699/86400
c [startup+294.733 s]  setting bit 7 to 0

c Decision: 25184/117753	Time: 99.7688/86400
c [startup+516.701 s]  setting bit 6 to 0

c Decision: 11365/117753	Time: 17.0124/86400
c Decision: 13442/117753	Time: 45.0991/86400
c Decision: 14769/117753	Time: 102.109/86400
c Decision: 15318/117753	Time: 126.649/86400
c Decision: 15318/117753	Time: 148.648/86400
c Decision: 17708/117753	Time: 183.973/86400
c Decision: 20173/117753	Time: 234.761/86400
c Decision: 20359/117753	Time: 266.289/86400
c Decision: 21396/117753	Time: 296.924/86400
c Decision: 22025/117753	Time: 329.606/86400
c Decision: 22701/117753	Time: 354.845/86400
c [startup+925.509 s]  setting bit 5 to 0

c got solution with objective value: 262
c [startup+947.201 s]  setting bit 4 to 1

c Decision: 11112/117753	Time: 76.4184/86400
c Decision: 18273/117753	Time: 129.576/86400
c Decision: 18273/117753	Time: 148.375/86400
c Decision: 18273/117753	Time: 173.143/86400
c Decision: 18273/117753	Time: 191.668/86400
c Decision: 18273/117753	Time: 215.802/86400
c Decision: 18925/117753	Time: 238.413/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 x445 -x446 -x447 x448 -x449 x45 x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x46 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 x469 x47 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 -x48 x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 x49 x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 x499 -x5 -x50 -x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x51 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 x519 -x52 -x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x53 x530 x531 -x532 -x533 x534 x535 -x536 -x537 x538 -x539 -x54 x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 -x549 x55 x550 x551 -x552 x553 -x554 -x555 x556 -x557 x558 -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/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20928341 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 373 2 364 364 0 9 0
[pid=6750] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-ii32c3.opb

[startup+10.0022 s]
Raw data (loadavg): 0.95 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18558 0 0 0 954 42 0 0 25 0 1 0 20928341 55144448 12167 4294967295 134512640 135987407 3221224576 3221223184 134801227 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13463 12167 364 364 0 13099 0
[pid=6750] vsize: 53852
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 53852

[startup+20.003 s]
Raw data (loadavg): 0.95 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18696 0 0 0 1951 44 0 0 25 0 1 0 20928341 55545856 12305 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13561 12305 364 364 0 13197 0
[pid=6750] vsize: 54244
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 54244

[startup+30.0048 s]
Raw data (loadavg): 0.96 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18738 0 0 0 2948 45 0 0 25 0 1 0 20928341 55681024 12347 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13594 12347 364 364 0 13230 0
[pid=6750] vsize: 54376
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 54376

[startup+40.0056 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18751 0 0 0 3946 46 0 0 25 0 1 0 20928341 55681024 12360 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13594 12360 364 364 0 13230 0
[pid=6750] vsize: 54376
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 54376

[startup+50.0064 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18777 0 0 0 4943 47 0 0 25 0 1 0 20928341 55681024 12386 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13594 12386 364 364 0 13230 0
[pid=6750] vsize: 54376
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 54376

[startup+60.0071 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18788 0 0 0 5940 49 0 0 25 0 1 0 20928341 55681024 12397 4294967295 134512640 135987407 3221224576 3221223048 134775585 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13594 12397 364 364 0 13230 0
[pid=6750] vsize: 54376
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 54376

[startup+70.0079 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18798 0 0 0 6937 50 0 0 25 0 1 0 20928341 55681024 12407 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13594 12407 364 364 0 13230 0
[pid=6750] vsize: 54376
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 54376

[startup+80.0087 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18849 0 0 0 7934 51 0 0 25 0 1 0 20928341 55812096 12425 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13626 12425 364 364 0 13262 0
[pid=6750] vsize: 54504
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 54504

[startup+90.0095 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 18860 0 0 0 8931 52 0 0 25 0 1 0 20928341 55812096 12436 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13626 12436 364 364 0 13262 0
[pid=6750] vsize: 54504
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 54504

[startup+100.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19101 0 0 0 9929 53 0 0 25 0 1 0 20928341 55812096 12447 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13626 12447 364 364 0 13262 0
[pid=6750] vsize: 54504
Current children cumulated CPU time (s) 99.82
Current children cumulated vsize (Kb) 54504

[startup+110.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19105 0 0 0 10925 54 0 0 25 0 1 0 20928341 55947264 12451 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13659 12451 364 364 0 13295 0
[pid=6750] vsize: 54636
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 54636

[startup+120.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19131 0 0 0 11923 55 0 0 25 0 1 0 20928341 55947264 12477 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13659 12477 364 364 0 13295 0
[pid=6750] vsize: 54636
Current children cumulated CPU time (s) 119.78
Current children cumulated vsize (Kb) 54636

[startup+130.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19408 0 0 0 12919 56 0 0 25 0 1 0 20928341 56098816 12524 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13696 12524 364 364 0 13332 0
[pid=6750] vsize: 54784
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 54784

[startup+140.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19500 0 0 0 13916 57 0 0 25 0 1 0 20928341 56360960 12551 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13760 12551 364 364 0 13396 0
[pid=6750] vsize: 55040
Current children cumulated CPU time (s) 139.73
Current children cumulated vsize (Kb) 55040

[startup+150.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19513 0 0 0 14914 58 0 0 25 0 1 0 20928341 56360960 12564 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13760 12564 364 364 0 13396 0
[pid=6750] vsize: 55040
Current children cumulated CPU time (s) 149.72
Current children cumulated vsize (Kb) 55040

[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19534 0 0 0 15910 59 0 0 25 0 1 0 20928341 56496128 12585 4294967295 134512640 135987407 3221224576 3221223120 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12585 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 55172

[startup+170.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19787 0 0 0 16907 60 0 0 25 0 1 0 20928341 56496128 12608 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12608 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (Kb) 55172

[startup+180.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19810 0 0 0 17905 61 0 0 25 0 1 0 20928341 56496128 12631 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12631 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 179.66
Current children cumulated vsize (Kb) 55172

[startup+190.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19827 0 0 0 18902 62 0 0 25 0 1 0 20928341 56496128 12648 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12648 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 189.64
Current children cumulated vsize (Kb) 55172

[startup+200.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19844 0 0 0 19900 63 0 0 25 0 1 0 20928341 56496128 12665 4294967295 134512640 135987407 3221224576 3221223216 134812328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12665 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 199.63
Current children cumulated vsize (Kb) 55172

[startup+210.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19863 0 0 0 20897 64 0 0 25 0 1 0 20928341 56496128 12684 4294967295 134512640 135987407 3221224576 3221223120 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13793 12684 364 364 0 13429 0
[pid=6750] vsize: 55172
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 55172

[startup+220.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19879 0 0 0 21895 65 0 0 25 0 1 0 20928341 56631296 12700 4294967295 134512640 135987407 3221224576 3221223120 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12700 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 219.6
Current children cumulated vsize (Kb) 55304

[startup+230.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19895 0 0 0 22893 66 0 0 25 0 1 0 20928341 56631296 12716 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12716 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 229.59
Current children cumulated vsize (Kb) 55304

[startup+240.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19916 0 0 0 23891 67 0 0 25 0 1 0 20928341 56631296 12737 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12737 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (Kb) 55304

[startup+250.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19941 0 0 0 24888 69 0 0 25 0 1 0 20928341 56631296 12762 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12762 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 249.57
Current children cumulated vsize (Kb) 55304

[startup+260.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19965 0 0 0 25885 70 0 0 25 0 1 0 20928341 56631296 12786 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12786 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 259.55
Current children cumulated vsize (Kb) 55304

[startup+270.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 19981 0 0 0 26882 71 0 0 25 0 1 0 20928341 56631296 12802 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13826 12802 364 364 0 13462 0
[pid=6750] vsize: 55304
Current children cumulated CPU time (s) 269.53
Current children cumulated vsize (Kb) 55304

[startup+280.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20005 0 0 0 27880 72 0 0 25 0 1 0 20928341 56766464 12826 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13859 12826 364 364 0 13495 0
[pid=6750] vsize: 55436
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (Kb) 55436

[startup+290.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20019 0 0 0 28879 73 0 0 25 0 1 0 20928341 56766464 12840 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13859 12840 364 364 0 13495 0
[pid=6750] vsize: 55436
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 55436

[startup+300.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20278 0 0 0 29875 74 0 0 25 0 1 0 20928341 56766464 12869 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 13859 12869 364 364 0 13495 0
[pid=6750] vsize: 55436
Current children cumulated CPU time (s) 299.49
Current children cumulated vsize (Kb) 55436

[startup+310.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20505 0 0 0 30870 76 0 0 25 0 1 0 20928341 57458688 13031 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14028 13031 364 364 0 13664 0
[pid=6750] vsize: 56112
Current children cumulated CPU time (s) 309.46
Current children cumulated vsize (Kb) 56112

[startup+320.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20560 0 0 0 31867 77 0 0 25 0 1 0 20928341 57724928 13086 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14093 13086 364 364 0 13729 0
[pid=6750] vsize: 56372
Current children cumulated CPU time (s) 319.44
Current children cumulated vsize (Kb) 56372

[startup+330.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20595 0 0 0 32864 78 0 0 25 0 1 0 20928341 57724928 13121 4294967295 134512640 135987407 3221224576 3221222960 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14093 13121 364 364 0 13729 0
[pid=6750] vsize: 56372
Current children cumulated CPU time (s) 329.42
Current children cumulated vsize (Kb) 56372

[startup+340.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20693 0 0 0 33862 79 0 0 25 0 1 0 20928341 57987072 13154 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14157 13154 364 364 0 13793 0
[pid=6750] vsize: 56628
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (Kb) 56628

[startup+350.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20726 0 0 0 34858 80 0 0 25 0 1 0 20928341 57987072 13187 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14157 13187 364 364 0 13793 0
[pid=6750] vsize: 56628
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 56628

[startup+360.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20749 0 0 0 35857 81 0 0 25 0 1 0 20928341 57987072 13210 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14157 13210 364 364 0 13793 0
[pid=6750] vsize: 56628
Current children cumulated CPU time (s) 359.38
Current children cumulated vsize (Kb) 56628

[startup+370.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20764 0 0 0 36853 83 0 0 25 0 1 0 20928341 57987072 13225 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14157 13225 364 364 0 13793 0
[pid=6750] vsize: 56628
Current children cumulated CPU time (s) 369.36
Current children cumulated vsize (Kb) 56628

[startup+380.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20828 0 0 0 37851 84 0 0 25 0 1 0 20928341 58118144 13256 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 14189 13256 364 364 0 13825 0
[pid=6750] vsize: 56756
Current children cumulated CPU time (s) 379.35
Current children cumulated vsize (Kb) 56756

[startup+390.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 20853 0 0 0 38848 85 0 0 25 0 1 0 20928341 66506752 13281 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16237 13281 364 364 0 15873 0
[pid=6750] vsize: 64948
Current children cumulated CPU time (s) 389.33
Current children cumulated vsize (Kb) 64948

[startup+400.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21093 0 0 0 39845 86 0 0 25 0 1 0 20928341 66646016 13291 4294967295 134512640 135987407 3221224576 3221223280 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16271 13291 364 364 0 15907 0
[pid=6750] vsize: 65084
Current children cumulated CPU time (s) 399.31
Current children cumulated vsize (Kb) 65084

[startup+410.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21105 0 0 0 40842 87 0 0 25 0 1 0 20928341 66646016 13303 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16271 13303 364 364 0 15907 0
[pid=6750] vsize: 65084
Current children cumulated CPU time (s) 409.29
Current children cumulated vsize (Kb) 65084

[startup+420.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21124 0 0 0 41838 88 0 0 25 0 1 0 20928341 66646016 13322 4294967295 134512640 135987407 3221224576 3221222992 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16271 13322 364 364 0 15907 0
[pid=6750] vsize: 65084
Current children cumulated CPU time (s) 419.26
Current children cumulated vsize (Kb) 65084

[startup+430.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21127 0 0 0 42837 88 0 0 25 0 1 0 20928341 66785280 13325 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16305 13325 364 364 0 15941 0
[pid=6750] vsize: 65220
Current children cumulated CPU time (s) 429.25
Current children cumulated vsize (Kb) 65220

[startup+440.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21130 0 0 0 43835 89 0 0 25 0 1 0 20928341 66785280 13328 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16305 13328 364 364 0 15941 0
[pid=6750] vsize: 65220
Current children cumulated CPU time (s) 439.24
Current children cumulated vsize (Kb) 65220

[startup+450.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21138 0 0 0 44834 89 0 0 25 0 1 0 20928341 66785280 13336 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16305 13336 364 364 0 15941 0
[pid=6750] vsize: 65220
Current children cumulated CPU time (s) 449.23
Current children cumulated vsize (Kb) 65220

[startup+460.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21145 0 0 0 45829 91 0 0 25 0 1 0 20928341 66785280 13343 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16305 13343 364 364 0 15941 0
[pid=6750] vsize: 65220
Current children cumulated CPU time (s) 459.2
Current children cumulated vsize (Kb) 65220

[startup+470.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21153 0 0 0 46827 91 0 0 25 0 1 0 20928341 66785280 13351 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16305 13351 364 364 0 15941 0
[pid=6750] vsize: 65220
Current children cumulated CPU time (s) 469.18
Current children cumulated vsize (Kb) 65220

[startup+480.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21172 0 0 0 47826 92 0 0 25 0 1 0 20928341 66928640 13370 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13370 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 479.18
Current children cumulated vsize (Kb) 65360

[startup+490.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21184 0 0 0 48825 93 0 0 25 0 1 0 20928341 66928640 13382 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13382 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 489.18
Current children cumulated vsize (Kb) 65360

[startup+500.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21206 0 0 0 49821 95 0 0 25 0 1 0 20928341 66928640 13404 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13404 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 499.16
Current children cumulated vsize (Kb) 65360

[startup+510.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21230 0 0 0 50819 95 0 0 25 0 1 0 20928341 66928640 13428 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13428 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 509.14
Current children cumulated vsize (Kb) 65360

[startup+520.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21481 0 0 0 51816 97 0 0 25 0 1 0 20928341 66928640 13449 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13449 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 519.13
Current children cumulated vsize (Kb) 65360

[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21547 0 0 0 52813 98 0 0 25 0 1 0 20928341 66928640 13515 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16340 13515 364 364 0 15976 0
[pid=6750] vsize: 65360
Current children cumulated CPU time (s) 529.11
Current children cumulated vsize (Kb) 65360

[startup+540.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21584 0 0 0 53809 99 0 0 25 0 1 0 20928341 67072000 13552 4294967295 134512640 135987407 3221224576 3221222996 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16375 13552 364 364 0 16011 0
[pid=6750] vsize: 65500
Current children cumulated CPU time (s) 539.08
Current children cumulated vsize (Kb) 65500

[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21756 0 0 0 54805 101 0 0 25 0 1 0 20928341 67670016 13724 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16521 13724 364 364 0 16157 0
[pid=6750] vsize: 66084
Current children cumulated CPU time (s) 549.06
Current children cumulated vsize (Kb) 66084

[startup+560.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 21810 0 0 0 55801 102 0 0 25 0 1 0 20928341 67670016 13778 4294967295 134512640 135987407 3221224576 3221223184 134801205 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16521 13778 364 364 0 16157 0
[pid=6750] vsize: 66084
Current children cumulated CPU time (s) 559.03
Current children cumulated vsize (Kb) 66084

[startup+570.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22086 0 0 0 56797 104 0 0 25 0 1 0 20928341 67670016 13824 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16521 13824 364 364 0 16157 0
[pid=6750] vsize: 66084
Current children cumulated CPU time (s) 569.01
Current children cumulated vsize (Kb) 66084

[startup+580.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22241 0 0 0 57793 106 0 0 25 0 1 0 20928341 67932160 13914 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16585 13914 364 364 0 16221 0
[pid=6750] vsize: 66340
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (Kb) 66340

[startup+590.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22296 0 0 0 58790 108 0 0 25 0 1 0 20928341 67932160 13969 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16585 13969 364 364 0 16221 0
[pid=6750] vsize: 66340
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (Kb) 66340

[startup+600.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22333 0 0 0 59785 109 0 0 25 0 1 0 20928341 67932160 14006 4294967295 134512640 135987407 3221224576 3221222928 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 16585 14006 364 364 0 16221 0
[pid=6750] vsize: 66340
Current children cumulated CPU time (s) 598.94
Current children cumulated vsize (Kb) 66340

[startup+610.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22383 0 0 0 60784 109 0 0 25 0 1 0 20928341 68071424 14056 4294967295 134512640 135987407 3221224576 3221222992 134788460 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16619 14056 364 364 0 16255 0
[pid=6750] vsize: 66476
Current children cumulated CPU time (s) 608.93
Current children cumulated vsize (Kb) 66476

[startup+620.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22748 0 0 0 61780 111 0 0 25 0 1 0 20928341 68333568 14126 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16683 14126 364 364 0 16319 0
[pid=6750] vsize: 66732
Current children cumulated CPU time (s) 618.91
Current children cumulated vsize (Kb) 66732

[startup+630.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22788 0 0 0 62776 112 0 0 25 0 1 0 20928341 68333568 14166 4294967295 134512640 135987407 3221224576 3221223120 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16683 14166 364 364 0 16319 0
[pid=6750] vsize: 66732
Current children cumulated CPU time (s) 628.88
Current children cumulated vsize (Kb) 66732

[startup+640.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 22824 0 0 0 63774 114 0 0 25 0 1 0 20928341 68333568 14202 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16683 14202 364 364 0 16319 0
[pid=6750] vsize: 66732
Current children cumulated CPU time (s) 638.88
Current children cumulated vsize (Kb) 66732

[startup+650.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23192 0 0 0 64768 117 0 0 25 0 1 0 20928341 68796416 14340 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14340 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 648.85
Current children cumulated vsize (Kb) 67184

[startup+660.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23230 0 0 0 65766 117 0 0 25 0 1 0 20928341 68796416 14378 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14378 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 658.83
Current children cumulated vsize (Kb) 67184

[startup+670.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23492 0 0 0 66762 119 0 0 25 0 1 0 20928341 68796416 14410 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14410 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 668.81
Current children cumulated vsize (Kb) 67184

[startup+680.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23515 0 0 0 67761 119 0 0 25 0 1 0 20928341 68796416 14433 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14433 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 678.8
Current children cumulated vsize (Kb) 67184

[startup+690.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23553 0 0 0 68758 121 0 0 25 0 1 0 20928341 68796416 14471 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14471 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 688.79
Current children cumulated vsize (Kb) 67184

[startup+700.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23592 0 0 0 69755 122 0 0 25 0 1 0 20928341 68796416 14510 4294967295 134512640 135987407 3221224576 3221223152 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16796 14510 364 364 0 16432 0
[pid=6750] vsize: 67184
Current children cumulated CPU time (s) 698.77
Current children cumulated vsize (Kb) 67184

[startup+710.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 23851 0 0 0 70750 124 0 0 25 0 1 0 20928341 68993024 14539 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 16844 14539 364 364 0 16480 0
[pid=6750] vsize: 67376
Current children cumulated CPU time (s) 708.74
Current children cumulated vsize (Kb) 67376

[startup+720.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24125 0 0 0 71743 126 0 0 25 0 1 0 20928341 70467584 14813 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17204 14813 364 364 0 16840 0
[pid=6750] vsize: 68816
Current children cumulated CPU time (s) 718.69
Current children cumulated vsize (Kb) 68816

[startup+730.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24182 0 0 0 72741 127 0 0 25 0 1 0 20928341 70737920 14870 4294967295 134512640 135987407 3221224576 3221223120 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14870 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 728.68
Current children cumulated vsize (Kb) 69080

[startup+740.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24194 0 0 0 73738 129 0 0 25 0 1 0 20928341 70737920 14882 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14882 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 738.67
Current children cumulated vsize (Kb) 69080

[startup+750.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24195 0 0 0 74736 130 0 0 25 0 1 0 20928341 70737920 14883 4294967295 134512640 135987407 3221224576 3221223248 134824717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14883 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 748.66
Current children cumulated vsize (Kb) 69080

[startup+760.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24427 0 0 0 75733 131 0 0 25 0 1 0 20928341 70737920 14885 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14885 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 758.64
Current children cumulated vsize (Kb) 69080

[startup+770.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24451 0 0 0 76731 132 0 0 25 0 1 0 20928341 70737920 14909 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14909 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 768.63
Current children cumulated vsize (Kb) 69080

[startup+780.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24495 0 0 0 77728 133 0 0 25 0 1 0 20928341 70737920 14953 4294967295 134512640 135987407 3221224576 3221223120 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14953 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 778.61
Current children cumulated vsize (Kb) 69080

[startup+790.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24759 0 0 0 78725 134 0 0 25 0 1 0 20928341 70737920 14987 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 14987 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 788.59
Current children cumulated vsize (Kb) 69080

[startup+800.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24818 0 0 0 79721 135 0 0 25 0 1 0 20928341 70737920 15046 4294967295 134512640 135987407 3221224576 3221223200 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15046 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 798.56
Current children cumulated vsize (Kb) 69080

[startup+810.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 24853 0 0 0 80719 136 0 0 25 0 1 0 20928341 70737920 15081 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15081 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 808.55
Current children cumulated vsize (Kb) 69080

[startup+820.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25124 0 0 0 81715 138 0 0 25 0 1 0 20928341 70737920 15122 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15122 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 818.53
Current children cumulated vsize (Kb) 69080

[startup+830.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25156 0 0 0 82712 139 0 0 25 0 1 0 20928341 70737920 15154 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15154 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 828.51
Current children cumulated vsize (Kb) 69080

[startup+840.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25172 0 0 0 83711 140 0 0 25 0 1 0 20928341 70737920 15170 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15170 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 838.51
Current children cumulated vsize (Kb) 69080

[startup+850.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25445 0 0 0 84706 142 0 0 25 0 1 0 20928341 70737920 15213 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15213 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 848.48
Current children cumulated vsize (Kb) 69080

[startup+860.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25486 0 0 0 85704 143 0 0 25 0 1 0 20928341 70737920 15254 4294967295 134512640 135987407 3221224576 3221223120 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15254 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 858.47
Current children cumulated vsize (Kb) 69080

[startup+870.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25536 0 0 0 86700 144 0 0 25 0 1 0 20928341 70737920 15304 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17270 15304 364 364 0 16906 0
[pid=6750] vsize: 69080
Current children cumulated CPU time (s) 868.44
Current children cumulated vsize (Kb) 69080

[startup+880.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25810 0 0 0 87697 146 0 0 25 0 1 0 20928341 70868992 15315 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15315 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 878.43
Current children cumulated vsize (Kb) 69208

[startup+890.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25812 0 0 0 88696 146 0 0 25 0 1 0 20928341 70868992 15317 4294967295 134512640 135987407 3221224576 3221223248 134824247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15317 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 888.42
Current children cumulated vsize (Kb) 69208

[startup+900.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25813 0 0 0 89693 147 0 0 25 0 1 0 20928341 70868992 15318 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15318 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 898.4
Current children cumulated vsize (Kb) 69208

[startup+910.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25815 0 0 0 90691 148 0 0 25 0 1 0 20928341 70868992 15320 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15320 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 908.39
Current children cumulated vsize (Kb) 69208

[startup+920.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 25817 0 0 0 91688 149 0 0 25 0 1 0 20928341 70868992 15322 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15322 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 918.37
Current children cumulated vsize (Kb) 69208

[startup+930.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26051 0 0 0 92682 152 0 0 25 0 1 0 20928341 70868992 15326 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15326 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 928.34
Current children cumulated vsize (Kb) 69208

[startup+940.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26057 0 0 0 93674 154 0 0 25 0 1 0 20928341 70868992 15332 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17302 15332 364 364 0 16938 0
[pid=6750] vsize: 69208
Current children cumulated CPU time (s) 938.28
Current children cumulated vsize (Kb) 69208

[startup+950.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26298 0 0 0 94669 157 0 0 25 0 1 0 20928341 71008256 15343 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17336 15343 364 364 0 16972 0
[pid=6750] vsize: 69344
Current children cumulated CPU time (s) 948.26
Current children cumulated vsize (Kb) 69344

[startup+960.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26304 0 0 0 95665 158 0 0 25 0 1 0 20928341 71008256 15349 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17336 15349 364 364 0 16972 0
[pid=6750] vsize: 69344
Current children cumulated CPU time (s) 958.23
Current children cumulated vsize (Kb) 69344

[startup+970.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26317 0 0 0 96662 159 0 0 25 0 1 0 20928341 71008256 15362 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17336 15362 364 364 0 16972 0
[pid=6750] vsize: 69344
Current children cumulated CPU time (s) 968.21
Current children cumulated vsize (Kb) 69344

[startup+980.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26380 0 0 0 97658 160 0 0 25 0 1 0 20928341 71008256 15425 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17336 15425 364 364 0 16972 0
[pid=6750] vsize: 69344
Current children cumulated CPU time (s) 978.18
Current children cumulated vsize (Kb) 69344

[startup+990.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26439 0 0 0 98654 162 0 0 25 0 1 0 20928341 71008256 15484 4294967295 134512640 135987407 3221224576 3221223248 134824816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17336 15484 364 364 0 16972 0
[pid=6750] vsize: 69344
Current children cumulated CPU time (s) 988.16
Current children cumulated vsize (Kb) 69344

[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26521 0 0 0 99649 164 0 0 25 0 1 0 20928341 71155712 15566 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17372 15566 364 364 0 17008 0
[pid=6750] vsize: 69488
Current children cumulated CPU time (s) 998.13
Current children cumulated vsize (Kb) 69488

[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26564 0 0 0 100646 165 0 0 25 0 1 0 20928341 71155712 15609 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17372 15609 364 364 0 17008 0
[pid=6750] vsize: 69488
Current children cumulated CPU time (s) 1008.11
Current children cumulated vsize (Kb) 69488

[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26608 0 0 0 101643 167 0 0 25 0 1 0 20928341 71155712 15653 4294967295 134512640 135987407 3221224576 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17372 15653 364 364 0 17008 0
[pid=6750] vsize: 69488
Current children cumulated CPU time (s) 1018.1
Current children cumulated vsize (Kb) 69488

[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26883 0 0 0 102639 169 0 0 25 0 1 0 20928341 71299072 15698 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17407 15698 364 364 0 17043 0
[pid=6750] vsize: 69628
Current children cumulated CPU time (s) 1028.08
Current children cumulated vsize (Kb) 69628

[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26896 0 0 0 103636 170 0 0 25 0 1 0 20928341 71299072 15711 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17407 15711 364 364 0 17043 0
[pid=6750] vsize: 69628
Current children cumulated CPU time (s) 1038.06
Current children cumulated vsize (Kb) 69628

[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26904 0 0 0 104633 171 0 0 25 0 1 0 20928341 71299072 15719 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17407 15719 364 364 0 17043 0
[pid=6750] vsize: 69628
Current children cumulated CPU time (s) 1048.04
Current children cumulated vsize (Kb) 69628

[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26911 0 0 0 105630 173 0 0 25 0 1 0 20928341 71299072 15726 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6750/statm): 17407 15726 364 364 0 17043 0
[pid=6750] vsize: 69628
Current children cumulated CPU time (s) 1058.03
Current children cumulated vsize (Kb) 69628

[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 26913 0 0 0 106626 174 0 0 25 0 1 0 20928341 71299072 15728 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17407 15728 364 364 0 17043 0
[pid=6750] vsize: 69628
Current children cumulated CPU time (s) 1068
Current children cumulated vsize (Kb) 69628

[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27158 0 0 0 107623 175 0 0 25 0 1 0 20928341 71438336 15743 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15743 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1077.98
Current children cumulated vsize (Kb) 69764

[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) T 6749 6750 4005 0 -1 0 27162 0 0 0 108620 176 0 0 25 0 1 0 20928341 71438336 15747 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15747 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1087.96
Current children cumulated vsize (Kb) 69764

[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27400 0 0 0 109616 179 0 0 25 0 1 0 20928341 71438336 15755 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15755 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1097.95
Current children cumulated vsize (Kb) 69764

[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27406 0 0 0 110613 180 0 0 25 0 1 0 20928341 71438336 15761 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15761 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1107.93
Current children cumulated vsize (Kb) 69764

[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27420 0 0 0 111611 181 0 0 25 0 1 0 20928341 71438336 15775 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15775 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1117.92
Current children cumulated vsize (Kb) 69764

[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27476 0 0 0 112607 182 0 0 25 0 1 0 20928341 71438336 15831 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15831 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1127.89
Current children cumulated vsize (Kb) 69764

[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27532 0 0 0 113603 184 0 0 25 0 1 0 20928341 71438336 15887 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17441 15887 364 364 0 17077 0
[pid=6750] vsize: 69764
Current children cumulated CPU time (s) 1137.87
Current children cumulated vsize (Kb) 69764

[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27577 0 0 0 114600 185 0 0 25 0 1 0 20928341 71573504 15932 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17474 15932 364 364 0 17110 0
[pid=6750] vsize: 69896
Current children cumulated CPU time (s) 1147.85
Current children cumulated vsize (Kb) 69896

[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27624 0 0 0 115597 187 0 0 25 0 1 0 20928341 71573504 15979 4294967295 134512640 135987407 3221224576 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17474 15979 364 364 0 17110 0
[pid=6750] vsize: 69896
Current children cumulated CPU time (s) 1157.84
Current children cumulated vsize (Kb) 69896

[startup+1170.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27875 0 0 0 116595 189 0 0 25 0 1 0 20928341 71573504 16000 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17474 16000 364 364 0 17110 0
[pid=6750] vsize: 69896
Current children cumulated CPU time (s) 1167.84
Current children cumulated vsize (Kb) 69896

[startup+1180.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 27877 0 0 0 117592 189 0 0 25 0 1 0 20928341 71573504 16002 4294967295 134512640 135987407 3221224576 3221223184 134801225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17474 16002 364 364 0 17110 0
[pid=6750] vsize: 69896
Current children cumulated CPU time (s) 1177.81
Current children cumulated vsize (Kb) 69896

[startup+1190.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 28120 0 0 0 118589 191 0 0 25 0 1 0 20928341 71712768 16015 4294967295 134512640 135987407 3221224576 3221223120 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17508 16015 364 364 0 17144 0
[pid=6750] vsize: 70032
Current children cumulated CPU time (s) 1187.8
Current children cumulated vsize (Kb) 70032

[startup+1200.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 28165 0 0 0 119586 193 0 0 25 0 1 0 20928341 71712768 16060 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17508 16060 364 364 0 17144 0
[pid=6750] vsize: 70032
Current children cumulated CPU time (s) 1197.79
Current children cumulated vsize (Kb) 70032

[startup+1210.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 28224 0 0 0 120584 194 0 0 25 0 1 0 20928341 71712768 16119 4294967295 134512640 135987407 3221224576 3221223184 134801223 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17508 16119 364 364 0 17144 0
[pid=6750] vsize: 70032
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 70032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 6750
Raw data (/proc/6750/stat): 6750 (pb2sat) R 6749 6750 4005 0 -1 0 28224 0 0 0 120584 194 0 0 25 0 1 0 20928341 71712768 16119 4294967295 134512640 135987407 3221224576 3221223120 134788814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6750/statm): 17508 16119 364 364 0 17144 0
[pid=6750] vsize: 70032
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 70032

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

Child status: 10
Real time (s): 1210.28
CPU time (s): 1208.01
CPU user time (s): 1206.03
CPU system time (s): 1.9787
CPU usage (%): 99.8127
Max. virtual memory (cumulated for all children) (Kb): 70032

Verifier Data

Verifier:	OK	262