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-air04.opb
MD5SUMeb0734273e24196dd14c6f237b52fa81
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
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 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 10015

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 16:15:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8701 boxname=wulflinc26 idbench=497 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 8701
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        923536 kB
Buffers:         11240 kB
Cached:          82668 kB
SwapCached:          0 kB
Active:          46208 kB
Inactive:        50592 kB
HighTotal:      131008 kB
HighFree:        45444 kB
LowTotal:       903652 kB
LowFree:        878092 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8764 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:35:46 (client local time) WITH STATUS 0 IN 1201.79 SECONDS
stats: 8701 7 1201.79 0

Solver Data

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

c Decision: 72552/153207	Time: 307.33/86400
c Decision: 72568/153207	Time: 407.281/86400
c Decision: 72606/153207	Time: 460.292/86400
c Decision: 72627/153207	Time: 548.28/86400
c Decision: 72627/153207	Time: 561.819/86400
c Decision: 72650/153207	Time: 642.743/86400
c Decision: 72677/153207	Time: 767.93/86400
c Decision: 72691/153207	Time: 814.942/86400
c Decision: 72695/153207	Time: 850.94/86400
c Decision: 72709/153207	Time: 912.42/86400
c Decision: 72726/153207	Time: 1009.65/86400
c Decision: 72742/153207	Time: 1072.63/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/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21515585 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 373 2 364 364 0 9 0
[pid=7891] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-air04.opb

