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

Nameweb/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 9804

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-23 15:18:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8513 boxname=wulflinc28 idbench=309 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb
IDLAUNCH: 8513
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        932368 kB
Buffers:         11424 kB
Cached:          73576 kB
SwapCached:          0 kB
Active:          49172 kB
Inactive:        38700 kB
HighTotal:      131008 kB
HighFree:        53228 kB
LowTotal:       903652 kB
LowFree:        879140 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8800 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:38:45 (client local time) WITH STATUS 0 IN 1207.25 SECONDS
stats: 8513 7 1207.25 0

Solver Data

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

c Decision: 1340/70264	Time: 16.6345/86400
c Decision: 2347/70264	Time: 36.2465/86400
c Decision: 3179/70264	Time: 50.4793/86400
c Decision: 5202/70264	Time: 195.628/86400
c Decision: 5202/70264	Time: 218.052/86400
c Decision: 6690/70264	Time: 261.253/86400
c Decision: 6797/70264	Time: 361.964/86400
c Decision: 8047/70264	Time: 430.245/86400
c Decision: 8231/70264	Time: 485.364/86400
c Decision: 8231/70264	Time: 494.535/86400
c Decision: 8466/70264	Time: 514.164/86400
c Decision: 8758/70264	Time: 572.273/86400
c Decision: 8758/70264	Time: 591.85/86400
c Decision: 8904/70264	Time: 695.016/86400
c Decision: 8904/70264	Time: 730.677/86400
c Decision: 8904/70264	Time: 770.443/86400
c Decision: 8911/70264	Time: 805.742/86400
c Decision: 8927/70264	Time: 852.415/86400
c Decision: 8927/70264	Time: 880.914/86400
c Decision: 9139/70264	Time: 983.026/86400
c Decision: 9141/70264	Time: 999.149/86400
c Decision: 9170/70264	Time: 1043.6/86400
c Decision: 9170/70264	Time: 1077.08/86400
c Decision: 9170/70264	Time: 1100.64/86400
c Decision: 9170/70264	Time: 1122.56/86400
c Decision: 9170/70264	Time: 1135.76/86400
c Decision: 9170/70264	Time: 1167/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/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 18 0 0 0 0 0 0 0 21 0 1 0 21172014 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 373 2 364 364 0 9 0
[pid=8130] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb

[startup+10.0015 s]
Raw data (loadavg): 0.87 0.94 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 5433 0 0 0 982 15 0 0 25 0 1 0 21172014 19243008 3501 4294967295 134512640 135987407 3221224560 3221221756 134536004 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 4698 3501 364 364 0 4334 0
[pid=8130] vsize: 18792
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 18792

[startup+20.0022 s]
Raw data (loadavg): 0.89 0.94 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 11251 0 0 0 1963 32 0 0 25 0 1 0 21172014 37388288 7158 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 9128 7158 364 364 0 8764 0
[pid=8130] vsize: 36512
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 36512

[startup+30.0029 s]
Raw data (loadavg): 0.91 0.94 0.95 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 13127 0 0 0 2940 43 0 0 25 0 1 0 21172014 46346240 8803 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 11315 8803 364 364 0 10951 0
[pid=8130] vsize: 45260
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 45260

