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/miplib/normalized-mps-v2-13-7-air06.opb
MD5SUMf85d0079133f298b06c25764b03ff228
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70057
Optimality of the best value was proved NO
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.06
Number of variables8627
Total number of constraints9452
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9452
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461

Trace number 10398

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        964988 kB
Buffers:           600 kB
Cached:          51692 kB
SwapCached:          0 kB
Active:          17252 kB
Inactive:        37984 kB
HighTotal:      131008 kB
HighFree:        74984 kB
LowTotal:       903652 kB
LowFree:        890004 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8780 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:12:57 (client local time) WITH STATUS 0 IN 1203.49 SECONDS
stats: 9087 7 1203.49 0

Solver Data

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

c Decision: 71066/148604	Time: 587.458/86400
c Decision: 71107/148604	Time: 687.172/86400
c Decision: 71124/148604	Time: 740.375/86400
c Decision: 71302/148604	Time: 911.559/86400
c Decision: 71349/148604	Time: 995.792/86400
c Decision: 71388/148604	Time: 1100.26/86400
c Decision: 71398/148604	Time: 1152.06/86400
c Decision: 71402/148604	Time: 1172.16/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/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22133463 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 373 2 364 364 0 9 0
[pid=9233] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air06.opb

[startup+10.0015 s]
Raw data (loadavg): 0.91 0.93 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 18512 0 0 0 950 46 0 0 25 0 1 0 22133463 67067904 12799 4294967295 134512640 135987407 3221224560 3221196044 134533884 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16374 12799 364 364 0 16010 0
[pid=9233] vsize: 65496
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 65496

[startup+20.0022 s]
Raw data (loadavg): 0.92 0.93 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 20986 0 0 0 1929 57 0 0 25 0 1 0 22133463 63275008 12561 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 15448 12561 364 364 0 15084 0
[pid=9233] vsize: 61792
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 61792

[startup+30.0029 s]
Raw data (loadavg): 0.93 0.93 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21358 0 0 0 2903 65 0 0 25 0 1 0 22133463 64876544 12933 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 15839 12933 364 364 0 15475 0
[pid=9233] vsize: 63356
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 63356

[startup+40.0025 s]
Raw data (loadavg): 0.94 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21584 0 0 0 3875 75 0 0 25 0 1 0 22133463 65785856 13159 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16061 13159 364 364 0 15697 0
[pid=9233] vsize: 64244
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (Kb) 64244

[startup+50.0022 s]
Raw data (loadavg): 0.95 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21724 0 0 0 4849 82 0 0 25 0 1 0 22133463 66068480 13299 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 16130 13299 364 364 0 15766 0
[pid=9233] vsize: 64520
Current children cumulated CPU time (s) 49.31
Current children cumulated vsize (Kb) 64520

[startup+60.0028 s]
Raw data (loadavg): 0.96 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21873 0 0 0 5821 91 0 0 25 0 1 0 22133463 66519040 13448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16240 13448 364 364 0 15876 0
[pid=9233] vsize: 64960
Current children cumulated CPU time (s) 59.12
Current children cumulated vsize (Kb) 64960

[startup+70.0035 s]
Raw data (loadavg): 0.96 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21995 0 0 0 6794 100 0 0 25 0 1 0 22133463 66973696 13570 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16351 13570 364 364 0 15987 0
[pid=9233] vsize: 65404
Current children cumulated CPU time (s) 68.94
Current children cumulated vsize (Kb) 65404

