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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
MD5SUM584a89cb58a30b93d7847990b5296729
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21416479533368908
Optimality of the best value was proved NO
Number of terms in the objective function 10400
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 77389326876814405009408
Number of bits of the sum of numbers in the objective function 77
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 77389326876814405009408
Number of bits of the biggest sum of numbers77
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.76
Number of variables17600
Total number of constraints792
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints632
Minimum length of a constraint1
Maximum length of a constraint150

Trace number 10232

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 17:22:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8925 boxname=wulflinc32 idbench=721 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  584a89cb58a30b93d7847990b5296729  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-neos15.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-neos15.opb
IDLAUNCH: 8925
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034724 kB
MemFree:        921100 kB
Buffers:         15156 kB
Cached:          78480 kB
SwapCached:          0 kB
Active:          43232 kB
Inactive:        53304 kB
HighTotal:      131072 kB
HighFree:        48160 kB
LowTotal:       903652 kB
LowFree:        872940 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11436 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:42:43 (client local time) WITH STATUS 0 IN 1203.39 SECONDS
stats: 8925 7 1203.39 0

Solver Data

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

c Decision: 62277/1093407	Time: 167.253/86400
c Decision: 64110/1093407	Time: 290.156/86400
c Decision: 64903/1093407	Time: 325.733/86400
c Decision: 64903/1093407	Time: 341.094/86400
c Decision: 64903/1093407	Time: 357.513/86400
c Decision: 65099/1093407	Time: 377.882/86400
c Decision: 65099/1093407	Time: 392.93/86400
c Decision: 65345/1093407	Time: 420.614/86400
c Decision: 65683/1093407	Time: 434.293/86400
c Decision: 65683/1093407	Time: 449.913/86400
c Decision: 65683/1093407	Time: 469.26/86400
c Decision: 65683/1093407	Time: 485.349/86400
c Decision: 65683/1093407	Time: 497.028/86400
c Decision: 65702/1093407	Time: 512.573/86400
c Decision: 65752/1093407	Time: 538.695/86400
c Decision: 65756/1093407	Time: 561.278/86400
c Decision: 65756/1093407	Time: 575.614/86400
c Decision: 66303/1093407	Time: 613.649/86400
c Decision: 66303/1093407	Time: 627.836/86400
c Decision: 66327/1093407	Time: 658.445/86400
c Decision: 66331/1093407	Time: 686.11/86400
c Decision: 66331/1093407	Time: 701.61/86400
c Decision: 66337/1093407	Time: 727.262/86400
c Decision: 66337/1093407	Time: 743.55/86400
c Decision: 66343/1093407	Time: 762.926/86400
c Decision: 66351/1093407	Time: 795.023/86400
c Decision: 66351/1093407	Time: 810.399/86400
c Decision: 66368/1093407	Time: 851.805/86400
c Decision: 66369/1093407	Time: 878.988/86400
c Decision: 66390/1093407	Time: 917.813/86400
c Decision: 66565/1093407	Time: 936.788/86400
c Decision: 66565/1093407	Time: 953.532/86400
c Decision: 66655/1093407	Time: 986.202/86400
c Decision: 66660/1093407	Time: 1010.16/86400
c Decision: 66672/1093407	Time: 1056.09/86400
c Decision: 66674/1093407	Time: 1082.1/86400
c Decision: 66674/1093407	Time: 1100.52/86400
c Decision: 66674/1093407	Time: 1116.34/86400
c Decision: 66674/1093407	Time: 1133.41/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/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21911522 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 373 2 364 364 0 9 0
[pid=8366] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-neos15.opb