[startup+40.0036 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 13860 0 0 0 3923 49 0 0 25 0 1 0 21172014 49004544 9332 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 11964 9332 364 364 0 11600 0
[pid=8130] vsize: 47856
Current children cumulated CPU time (s) 39.72
Current children cumulated vsize (Kb) 47856

[startup+50.0042 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 14512 0 0 0 4905 55 0 0 25 0 1 0 21172014 51957760 9918 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 12685 9918 364 364 0 12321 0
[pid=8130] vsize: 50740
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (Kb) 50740

[startup+60.0039 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 15139 0 0 0 5883 62 0 0 25 0 1 0 21172014 54054912 10341 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 13197 10341 364 364 0 12833 0
[pid=8130] vsize: 52788
Current children cumulated CPU time (s) 59.45
Current children cumulated vsize (Kb) 52788

[startup+70.0036 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 15243 0 0 0 6868 67 0 0 25 0 1 0 21172014 54321152 10445 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 13262 10445 364 364 0 12898 0
[pid=8130] vsize: 53048
Current children cumulated CPU time (s) 69.35
Current children cumulated vsize (Kb) 53048

[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 16296 0 0 0 7841 78 0 0 25 0 1 0 21172014 58572800 11228 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 14300 11228 364 364 0 13936 0
[pid=8130] vsize: 57200
Current children cumulated CPU time (s) 79.19
Current children cumulated vsize (Kb) 57200

[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 16706 0 0 0 8816 86 0 0 25 0 1 0 21172014 60379136 11539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 14741 11539 364 364 0 14377 0
[pid=8130] vsize: 58964
Current children cumulated CPU time (s) 89.02
Current children cumulated vsize (Kb) 58964

[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17165 0 0 0 9791 96 0 0 25 0 1 0 21172014 62271488 11866 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 15203 11866 364 364 0 14839 0
[pid=8130] vsize: 60812
Current children cumulated CPU time (s) 98.87
Current children cumulated vsize (Kb) 60812

[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17591 0 0 0 10764 106 0 0 25 0 1 0 21172014 64188416 12226 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 15671 12226 364 364 0 15307 0
[pid=8130] vsize: 62684
Current children cumulated CPU time (s) 108.7
Current children cumulated vsize (Kb) 62684

[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17936 0 0 0 11745 112 0 0 25 0 1 0 21172014 65388544 12472 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 15964 12472 364 364 0 15600 0
[pid=8130] vsize: 63856
Current children cumulated CPU time (s) 118.57
Current children cumulated vsize (Kb) 63856

[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 18663 0 0 0 12717 123 0 0 25 0 1 0 21172014 68112384 13001 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 16629 13001 364 364 0 16265 0
[pid=8130] vsize: 66516
Current children cumulated CPU time (s) 128.4
Current children cumulated vsize (Kb) 66516

[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19154 0 0 0 13694 130 0 0 25 0 1 0 21172014 70373376 13393 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 17181 13393 364 364 0 16817 0
[pid=8130] vsize: 68724
Current children cumulated CPU time (s) 138.24
Current children cumulated vsize (Kb) 68724

[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19318 0 0 0 14676 135 0 0 25 0 1 0 21172014 71110656 13557 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 17361 13557 364 364 0 16997 0
[pid=8130] vsize: 69444
Current children cumulated CPU time (s) 148.11
Current children cumulated vsize (Kb) 69444

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19685 0 0 0 15652 145 0 0 25 0 1 0 21172014 72859648 13858 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 17788 13858 364 364 0 17424 0
[pid=8130] vsize: 71152
Current children cumulated CPU time (s) 157.97
Current children cumulated vsize (Kb) 71152

[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19951 0 0 0 16633 151 0 0 25 0 1 0 21172014 73928704 14058 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 18049 14058 364 364 0 17685 0
[pid=8130] vsize: 72196
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (Kb) 72196

[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20363 0 0 0 17613 159 0 0 25 0 1 0 21172014 79732736 14371 4294967295 134512640 135987407 3221224560 3221223424 134812903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 19466 14371 364 364 0 19102 0
[pid=8130] vsize: 77864
Current children cumulated CPU time (s) 177.72
Current children cumulated vsize (Kb) 77864

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20621 0 0 0 18591 167 0 0 25 0 1 0 21172014 80539648 14596 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 19663 14596 364 364 0 19299 0
[pid=8130] vsize: 78652
Current children cumulated CPU time (s) 187.58
Current children cumulated vsize (Kb) 78652

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20836 0 0 0 19569 174 0 0 25 0 1 0 21172014 81211392 14778 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 19827 14778 364 364 0 19463 0
[pid=8130] vsize: 79308
Current children cumulated CPU time (s) 197.43
Current children cumulated vsize (Kb) 79308

[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20954 0 0 0 20549 179 0 0 25 0 1 0 21172014 81473536 14830 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 19891 14830 364 364 0 19527 0
[pid=8130] vsize: 79564
Current children cumulated CPU time (s) 207.28
Current children cumulated vsize (Kb) 79564

[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21205 0 0 0 21530 186 0 0 25 0 1 0 21172014 82014208 14943 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20023 14943 364 364 0 19659 0
[pid=8130] vsize: 80092
Current children cumulated CPU time (s) 217.16
Current children cumulated vsize (Kb) 80092

[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21434 0 0 0 22512 192 0 0 25 0 1 0 21172014 82808832 15106 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20217 15106 364 364 0 19853 0
[pid=8130] vsize: 80868
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (Kb) 80868

[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21597 0 0 0 23493 200 0 0 25 0 1 0 21172014 83341312 15203 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20347 15203 364 364 0 19983 0
[pid=8130] vsize: 81388
Current children cumulated CPU time (s) 236.93
Current children cumulated vsize (Kb) 81388

[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21812 0 0 0 24473 206 0 0 25 0 1 0 21172014 83476480 15280 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20380 15280 364 364 0 20016 0
[pid=8130] vsize: 81520
Current children cumulated CPU time (s) 246.79
Current children cumulated vsize (Kb) 81520

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21965 0 0 0 25457 212 0 0 25 0 1 0 21172014 84004864 15367 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20509 15367 364 364 0 20145 0
[pid=8130] vsize: 82036
Current children cumulated CPU time (s) 256.69
Current children cumulated vsize (Kb) 82036

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22109 0 0 0 26440 219 0 0 25 0 1 0 21172014 84668416 15478 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20671 15478 364 364 0 20307 0
[pid=8130] vsize: 82684
Current children cumulated CPU time (s) 266.59
Current children cumulated vsize (Kb) 82684

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22160 0 0 0 27422 225 0 0 25 0 1 0 21172014 84668416 15529 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20671 15529 364 364 0 20307 0
[pid=8130] vsize: 82684
Current children cumulated CPU time (s) 276.47
Current children cumulated vsize (Kb) 82684

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22349 0 0 0 28403 233 0 0 25 0 1 0 21172014 84668416 15580 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 20671 15580 364 364 0 20307 0
[pid=8130] vsize: 82684
Current children cumulated CPU time (s) 286.36
Current children cumulated vsize (Kb) 82684

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22502 0 0 0 29383 238 0 0 25 0 1 0 21172014 85196800 15667 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 20800 15667 364 364 0 20436 0
[pid=8130] vsize: 83200
Current children cumulated CPU time (s) 296.21
Current children cumulated vsize (Kb) 83200

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22514 0 0 0 30366 244 0 0 25 0 1 0 21172014 85196800 15679 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 20800 15679 364 364 0 20436 0
[pid=8130] vsize: 83200
Current children cumulated CPU time (s) 306.1
Current children cumulated vsize (Kb) 83200

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22632 0 0 0 31348 249 0 0 25 0 1 0 21172014 85458944 15731 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 20864 15731 364 364 0 20500 0
[pid=8130] vsize: 83456
Current children cumulated CPU time (s) 315.97
Current children cumulated vsize (Kb) 83456

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22698 0 0 0 32330 256 0 0 25 0 1 0 21172014 85725184 15797 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20929 15797 364 364 0 20565 0
[pid=8130] vsize: 83716
Current children cumulated CPU time (s) 325.86
Current children cumulated vsize (Kb) 83716

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22755 0 0 0 33311 262 0 0 25 0 1 0 21172014 85856256 15821 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 20961 15821 364 364 0 20597 0
[pid=8130] vsize: 83844
Current children cumulated CPU time (s) 335.73
Current children cumulated vsize (Kb) 83844

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22873 0 0 0 34294 267 0 0 25 0 1 0 21172014 86118400 15873 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21025 15873 364 364 0 20661 0
[pid=8130] vsize: 84100
Current children cumulated CPU time (s) 345.61
Current children cumulated vsize (Kb) 84100

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22916 0 0 0 35275 273 0 0 25 0 1 0 21172014 86249472 15883 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21057 15883 364 364 0 20693 0
[pid=8130] vsize: 84228
Current children cumulated CPU time (s) 355.48
Current children cumulated vsize (Kb) 84228

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22918 0 0 0 36260 278 0 0 25 0 1 0 21172014 86249472 15885 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 21057 15885 364 364 0 20693 0
[pid=8130] vsize: 84228
Current children cumulated CPU time (s) 365.38
Current children cumulated vsize (Kb) 84228

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22973 0 0 0 37240 285 0 0 25 0 1 0 21172014 86380544 15907 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 21089 15907 364 364 0 20725 0
[pid=8130] vsize: 84356
Current children cumulated CPU time (s) 375.25
Current children cumulated vsize (Kb) 84356

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23206 0 0 0 38222 292 0 0 25 0 1 0 21172014 86777856 15969 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21186 15969 364 364 0 20822 0
[pid=8130] vsize: 84744
Current children cumulated CPU time (s) 385.14
Current children cumulated vsize (Kb) 84744

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23296 0 0 0 39204 299 0 0 25 0 1 0 21172014 87044096 16026 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21251 16026 364 364 0 20887 0
[pid=8130] vsize: 85004
Current children cumulated CPU time (s) 395.03
Current children cumulated vsize (Kb) 85004

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23365 0 0 0 40186 304 0 0 25 0 1 0 21172014 87175168 16062 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21283 16062 364 364 0 20919 0
[pid=8130] vsize: 85132
Current children cumulated CPU time (s) 404.9
Current children cumulated vsize (Kb) 85132

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23438 0 0 0 41167 310 0 0 25 0 1 0 21172014 87576576 16135 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21381 16135 364 364 0 21017 0
[pid=8130] vsize: 85524
Current children cumulated CPU time (s) 414.77
Current children cumulated vsize (Kb) 85524

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23488 0 0 0 42150 316 0 0 25 0 1 0 21172014 87842816 16185 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 21446 16185 364 364 0 21082 0
[pid=8130] vsize: 85784
Current children cumulated CPU time (s) 424.66
Current children cumulated vsize (Kb) 85784

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23692 0 0 0 43133 322 0 0 25 0 1 0 21172014 88502272 16290 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21607 16290 364 364 0 21243 0
[pid=8130] vsize: 86428
Current children cumulated CPU time (s) 434.55
Current children cumulated vsize (Kb) 86428

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23750 0 0 0 44116 328 0 0 25 0 1 0 21172014 88502272 16348 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21607 16348 364 364 0 21243 0
[pid=8130] vsize: 86428
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (Kb) 86428

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24066 0 0 0 45099 335 0 0 25 0 1 0 21172014 89165824 16493 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21769 16493 364 364 0 21405 0
[pid=8130] vsize: 87076
Current children cumulated CPU time (s) 454.34
Current children cumulated vsize (Kb) 87076

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24140 0 0 0 46081 340 0 0 25 0 1 0 21172014 89432064 16567 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21834 16567 364 364 0 21470 0
[pid=8130] vsize: 87336
Current children cumulated CPU time (s) 464.21
Current children cumulated vsize (Kb) 87336

[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24208 0 0 0 47062 347 0 0 25 0 1 0 21172014 89698304 16635 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 21899 16635 364 364 0 21535 0
[pid=8130] vsize: 87596
Current children cumulated CPU time (s) 474.09
Current children cumulated vsize (Kb) 87596

[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24338 0 0 0 48046 353 0 0 25 0 1 0 21172014 89960448 16699 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 21963 16699 364 364 0 21599 0
[pid=8130] vsize: 87852
Current children cumulated CPU time (s) 483.99
Current children cumulated vsize (Kb) 87852

[startup+500.022 s]
Raw data (loadavg): 1.07 0.99 0.96 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 24481 0 0 0 49029 359 0 0 25 0 1 0 21172014 90357760 16809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22060 16809 364 364 0 21696 0
[pid=8130] vsize: 88240
Current children cumulated CPU time (s) 493.88
Current children cumulated vsize (Kb) 88240

[startup+510.022 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24578 0 0 0 50012 366 0 0 25 0 1 0 21172014 90488832 16873 4294967295 134512640 135987407 3221224560 3221223248 134788657 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22092 16873 364 364 0 21728 0
[pid=8130] vsize: 88368
Current children cumulated CPU time (s) 503.78
Current children cumulated vsize (Kb) 88368

[startup+520.021 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24842 0 0 0 50997 372 0 0 25 0 1 0 21172014 90488832 16999 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22092 16999 364 364 0 21728 0
[pid=8130] vsize: 88368
Current children cumulated CPU time (s) 513.69
Current children cumulated vsize (Kb) 88368

[startup+530.021 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25052 0 0 0 51980 379 0 0 25 0 1 0 21172014 90619904 17038 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22124 17038 364 364 0 21760 0
[pid=8130] vsize: 88496
Current children cumulated CPU time (s) 523.59
Current children cumulated vsize (Kb) 88496

[startup+540.021 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25264 0 0 0 52962 386 0 0 25 0 1 0 21172014 90619904 17112 4294967295 134512640 135987407 3221224560 3221223376 134876871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22124 17112 364 364 0 21760 0
[pid=8130] vsize: 88496
Current children cumulated CPU time (s) 533.48
Current children cumulated vsize (Kb) 88496

[startup+550.021 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25277 0 0 0 53949 390 0 0 25 0 1 0 21172014 90619904 17125 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22124 17125 364 364 0 21760 0
[pid=8130] vsize: 88496
Current children cumulated CPU time (s) 543.39
Current children cumulated vsize (Kb) 88496

[startup+560.022 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25341 0 0 0 54933 396 0 0 25 0 1 0 21172014 90886144 17189 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22189 17189 364 364 0 21825 0
[pid=8130] vsize: 88756
Current children cumulated CPU time (s) 553.29
Current children cumulated vsize (Kb) 88756

[startup+570.023 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25350 0 0 0 55920 402 0 0 25 0 1 0 21172014 90886144 17198 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22189 17198 364 364 0 21825 0
[pid=8130] vsize: 88756
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (Kb) 88756

[startup+580.023 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25356 0 0 0 56906 407 0 0 25 0 1 0 21172014 90886144 17204 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22189 17204 364 364 0 21825 0
[pid=8130] vsize: 88756
Current children cumulated CPU time (s) 573.13
Current children cumulated vsize (Kb) 88756

[startup+590.023 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 25358 0 0 0 57891 411 0 0 25 0 1 0 21172014 90886144 17206 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22189 17206 364 364 0 21825 0
[pid=8130] vsize: 88756
Current children cumulated CPU time (s) 583.02
Current children cumulated vsize (Kb) 88756

[startup+600.024 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25559 0 0 0 58880 416 0 0 25 0 1 0 21172014 90886144 17269 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22189 17269 364 364 0 21825 0
[pid=8130] vsize: 88756
Current children cumulated CPU time (s) 592.96
Current children cumulated vsize (Kb) 88756

[startup+610.024 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25683 0 0 0 59862 422 0 0 25 0 1 0 21172014 91283456 17360 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22286 17360 364 364 0 21922 0
[pid=8130] vsize: 89144
Current children cumulated CPU time (s) 602.84
Current children cumulated vsize (Kb) 89144

[startup+620.024 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25854 0 0 0 60847 428 0 0 25 0 1 0 21172014 91283456 17393 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22286 17393 364 364 0 21922 0
[pid=8130] vsize: 89144
Current children cumulated CPU time (s) 612.75
Current children cumulated vsize (Kb) 89144

[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25895 0 0 0 61830 433 0 0 25 0 1 0 21172014 91283456 17434 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22286 17434 364 364 0 21922 0
[pid=8130] vsize: 89144
Current children cumulated CPU time (s) 622.63
Current children cumulated vsize (Kb) 89144

[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25924 0 0 0 62814 439 0 0 25 0 1 0 21172014 91283456 17463 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22286 17463 364 364 0 21922 0
[pid=8130] vsize: 89144
Current children cumulated CPU time (s) 632.53
Current children cumulated vsize (Kb) 89144

[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25991 0 0 0 63797 445 0 0 25 0 1 0 21172014 91414528 17497 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22318 17497 364 364 0 21954 0
[pid=8130] vsize: 89272
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (Kb) 89272

[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26014 0 0 0 64781 451 0 0 25 0 1 0 21172014 91414528 17520 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22318 17520 364 364 0 21954 0
[pid=8130] vsize: 89272
Current children cumulated CPU time (s) 652.32
Current children cumulated vsize (Kb) 89272

[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26045 0 0 0 65766 457 0 0 25 0 1 0 21172014 91414528 17551 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 22318 17551 364 364 0 21954 0
[pid=8130] vsize: 89272
Current children cumulated CPU time (s) 662.23
Current children cumulated vsize (Kb) 89272

[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26075 0 0 0 66750 461 0 0 25 0 1 0 21172014 91414528 17581 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 22318 17581 364 364 0 21954 0
[pid=8130] vsize: 89272
Current children cumulated CPU time (s) 672.11
Current children cumulated vsize (Kb) 89272

[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26098 0 0 0 67734 468 0 0 25 0 1 0 21172014 99803136 17604 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24366 17604 364 364 0 24002 0
[pid=8130] vsize: 97464
Current children cumulated CPU time (s) 682.02
Current children cumulated vsize (Kb) 97464

[startup+700.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 26175 0 0 0 68720 473 0 0 25 0 1 0 21172014 99934208 17648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24398 17648 364 364 0 24034 0
[pid=8130] vsize: 97592
Current children cumulated CPU time (s) 691.93
Current children cumulated vsize (Kb) 97592

[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 26238 0 0 0 69703 480 0 0 25 0 1 0 21172014 100065280 17678 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24430 17678 364 364 0 24066 0
[pid=8130] vsize: 97720
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (Kb) 97720

[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26328 0 0 0 70691 483 0 0 25 0 1 0 21172014 100462592 17735 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24527 17735 364 364 0 24163 0
[pid=8130] vsize: 98108
Current children cumulated CPU time (s) 711.74
Current children cumulated vsize (Kb) 98108

[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26496 0 0 0 71678 488 0 0 25 0 1 0 21172014 100462592 17765 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24527 17765 364 364 0 24163 0
[pid=8130] vsize: 98108
Current children cumulated CPU time (s) 721.66
Current children cumulated vsize (Kb) 98108

[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26523 0 0 0 72663 493 0 0 25 0 1 0 21172014 100462592 17792 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24527 17792 364 364 0 24163 0
[pid=8130] vsize: 98108
Current children cumulated CPU time (s) 731.56
Current children cumulated vsize (Kb) 98108

[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26551 0 0 0 73647 498 0 0 25 0 1 0 21172014 100462592 17820 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24527 17820 364 364 0 24163 0
[pid=8130] vsize: 98108
Current children cumulated CPU time (s) 741.45
Current children cumulated vsize (Kb) 98108

[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26720 0 0 0 74629 505 0 0 25 0 1 0 21172014 100462592 17851 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24527 17851 364 364 0 24163 0
[pid=8130] vsize: 98108
Current children cumulated CPU time (s) 751.34
Current children cumulated vsize (Kb) 98108

[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26781 0 0 0 75617 510 0 0 25 0 1 0 21172014 100593664 17879 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24559 17879 364 364 0 24195 0
[pid=8130] vsize: 98236
Current children cumulated CPU time (s) 761.27
Current children cumulated vsize (Kb) 98236

[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26825 0 0 0 76604 515 0 0 25 0 1 0 21172014 100593664 17923 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24559 17923 364 364 0 24195 0
[pid=8130] vsize: 98236
Current children cumulated CPU time (s) 771.19
Current children cumulated vsize (Kb) 98236

[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26857 0 0 0 77591 518 0 0 25 0 1 0 21172014 100593664 17955 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24559 17955 364 364 0 24195 0
[pid=8130] vsize: 98236
Current children cumulated CPU time (s) 781.09
Current children cumulated vsize (Kb) 98236

[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27063 0 0 0 78580 523 0 0 25 0 1 0 21172014 100724736 17990 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24591 17990 364 364 0 24227 0
[pid=8130] vsize: 98364
Current children cumulated CPU time (s) 791.03
Current children cumulated vsize (Kb) 98364

[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27130 0 0 0 79564 528 0 0 25 0 1 0 21172014 100990976 18057 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24656 18057 364 364 0 24292 0
[pid=8130] vsize: 98624
Current children cumulated CPU time (s) 800.92
Current children cumulated vsize (Kb) 98624

[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27145 0 0 0 80553 531 0 0 25 0 1 0 21172014 100990976 18072 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24656 18072 364 364 0 24292 0
[pid=8130] vsize: 98624
Current children cumulated CPU time (s) 810.84
Current children cumulated vsize (Kb) 98624

[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27158 0 0 0 81539 536 0 0 25 0 1 0 21172014 100990976 18085 4294967295 134512640 135987407 3221224560 3221223248 134812121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24656 18085 364 364 0 24292 0
[pid=8130] vsize: 98624
Current children cumulated CPU time (s) 820.75
Current children cumulated vsize (Kb) 98624

[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27300 0 0 0 82526 541 0 0 25 0 1 0 21172014 100990976 18089 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24656 18089 364 364 0 24292 0
[pid=8130] vsize: 98624
Current children cumulated CPU time (s) 830.67
Current children cumulated vsize (Kb) 98624

[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27340 0 0 0 83508 547 0 0 25 0 1 0 21172014 101257216 18129 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24721 18129 364 364 0 24357 0
[pid=8130] vsize: 98884
Current children cumulated CPU time (s) 840.55
Current children cumulated vsize (Kb) 98884

[startup+860.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27384 0 0 0 84494 553 0 0 25 0 1 0 21172014 101388288 18140 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24753 18140 364 364 0 24389 0
[pid=8130] vsize: 99012
Current children cumulated CPU time (s) 850.47
Current children cumulated vsize (Kb) 99012

[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27385 0 0 0 85483 556 0 0 25 0 1 0 21172014 101388288 18141 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24753 18141 364 364 0 24389 0
[pid=8130] vsize: 99012
Current children cumulated CPU time (s) 860.39
Current children cumulated vsize (Kb) 99012

[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27389 0 0 0 86469 561 0 0 25 0 1 0 21172014 101388288 18145 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24753 18145 364 364 0 24389 0
[pid=8130] vsize: 99012
Current children cumulated CPU time (s) 870.3
Current children cumulated vsize (Kb) 99012

[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27553 0 0 0 87456 567 0 0 25 0 1 0 21172014 101388288 18171 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24753 18171 364 364 0 24389 0
[pid=8130] vsize: 99012
Current children cumulated CPU time (s) 880.23
Current children cumulated vsize (Kb) 99012

[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27658 0 0 0 88437 574 0 0 25 0 1 0 21172014 101785600 18243 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24850 18243 364 364 0 24486 0
[pid=8130] vsize: 99400
Current children cumulated CPU time (s) 890.11
Current children cumulated vsize (Kb) 99400

[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27686 0 0 0 89419 579 0 0 25 0 1 0 21172014 101785600 18271 4294967295 134512640 135987407 3221224560 3221223280 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24850 18271 364 364 0 24486 0
[pid=8130] vsize: 99400
Current children cumulated CPU time (s) 899.98
Current children cumulated vsize (Kb) 99400

[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27851 0 0 0 90403 584 0 0 25 0 1 0 21172014 101785600 18298 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24850 18298 364 364 0 24486 0
[pid=8130] vsize: 99400
Current children cumulated CPU time (s) 909.87
Current children cumulated vsize (Kb) 99400

[startup+930.035 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27918 0 0 0 91390 589 0 0 25 0 1 0 21172014 102051840 18365 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24915 18365 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 919.79
Current children cumulated vsize (Kb) 99660

[startup+940.035 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27943 0 0 0 92378 593 0 0 25 0 1 0 21172014 102051840 18390 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18390 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 929.71
Current children cumulated vsize (Kb) 99660

[startup+950.036 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27970 0 0 0 93364 599 0 0 25 0 1 0 21172014 102051840 18417 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18417 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 939.63
Current children cumulated vsize (Kb) 99660

[startup+960.036 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28009 0 0 0 94350 604 0 0 25 0 1 0 21172014 102051840 18456 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18456 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 949.54
Current children cumulated vsize (Kb) 99660

[startup+970.037 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28047 0 0 0 95332 610 0 0 25 0 1 0 21172014 102051840 18494 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18494 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 959.42
Current children cumulated vsize (Kb) 99660

[startup+980.038 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28094 0 0 0 96316 616 0 0 25 0 1 0 21172014 102051840 18541 4294967295 134512640 135987407 3221224560 3221223424 134812595 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18541 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 969.32
Current children cumulated vsize (Kb) 99660

[startup+990.037 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28140 0 0 0 97298 623 0 0 25 0 1 0 21172014 102051840 18587 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24915 18587 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 979.21
Current children cumulated vsize (Kb) 99660

[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28174 0 0 0 98281 628 0 0 25 0 1 0 21172014 102051840 18621 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18621 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 989.09
Current children cumulated vsize (Kb) 99660

[startup+1010.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28203 0 0 0 99266 633 0 0 25 0 1 0 21172014 102051840 18650 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18650 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 998.99
Current children cumulated vsize (Kb) 99660

[startup+1020.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28388 0 0 0 100251 639 0 0 25 0 1 0 21172014 102051840 18697 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18697 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 1008.9
Current children cumulated vsize (Kb) 99660

[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28676 0 0 0 101240 643 0 0 25 0 1 0 21172014 102051840 18847 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18847 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 1018.83
Current children cumulated vsize (Kb) 99660

[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28680 0 0 0 102227 647 0 0 25 0 1 0 21172014 102051840 18851 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24915 18851 364 364 0 24551 0
[pid=8130] vsize: 99660
Current children cumulated CPU time (s) 1028.74
Current children cumulated vsize (Kb) 99660

[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28730 0 0 0 103209 654 0 0 25 0 1 0 21172014 102182912 18868 4294967295 134512640 135987407 3221224560 3221223020 135480785 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 24947 18868 364 364 0 24583 0
[pid=8130] vsize: 99788
Current children cumulated CPU time (s) 1038.63
Current children cumulated vsize (Kb) 99788

[startup+1060.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28732 0 0 0 104193 659 0 0 25 0 1 0 21172014 102182912 18870 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24947 18870 364 364 0 24583 0
[pid=8130] vsize: 99788
Current children cumulated CPU time (s) 1048.52
Current children cumulated vsize (Kb) 99788

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28734 0 0 0 105179 664 0 0 25 0 1 0 21172014 102182912 18872 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 24947 18872 364 364 0 24583 0
[pid=8130] vsize: 99788
Current children cumulated CPU time (s) 1058.43
Current children cumulated vsize (Kb) 99788

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28979 0 0 0 106162 668 0 0 25 0 1 0 21172014 102580224 18946 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25044 18946 364 364 0 24680 0
[pid=8130] vsize: 100176
Current children cumulated CPU time (s) 1068.3
Current children cumulated vsize (Kb) 100176

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28980 0 0 0 107147 673 0 0 25 0 1 0 21172014 102580224 18947 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25044 18947 364 364 0 24680 0
[pid=8130] vsize: 100176
Current children cumulated CPU time (s) 1078.2
Current children cumulated vsize (Kb) 100176

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 28982 0 0 0 108136 676 0 0 25 0 1 0 21172014 102580224 18949 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25044 18949 364 364 0 24680 0
[pid=8130] vsize: 100176
Current children cumulated CPU time (s) 1088.12
Current children cumulated vsize (Kb) 100176

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 29130 0 0 0 109124 680 0 0 25 0 1 0 21172014 102445056 18926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25011 18926 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1098.04
Current children cumulated vsize (Kb) 100044

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29154 0 0 0 110109 686 0 0 25 0 1 0 21172014 102445056 18950 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 18950 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1107.95
Current children cumulated vsize (Kb) 100044

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29214 0 0 0 111095 691 0 0 25 0 1 0 21172014 102445056 19010 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 19010 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1117.86
Current children cumulated vsize (Kb) 100044

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29448 0 0 0 112081 695 0 0 25 0 1 0 21172014 102445056 19106 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 19106 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1127.76
Current children cumulated vsize (Kb) 100044

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29488 0 0 0 113064 701 0 0 25 0 1 0 21172014 102445056 19146 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 19146 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1137.65
Current children cumulated vsize (Kb) 100044

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29699 0 0 0 114050 706 0 0 25 0 1 0 21172014 102445056 19219 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 19219 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1147.56
Current children cumulated vsize (Kb) 100044

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29913 0 0 0 115039 710 0 0 25 0 1 0 21172014 102445056 19295 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25011 19295 364 364 0 24647 0
[pid=8130] vsize: 100044
Current children cumulated CPU time (s) 1157.49
Current children cumulated vsize (Kb) 100044

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29956 0 0 0 116021 716 0 0 25 0 1 0 21172014 102576128 19305 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8130/statm): 25043 19305 364 364 0 24679 0
[pid=8130] vsize: 100172
Current children cumulated CPU time (s) 1167.37
Current children cumulated vsize (Kb) 100172

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30000 0 0 0 117005 721 0 0 25 0 1 0 21172014 102842368 19349 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25108 19349 364 364 0 24744 0
[pid=8130] vsize: 100432
Current children cumulated CPU time (s) 1177.26
Current children cumulated vsize (Kb) 100432

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30139 0 0 0 117993 726 0 0 25 0 1 0 21172014 102842368 19350 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25108 19350 364 364 0 24744 0
[pid=8130] vsize: 100432
Current children cumulated CPU time (s) 1187.19
Current children cumulated vsize (Kb) 100432

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30160 0 0 0 118980 732 0 0 25 0 1 0 21172014 102842368 19371 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25108 19371 364 364 0 24744 0
[pid=8130] vsize: 100432
Current children cumulated CPU time (s) 1197.12
Current children cumulated vsize (Kb) 100432

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30161 0 0 0 119964 737 0 0 25 0 1 0 21172014 102842368 19372 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25108 19372 364 364 0 24744 0
[pid=8130] vsize: 100432
Current children cumulated CPU time (s) 1207.01
Current children cumulated vsize (Kb) 100432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8130
Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30161 0 0 0 119964 737 0 0 25 0 1 0 21172014 102842368 19372 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8130/statm): 25108 19372 364 364 0 24744 0
[pid=8130] vsize: 100432
Current children cumulated CPU time (s) 1207.01
Current children cumulated vsize (Kb) 100432

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

Child status: 0
Real time (s): 1220.28
CPU time (s): 1207.25
CPU user time (s): 1199.83
CPU system time (s): 7.42287
CPU usage (%): 98.9321
Max. virtual memory (cumulated for all children) (Kb): 100432

Verifier Data

ERROR: no interpretation found !