Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUMb74fb9cd57e8b4068255c4ac98aa23ca
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3432
Optimality of the best value was proved NO
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 416734
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.05
Number of variables5932
Total number of constraints1321
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint1
Maximum length of a constraint453

Trace number 10438

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 18:01:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9143 boxname=wulflinc14 idbench=939 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 9143
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
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:        982080 kB
Buffers:          2796 kB
Cached:          32428 kB
SwapCached:          0 kB
Active:          17280 kB
Inactive:        20892 kB
HighTotal:      131008 kB
HighFree:        94360 kB
LowTotal:       903652 kB
LowFree:        887720 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8748 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:21:27 (client local time) WITH STATUS 0 IN 1209.8 SECONDS
stats: 9143 7 1209.8 0

Solver Data

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

c Decision: 4713/812824	Time: 537.274/86400
c Decision: 5297/812824	Time: 1110.01/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/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22185275 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 373 2 364 364 0 9 0
[pid=9906] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-aflow30a.opb

[startup+10.0028 s]
Raw data (loadavg): 0.92 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 28525 0 0 0 929 69 0 0 25 0 1 0 22185275 81252352 17362 4294967295 134512640 135987407 3221224560 3221221540 134562648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 19837 17362 364 364 0 19473 0
[pid=9906] vsize: 79348
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 79348

