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

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM9c5126d785c8d5465220e290c5fc25a6
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6656
Optimality of the best value was proved NO
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2421502
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables675
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint1
Maximum length of a constraint95

Trace number 10474

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 18:15:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9178 boxname=wulflinc15 idbench=974 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 9178
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        894240 kB
Buffers:          4664 kB
Cached:         115696 kB
SwapCached:          0 kB
Active:          18388 kB
Inactive:       104904 kB
HighTotal:      131008 kB
HighFree:        79324 kB
LowTotal:       903652 kB
LowFree:        814916 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11464 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:36:11 (client local time) WITH STATUS 0 IN 1210.42 SECONDS
stats: 9178 7 1210.42 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 172/908607	Time: 227.432/86400
c Decision: 172/908607	Time: 342.385/86400
c Decision: 174/908607	Time: 516.234/86400
c Decision: 174/908607	Time: 609.599/86400
c Decision: 174/908607	Time: 754.57/86400
c Decision: 174/908607	Time: 881.561/86400
c Decision: 174/908607	Time: 1041.26/86400s UNKNOWN

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/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22272048 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 373 2 364 364 0 9 0
[pid=8845] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb

[startup+10.0024 s]
Raw data (loadavg): 0.92 0.96 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 28079 0 0 0 932 65 0 0 25 0 1 0 22272048 81817600 16931 4294967295 134512640 135987407 3221224560 3221214352 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 19975 16932 364 364 0 19611 0
[pid=8845] vsize: 79900
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79900

[startup+20.0033 s]
Raw data (loadavg): 0.93 0.96 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 55334 0 0 0 1870 126 0 0 25 0 1 0 22272048 159125504 32957 4294967295 134512640 135987407 3221224560 3221203032 135499869 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 38849 32957 364 364 0 38485 0
[pid=8845] vsize: 155396
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 155396

