Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM56e0ae8659c33a6c7b55390a12db116b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 537600
Optimality of the best value was proved NO
Number of terms in the objective function 1160
Biggest coefficient in the objective function 196608
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 15892320
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 25600000000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 232836875088
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1249.24
Number of variables1260
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint1
Maximum length of a constraint127

Trace number 10047

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-23 16:22:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8743 boxname=wulflinc30 idbench=539 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  56e0ae8659c33a6c7b55390a12db116b  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 8743
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        940028 kB
Buffers:         12028 kB
Cached:          65696 kB
SwapCached:          0 kB
Active:          42972 kB
Inactive:        37700 kB
HighTotal:      131008 kB
HighFree:        61152 kB
LowTotal:       903652 kB
LowFree:        878876 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8360 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:42:39 (client local time) WITH STATUS 0 IN 1202.89 SECONDS
stats: 8743 7 1202.89 0

Solver Data

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

c Decision: 431/420586	Time: 55.6115/86400
c Decision: 431/420586	Time: 66.2709/86400
c Decision: 433/420586	Time: 84.5841/86400
c Decision: 436/420586	Time: 98.3251/86400
c Decision: 443/420586	Time: 116.098/86400
c Decision: 443/420586	Time: 127.379/86400
c Decision: 443/420586	Time: 137.276/86400
c Decision: 447/420586	Time: 155.713/86400
c Decision: 447/420586	Time: 165.112/86400
c Decision: 447/420586	Time: 175.701/86400
c Decision: 669/420586	Time: 208.353/86400
c Decision: 724/420586	Time: 229.003/86400
c Decision: 724/420586	Time: 238.995/86400
c Decision: 901/420586	Time: 251.488/86400
c Decision: 2540/420586	Time: 379.167/86400
c Decision: 2683/420586	Time: 463.023/86400
c Decision: 2691/420586	Time: 494.563/86400
c Decision: 2691/420586	Time: 506.69/86400
c Decision: 2691/420586	Time: 519.115/86400
c Decision: 2691/420586	Time: 531.021/86400
c Decision: 2691/420586	Time: 544.918/86400
c Decision: 2691/420586	Time: 557.04/86400
c Decision: 2691/420586	Time: 567.64/86400
c Decision: 2696/420586	Time: 582.578/86400
c Decision: 2701/420586	Time: 601.509/86400
c Decision: 2728/420586	Time: 623.755/86400
c Decision: 2728/420586	Time: 637.396/86400
c Decision: 2737/420586	Time: 658.292/86400
c Decision: 2768/420586	Time: 679.633/86400
c Decision: 2768/420586	Time: 692.663/86400
c Decision: 2768/420586	Time: 706.216/86400
c Decision: 2768/420586	Time: 716.815/86400
c Decision: 2768/420586	Time: 728.416/86400
c Decision: 2768/420586	Time: 742.062/86400
c Decision: 2769/420586	Time: 764.869/86400
c Decision: 2769/420586	Time: 779.876/86400
c Decision: 2769/420586	Time: 794.1/86400
c Decision: 2769/420586	Time: 808.169/86400
c Decision: 2769/420586	Time: 821.273/86400
c Decision: 2769/420586	Time: 835.065/86400
c Decision: 2769/420586	Time: 849.862/86400
c Decision: 2769/420586	Time: 862.602/86400
c Decision: 2769/420586	Time: 875.82/86400
c Decision: 2769/420586	Time: 888.007/86400
c Decision: 2769/420586	Time: 900.756/86400
c Decision: 2769/420586	Time: 914.761/86400
c Decision: 2769/420586	Time: 930.574/86400
c Decision: 2769/420586	Time: 945.591/86400
c Decision: 2769/420586	Time: 958.37/86400
c Decision: 2769/420586	Time: 971.919/86400
c Decision: 2769/420586	Time: 986.301/86400
c Decision: 2769/420586	Time: 999.861/86400
c Decision: 2769/420586	Time: 1012.09/86400
c Decision: 2769/420586	Time: 1025.57/86400
c Decision: 2769/420586	Time: 1039.44/86400
c Decision: 2769/420586	Time: 1054.48/86400
c Decision: 2837/420586	Time: 1070.53/86400
c Decision: 2837/420586	Time: 1083.25/86400
c Decision: 2837/420586	Time: 1099.89/86400
c Decision: 2837/420586	Time: 1115.06/86400
c Decision: 2837/420586	Time: 1131.19/86400
c Decision: 2837/420586	Time: 1145.24/86400
c Decision: 2837/420586	Time: 1158.07/86400
c Decision: 2837/420586	Time: 1171.6/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/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21553688 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 373 2 364 364 0 9 0
[pid=9555] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb

