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/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM650632b92fbb7592f9a040d6375b78e9
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 10514

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 18:26:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9217 boxname=wulflinc11 idbench=1013 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 9217
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        902692 kB
Buffers:          9808 kB
Cached:          96748 kB
SwapCached:          0 kB
Active:          57280 kB
Inactive:        58812 kB
HighTotal:      131008 kB
HighFree:        31976 kB
LowTotal:       903652 kB
LowFree:        870716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10224 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:48:05 (client local time) WITH STATUS 0 IN 1206.77 SECONDS
stats: 9217 7 1206.77 0

Solver Data

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

c Decision: 56444/185554	Time: 64.0043/86400
c Decision: 56493/185554	Time: 94.7916/86400
c Decision: 56627/185554	Time: 128.389/86400
c Decision: 56768/185554	Time: 161.817/86400
c Decision: 56974/185554	Time: 196.857/86400
c Decision: 57109/185554	Time: 239.237/86400
c Decision: 59165/185554	Time: 998.195/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/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22335644 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 373 2 364 364 0 9 0
[pid=11508] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-gen.opb

[startup+10.0028 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 24577 0 0 0 938 58 0 0 25 0 1 0 22335644 80515072 13436 4294967295 134512640 135987407 3221224560 3221221952 134616295 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 19657 13436 364 364 0 19293 0
[pid=11508] vsize: 78628
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78628

[startup+20.0035 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 27241 0 0 0 1880 81 0 0 25 0 1 0 22335644 89890816 15535 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 21946 15535 364 364 0 21582 0
[pid=11508] vsize: 87784
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (Kb) 87784

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 27793 0 0 0 2798 110 0 0 25 0 1 0 22335644 92299264 16087 4294967295 134512640 135987407 3221224560 3221223312 134801251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 22534 16087 364 364 0 22170 0
[pid=11508] vsize: 90136
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 90136

[startup+40.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 28156 0 0 0 3713 137 0 0 25 0 1 0 22335644 93741056 16450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 22886 16450 364 364 0 22522 0
[pid=11508] vsize: 91544
Current children cumulated CPU time (s) 38.5
Current children cumulated vsize (Kb) 91544

[startup+50.0049 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 28602 0 0 0 4618 170 0 0 25 0 1 0 22335644 96002048 16896 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 23438 16896 364 364 0 23074 0
[pid=11508] vsize: 93752
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (Kb) 93752

[startup+60.0057 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 28938 0 0 0 5503 206 0 0 25 0 1 0 22335644 97476608 17232 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 23798 17232 364 364 0 23434 0
[pid=11508] vsize: 95192
Current children cumulated CPU time (s) 57.09
Current children cumulated vsize (Kb) 95192

[startup+70.0065 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 29127 0 0 0 6374 248 0 0 25 0 1 0 22335644 98131968 17421 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 23958 17421 364 364 0 23594 0
[pid=11508] vsize: 95832
Current children cumulated CPU time (s) 66.22
Current children cumulated vsize (Kb) 95832

[startup+80.0073 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 29700 0 0 0 7272 284 0 0 25 0 1 0 22335644 99004416 17631 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 24171 17631 364 364 0 23807 0
[pid=11508] vsize: 96684
Current children cumulated CPU time (s) 75.56
Current children cumulated vsize (Kb) 96684

[startup+90.0081 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 30073 0 0 0 8162 320 0 0 25 0 1 0 22335644 101105664 18004 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 24684 18004 364 364 0 24320 0
[pid=11508] vsize: 98736
Current children cumulated CPU time (s) 84.82
Current children cumulated vsize (Kb) 98736

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 30303 0 0 0 9052 357 0 0 25 0 1 0 22335644 102285312 18234 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 24972 18234 364 364 0 24608 0
[pid=11508] vsize: 99888
Current children cumulated CPU time (s) 94.09
Current children cumulated vsize (Kb) 99888

[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 30665 0 0 0 9924 400 0 0 25 0 1 0 22335644 103858176 18596 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11508/statm): 25356 18596 364 364 0 24992 0
[pid=11508] vsize: 101424
Current children cumulated CPU time (s) 103.24
Current children cumulated vsize (Kb) 101424

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 31386 0 0 0 10811 438 0 0 25 0 1 0 22335644 105234432 18954 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 25692 18954 364 364 0 25328 0
[pid=11508] vsize: 102768
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (Kb) 102768

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 31624 0 0 0 11701 474 0 0 25 0 1 0 22335644 105824256 19192 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 25836 19192 364 364 0 25472 0
[pid=11508] vsize: 103344
Current children cumulated CPU time (s) 121.75
Current children cumulated vsize (Kb) 103344

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 31905 0 0 0 12594 510 0 0 25 0 1 0 22335644 107003904 19473 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 26124 19473 364 364 0 25760 0
[pid=11508] vsize: 104496
Current children cumulated CPU time (s) 131.04
Current children cumulated vsize (Kb) 104496

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 32479 0 0 0 13485 544 0 0 25 0 1 0 22335644 107790336 19684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26316 19684 364 364 0 25952 0
[pid=11508] vsize: 105264
Current children cumulated CPU time (s) 140.29
Current children cumulated vsize (Kb) 105264

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 32614 0 0 0 14364 584 0 0 25 0 1 0 22335644 108576768 19819 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26508 19819 364 364 0 26144 0
[pid=11508] vsize: 106032
Current children cumulated CPU time (s) 149.48
Current children cumulated vsize (Kb) 106032

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 32687 0 0 0 15244 623 0 0 25 0 1 0 22335644 108740608 19892 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26548 19892 364 364 0 26184 0
[pid=11508] vsize: 106192
Current children cumulated CPU time (s) 158.67
Current children cumulated vsize (Kb) 106192

[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 32777 0 0 0 16111 666 0 0 25 0 1 0 22335644 109101056 19982 4294967295 134512640 135987407 3221224560 3221223376 134816527 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26636 19982 364 364 0 26272 0
[pid=11508] vsize: 106544
Current children cumulated CPU time (s) 167.77
Current children cumulated vsize (Kb) 106544

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 33247 0 0 0 16975 709 0 0 24 0 1 0 22335644 109592576 20089 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11508/statm): 26756 20089 364 364 0 26392 0
[pid=11508] vsize: 107024
Current children cumulated CPU time (s) 176.84
Current children cumulated vsize (Kb) 107024

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 33335 0 0 0 17824 760 0 0 24 0 1 0 22335644 109772800 20177 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26800 20177 364 364 0 26436 0
[pid=11508] vsize: 107200
Current children cumulated CPU time (s) 185.84
Current children cumulated vsize (Kb) 107200

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 33502 0 0 0 18664 814 0 0 24 0 1 0 22335644 110497792 20344 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 26977 20344 364 364 0 26613 0
[pid=11508] vsize: 107908
Current children cumulated CPU time (s) 194.78
Current children cumulated vsize (Kb) 107908

[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 33641 0 0 0 19511 862 0 0 25 0 1 0 22335644 111120384 20483 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 27129 20483 364 364 0 26765 0
[pid=11508] vsize: 108516
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (Kb) 108516

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 34171 0 0 0 20384 905 0 0 24 0 1 0 22335644 111869952 20650 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 27312 20650 364 364 0 26948 0
[pid=11508] vsize: 109248
Current children cumulated CPU time (s) 212.89
Current children cumulated vsize (Kb) 109248

[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 34191 0 0 0 21227 956 0 0 25 0 1 0 22335644 111869952 20670 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 27312 20670 364 364 0 26948 0
[pid=11508] vsize: 109248
Current children cumulated CPU time (s) 221.83
Current children cumulated vsize (Kb) 109248

[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 34247 0 0 0 22071 1007 0 0 24 0 1 0 22335644 112033792 20726 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 27352 20726 364 364 0 26988 0
[pid=11508] vsize: 109408
Current children cumulated CPU time (s) 230.78
Current children cumulated vsize (Kb) 109408

[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 34407 0 0 0 22918 1057 0 0 24 0 1 0 22335644 112787456 20886 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 27536 20886 364 364 0 27172 0
[pid=11508] vsize: 110144
Current children cumulated CPU time (s) 239.75
Current children cumulated vsize (Kb) 110144

[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 34978 0 0 0 23789 1102 0 0 24 0 1 0 22335644 115421184 21457 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28179 21457 364 364 0 27815 0
[pid=11508] vsize: 112716
Current children cumulated CPU time (s) 248.91
Current children cumulated vsize (Kb) 112716

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 35250 0 0 0 24689 1134 0 0 25 0 1 0 22335644 115113984 21366 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28104 21366 364 364 0 27740 0
[pid=11508] vsize: 112416
Current children cumulated CPU time (s) 258.23
Current children cumulated vsize (Kb) 112416

[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 35256 0 0 0 25543 1182 0 0 25 0 1 0 22335644 115113984 21372 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 28104 21372 364 364 0 27740 0
[pid=11508] vsize: 112416
Current children cumulated CPU time (s) 267.25
Current children cumulated vsize (Kb) 112416

[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 35330 0 0 0 26401 1227 0 0 25 0 1 0 22335644 115277824 21446 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28144 21446 364 364 0 27780 0
[pid=11508] vsize: 112576
Current children cumulated CPU time (s) 276.28
Current children cumulated vsize (Kb) 112576

[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 35384 0 0 0 27249 1278 0 0 25 0 1 0 22335644 115609600 21500 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28225 21500 364 364 0 27861 0
[pid=11508] vsize: 112900
Current children cumulated CPU time (s) 285.27
Current children cumulated vsize (Kb) 112900

[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 35481 0 0 0 28121 1321 0 0 25 0 1 0 22335644 115806208 21597 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28273 21597 364 364 0 27909 0
[pid=11508] vsize: 113092
Current children cumulated CPU time (s) 294.42
Current children cumulated vsize (Kb) 113092

[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 35664 0 0 0 28979 1366 0 0 22 0 1 0 22335644 116592640 21780 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28465 21780 364 364 0 28101 0
[pid=11508] vsize: 113860
Current children cumulated CPU time (s) 303.45
Current children cumulated vsize (Kb) 113860

[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 35740 0 0 0 29834 1416 0 0 25 0 1 0 22335644 116756480 21856 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 28505 21856 364 364 0 28141 0
[pid=11508] vsize: 114020
Current children cumulated CPU time (s) 312.5
Current children cumulated vsize (Kb) 114020

[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 35905 0 0 0 30717 1455 0 0 25 0 1 0 22335644 117346304 22021 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28649 22021 364 364 0 28285 0
[pid=11508] vsize: 114596
Current children cumulated CPU time (s) 321.72
Current children cumulated vsize (Kb) 114596

[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 35992 0 0 0 31602 1493 0 0 25 0 1 0 22335644 117542912 22108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28697 22108 364 364 0 28333 0
[pid=11508] vsize: 114788
Current children cumulated CPU time (s) 330.95
Current children cumulated vsize (Kb) 114788

[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 36056 0 0 0 32486 1532 0 0 25 0 1 0 22335644 117542912 22172 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28697 22172 364 364 0 28333 0
[pid=11508] vsize: 114788
Current children cumulated CPU time (s) 340.18
Current children cumulated vsize (Kb) 114788

[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 36233 0 0 0 33365 1570 0 0 25 0 1 0 22335644 118132736 22349 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28841 22349 364 364 0 28477 0
[pid=11508] vsize: 115364
Current children cumulated CPU time (s) 349.35
Current children cumulated vsize (Kb) 115364

[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 36334 0 0 0 34246 1609 0 0 25 0 1 0 22335644 118525952 22450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 28937 22450 364 364 0 28573 0
[pid=11508] vsize: 115748
Current children cumulated CPU time (s) 358.55
Current children cumulated vsize (Kb) 115748

[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 36640 0 0 0 35129 1647 0 0 25 0 1 0 22335644 119705600 22756 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29225 22756 364 364 0 28861 0
[pid=11508] vsize: 116900
Current children cumulated CPU time (s) 367.76
Current children cumulated vsize (Kb) 116900

[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 36664 0 0 0 36002 1688 0 0 25 0 1 0 22335644 119705600 22780 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29225 22780 364 364 0 28861 0
[pid=11508] vsize: 116900
Current children cumulated CPU time (s) 376.9
Current children cumulated vsize (Kb) 116900

[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 36847 0 0 0 36878 1734 0 0 25 0 1 0 22335644 120492032 22963 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 29417 22963 364 364 0 29053 0
[pid=11508] vsize: 117668
Current children cumulated CPU time (s) 386.12
Current children cumulated vsize (Kb) 117668

[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 37000 0 0 0 37749 1778 0 0 25 0 1 0 22335644 120885248 23116 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29513 23116 364 364 0 29149 0
[pid=11508] vsize: 118052
Current children cumulated CPU time (s) 395.27
Current children cumulated vsize (Kb) 118052

[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 37046 0 0 0 38595 1826 0 0 25 0 1 0 22335644 121081856 23162 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29561 23162 364 364 0 29197 0
[pid=11508] vsize: 118244
Current children cumulated CPU time (s) 404.21
Current children cumulated vsize (Kb) 118244

[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37209 0 0 0 39469 1869 0 0 25 0 1 0 22335644 121671680 23325 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29705 23325 364 364 0 29341 0
[pid=11508] vsize: 118820
Current children cumulated CPU time (s) 413.38
Current children cumulated vsize (Kb) 118820

[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 37362 0 0 0 40348 1911 0 0 25 0 1 0 22335644 122064896 23478 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 29801 23478 364 364 0 29437 0
[pid=11508] vsize: 119204
Current children cumulated CPU time (s) 422.59
Current children cumulated vsize (Kb) 119204

[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37489 0 0 0 41226 1951 0 0 25 0 1 0 22335644 122654720 23605 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29945 23605 364 364 0 29581 0
[pid=11508] vsize: 119780
Current children cumulated CPU time (s) 431.77
Current children cumulated vsize (Kb) 119780

[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 37509 0 0 0 42105 1990 0 0 25 0 1 0 22335644 122654720 23625 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29945 23625 364 364 0 29581 0
[pid=11508] vsize: 119780
Current children cumulated CPU time (s) 440.95
Current children cumulated vsize (Kb) 119780

[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37547 0 0 0 42979 2033 0 0 25 0 1 0 22335644 122654720 23663 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29945 23663 364 364 0 29581 0
[pid=11508] vsize: 119780
Current children cumulated CPU time (s) 450.12
Current children cumulated vsize (Kb) 119780

[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37569 0 0 0 43838 2076 0 0 25 0 1 0 22335644 122654720 23685 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29945 23685 364 364 0 29581 0
[pid=11508] vsize: 119780
Current children cumulated CPU time (s) 459.14
Current children cumulated vsize (Kb) 119780

[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37593 0 0 0 44714 2116 0 0 25 0 1 0 22335644 122654720 23709 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 29945 23709 364 364 0 29581 0
[pid=11508] vsize: 119780
Current children cumulated CPU time (s) 468.3
Current children cumulated vsize (Kb) 119780

[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37852 0 0 0 45586 2159 0 0 25 0 1 0 22335644 123850752 23968 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30237 23968 364 364 0 29873 0
[pid=11508] vsize: 120948
Current children cumulated CPU time (s) 477.45
Current children cumulated vsize (Kb) 120948

[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37868 0 0 0 46456 2202 0 0 25 0 1 0 22335644 123850752 23984 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30237 23984 364 364 0 29873 0
[pid=11508] vsize: 120948
Current children cumulated CPU time (s) 486.58
Current children cumulated vsize (Kb) 120948

[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37939 0 0 0 47340 2239 0 0 25 0 1 0 22335644 124014592 24055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30277 24055 364 364 0 29913 0
[pid=11508] vsize: 121108
Current children cumulated CPU time (s) 495.79
Current children cumulated vsize (Kb) 121108

[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 37950 0 0 0 48207 2281 0 0 25 0 1 0 22335644 124014592 24066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30277 24066 364 364 0 29913 0
[pid=11508] vsize: 121108
Current children cumulated CPU time (s) 504.88
Current children cumulated vsize (Kb) 121108

[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38045 0 0 0 49084 2322 0 0 17 0 1 0 22335644 124489728 24161 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30393 24161 364 364 0 30029 0
[pid=11508] vsize: 121572
Current children cumulated CPU time (s) 514.06
Current children cumulated vsize (Kb) 121572

[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38115 0 0 0 49979 2357 0 0 25 0 1 0 22335644 124653568 24231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30433 24231 364 364 0 30069 0
[pid=11508] vsize: 121732
Current children cumulated CPU time (s) 523.36
Current children cumulated vsize (Kb) 121732

[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 38166 0 0 0 50865 2394 0 0 25 0 1 0 22335644 124817408 24282 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 30473 24282 364 364 0 30109 0
[pid=11508] vsize: 121892
Current children cumulated CPU time (s) 532.59
Current children cumulated vsize (Kb) 121892

[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38206 0 0 0 51747 2430 0 0 25 0 1 0 22335644 124817408 24322 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30473 24322 364 364 0 30109 0
[pid=11508] vsize: 121892
Current children cumulated CPU time (s) 541.77
Current children cumulated vsize (Kb) 121892

[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 38361 0 0 0 52635 2463 0 0 25 0 1 0 22335644 125640704 24477 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 30674 24477 364 364 0 30310 0
[pid=11508] vsize: 122696
Current children cumulated CPU time (s) 550.98
Current children cumulated vsize (Kb) 122696

[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38418 0 0 0 53481 2512 0 0 25 0 1 0 22335644 125788160 24534 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30710 24534 364 364 0 30346 0
[pid=11508] vsize: 122840
Current children cumulated CPU time (s) 559.93
Current children cumulated vsize (Kb) 122840

[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 38621 0 0 0 54349 2555 0 0 25 0 1 0 22335644 126533632 24737 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30892 24737 364 364 0 30528 0
[pid=11508] vsize: 123568
Current children cumulated CPU time (s) 569.04
Current children cumulated vsize (Kb) 123568

[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 38707 0 0 0 55212 2602 0 0 25 0 1 0 22335644 126861312 24823 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 30972 24823 364 364 0 30608 0
[pid=11508] vsize: 123888
Current children cumulated CPU time (s) 578.14
Current children cumulated vsize (Kb) 123888

[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38769 0 0 0 56086 2642 0 0 25 0 1 0 22335644 127057920 24885 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31020 24885 364 364 0 30656 0
[pid=11508] vsize: 124080
Current children cumulated CPU time (s) 587.28
Current children cumulated vsize (Kb) 124080

[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 38857 0 0 0 56942 2690 0 0 25 0 1 0 22335644 127586304 24973 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31149 24973 364 364 0 30785 0
[pid=11508] vsize: 124596
Current children cumulated CPU time (s) 596.32
Current children cumulated vsize (Kb) 124596

[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39049 0 0 0 57787 2739 0 0 24 0 1 0 22335644 128335872 25165 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 31332 25165 364 364 0 30968 0
[pid=11508] vsize: 125328
Current children cumulated CPU time (s) 605.26
Current children cumulated vsize (Kb) 125328

[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 39068 0 0 0 58638 2790 0 0 25 0 1 0 22335644 128335872 25184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31332 25184 364 364 0 30968 0
[pid=11508] vsize: 125328
Current children cumulated CPU time (s) 614.28
Current children cumulated vsize (Kb) 125328

[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39192 0 0 0 59504 2833 0 0 24 0 1 0 22335644 129089536 25308 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31516 25308 364 364 0 31152 0
[pid=11508] vsize: 126064
Current children cumulated CPU time (s) 623.37
Current children cumulated vsize (Kb) 126064

[startup+690.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39316 0 0 0 60387 2870 0 0 25 0 1 0 22335644 129417216 25432 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 31596 25432 364 364 0 31232 0
[pid=11508] vsize: 126384
Current children cumulated CPU time (s) 632.57
Current children cumulated vsize (Kb) 126384

[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39380 0 0 0 61250 2914 0 0 25 0 1 0 22335644 129810432 25496 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 31692 25496 364 364 0 31328 0
[pid=11508] vsize: 126768
Current children cumulated CPU time (s) 641.64
Current children cumulated vsize (Kb) 126768

[startup+710.038 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 39480 0 0 0 62120 2957 0 0 25 0 1 0 22335644 130203648 25596 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31788 25596 364 364 0 31424 0
[pid=11508] vsize: 127152
Current children cumulated CPU time (s) 650.77
Current children cumulated vsize (Kb) 127152

[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 39546 0 0 0 62999 3001 0 0 25 0 1 0 22335644 130596864 25662 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31884 25662 364 364 0 31520 0
[pid=11508] vsize: 127536
Current children cumulated CPU time (s) 660
Current children cumulated vsize (Kb) 127536

[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39558 0 0 0 63871 3044 0 0 25 0 1 0 22335644 130596864 25674 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31884 25674 364 364 0 31520 0
[pid=11508] vsize: 127536
Current children cumulated CPU time (s) 669.15
Current children cumulated vsize (Kb) 127536

[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39620 0 0 0 64740 3088 0 0 25 0 1 0 22335644 130748416 25736 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31921 25736 364 364 0 31557 0
[pid=11508] vsize: 127684
Current children cumulated CPU time (s) 678.28
Current children cumulated vsize (Kb) 127684

[startup+750.039 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 39693 0 0 0 65612 3131 0 0 25 0 1 0 22335644 131067904 25809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 31999 25809 364 364 0 31635 0
[pid=11508] vsize: 127996
Current children cumulated CPU time (s) 687.43
Current children cumulated vsize (Kb) 127996

[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39745 0 0 0 66488 3172 0 0 25 0 1 0 22335644 131264512 25861 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32047 25861 364 364 0 31683 0
[pid=11508] vsize: 128188
Current children cumulated CPU time (s) 696.6
Current children cumulated vsize (Kb) 128188

[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39825 0 0 0 67350 3216 0 0 25 0 1 0 22335644 131756032 25941 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32167 25941 364 364 0 31803 0
[pid=11508] vsize: 128668
Current children cumulated CPU time (s) 705.66
Current children cumulated vsize (Kb) 128668

[startup+780.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 39901 0 0 0 68221 3257 0 0 25 0 1 0 22335644 132116480 26017 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 32255 26017 364 364 0 31891 0
[pid=11508] vsize: 129020
Current children cumulated CPU time (s) 714.78
Current children cumulated vsize (Kb) 129020

[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 39993 0 0 0 69082 3304 0 0 25 0 1 0 22335644 132476928 26109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11508/statm): 32343 26109 364 364 0 31979 0
[pid=11508] vsize: 129372
Current children cumulated CPU time (s) 723.86
Current children cumulated vsize (Kb) 129372

[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 40146 0 0 0 69937 3352 0 0 25 0 1 0 22335644 133132288 26262 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 32503 26262 364 364 0 32139 0
[pid=11508] vsize: 130012
Current children cumulated CPU time (s) 732.89
Current children cumulated vsize (Kb) 130012

[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40299 0 0 0 70789 3400 0 0 25 0 1 0 22335644 134000640 26415 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32715 26415 364 364 0 32351 0
[pid=11508] vsize: 130860
Current children cumulated CPU time (s) 741.89
Current children cumulated vsize (Kb) 130860

[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40310 0 0 0 71665 3439 0 0 25 0 1 0 22335644 134000640 26426 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32715 26426 364 364 0 32351 0
[pid=11508] vsize: 130860
Current children cumulated CPU time (s) 751.04
Current children cumulated vsize (Kb) 130860

[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 40442 0 0 0 72547 3476 0 0 25 0 1 0 22335644 134811648 26558 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32913 26558 364 364 0 32549 0
[pid=11508] vsize: 131652
Current children cumulated CPU time (s) 760.23
Current children cumulated vsize (Kb) 131652

[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 40454 0 0 0 73416 3520 0 0 25 0 1 0 22335644 134811648 26570 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 32913 26570 364 364 0 32549 0
[pid=11508] vsize: 131652
Current children cumulated CPU time (s) 769.36
Current children cumulated vsize (Kb) 131652

[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40478 0 0 0 74293 3557 0 0 25 0 1 0 22335644 134975488 26594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32953 26594 364 364 0 32589 0
[pid=11508] vsize: 131812
Current children cumulated CPU time (s) 778.5
Current children cumulated vsize (Kb) 131812

[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40504 0 0 0 75137 3608 0 0 24 0 1 0 22335644 134975488 26620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 32953 26620 364 364 0 32589 0
[pid=11508] vsize: 131812
Current children cumulated CPU time (s) 787.45
Current children cumulated vsize (Kb) 131812

[startup+870.046 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40637 0 0 0 76001 3654 0 0 24 0 1 0 22335644 135696384 26753 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33129 26753 364 364 0 32765 0
[pid=11508] vsize: 132516
Current children cumulated CPU time (s) 796.55
Current children cumulated vsize (Kb) 132516

[startup+880.045 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40694 0 0 0 76843 3709 0 0 25 0 1 0 22335644 136024064 26810 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33209 26810 364 364 0 32845 0
[pid=11508] vsize: 132836
Current children cumulated CPU time (s) 805.52
Current children cumulated vsize (Kb) 132836

[startup+890.046 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40758 0 0 0 77688 3762 0 0 24 0 1 0 22335644 136417280 26874 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33305 26874 364 364 0 32941 0
[pid=11508] vsize: 133220
Current children cumulated CPU time (s) 814.5
Current children cumulated vsize (Kb) 133220

[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40771 0 0 0 78524 3818 0 0 24 0 1 0 22335644 136417280 26887 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33305 26887 364 364 0 32941 0
[pid=11508] vsize: 133220
Current children cumulated CPU time (s) 823.42
Current children cumulated vsize (Kb) 133220

[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 40791 0 0 0 79404 3853 0 0 25 0 1 0 22335644 136417280 26907 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33305 26907 364 364 0 32941 0
[pid=11508] vsize: 133220
Current children cumulated CPU time (s) 832.57
Current children cumulated vsize (Kb) 133220

[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40804 0 0 0 80279 3896 0 0 25 0 1 0 22335644 136417280 26920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33305 26920 364 364 0 32941 0
[pid=11508] vsize: 133220
Current children cumulated CPU time (s) 841.75
Current children cumulated vsize (Kb) 133220

[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 40845 0 0 0 81164 3933 0 0 25 0 1 0 22335644 136564736 26961 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33341 26961 364 364 0 32977 0
[pid=11508] vsize: 133364
Current children cumulated CPU time (s) 850.97
Current children cumulated vsize (Kb) 133364

[startup+940.05 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40890 0 0 0 82044 3970 0 0 25 0 1 0 22335644 136720384 27006 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33379 27006 364 364 0 33015 0
[pid=11508] vsize: 133516
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 133516

[startup+950.05 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 40939 0 0 0 82910 4011 0 0 25 0 1 0 22335644 136900608 27055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33423 27055 364 364 0 33059 0
[pid=11508] vsize: 133692
Current children cumulated CPU time (s) 869.21
Current children cumulated vsize (Kb) 133692

[startup+960.051 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41083 0 0 0 83772 4058 0 0 20 0 1 0 22335644 137654272 27199 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33607 27199 364 364 0 33243 0
[pid=11508] vsize: 134428
Current children cumulated CPU time (s) 878.3
Current children cumulated vsize (Kb) 134428

[startup+970.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41159 0 0 0 84644 4099 0 0 25 0 1 0 22335644 138244096 27275 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33751 27275 364 364 0 33387 0
[pid=11508] vsize: 135004
Current children cumulated CPU time (s) 887.43
Current children cumulated vsize (Kb) 135004

[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41191 0 0 0 85528 4134 0 0 25 0 1 0 22335644 138244096 27307 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33751 27307 364 364 0 33387 0
[pid=11508] vsize: 135004
Current children cumulated CPU time (s) 896.62
Current children cumulated vsize (Kb) 135004

[startup+990.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41208 0 0 0 86398 4178 0 0 23 0 1 0 22335644 138244096 27324 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33751 27324 364 364 0 33387 0
[pid=11508] vsize: 135004
Current children cumulated CPU time (s) 905.76
Current children cumulated vsize (Kb) 135004

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41274 0 0 0 87252 4225 0 0 24 0 1 0 22335644 138637312 27390 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33847 27390 364 364 0 33483 0
[pid=11508] vsize: 135388
Current children cumulated CPU time (s) 914.77
Current children cumulated vsize (Kb) 135388

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41287 0 0 0 88095 4280 0 0 20 0 1 0 22335644 138637312 27403 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 33847 27403 364 364 0 33483 0
[pid=11508] vsize: 135388
Current children cumulated CPU time (s) 923.75
Current children cumulated vsize (Kb) 135388

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41409 0 0 0 88979 4318 0 0 25 0 1 0 22335644 139423744 27525 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34039 27525 364 364 0 33675 0
[pid=11508] vsize: 136156
Current children cumulated CPU time (s) 932.97
Current children cumulated vsize (Kb) 136156

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41510 0 0 0 89850 4359 0 0 25 0 1 0 22335644 139882496 27626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34151 27626 364 364 0 33787 0
[pid=11508] vsize: 136604
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (Kb) 136604

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41571 0 0 0 90701 4406 0 0 22 0 1 0 22335644 140029952 27687 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34187 27687 364 364 0 33823 0
[pid=11508] vsize: 136748
Current children cumulated CPU time (s) 951.07
Current children cumulated vsize (Kb) 136748

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41593 0 0 0 91579 4445 0 0 25 0 1 0 22335644 140193792 27709 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34227 27709 364 364 0 33863 0
[pid=11508] vsize: 136908
Current children cumulated CPU time (s) 960.24
Current children cumulated vsize (Kb) 136908

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41603 0 0 0 92461 4484 0 0 25 0 1 0 22335644 140193792 27719 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34227 27719 364 364 0 33863 0
[pid=11508] vsize: 136908
Current children cumulated CPU time (s) 969.45
Current children cumulated vsize (Kb) 136908

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 41683 0 0 0 93343 4520 0 0 25 0 1 0 22335644 140587008 27799 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34323 27799 364 364 0 33959 0
[pid=11508] vsize: 137292
Current children cumulated CPU time (s) 978.63
Current children cumulated vsize (Kb) 137292

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41710 0 0 0 94182 4576 0 0 23 0 1 0 22335644 140587008 27826 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34323 27826 364 364 0 33959 0
[pid=11508] vsize: 137292
Current children cumulated CPU time (s) 987.58
Current children cumulated vsize (Kb) 137292

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41746 0 0 0 95049 4618 0 0 25 0 1 0 22335644 140783616 27862 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34371 27862 364 364 0 34007 0
[pid=11508] vsize: 137484
Current children cumulated CPU time (s) 996.67
Current children cumulated vsize (Kb) 137484

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 41780 0 0 0 95933 4654 0 0 25 0 1 0 22335644 140980224 27896 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34419 27896 364 364 0 34055 0
[pid=11508] vsize: 137676
Current children cumulated CPU time (s) 1005.87
Current children cumulated vsize (Kb) 137676

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42200 0 0 0 96838 4684 0 0 25 0 1 0 22335644 141176832 27953 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34467 27953 364 364 0 34103 0
[pid=11508] vsize: 137868
Current children cumulated CPU time (s) 1015.22
Current children cumulated vsize (Kb) 137868

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42272 0 0 0 97704 4728 0 0 25 0 1 0 22335644 141570048 28025 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34563 28025 364 364 0 34199 0
[pid=11508] vsize: 138252
Current children cumulated CPU time (s) 1024.32
Current children cumulated vsize (Kb) 138252

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42315 0 0 0 98589 4763 0 0 25 0 1 0 22335644 141766656 28068 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28068 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1033.52
Current children cumulated vsize (Kb) 138444

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42324 0 0 0 99461 4806 0 0 25 0 1 0 22335644 141766656 28077 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28077 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1042.67
Current children cumulated vsize (Kb) 138444

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42333 0 0 0 100333 4850 0 0 25 0 1 0 22335644 141766656 28086 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34611 28086 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1051.83
Current children cumulated vsize (Kb) 138444

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42347 0 0 0 101200 4892 0 0 25 0 1 0 22335644 141766656 28100 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28100 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1060.92
Current children cumulated vsize (Kb) 138444

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42357 0 0 0 102059 4938 0 0 25 0 1 0 22335644 141766656 28110 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34611 28110 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1069.97
Current children cumulated vsize (Kb) 138444

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42367 0 0 0 102924 4983 0 0 25 0 1 0 22335644 141766656 28120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28120 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1079.07
Current children cumulated vsize (Kb) 138444

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42377 0 0 0 103788 5030 0 0 25 0 1 0 22335644 141766656 28130 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28130 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1088.18
Current children cumulated vsize (Kb) 138444

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42387 0 0 0 104667 5067 0 0 25 0 1 0 22335644 141766656 28140 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28140 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1097.34
Current children cumulated vsize (Kb) 138444

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42395 0 0 0 105540 5108 0 0 25 0 1 0 22335644 141766656 28148 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34611 28148 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1106.48
Current children cumulated vsize (Kb) 138444

[startup+1220.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42402 0 0 0 106417 5146 0 0 25 0 1 0 22335644 141766656 28155 4294967295 134512640 135987407 3221224560 3221223404 135288060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28155 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1115.63
Current children cumulated vsize (Kb) 138444

[startup+1230.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42411 0 0 0 107283 5187 0 0 25 0 1 0 22335644 141766656 28164 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28164 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1124.7
Current children cumulated vsize (Kb) 138444

[startup+1240.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42418 0 0 0 108148 5229 0 0 25 0 1 0 22335644 141766656 28171 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34611 28171 364 364 0 34247 0
[pid=11508] vsize: 138444
Current children cumulated CPU time (s) 1133.77
Current children cumulated vsize (Kb) 138444

[startup+1250.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42463 0 0 0 108982 5283 0 0 24 0 1 0 22335644 142077952 28216 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34687 28216 364 364 0 34323 0
[pid=11508] vsize: 138748
Current children cumulated CPU time (s) 1142.65
Current children cumulated vsize (Kb) 138748

[startup+1260.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42477 0 0 0 109832 5332 0 0 24 0 1 0 22335644 142077952 28230 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34687 28230 364 364 0 34323 0
[pid=11508] vsize: 138748
Current children cumulated CPU time (s) 1151.64
Current children cumulated vsize (Kb) 138748

[startup+1270.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42495 0 0 0 110713 5371 0 0 25 0 1 0 22335644 142225408 28248 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34723 28248 364 364 0 34359 0
[pid=11508] vsize: 138892
Current children cumulated CPU time (s) 1160.84
Current children cumulated vsize (Kb) 138892

[startup+1280.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) T 11507 11508 4060 0 -1 0 42532 0 0 0 111580 5414 0 0 25 0 1 0 22335644 142364672 28285 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34757 28285 364 364 0 34393 0
[pid=11508] vsize: 139028
Current children cumulated CPU time (s) 1169.94
Current children cumulated vsize (Kb) 139028

[startup+1290.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42571 0 0 0 112448 5460 0 0 25 0 1 0 22335644 142528512 28324 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34797 28324 364 364 0 34433 0
[pid=11508] vsize: 139188
Current children cumulated CPU time (s) 1179.08
Current children cumulated vsize (Kb) 139188

[startup+1300.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42581 0 0 0 113310 5506 0 0 25 0 1 0 22335644 142528512 28334 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34797 28334 364 364 0 34433 0
[pid=11508] vsize: 139188
Current children cumulated CPU time (s) 1188.16
Current children cumulated vsize (Kb) 139188

[startup+1310.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42604 0 0 0 114187 5548 0 0 25 0 1 0 22335644 142528512 28357 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11508/statm): 34797 28357 364 364 0 34433 0
[pid=11508] vsize: 139188
Current children cumulated CPU time (s) 1197.35
Current children cumulated vsize (Kb) 139188

[startup+1320.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42613 0 0 0 115054 5591 0 0 25 0 1 0 22335644 142528512 28366 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34797 28366 364 364 0 34433 0
[pid=11508] vsize: 139188
Current children cumulated CPU time (s) 1206.45
Current children cumulated vsize (Kb) 139188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 11508
Raw data (/proc/11508/stat): 11508 (pb2sat) R 11507 11508 4060 0 -1 0 42613 0 0 0 115054 5591 0 0 25 0 1 0 22335644 142528512 28366 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11508/statm): 34797 28366 364 364 0 34433 0
[pid=11508] vsize: 139188
Current children cumulated CPU time (s) 1206.45
Current children cumulated vsize (Kb) 139188

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

Child status: 0
Real time (s): 1320.4
CPU time (s): 1206.77
CPU user time (s): 1150.81
CPU system time (s): 55.9655
CPU usage (%): 91.3945
Max. virtual memory (cumulated for all children) (Kb): 139188

Verifier Data

ERROR: no interpretation found !