[startup+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 25440 0 0 0 931 66 0 0 25 0 1 0 21911522 80723968 14283 4294967295 134512640 135987407 3221224560 3221208944 134887877 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 19708 14283 364 364 0 19344 0
[pid=8366] vsize: 78832
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78832

[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 53179 0 0 0 1865 131 0 0 25 0 1 0 21911522 159789056 30775 4294967295 134512640 135987407 3221224560 3221211072 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 39011 30775 364 364 0 38647 0
[pid=8366] vsize: 156044
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 156044

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 92834 0 0 0 2777 216 0 0 25 0 1 0 21911522 275849216 48192 4294967295 134512640 135987407 3221224560 3221211540 135478509 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 67346 48192 364 364 0 66982 0
[pid=8366] vsize: 269384
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 269384

[startup+40.0026 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 107846 0 0 0 3740 252 0 0 25 0 1 0 21911522 316432384 62934 4294967295 134512640 135987407 3221224560 3221213100 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 77254 62934 364 364 0 76890 0
[pid=8366] vsize: 309016
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 309016

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 150820 0 0 0 4650 339 0 0 25 0 1 0 21911522 458358784 86301 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 111904 86301 364 364 0 111540 0
[pid=8366] vsize: 447616
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 447616

[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153458 0 0 0 5613 356 0 0 25 0 1 0 21911522 460275712 86770 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 112372 86770 364 364 0 112008 0
[pid=8366] vsize: 449488
Current children cumulated CPU time (s) 59.69
Current children cumulated vsize (Kb) 449488

[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 153622 0 0 0 6576 369 0 0 25 0 1 0 21911522 460955648 86934 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112538 86934 364 364 0 112174 0
[pid=8366] vsize: 450152
Current children cumulated CPU time (s) 69.45
Current children cumulated vsize (Kb) 450152

[startup+80.0047 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153642 0 0 0 7541 378 0 0 25 0 1 0 21911522 461094912 86954 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112572 86954 364 364 0 112208 0
[pid=8366] vsize: 450288
Current children cumulated CPU time (s) 79.19
Current children cumulated vsize (Kb) 450288

[startup+90.0045 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153658 0 0 0 8507 390 0 0 25 0 1 0 21911522 461094912 86970 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112572 86970 364 364 0 112208 0
[pid=8366] vsize: 450288
Current children cumulated CPU time (s) 88.97
Current children cumulated vsize (Kb) 450288

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 153670 0 0 0 9474 401 0 0 25 0 1 0 21911522 461230080 86982 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112605 86982 364 364 0 112241 0
[pid=8366] vsize: 450420
Current children cumulated CPU time (s) 98.75
Current children cumulated vsize (Kb) 450420

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 153682 0 0 0 10441 413 0 0 25 0 1 0 21911522 461230080 86994 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112605 86994 364 364 0 112241 0
[pid=8366] vsize: 450420
Current children cumulated CPU time (s) 108.54
Current children cumulated vsize (Kb) 450420

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153691 0 0 0 11414 425 0 0 25 0 1 0 21911522 461230080 87003 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112605 87003 364 364 0 112241 0
[pid=8366] vsize: 450420
Current children cumulated CPU time (s) 118.39
Current children cumulated vsize (Kb) 450420

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153700 0 0 0 12376 438 0 0 25 0 1 0 21911522 461230080 87012 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 112605 87012 364 364 0 112241 0
[pid=8366] vsize: 450420
Current children cumulated CPU time (s) 128.14
Current children cumulated vsize (Kb) 450420

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153712 0 0 0 13345 448 0 0 25 0 1 0 21911522 461365248 87024 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112638 87024 364 364 0 112274 0
[pid=8366] vsize: 450552
Current children cumulated CPU time (s) 137.93
Current children cumulated vsize (Kb) 450552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153810 0 0 0 14304 462 0 0 25 0 1 0 21911522 461774848 87122 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112738 87122 364 364 0 112374 0
[pid=8366] vsize: 450952
Current children cumulated CPU time (s) 147.66
Current children cumulated vsize (Kb) 450952

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153817 0 0 0 15275 471 0 0 25 0 1 0 21911522 461774848 87129 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112738 87129 364 364 0 112374 0
[pid=8366] vsize: 450952
Current children cumulated CPU time (s) 157.46
Current children cumulated vsize (Kb) 450952

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153837 0 0 0 16245 480 0 0 25 0 1 0 21911522 461774848 87149 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 112738 87149 364 364 0 112374 0
[pid=8366] vsize: 450952
Current children cumulated CPU time (s) 167.25
Current children cumulated vsize (Kb) 450952

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153899 0 0 0 17211 493 0 0 25 0 1 0 21911522 462045184 87211 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112804 87211 364 364 0 112440 0
[pid=8366] vsize: 451216
Current children cumulated CPU time (s) 177.04
Current children cumulated vsize (Kb) 451216

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 153941 0 0 0 18180 504 0 0 25 0 1 0 21911522 462315520 87253 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 112870 87253 364 364 0 112506 0
[pid=8366] vsize: 451480
Current children cumulated CPU time (s) 186.84
Current children cumulated vsize (Kb) 451480

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 154052 0 0 0 19149 516 0 0 25 0 1 0 21911522 462589952 87364 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 112937 87364 364 364 0 112573 0
[pid=8366] vsize: 451748
Current children cumulated CPU time (s) 196.65
Current children cumulated vsize (Kb) 451748

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 154160 0 0 0 20135 522 0 0 25 0 1 0 21911522 463032320 87472 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113045 87472 364 364 0 112681 0
[pid=8366] vsize: 452180
Current children cumulated CPU time (s) 206.57
Current children cumulated vsize (Kb) 452180

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 156329 0 0 0 21127 528 0 0 25 0 1 0 21911522 463196160 87505 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113085 87505 364 364 0 112721 0
[pid=8366] vsize: 452340
Current children cumulated CPU time (s) 216.55
Current children cumulated vsize (Kb) 452340

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 156498 0 0 0 22100 537 0 0 25 0 1 0 21911522 463884288 87674 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113253 87674 364 364 0 112889 0
[pid=8366] vsize: 453012
Current children cumulated CPU time (s) 226.37
Current children cumulated vsize (Kb) 453012

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 156513 0 0 0 23075 546 0 0 25 0 1 0 21911522 463884288 87689 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113253 87689 364 364 0 112889 0
[pid=8366] vsize: 453012
Current children cumulated CPU time (s) 236.21
Current children cumulated vsize (Kb) 453012

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 156540 0 0 0 24047 554 0 0 25 0 1 0 21911522 464019456 87716 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113286 87716 364 364 0 112922 0
[pid=8366] vsize: 453144
Current children cumulated CPU time (s) 246.01
Current children cumulated vsize (Kb) 453144

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 156603 0 0 0 25011 566 0 0 25 0 1 0 21911522 464289792 87779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113352 87779 364 364 0 112988 0
[pid=8366] vsize: 453408
Current children cumulated CPU time (s) 255.77
Current children cumulated vsize (Kb) 453408

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 156744 0 0 0 25981 577 0 0 25 0 1 0 21911522 464990208 87920 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113523 87920 364 364 0 113159 0
[pid=8366] vsize: 454092
Current children cumulated CPU time (s) 265.58
Current children cumulated vsize (Kb) 454092

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 156892 0 0 0 26959 585 0 0 25 0 1 0 21911522 465448960 88068 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113635 88068 364 364 0 113271 0
[pid=8366] vsize: 454540
Current children cumulated CPU time (s) 275.44
Current children cumulated vsize (Kb) 454540

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157032 0 0 0 27930 594 0 0 25 0 1 0 21911522 466038784 88208 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113779 88208 364 364 0 113415 0
[pid=8366] vsize: 455116
Current children cumulated CPU time (s) 285.24
Current children cumulated vsize (Kb) 455116

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157088 0 0 0 28897 606 0 0 25 0 1 0 21911522 466202624 88264 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 113819 88264 364 364 0 113455 0
[pid=8366] vsize: 455276
Current children cumulated CPU time (s) 295.03
Current children cumulated vsize (Kb) 455276

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157239 0 0 0 29865 616 0 0 25 0 1 0 21911522 466972672 88415 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114007 88415 364 364 0 113643 0
[pid=8366] vsize: 456028
Current children cumulated CPU time (s) 304.81
Current children cumulated vsize (Kb) 456028

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157272 0 0 0 30833 626 0 0 25 0 1 0 21911522 466972672 88448 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114007 88448 364 364 0 113643 0
[pid=8366] vsize: 456028
Current children cumulated CPU time (s) 314.59
Current children cumulated vsize (Kb) 456028

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157538 0 0 0 31805 637 0 0 25 0 1 0 21911522 468295680 88714 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114330 88714 364 364 0 113966 0
[pid=8366] vsize: 457320
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (Kb) 457320

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 157650 0 0 0 32777 647 0 0 25 0 1 0 21911522 468922368 88826 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 114483 88826 364 364 0 114119 0
[pid=8366] vsize: 457932
Current children cumulated CPU time (s) 334.24
Current children cumulated vsize (Kb) 457932

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 159867 0 0 0 33759 657 0 0 25 0 1 0 21911522 469282816 88907 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114571 88907 364 364 0 114207 0
[pid=8366] vsize: 458284
Current children cumulated CPU time (s) 344.16
Current children cumulated vsize (Kb) 458284

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 159921 0 0 0 34736 664 0 0 25 0 1 0 21911522 469446656 88961 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114611 88961 364 364 0 114247 0
[pid=8366] vsize: 458444
Current children cumulated CPU time (s) 354
Current children cumulated vsize (Kb) 458444

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 160005 0 0 0 35704 675 0 0 25 0 1 0 21911522 469807104 89045 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114699 89045 364 364 0 114335 0
[pid=8366] vsize: 458796
Current children cumulated CPU time (s) 363.79
Current children cumulated vsize (Kb) 458796

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 162279 0 0 0 36678 686 0 0 25 0 1 0 21911522 479313920 91319 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117020 91319 364 364 0 116656 0
[pid=8366] vsize: 468080
Current children cumulated CPU time (s) 373.64
Current children cumulated vsize (Kb) 468080

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 162304 0 0 0 37651 697 0 0 25 0 1 0 21911522 470564864 89208 4294967295 134512640 135987407 3221224560 3221223120 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114884 89208 364 364 0 114520 0
[pid=8366] vsize: 459536
Current children cumulated CPU time (s) 383.48
Current children cumulated vsize (Kb) 459536

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 164460 0 0 0 38628 707 0 0 25 0 1 0 21911522 470564864 89228 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 114884 89228 364 364 0 114520 0
[pid=8366] vsize: 459536
Current children cumulated CPU time (s) 393.35
Current children cumulated vsize (Kb) 459536

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 164641 0 0 0 39604 714 0 0 25 0 1 0 21911522 471564288 89409 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115128 89409 364 364 0 114764 0
[pid=8366] vsize: 460512
Current children cumulated CPU time (s) 403.18
Current children cumulated vsize (Kb) 460512

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 166828 0 0 0 40572 729 0 0 25 0 1 0 21911522 471711744 89460 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 115164 89460 364 364 0 114800 0
[pid=8366] vsize: 460656
Current children cumulated CPU time (s) 413.01
Current children cumulated vsize (Kb) 460656

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 169012 0 0 0 41538 742 0 0 25 0 1 0 21911522 480608256 91644 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117336 91644 364 364 0 116972 0
[pid=8366] vsize: 469344
Current children cumulated CPU time (s) 422.8
Current children cumulated vsize (Kb) 469344

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 169034 0 0 0 42517 749 0 0 25 0 1 0 21911522 472006656 89530 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115236 89530 364 364 0 114872 0
[pid=8366] vsize: 460944
Current children cumulated CPU time (s) 432.66
Current children cumulated vsize (Kb) 460944

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 171191 0 0 0 43501 757 0 0 25 0 1 0 21911522 472170496 89551 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115276 89551 364 364 0 114912 0
[pid=8366] vsize: 461104
Current children cumulated CPU time (s) 442.58
Current children cumulated vsize (Kb) 461104

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 171318 0 0 0 44476 764 0 0 25 0 1 0 21911522 472694784 89678 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 115404 89678 364 364 0 115040 0
[pid=8366] vsize: 461616
Current children cumulated CPU time (s) 452.4
Current children cumulated vsize (Kb) 461616

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 171365 0 0 0 45456 772 0 0 25 0 1 0 21911522 472891392 89725 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115452 89725 364 364 0 115088 0
[pid=8366] vsize: 461808
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (Kb) 461808

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 173582 0 0 0 46447 778 0 0 25 0 1 0 21911522 473153536 89741 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115516 89741 364 364 0 115152 0
[pid=8366] vsize: 462064
Current children cumulated CPU time (s) 472.25
Current children cumulated vsize (Kb) 462064

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 175738 0 0 0 47434 785 0 0 25 0 1 0 21911522 481902592 91897 4294967295 134512640 135987407 3221224560 3221222944 134829269 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117652 91897 364 364 0 117288 0
[pid=8366] vsize: 470608
Current children cumulated CPU time (s) 482.19
Current children cumulated vsize (Kb) 470608

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 175849 0 0 0 48407 794 0 0 25 0 1 0 21911522 473743360 89872 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115660 89872 364 364 0 115296 0
[pid=8366] vsize: 462640
Current children cumulated CPU time (s) 492.01
Current children cumulated vsize (Kb) 462640

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 178081 0 0 0 49386 804 0 0 25 0 1 0 21911522 474136576 89968 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8366/statm): 115756 89968 364 364 0 115392 0
[pid=8366] vsize: 463024
Current children cumulated CPU time (s) 501.9
Current children cumulated vsize (Kb) 463024

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 178196 0 0 0 50362 814 0 0 25 0 1 0 21911522 474603520 90083 4294967295 134512640 135987407 3221224560 3221223280 134814458 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115870 90083 364 364 0 115506 0
[pid=8366] vsize: 463480
Current children cumulated CPU time (s) 511.76
Current children cumulated vsize (Kb) 463480

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 180386 0 0 0 51350 820 0 0 25 0 1 0 21911522 474873856 90137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 115936 90137 364 364 0 115572 0
[pid=8366] vsize: 463744
Current children cumulated CPU time (s) 521.7
Current children cumulated vsize (Kb) 463744

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 182551 0 0 0 52326 832 0 0 25 0 1 0 21911522 483819520 92302 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118120 92302 364 364 0 117756 0
[pid=8366] vsize: 472480
Current children cumulated CPU time (s) 531.58
Current children cumulated vsize (Kb) 472480

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 182554 0 0 0 53311 838 0 0 25 0 1 0 21911522 475070464 90169 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 115984 90169 364 364 0 115620 0
[pid=8366] vsize: 463936
Current children cumulated CPU time (s) 541.49
Current children cumulated vsize (Kb) 463936

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 182621 0 0 0 54287 847 0 0 25 0 1 0 21911522 475267072 90236 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116032 90236 364 364 0 115668 0
[pid=8366] vsize: 464128
Current children cumulated CPU time (s) 551.34
Current children cumulated vsize (Kb) 464128

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 184775 0 0 0 55273 854 0 0 25 0 1 0 21911522 475267072 90254 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116032 90254 364 364 0 115668 0
[pid=8366] vsize: 464128
Current children cumulated CPU time (s) 561.27
Current children cumulated vsize (Kb) 464128

[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 184825 0 0 0 56241 864 0 0 25 0 1 0 21911522 475463680 90304 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116080 90304 364 364 0 115716 0
[pid=8366] vsize: 464320
Current children cumulated CPU time (s) 571.05
Current children cumulated vsize (Kb) 464320

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 184917 0 0 0 57209 874 0 0 25 0 1 0 21911522 475930624 90396 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90396 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 580.83
Current children cumulated vsize (Kb) 464776

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 187063 0 0 0 58188 885 0 0 25 0 1 0 21911522 475930624 90406 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90406 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 590.73
Current children cumulated vsize (Kb) 464776

[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 187080 0 0 0 59162 893 0 0 25 0 1 0 21911522 475930624 90423 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90423 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 600.55
Current children cumulated vsize (Kb) 464776

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 189218 0 0 0 60148 901 0 0 25 0 1 0 21911522 475930624 90425 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90425 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 610.49
Current children cumulated vsize (Kb) 464776

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 189222 0 0 0 61123 910 0 0 25 0 1 0 21911522 475930624 90429 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90429 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 620.33
Current children cumulated vsize (Kb) 464776

[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 191368 0 0 0 62104 920 0 0 25 0 1 0 21911522 475930624 90439 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116194 90439 364 364 0 115830 0
[pid=8366] vsize: 464776
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 464776

[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 191401 0 0 0 63074 930 0 0 25 0 1 0 21911522 476127232 90472 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116242 90472 364 364 0 115878 0
[pid=8366] vsize: 464968
Current children cumulated CPU time (s) 640.04
Current children cumulated vsize (Kb) 464968

[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 191436 0 0 0 64055 937 0 0 25 0 1 0 21911522 476127232 90507 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116242 90507 364 364 0 115878 0
[pid=8366] vsize: 464968
Current children cumulated CPU time (s) 649.92
Current children cumulated vsize (Kb) 464968

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 193607 0 0 0 65036 946 0 0 25 0 1 0 21911522 485011456 92678 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118411 92678 364 364 0 118047 0
[pid=8366] vsize: 473644
Current children cumulated CPU time (s) 659.82
Current children cumulated vsize (Kb) 473644

[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 193631 0 0 0 66022 952 0 0 25 0 1 0 21911522 476262400 90566 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 116275 90566 364 364 0 115911 0
[pid=8366] vsize: 465100
Current children cumulated CPU time (s) 669.74
Current children cumulated vsize (Kb) 465100

[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 195777 0 0 0 67006 959 0 0 25 0 1 0 21911522 476262400 90576 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116275 90576 364 364 0 115911 0
[pid=8366] vsize: 465100
Current children cumulated CPU time (s) 679.65
Current children cumulated vsize (Kb) 465100

[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 195792 0 0 0 67976 970 0 0 25 0 1 0 21911522 476262400 90591 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116275 90591 364 364 0 115911 0
[pid=8366] vsize: 465100
Current children cumulated CPU time (s) 689.46
Current children cumulated vsize (Kb) 465100

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 195808 0 0 0 68948 979 0 0 25 0 1 0 21911522 476262400 90607 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116275 90607 364 364 0 115911 0
[pid=8366] vsize: 465100
Current children cumulated CPU time (s) 699.27
Current children cumulated vsize (Kb) 465100

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 197978 0 0 0 69931 989 0 0 25 0 1 0 21911522 476397568 90641 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116308 90641 364 364 0 115944 0
[pid=8366] vsize: 465232
Current children cumulated CPU time (s) 709.2
Current children cumulated vsize (Kb) 465232

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 197998 0 0 0 70908 995 0 0 25 0 1 0 21911522 476397568 90661 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116308 90661 364 364 0 115944 0
[pid=8366] vsize: 465232
Current children cumulated CPU time (s) 719.03
Current children cumulated vsize (Kb) 465232

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 200178 0 0 0 71887 1006 0 0 25 0 1 0 21911522 485478400 92841 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118525 92841 364 364 0 118161 0
[pid=8366] vsize: 474100
Current children cumulated CPU time (s) 728.93
Current children cumulated vsize (Kb) 474100

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 200179 0 0 0 72880 1008 0 0 25 0 1 0 21911522 476729344 90706 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116389 90706 364 364 0 116025 0
[pid=8366] vsize: 465556
Current children cumulated CPU time (s) 738.88
Current children cumulated vsize (Kb) 465556

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 202389 0 0 0 73856 1021 0 0 25 0 1 0 21911522 485810176 92916 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118606 92916 364 364 0 118242 0
[pid=8366] vsize: 474424
Current children cumulated CPU time (s) 748.77
Current children cumulated vsize (Kb) 474424

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 202410 0 0 0 74832 1030 0 0 25 0 1 0 21911522 477061120 90801 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 116470 90801 364 364 0 116106 0
[pid=8366] vsize: 465880
Current children cumulated CPU time (s) 758.62
Current children cumulated vsize (Kb) 465880

[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 202414 0 0 0 75802 1040 0 0 25 0 1 0 21911522 477061120 90805 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116470 90805 364 364 0 116106 0
[pid=8366] vsize: 465880
Current children cumulated CPU time (s) 768.42
Current children cumulated vsize (Kb) 465880

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 204616 0 0 0 76782 1051 0 0 25 0 1 0 21911522 477454336 90871 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116566 90871 364 364 0 116202 0
[pid=8366] vsize: 466264
Current children cumulated CPU time (s) 778.33
Current children cumulated vsize (Kb) 466264

[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 204644 0 0 0 77753 1060 0 0 25 0 1 0 21911522 477454336 90899 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116566 90899 364 364 0 116202 0
[pid=8366] vsize: 466264
Current children cumulated CPU time (s) 788.13
Current children cumulated vsize (Kb) 466264

[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 206808 0 0 0 78732 1072 0 0 25 0 1 0 21911522 477650944 90927 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 90927 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 798.04
Current children cumulated vsize (Kb) 466456

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 206823 0 0 0 79700 1083 0 0 25 0 1 0 21911522 477650944 90942 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 90942 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 807.83
Current children cumulated vsize (Kb) 466456

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 208969 0 0 0 80677 1093 0 0 25 0 1 0 21911522 477650944 90952 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 90952 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 817.7
Current children cumulated vsize (Kb) 466456

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 209000 0 0 0 81645 1105 0 0 25 0 1 0 21911522 477650944 90983 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 90983 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 827.5
Current children cumulated vsize (Kb) 466456

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 209016 0 0 0 82617 1113 0 0 25 0 1 0 21911522 477650944 90999 4294967295 134512640 135987407 3221224560 3221223280 134814418 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 90999 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 837.3
Current children cumulated vsize (Kb) 466456

[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 211153 0 0 0 83601 1123 0 0 25 0 1 0 21911522 477650944 91000 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116614 91000 364 364 0 116250 0
[pid=8366] vsize: 466456
Current children cumulated CPU time (s) 847.24
Current children cumulated vsize (Kb) 466456

[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 213308 0 0 0 84573 1135 0 0 25 0 1 0 21911522 486596608 93155 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118798 93155 364 364 0 118434 0
[pid=8366] vsize: 475192
Current children cumulated CPU time (s) 857.08
Current children cumulated vsize (Kb) 475192

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 213331 0 0 0 85552 1142 0 0 25 0 1 0 21911522 477847552 91042 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 116662 91042 364 364 0 116298 0
[pid=8366] vsize: 466648
Current children cumulated CPU time (s) 866.94
Current children cumulated vsize (Kb) 466648

[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 213413 0 0 0 86527 1150 0 0 25 0 1 0 21911522 478044160 91124 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116710 91124 364 364 0 116346 0
[pid=8366] vsize: 466840
Current children cumulated CPU time (s) 876.77
Current children cumulated vsize (Kb) 466840

[startup+900.035 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 213428 0 0 0 87489 1163 0 0 25 0 1 0 21911522 478044160 91139 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116710 91139 364 364 0 116346 0
[pid=8366] vsize: 466840
Current children cumulated CPU time (s) 886.52
Current children cumulated vsize (Kb) 466840

[startup+910.035 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 213443 0 0 0 88463 1172 0 0 25 0 1 0 21911522 478044160 91154 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116710 91154 364 364 0 116346 0
[pid=8366] vsize: 466840
Current children cumulated CPU time (s) 896.35
Current children cumulated vsize (Kb) 466840

[startup+920.036 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 215588 0 0 0 89441 1182 0 0 25 0 1 0 21911522 478044160 91163 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116710 91163 364 364 0 116346 0
[pid=8366] vsize: 466840
Current children cumulated CPU time (s) 906.23
Current children cumulated vsize (Kb) 466840

[startup+930.036 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 215616 0 0 0 90406 1194 0 0 25 0 1 0 21911522 478240768 91191 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116758 91191 364 364 0 116394 0
[pid=8366] vsize: 467032
Current children cumulated CPU time (s) 916
Current children cumulated vsize (Kb) 467032

[startup+940.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 217775 0 0 0 91382 1206 0 0 25 0 1 0 21911522 486989824 93350 4294967295 134512640 135987407 3221224560 3221222944 134829002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 118894 93350 364 364 0 118530 0
[pid=8366] vsize: 475576
Current children cumulated CPU time (s) 925.88
Current children cumulated vsize (Kb) 475576

[startup+950.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 217872 0 0 0 92364 1213 0 0 25 0 1 0 21911522 478511104 91311 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116824 91311 364 364 0 116460 0
[pid=8366] vsize: 467296
Current children cumulated CPU time (s) 935.77
Current children cumulated vsize (Kb) 467296

[startup+960.036 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 217886 0 0 0 93336 1222 0 0 25 0 1 0 21911522 478511104 91325 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116824 91325 364 364 0 116460 0
[pid=8366] vsize: 467296
Current children cumulated CPU time (s) 945.58
Current children cumulated vsize (Kb) 467296

[startup+970.037 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 217899 0 0 0 94303 1234 0 0 25 0 1 0 21911522 478511104 91338 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116824 91338 364 364 0 116460 0
[pid=8366] vsize: 467296
Current children cumulated CPU time (s) 955.37
Current children cumulated vsize (Kb) 467296

[startup+980.038 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 220066 0 0 0 95274 1248 0 0 25 0 1 0 21911522 487456768 93505 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 119008 93505 364 364 0 118644 0
[pid=8366] vsize: 476032
Current children cumulated CPU time (s) 965.22
Current children cumulated vsize (Kb) 476032

[startup+990.038 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 220093 0 0 0 96250 1258 0 0 25 0 1 0 21911522 478707712 91396 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116872 91396 364 364 0 116508 0
[pid=8366] vsize: 467488
Current children cumulated CPU time (s) 975.08
Current children cumulated vsize (Kb) 467488

[startup+1000.04 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 222234 0 0 0 97235 1266 0 0 25 0 1 0 21911522 478707712 91401 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116872 91401 364 364 0 116508 0
[pid=8366] vsize: 467488
Current children cumulated CPU time (s) 985.01
Current children cumulated vsize (Kb) 467488

[startup+1010.04 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 222239 0 0 0 98204 1276 0 0 25 0 1 0 21911522 478707712 91406 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 116872 91406 364 364 0 116508 0
[pid=8366] vsize: 467488
Current children cumulated CPU time (s) 994.8
Current children cumulated vsize (Kb) 467488

[startup+1020.04 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 224391 0 0 0 99185 1286 0 0 25 0 1 0 21911522 478904320 91422 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 116920 91422 364 364 0 116556 0
[pid=8366] vsize: 467680
Current children cumulated CPU time (s) 1004.71
Current children cumulated vsize (Kb) 467680

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 224413 0 0 0 100160 1294 0 0 25 0 1 0 21911522 478904320 91444 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 116920 91444 364 364 0 116556 0
[pid=8366] vsize: 467680
Current children cumulated CPU time (s) 1014.54
Current children cumulated vsize (Kb) 467680

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 224530 0 0 0 101137 1301 0 0 25 0 1 0 21911522 479309824 91561 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117019 91561 364 364 0 116655 0
[pid=8366] vsize: 468076
Current children cumulated CPU time (s) 1024.38
Current children cumulated vsize (Kb) 468076

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 226675 0 0 0 102111 1315 0 0 25 0 1 0 21911522 488058880 93706 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 119155 93706 364 364 0 118791 0
[pid=8366] vsize: 476620
Current children cumulated CPU time (s) 1034.26
Current children cumulated vsize (Kb) 476620

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 226696 0 0 0 103091 1322 0 0 25 0 1 0 21911522 479309824 91591 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117019 91591 364 364 0 116655 0
[pid=8366] vsize: 468076
Current children cumulated CPU time (s) 1044.13
Current children cumulated vsize (Kb) 468076

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 226716 0 0 0 104056 1334 0 0 25 0 1 0 21911522 479309824 91611 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117019 91611 364 364 0 116655 0
[pid=8366] vsize: 468076
Current children cumulated CPU time (s) 1053.9
Current children cumulated vsize (Kb) 468076

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 228884 0 0 0 105038 1344 0 0 25 0 1 0 21911522 479444992 91643 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117052 91643 364 364 0 116688 0
[pid=8366] vsize: 468208
Current children cumulated CPU time (s) 1063.82
Current children cumulated vsize (Kb) 468208

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 228923 0 0 0 106007 1356 0 0 25 0 1 0 21911522 479641600 91682 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117100 91682 364 364 0 116736 0
[pid=8366] vsize: 468400
Current children cumulated CPU time (s) 1073.63
Current children cumulated vsize (Kb) 468400

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 228948 0 0 0 106973 1368 0 0 25 0 1 0 21911522 479641600 91707 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117100 91707 364 364 0 116736 0
[pid=8366] vsize: 468400
Current children cumulated CPU time (s) 1083.41
Current children cumulated vsize (Kb) 468400

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 229016 0 0 0 107945 1377 0 0 25 0 1 0 21911522 479973376 91775 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117181 91775 364 364 0 116817 0
[pid=8366] vsize: 468724
Current children cumulated CPU time (s) 1093.22
Current children cumulated vsize (Kb) 468724

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 231172 0 0 0 108915 1391 0 0 25 0 1 0 21911522 488722432 93931 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 119317 93931 364 364 0 118953 0
[pid=8366] vsize: 477268
Current children cumulated CPU time (s) 1103.06
Current children cumulated vsize (Kb) 477268

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 231240 0 0 0 109895 1397 0 0 25 0 1 0 21911522 480243712 91863 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117247 91863 364 364 0 116883 0
[pid=8366] vsize: 468988
Current children cumulated CPU time (s) 1112.92
Current children cumulated vsize (Kb) 468988

[startup+1140.04 s]
Raw data (loadavg): 1.15 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 231256 0 0 0 110864 1408 0 0 25 0 1 0 21911522 480243712 91879 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117247 91879 364 364 0 116883 0
[pid=8366] vsize: 468988
Current children cumulated CPU time (s) 1122.72
Current children cumulated vsize (Kb) 468988

[startup+1150.04 s]
Raw data (loadavg): 1.13 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 233392 0 0 0 111854 1415 0 0 25 0 1 0 21911522 480243712 91879 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117247 91879 364 364 0 116883 0
[pid=8366] vsize: 468988
Current children cumulated CPU time (s) 1132.69
Current children cumulated vsize (Kb) 468988

[startup+1160.04 s]
Raw data (loadavg): 1.11 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 233448 0 0 0 112828 1423 0 0 25 0 1 0 21911522 480575488 91935 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 117328 91935 364 364 0 116964 0
[pid=8366] vsize: 469312
Current children cumulated CPU time (s) 1142.51
Current children cumulated vsize (Kb) 469312

[startup+1170.04 s]
Raw data (loadavg): 1.09 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 235586 0 0 0 113808 1434 0 0 25 0 1 0 21911522 480575488 91937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117328 91937 364 364 0 116964 0
[pid=8366] vsize: 469312
Current children cumulated CPU time (s) 1152.42
Current children cumulated vsize (Kb) 469312

[startup+1180.05 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 236673 0 0 0 114780 1444 0 0 25 0 1 0 21911522 489459712 93024 4294967295 134512640 135987407 3221224560 3221223152 134828104 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 119497 93024 364 364 0 119133 0
[pid=8366] vsize: 477988
Current children cumulated CPU time (s) 1162.24
Current children cumulated vsize (Kb) 477988

[startup+1190.05 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 237779 0 0 0 115757 1454 0 0 25 0 1 0 21911522 480710656 91994 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117361 91994 364 364 0 116997 0
[pid=8366] vsize: 469444
Current children cumulated CPU time (s) 1172.11
Current children cumulated vsize (Kb) 469444

[startup+1200.05 s]
Raw data (loadavg): 1.05 1.01 0.97 1/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) T 8365 8366 4005 0 -1 0 239940 0 0 0 116736 1464 0 0 25 0 1 0 21911522 480907264 92019 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117409 92019 364 364 0 117045 0
[pid=8366] vsize: 469636
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (Kb) 469636

[startup+1210.05 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 239967 0 0 0 117706 1474 0 0 25 0 1 0 21911522 480907264 92046 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8366/statm): 117409 92046 364 364 0 117045 0
[pid=8366] vsize: 469636
Current children cumulated CPU time (s) 1191.8
Current children cumulated vsize (Kb) 469636

[startup+1220.05 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 239980 0 0 0 118673 1487 0 0 25 0 1 0 21911522 480907264 92059 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 117409 92059 364 364 0 117045 0
[pid=8366] vsize: 469636
Current children cumulated CPU time (s) 1201.6
Current children cumulated vsize (Kb) 469636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8366
Raw data (/proc/8366/stat): 8366 (pb2sat) R 8365 8366 4005 0 -1 0 239980 0 0 0 118673 1487 0 0 25 0 1 0 21911522 480907264 92059 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8366/statm): 117409 92059 364 364 0 117045 0
[pid=8366] vsize: 469636
Current children cumulated CPU time (s) 1201.6
Current children cumulated vsize (Kb) 469636

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

Child status: 0
Real time (s): 1221.84
CPU time (s): 1203.39
CPU user time (s): 1188.33
CPU system time (s): 15.0637
CPU usage (%): 98.4902
Max. virtual memory (cumulated for all children) (Kb): 477988

Verifier Data

ERROR: no interpretation found !