[startup+10.0013 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 28753 0 0 0 933 64 0 0 25 0 1 0 21553688 80723968 17582 4294967295 134512640 135987407 3221224560 3221203180 134669203 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 19708 17582 364 364 0 19344 0
[pid=9555] vsize: 78832
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78832

[startup+20.002 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 55977 0 0 0 1865 127 0 0 25 0 1 0 21553688 166264832 32803 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 40592 32803 364 364 0 40228 0
[pid=9555] vsize: 162368
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 162368

[startup+30.0029 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 56385 0 0 0 2833 139 0 0 25 0 1 0 21553688 167923712 33211 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 40997 33211 364 364 0 40633 0
[pid=9555] vsize: 163988
Current children cumulated CPU time (s) 29.72
Current children cumulated vsize (Kb) 163988

[startup+40.0036 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57031 0 0 0 3805 150 0 0 25 0 1 0 21553688 170721280 33857 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 41680 33857 364 364 0 41316 0
[pid=9555] vsize: 166720
Current children cumulated CPU time (s) 39.55
Current children cumulated vsize (Kb) 166720

[startup+50.0044 s]
Raw data (loadavg): 0.95 0.94 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 57528 0 0 0 4773 161 0 0 25 0 1 0 21553688 173019136 34354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42241 34354 364 364 0 41877 0
[pid=9555] vsize: 168964
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (Kb) 168964

[startup+60.0042 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57659 0 0 0 5739 173 0 0 25 0 1 0 21553688 173510656 34485 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42361 34485 364 364 0 41997 0
[pid=9555] vsize: 169444
Current children cumulated CPU time (s) 59.12
Current children cumulated vsize (Kb) 169444

[startup+70.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57732 0 0 0 6708 182 0 0 25 0 1 0 21553688 173871104 34558 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42449 34558 364 364 0 42085 0
[pid=9555] vsize: 169796
Current children cumulated CPU time (s) 68.9
Current children cumulated vsize (Kb) 169796

[startup+80.0058 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 58576 0 0 0 7683 193 0 0 25 0 1 0 21553688 173871104 34580 4294967295 134512640 135987407 3221224560 3221223136 134788861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42449 34580 364 364 0 42085 0
[pid=9555] vsize: 169796
Current children cumulated CPU time (s) 78.76
Current children cumulated vsize (Kb) 169796

[startup+90.0066 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 59426 0 0 0 8653 204 0 0 25 0 1 0 21553688 174034944 34608 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42489 34608 364 364 0 42125 0
[pid=9555] vsize: 169956
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 169956

[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 59461 0 0 0 9625 213 0 0 25 0 1 0 21553688 174034944 34643 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42489 34643 364 364 0 42125 0
[pid=9555] vsize: 169956
Current children cumulated CPU time (s) 98.38
Current children cumulated vsize (Kb) 169956

[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 60307 0 0 0 10598 223 0 0 25 0 1 0 21553688 174198784 34667 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42529 34667 364 364 0 42165 0
[pid=9555] vsize: 170116
Current children cumulated CPU time (s) 108.21
Current children cumulated vsize (Kb) 170116

[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 61156 0 0 0 11575 233 0 0 25 0 1 0 21553688 174198784 34694 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42529 34694 364 364 0 42165 0
[pid=9555] vsize: 170116
Current children cumulated CPU time (s) 118.08
Current children cumulated vsize (Kb) 170116

[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 61190 0 0 0 12549 242 0 0 25 0 1 0 21553688 174362624 34728 4294967295 134512640 135987407 3221224560 3221223400 134812771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42569 34728 364 364 0 42205 0
[pid=9555] vsize: 170276
Current children cumulated CPU time (s) 127.91
Current children cumulated vsize (Kb) 170276

[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 62023 0 0 0 13527 251 0 0 25 0 1 0 21553688 174362624 34739 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42569 34739 364 364 0 42205 0
[pid=9555] vsize: 170276
Current children cumulated CPU time (s) 137.78
Current children cumulated vsize (Kb) 170276

[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 62855 0 0 0 14510 258 0 0 25 0 1 0 21553688 174362624 34749 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42569 34749 364 364 0 42205 0
[pid=9555] vsize: 170276
Current children cumulated CPU time (s) 147.68
Current children cumulated vsize (Kb) 170276

[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 63690 0 0 0 15487 266 0 0 25 0 1 0 21553688 174362624 34762 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42569 34762 364 364 0 42205 0
[pid=9555] vsize: 170276
Current children cumulated CPU time (s) 157.53
Current children cumulated vsize (Kb) 170276

[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 63767 0 0 0 16464 273 0 0 25 0 1 0 21553688 174755840 34839 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42665 34839 364 364 0 42301 0
[pid=9555] vsize: 170660
Current children cumulated CPU time (s) 167.37
Current children cumulated vsize (Kb) 170660

[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 64616 0 0 0 17443 281 0 0 25 0 1 0 21553688 174755840 34866 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42665 34866 364 364 0 42301 0
[pid=9555] vsize: 170660
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (Kb) 170660

[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 65454 0 0 0 18424 289 0 0 25 0 1 0 21553688 174755840 34882 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42665 34882 364 364 0 42301 0
[pid=9555] vsize: 170660
Current children cumulated CPU time (s) 187.13
Current children cumulated vsize (Kb) 170660

[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66315 0 0 0 19405 296 0 0 25 0 1 0 21553688 174952448 34921 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42713 34921 364 364 0 42349 0
[pid=9555] vsize: 170852
Current children cumulated CPU time (s) 197.01
Current children cumulated vsize (Kb) 170852

[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66374 0 0 0 20384 304 0 0 25 0 1 0 21553688 175149056 34980 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42761 34980 364 364 0 42397 0
[pid=9555] vsize: 171044
Current children cumulated CPU time (s) 206.88
Current children cumulated vsize (Kb) 171044

[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66401 0 0 0 21367 309 0 0 25 0 1 0 21553688 175149056 35007 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42761 35007 364 364 0 42397 0
[pid=9555] vsize: 171044
Current children cumulated CPU time (s) 216.76
Current children cumulated vsize (Kb) 171044

[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 67254 0 0 0 22353 315 0 0 25 0 1 0 21553688 175149056 35038 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42761 35038 364 364 0 42397 0
[pid=9555] vsize: 171044
Current children cumulated CPU time (s) 226.68
Current children cumulated vsize (Kb) 171044

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 67270 0 0 0 23333 321 0 0 25 0 1 0 21553688 175345664 35054 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35054 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 236.54
Current children cumulated vsize (Kb) 171236

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68097 0 0 0 24312 329 0 0 25 0 1 0 21553688 175345664 35059 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35059 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 246.41
Current children cumulated vsize (Kb) 171236

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68937 0 0 0 25293 338 0 0 25 0 1 0 21553688 175345664 35077 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35077 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 256.31
Current children cumulated vsize (Kb) 171236

[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68971 0 0 0 26274 344 0 0 25 0 1 0 21553688 175345664 35111 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35111 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 266.18
Current children cumulated vsize (Kb) 171236

[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69818 0 0 0 27255 353 0 0 25 0 1 0 21553688 175345664 35136 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35136 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 276.08
Current children cumulated vsize (Kb) 171236

[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69847 0 0 0 28235 359 0 0 25 0 1 0 21553688 175345664 35165 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35165 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 285.94
Current children cumulated vsize (Kb) 171236

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69869 0 0 0 29215 366 0 0 25 0 1 0 21553688 175345664 35187 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35187 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 295.81
Current children cumulated vsize (Kb) 171236

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69889 0 0 0 30190 373 0 0 25 0 1 0 21553688 175345664 35207 4294967295 134512640 135987407 3221224560 3221223344 134812383 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35207 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 305.63
Current children cumulated vsize (Kb) 171236

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 69903 0 0 0 31160 383 0 0 25 0 1 0 21553688 175345664 35221 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42809 35221 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 315.43
Current children cumulated vsize (Kb) 171236

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69921 0 0 0 32132 390 0 0 25 0 1 0 21553688 175345664 35239 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42809 35239 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 325.22
Current children cumulated vsize (Kb) 171236

[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69941 0 0 0 33111 398 0 0 25 0 1 0 21553688 175345664 35259 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35259 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 335.09
Current children cumulated vsize (Kb) 171236

[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69968 0 0 0 34089 406 0 0 25 0 1 0 21553688 175345664 35286 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35286 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 344.95
Current children cumulated vsize (Kb) 171236

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 69983 0 0 0 35062 414 0 0 25 0 1 0 21553688 175345664 35301 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35301 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 354.76
Current children cumulated vsize (Kb) 171236

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69998 0 0 0 36037 422 0 0 25 0 1 0 21553688 175345664 35316 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42809 35316 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 364.59
Current children cumulated vsize (Kb) 171236

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70015 0 0 0 37007 433 0 0 25 0 1 0 21553688 175345664 35333 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42809 35333 364 364 0 42445 0
[pid=9555] vsize: 171236
Current children cumulated CPU time (s) 374.4
Current children cumulated vsize (Kb) 171236

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70129 0 0 0 37983 440 0 0 25 0 1 0 21553688 175767552 35447 4294967295 134512640 135987407 3221224560 3221223100 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42912 35449 364 364 0 42548 0
[pid=9555] vsize: 171648
Current children cumulated CPU time (s) 384.23
Current children cumulated vsize (Kb) 171648

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70201 0 0 0 38955 450 0 0 25 0 1 0 21553688 176054272 35519 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 42982 35519 364 364 0 42618 0
[pid=9555] vsize: 171928
Current children cumulated CPU time (s) 394.05
Current children cumulated vsize (Kb) 171928

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71048 0 0 0 39935 458 0 0 25 0 1 0 21553688 176054272 35544 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 42982 35544 364 364 0 42618 0
[pid=9555] vsize: 171928
Current children cumulated CPU time (s) 403.93
Current children cumulated vsize (Kb) 171928

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71118 0 0 0 40910 467 0 0 25 0 1 0 21553688 176447488 35614 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43078 35614 364 364 0 42714 0
[pid=9555] vsize: 172312
Current children cumulated CPU time (s) 413.77
Current children cumulated vsize (Kb) 172312

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71135 0 0 0 41879 477 0 0 25 0 1 0 21553688 176447488 35631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43078 35631 364 364 0 42714 0
[pid=9555] vsize: 172312
Current children cumulated CPU time (s) 423.56
Current children cumulated vsize (Kb) 172312

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71149 0 0 0 42850 486 0 0 25 0 1 0 21553688 176447488 35645 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43078 35645 364 364 0 42714 0
[pid=9555] vsize: 172312
Current children cumulated CPU time (s) 433.36
Current children cumulated vsize (Kb) 172312

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 71175 0 0 0 43823 495 0 0 25 0 1 0 21553688 176447488 35671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43078 35671 364 364 0 42714 0
[pid=9555] vsize: 172312
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (Kb) 172312

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71253 0 0 0 44796 504 0 0 25 0 1 0 21553688 176865280 35749 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43180 35749 364 364 0 42816 0
[pid=9555] vsize: 172720
Current children cumulated CPU time (s) 453
Current children cumulated vsize (Kb) 172720

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71306 0 0 0 45771 513 0 0 25 0 1 0 21553688 177000448 35802 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43213 35802 364 364 0 42849 0
[pid=9555] vsize: 172852
Current children cumulated CPU time (s) 462.84
Current children cumulated vsize (Kb) 172852

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71321 0 0 0 46744 522 0 0 25 0 1 0 21553688 177000448 35817 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43213 35817 364 364 0 42849 0
[pid=9555] vsize: 172852
Current children cumulated CPU time (s) 472.66
Current children cumulated vsize (Kb) 172852

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72153 0 0 0 47723 531 0 0 25 0 1 0 21553688 177000448 35827 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43213 35827 364 364 0 42849 0
[pid=9555] vsize: 172852
Current children cumulated CPU time (s) 482.54
Current children cumulated vsize (Kb) 172852

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72166 0 0 0 48699 540 0 0 25 0 1 0 21553688 177147904 35840 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43249 35840 364 364 0 42885 0
[pid=9555] vsize: 172996
Current children cumulated CPU time (s) 492.39
Current children cumulated vsize (Kb) 172996

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72169 0 0 0 49666 551 0 0 25 0 1 0 21553688 177147904 35843 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43249 35843 364 364 0 42885 0
[pid=9555] vsize: 172996
Current children cumulated CPU time (s) 502.17
Current children cumulated vsize (Kb) 172996

[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73008 0 0 0 50642 559 0 0 25 0 1 0 21553688 177147904 35860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43249 35860 364 364 0 42885 0
[pid=9555] vsize: 172996
Current children cumulated CPU time (s) 512.01
Current children cumulated vsize (Kb) 172996

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73015 0 0 0 51619 566 0 0 25 0 1 0 21553688 177147904 35867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43249 35867 364 364 0 42885 0
[pid=9555] vsize: 172996
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (Kb) 172996

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73841 0 0 0 52596 576 0 0 25 0 1 0 21553688 177147904 35871 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43249 35871 364 364 0 42885 0
[pid=9555] vsize: 172996
Current children cumulated CPU time (s) 531.72
Current children cumulated vsize (Kb) 172996

[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 74695 0 0 0 53573 585 0 0 25 0 1 0 21553688 177287168 35903 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43283 35903 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 541.58
Current children cumulated vsize (Kb) 173132

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 75520 0 0 0 54551 593 0 0 25 0 1 0 21553688 177287168 35906 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43283 35906 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 551.44
Current children cumulated vsize (Kb) 173132

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 76345 0 0 0 55529 603 0 0 25 0 1 0 21553688 177287168 35909 4294967295 134512640 135987407 3221224560 3221223352 134882485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43283 35909 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 561.32
Current children cumulated vsize (Kb) 173132

[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 76349 0 0 0 56504 612 0 0 25 0 1 0 21553688 177287168 35913 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43283 35913 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 571.16
Current children cumulated vsize (Kb) 173132

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 77176 0 0 0 57482 621 0 0 25 0 1 0 21553688 177287168 35918 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43283 35918 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 581.03
Current children cumulated vsize (Kb) 173132

[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 78009 0 0 0 58462 628 0 0 25 0 1 0 21553688 177287168 35929 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43283 35929 364 364 0 42919 0
[pid=9555] vsize: 173132
Current children cumulated CPU time (s) 590.9
Current children cumulated vsize (Kb) 173132

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 78854 0 0 0 59442 636 0 0 25 0 1 0 21553688 177459200 35952 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43325 35952 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 600.78
Current children cumulated vsize (Kb) 173300

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 78857 0 0 0 60416 646 0 0 25 0 1 0 21553688 177459200 35955 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43325 35955 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 610.62
Current children cumulated vsize (Kb) 173300

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 79684 0 0 0 61392 655 0 0 25 0 1 0 21553688 177459200 35960 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43325 35960 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 620.47
Current children cumulated vsize (Kb) 173300

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 79688 0 0 0 62365 664 0 0 25 0 1 0 21553688 177459200 35964 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43325 35964 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 630.29
Current children cumulated vsize (Kb) 173300

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 80513 0 0 0 63342 673 0 0 25 0 1 0 21553688 177459200 35967 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43325 35967 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 640.15
Current children cumulated vsize (Kb) 173300

[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 80517 0 0 0 64324 679 0 0 25 0 1 0 21553688 177459200 35971 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43325 35971 364 364 0 42961 0
[pid=9555] vsize: 173300
Current children cumulated CPU time (s) 650.03
Current children cumulated vsize (Kb) 173300

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 81359 0 0 0 65304 687 0 0 25 0 1 0 21553688 177594368 35991 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43358 35991 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 659.91
Current children cumulated vsize (Kb) 173432

[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 81373 0 0 0 66277 694 0 0 25 0 1 0 21553688 177594368 36005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43358 36005 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 669.71
Current children cumulated vsize (Kb) 173432

[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 82198 0 0 0 67254 704 0 0 25 0 1 0 21553688 177594368 36008 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43358 36008 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 679.58
Current children cumulated vsize (Kb) 173432

[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 82208 0 0 0 68228 712 0 0 25 0 1 0 21553688 177594368 36018 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43358 36018 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 689.4
Current children cumulated vsize (Kb) 173432

[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83034 0 0 0 69203 721 0 0 25 0 1 0 21553688 177594368 36022 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43358 36022 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 699.24
Current children cumulated vsize (Kb) 173432

[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83682 0 0 0 70179 730 0 0 25 0 1 0 21553688 180961280 36670 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 44180 36670 364 364 0 43816 0
[pid=9555] vsize: 176720
Current children cumulated CPU time (s) 709.09
Current children cumulated vsize (Kb) 176720

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83881 0 0 0 71155 739 0 0 25 0 1 0 21553688 177594368 36047 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43358 36047 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 718.94
Current children cumulated vsize (Kb) 173432

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 84714 0 0 0 72132 750 0 0 25 0 1 0 21553688 177594368 36058 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43358 36058 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 728.82
Current children cumulated vsize (Kb) 173432

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 85548 0 0 0 73110 759 0 0 25 0 1 0 21553688 177594368 36070 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43358 36070 364 364 0 42994 0
[pid=9555] vsize: 173432
Current children cumulated CPU time (s) 738.69
Current children cumulated vsize (Kb) 173432

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 86391 0 0 0 74087 769 0 0 25 0 1 0 21553688 177745920 36091 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36091 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 748.56
Current children cumulated vsize (Kb) 173580

[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 86403 0 0 0 75063 776 0 0 25 0 1 0 21553688 177745920 36103 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36103 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 758.39
Current children cumulated vsize (Kb) 173580

[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 87238 0 0 0 76040 786 0 0 25 0 1 0 21553688 177745920 36116 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36116 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 768.26
Current children cumulated vsize (Kb) 173580

[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 87256 0 0 0 77014 795 0 0 25 0 1 0 21553688 177745920 36134 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36134 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 778.09
Current children cumulated vsize (Kb) 173580

[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88100 0 0 0 77989 805 0 0 17 0 1 0 21553688 177745920 36156 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36156 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 787.94
Current children cumulated vsize (Kb) 173580

[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88931 0 0 0 78971 813 0 0 25 0 1 0 21553688 177745920 36165 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36165 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 797.84
Current children cumulated vsize (Kb) 173580

[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88946 0 0 0 79949 821 0 0 25 0 1 0 21553688 177745920 36180 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43395 36180 364 364 0 43031 0
[pid=9555] vsize: 173580
Current children cumulated CPU time (s) 807.7
Current children cumulated vsize (Kb) 173580

[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 89786 0 0 0 80931 827 0 0 25 0 1 0 21553688 177872896 36198 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43426 36198 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 817.58
Current children cumulated vsize (Kb) 173704

[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 90621 0 0 0 81907 837 0 0 25 0 1 0 21553688 177872896 36211 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43426 36211 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 827.44
Current children cumulated vsize (Kb) 173704

[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 90640 0 0 0 82883 845 0 0 25 0 1 0 21553688 177872896 36230 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43426 36230 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 837.28
Current children cumulated vsize (Kb) 173704

[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 91475 0 0 0 83862 854 0 0 25 0 1 0 21553688 177872896 36243 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43426 36243 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 847.16
Current children cumulated vsize (Kb) 173704

[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 92311 0 0 0 84836 864 0 0 25 0 1 0 21553688 177872896 36257 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43426 36257 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 857
Current children cumulated vsize (Kb) 173704

[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 93147 0 0 0 85814 872 0 0 25 0 1 0 21553688 177872896 36271 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43426 36271 364 364 0 43062 0
[pid=9555] vsize: 173704
Current children cumulated CPU time (s) 866.86
Current children cumulated vsize (Kb) 173704

[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 93166 0 0 0 86792 879 0 0 25 0 1 0 21553688 178008064 36290 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43459 36290 364 364 0 43095 0
[pid=9555] vsize: 173836
Current children cumulated CPU time (s) 876.71
Current children cumulated vsize (Kb) 173836

[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 94003 0 0 0 87770 889 0 0 25 0 1 0 21553688 178008064 36305 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43459 36305 364 364 0 43095 0
[pid=9555] vsize: 173836
Current children cumulated CPU time (s) 886.59
Current children cumulated vsize (Kb) 173836

[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 94839 0 0 0 88744 900 0 0 25 0 1 0 21553688 178008064 36319 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43459 36319 364 364 0 43095 0
[pid=9555] vsize: 173836
Current children cumulated CPU time (s) 896.44
Current children cumulated vsize (Kb) 173836

[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 95680 0 0 0 89721 907 0 0 25 0 1 0 21553688 178008064 36338 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43459 36338 364 364 0 43095 0
[pid=9555] vsize: 173836
Current children cumulated CPU time (s) 906.28
Current children cumulated vsize (Kb) 173836

[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 95715 0 0 0 90694 916 0 0 25 0 1 0 21553688 178151424 36373 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43494 36373 364 364 0 43130 0
[pid=9555] vsize: 173976
Current children cumulated CPU time (s) 916.1
Current children cumulated vsize (Kb) 173976

[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 96549 0 0 0 91667 928 0 0 25 0 1 0 21553688 178151424 36385 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43494 36385 364 364 0 43130 0
[pid=9555] vsize: 173976
Current children cumulated CPU time (s) 925.95
Current children cumulated vsize (Kb) 173976

[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 97378 0 0 0 92649 935 0 0 25 0 1 0 21553688 178151424 36392 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43494 36392 364 364 0 43130 0
[pid=9555] vsize: 173976
Current children cumulated CPU time (s) 935.84
Current children cumulated vsize (Kb) 173976

[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 97399 0 0 0 93619 946 0 0 25 0 1 0 21553688 178151424 36413 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43494 36413 364 364 0 43130 0
[pid=9555] vsize: 173976
Current children cumulated CPU time (s) 945.65
Current children cumulated vsize (Kb) 173976

[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 98235 0 0 0 94600 955 0 0 25 0 1 0 21553688 178151424 36427 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43494 36427 364 364 0 43130 0
[pid=9555] vsize: 173976
Current children cumulated CPU time (s) 955.55
Current children cumulated vsize (Kb) 173976

[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99072 0 0 0 95576 963 0 0 25 0 1 0 21553688 178282496 36442 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43526 36442 364 364 0 43162 0
[pid=9555] vsize: 174104
Current children cumulated CPU time (s) 965.39
Current children cumulated vsize (Kb) 174104

[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99910 0 0 0 96551 971 0 0 25 0 1 0 21553688 181649408 37280 4294967295 134512640 135987407 3221224560 3221222928 134827530 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 44348 37280 364 364 0 43984 0
[pid=9555] vsize: 177392
Current children cumulated CPU time (s) 975.22
Current children cumulated vsize (Kb) 177392

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99925 0 0 0 97529 979 0 0 25 0 1 0 21553688 178282496 36473 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43526 36473 364 364 0 43162 0
[pid=9555] vsize: 174104
Current children cumulated CPU time (s) 985.08
Current children cumulated vsize (Kb) 174104

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 100764 0 0 0 98511 986 0 0 25 0 1 0 21553688 178282496 36490 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43526 36490 364 364 0 43162 0
[pid=9555] vsize: 174104
Current children cumulated CPU time (s) 994.97
Current children cumulated vsize (Kb) 174104

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 101600 0 0 0 99493 994 0 0 25 0 1 0 21553688 178282496 36504 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43526 36504 364 364 0 43162 0
[pid=9555] vsize: 174104
Current children cumulated CPU time (s) 1004.87
Current children cumulated vsize (Kb) 174104

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 101622 0 0 0 100468 1001 0 0 25 0 1 0 21553688 178282496 36526 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43526 36526 364 364 0 43162 0
[pid=9555] vsize: 174104
Current children cumulated CPU time (s) 1014.69
Current children cumulated vsize (Kb) 174104

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 102458 0 0 0 101445 1011 0 0 25 0 1 0 21553688 178413568 36540 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43558 36540 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1024.56
Current children cumulated vsize (Kb) 174232

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 103298 0 0 0 102425 1020 0 0 25 0 1 0 21553688 178413568 36558 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43558 36558 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1034.45
Current children cumulated vsize (Kb) 174232

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104137 0 0 0 103402 1029 0 0 25 0 1 0 21553688 178413568 36575 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43558 36575 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (Kb) 174232

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104154 0 0 0 104380 1036 0 0 25 0 1 0 21553688 178413568 36592 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43558 36592 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1054.16
Current children cumulated vsize (Kb) 174232

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104990 0 0 0 105358 1045 0 0 25 0 1 0 21553688 178413568 36606 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43558 36606 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1064.03
Current children cumulated vsize (Kb) 174232

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 105825 0 0 0 106341 1052 0 0 25 0 1 0 21553688 178413568 36619 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43558 36619 364 364 0 43194 0
[pid=9555] vsize: 174232
Current children cumulated CPU time (s) 1073.93
Current children cumulated vsize (Kb) 174232

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 105836 0 0 0 107319 1059 0 0 25 0 1 0 21553688 178544640 36630 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43590 36630 364 364 0 43226 0
[pid=9555] vsize: 174360
Current children cumulated CPU time (s) 1083.78
Current children cumulated vsize (Kb) 174360

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 106676 0 0 0 108300 1066 0 0 25 0 1 0 21553688 178544640 36648 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43590 36648 364 364 0 43226 0
[pid=9555] vsize: 174360
Current children cumulated CPU time (s) 1093.66
Current children cumulated vsize (Kb) 174360

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 107520 0 0 0 109283 1072 0 0 25 0 1 0 21553688 178544640 36670 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43590 36670 364 364 0 43226 0
[pid=9555] vsize: 174360
Current children cumulated CPU time (s) 1103.55
Current children cumulated vsize (Kb) 174360

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 107549 0 0 0 110261 1079 0 0 25 0 1 0 21553688 178679808 36699 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36699 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1113.4
Current children cumulated vsize (Kb) 174492

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 108378 0 0 0 111241 1088 0 0 25 0 1 0 21553688 178679808 36706 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36706 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1123.29
Current children cumulated vsize (Kb) 174492

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 109212 0 0 0 112222 1096 0 0 25 0 1 0 21553688 178679808 36718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36718 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1133.18
Current children cumulated vsize (Kb) 174492

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 109231 0 0 0 113201 1103 0 0 25 0 1 0 21553688 178679808 36737 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36737 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1143.04
Current children cumulated vsize (Kb) 174492

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110062 0 0 0 114184 1110 0 0 25 0 1 0 21553688 178679808 36746 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36746 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1152.94
Current children cumulated vsize (Kb) 174492

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110900 0 0 0 115159 1120 0 0 25 0 1 0 21553688 178679808 36762 4294967295 134512640 135987407 3221224560 3221223200 134822817 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9555/statm): 43623 36762 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1162.79
Current children cumulated vsize (Kb) 174492

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110919 0 0 0 116135 1128 0 0 25 0 1 0 21553688 178679808 36781 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43623 36781 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1172.63
Current children cumulated vsize (Kb) 174492

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 111755 0 0 0 117116 1136 0 0 25 0 1 0 21553688 178679808 36795 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43623 36795 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1182.52
Current children cumulated vsize (Kb) 174492

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 112593 0 0 0 118090 1147 0 0 25 0 1 0 21553688 178679808 36811 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 43623 36811 364 364 0 43259 0
[pid=9555] vsize: 174492
Current children cumulated CPU time (s) 1192.37
Current children cumulated vsize (Kb) 174492

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 113433 0 0 0 119061 1158 0 0 25 0 1 0 21553688 182177792 37651 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 44477 37651 364 364 0 44113 0
[pid=9555] vsize: 177908
Current children cumulated CPU time (s) 1202.19
Current children cumulated vsize (Kb) 177908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9555
Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 113433 0 0 0 119061 1158 0 0 25 0 1 0 21553688 182177792 37651 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9555/statm): 44477 37651 364 364 0 44113 0
[pid=9555] vsize: 177908
Current children cumulated CPU time (s) 1202.19
Current children cumulated vsize (Kb) 177908

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

Child status: 0
Real time (s): 1220.76
CPU time (s): 1202.89
CPU user time (s): 1191.23
CPU system time (s): 11.6612
CPU usage (%): 98.5363
Max. virtual memory (cumulated for all children) (Kb): 177908

Verifier Data

ERROR: no interpretation found !