[startup+10.0013 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 18636 0 0 0 952 45 0 0 25 0 1 0 21515585 58728448 10650 4294967295 134512640 135987407 3221224560 3221218476 135488059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 14338 10650 364 364 0 13974 0
[pid=7891] vsize: 57352
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 57352

[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 21509 0 0 0 1923 61 0 0 25 0 1 0 21515585 64581632 13104 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 15767 13104 364 364 0 15403 0
[pid=7891] vsize: 63068
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 63068

[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 21815 0 0 0 2889 73 0 0 25 0 1 0 21515585 65896448 13410 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 16088 13410 364 364 0 15724 0
[pid=7891] vsize: 64352
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 64352

[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 21979 0 0 0 3858 83 0 0 25 0 1 0 21515585 66494464 13574 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 16234 13574 364 364 0 15870 0
[pid=7891] vsize: 64936
Current children cumulated CPU time (s) 39.41
Current children cumulated vsize (Kb) 64936

[startup+50.0031 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22113 0 0 0 4826 94 0 0 25 0 1 0 21515585 67047424 13708 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 16369 13708 364 364 0 16005 0
[pid=7891] vsize: 65476
Current children cumulated CPU time (s) 49.2
Current children cumulated vsize (Kb) 65476

[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22253 0 0 0 5796 105 0 0 25 0 1 0 21515585 67510272 13848 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 16482 13848 364 364 0 16118 0
[pid=7891] vsize: 65928
Current children cumulated CPU time (s) 59.01
Current children cumulated vsize (Kb) 65928

[startup+70.0045 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22339 0 0 0 6769 113 0 0 25 0 1 0 21515585 67837952 13934 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 16562 13934 364 364 0 16198 0
[pid=7891] vsize: 66248
Current children cumulated CPU time (s) 68.82
Current children cumulated vsize (Kb) 66248

[startup+80.0051 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22475 0 0 0 7736 123 0 0 25 0 1 0 21515585 67985408 14070 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 16598 14070 364 364 0 16234 0
[pid=7891] vsize: 66392
Current children cumulated CPU time (s) 78.59
Current children cumulated vsize (Kb) 66392

[startup+90.0048 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22628 0 0 0 8717 130 0 0 25 0 1 0 21515585 76681216 14223 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 18721 14223 364 364 0 18357 0
[pid=7891] vsize: 74884
Current children cumulated CPU time (s) 88.47
Current children cumulated vsize (Kb) 74884

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22739 0 0 0 9690 140 0 0 25 0 1 0 21515585 76816384 14334 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 18754 14334 364 364 0 18390 0
[pid=7891] vsize: 75016
Current children cumulated CPU time (s) 98.3
Current children cumulated vsize (Kb) 75016

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 22873 0 0 0 10658 151 0 0 25 0 1 0 21515585 77291520 14468 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 18870 14468 364 364 0 18506 0
[pid=7891] vsize: 75480
Current children cumulated CPU time (s) 108.09
Current children cumulated vsize (Kb) 75480

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23031 0 0 0 11636 159 0 0 25 0 1 0 21515585 77582336 14626 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 18941 14626 364 364 0 18577 0
[pid=7891] vsize: 75764
Current children cumulated CPU time (s) 117.95
Current children cumulated vsize (Kb) 75764

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23164 0 0 0 12611 169 0 0 25 0 1 0 21515585 77930496 14759 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19026 14759 364 364 0 18662 0
[pid=7891] vsize: 76104
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (Kb) 76104

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23299 0 0 0 13581 179 0 0 25 0 1 0 21515585 78254080 14894 4294967295 134512640 135987407 3221224560 3221223376 134816639 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19105 14894 364 364 0 18741 0
[pid=7891] vsize: 76420
Current children cumulated CPU time (s) 137.6
Current children cumulated vsize (Kb) 76420

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23431 0 0 0 14562 185 0 0 25 0 1 0 21515585 78446592 15026 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19152 15026 364 364 0 18788 0
[pid=7891] vsize: 76608
Current children cumulated CPU time (s) 147.47
Current children cumulated vsize (Kb) 76608

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23585 0 0 0 15545 191 0 0 25 0 1 0 21515585 78610432 15180 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19192 15180 364 364 0 18828 0
[pid=7891] vsize: 76768
Current children cumulated CPU time (s) 157.36
Current children cumulated vsize (Kb) 76768

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23720 0 0 0 16514 201 0 0 25 0 1 0 21515585 79069184 15315 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19304 15315 364 364 0 18940 0
[pid=7891] vsize: 77216
Current children cumulated CPU time (s) 167.15
Current children cumulated vsize (Kb) 77216

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23830 0 0 0 17489 210 0 0 25 0 1 0 21515585 79204352 15425 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19337 15425 364 364 0 18973 0
[pid=7891] vsize: 77348
Current children cumulated CPU time (s) 176.99
Current children cumulated vsize (Kb) 77348

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 23934 0 0 0 18469 216 0 0 25 0 1 0 21515585 79351808 15529 4294967295 134512640 135987407 3221224560 3221223136 134788872 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19373 15529 364 364 0 19009 0
[pid=7891] vsize: 77492
Current children cumulated CPU time (s) 186.85
Current children cumulated vsize (Kb) 77492

[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24076 0 0 0 19435 228 0 0 25 0 1 0 21515585 79491072 15671 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19407 15671 364 364 0 19043 0
[pid=7891] vsize: 77628
Current children cumulated CPU time (s) 196.63
Current children cumulated vsize (Kb) 77628

[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24237 0 0 0 20402 239 0 0 25 0 1 0 21515585 79953920 15832 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19520 15832 364 364 0 19156 0
[pid=7891] vsize: 78080
Current children cumulated CPU time (s) 206.41
Current children cumulated vsize (Kb) 78080

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24320 0 0 0 21364 251 0 0 25 0 1 0 21515585 80117760 15915 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19560 15915 364 364 0 19196 0
[pid=7891] vsize: 78240
Current children cumulated CPU time (s) 216.15
Current children cumulated vsize (Kb) 78240

[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24396 0 0 0 22341 259 0 0 25 0 1 0 21515585 80252928 15991 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19593 15991 364 364 0 19229 0
[pid=7891] vsize: 78372
Current children cumulated CPU time (s) 226
Current children cumulated vsize (Kb) 78372

[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24502 0 0 0 23314 268 0 0 25 0 1 0 21515585 80388096 16097 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19626 16097 364 364 0 19262 0
[pid=7891] vsize: 78504
Current children cumulated CPU time (s) 235.82
Current children cumulated vsize (Kb) 78504

[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24629 0 0 0 24282 278 0 0 25 0 1 0 21515585 80527360 16224 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19660 16224 364 364 0 19296 0
[pid=7891] vsize: 78640
Current children cumulated CPU time (s) 245.6
Current children cumulated vsize (Kb) 78640

[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24721 0 0 0 25253 287 0 0 25 0 1 0 21515585 80687104 16316 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19699 16316 364 364 0 19335 0
[pid=7891] vsize: 78796
Current children cumulated CPU time (s) 255.4
Current children cumulated vsize (Kb) 78796

[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24848 0 0 0 26233 294 0 0 25 0 1 0 21515585 80822272 16443 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19732 16443 364 364 0 19368 0
[pid=7891] vsize: 78928
Current children cumulated CPU time (s) 265.27
Current children cumulated vsize (Kb) 78928

[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 24942 0 0 0 27203 304 0 0 25 0 1 0 21515585 80957440 16537 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19765 16537 364 364 0 19401 0
[pid=7891] vsize: 79060
Current children cumulated CPU time (s) 275.07
Current children cumulated vsize (Kb) 79060

[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 25097 0 0 0 28177 313 0 0 25 0 1 0 21515585 81276928 16692 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19843 16692 364 364 0 19479 0
[pid=7891] vsize: 79372
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (Kb) 79372

[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 25335 0 0 0 29168 316 0 0 25 0 1 0 21515585 81276928 16930 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19843 16930 364 364 0 19479 0
[pid=7891] vsize: 79372
Current children cumulated CPU time (s) 294.84
Current children cumulated vsize (Kb) 79372

[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 25480 0 0 0 30151 323 0 0 25 0 1 0 21515585 81424384 17075 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19879 17075 364 364 0 19515 0
[pid=7891] vsize: 79516
Current children cumulated CPU time (s) 304.74
Current children cumulated vsize (Kb) 79516

[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 25632 0 0 0 31141 326 0 0 25 0 1 0 21515585 81559552 17227 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 19912 17227 364 364 0 19548 0
[pid=7891] vsize: 79648
Current children cumulated CPU time (s) 314.67
Current children cumulated vsize (Kb) 79648

[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26028 0 0 0 32119 334 0 0 25 0 1 0 21515585 81866752 17323 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 19987 17323 364 364 0 19623 0
[pid=7891] vsize: 79948
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (Kb) 79948

[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26047 0 0 0 33102 340 0 0 25 0 1 0 21515585 82038784 17342 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 20029 17342 364 364 0 19665 0
[pid=7891] vsize: 80116
Current children cumulated CPU time (s) 334.42
Current children cumulated vsize (Kb) 80116

[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26076 0 0 0 34076 349 0 0 25 0 1 0 21515585 82038784 17371 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 20029 17371 364 364 0 19665 0
[pid=7891] vsize: 80116
Current children cumulated CPU time (s) 344.25
Current children cumulated vsize (Kb) 80116

[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26149 0 0 0 35040 360 0 0 25 0 1 0 21515585 82448384 17444 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 20129 17444 364 364 0 19765 0
[pid=7891] vsize: 80516
Current children cumulated CPU time (s) 354
Current children cumulated vsize (Kb) 80516

[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26214 0 0 0 36010 371 0 0 25 0 1 0 21515585 82743296 17509 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 20201 17509 364 364 0 19837 0
[pid=7891] vsize: 80804
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (Kb) 80804

[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26331 0 0 0 36971 384 0 0 25 0 1 0 21515585 82882560 17626 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 20235 17626 364 364 0 19871 0
[pid=7891] vsize: 80940
Current children cumulated CPU time (s) 373.55
Current children cumulated vsize (Kb) 80940

[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26451 0 0 0 37933 396 0 0 25 0 1 0 21515585 83181568 17746 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 20308 17746 364 364 0 19944 0
[pid=7891] vsize: 81232
Current children cumulated CPU time (s) 383.29
Current children cumulated vsize (Kb) 81232

[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26555 0 0 0 38909 404 0 0 25 0 1 0 21515585 100106240 17850 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 24440 17850 364 364 0 24076 0
[pid=7891] vsize: 97760
Current children cumulated CPU time (s) 393.13
Current children cumulated vsize (Kb) 97760

[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26682 0 0 0 39881 414 0 0 25 0 1 0 21515585 100257792 17977 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 24477 17977 364 364 0 24113 0
[pid=7891] vsize: 97908
Current children cumulated CPU time (s) 402.95
Current children cumulated vsize (Kb) 97908

[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 26910 0 0 0 40869 418 0 0 25 0 1 0 21515585 100257792 18205 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 24477 18205 364 364 0 24113 0
[pid=7891] vsize: 97908
Current children cumulated CPU time (s) 412.87
Current children cumulated vsize (Kb) 97908

[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 27391 0 0 0 41856 423 0 0 25 0 1 0 21515585 100429824 18386 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 24519 18386 364 364 0 24155 0
[pid=7891] vsize: 98076
Current children cumulated CPU time (s) 422.79
Current children cumulated vsize (Kb) 98076

[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 30566 0 0 0 42835 436 0 0 25 0 1 0 21515585 113176576 18488 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27631 18488 364 364 0 27267 0
[pid=7891] vsize: 110524
Current children cumulated CPU time (s) 432.71
Current children cumulated vsize (Kb) 110524

[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 30653 0 0 0 43812 443 0 0 25 0 1 0 21515585 113176576 18575 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 27631 18575 364 364 0 27267 0
[pid=7891] vsize: 110524
Current children cumulated CPU time (s) 442.55
Current children cumulated vsize (Kb) 110524

[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 30716 0 0 0 44791 450 0 0 25 0 1 0 21515585 113176576 18638 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27631 18638 364 364 0 27267 0
[pid=7891] vsize: 110524
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 110524

[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 30814 0 0 0 45758 461 0 0 25 0 1 0 21515585 113340416 18736 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 27671 18736 364 364 0 27307 0
[pid=7891] vsize: 110684
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (Kb) 110684

[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31269 0 0 0 46749 465 0 0 25 0 1 0 21515585 113537024 18891 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 27719 18891 364 364 0 27355 0
[pid=7891] vsize: 110876
Current children cumulated CPU time (s) 472.14
Current children cumulated vsize (Kb) 110876

[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31355 0 0 0 47718 475 0 0 25 0 1 0 21515585 113537024 18977 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27719 18977 364 364 0 27355 0
[pid=7891] vsize: 110876
Current children cumulated CPU time (s) 481.93
Current children cumulated vsize (Kb) 110876

[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31456 0 0 0 48679 487 0 0 25 0 1 0 21515585 113811456 19078 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27786 19078 364 364 0 27422 0
[pid=7891] vsize: 111144
Current children cumulated CPU time (s) 491.66
Current children cumulated vsize (Kb) 111144

[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31531 0 0 0 49649 496 0 0 25 0 1 0 21515585 113811456 19153 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 27786 19153 364 364 0 27422 0
[pid=7891] vsize: 111144
Current children cumulated CPU time (s) 501.45
Current children cumulated vsize (Kb) 111144

[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31633 0 0 0 50625 502 0 0 25 0 1 0 21515585 114106368 19255 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27858 19255 364 364 0 27494 0
[pid=7891] vsize: 111432
Current children cumulated CPU time (s) 511.27
Current children cumulated vsize (Kb) 111432

[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 31827 0 0 0 51614 506 0 0 25 0 1 0 21515585 114106368 19449 4294967295 134512640 135987407 3221224560 3221223056 134878356 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27858 19449 364 364 0 27494 0
[pid=7891] vsize: 111432
Current children cumulated CPU time (s) 521.2
Current children cumulated vsize (Kb) 111432

[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 32013 0 0 0 52599 511 0 0 25 0 1 0 21515585 114241536 19635 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27891 19635 364 364 0 27527 0
[pid=7891] vsize: 111564
Current children cumulated CPU time (s) 531.1
Current children cumulated vsize (Kb) 111564

[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 32201 0 0 0 53590 515 0 0 25 0 1 0 21515585 114241536 19823 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27891 19823 364 364 0 27527 0
[pid=7891] vsize: 111564
Current children cumulated CPU time (s) 541.05
Current children cumulated vsize (Kb) 111564

[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 32292 0 0 0 54567 524 0 0 25 0 1 0 21515585 114421760 19914 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27935 19914 364 364 0 27571 0
[pid=7891] vsize: 111740
Current children cumulated CPU time (s) 550.91
Current children cumulated vsize (Kb) 111740

[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 32723 0 0 0 55556 528 0 0 25 0 1 0 21515585 114421760 20045 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27935 20045 364 364 0 27571 0
[pid=7891] vsize: 111740
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (Kb) 111740

[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 32806 0 0 0 56541 532 0 0 25 0 1 0 21515585 114421760 20128 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 27935 20128 364 364 0 27571 0
[pid=7891] vsize: 111740
Current children cumulated CPU time (s) 570.73
Current children cumulated vsize (Kb) 111740

[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33209 0 0 0 57525 537 0 0 25 0 1 0 21515585 114585600 20231 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 27975 20231 364 364 0 27611 0
[pid=7891] vsize: 111900
Current children cumulated CPU time (s) 580.62
Current children cumulated vsize (Kb) 111900

[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33293 0 0 0 58489 549 0 0 25 0 1 0 21515585 114749440 20315 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28015 20315 364 364 0 27651 0
[pid=7891] vsize: 112060
Current children cumulated CPU time (s) 590.38
Current children cumulated vsize (Kb) 112060

[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33433 0 0 0 59462 558 0 0 25 0 1 0 21515585 115040256 20455 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28086 20455 364 364 0 27722 0
[pid=7891] vsize: 112344
Current children cumulated CPU time (s) 600.2
Current children cumulated vsize (Kb) 112344

[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33572 0 0 0 60437 565 0 0 25 0 1 0 21515585 115040256 20594 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28086 20594 364 364 0 27722 0
[pid=7891] vsize: 112344
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 112344

[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 33682 0 0 0 61412 572 0 0 25 0 1 0 21515585 115187712 20704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28122 20704 364 364 0 27758 0
[pid=7891] vsize: 112488
Current children cumulated CPU time (s) 619.84
Current children cumulated vsize (Kb) 112488

[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33823 0 0 0 62390 579 0 0 25 0 1 0 21515585 115462144 20845 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28189 20845 364 364 0 27825 0
[pid=7891] vsize: 112756
Current children cumulated CPU time (s) 629.69
Current children cumulated vsize (Kb) 112756

[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 33964 0 0 0 63379 582 0 0 25 0 1 0 21515585 115462144 20986 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28189 20986 364 364 0 27825 0
[pid=7891] vsize: 112756
Current children cumulated CPU time (s) 639.61
Current children cumulated vsize (Kb) 112756

[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34278 0 0 0 64373 585 0 0 25 0 1 0 21515585 115462144 21300 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28189 21300 364 364 0 27825 0
[pid=7891] vsize: 112756
Current children cumulated CPU time (s) 649.58
Current children cumulated vsize (Kb) 112756

[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34712 0 0 0 65360 591 0 0 25 0 1 0 21515585 115597312 21434 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28222 21434 364 364 0 27858 0
[pid=7891] vsize: 112888
Current children cumulated CPU time (s) 659.51
Current children cumulated vsize (Kb) 112888

[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34721 0 0 0 66348 596 0 0 25 0 1 0 21515585 115736576 21443 4294967295 134512640 135987407 3221224560 3221223344 134812365 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28256 21443 364 364 0 27892 0
[pid=7891] vsize: 113024
Current children cumulated CPU time (s) 669.44
Current children cumulated vsize (Kb) 113024

[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34768 0 0 0 67316 604 0 0 25 0 1 0 21515585 115884032 21490 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28292 21490 364 364 0 27928 0
[pid=7891] vsize: 113168
Current children cumulated CPU time (s) 679.2
Current children cumulated vsize (Kb) 113168

[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34795 0 0 0 68296 611 0 0 25 0 1 0 21515585 116039680 21517 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28330 21517 364 364 0 27966 0
[pid=7891] vsize: 113320
Current children cumulated CPU time (s) 689.07
Current children cumulated vsize (Kb) 113320

[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34822 0 0 0 69283 615 0 0 25 0 1 0 21515585 116039680 21544 4294967295 134512640 135987407 3221224560 3221223312 134801247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28330 21544 364 364 0 27966 0
[pid=7891] vsize: 113320
Current children cumulated CPU time (s) 698.98
Current children cumulated vsize (Kb) 113320

[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34843 0 0 0 70274 618 0 0 25 0 1 0 21515585 116174848 21565 4294967295 134512640 135987407 3221224560 3221223248 134788602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28363 21565 364 364 0 27999 0
[pid=7891] vsize: 113452
Current children cumulated CPU time (s) 708.92
Current children cumulated vsize (Kb) 113452

[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34874 0 0 0 71258 622 0 0 25 0 1 0 21515585 116310016 21596 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28396 21596 364 364 0 28032 0
[pid=7891] vsize: 113584
Current children cumulated CPU time (s) 718.8
Current children cumulated vsize (Kb) 113584

[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34893 0 0 0 72234 630 0 0 25 0 1 0 21515585 116310016 21615 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28396 21615 364 364 0 28032 0
[pid=7891] vsize: 113584
Current children cumulated CPU time (s) 728.64
Current children cumulated vsize (Kb) 113584

[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 34902 0 0 0 73217 636 0 0 25 0 1 0 21515585 116445184 21624 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28429 21624 364 364 0 28065 0
[pid=7891] vsize: 113716
Current children cumulated CPU time (s) 738.53
Current children cumulated vsize (Kb) 113716

[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34950 0 0 0 74198 642 0 0 25 0 1 0 21515585 116641792 21672 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28477 21672 364 364 0 28113 0
[pid=7891] vsize: 113908
Current children cumulated CPU time (s) 748.4
Current children cumulated vsize (Kb) 113908

[startup+770.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 34983 0 0 0 75165 651 0 0 25 0 1 0 21515585 116817920 21705 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28520 21705 364 364 0 28156 0
[pid=7891] vsize: 114080
Current children cumulated CPU time (s) 758.16
Current children cumulated vsize (Kb) 114080

[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35022 0 0 0 76139 660 0 0 25 0 1 0 21515585 116965376 21744 4294967295 134512640 135987407 3221224560 3221223120 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28556 21744 364 364 0 28192 0
[pid=7891] vsize: 114224
Current children cumulated CPU time (s) 767.99
Current children cumulated vsize (Kb) 114224

[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35025 0 0 0 77126 664 0 0 25 0 1 0 21515585 116965376 21747 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28556 21747 364 364 0 28192 0
[pid=7891] vsize: 114224
Current children cumulated CPU time (s) 777.9
Current children cumulated vsize (Kb) 114224

[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35330 0 0 0 78109 672 0 0 25 0 1 0 21515585 116965376 21752 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28556 21752 364 364 0 28192 0
[pid=7891] vsize: 114224
Current children cumulated CPU time (s) 787.81
Current children cumulated vsize (Kb) 114224

[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35344 0 0 0 79089 678 0 0 25 0 1 0 21515585 117161984 21766 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28604 21766 364 364 0 28240 0
[pid=7891] vsize: 114416
Current children cumulated CPU time (s) 797.67
Current children cumulated vsize (Kb) 114416

[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 35367 0 0 0 80070 685 0 0 25 0 1 0 21515585 117161984 21789 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28604 21789 364 364 0 28240 0
[pid=7891] vsize: 114416
Current children cumulated CPU time (s) 807.55
Current children cumulated vsize (Kb) 114416

[startup+830.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35381 0 0 0 81044 694 0 0 25 0 1 0 21515585 117309440 21803 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28640 21803 364 364 0 28276 0
[pid=7891] vsize: 114560
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 114560

[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35686 0 0 0 82037 697 0 0 25 0 1 0 21515585 117309440 21808 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28640 21808 364 364 0 28276 0
[pid=7891] vsize: 114560
Current children cumulated CPU time (s) 827.34
Current children cumulated vsize (Kb) 114560

[startup+850.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35727 0 0 0 83004 708 0 0 25 0 1 0 21515585 117465088 21849 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28678 21849 364 364 0 28314 0
[pid=7891] vsize: 114712
Current children cumulated CPU time (s) 837.12
Current children cumulated vsize (Kb) 114712

[startup+860.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 35794 0 0 0 83984 714 0 0 25 0 1 0 21515585 117465088 21916 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28678 21916 364 364 0 28314 0
[pid=7891] vsize: 114712
Current children cumulated CPU time (s) 846.98
Current children cumulated vsize (Kb) 114712

[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 36022 0 0 0 84974 717 0 0 25 0 1 0 21515585 117604352 22144 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28712 22144 364 364 0 28348 0
[pid=7891] vsize: 114848
Current children cumulated CPU time (s) 856.91
Current children cumulated vsize (Kb) 114848

[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 36484 0 0 0 85965 720 0 0 25 0 1 0 21515585 117604352 22306 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28712 22306 364 364 0 28348 0
[pid=7891] vsize: 114848
Current children cumulated CPU time (s) 866.85
Current children cumulated vsize (Kb) 114848

[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 36580 0 0 0 86953 725 0 0 25 0 1 0 21515585 117604352 22402 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28712 22402 364 364 0 28348 0
[pid=7891] vsize: 114848
Current children cumulated CPU time (s) 876.78
Current children cumulated vsize (Kb) 114848

[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 36679 0 0 0 87926 734 0 0 25 0 1 0 21515585 117768192 22501 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28752 22501 364 364 0 28388 0
[pid=7891] vsize: 115008
Current children cumulated CPU time (s) 886.6
Current children cumulated vsize (Kb) 115008

[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 36751 0 0 0 88901 743 0 0 25 0 1 0 21515585 117932032 22573 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28792 22573 364 364 0 28428 0
[pid=7891] vsize: 115168
Current children cumulated CPU time (s) 896.44
Current children cumulated vsize (Kb) 115168

[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 36850 0 0 0 89880 749 0 0 25 0 1 0 21515585 117932032 22672 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28792 22672 364 364 0 28428 0
[pid=7891] vsize: 115168
Current children cumulated CPU time (s) 906.29
Current children cumulated vsize (Kb) 115168

[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 36958 0 0 0 90864 755 0 0 25 0 1 0 21515585 117932032 22780 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28792 22780 364 364 0 28428 0
[pid=7891] vsize: 115168
Current children cumulated CPU time (s) 916.19
Current children cumulated vsize (Kb) 115168

[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 37333 0 0 0 91853 760 0 0 25 0 1 0 21515585 117932032 22855 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28792 22855 364 364 0 28428 0
[pid=7891] vsize: 115168
Current children cumulated CPU time (s) 926.13
Current children cumulated vsize (Kb) 115168

[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 37413 0 0 0 92836 765 0 0 25 0 1 0 21515585 117932032 22935 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28792 22935 364 364 0 28428 0
[pid=7891] vsize: 115168
Current children cumulated CPU time (s) 936.01
Current children cumulated vsize (Kb) 115168

[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 37519 0 0 0 93812 774 0 0 25 0 1 0 21515585 118083584 23041 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 28829 23041 364 364 0 28465 0
[pid=7891] vsize: 115316
Current children cumulated CPU time (s) 945.86
Current children cumulated vsize (Kb) 115316

[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 37606 0 0 0 94773 788 0 0 25 0 1 0 21515585 118378496 23128 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 28901 23128 364 364 0 28537 0
[pid=7891] vsize: 115604
Current children cumulated CPU time (s) 955.61
Current children cumulated vsize (Kb) 115604

[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 37706 0 0 0 95757 794 0 0 25 0 1 0 21515585 151932928 23228 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37093 23228 364 364 0 36729 0
[pid=7891] vsize: 148372
Current children cumulated CPU time (s) 965.51
Current children cumulated vsize (Kb) 148372

[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 37835 0 0 0 96742 799 0 0 25 0 1 0 21515585 151932928 23357 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37093 23357 364 364 0 36729 0
[pid=7891] vsize: 148372
Current children cumulated CPU time (s) 975.41
Current children cumulated vsize (Kb) 148372

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 37999 0 0 0 97717 807 0 0 25 0 1 0 21515585 152092672 23521 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37132 23521 364 364 0 36768 0
[pid=7891] vsize: 148528
Current children cumulated CPU time (s) 985.24
Current children cumulated vsize (Kb) 148528

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38087 0 0 0 98677 819 0 0 25 0 1 0 21515585 152281088 23609 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37178 23609 364 364 0 36814 0
[pid=7891] vsize: 148712
Current children cumulated CPU time (s) 994.96
Current children cumulated vsize (Kb) 148712

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38158 0 0 0 99660 824 0 0 25 0 1 0 21515585 152281088 23680 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37178 23680 364 364 0 36814 0
[pid=7891] vsize: 148712
Current children cumulated CPU time (s) 1004.84
Current children cumulated vsize (Kb) 148712

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38206 0 0 0 100639 831 0 0 25 0 1 0 21515585 152281088 23728 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37178 23728 364 364 0 36814 0
[pid=7891] vsize: 148712
Current children cumulated CPU time (s) 1014.7
Current children cumulated vsize (Kb) 148712

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38532 0 0 0 101622 836 0 0 25 0 1 0 21515585 152477696 23754 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37226 23754 364 364 0 36862 0
[pid=7891] vsize: 148904
Current children cumulated CPU time (s) 1024.58
Current children cumulated vsize (Kb) 148904

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38553 0 0 0 102610 840 0 0 25 0 1 0 21515585 152477696 23775 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37226 23775 364 364 0 36862 0
[pid=7891] vsize: 148904
Current children cumulated CPU time (s) 1034.5
Current children cumulated vsize (Kb) 148904

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38555 0 0 0 103592 846 0 0 25 0 1 0 21515585 152477696 23777 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37226 23777 364 364 0 36862 0
[pid=7891] vsize: 148904
Current children cumulated CPU time (s) 1044.38
Current children cumulated vsize (Kb) 148904

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38568 0 0 0 104567 854 0 0 25 0 1 0 21515585 152674304 23790 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37274 23790 364 364 0 36910 0
[pid=7891] vsize: 149096
Current children cumulated CPU time (s) 1054.21
Current children cumulated vsize (Kb) 149096

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38579 0 0 0 105532 865 0 0 25 0 1 0 21515585 152674304 23801 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37274 23801 364 364 0 36910 0
[pid=7891] vsize: 149096
Current children cumulated CPU time (s) 1063.97
Current children cumulated vsize (Kb) 149096

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38599 0 0 0 106512 871 0 0 25 0 1 0 21515585 152821760 23821 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37310 23821 364 364 0 36946 0
[pid=7891] vsize: 149240
Current children cumulated CPU time (s) 1073.83
Current children cumulated vsize (Kb) 149240

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38918 0 0 0 107500 876 0 0 25 0 1 0 21515585 152821760 23840 4294967295 134512640 135987407 3221224560 3221223200 134823160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37310 23840 364 364 0 36946 0
[pid=7891] vsize: 149240
Current children cumulated CPU time (s) 1083.76
Current children cumulated vsize (Kb) 149240

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 38975 0 0 0 108462 888 0 0 25 0 1 0 21515585 153149440 23897 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37390 23897 364 364 0 37026 0
[pid=7891] vsize: 149560
Current children cumulated CPU time (s) 1093.5
Current children cumulated vsize (Kb) 149560

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39001 0 0 0 109426 899 0 0 25 0 1 0 21515585 153296896 23923 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37426 23923 364 364 0 37062 0
[pid=7891] vsize: 149704
Current children cumulated CPU time (s) 1103.25
Current children cumulated vsize (Kb) 149704

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39034 0 0 0 110405 906 0 0 25 0 1 0 21515585 153493504 23956 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7891/statm): 37474 23956 364 364 0 37110 0
[pid=7891] vsize: 149896
Current children cumulated CPU time (s) 1113.11
Current children cumulated vsize (Kb) 149896

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39058 0 0 0 111366 919 0 0 25 0 1 0 21515585 153493504 23980 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37474 23980 364 364 0 37110 0
[pid=7891] vsize: 149896
Current children cumulated CPU time (s) 1122.85
Current children cumulated vsize (Kb) 149896

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39097 0 0 0 112324 932 0 0 25 0 1 0 21515585 153821184 24019 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37554 24019 364 364 0 37190 0
[pid=7891] vsize: 150216
Current children cumulated CPU time (s) 1132.56
Current children cumulated vsize (Kb) 150216

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39157 0 0 0 113284 947 0 0 25 0 1 0 21515585 153985024 24079 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37594 24079 364 364 0 37230 0
[pid=7891] vsize: 150376
Current children cumulated CPU time (s) 1142.31
Current children cumulated vsize (Kb) 150376

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39169 0 0 0 114272 952 0 0 25 0 1 0 21515585 154132480 24091 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37630 24091 364 364 0 37266 0
[pid=7891] vsize: 150520
Current children cumulated CPU time (s) 1152.24
Current children cumulated vsize (Kb) 150520

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39174 0 0 0 115255 958 0 0 25 0 1 0 21515585 154132480 24096 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37630 24096 364 364 0 37266 0
[pid=7891] vsize: 150520
Current children cumulated CPU time (s) 1162.13
Current children cumulated vsize (Kb) 150520

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39177 0 0 0 116238 963 0 0 25 0 1 0 21515585 154132480 24099 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37630 24099 364 364 0 37266 0
[pid=7891] vsize: 150520
Current children cumulated CPU time (s) 1172.01
Current children cumulated vsize (Kb) 150520

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39189 0 0 0 117216 970 0 0 25 0 1 0 21515585 154132480 24111 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37630 24111 364 364 0 37266 0
[pid=7891] vsize: 150520
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (Kb) 150520

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) R 7890 7891 4005 0 -1 0 39216 0 0 0 118188 979 0 0 25 0 1 0 21515585 154312704 24138 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37674 24138 364 364 0 37310 0
[pid=7891] vsize: 150696
Current children cumulated CPU time (s) 1191.67
Current children cumulated vsize (Kb) 150696

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 39240 0 0 0 119163 988 0 0 25 0 1 0 21515585 154312704 24162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37674 24162 364 364 0 37310 0
[pid=7891] vsize: 150696
Current children cumulated CPU time (s) 1201.51
Current children cumulated vsize (Kb) 150696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 7891
Raw data (/proc/7891/stat): 7891 (pb2sat) T 7890 7891 4005 0 -1 0 39240 0 0 0 119163 988 0 0 25 0 1 0 21515585 154312704 24162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7891/statm): 37674 24162 364 364 0 37310 0
[pid=7891] vsize: 150696
Current children cumulated CPU time (s) 1201.51
Current children cumulated vsize (Kb) 150696

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

Child status: 0
Real time (s): 1220.32
CPU time (s): 1201.79
CPU user time (s): 1191.85
CPU system time (s): 9.93949
CPU usage (%): 98.4818
Max. virtual memory (cumulated for all children) (Kb): 150696

Verifier Data

ERROR: no interpretation found !