[startup+20.0034 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 57118 0 0 0 1862 135 0 0 25 0 1 0 22185275 158695424 34704 4294967295 134512640 135987407 3221224560 3221199392 134878060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 38744 34704 364 364 0 38380 0
[pid=9906] vsize: 154976
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 154976

[startup+30.0031 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 97108 0 0 0 2769 226 0 0 25 0 1 0 22185275 308850688 52481 4294967295 134512640 135987407 3221224560 3221182716 134636908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 75403 52481 364 364 0 75039 0
[pid=9906] vsize: 301612
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 301612

[startup+40.0038 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 110387 0 0 0 3735 258 0 0 25 0 1 0 22185275 327675904 63781 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 79999 63781 364 364 0 79635 0
[pid=9906] vsize: 319996
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 319996

[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 113013 0 0 0 4727 263 0 0 25 0 1 0 22185275 339312640 65782 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 82840 65782 364 364 0 82476 0
[pid=9906] vsize: 331360
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 331360

[startup+60.0051 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 115028 0 0 0 5719 268 0 0 25 0 1 0 22185275 347344896 67183 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 84801 67183 364 364 0 84437 0
[pid=9906] vsize: 339204
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 339204

[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 116334 0 0 0 6713 271 0 0 25 0 1 0 22185275 352264192 67961 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 86002 67961 364 364 0 85638 0
[pid=9906] vsize: 344008
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 344008

[startup+80.0064 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 117100 0 0 0 7709 274 0 0 25 0 1 0 22185275 355233792 68529 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 86727 68529 364 364 0 86363 0
[pid=9906] vsize: 346908
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 346908

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.96 0.94 1/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) T 9905 9906 4060 0 -1 0 118119 0 0 0 8705 276 0 0 25 0 1 0 22185275 358686720 69074 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9906/statm): 87570 69074 364 364 0 87206 0
[pid=9906] vsize: 350280
Current children cumulated CPU time (s) 89.81
Current children cumulated vsize (Kb) 350280

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 118547 0 0 0 9702 278 0 0 25 0 1 0 22185275 360312832 69331 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 87967 69331 364 364 0 87603 0
[pid=9906] vsize: 351868
Current children cumulated CPU time (s) 99.8
Current children cumulated vsize (Kb) 351868

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 118803 0 0 0 10699 280 0 0 25 0 1 0 22185275 361009152 69459 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 88137 69459 364 364 0 87773 0
[pid=9906] vsize: 352548
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 352548

[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 119135 0 0 0 11696 281 0 0 25 0 1 0 22185275 362196992 69593 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 88427 69593 364 364 0 88063 0
[pid=9906] vsize: 353708
Current children cumulated CPU time (s) 119.77
Current children cumulated vsize (Kb) 353708

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 119322 0 0 0 12695 282 0 0 25 0 1 0 22185275 362995712 69714 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 88622 69714 364 364 0 88258 0
[pid=9906] vsize: 354488
Current children cumulated CPU time (s) 129.77
Current children cumulated vsize (Kb) 354488

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 119656 0 0 0 13692 283 0 0 25 0 1 0 22185275 364056576 69917 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 88881 69917 364 364 0 88517 0
[pid=9906] vsize: 355524
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 355524

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 120862 0 0 0 14686 286 0 0 25 0 1 0 22185275 368734208 70729 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 90023 70729 364 364 0 89659 0
[pid=9906] vsize: 360092
Current children cumulated CPU time (s) 149.72
Current children cumulated vsize (Kb) 360092

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 121022 0 0 0 15684 287 0 0 25 0 1 0 22185275 369262592 70790 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 90152 70790 364 364 0 89788 0
[pid=9906] vsize: 360608
Current children cumulated CPU time (s) 159.71
Current children cumulated vsize (Kb) 360608

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 121224 0 0 0 16682 289 0 0 25 0 1 0 22185275 369926144 70893 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 90314 70893 364 364 0 89950 0
[pid=9906] vsize: 361256
Current children cumulated CPU time (s) 169.71
Current children cumulated vsize (Kb) 361256

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 122112 0 0 0 17677 291 0 0 25 0 1 0 22185275 373391360 71469 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 91160 71469 364 364 0 90796 0
[pid=9906] vsize: 364640
Current children cumulated CPU time (s) 179.68
Current children cumulated vsize (Kb) 364640

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 122564 0 0 0 18674 293 0 0 25 0 1 0 22185275 374444032 71691 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 91417 71691 364 364 0 91053 0
[pid=9906] vsize: 365668
Current children cumulated CPU time (s) 189.67
Current children cumulated vsize (Kb) 365668

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 122734 0 0 0 19671 294 0 0 25 0 1 0 22185275 375238656 71795 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 91611 71795 364 364 0 91247 0
[pid=9906] vsize: 366444
Current children cumulated CPU time (s) 199.65
Current children cumulated vsize (Kb) 366444

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 122797 0 0 0 20670 295 0 0 25 0 1 0 22185275 375369728 71825 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 91643 71825 364 364 0 91279 0
[pid=9906] vsize: 366572
Current children cumulated CPU time (s) 209.65
Current children cumulated vsize (Kb) 366572

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 123232 0 0 0 21665 297 0 0 25 0 1 0 22185275 377028608 72072 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92048 72072 364 364 0 91684 0
[pid=9906] vsize: 368192
Current children cumulated CPU time (s) 219.62
Current children cumulated vsize (Kb) 368192

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9908
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 123397 0 0 0 22662 299 0 0 25 0 1 0 22185275 377692160 72171 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92210 72171 364 364 0 91846 0
[pid=9906] vsize: 368840
Current children cumulated CPU time (s) 229.61
Current children cumulated vsize (Kb) 368840

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 123550 0 0 0 23659 300 0 0 25 0 1 0 22185275 378085376 72226 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92306 72226 364 364 0 91942 0
[pid=9906] vsize: 369224
Current children cumulated CPU time (s) 239.59
Current children cumulated vsize (Kb) 369224

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 123776 0 0 0 24657 301 0 0 25 0 1 0 22185275 378609664 72321 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92434 72321 364 364 0 92070 0
[pid=9906] vsize: 369736
Current children cumulated CPU time (s) 249.58
Current children cumulated vsize (Kb) 369736

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 123863 0 0 0 25655 301 0 0 25 0 1 0 22185275 379006976 72375 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92531 72375 364 364 0 92167 0
[pid=9906] vsize: 370124
Current children cumulated CPU time (s) 259.56
Current children cumulated vsize (Kb) 370124

[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124126 0 0 0 26653 303 0 0 25 0 1 0 22185275 379932672 72540 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92757 72540 364 364 0 92393 0
[pid=9906] vsize: 371028
Current children cumulated CPU time (s) 269.56
Current children cumulated vsize (Kb) 371028

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124202 0 0 0 27650 303 0 0 25 0 1 0 22185275 380063744 72583 4294967295 134512640 135987407 3221224560 3221223248 134811787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92789 72583 364 364 0 92425 0
[pid=9906] vsize: 371156
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (Kb) 371156

[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124413 0 0 0 28648 305 0 0 25 0 1 0 22185275 380596224 72728 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92919 72728 364 364 0 92555 0
[pid=9906] vsize: 371676
Current children cumulated CPU time (s) 289.53
Current children cumulated vsize (Kb) 371676

[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124435 0 0 0 29646 305 0 0 25 0 1 0 22185275 380596224 72750 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92919 72750 364 364 0 92555 0
[pid=9906] vsize: 371676
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (Kb) 371676

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124491 0 0 0 30642 307 0 0 25 0 1 0 22185275 380727296 72773 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 92951 72773 364 364 0 92587 0
[pid=9906] vsize: 371804
Current children cumulated CPU time (s) 309.49
Current children cumulated vsize (Kb) 371804

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124667 0 0 0 31640 308 0 0 25 0 1 0 22185275 381251584 72819 4294967295 134512640 135987407 3221224560 3221223424 134812752 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93079 72819 364 364 0 92715 0
[pid=9906] vsize: 372316
Current children cumulated CPU time (s) 319.48
Current children cumulated vsize (Kb) 372316

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124828 0 0 0 32637 310 0 0 25 0 1 0 22185275 381644800 72882 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93175 72882 364 364 0 92811 0
[pid=9906] vsize: 372700
Current children cumulated CPU time (s) 329.47
Current children cumulated vsize (Kb) 372700

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124957 0 0 0 33634 311 0 0 25 0 1 0 22185275 381775872 72978 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93207 72978 364 364 0 92843 0
[pid=9906] vsize: 372828
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (Kb) 372828

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 124998 0 0 0 34632 312 0 0 25 0 1 0 22185275 381775872 73019 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93207 73019 364 364 0 92843 0
[pid=9906] vsize: 372828
Current children cumulated CPU time (s) 349.44
Current children cumulated vsize (Kb) 372828

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125077 0 0 0 35630 313 0 0 25 0 1 0 22185275 382042112 73065 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93272 73065 364 364 0 92908 0
[pid=9906] vsize: 373088
Current children cumulated CPU time (s) 359.43
Current children cumulated vsize (Kb) 373088

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125143 0 0 0 36628 314 0 0 25 0 1 0 22185275 382308352 73131 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93337 73131 364 364 0 92973 0
[pid=9906] vsize: 373348
Current children cumulated CPU time (s) 369.42
Current children cumulated vsize (Kb) 373348

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125268 0 0 0 37625 315 0 0 25 0 1 0 22185275 382701568 73157 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93433 73157 364 364 0 93069 0
[pid=9906] vsize: 373732
Current children cumulated CPU time (s) 379.4
Current children cumulated vsize (Kb) 373732

[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125399 0 0 0 38622 316 0 0 25 0 1 0 22185275 383094784 73189 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93529 73189 364 364 0 93165 0
[pid=9906] vsize: 374116
Current children cumulated CPU time (s) 389.38
Current children cumulated vsize (Kb) 374116

[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125658 0 0 0 39620 317 0 0 25 0 1 0 22185275 383619072 73318 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93657 73318 364 364 0 93293 0
[pid=9906] vsize: 374628
Current children cumulated CPU time (s) 399.37
Current children cumulated vsize (Kb) 374628

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125693 0 0 0 40618 318 0 0 25 0 1 0 22185275 383619072 73353 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93657 73353 364 364 0 93293 0
[pid=9906] vsize: 374628
Current children cumulated CPU time (s) 409.36
Current children cumulated vsize (Kb) 374628

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125700 0 0 0 41616 319 0 0 25 0 1 0 22185275 383619072 73360 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93657 73360 364 364 0 93293 0
[pid=9906] vsize: 374628
Current children cumulated CPU time (s) 419.35
Current children cumulated vsize (Kb) 374628

[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125715 0 0 0 42614 320 0 0 25 0 1 0 22185275 383619072 73375 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93657 73375 364 364 0 93293 0
[pid=9906] vsize: 374628
Current children cumulated CPU time (s) 429.34
Current children cumulated vsize (Kb) 374628

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125759 0 0 0 43612 321 0 0 25 0 1 0 22185275 383750144 73386 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93689 73386 364 364 0 93325 0
[pid=9906] vsize: 374756
Current children cumulated CPU time (s) 439.33
Current children cumulated vsize (Kb) 374756

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125772 0 0 0 44611 321 0 0 25 0 1 0 22185275 383750144 73399 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93689 73399 364 364 0 93325 0
[pid=9906] vsize: 374756
Current children cumulated CPU time (s) 449.32
Current children cumulated vsize (Kb) 374756

[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125811 0 0 0 45610 322 0 0 25 0 1 0 22185275 383881216 73405 4294967295 134512640 135987407 3221224560 3221223124 134788513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 93721 73405 364 364 0 93357 0
[pid=9906] vsize: 374884
Current children cumulated CPU time (s) 459.32
Current children cumulated vsize (Kb) 374884

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125819 0 0 0 46608 322 0 0 25 0 1 0 22185275 383881216 73413 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93721 73413 364 364 0 93357 0
[pid=9906] vsize: 374884
Current children cumulated CPU time (s) 469.3
Current children cumulated vsize (Kb) 374884

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 125989 0 0 0 47605 324 0 0 25 0 1 0 22185275 384274432 73485 4294967295 134512640 135987407 3221224560 3221223248 134811747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93817 73485 364 364 0 93453 0
[pid=9906] vsize: 375268
Current children cumulated CPU time (s) 479.29
Current children cumulated vsize (Kb) 375268

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126080 0 0 0 48603 325 0 0 25 0 1 0 22185275 384405504 73543 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93849 73543 364 364 0 93485 0
[pid=9906] vsize: 375396
Current children cumulated CPU time (s) 489.28
Current children cumulated vsize (Kb) 375396

[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126191 0 0 0 49601 325 0 0 25 0 1 0 22185275 384667648 73589 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93913 73589 364 364 0 93549 0
[pid=9906] vsize: 375652
Current children cumulated CPU time (s) 499.26
Current children cumulated vsize (Kb) 375652

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) T 9905 9906 4060 0 -1 0 126209 0 0 0 50597 327 0 0 25 0 1 0 22185275 384667648 73607 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93913 73607 364 364 0 93549 0
[pid=9906] vsize: 375652
Current children cumulated CPU time (s) 509.24
Current children cumulated vsize (Kb) 375652

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126270 0 0 0 51596 328 0 0 25 0 1 0 22185275 384798720 73635 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93945 73635 364 364 0 93581 0
[pid=9906] vsize: 375780
Current children cumulated CPU time (s) 519.24
Current children cumulated vsize (Kb) 375780

[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126272 0 0 0 52594 328 0 0 25 0 1 0 22185275 384798720 73637 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 93945 73637 364 364 0 93581 0
[pid=9906] vsize: 375780
Current children cumulated CPU time (s) 529.22
Current children cumulated vsize (Kb) 375780

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126381 0 0 0 53592 329 0 0 25 0 1 0 22185275 385060864 73681 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94009 73681 364 364 0 93645 0
[pid=9906] vsize: 376036
Current children cumulated CPU time (s) 539.21
Current children cumulated vsize (Kb) 376036

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126394 0 0 0 54590 330 0 0 25 0 1 0 22185275 385060864 73694 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94009 73694 364 364 0 93645 0
[pid=9906] vsize: 376036
Current children cumulated CPU time (s) 549.2
Current children cumulated vsize (Kb) 376036

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 126415 0 0 0 55588 330 0 0 25 0 1 0 22185275 385060864 73715 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94009 73715 364 364 0 93645 0
[pid=9906] vsize: 376036
Current children cumulated CPU time (s) 559.18
Current children cumulated vsize (Kb) 376036

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128019 0 0 0 56583 335 0 0 25 0 1 0 22185275 385060864 73731 4294967295 134512640 135987407 3221224560 3221223376 134876929 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94009 73731 364 364 0 93645 0
[pid=9906] vsize: 376036
Current children cumulated CPU time (s) 569.18
Current children cumulated vsize (Kb) 376036

[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128138 0 0 0 57581 336 0 0 25 0 1 0 22185275 385323008 73785 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73785 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 579.17
Current children cumulated vsize (Kb) 376292

[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128152 0 0 0 58579 337 0 0 25 0 1 0 22185275 385323008 73799 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73799 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 589.16
Current children cumulated vsize (Kb) 376292

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128156 0 0 0 59578 337 0 0 25 0 1 0 22185275 385323008 73803 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73803 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 599.15
Current children cumulated vsize (Kb) 376292

[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128160 0 0 0 60576 338 0 0 25 0 1 0 22185275 385323008 73807 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73807 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 609.14
Current children cumulated vsize (Kb) 376292

[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128174 0 0 0 61574 339 0 0 25 0 1 0 22185275 385323008 73821 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73821 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 619.13
Current children cumulated vsize (Kb) 376292

[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128183 0 0 0 62573 340 0 0 25 0 1 0 22185275 385323008 73830 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94073 73830 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 629.13
Current children cumulated vsize (Kb) 376292

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128206 0 0 0 63571 340 0 0 25 0 1 0 22185275 385323008 73853 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94073 73853 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (Kb) 376292

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128206 0 0 0 64569 341 0 0 25 0 1 0 22185275 385323008 73853 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94073 73853 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 649.1
Current children cumulated vsize (Kb) 376292

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128242 0 0 0 65567 342 0 0 25 0 1 0 22185275 385323008 73889 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94073 73889 364 364 0 93709 0
[pid=9906] vsize: 376292
Current children cumulated CPU time (s) 659.09
Current children cumulated vsize (Kb) 376292

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128315 0 0 0 66564 343 0 0 25 0 1 0 22185275 385589248 73962 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73962 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 669.07
Current children cumulated vsize (Kb) 376552

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128315 0 0 0 67561 344 0 0 25 0 1 0 22185275 385589248 73962 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73962 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 679.05
Current children cumulated vsize (Kb) 376552

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128322 0 0 0 68560 345 0 0 25 0 1 0 22185275 385589248 73969 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73969 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 689.05
Current children cumulated vsize (Kb) 376552

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128324 0 0 0 69558 345 0 0 25 0 1 0 22185275 385589248 73971 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73971 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 699.03
Current children cumulated vsize (Kb) 376552

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128343 0 0 0 70554 347 0 0 25 0 1 0 22185275 385589248 73990 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73990 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 709.01
Current children cumulated vsize (Kb) 376552

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128352 0 0 0 71551 348 0 0 25 0 1 0 22185275 385589248 73999 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73999 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 718.99
Current children cumulated vsize (Kb) 376552

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128352 0 0 0 72549 349 0 0 25 0 1 0 22185275 385589248 73999 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 73999 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 728.98
Current children cumulated vsize (Kb) 376552

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128353 0 0 0 73548 350 0 0 25 0 1 0 22185275 385589248 74000 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74000 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 738.98
Current children cumulated vsize (Kb) 376552

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128353 0 0 0 74546 351 0 0 25 0 1 0 22185275 385589248 74000 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74000 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 748.97
Current children cumulated vsize (Kb) 376552

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128362 0 0 0 75545 351 0 0 25 0 1 0 22185275 385589248 74009 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74009 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 758.96
Current children cumulated vsize (Kb) 376552

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128389 0 0 0 76543 352 0 0 25 0 1 0 22185275 385589248 74036 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74036 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 768.95
Current children cumulated vsize (Kb) 376552

[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128406 0 0 0 77542 352 0 0 25 0 1 0 22185275 385589248 74053 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74053 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 778.94
Current children cumulated vsize (Kb) 376552

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128416 0 0 0 78540 353 0 0 25 0 1 0 22185275 385589248 74063 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94138 74063 364 364 0 93774 0
[pid=9906] vsize: 376552
Current children cumulated CPU time (s) 788.93
Current children cumulated vsize (Kb) 376552

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128503 0 0 0 79538 354 0 0 25 0 1 0 22185275 385851392 74085 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74085 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 798.92
Current children cumulated vsize (Kb) 376808

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128505 0 0 0 80536 355 0 0 25 0 1 0 22185275 385851392 74087 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74087 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 808.91
Current children cumulated vsize (Kb) 376808

[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128526 0 0 0 81534 356 0 0 25 0 1 0 22185275 385851392 74108 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74108 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 818.9
Current children cumulated vsize (Kb) 376808

[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128567 0 0 0 82531 357 0 0 25 0 1 0 22185275 385851392 74149 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74149 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 828.88
Current children cumulated vsize (Kb) 376808

[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128569 0 0 0 83529 358 0 0 25 0 1 0 22185275 385851392 74151 4294967295 134512640 135987407 3221224560 3221223344 134812328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74151 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 838.87
Current children cumulated vsize (Kb) 376808

[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128583 0 0 0 84527 358 0 0 25 0 1 0 22185275 385851392 74165 4294967295 134512640 135987407 3221224560 3221223380 135479993 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74165 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 848.85
Current children cumulated vsize (Kb) 376808

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128586 0 0 0 85526 359 0 0 25 0 1 0 22185275 385851392 74168 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74168 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 858.85
Current children cumulated vsize (Kb) 376808

[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128610 0 0 0 86523 360 0 0 25 0 1 0 22185275 385851392 74192 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74192 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 868.83
Current children cumulated vsize (Kb) 376808

[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128612 0 0 0 87520 361 0 0 25 0 1 0 22185275 385851392 74194 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74194 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 878.81
Current children cumulated vsize (Kb) 376808

[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128614 0 0 0 88518 362 0 0 25 0 1 0 22185275 385851392 74196 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94202 74196 364 364 0 93838 0
[pid=9906] vsize: 376808
Current children cumulated CPU time (s) 888.8
Current children cumulated vsize (Kb) 376808

[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128726 0 0 0 89516 363 0 0 25 0 1 0 22185275 386113536 74243 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94266 74243 364 364 0 93902 0
[pid=9906] vsize: 377064
Current children cumulated CPU time (s) 898.79
Current children cumulated vsize (Kb) 377064

[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128731 0 0 0 90514 363 0 0 25 0 1 0 22185275 386113536 74248 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94266 74248 364 364 0 93902 0
[pid=9906] vsize: 377064
Current children cumulated CPU time (s) 908.77
Current children cumulated vsize (Kb) 377064

[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128742 0 0 0 91512 364 0 0 25 0 1 0 22185275 386248704 74259 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94299 74259 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 918.76
Current children cumulated vsize (Kb) 377196

[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128748 0 0 0 92510 365 0 0 25 0 1 0 22185275 386248704 74265 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94299 74265 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 928.75
Current children cumulated vsize (Kb) 377196

[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128750 0 0 0 93508 366 0 0 25 0 1 0 22185275 386248704 74267 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94299 74267 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 938.74
Current children cumulated vsize (Kb) 377196

[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128760 0 0 0 94506 367 0 0 25 0 1 0 22185275 386248704 74277 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94299 74277 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 948.73
Current children cumulated vsize (Kb) 377196

[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128762 0 0 0 95504 368 0 0 25 0 1 0 22185275 386248704 74279 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94299 74279 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 958.72
Current children cumulated vsize (Kb) 377196

[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128766 0 0 0 96502 369 0 0 25 0 1 0 22185275 386248704 74283 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94299 74283 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 968.71
Current children cumulated vsize (Kb) 377196

[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128778 0 0 0 97500 370 0 0 25 0 1 0 22185275 386248704 74295 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94299 74295 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 978.7
Current children cumulated vsize (Kb) 377196

[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128792 0 0 0 98498 371 0 0 25 0 1 0 22185275 386248704 74309 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94299 74309 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 988.69
Current children cumulated vsize (Kb) 377196

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 128803 0 0 0 99496 372 0 0 25 0 1 0 22185275 386248704 74320 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94299 74320 364 364 0 93935 0
[pid=9906] vsize: 377196
Current children cumulated CPU time (s) 998.68
Current children cumulated vsize (Kb) 377196

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129187 0 0 0 100494 373 0 0 25 0 1 0 22185275 387297280 74445 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 94555 74445 364 364 0 94191 0
[pid=9906] vsize: 378220
Current children cumulated CPU time (s) 1008.67
Current children cumulated vsize (Kb) 378220

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129451 0 0 0 101491 375 0 0 25 0 1 0 22185275 387821568 74580 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94683 74580 364 364 0 94319 0
[pid=9906] vsize: 378732
Current children cumulated CPU time (s) 1018.66
Current children cumulated vsize (Kb) 378732

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129454 0 0 0 102489 376 0 0 25 0 1 0 22185275 387821568 74583 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94683 74583 364 364 0 94319 0
[pid=9906] vsize: 378732
Current children cumulated CPU time (s) 1028.65
Current children cumulated vsize (Kb) 378732

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129566 0 0 0 103487 377 0 0 25 0 1 0 22185275 388083712 74630 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94747 74630 364 364 0 94383 0
[pid=9906] vsize: 378988
Current children cumulated CPU time (s) 1038.64
Current children cumulated vsize (Kb) 378988

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129587 0 0 0 104485 378 0 0 25 0 1 0 22185275 388083712 74651 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94747 74651 364 364 0 94383 0
[pid=9906] vsize: 378988
Current children cumulated CPU time (s) 1048.63
Current children cumulated vsize (Kb) 378988

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129590 0 0 0 105483 378 0 0 25 0 1 0 22185275 388083712 74654 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94747 74654 364 364 0 94383 0
[pid=9906] vsize: 378988
Current children cumulated CPU time (s) 1058.61
Current children cumulated vsize (Kb) 378988

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129682 0 0 0 106481 379 0 0 25 0 1 0 22185275 388345856 74681 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 94811 74681 364 364 0 94447 0
[pid=9906] vsize: 379244
Current children cumulated CPU time (s) 1068.6
Current children cumulated vsize (Kb) 379244

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129965 0 0 0 107477 381 0 0 25 0 1 0 22185275 389132288 74770 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95003 74770 364 364 0 94639 0
[pid=9906] vsize: 380012
Current children cumulated CPU time (s) 1078.58
Current children cumulated vsize (Kb) 380012

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 129968 0 0 0 108475 382 0 0 25 0 1 0 22185275 389132288 74773 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95003 74773 364 364 0 94639 0
[pid=9906] vsize: 380012
Current children cumulated CPU time (s) 1088.57
Current children cumulated vsize (Kb) 380012

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 130043 0 0 0 109473 383 0 0 25 0 1 0 22185275 389394432 74783 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95067 74783 364 364 0 94703 0
[pid=9906] vsize: 380268
Current children cumulated CPU time (s) 1098.56
Current children cumulated vsize (Kb) 380268

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 130387 0 0 0 110469 384 0 0 25 0 1 0 22185275 390180864 74932 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95259 74932 364 364 0 94895 0
[pid=9906] vsize: 381036
Current children cumulated CPU time (s) 1108.53
Current children cumulated vsize (Kb) 381036

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 130704 0 0 0 111467 385 0 0 25 0 1 0 22185275 390967296 75054 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95451 75054 364 364 0 95087 0
[pid=9906] vsize: 381804
Current children cumulated CPU time (s) 1118.52
Current children cumulated vsize (Kb) 381804

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 130807 0 0 0 112464 387 0 0 25 0 1 0 22185275 391229440 75092 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95515 75092 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1128.51
Current children cumulated vsize (Kb) 382060

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 130809 0 0 0 113461 388 0 0 25 0 1 0 22185275 391229440 75094 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9906/statm): 95515 75094 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1138.49
Current children cumulated vsize (Kb) 382060

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132414 0 0 0 114455 393 0 0 25 0 1 0 22185275 391229440 75111 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75111 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1148.48
Current children cumulated vsize (Kb) 382060

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132418 0 0 0 115454 393 0 0 25 0 1 0 22185275 391229440 75115 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75115 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1158.47
Current children cumulated vsize (Kb) 382060

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132419 0 0 0 116452 394 0 0 25 0 1 0 22185275 391229440 75116 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75116 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1168.46
Current children cumulated vsize (Kb) 382060

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132421 0 0 0 117451 395 0 0 25 0 1 0 22185275 391229440 75118 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75118 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1178.46
Current children cumulated vsize (Kb) 382060

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132423 0 0 0 118448 396 0 0 25 0 1 0 22185275 391229440 75120 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75120 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1188.44
Current children cumulated vsize (Kb) 382060

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132451 0 0 0 119446 397 0 0 25 0 1 0 22185275 391229440 75148 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75148 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1198.43
Current children cumulated vsize (Kb) 382060

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132471 0 0 0 120444 398 0 0 25 0 1 0 22185275 391229440 75168 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75168 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1208.42
Current children cumulated vsize (Kb) 382060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9910
Raw data (/proc/9906/stat): 9906 (pb2sat) R 9905 9906 4060 0 -1 0 132471 0 0 0 120444 398 0 0 25 0 1 0 22185275 391229440 75168 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9906/statm): 95515 75168 364 364 0 95151 0
[pid=9906] vsize: 382060
Current children cumulated CPU time (s) 1208.42
Current children cumulated vsize (Kb) 382060

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

Child status: 0
Real time (s): 1211.41
CPU time (s): 1209.8
CPU user time (s): 1205.65
CPU system time (s): 4.14637
CPU usage (%): 99.8666
Max. virtual memory (cumulated for all children) (Kb): 382060

Verifier Data

ERROR: no interpretation found !