Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM56b5875081183b5ab8f7e29cbac05646
Bench Categoryoptimization, big integers (OPTBIGINT)
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 8814
Biggest coefficient in the objective function 3375324200960
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 2061624536571104
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 3375324200960
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 2061624536571104
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables12846
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint192

Trace number 10411

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931780 kB
Buffers:         15476 kB
Cached:          68572 kB
SwapCached:          0 kB
Active:          45244 kB
Inactive:        41716 kB
HighTotal:      131008 kB
HighFree:        58464 kB
LowTotal:       903652 kB
LowFree:        873316 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10388 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:15:49 (client local time) WITH STATUS 0 IN 1208.19 SECONDS
stats: 9101 7 1208.19 0

Solver Data

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

c Decision: 56444/185554	Time: 65.527/86400
c Decision: 56493/185554	Time: 97.0053/86400
c Decision: 56627/185554	Time: 131.191/86400
c Decision: 56768/185554	Time: 165.2/86400
c Decision: 56974/185554	Time: 200.876/86400
c Decision: 57109/185554	Time: 243.984/86400
c Decision: 59165/185554	Time: 1015.13/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/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22157108 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 373 2 364 364 0 9 0
[pid=10184] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb

[startup+10.0017 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 24567 0 0 0 937 59 0 0 25 0 1 0 22157108 80515072 13426 4294967295 134512640 135987407 3221224560 3221221952 134615114 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 19657 13426 364 364 0 19293 0
[pid=10184] vsize: 78628
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78628

[startup+20.0024 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 27236 0 0 0 1879 82 0 0 25 0 1 0 22157108 89743360 15530 4294967295 134512640 135987407 3221224560 3221223248 134811784 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 21910 15530 364 364 0 21546 0
[pid=10184] vsize: 87640
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (Kb) 87640

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 27791 0 0 0 2797 109 0 0 25 0 1 0 22157108 92299264 16085 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 22534 16085 364 364 0 22170 0
[pid=10184] vsize: 90136
Current children cumulated CPU time (s) 29.06
Current children cumulated vsize (Kb) 90136

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.91 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 28036 0 0 0 3717 134 0 0 25 0 1 0 22157108 93265920 16330 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 22770 16330 364 364 0 22406 0
[pid=10184] vsize: 91080
Current children cumulated CPU time (s) 38.51
Current children cumulated vsize (Kb) 91080

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 28590 0 0 0 4631 164 0 0 25 0 1 0 22157108 95838208 16884 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 23398 16884 364 364 0 23034 0
[pid=10184] vsize: 93592
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (Kb) 93592

[startup+60.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 28901 0 0 0 5511 202 0 0 25 0 1 0 22157108 97312768 17195 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 23758 17195 364 364 0 23394 0
[pid=10184] vsize: 95032
Current children cumulated CPU time (s) 57.13
Current children cumulated vsize (Kb) 95032

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 29115 0 0 0 6387 241 0 0 25 0 1 0 22157108 98131968 17409 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 23958 17409 364 364 0 23594 0
[pid=10184] vsize: 95832
Current children cumulated CPU time (s) 66.28
Current children cumulated vsize (Kb) 95832

[startup+80.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 29568 0 0 0 7271 280 0 0 25 0 1 0 22157108 98463744 17499 4294967295 134512640 135987407 3221224560 3221223292 135499901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 24039 17499 364 364 0 23675 0
[pid=10184] vsize: 96156
Current children cumulated CPU time (s) 75.51
Current children cumulated vsize (Kb) 96156

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 30037 0 0 0 8176 312 0 0 25 0 1 0 22157108 100909056 17968 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 24636 17968 364 364 0 24272 0
[pid=10184] vsize: 98544
Current children cumulated CPU time (s) 84.88
Current children cumulated vsize (Kb) 98544

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 30289 0 0 0 9068 348 0 0 25 0 1 0 22157108 102285312 18220 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 24972 18220 364 364 0 24608 0
[pid=10184] vsize: 99888
Current children cumulated CPU time (s) 94.16
Current children cumulated vsize (Kb) 99888

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 30585 0 0 0 9943 387 0 0 25 0 1 0 22157108 103464960 18516 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 25260 18516 364 364 0 24896 0
[pid=10184] vsize: 101040
Current children cumulated CPU time (s) 103.3
Current children cumulated vsize (Kb) 101040

[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 31194 0 0 0 10833 425 0 0 25 0 1 0 22157108 104251392 18762 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 25452 18762 364 364 0 25088 0
[pid=10184] vsize: 101808
Current children cumulated CPU time (s) 112.58
Current children cumulated vsize (Kb) 101808

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 31582 0 0 0 11724 460 0 0 25 0 1 0 22157108 105824256 19150 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 25836 19150 364 364 0 25472 0
[pid=10184] vsize: 103344
Current children cumulated CPU time (s) 121.84
Current children cumulated vsize (Kb) 103344

[startup+140.009 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 31812 0 0 0 12620 493 0 0 17 0 1 0 22157108 106610688 19380 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 26028 19380 364 364 0 25664 0
[pid=10184] vsize: 104112
Current children cumulated CPU time (s) 131.13
Current children cumulated vsize (Kb) 104112

[startup+150.011 s]
Raw data (loadavg): 1.14 1.00 0.92 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 32055 0 0 0 13504 530 0 0 25 0 1 0 22157108 107593728 19623 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 26268 19623 364 364 0 25904 0
[pid=10184] vsize: 105072
Current children cumulated CPU time (s) 140.34
Current children cumulated vsize (Kb) 105072

[startup+160.011 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 32605 0 0 0 14400 565 0 0 24 0 1 0 22157108 108576768 19810 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 26508 19810 364 364 0 26144 0
[pid=10184] vsize: 106032
Current children cumulated CPU time (s) 149.65
Current children cumulated vsize (Kb) 106032

[startup+170.012 s]
Raw data (loadavg): 1.10 1.00 0.92 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 32658 0 0 0 15273 606 0 0 25 0 1 0 22157108 108740608 19863 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 26548 19863 364 364 0 26184 0
[pid=10184] vsize: 106192
Current children cumulated CPU time (s) 158.79
Current children cumulated vsize (Kb) 106192

[startup+180.012 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 32726 0 0 0 16133 651 0 0 25 0 1 0 22157108 108904448 19931 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 26588 19931 364 364 0 26224 0
[pid=10184] vsize: 106352
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (Kb) 106352

[startup+190.012 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 33237 0 0 0 17021 688 0 0 25 0 1 0 22157108 109592576 20079 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 26756 20079 364 364 0 26392 0
[pid=10184] vsize: 107024
Current children cumulated CPU time (s) 177.09
Current children cumulated vsize (Kb) 107024

[startup+200.013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 33288 0 0 0 17865 739 0 0 25 0 1 0 22157108 109592576 20130 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 26756 20130 364 364 0 26392 0
[pid=10184] vsize: 107024
Current children cumulated CPU time (s) 186.04
Current children cumulated vsize (Kb) 107024

[startup+210.013 s]
Raw data (loadavg): 1.05 1.00 0.92 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 33418 0 0 0 18713 786 0 0 24 0 1 0 22157108 110075904 20260 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 26874 20260 364 364 0 26510 0
[pid=10184] vsize: 107496
Current children cumulated CPU time (s) 194.99
Current children cumulated vsize (Kb) 107496

[startup+220.013 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 33596 0 0 0 19551 840 0 0 25 0 1 0 22157108 110972928 20438 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 27093 20438 364 364 0 26729 0
[pid=10184] vsize: 108372
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (Kb) 108372

[startup+230.014 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 34108 0 0 0 20421 883 0 0 24 0 1 0 22157108 111599616 20587 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 27246 20587 364 364 0 26882 0
[pid=10184] vsize: 108984
Current children cumulated CPU time (s) 213.04
Current children cumulated vsize (Kb) 108984

[startup+240.014 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 34185 0 0 0 21270 930 0 0 25 0 1 0 22157108 111869952 20664 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 27312 20664 364 364 0 26948 0
[pid=10184] vsize: 109248
Current children cumulated CPU time (s) 222
Current children cumulated vsize (Kb) 109248

[startup+250.014 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 34204 0 0 0 22102 986 0 0 25 0 1 0 22157108 111869952 20683 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 27312 20683 364 364 0 26948 0
[pid=10184] vsize: 109248
Current children cumulated CPU time (s) 230.88
Current children cumulated vsize (Kb) 109248

[startup+260.014 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 34378 0 0 0 22956 1036 0 0 25 0 1 0 22157108 112787456 20857 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 27536 20857 364 364 0 27172 0
[pid=10184] vsize: 110144
Current children cumulated CPU time (s) 239.92
Current children cumulated vsize (Kb) 110144

[startup+270.015 s]
Raw data (loadavg): 1.05 1.01 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 34521 0 0 0 23805 1085 0 0 25 0 1 0 22157108 113442816 21000 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 27696 21000 364 364 0 27332 0
[pid=10184] vsize: 110784
Current children cumulated CPU time (s) 248.9
Current children cumulated vsize (Kb) 110784

[startup+280.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 35170 0 0 0 24705 1121 0 0 25 0 1 0 22157108 114917376 21286 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 28056 21286 364 364 0 27692 0
[pid=10184] vsize: 112224
Current children cumulated CPU time (s) 258.26
Current children cumulated vsize (Kb) 112224

[startup+290.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 35254 0 0 0 25576 1163 0 0 25 0 1 0 22157108 115113984 21370 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28104 21370 364 364 0 27740 0
[pid=10184] vsize: 112416
Current children cumulated CPU time (s) 267.39
Current children cumulated vsize (Kb) 112416

[startup+300.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 35275 0 0 0 26425 1212 0 0 25 0 1 0 22157108 115113984 21391 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28104 21391 364 364 0 27740 0
[pid=10184] vsize: 112416
Current children cumulated CPU time (s) 276.37
Current children cumulated vsize (Kb) 112416

[startup+310.017 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 35358 0 0 0 27280 1262 0 0 25 0 1 0 22157108 115412992 21474 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28177 21474 364 364 0 27813 0
[pid=10184] vsize: 112708
Current children cumulated CPU time (s) 285.42
Current children cumulated vsize (Kb) 112708

[startup+320.018 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 35448 0 0 0 28144 1307 0 0 25 0 1 0 22157108 115806208 21564 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 28273 21564 364 364 0 27909 0
[pid=10184] vsize: 113092
Current children cumulated CPU time (s) 294.51
Current children cumulated vsize (Kb) 113092

[startup+330.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 35607 0 0 0 29014 1348 0 0 25 0 1 0 22157108 116396032 21723 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 28417 21723 364 364 0 28053 0
[pid=10184] vsize: 113668
Current children cumulated CPU time (s) 303.62
Current children cumulated vsize (Kb) 113668

[startup+340.018 s]
Raw data (loadavg): 1.09 1.02 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 35711 0 0 0 29867 1396 0 0 25 0 1 0 22157108 116592640 21827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28465 21827 364 364 0 28101 0
[pid=10184] vsize: 113860
Current children cumulated CPU time (s) 312.63
Current children cumulated vsize (Kb) 113860

[startup+350.019 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 35762 0 0 0 30727 1443 0 0 25 0 1 0 22157108 116756480 21878 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28505 21878 364 364 0 28141 0
[pid=10184] vsize: 114020
Current children cumulated CPU time (s) 321.7
Current children cumulated vsize (Kb) 114020

[startup+360.019 s]
Raw data (loadavg): 1.06 1.02 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 35967 0 0 0 31613 1479 0 0 25 0 1 0 22157108 117542912 22083 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28697 22083 364 364 0 28333 0
[pid=10184] vsize: 114788
Current children cumulated CPU time (s) 330.92
Current children cumulated vsize (Kb) 114788

[startup+370.019 s]
Raw data (loadavg): 1.05 1.02 0.93 1/55 10184
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 35997 0 0 0 32506 1511 0 0 25 0 1 0 22157108 117542912 22113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28697 22113 364 364 0 28333 0
[pid=10184] vsize: 114788
Current children cumulated CPU time (s) 340.17
Current children cumulated vsize (Kb) 114788

[startup+380.019 s]
Raw data (loadavg): 1.04 1.02 0.93 1/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 36076 0 0 0 33373 1552 0 0 22 0 1 0 22157108 117542912 22192 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28697 22192 364 364 0 28333 0
[pid=10184] vsize: 114788
Current children cumulated CPU time (s) 349.25
Current children cumulated vsize (Kb) 114788

[startup+390.019 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 36244 0 0 0 34258 1588 0 0 25 0 1 0 22157108 118132736 22360 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28841 22360 364 364 0 28477 0
[pid=10184] vsize: 115364
Current children cumulated CPU time (s) 358.46
Current children cumulated vsize (Kb) 115364

[startup+400.02 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 36380 0 0 0 35146 1623 0 0 25 0 1 0 22157108 118722560 22496 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 28985 22496 364 364 0 28621 0
[pid=10184] vsize: 115940
Current children cumulated CPU time (s) 367.69
Current children cumulated vsize (Kb) 115940

[startup+410.019 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 36646 0 0 0 36032 1663 0 0 25 0 1 0 22157108 119705600 22762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29225 22762 364 364 0 28861 0
[pid=10184] vsize: 116900
Current children cumulated CPU time (s) 376.95
Current children cumulated vsize (Kb) 116900

[startup+420.02 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 36713 0 0 0 36897 1708 0 0 25 0 1 0 22157108 119902208 22829 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29273 22829 364 364 0 28909 0
[pid=10184] vsize: 117092
Current children cumulated CPU time (s) 386.05
Current children cumulated vsize (Kb) 117092

[startup+430.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10239
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 36898 0 0 0 37780 1747 0 0 25 0 1 0 22157108 120688640 23014 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29465 23014 364 364 0 29101 0
[pid=10184] vsize: 117860
Current children cumulated CPU time (s) 395.27
Current children cumulated vsize (Kb) 117860

[startup+440.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10241
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37004 0 0 0 38646 1791 0 0 25 0 1 0 22157108 120885248 23120 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 29513 23120 364 364 0 29149 0
[pid=10184] vsize: 118052
Current children cumulated CPU time (s) 404.37
Current children cumulated vsize (Kb) 118052

[startup+450.02 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10243
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 37098 0 0 0 39504 1839 0 0 20 0 1 0 22157108 121278464 23214 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 29609 23214 364 364 0 29245 0
[pid=10184] vsize: 118436
Current children cumulated CPU time (s) 413.43
Current children cumulated vsize (Kb) 118436

[startup+460.021 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 37213 0 0 0 40379 1881 0 0 25 0 1 0 22157108 121671680 23329 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29705 23329 364 364 0 29341 0
[pid=10184] vsize: 118820
Current children cumulated CPU time (s) 422.6
Current children cumulated vsize (Kb) 118820

[startup+470.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37457 0 0 0 41266 1919 0 0 25 0 1 0 22157108 122458112 23573 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29897 23573 364 364 0 29533 0
[pid=10184] vsize: 119588
Current children cumulated CPU time (s) 431.85
Current children cumulated vsize (Kb) 119588

[startup+480.023 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 37491 0 0 0 42146 1962 0 0 25 0 1 0 22157108 122654720 23607 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29945 23607 364 364 0 29581 0
[pid=10184] vsize: 119780
Current children cumulated CPU time (s) 441.08
Current children cumulated vsize (Kb) 119780

[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37511 0 0 0 43019 2003 0 0 25 0 1 0 22157108 122654720 23627 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 29945 23627 364 364 0 29581 0
[pid=10184] vsize: 119780
Current children cumulated CPU time (s) 450.22
Current children cumulated vsize (Kb) 119780

[startup+500.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37549 0 0 0 43901 2041 0 0 25 0 1 0 22157108 122654720 23665 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29945 23665 364 364 0 29581 0
[pid=10184] vsize: 119780
Current children cumulated CPU time (s) 459.42
Current children cumulated vsize (Kb) 119780

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 37570 0 0 0 44764 2084 0 0 24 0 1 0 22157108 122654720 23686 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 29945 23686 364 364 0 29581 0
[pid=10184] vsize: 119780
Current children cumulated CPU time (s) 468.48
Current children cumulated vsize (Kb) 119780

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37648 0 0 0 45646 2122 0 0 25 0 1 0 22157108 122957824 23764 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30019 23764 364 364 0 29655 0
[pid=10184] vsize: 120076
Current children cumulated CPU time (s) 477.68
Current children cumulated vsize (Kb) 120076

[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37852 0 0 0 46514 2163 0 0 25 0 1 0 22157108 123850752 23968 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 30237 23968 364 364 0 29873 0
[pid=10184] vsize: 120948
Current children cumulated CPU time (s) 486.77
Current children cumulated vsize (Kb) 120948

[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37909 0 0 0 47392 2202 0 0 25 0 1 0 22157108 124014592 24025 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30277 24025 364 364 0 29913 0
[pid=10184] vsize: 121108
Current children cumulated CPU time (s) 495.94
Current children cumulated vsize (Kb) 121108

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 37939 0 0 0 48284 2238 0 0 25 0 1 0 22157108 124014592 24055 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 30277 24055 364 364 0 29913 0
[pid=10184] vsize: 121108
Current children cumulated CPU time (s) 505.22
Current children cumulated vsize (Kb) 121108

[startup+560.026 s]
Raw data (loadavg): 1.07 1.02 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 37950 0 0 0 49146 2280 0 0 25 0 1 0 22157108 124014592 24066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30277 24066 364 364 0 29913 0
[pid=10184] vsize: 121108
Current children cumulated CPU time (s) 514.26
Current children cumulated vsize (Kb) 121108

[startup+570.026 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 38051 0 0 0 50028 2320 0 0 25 0 1 0 22157108 124489728 24167 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 30393 24167 364 364 0 30029 0
[pid=10184] vsize: 121572
Current children cumulated CPU time (s) 523.48
Current children cumulated vsize (Kb) 121572

[startup+580.027 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 38115 0 0 0 50923 2354 0 0 25 0 1 0 22157108 124653568 24231 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30433 24231 364 364 0 30069 0
[pid=10184] vsize: 121732
Current children cumulated CPU time (s) 532.77
Current children cumulated vsize (Kb) 121732

[startup+590.028 s]
Raw data (loadavg): 1.04 1.01 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 38158 0 0 0 51816 2391 0 0 20 0 1 0 22157108 124817408 24274 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30473 24274 364 364 0 30109 0
[pid=10184] vsize: 121892
Current children cumulated CPU time (s) 542.07
Current children cumulated vsize (Kb) 121892

[startup+600.029 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 38205 0 0 0 52704 2426 0 0 25 0 1 0 22157108 124817408 24321 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30473 24321 364 364 0 30109 0
[pid=10184] vsize: 121892
Current children cumulated CPU time (s) 551.3
Current children cumulated vsize (Kb) 121892

[startup+610.028 s]
Raw data (loadavg): 1.03 1.01 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 38361 0 0 0 53597 2460 0 0 25 0 1 0 22157108 125640704 24477 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30674 24477 364 364 0 30310 0
[pid=10184] vsize: 122696
Current children cumulated CPU time (s) 560.57
Current children cumulated vsize (Kb) 122696

[startup+620.029 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 38417 0 0 0 54446 2509 0 0 24 0 1 0 22157108 125788160 24533 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 30710 24533 364 364 0 30346 0
[pid=10184] vsize: 122840
Current children cumulated CPU time (s) 569.55
Current children cumulated vsize (Kb) 122840

[startup+630.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 38620 0 0 0 55316 2551 0 0 25 0 1 0 22157108 126533632 24736 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30892 24736 364 364 0 30528 0
[pid=10184] vsize: 123568
Current children cumulated CPU time (s) 578.67
Current children cumulated vsize (Kb) 123568

[startup+640.03 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 38706 0 0 0 56180 2596 0 0 25 0 1 0 22157108 126861312 24822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 30972 24822 364 364 0 30608 0
[pid=10184] vsize: 123888
Current children cumulated CPU time (s) 587.76
Current children cumulated vsize (Kb) 123888

[startup+650.031 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 38767 0 0 0 57053 2643 0 0 24 0 1 0 22157108 127057920 24883 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31020 24883 364 364 0 30656 0
[pid=10184] vsize: 124080
Current children cumulated CPU time (s) 596.96
Current children cumulated vsize (Kb) 124080

[startup+660.032 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 38855 0 0 0 57915 2688 0 0 25 0 1 0 22157108 127586304 24971 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31149 24971 364 364 0 30785 0
[pid=10184] vsize: 124596
Current children cumulated CPU time (s) 606.03
Current children cumulated vsize (Kb) 124596

[startup+670.033 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39046 0 0 0 58766 2736 0 0 22 0 1 0 22157108 128335872 25162 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31332 25162 364 364 0 30968 0
[pid=10184] vsize: 125328
Current children cumulated CPU time (s) 615.02
Current children cumulated vsize (Kb) 125328

[startup+680.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 39066 0 0 0 59623 2782 0 0 25 0 1 0 22157108 128335872 25182 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31332 25182 364 364 0 30968 0
[pid=10184] vsize: 125328
Current children cumulated CPU time (s) 624.05
Current children cumulated vsize (Kb) 125328

[startup+690.033 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 39189 0 0 0 60500 2823 0 0 25 0 1 0 22157108 129089536 25305 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31516 25305 364 364 0 31152 0
[pid=10184] vsize: 126064
Current children cumulated CPU time (s) 633.23
Current children cumulated vsize (Kb) 126064

[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39257 0 0 0 61366 2866 0 0 25 0 1 0 22157108 129253376 25373 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 31556 25373 364 364 0 31192 0
[pid=10184] vsize: 126224
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (Kb) 126224

[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 39364 0 0 0 62240 2907 0 0 20 0 1 0 22157108 129613824 25480 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31644 25480 364 364 0 31280 0
[pid=10184] vsize: 126576
Current children cumulated CPU time (s) 651.47
Current children cumulated vsize (Kb) 126576

[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39478 0 0 0 63105 2951 0 0 17 0 1 0 22157108 130203648 25594 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 31788 25594 364 364 0 31424 0
[pid=10184] vsize: 127152
Current children cumulated CPU time (s) 660.56
Current children cumulated vsize (Kb) 127152

[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10245
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39542 0 0 0 63993 2989 0 0 25 0 1 0 22157108 130596864 25658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31884 25658 364 364 0 31520 0
[pid=10184] vsize: 127536
Current children cumulated CPU time (s) 669.82
Current children cumulated vsize (Kb) 127536

[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39553 0 0 0 64852 3034 0 0 25 0 1 0 22157108 130596864 25669 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31884 25669 364 364 0 31520 0
[pid=10184] vsize: 127536
Current children cumulated CPU time (s) 678.86
Current children cumulated vsize (Kb) 127536

[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 39596 0 0 0 65735 3074 0 0 25 0 1 0 22157108 130596864 25712 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31884 25712 364 364 0 31520 0
[pid=10184] vsize: 127536
Current children cumulated CPU time (s) 688.09
Current children cumulated vsize (Kb) 127536

[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 39690 0 0 0 66608 3117 0 0 25 0 1 0 22157108 131067904 25806 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 31999 25806 364 364 0 31635 0
[pid=10184] vsize: 127996
Current children cumulated CPU time (s) 697.25
Current children cumulated vsize (Kb) 127996

[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39744 0 0 0 67493 3157 0 0 25 0 1 0 22157108 131264512 25860 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32047 25860 364 364 0 31683 0
[pid=10184] vsize: 128188
Current children cumulated CPU time (s) 706.5
Current children cumulated vsize (Kb) 128188

[startup+780.036 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39822 0 0 0 68358 3203 0 0 25 0 1 0 22157108 131756032 25938 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32167 25938 364 364 0 31803 0
[pid=10184] vsize: 128668
Current children cumulated CPU time (s) 715.61
Current children cumulated vsize (Kb) 128668

[startup+790.036 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39889 0 0 0 69220 3244 0 0 25 0 1 0 22157108 132116480 26005 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 32255 26005 364 364 0 31891 0
[pid=10184] vsize: 129020
Current children cumulated CPU time (s) 724.64
Current children cumulated vsize (Kb) 129020

[startup+800.036 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 39931 0 0 0 70097 3287 0 0 25 0 1 0 22157108 132313088 26047 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 32303 26047 364 364 0 31939 0
[pid=10184] vsize: 129212
Current children cumulated CPU time (s) 733.84
Current children cumulated vsize (Kb) 129212

[startup+810.037 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40126 0 0 0 70951 3335 0 0 24 0 1 0 22157108 133132288 26242 4294967295 134512640 135987407 3221224560 3221223384 135479881 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 32503 26242 364 364 0 32139 0
[pid=10184] vsize: 130012
Current children cumulated CPU time (s) 742.86
Current children cumulated vsize (Kb) 130012

[startup+820.038 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40268 0 0 0 71816 3380 0 0 24 0 1 0 22157108 133804032 26384 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 32667 26384 364 364 0 32303 0
[pid=10184] vsize: 130668
Current children cumulated CPU time (s) 751.96
Current children cumulated vsize (Kb) 130668

[startup+830.038 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40304 0 0 0 72675 3423 0 0 25 0 1 0 22157108 134000640 26420 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32715 26420 364 364 0 32351 0
[pid=10184] vsize: 130860
Current children cumulated CPU time (s) 760.98
Current children cumulated vsize (Kb) 130860

[startup+840.037 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40438 0 0 0 73565 3458 0 0 25 0 1 0 22157108 134811648 26554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32913 26554 364 364 0 32549 0
[pid=10184] vsize: 131652
Current children cumulated CPU time (s) 770.23
Current children cumulated vsize (Kb) 131652

[startup+850.038 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40447 0 0 0 74434 3503 0 0 24 0 1 0 22157108 134811648 26563 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32913 26563 364 364 0 32549 0
[pid=10184] vsize: 131652
Current children cumulated CPU time (s) 779.37
Current children cumulated vsize (Kb) 131652

[startup+860.038 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40475 0 0 0 75303 3547 0 0 25 0 1 0 22157108 134975488 26591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 32953 26591 364 364 0 32589 0
[pid=10184] vsize: 131812
Current children cumulated CPU time (s) 788.5
Current children cumulated vsize (Kb) 131812

[startup+870.04 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40485 0 0 0 76178 3588 0 0 25 0 1 0 22157108 134975488 26601 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 32953 26601 364 364 0 32589 0
[pid=10184] vsize: 131812
Current children cumulated CPU time (s) 797.66
Current children cumulated vsize (Kb) 131812

[startup+880.04 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40580 0 0 0 77032 3632 0 0 25 0 1 0 22157108 135499776 26696 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33081 26696 364 364 0 32717 0
[pid=10184] vsize: 132324
Current children cumulated CPU time (s) 806.64
Current children cumulated vsize (Kb) 132324

[startup+890.04 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40644 0 0 0 77882 3681 0 0 24 0 1 0 22157108 135696384 26760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 33129 26760 364 364 0 32765 0
[pid=10184] vsize: 132516
Current children cumulated CPU time (s) 815.63
Current children cumulated vsize (Kb) 132516

[startup+900.041 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40752 0 0 0 78724 3733 0 0 25 0 1 0 22157108 136417280 26868 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33305 26868 364 364 0 32941 0
[pid=10184] vsize: 133220
Current children cumulated CPU time (s) 824.57
Current children cumulated vsize (Kb) 133220

[startup+910.042 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40765 0 0 0 79567 3787 0 0 20 0 1 0 22157108 136417280 26881 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 33305 26881 364 364 0 32941 0
[pid=10184] vsize: 133220
Current children cumulated CPU time (s) 833.54
Current children cumulated vsize (Kb) 133220

[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40777 0 0 0 80420 3830 0 0 25 0 1 0 22157108 136417280 26893 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 33305 26893 364 364 0 32941 0
[pid=10184] vsize: 133220
Current children cumulated CPU time (s) 842.5
Current children cumulated vsize (Kb) 133220

[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40800 0 0 0 81308 3868 0 0 25 0 1 0 22157108 136417280 26916 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33305 26916 364 364 0 32941 0
[pid=10184] vsize: 133220
Current children cumulated CPU time (s) 851.76
Current children cumulated vsize (Kb) 133220

[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 40811 0 0 0 82194 3907 0 0 25 0 1 0 22157108 136417280 26927 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33305 26927 364 364 0 32941 0
[pid=10184] vsize: 133220
Current children cumulated CPU time (s) 861.01
Current children cumulated vsize (Kb) 133220

[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40855 0 0 0 83078 3944 0 0 25 0 1 0 22157108 136564736 26971 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33341 26971 364 364 0 32977 0
[pid=10184] vsize: 133364
Current children cumulated CPU time (s) 870.22
Current children cumulated vsize (Kb) 133364

[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 40896 0 0 0 83952 3983 0 0 25 0 1 0 22157108 136720384 27012 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33379 27012 364 364 0 33015 0
[pid=10184] vsize: 133516
Current children cumulated CPU time (s) 879.35
Current children cumulated vsize (Kb) 133516

[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41037 0 0 0 84816 4028 0 0 25 0 1 0 22157108 137457664 27153 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33559 27153 364 364 0 33195 0
[pid=10184] vsize: 134236
Current children cumulated CPU time (s) 888.44
Current children cumulated vsize (Kb) 134236

[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41092 0 0 0 85692 4069 0 0 25 0 1 0 22157108 137654272 27208 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33607 27208 364 364 0 33243 0
[pid=10184] vsize: 134428
Current children cumulated CPU time (s) 897.61
Current children cumulated vsize (Kb) 134428

[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41170 0 0 0 86573 4109 0 0 25 0 1 0 22157108 138244096 27286 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 33751 27286 364 364 0 33387 0
[pid=10184] vsize: 135004
Current children cumulated CPU time (s) 906.82
Current children cumulated vsize (Kb) 135004

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41200 0 0 0 87449 4145 0 0 25 0 1 0 22157108 138244096 27316 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33751 27316 364 364 0 33387 0
[pid=10184] vsize: 135004
Current children cumulated CPU time (s) 915.94
Current children cumulated vsize (Kb) 135004

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41222 0 0 0 88314 4189 0 0 25 0 1 0 22157108 138244096 27338 4294967295 134512640 135987407 3221224560 3221223376 134816541 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 33751 27338 364 364 0 33387 0
[pid=10184] vsize: 135004
Current children cumulated CPU time (s) 925.03
Current children cumulated vsize (Kb) 135004

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41279 0 0 0 89160 4237 0 0 24 0 1 0 22157108 138637312 27395 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33847 27395 364 364 0 33483 0
[pid=10184] vsize: 135388
Current children cumulated CPU time (s) 933.97
Current children cumulated vsize (Kb) 135388

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41345 0 0 0 90015 4284 0 0 25 0 1 0 22157108 139030528 27461 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 33943 27461 364 364 0 33579 0
[pid=10184] vsize: 135772
Current children cumulated CPU time (s) 942.99
Current children cumulated vsize (Kb) 135772

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41412 0 0 0 90908 4316 0 0 25 0 1 0 22157108 139423744 27528 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34039 27528 364 364 0 33675 0
[pid=10184] vsize: 136156
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 136156

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41549 0 0 0 91759 4366 0 0 24 0 1 0 22157108 140029952 27665 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34187 27665 364 364 0 33823 0
[pid=10184] vsize: 136748
Current children cumulated CPU time (s) 961.25
Current children cumulated vsize (Kb) 136748

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41587 0 0 0 92628 4407 0 0 25 0 1 0 22157108 140193792 27703 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34227 27703 364 364 0 33863 0
[pid=10184] vsize: 136908
Current children cumulated CPU time (s) 970.35
Current children cumulated vsize (Kb) 136908

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41597 0 0 0 93499 4448 0 0 25 0 1 0 22157108 140193792 27713 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34227 27713 364 364 0 33863 0
[pid=10184] vsize: 136908
Current children cumulated CPU time (s) 979.47
Current children cumulated vsize (Kb) 136908

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41625 0 0 0 94383 4487 0 0 25 0 1 0 22157108 140193792 27741 4294967295 134512640 135987407 3221224560 3221223344 134812304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34227 27741 364 364 0 33863 0
[pid=10184] vsize: 136908
Current children cumulated CPU time (s) 988.7
Current children cumulated vsize (Kb) 136908

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41687 0 0 0 95254 4531 0 0 25 0 1 0 22157108 140587008 27803 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34323 27803 364 364 0 33959 0
[pid=10184] vsize: 137292
Current children cumulated CPU time (s) 997.85
Current children cumulated vsize (Kb) 137292

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 41712 0 0 0 96102 4582 0 0 25 0 1 0 22157108 140587008 27828 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34323 27828 364 364 0 33959 0
[pid=10184] vsize: 137292
Current children cumulated CPU time (s) 1006.84
Current children cumulated vsize (Kb) 137292

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 41748 0 0 0 96974 4621 0 0 20 0 1 0 22157108 140783616 27864 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34371 27864 364 364 0 34007 0
[pid=10184] vsize: 137484
Current children cumulated CPU time (s) 1015.95
Current children cumulated vsize (Kb) 137484

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42177 0 0 0 97857 4662 0 0 25 0 1 0 22157108 142663680 28293 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34830 28293 364 364 0 34466 0
[pid=10184] vsize: 139320
Current children cumulated CPU time (s) 1025.19
Current children cumulated vsize (Kb) 139320

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42201 0 0 0 98759 4696 0 0 25 0 1 0 22157108 141176832 27954 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34467 27954 364 364 0 34103 0
[pid=10184] vsize: 137868
Current children cumulated CPU time (s) 1034.55
Current children cumulated vsize (Kb) 137868

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42276 0 0 0 99631 4740 0 0 25 0 1 0 22157108 141570048 28029 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34563 28029 364 364 0 34199 0
[pid=10184] vsize: 138252
Current children cumulated CPU time (s) 1043.71
Current children cumulated vsize (Kb) 138252

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42317 0 0 0 100514 4779 0 0 25 0 1 0 22157108 141766656 28070 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28070 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1052.93
Current children cumulated vsize (Kb) 138444

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42325 0 0 0 101391 4816 0 0 25 0 1 0 22157108 141766656 28078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34611 28078 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (Kb) 138444

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42334 0 0 0 102259 4860 0 0 25 0 1 0 22157108 141766656 28087 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28087 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1071.19
Current children cumulated vsize (Kb) 138444

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42350 0 0 0 103130 4904 0 0 25 0 1 0 22157108 141766656 28103 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28103 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1080.34
Current children cumulated vsize (Kb) 138444

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42358 0 0 0 103983 4952 0 0 25 0 1 0 22157108 141766656 28111 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28111 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1089.35
Current children cumulated vsize (Kb) 138444

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42369 0 0 0 104852 4994 0 0 25 0 1 0 22157108 141766656 28122 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28122 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1098.46
Current children cumulated vsize (Kb) 138444

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42379 0 0 0 105723 5035 0 0 25 0 1 0 22157108 141766656 28132 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34611 28132 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1107.58
Current children cumulated vsize (Kb) 138444

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42388 0 0 0 106596 5077 0 0 24 0 1 0 22157108 141766656 28141 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34611 28141 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1116.73
Current children cumulated vsize (Kb) 138444

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42396 0 0 0 107486 5112 0 0 25 0 1 0 22157108 141766656 28149 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34611 28149 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1125.98
Current children cumulated vsize (Kb) 138444

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42404 0 0 0 108357 5155 0 0 25 0 1 0 22157108 141766656 28157 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28157 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1135.12
Current children cumulated vsize (Kb) 138444

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42411 0 0 0 109224 5200 0 0 25 0 1 0 22157108 141766656 28164 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28164 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1144.24
Current children cumulated vsize (Kb) 138444

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42418 0 0 0 110092 5242 0 0 25 0 1 0 22157108 141766656 28171 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34611 28171 364 364 0 34247 0
[pid=10184] vsize: 138444
Current children cumulated CPU time (s) 1153.34
Current children cumulated vsize (Kb) 138444

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42463 0 0 0 110921 5296 0 0 21 0 1 0 22157108 142077952 28216 4294967295 134512640 135987407 3221224560 3221223376 134816504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34687 28216 364 364 0 34323 0
[pid=10184] vsize: 138748
Current children cumulated CPU time (s) 1162.17
Current children cumulated vsize (Kb) 138748

[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42477 0 0 0 111781 5340 0 0 25 0 1 0 22157108 142077952 28230 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34687 28230 364 364 0 34323 0
[pid=10184] vsize: 138748
Current children cumulated CPU time (s) 1171.21
Current children cumulated vsize (Kb) 138748

[startup+1290.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42497 0 0 0 112667 5380 0 0 25 0 1 0 22157108 142225408 28250 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34723 28250 364 364 0 34359 0
[pid=10184] vsize: 138892
Current children cumulated CPU time (s) 1180.47
Current children cumulated vsize (Kb) 138892

[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) T 10183 10184 4060 0 -1 0 42537 0 0 0 113538 5422 0 0 25 0 1 0 22157108 142364672 28290 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10184/statm): 34757 28290 364 364 0 34393 0
[pid=10184] vsize: 139028
Current children cumulated CPU time (s) 1189.6
Current children cumulated vsize (Kb) 139028

[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42571 0 0 0 114412 5464 0 0 21 0 1 0 22157108 142528512 28324 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34797 28324 364 364 0 34433 0
[pid=10184] vsize: 139188
Current children cumulated CPU time (s) 1198.76
Current children cumulated vsize (Kb) 139188

[startup+1320.06 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42581 0 0 0 115281 5506 0 0 25 0 1 0 22157108 142528512 28334 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34797 28334 364 364 0 34433 0
[pid=10184] vsize: 139188
Current children cumulated CPU time (s) 1207.87
Current children cumulated vsize (Kb) 139188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.06 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 10247
Raw data (/proc/10184/stat): 10184 (pb2sat) R 10183 10184 4060 0 -1 0 42581 0 0 0 115281 5506 0 0 25 0 1 0 22157108 142528512 28334 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10184/statm): 34797 28334 364 364 0 34433 0
[pid=10184] vsize: 139188
Current children cumulated CPU time (s) 1207.87
Current children cumulated vsize (Kb) 139188

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

Child status: 0
Real time (s): 1320.39
CPU time (s): 1208.19
CPU user time (s): 1153.08
CPU system time (s): 55.1186
CPU usage (%): 91.5029
Max. virtual memory (cumulated for all children) (Kb): 139320

Verifier Data

ERROR: no interpretation found !