[startup+80.0042 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22134 0 0 0 7770 107 0 0 25 0 1 0 22133463 67448832 13709 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16467 13709 364 364 0 16103 0
[pid=9233] vsize: 65868
Current children cumulated CPU time (s) 78.77
Current children cumulated vsize (Kb) 65868

[startup+90.0038 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22259 0 0 0 8740 117 0 0 25 0 1 0 22133463 67792896 13834 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 16551 13834 364 364 0 16187 0
[pid=9233] vsize: 66204
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 66204

[startup+100.004 s]
Raw data (loadavg): 0.98 0.94 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22364 0 0 0 9715 125 0 0 25 0 1 0 22133463 76525568 13939 4294967295 134512640 135987407 3221224560 3221222960 134877642 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 18683 13939 364 364 0 18319 0
[pid=9233] vsize: 74732
Current children cumulated CPU time (s) 98.4
Current children cumulated vsize (Kb) 74732

[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22454 0 0 0 10689 134 0 0 25 0 1 0 22133463 76820480 14029 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 18755 14029 364 364 0 18391 0
[pid=9233] vsize: 75020
Current children cumulated CPU time (s) 108.23
Current children cumulated vsize (Kb) 75020

[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22586 0 0 0 11663 142 0 0 25 0 1 0 22133463 77123584 14161 4294967295 134512640 135987407 3221224560 3221223424 134812887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 18829 14161 364 364 0 18465 0
[pid=9233] vsize: 75316
Current children cumulated CPU time (s) 118.05
Current children cumulated vsize (Kb) 75316

[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22718 0 0 0 12633 152 0 0 25 0 1 0 22133463 77606912 14293 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 18947 14293 364 364 0 18583 0
[pid=9233] vsize: 75788
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (Kb) 75788

[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22818 0 0 0 13603 162 0 0 25 0 1 0 22133463 77910016 14393 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19021 14393 364 364 0 18657 0
[pid=9233] vsize: 76084
Current children cumulated CPU time (s) 137.65
Current children cumulated vsize (Kb) 76084

[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22927 0 0 0 14579 170 0 0 25 0 1 0 22133463 78188544 14502 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 19089 14502 364 364 0 18725 0
[pid=9233] vsize: 76356
Current children cumulated CPU time (s) 147.49
Current children cumulated vsize (Kb) 76356

[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23033 0 0 0 15557 177 0 0 25 0 1 0 22133463 78336000 14608 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19125 14608 364 364 0 18761 0
[pid=9233] vsize: 76500
Current children cumulated CPU time (s) 157.34
Current children cumulated vsize (Kb) 76500

[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23154 0 0 0 16531 186 0 0 25 0 1 0 22133463 78643200 14729 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 19200 14729 364 364 0 18836 0
[pid=9233] vsize: 76800
Current children cumulated CPU time (s) 167.17
Current children cumulated vsize (Kb) 76800

[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23277 0 0 0 17510 193 0 0 25 0 1 0 22133463 79126528 14852 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 19318 14852 364 364 0 18954 0
[pid=9233] vsize: 77272
Current children cumulated CPU time (s) 177.03
Current children cumulated vsize (Kb) 77272

[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23359 0 0 0 18491 199 0 0 25 0 1 0 22133463 79126528 14934 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19318 14934 364 364 0 18954 0
[pid=9233] vsize: 77272
Current children cumulated CPU time (s) 186.9
Current children cumulated vsize (Kb) 77272

[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23453 0 0 0 19462 209 0 0 25 0 1 0 22133463 79486976 15028 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19406 15028 364 364 0 19042 0
[pid=9233] vsize: 77624
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 77624

[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4060 0 -1 0 23604 0 0 0 20444 215 0 0 25 0 1 0 22133463 79798272 15179 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 19482 15179 364 364 0 19118 0
[pid=9233] vsize: 77928
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 77928

[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23707 0 0 0 21428 221 0 0 25 0 1 0 22133463 79953920 15282 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19520 15282 364 364 0 19156 0
[pid=9233] vsize: 78080
Current children cumulated CPU time (s) 216.49
Current children cumulated vsize (Kb) 78080

[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23819 0 0 0 22409 226 0 0 25 0 1 0 22133463 80101376 15394 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19556 15394 364 364 0 19192 0
[pid=9233] vsize: 78224
Current children cumulated CPU time (s) 226.35
Current children cumulated vsize (Kb) 78224

[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23914 0 0 0 23386 234 0 0 25 0 1 0 22133463 80244736 15489 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19591 15489 364 364 0 19227 0
[pid=9233] vsize: 78364
Current children cumulated CPU time (s) 236.2
Current children cumulated vsize (Kb) 78364

[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23994 0 0 0 24358 243 0 0 25 0 1 0 22133463 80564224 15569 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19669 15569 364 364 0 19305 0
[pid=9233] vsize: 78676
Current children cumulated CPU time (s) 246.01
Current children cumulated vsize (Kb) 78676

[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24156 0 0 0 25339 249 0 0 25 0 1 0 22133463 80949248 15731 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19763 15731 364 364 0 19399 0
[pid=9233] vsize: 79052
Current children cumulated CPU time (s) 255.88
Current children cumulated vsize (Kb) 79052

[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24326 0 0 0 26314 259 0 0 25 0 1 0 22133463 81448960 15901 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 19885 15901 364 364 0 19521 0
[pid=9233] vsize: 79540
Current children cumulated CPU time (s) 265.73
Current children cumulated vsize (Kb) 79540

[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24431 0 0 0 27289 268 0 0 25 0 1 0 22133463 81743872 16006 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 19957 16006 364 364 0 19593 0
[pid=9233] vsize: 79828
Current children cumulated CPU time (s) 275.57
Current children cumulated vsize (Kb) 79828

[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24590 0 0 0 28275 273 0 0 25 0 1 0 22133463 81940480 16165 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20005 16165 364 364 0 19641 0
[pid=9233] vsize: 80020
Current children cumulated CPU time (s) 285.48
Current children cumulated vsize (Kb) 80020

[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24719 0 0 0 29251 281 0 0 22 0 1 0 22133463 82395136 16294 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 20116 16294 364 364 0 19752 0
[pid=9233] vsize: 80464
Current children cumulated CPU time (s) 295.32
Current children cumulated vsize (Kb) 80464

[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24829 0 0 0 30230 288 0 0 25 0 1 0 22133463 82591744 16404 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20164 16404 364 364 0 19800 0
[pid=9233] vsize: 80656
Current children cumulated CPU time (s) 305.18
Current children cumulated vsize (Kb) 80656

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24921 0 0 0 31210 294 0 0 25 0 1 0 22133463 82788352 16496 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 20212 16496 364 364 0 19848 0
[pid=9233] vsize: 80848
Current children cumulated CPU time (s) 315.04
Current children cumulated vsize (Kb) 80848

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24985 0 0 0 32188 302 0 0 25 0 1 0 22133463 82788352 16560 4294967295 134512640 135987407 3221224560 3221223344 134812346 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20212 16560 364 364 0 19848 0
[pid=9233] vsize: 80848
Current children cumulated CPU time (s) 324.9
Current children cumulated vsize (Kb) 80848

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25066 0 0 0 33167 309 0 0 25 0 1 0 22133463 82944000 16641 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20250 16641 364 364 0 19886 0
[pid=9233] vsize: 81000
Current children cumulated CPU time (s) 334.76
Current children cumulated vsize (Kb) 81000

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25217 0 0 0 34151 314 0 0 25 0 1 0 22133463 83296256 16792 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20336 16792 364 364 0 19972 0
[pid=9233] vsize: 81344
Current children cumulated CPU time (s) 344.65
Current children cumulated vsize (Kb) 81344

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25323 0 0 0 35124 323 0 0 25 0 1 0 22133463 83689472 16898 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 20432 16898 364 364 0 20068 0
[pid=9233] vsize: 81728
Current children cumulated CPU time (s) 354.47
Current children cumulated vsize (Kb) 81728

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25410 0 0 0 36100 330 0 0 25 0 1 0 22133463 83853312 16985 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20472 16985 364 364 0 20108 0
[pid=9233] vsize: 81888
Current children cumulated CPU time (s) 364.3
Current children cumulated vsize (Kb) 81888

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25507 0 0 0 37084 336 0 0 25 0 1 0 22133463 83853312 17082 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20472 17082 364 364 0 20108 0
[pid=9233] vsize: 81888
Current children cumulated CPU time (s) 374.2
Current children cumulated vsize (Kb) 81888

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25580 0 0 0 38057 344 0 0 25 0 1 0 22133463 84017152 17155 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20512 17155 364 364 0 20148 0
[pid=9233] vsize: 82048
Current children cumulated CPU time (s) 384.01
Current children cumulated vsize (Kb) 82048

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25659 0 0 0 39041 349 0 0 25 0 1 0 22133463 84017152 17234 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20512 17234 364 364 0 20148 0
[pid=9233] vsize: 82048
Current children cumulated CPU time (s) 393.9
Current children cumulated vsize (Kb) 82048

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25746 0 0 0 40017 358 0 0 21 0 1 0 22133463 84209664 17321 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 20559 17321 364 364 0 20195 0
[pid=9233] vsize: 82236
Current children cumulated CPU time (s) 403.75
Current children cumulated vsize (Kb) 82236

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25828 0 0 0 40999 364 0 0 25 0 1 0 22133463 84209664 17403 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20559 17403 364 364 0 20195 0
[pid=9233] vsize: 82236
Current children cumulated CPU time (s) 413.63
Current children cumulated vsize (Kb) 82236

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25916 0 0 0 41979 370 0 0 25 0 1 0 22133463 84361216 17491 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20596 17491 364 364 0 20232 0
[pid=9233] vsize: 82384
Current children cumulated CPU time (s) 423.49
Current children cumulated vsize (Kb) 82384

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26074 0 0 0 42952 380 0 0 25 0 1 0 22133463 84860928 17649 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20718 17649 364 364 0 20354 0
[pid=9233] vsize: 82872
Current children cumulated CPU time (s) 433.32
Current children cumulated vsize (Kb) 82872

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/58 9268
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26152 0 0 0 43928 389 0 0 19 0 1 0 22133463 84860928 17727 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 20718 17727 364 364 0 20354 0
[pid=9233] vsize: 82872
Current children cumulated CPU time (s) 443.17
Current children cumulated vsize (Kb) 82872

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26243 0 0 0 44910 395 0 0 25 0 1 0 22133463 101638144 17818 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 24814 17818 364 364 0 24450 0
[pid=9233] vsize: 99256
Current children cumulated CPU time (s) 453.05
Current children cumulated vsize (Kb) 99256

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26396 0 0 0 45893 402 0 0 25 0 1 0 22133463 101969920 17971 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 24895 17971 364 364 0 24531 0
[pid=9233] vsize: 99580
Current children cumulated CPU time (s) 462.95
Current children cumulated vsize (Kb) 99580

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26513 0 0 0 46868 411 0 0 25 0 1 0 22133463 102113280 18088 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 24930 18088 364 364 0 24566 0
[pid=9233] vsize: 99720
Current children cumulated CPU time (s) 472.79
Current children cumulated vsize (Kb) 99720

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26603 0 0 0 47849 417 0 0 25 0 1 0 22133463 102248448 18178 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 24963 18178 364 364 0 24599 0
[pid=9233] vsize: 99852
Current children cumulated CPU time (s) 482.66
Current children cumulated vsize (Kb) 99852

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26683 0 0 0 48828 423 0 0 25 0 1 0 22133463 102522880 18258 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25030 18258 364 364 0 24666 0
[pid=9233] vsize: 100120
Current children cumulated CPU time (s) 492.51
Current children cumulated vsize (Kb) 100120

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9290
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26796 0 0 0 49808 429 0 0 25 0 1 0 22133463 102666240 18371 4294967295 134512640 135987407 3221224560 3221223424 134812903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25065 18371 364 364 0 24701 0
[pid=9233] vsize: 100260
Current children cumulated CPU time (s) 502.37
Current children cumulated vsize (Kb) 100260

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9292
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26935 0 0 0 50792 435 0 0 25 0 1 0 22133463 102813696 18510 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25101 18510 364 364 0 24737 0
[pid=9233] vsize: 100404
Current children cumulated CPU time (s) 512.27
Current children cumulated vsize (Kb) 100404

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27034 0 0 0 51776 441 0 0 25 0 1 0 22133463 103010304 18609 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25149 18609 364 364 0 24785 0
[pid=9233] vsize: 100596
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (Kb) 100596

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27115 0 0 0 52764 446 0 0 25 0 1 0 22133463 103010304 18690 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25149 18690 364 364 0 24785 0
[pid=9233] vsize: 100596
Current children cumulated CPU time (s) 532.1
Current children cumulated vsize (Kb) 100596

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27347 0 0 0 53746 452 0 0 25 0 1 0 22133463 103825408 18922 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25348 18922 364 364 0 24984 0
[pid=9233] vsize: 101392
Current children cumulated CPU time (s) 541.98
Current children cumulated vsize (Kb) 101392

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27475 0 0 0 54737 456 0 0 25 0 1 0 22133463 103825408 19050 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25348 19050 364 364 0 24984 0
[pid=9233] vsize: 101392
Current children cumulated CPU time (s) 551.93
Current children cumulated vsize (Kb) 101392

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27550 0 0 0 55715 464 0 0 25 0 1 0 22133463 103825408 19125 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25348 19125 364 364 0 24984 0
[pid=9233] vsize: 101392
Current children cumulated CPU time (s) 561.79
Current children cumulated vsize (Kb) 101392

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27624 0 0 0 56690 473 0 0 25 0 1 0 22133463 104022016 19199 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25396 19199 364 364 0 25032 0
[pid=9233] vsize: 101584
Current children cumulated CPU time (s) 571.63
Current children cumulated vsize (Kb) 101584

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27699 0 0 0 57676 478 0 0 25 0 1 0 22133463 104022016 19274 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25396 19274 364 364 0 25032 0
[pid=9233] vsize: 101584
Current children cumulated CPU time (s) 581.54
Current children cumulated vsize (Kb) 101584

[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27804 0 0 0 58666 481 0 0 25 0 1 0 22133463 104022016 19379 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25396 19379 364 364 0 25032 0
[pid=9233] vsize: 101584
Current children cumulated CPU time (s) 591.47
Current children cumulated vsize (Kb) 101584

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4060 0 -1 0 28222 0 0 0 59653 486 0 0 25 0 1 0 22133463 104329216 19506 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25471 19506 364 364 0 25107 0
[pid=9233] vsize: 101884
Current children cumulated CPU time (s) 601.39
Current children cumulated vsize (Kb) 101884

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28225 0 0 0 60629 493 0 0 25 0 1 0 22133463 104329216 19509 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25471 19509 364 364 0 25107 0
[pid=9233] vsize: 101884
Current children cumulated CPU time (s) 611.22
Current children cumulated vsize (Kb) 101884

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28242 0 0 0 61612 498 0 0 25 0 1 0 22133463 104329216 19526 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25471 19526 364 364 0 25107 0
[pid=9233] vsize: 101884
Current children cumulated CPU time (s) 621.1
Current children cumulated vsize (Kb) 101884

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28280 0 0 0 62590 505 0 0 25 0 1 0 22133463 104525824 19564 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25519 19564 364 364 0 25155 0
[pid=9233] vsize: 102076
Current children cumulated CPU time (s) 630.95
Current children cumulated vsize (Kb) 102076

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28306 0 0 0 63573 511 0 0 25 0 1 0 22133463 104689664 19590 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25559 19590 364 364 0 25195 0
[pid=9233] vsize: 102236
Current children cumulated CPU time (s) 640.84
Current children cumulated vsize (Kb) 102236

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28322 0 0 0 64551 519 0 0 25 0 1 0 22133463 104689664 19606 4294967295 134512640 135987407 3221224560 3221223348 134801096 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25559 19606 364 364 0 25195 0
[pid=9233] vsize: 102236
Current children cumulated CPU time (s) 650.7
Current children cumulated vsize (Kb) 102236

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28324 0 0 0 65533 524 0 0 25 0 1 0 22133463 104689664 19608 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25559 19608 364 364 0 25195 0
[pid=9233] vsize: 102236
Current children cumulated CPU time (s) 660.57
Current children cumulated vsize (Kb) 102236

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28377 0 0 0 66501 533 0 0 25 0 1 0 22133463 105050112 19661 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25647 19661 364 364 0 25283 0
[pid=9233] vsize: 102588
Current children cumulated CPU time (s) 670.34
Current children cumulated vsize (Kb) 102588

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28423 0 0 0 67478 540 0 0 25 0 1 0 22133463 105213952 19707 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25687 19707 364 364 0 25323 0
[pid=9233] vsize: 102748
Current children cumulated CPU time (s) 680.18
Current children cumulated vsize (Kb) 102748

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28426 0 0 0 68456 545 0 0 25 0 1 0 22133463 105213952 19710 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25687 19710 364 364 0 25323 0
[pid=9233] vsize: 102748
Current children cumulated CPU time (s) 690.01
Current children cumulated vsize (Kb) 102748

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28762 0 0 0 69435 553 0 0 21 0 1 0 22133463 105410560 19755 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25735 19755 364 364 0 25371 0
[pid=9233] vsize: 102940
Current children cumulated CPU time (s) 699.88
Current children cumulated vsize (Kb) 102940

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28774 0 0 0 70415 561 0 0 25 0 1 0 22133463 105607168 19767 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25783 19767 364 364 0 25419 0
[pid=9233] vsize: 103132
Current children cumulated CPU time (s) 709.76
Current children cumulated vsize (Kb) 103132

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28778 0 0 0 71391 569 0 0 25 0 1 0 22133463 105607168 19771 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25783 19771 364 364 0 25419 0
[pid=9233] vsize: 103132
Current children cumulated CPU time (s) 719.6
Current children cumulated vsize (Kb) 103132

[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28815 0 0 0 72367 577 0 0 25 0 1 0 22133463 105771008 19808 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25823 19808 364 364 0 25459 0
[pid=9233] vsize: 103292
Current children cumulated CPU time (s) 729.44
Current children cumulated vsize (Kb) 103292

[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28843 0 0 0 73355 581 0 0 25 0 1 0 22133463 105771008 19836 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25823 19836 364 364 0 25459 0
[pid=9233] vsize: 103292
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 103292

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28847 0 0 0 74349 582 0 0 25 0 1 0 22133463 105771008 19840 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25823 19840 364 364 0 25459 0
[pid=9233] vsize: 103292
Current children cumulated CPU time (s) 749.31
Current children cumulated vsize (Kb) 103292

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29149 0 0 0 75331 588 0 0 18 0 1 0 22133463 105771008 19851 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25823 19851 364 364 0 25459 0
[pid=9233] vsize: 103292
Current children cumulated CPU time (s) 759.19
Current children cumulated vsize (Kb) 103292

[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29163 0 0 0 76309 597 0 0 25 0 1 0 22133463 105934848 19865 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25863 19865 364 364 0 25499 0
[pid=9233] vsize: 103452
Current children cumulated CPU time (s) 769.06
Current children cumulated vsize (Kb) 103452

[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29174 0 0 0 77295 602 0 0 25 0 1 0 22133463 105934848 19876 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25863 19876 364 364 0 25499 0
[pid=9233] vsize: 103452
Current children cumulated CPU time (s) 778.97
Current children cumulated vsize (Kb) 103452

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29193 0 0 0 78274 608 0 0 25 0 1 0 22133463 106098688 19895 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25903 19895 364 364 0 25539 0
[pid=9233] vsize: 103612
Current children cumulated CPU time (s) 788.82
Current children cumulated vsize (Kb) 103612

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29221 0 0 0 79245 618 0 0 25 0 1 0 22133463 106262528 19923 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25943 19923 364 364 0 25579 0
[pid=9233] vsize: 103772
Current children cumulated CPU time (s) 798.63
Current children cumulated vsize (Kb) 103772

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29232 0 0 0 80217 626 0 0 25 0 1 0 22133463 106262528 19934 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 25943 19934 364 364 0 25579 0
[pid=9233] vsize: 103772
Current children cumulated CPU time (s) 808.43
Current children cumulated vsize (Kb) 103772

[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29273 0 0 0 81187 634 0 0 25 0 1 0 22133463 106401792 19975 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 25977 19975 364 364 0 25613 0
[pid=9233] vsize: 103908
Current children cumulated CPU time (s) 818.21
Current children cumulated vsize (Kb) 103908

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29297 0 0 0 82171 639 0 0 25 0 1 0 22133463 106582016 19999 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26021 19999 364 364 0 25657 0
[pid=9233] vsize: 104084
Current children cumulated CPU time (s) 828.1
Current children cumulated vsize (Kb) 104084

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29328 0 0 0 83153 645 0 0 25 0 1 0 22133463 106582016 20030 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26021 20030 364 364 0 25657 0
[pid=9233] vsize: 104084
Current children cumulated CPU time (s) 837.98
Current children cumulated vsize (Kb) 104084

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29387 0 0 0 84131 652 0 0 24 0 1 0 22133463 106582016 20089 4294967295 134512640 135987407 3221224560 3221223380 134812260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 26021 20089 364 364 0 25657 0
[pid=9233] vsize: 104084
Current children cumulated CPU time (s) 847.83
Current children cumulated vsize (Kb) 104084

[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29431 0 0 0 85104 661 0 0 25 0 1 0 22133463 106582016 20133 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26021 20133 364 364 0 25657 0
[pid=9233] vsize: 104084
Current children cumulated CPU time (s) 857.65
Current children cumulated vsize (Kb) 104084

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29546 0 0 0 86079 670 0 0 25 0 1 0 22133463 106885120 20248 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26095 20248 364 364 0 25731 0
[pid=9233] vsize: 104380
Current children cumulated CPU time (s) 867.49
Current children cumulated vsize (Kb) 104380

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29602 0 0 0 87053 679 0 0 25 0 1 0 22133463 106885120 20304 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26095 20304 364 364 0 25731 0
[pid=9233] vsize: 104380
Current children cumulated CPU time (s) 877.32
Current children cumulated vsize (Kb) 104380

[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29662 0 0 0 88029 686 0 0 25 0 1 0 22133463 107036672 20364 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 26132 20364 364 364 0 25768 0
[pid=9233] vsize: 104528
Current children cumulated CPU time (s) 887.15
Current children cumulated vsize (Kb) 104528

[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29768 0 0 0 88999 695 0 0 25 0 1 0 22133463 107184128 20470 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26168 20470 364 364 0 25804 0
[pid=9233] vsize: 104672
Current children cumulated CPU time (s) 896.94
Current children cumulated vsize (Kb) 104672

[startup+920.03 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29841 0 0 0 89977 703 0 0 25 0 1 0 22133463 107380736 20543 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26216 20543 364 364 0 25852 0
[pid=9233] vsize: 104864
Current children cumulated CPU time (s) 906.8
Current children cumulated vsize (Kb) 104864

[startup+930.03 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29956 0 0 0 90966 708 0 0 25 0 1 0 22133463 107380736 20658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26216 20658 364 364 0 25852 0
[pid=9233] vsize: 104864
Current children cumulated CPU time (s) 916.74
Current children cumulated vsize (Kb) 104864

[startup+940.03 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30337 0 0 0 91949 714 0 0 25 0 1 0 22133463 107577344 20748 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26264 20748 364 364 0 25900 0
[pid=9233] vsize: 105056
Current children cumulated CPU time (s) 926.63
Current children cumulated vsize (Kb) 105056

[startup+950.03 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30406 0 0 0 92925 722 0 0 25 0 1 0 22133463 107577344 20817 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 26264 20817 364 364 0 25900 0
[pid=9233] vsize: 105056
Current children cumulated CPU time (s) 936.47
Current children cumulated vsize (Kb) 105056

[startup+960.03 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30496 0 0 0 93909 728 0 0 25 0 1 0 22133463 107577344 20907 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26264 20907 364 364 0 25900 0
[pid=9233] vsize: 105056
Current children cumulated CPU time (s) 946.37
Current children cumulated vsize (Kb) 105056

[startup+970.03 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30597 0 0 0 94897 732 0 0 25 0 1 0 22133463 107577344 21008 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26264 21008 364 364 0 25900 0
[pid=9233] vsize: 105056
Current children cumulated CPU time (s) 956.29
Current children cumulated vsize (Kb) 105056

[startup+980.031 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30684 0 0 0 95876 739 0 0 25 0 1 0 22133463 107773952 21095 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26312 21095 364 364 0 25948 0
[pid=9233] vsize: 105248
Current children cumulated CPU time (s) 966.15
Current children cumulated vsize (Kb) 105248

[startup+990.031 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30783 0 0 0 96862 744 0 0 25 0 1 0 22133463 107773952 21194 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26312 21194 364 364 0 25948 0
[pid=9233] vsize: 105248
Current children cumulated CPU time (s) 976.06
Current children cumulated vsize (Kb) 105248

[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30874 0 0 0 97845 751 0 0 25 0 1 0 22133463 107937792 21285 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26352 21285 364 364 0 25988 0
[pid=9233] vsize: 105408
Current children cumulated CPU time (s) 985.96
Current children cumulated vsize (Kb) 105408

[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30994 0 0 0 98828 756 0 0 25 0 1 0 22133463 108072960 21405 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26385 21405 364 364 0 26021 0
[pid=9233] vsize: 105540
Current children cumulated CPU time (s) 995.84
Current children cumulated vsize (Kb) 105540

[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31110 0 0 0 99818 760 0 0 25 0 1 0 22133463 108072960 21521 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26385 21521 364 364 0 26021 0
[pid=9233] vsize: 105540
Current children cumulated CPU time (s) 1005.78
Current children cumulated vsize (Kb) 105540

[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31458 0 0 0 100797 767 0 0 25 0 1 0 22133463 108269568 21578 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26433 21578 364 364 0 26069 0
[pid=9233] vsize: 105732
Current children cumulated CPU time (s) 1015.64
Current children cumulated vsize (Kb) 105732

[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31542 0 0 0 101777 774 0 0 25 0 1 0 22133463 108269568 21662 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26433 21662 364 364 0 26069 0
[pid=9233] vsize: 105732
Current children cumulated CPU time (s) 1025.51
Current children cumulated vsize (Kb) 105732

[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31652 0 0 0 102759 781 0 0 25 0 1 0 22133463 108412928 21772 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26468 21772 364 364 0 26104 0
[pid=9233] vsize: 105872
Current children cumulated CPU time (s) 1035.4
Current children cumulated vsize (Kb) 105872

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31795 0 0 0 103742 786 0 0 25 0 1 0 22133463 108609536 21915 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26516 21915 364 364 0 26152 0
[pid=9233] vsize: 106064
Current children cumulated CPU time (s) 1045.28
Current children cumulated vsize (Kb) 106064

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31876 0 0 0 104714 795 0 0 25 0 1 0 22133463 108609536 21996 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26516 21996 364 364 0 26152 0
[pid=9233] vsize: 106064
Current children cumulated CPU time (s) 1055.09
Current children cumulated vsize (Kb) 106064

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31956 0 0 0 105694 803 0 0 25 0 1 0 22133463 108806144 22076 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26564 22076 364 364 0 26200 0
[pid=9233] vsize: 106256
Current children cumulated CPU time (s) 1064.97
Current children cumulated vsize (Kb) 106256

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 32062 0 0 0 106673 810 0 0 25 0 1 0 22133463 108806144 22182 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26564 22182 364 364 0 26200 0
[pid=9233] vsize: 106256
Current children cumulated CPU time (s) 1074.83
Current children cumulated vsize (Kb) 106256

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 32222 0 0 0 107654 817 0 0 25 0 1 0 22133463 109076480 22342 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 26630 22342 364 364 0 26266 0
[pid=9233] vsize: 106520
Current children cumulated CPU time (s) 1084.71
Current children cumulated vsize (Kb) 106520

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35371 0 0 0 108633 829 0 0 25 0 1 0 22133463 121659392 22418 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29702 22418 364 364 0 29338 0
[pid=9233] vsize: 118808
Current children cumulated CPU time (s) 1094.62
Current children cumulated vsize (Kb) 118808

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35439 0 0 0 109615 835 0 0 25 0 1 0 22133463 121659392 22486 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29702 22486 364 364 0 29338 0
[pid=9233] vsize: 118808
Current children cumulated CPU time (s) 1104.5
Current children cumulated vsize (Kb) 118808

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35776 0 0 0 110602 839 0 0 25 0 1 0 22133463 121823232 22532 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29742 22532 364 364 0 29378 0
[pid=9233] vsize: 118968
Current children cumulated CPU time (s) 1114.41
Current children cumulated vsize (Kb) 118968

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35805 0 0 0 111578 847 0 0 25 0 1 0 22133463 121823232 22561 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29742 22561 364 364 0 29378 0
[pid=9233] vsize: 118968
Current children cumulated CPU time (s) 1124.25
Current children cumulated vsize (Kb) 118968

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35844 0 0 0 112547 857 0 0 25 0 1 0 22133463 122126336 22600 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29816 22600 364 364 0 29452 0
[pid=9233] vsize: 119264
Current children cumulated CPU time (s) 1134.04
Current children cumulated vsize (Kb) 119264

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35867 0 0 0 113526 865 0 0 25 0 1 0 22133463 122126336 22623 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29816 22623 364 364 0 29452 0
[pid=9233] vsize: 119264
Current children cumulated CPU time (s) 1143.91
Current children cumulated vsize (Kb) 119264

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35890 0 0 0 114508 871 0 0 25 0 1 0 22133463 122306560 22646 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29860 22646 364 364 0 29496 0
[pid=9233] vsize: 119440
Current children cumulated CPU time (s) 1153.79
Current children cumulated vsize (Kb) 119440

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36202 0 0 0 115495 876 0 0 25 0 1 0 22133463 122306560 22667 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29860 22667 364 364 0 29496 0
[pid=9233] vsize: 119440
Current children cumulated CPU time (s) 1163.71
Current children cumulated vsize (Kb) 119440

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36205 0 0 0 116481 881 0 0 25 0 1 0 22133463 122306560 22670 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29860 22670 364 364 0 29496 0
[pid=9233] vsize: 119440
Current children cumulated CPU time (s) 1173.62
Current children cumulated vsize (Kb) 119440

[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36498 0 0 0 117470 886 0 0 25 0 1 0 22133463 122306560 22672 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 29860 22672 364 364 0 29496 0
[pid=9233] vsize: 119440
Current children cumulated CPU time (s) 1183.56
Current children cumulated vsize (Kb) 119440

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36526 0 0 0 118437 897 0 0 25 0 1 0 22133463 122503168 22700 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29908 22700 364 364 0 29544 0
[pid=9233] vsize: 119632
Current children cumulated CPU time (s) 1193.34
Current children cumulated vsize (Kb) 119632

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36547 0 0 0 119419 904 0 0 25 0 1 0 22133463 122503168 22721 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29908 22721 364 364 0 29544 0
[pid=9233] vsize: 119632
Current children cumulated CPU time (s) 1203.23
Current children cumulated vsize (Kb) 119632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36547 0 0 0 119419 904 0 0 25 0 1 0 22133463 122503168 22721 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 29908 22721 364 364 0 29544 0
[pid=9233] vsize: 119632
Current children cumulated CPU time (s) 1203.23
Current children cumulated vsize (Kb) 119632

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

Child status: 0
Real time (s): 1220.3
CPU time (s): 1203.49
CPU user time (s): 1194.41
CPU system time (s): 9.08662
CPU usage (%): 98.6224
Max. virtual memory (cumulated for all children) (Kb): 119632

Verifier Data

ERROR: no interpretation found !