[startup+30.0041 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 94134 0 0 0 2784 208 0 0 25 0 1 0 22272048 309145600 49562 4294967295 134512640 135987407 3221224560 3221213716 135480412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 75475 49562 364 364 0 75111 0
[pid=8845] vsize: 301900
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 301900

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 109589 0 0 0 3752 240 0 0 25 0 1 0 22272048 313335808 64759 4294967295 134512640 135987407 3221224560 3221211328 134558671 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 76498 64759 364 364 0 76134 0
[pid=8845] vsize: 305992
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 305992

[startup+50.0047 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 117115 0 0 0 4724 261 0 0 25 0 1 0 22272048 336183296 70494 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 82076 70494 364 364 0 81712 0
[pid=8845] vsize: 328304
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 328304

[startup+60.0055 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 117988 0 0 0 5712 265 0 0 25 0 1 0 22272048 338841600 71055 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 82725 71055 364 364 0 82361 0
[pid=8845] vsize: 330900
Current children cumulated CPU time (s) 59.77
Current children cumulated vsize (Kb) 330900

[startup+70.0064 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 118888 0 0 0 6710 267 0 0 25 0 1 0 22272048 341913600 71628 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 83475 71628 364 364 0 83111 0
[pid=8845] vsize: 333900
Current children cumulated CPU time (s) 69.77
Current children cumulated vsize (Kb) 333900

[startup+80.0072 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119438 0 0 0 7708 268 0 0 25 0 1 0 22272048 343625728 71885 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 83893 71885 364 364 0 83529 0
[pid=8845] vsize: 335572
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (Kb) 335572

[startup+90.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119628 0 0 0 8707 269 0 0 25 0 1 0 22272048 344023040 72010 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 83990 72010 364 364 0 83626 0
[pid=8845] vsize: 335960
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 335960

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119823 0 0 0 9706 270 0 0 25 0 1 0 22272048 344551424 72107 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 84119 72107 364 364 0 83755 0
[pid=8845] vsize: 336476
Current children cumulated CPU time (s) 99.76
Current children cumulated vsize (Kb) 336476

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 120013 0 0 0 10705 270 0 0 25 0 1 0 22272048 344944640 72199 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 84215 72199 364 364 0 83851 0
[pid=8845] vsize: 336860
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 336860

[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 120189 0 0 0 11703 271 0 0 25 0 1 0 22272048 345473024 72310 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 84344 72310 364 364 0 83980 0
[pid=8845] vsize: 337376
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 337376

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 121380 0 0 0 12693 276 0 0 17 0 1 0 22272048 349749248 73076 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 85388 73076 364 364 0 85024 0
[pid=8845] vsize: 341552
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 341552

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 124397 0 0 0 13687 282 0 0 25 0 1 0 22272048 358199296 74379 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 87451 74379 364 364 0 87087 0
[pid=8845] vsize: 349804
Current children cumulated CPU time (s) 139.69
Current children cumulated vsize (Kb) 349804

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 125522 0 0 0 14685 284 0 0 25 0 1 0 22272048 361312256 74859 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 88211 74859 364 364 0 87847 0
[pid=8845] vsize: 352844
Current children cumulated CPU time (s) 149.69
Current children cumulated vsize (Kb) 352844

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 126228 0 0 0 15684 285 0 0 25 0 1 0 22272048 363249664 75178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 88684 75178 364 364 0 88320 0
[pid=8845] vsize: 354736
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 354736

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 126865 0 0 0 16681 287 0 0 25 0 1 0 22272048 365092864 75491 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 89134 75491 364 364 0 88770 0
[pid=8845] vsize: 356536
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (Kb) 356536

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 127926 0 0 0 17678 290 0 0 25 0 1 0 22272048 367980544 75907 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 89839 75907 364 364 0 89475 0
[pid=8845] vsize: 359356
Current children cumulated CPU time (s) 179.68
Current children cumulated vsize (Kb) 359356

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 129111 0 0 0 18675 292 0 0 25 0 1 0 22272048 370876416 76476 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 90546 76476 364 364 0 90182 0
[pid=8845] vsize: 362184
Current children cumulated CPU time (s) 189.67
Current children cumulated vsize (Kb) 362184

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 129926 0 0 0 19673 294 0 0 25 0 1 0 22272048 372580352 76870 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 90962 76870 364 364 0 90598 0
[pid=8845] vsize: 363848
Current children cumulated CPU time (s) 199.67
Current children cumulated vsize (Kb) 363848

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 130437 0 0 0 20669 296 0 0 25 0 1 0 22272048 374169600 77121 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 91350 77121 364 364 0 90986 0
[pid=8845] vsize: 365400
Current children cumulated CPU time (s) 209.65
Current children cumulated vsize (Kb) 365400

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 130969 0 0 0 21666 298 0 0 25 0 1 0 22272048 376127488 77522 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 91828 77522 364 364 0 91464 0
[pid=8845] vsize: 367312
Current children cumulated CPU time (s) 219.64
Current children cumulated vsize (Kb) 367312

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 131152 0 0 0 22663 299 0 0 25 0 1 0 22272048 376655872 77606 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 91957 77606 364 364 0 91593 0
[pid=8845] vsize: 367828
Current children cumulated CPU time (s) 229.62
Current children cumulated vsize (Kb) 367828

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 131634 0 0 0 23662 300 0 0 25 0 1 0 22272048 378515456 77925 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 92411 77925 364 364 0 92047 0
[pid=8845] vsize: 369644
Current children cumulated CPU time (s) 239.62
Current children cumulated vsize (Kb) 369644

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 132200 0 0 0 24660 302 0 0 25 0 1 0 22272048 380899328 78296 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 92993 78296 364 364 0 92629 0
[pid=8845] vsize: 371972
Current children cumulated CPU time (s) 249.62
Current children cumulated vsize (Kb) 371972

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 132283 0 0 0 25658 302 0 0 25 0 1 0 22272048 381161472 78314 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93057 78314 364 364 0 92693 0
[pid=8845] vsize: 372228
Current children cumulated CPU time (s) 259.6
Current children cumulated vsize (Kb) 372228

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134123 0 0 0 26654 307 0 0 25 0 1 0 22272048 381427712 78379 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 93122 78379 364 364 0 92758 0
[pid=8845] vsize: 372488
Current children cumulated CPU time (s) 269.61
Current children cumulated vsize (Kb) 372488

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134553 0 0 0 27651 308 0 0 25 0 1 0 22272048 382611456 78646 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93411 78646 364 364 0 93047 0
[pid=8845] vsize: 373644
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (Kb) 373644

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134701 0 0 0 28650 309 0 0 25 0 1 0 22272048 382873600 78729 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93475 78729 364 364 0 93111 0
[pid=8845] vsize: 373900
Current children cumulated CPU time (s) 289.59
Current children cumulated vsize (Kb) 373900

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134706 0 0 0 29649 309 0 0 25 0 1 0 22272048 382873600 78734 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93475 78734 364 364 0 93111 0
[pid=8845] vsize: 373900
Current children cumulated CPU time (s) 299.58
Current children cumulated vsize (Kb) 373900

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134707 0 0 0 30648 310 0 0 25 0 1 0 22272048 382873600 78735 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93475 78735 364 364 0 93111 0
[pid=8845] vsize: 373900
Current children cumulated CPU time (s) 309.58
Current children cumulated vsize (Kb) 373900

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134776 0 0 0 31646 311 0 0 25 0 1 0 22272048 383275008 78804 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 93573 78804 364 364 0 93209 0
[pid=8845] vsize: 374292
Current children cumulated CPU time (s) 319.57
Current children cumulated vsize (Kb) 374292

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 135821 0 0 0 32643 313 0 0 25 0 1 0 22272048 385896448 79203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 94213 79203 364 364 0 93849 0
[pid=8845] vsize: 376852
Current children cumulated CPU time (s) 329.56
Current children cumulated vsize (Kb) 376852

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 136944 0 0 0 33636 317 0 0 25 0 1 0 22272048 389881856 79903 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 95186 79903 364 364 0 94822 0
[pid=8845] vsize: 380744
Current children cumulated CPU time (s) 339.53
Current children cumulated vsize (Kb) 380744

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 137516 0 0 0 34634 319 0 0 25 0 1 0 22272048 391864320 80247 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 95670 80247 364 364 0 95306 0
[pid=8845] vsize: 382680
Current children cumulated CPU time (s) 349.53
Current children cumulated vsize (Kb) 382680

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 139576 0 0 0 35628 323 0 0 25 0 1 0 22272048 397115392 81113 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 96952 81113 364 364 0 96588 0
[pid=8845] vsize: 387808
Current children cumulated CPU time (s) 359.51
Current children cumulated vsize (Kb) 387808

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 140935 0 0 0 36625 326 0 0 25 0 1 0 22272048 400527360 81664 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 97785 81664 364 364 0 97421 0
[pid=8845] vsize: 391140
Current children cumulated CPU time (s) 369.51
Current children cumulated vsize (Kb) 391140

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 141407 0 0 0 37623 327 0 0 25 0 1 0 22272048 401715200 81879 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 98075 81879 364 364 0 97711 0
[pid=8845] vsize: 392300
Current children cumulated CPU time (s) 379.5
Current children cumulated vsize (Kb) 392300

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142033 0 0 0 38620 329 0 0 25 0 1 0 22272048 403165184 82245 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 98429 82245 364 364 0 98065 0
[pid=8845] vsize: 393716
Current children cumulated CPU time (s) 389.49
Current children cumulated vsize (Kb) 393716

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142656 0 0 0 39617 331 0 0 25 0 1 0 22272048 404738048 82482 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 98813 82482 364 364 0 98449 0
[pid=8845] vsize: 395252
Current children cumulated CPU time (s) 399.48
Current children cumulated vsize (Kb) 395252

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142824 0 0 0 40614 332 0 0 25 0 1 0 22272048 405266432 82585 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 98942 82585 364 364 0 98578 0
[pid=8845] vsize: 395768
Current children cumulated CPU time (s) 409.46
Current children cumulated vsize (Kb) 395768

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 143526 0 0 0 41612 334 0 0 25 0 1 0 22272048 407363584 82772 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 99454 82772 364 364 0 99090 0
[pid=8845] vsize: 397816
Current children cumulated CPU time (s) 419.46
Current children cumulated vsize (Kb) 397816

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 143858 0 0 0 42609 335 0 0 25 0 1 0 22272048 408023040 82975 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 99615 82975 364 364 0 99251 0
[pid=8845] vsize: 398460
Current children cumulated CPU time (s) 429.44
Current children cumulated vsize (Kb) 398460

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144048 0 0 0 43607 337 0 0 25 0 1 0 22272048 408547328 83035 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 99743 83035 364 364 0 99379 0
[pid=8845] vsize: 398972
Current children cumulated CPU time (s) 439.44
Current children cumulated vsize (Kb) 398972

[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144432 0 0 0 44605 338 0 0 25 0 1 0 22272048 409825280 83161 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100055 83161 364 364 0 99691 0
[pid=8845] vsize: 400220
Current children cumulated CPU time (s) 449.43
Current children cumulated vsize (Kb) 400220

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144854 0 0 0 45600 340 0 0 25 0 1 0 22272048 411004928 83293 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100343 83293 364 364 0 99979 0
[pid=8845] vsize: 401372
Current children cumulated CPU time (s) 459.4
Current children cumulated vsize (Kb) 401372

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 145615 0 0 0 46599 342 0 0 25 0 1 0 22272048 412577792 83668 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100727 83668 364 364 0 100363 0
[pid=8845] vsize: 402908
Current children cumulated CPU time (s) 469.41
Current children cumulated vsize (Kb) 402908

[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 145921 0 0 0 47597 343 0 0 25 0 1 0 22272048 413626368 83717 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83717 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 479.4
Current children cumulated vsize (Kb) 403932

[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 48597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 489.4
Current children cumulated vsize (Kb) 403932

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 49597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 499.4
Current children cumulated vsize (Kb) 403932

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 50597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 509.4
Current children cumulated vsize (Kb) 403932

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 51597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 519.4
Current children cumulated vsize (Kb) 403932

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146001 0 0 0 52597 343 0 0 25 0 1 0 22272048 413626368 83797 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 100983 83797 364 364 0 100619 0
[pid=8845] vsize: 403932
Current children cumulated CPU time (s) 529.4
Current children cumulated vsize (Kb) 403932

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146032 0 0 0 53594 344 0 0 25 0 1 0 22272048 413761536 83828 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 101016 83828 364 364 0 100652 0
[pid=8845] vsize: 404064
Current children cumulated CPU time (s) 539.38
Current children cumulated vsize (Kb) 404064

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146050 0 0 0 54591 345 0 0 25 0 1 0 22272048 413990912 83846 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 101072 83846 364 364 0 100708 0
[pid=8845] vsize: 404288
Current children cumulated CPU time (s) 549.36
Current children cumulated vsize (Kb) 404288

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 147851 0 0 0 55584 351 0 0 25 0 1 0 22272048 413990912 83872 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 101072 83872 364 364 0 100708 0
[pid=8845] vsize: 404288
Current children cumulated CPU time (s) 559.35
Current children cumulated vsize (Kb) 404288

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 148269 0 0 0 56581 353 0 0 25 0 1 0 22272048 415178752 84127 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 101362 84127 364 364 0 100998 0
[pid=8845] vsize: 405448
Current children cumulated CPU time (s) 569.34
Current children cumulated vsize (Kb) 405448

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 148759 0 0 0 57579 354 0 0 25 0 1 0 22272048 416227328 84358 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 101618 84358 364 364 0 101254 0
[pid=8845] vsize: 406472
Current children cumulated CPU time (s) 579.33
Current children cumulated vsize (Kb) 406472

[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149177 0 0 0 58578 355 0 0 25 0 1 0 22272048 417411072 84549 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 101907 84549 364 364 0 101543 0
[pid=8845] vsize: 407628
Current children cumulated CPU time (s) 589.33
Current children cumulated vsize (Kb) 407628

[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149837 0 0 0 59576 356 0 0 25 0 1 0 22272048 419246080 84757 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 102355 84757 364 364 0 101991 0
[pid=8845] vsize: 409420
Current children cumulated CPU time (s) 599.32
Current children cumulated vsize (Kb) 409420

[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149988 0 0 0 60575 357 0 0 25 0 1 0 22272048 419508224 84843 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 102419 84843 364 364 0 102055 0
[pid=8845] vsize: 409676
Current children cumulated CPU time (s) 609.32
Current children cumulated vsize (Kb) 409676

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150009 0 0 0 61575 357 0 0 25 0 1 0 22272048 419508224 84864 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 102419 84864 364 364 0 102055 0
[pid=8845] vsize: 409676
Current children cumulated CPU time (s) 619.32
Current children cumulated vsize (Kb) 409676

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150170 0 0 0 62573 358 0 0 25 0 1 0 22272048 420032512 84896 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 102547 84896 364 364 0 102183 0
[pid=8845] vsize: 410188
Current children cumulated CPU time (s) 629.31
Current children cumulated vsize (Kb) 410188

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150173 0 0 0 63572 359 0 0 25 0 1 0 22272048 420032512 84899 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 102547 84899 364 364 0 102183 0
[pid=8845] vsize: 410188
Current children cumulated CPU time (s) 639.31
Current children cumulated vsize (Kb) 410188

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 151950 0 0 0 64567 363 0 0 25 0 1 0 22272048 427302912 86676 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104322 86676 364 364 0 103958 0
[pid=8845] vsize: 417288
Current children cumulated CPU time (s) 649.3
Current children cumulated vsize (Kb) 417288

[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 152179 0 0 0 65565 364 0 0 25 0 1 0 22272048 420962304 85097 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 102774 85097 364 364 0 102410 0
[pid=8845] vsize: 411096
Current children cumulated CPU time (s) 659.29
Current children cumulated vsize (Kb) 411096

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 152485 0 0 0 66563 365 0 0 25 0 1 0 22272048 421617664 85240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 102934 85240 364 364 0 102570 0
[pid=8845] vsize: 411736
Current children cumulated CPU time (s) 669.28
Current children cumulated vsize (Kb) 411736

[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153101 0 0 0 67559 367 0 0 25 0 1 0 22272048 423460864 85532 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 103384 85532 364 364 0 103020 0
[pid=8845] vsize: 413536
Current children cumulated CPU time (s) 679.26
Current children cumulated vsize (Kb) 413536

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153202 0 0 0 68557 368 0 0 25 0 1 0 22272048 423723008 85568 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 103448 85568 364 364 0 103084 0
[pid=8845] vsize: 413792
Current children cumulated CPU time (s) 689.25
Current children cumulated vsize (Kb) 413792

[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153380 0 0 0 69550 371 0 0 25 0 1 0 22272048 424247296 85617 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 103576 85617 364 364 0 103212 0
[pid=8845] vsize: 414304
Current children cumulated CPU time (s) 699.21
Current children cumulated vsize (Kb) 414304

[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153957 0 0 0 70548 372 0 0 25 0 1 0 22272048 425820160 85808 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 103960 85808 364 364 0 103596 0
[pid=8845] vsize: 415840
Current children cumulated CPU time (s) 709.2
Current children cumulated vsize (Kb) 415840

[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154148 0 0 0 71547 373 0 0 25 0 1 0 22272048 426344448 85870 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104088 85870 364 364 0 103724 0
[pid=8845] vsize: 416352
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (Kb) 416352

[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154333 0 0 0 72546 374 0 0 25 0 1 0 22272048 426868736 85926 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104216 85926 364 364 0 103852 0
[pid=8845] vsize: 416864
Current children cumulated CPU time (s) 729.2
Current children cumulated vsize (Kb) 416864

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154411 0 0 0 73545 374 0 0 25 0 1 0 22272048 426868736 86004 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104216 86004 364 364 0 103852 0
[pid=8845] vsize: 416864
Current children cumulated CPU time (s) 739.19
Current children cumulated vsize (Kb) 416864

[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154412 0 0 0 74543 375 0 0 25 0 1 0 22272048 426868736 86005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104216 86005 364 364 0 103852 0
[pid=8845] vsize: 416864
Current children cumulated CPU time (s) 749.18
Current children cumulated vsize (Kb) 416864

[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154586 0 0 0 75541 376 0 0 25 0 1 0 22272048 427130880 86114 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104280 86114 364 364 0 103916 0
[pid=8845] vsize: 417120
Current children cumulated CPU time (s) 759.17
Current children cumulated vsize (Kb) 417120

[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154608 0 0 0 76540 376 0 0 25 0 1 0 22272048 427130880 86136 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104280 86136 364 364 0 103916 0
[pid=8845] vsize: 417120
Current children cumulated CPU time (s) 769.16
Current children cumulated vsize (Kb) 417120

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154905 0 0 0 77537 377 0 0 25 0 1 0 22272048 428052480 86270 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104505 86270 364 364 0 104141 0
[pid=8845] vsize: 418020
Current children cumulated CPU time (s) 779.14
Current children cumulated vsize (Kb) 418020

[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 155055 0 0 0 78533 379 0 0 25 0 1 0 22272048 428584960 86420 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104635 86420 364 364 0 104271 0
[pid=8845] vsize: 418540
Current children cumulated CPU time (s) 789.12
Current children cumulated vsize (Kb) 418540

[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156831 0 0 0 79527 384 0 0 25 0 1 0 22272048 428584960 86421 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104635 86421 364 364 0 104271 0
[pid=8845] vsize: 418540
Current children cumulated CPU time (s) 799.11
Current children cumulated vsize (Kb) 418540

[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156834 0 0 0 80525 384 0 0 25 0 1 0 22272048 428584960 86424 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104635 86424 364 364 0 104271 0
[pid=8845] vsize: 418540
Current children cumulated CPU time (s) 809.09
Current children cumulated vsize (Kb) 418540

[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156934 0 0 0 81524 385 0 0 25 0 1 0 22272048 428847104 86459 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104699 86459 364 364 0 104335 0
[pid=8845] vsize: 418796
Current children cumulated CPU time (s) 819.09
Current children cumulated vsize (Kb) 418796

[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156937 0 0 0 82523 385 0 0 25 0 1 0 22272048 428847104 86462 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104699 86462 364 364 0 104335 0
[pid=8845] vsize: 418796
Current children cumulated CPU time (s) 829.08
Current children cumulated vsize (Kb) 418796

[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156940 0 0 0 83521 386 0 0 25 0 1 0 22272048 428847104 86465 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104699 86465 364 364 0 104335 0
[pid=8845] vsize: 418796
Current children cumulated CPU time (s) 839.07
Current children cumulated vsize (Kb) 418796

[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157019 0 0 0 84519 386 0 0 25 0 1 0 22272048 429109248 86479 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104763 86479 364 364 0 104399 0
[pid=8845] vsize: 419052
Current children cumulated CPU time (s) 849.05
Current children cumulated vsize (Kb) 419052

[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157041 0 0 0 85518 387 0 0 25 0 1 0 22272048 429109248 86501 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 104763 86501 364 364 0 104399 0
[pid=8845] vsize: 419052
Current children cumulated CPU time (s) 859.05
Current children cumulated vsize (Kb) 419052

[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157619 0 0 0 86515 388 0 0 25 0 1 0 22272048 430682112 86690 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105147 86690 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 869.03
Current children cumulated vsize (Kb) 420588

[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157621 0 0 0 87513 389 0 0 25 0 1 0 22272048 430682112 86692 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105147 86692 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 879.02
Current children cumulated vsize (Kb) 420588

[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157622 0 0 0 88511 389 0 0 25 0 1 0 22272048 430682112 86693 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105147 86693 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 889
Current children cumulated vsize (Kb) 420588

[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157637 0 0 0 89509 390 0 0 25 0 1 0 22272048 430682112 86708 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105147 86708 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 898.99
Current children cumulated vsize (Kb) 420588

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157639 0 0 0 90507 390 0 0 25 0 1 0 22272048 430682112 86710 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105147 86710 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 908.97
Current children cumulated vsize (Kb) 420588

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 91502 394 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 918.96
Current children cumulated vsize (Kb) 420588

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 92500 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 928.95
Current children cumulated vsize (Kb) 420588

[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 93499 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 938.94
Current children cumulated vsize (Kb) 420588

[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 94499 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 948.94
Current children cumulated vsize (Kb) 420588

[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159450 0 0 0 95498 396 0 0 25 0 1 0 22272048 430682112 86746 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105147 86746 364 364 0 104783 0
[pid=8845] vsize: 420588
Current children cumulated CPU time (s) 958.94
Current children cumulated vsize (Kb) 420588

[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159664 0 0 0 96497 397 0 0 25 0 1 0 22272048 431206400 86831 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105275 86831 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 968.94
Current children cumulated vsize (Kb) 421100

[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 97496 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 978.93
Current children cumulated vsize (Kb) 421100

[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 98496 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 988.93
Current children cumulated vsize (Kb) 421100

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 99495 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 998.92
Current children cumulated vsize (Kb) 421100

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159697 0 0 0 100495 397 0 0 25 0 1 0 22272048 431206400 86864 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86864 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1008.92
Current children cumulated vsize (Kb) 421100

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159742 0 0 0 101495 398 0 0 25 0 1 0 22272048 431206400 86909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86909 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1018.93
Current children cumulated vsize (Kb) 421100

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159742 0 0 0 102495 398 0 0 25 0 1 0 22272048 431206400 86909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86909 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1028.93
Current children cumulated vsize (Kb) 421100

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159776 0 0 0 103494 398 0 0 25 0 1 0 22272048 431206400 86943 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86943 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1038.92
Current children cumulated vsize (Kb) 421100

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159777 0 0 0 104492 399 0 0 25 0 1 0 22272048 431206400 86944 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86944 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1048.91
Current children cumulated vsize (Kb) 421100

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159777 0 0 0 105491 400 0 0 25 0 1 0 22272048 431206400 86944 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86944 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1058.91
Current children cumulated vsize (Kb) 421100

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159790 0 0 0 106491 400 0 0 25 0 1 0 22272048 431206400 86957 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86957 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1068.91
Current children cumulated vsize (Kb) 421100

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159791 0 0 0 107489 400 0 0 25 0 1 0 22272048 431206400 86958 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 105275 86958 364 364 0 104911 0
[pid=8845] vsize: 421100
Current children cumulated CPU time (s) 1078.89
Current children cumulated vsize (Kb) 421100

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 161919 0 0 0 108483 405 0 0 25 0 1 0 22272048 432263168 87181 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105533 87181 364 364 0 105169 0
[pid=8845] vsize: 422132
Current children cumulated CPU time (s) 1088.88
Current children cumulated vsize (Kb) 422132

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162176 0 0 0 109481 407 0 0 25 0 1 0 22272048 432787456 87308 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105661 87308 364 364 0 105297 0
[pid=8845] vsize: 422644
Current children cumulated CPU time (s) 1098.88
Current children cumulated vsize (Kb) 422644

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162652 0 0 0 110479 408 0 0 25 0 1 0 22272048 434098176 87461 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 105981 87461 364 364 0 105617 0
[pid=8845] vsize: 423924
Current children cumulated CPU time (s) 1108.87
Current children cumulated vsize (Kb) 423924

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162842 0 0 0 111478 409 0 0 25 0 1 0 22272048 434622464 87522 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 106109 87522 364 364 0 105745 0
[pid=8845] vsize: 424436
Current children cumulated CPU time (s) 1118.87
Current children cumulated vsize (Kb) 424436

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163002 0 0 0 112477 409 0 0 25 0 1 0 22272048 435146752 87553 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8845/statm): 106237 87553 364 364 0 105873 0
[pid=8845] vsize: 424948
Current children cumulated CPU time (s) 1128.86
Current children cumulated vsize (Kb) 424948

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163509 0 0 0 113475 411 0 0 25 0 1 0 22272048 436719616 87673 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87673 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1138.86
Current children cumulated vsize (Kb) 426484

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163551 0 0 0 114473 412 0 0 25 0 1 0 22272048 436719616 87715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87715 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1148.85
Current children cumulated vsize (Kb) 426484

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163552 0 0 0 115471 413 0 0 25 0 1 0 22272048 436719616 87716 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87716 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1158.84
Current children cumulated vsize (Kb) 426484

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163556 0 0 0 116471 413 0 0 25 0 1 0 22272048 436719616 87720 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87720 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1168.84
Current children cumulated vsize (Kb) 426484

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163558 0 0 0 117469 413 0 0 25 0 1 0 22272048 436719616 87722 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87722 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1178.82
Current children cumulated vsize (Kb) 426484

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163560 0 0 0 118467 414 0 0 25 0 1 0 22272048 436719616 87724 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87724 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1188.81
Current children cumulated vsize (Kb) 426484

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163601 0 0 0 119466 415 0 0 25 0 1 0 22272048 436719616 87765 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87765 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1198.81
Current children cumulated vsize (Kb) 426484

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163602 0 0 0 120463 415 0 0 25 0 1 0 22272048 436719616 87766 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87766 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1208.78
Current children cumulated vsize (Kb) 426484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8845
Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163602 0 0 0 120463 415 0 0 25 0 1 0 22272048 436719616 87766 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8845/statm): 106621 87766 364 364 0 106257 0
[pid=8845] vsize: 426484
Current children cumulated CPU time (s) 1208.78
Current children cumulated vsize (Kb) 426484

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

Child status: 0
Real time (s): 1211.69
CPU time (s): 1210.42
CPU user time (s): 1206.08
CPU system time (s): 4.33434
CPU usage (%): 99.8954
Max. virtual memory (cumulated for all children) (Kb): 426484

Verifier Data

ERROR: no interpretation found !