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/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM154c7c542b6df7aab333fa859438b34f
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65634210
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1259.76
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 10489

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 18:16:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9186 boxname=wulflinc13 idbench=982 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  154c7c542b6df7aab333fa859438b34f  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 9186
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        966488 kB
Buffers:           844 kB
Cached:          50360 kB
SwapCached:          0 kB
Active:          15788 kB
Inactive:        38288 kB
HighTotal:      131008 kB
HighFree:        76300 kB
LowTotal:       903652 kB
LowFree:        890188 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8476 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:38:50 (client local time) WITH STATUS 0 IN 1206.7 SECONDS
stats: 9186 7 1206.7 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22278758 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 373 2 364 364 0 9 0
[pid=9631] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-set1ch.opb

[startup+10.0019 s]
Raw data (loadavg): 0.92 0.94 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 28006 0 0 0 925 71 0 0 25 0 1 0 22278758 84389888 16857 4294967295 134512640 135987407 3221224560 3221223180 134827710 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 20603 16857 364 364 0 20239 0
[pid=9631] vsize: 82412
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 82412

[startup+20.0025 s]
Raw data (loadavg): 0.93 0.94 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 28695 0 0 0 1772 125 0 0 25 0 1 0 22278758 85446656 17108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 20861 17108 364 364 0 20497 0
[pid=9631] vsize: 83444
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (Kb) 83444

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 28891 0 0 0 2651 163 0 0 24 0 1 0 22278758 86151168 17304 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21033 17304 364 364 0 20669 0
[pid=9631] vsize: 84132
Current children cumulated CPU time (s) 28.14
Current children cumulated vsize (Kb) 84132

[startup+40.0028 s]
Raw data (loadavg): 0.95 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29054 0 0 0 3526 207 0 0 25 0 1 0 22278758 86728704 17467 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21174 17467 364 364 0 20810 0
[pid=9631] vsize: 84696
Current children cumulated CPU time (s) 37.33
Current children cumulated vsize (Kb) 84696

[startup+50.0035 s]
Raw data (loadavg): 0.95 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29165 0 0 0 4406 247 0 0 23 0 1 0 22278758 87162880 17578 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21280 17578 364 364 0 20916 0
[pid=9631] vsize: 85120
Current children cumulated CPU time (s) 46.53
Current children cumulated vsize (Kb) 85120

[startup+60.0042 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29247 0 0 0 5289 286 0 0 22 0 1 0 22278758 87441408 17660 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21348 17660 364 364 0 20984 0
[pid=9631] vsize: 85392
Current children cumulated CPU time (s) 55.75
Current children cumulated vsize (Kb) 85392

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29314 0 0 0 6168 325 0 0 25 0 1 0 22278758 87724032 17727 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21417 17727 364 364 0 21053 0
[pid=9631] vsize: 85668
Current children cumulated CPU time (s) 64.93
Current children cumulated vsize (Kb) 85668

[startup+80.0055 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29379 0 0 0 7052 363 0 0 19 0 1 0 22278758 88006656 17792 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21486 17792 364 364 0 21122 0
[pid=9631] vsize: 85944
Current children cumulated CPU time (s) 74.15
Current children cumulated vsize (Kb) 85944

[startup+90.0061 s]
Raw data (loadavg): 0.98 0.95 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 29478 0 0 0 7932 404 0 0 25 0 1 0 22278758 88276992 17891 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21552 17891 364 364 0 21188 0
[pid=9631] vsize: 86208
Current children cumulated CPU time (s) 83.36
Current children cumulated vsize (Kb) 86208

[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 29542 0 0 0 8816 442 0 0 25 0 1 0 22278758 88563712 17955 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21622 17955 364 364 0 21258 0
[pid=9631] vsize: 86488
Current children cumulated CPU time (s) 92.58
Current children cumulated vsize (Kb) 86488

[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 29599 0 0 0 9697 479 0 0 25 0 1 0 22278758 88702976 18012 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21656 18012 364 364 0 21292 0
[pid=9631] vsize: 86624
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (Kb) 86624

[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29686 0 0 0 10572 518 0 0 25 0 1 0 22278758 89108480 18099 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21755 18099 364 364 0 21391 0
[pid=9631] vsize: 87020
Current children cumulated CPU time (s) 110.9
Current children cumulated vsize (Kb) 87020

[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29766 0 0 0 11444 562 0 0 25 0 1 0 22278758 89387008 18179 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21823 18179 364 364 0 21459 0
[pid=9631] vsize: 87292
Current children cumulated CPU time (s) 120.06
Current children cumulated vsize (Kb) 87292

[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 29826 0 0 0 12324 603 0 0 25 0 1 0 22278758 89522176 18239 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 21856 18239 364 364 0 21492 0
[pid=9631] vsize: 87424
Current children cumulated CPU time (s) 129.27
Current children cumulated vsize (Kb) 87424

[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 29898 0 0 0 13210 639 0 0 25 0 1 0 22278758 89808896 18311 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 21926 18311 364 364 0 21562 0
[pid=9631] vsize: 87704
Current children cumulated CPU time (s) 138.49
Current children cumulated vsize (Kb) 87704

[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 29986 0 0 0 14092 678 0 0 24 0 1 0 22278758 90230784 18399 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22029 18399 364 364 0 21665 0
[pid=9631] vsize: 88116
Current children cumulated CPU time (s) 147.7
Current children cumulated vsize (Kb) 88116

[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30035 0 0 0 14963 721 0 0 20 0 1 0 22278758 90365952 18448 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22062 18448 364 364 0 21698 0
[pid=9631] vsize: 88248
Current children cumulated CPU time (s) 156.84
Current children cumulated vsize (Kb) 88248

[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30068 0 0 0 15845 758 0 0 23 0 1 0 22278758 90505216 18481 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22096 18481 364 364 0 21732 0
[pid=9631] vsize: 88384
Current children cumulated CPU time (s) 166.03
Current children cumulated vsize (Kb) 88384

[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30113 0 0 0 16719 799 0 0 19 0 1 0 22278758 90640384 18526 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22129 18526 364 364 0 21765 0
[pid=9631] vsize: 88516
Current children cumulated CPU time (s) 175.18
Current children cumulated vsize (Kb) 88516

[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30148 0 0 0 17595 841 0 0 25 0 1 0 22278758 90779648 18561 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22163 18561 364 364 0 21799 0
[pid=9631] vsize: 88652
Current children cumulated CPU time (s) 184.36
Current children cumulated vsize (Kb) 88652

[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30178 0 0 0 18473 885 0 0 25 0 1 0 22278758 90779648 18591 4294967295 134512640 135987407 3221224560 3221223248 134811792 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22163 18591 364 364 0 21799 0
[pid=9631] vsize: 88652
Current children cumulated CPU time (s) 193.58
Current children cumulated vsize (Kb) 88652

[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30248 0 0 0 19349 925 0 0 19 0 1 0 22278758 91049984 18661 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22229 18661 364 364 0 21865 0
[pid=9631] vsize: 88916
Current children cumulated CPU time (s) 202.74
Current children cumulated vsize (Kb) 88916

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30313 0 0 0 20220 968 0 0 25 0 1 0 22278758 91336704 18726 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22299 18726 364 364 0 21935 0
[pid=9631] vsize: 89196
Current children cumulated CPU time (s) 211.88
Current children cumulated vsize (Kb) 89196

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30349 0 0 0 21107 1006 0 0 25 0 1 0 22278758 91484160 18762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22335 18762 364 364 0 21971 0
[pid=9631] vsize: 89340
Current children cumulated CPU time (s) 221.13
Current children cumulated vsize (Kb) 89340

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30386 0 0 0 21980 1046 0 0 25 0 1 0 22278758 91619328 18799 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22368 18799 364 364 0 22004 0
[pid=9631] vsize: 89472
Current children cumulated CPU time (s) 230.26
Current children cumulated vsize (Kb) 89472

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30419 0 0 0 22851 1084 0 0 25 0 1 0 22278758 91754496 18832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22401 18832 364 364 0 22037 0
[pid=9631] vsize: 89604
Current children cumulated CPU time (s) 239.35
Current children cumulated vsize (Kb) 89604

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30513 0 0 0 23720 1128 0 0 25 0 1 0 22278758 92024832 18926 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22467 18926 364 364 0 22103 0
[pid=9631] vsize: 89868
Current children cumulated CPU time (s) 248.48
Current children cumulated vsize (Kb) 89868

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30549 0 0 0 24593 1168 0 0 17 0 1 0 22278758 92160000 18962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22500 18962 364 364 0 22136 0
[pid=9631] vsize: 90000
Current children cumulated CPU time (s) 257.61
Current children cumulated vsize (Kb) 90000

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30656 0 0 0 25465 1210 0 0 24 0 1 0 22278758 92565504 19036 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22599 19036 364 364 0 22235 0
[pid=9631] vsize: 90396
Current children cumulated CPU time (s) 266.75
Current children cumulated vsize (Kb) 90396

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30688 0 0 0 26340 1253 0 0 25 0 1 0 22278758 92700672 19068 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22632 19068 364 364 0 22268 0
[pid=9631] vsize: 90528
Current children cumulated CPU time (s) 275.93
Current children cumulated vsize (Kb) 90528

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30745 0 0 0 27202 1298 0 0 19 0 1 0 22278758 92975104 19125 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22699 19125 364 364 0 22335 0
[pid=9631] vsize: 90796
Current children cumulated CPU time (s) 285
Current children cumulated vsize (Kb) 90796

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30797 0 0 0 28070 1340 0 0 25 0 1 0 22278758 93114368 19177 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22733 19177 364 364 0 22369 0
[pid=9631] vsize: 90932
Current children cumulated CPU time (s) 294.1
Current children cumulated vsize (Kb) 90932

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30847 0 0 0 28938 1382 0 0 25 0 1 0 22278758 93249536 19227 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22766 19227 364 364 0 22402 0
[pid=9631] vsize: 91064
Current children cumulated CPU time (s) 303.2
Current children cumulated vsize (Kb) 91064

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 30905 0 0 0 29814 1424 0 0 21 0 1 0 22278758 93540352 19285 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 22837 19285 364 364 0 22473 0
[pid=9631] vsize: 91348
Current children cumulated CPU time (s) 312.38
Current children cumulated vsize (Kb) 91348

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 30966 0 0 0 30688 1465 0 0 20 0 1 0 22278758 93827072 19346 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22907 19346 364 364 0 22543 0
[pid=9631] vsize: 91628
Current children cumulated CPU time (s) 321.53
Current children cumulated vsize (Kb) 91628

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31028 0 0 0 31572 1503 0 0 24 0 1 0 22278758 93966336 19408 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 22941 19408 364 364 0 22577 0
[pid=9631] vsize: 91764
Current children cumulated CPU time (s) 330.75
Current children cumulated vsize (Kb) 91764

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31073 0 0 0 32451 1542 0 0 19 0 1 0 22278758 94261248 19453 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23013 19453 364 364 0 22649 0
[pid=9631] vsize: 92052
Current children cumulated CPU time (s) 339.93
Current children cumulated vsize (Kb) 92052

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31091 0 0 0 33329 1583 0 0 18 0 1 0 22278758 94261248 19471 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23013 19471 364 364 0 22649 0
[pid=9631] vsize: 92052
Current children cumulated CPU time (s) 349.12
Current children cumulated vsize (Kb) 92052

[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31119 0 0 0 34213 1620 0 0 24 0 1 0 22278758 94408704 19499 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23049 19499 364 364 0 22685 0
[pid=9631] vsize: 92196
Current children cumulated CPU time (s) 358.33
Current children cumulated vsize (Kb) 92196

[startup+400.014 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31201 0 0 0 35081 1661 0 0 25 0 1 0 22278758 94687232 19581 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23117 19581 364 364 0 22753 0
[pid=9631] vsize: 92468
Current children cumulated CPU time (s) 367.42
Current children cumulated vsize (Kb) 92468

[startup+410.014 s]
Raw data (loadavg): 1.06 0.99 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31229 0 0 0 35957 1700 0 0 23 0 1 0 22278758 94687232 19609 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23117 19609 364 364 0 22753 0
[pid=9631] vsize: 92468
Current children cumulated CPU time (s) 376.57
Current children cumulated vsize (Kb) 92468

[startup+420.015 s]
Raw data (loadavg): 1.05 0.99 0.92 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31269 0 0 0 36832 1742 0 0 25 0 1 0 22278758 94826496 19649 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23151 19649 364 364 0 22787 0
[pid=9631] vsize: 92604
Current children cumulated CPU time (s) 385.74
Current children cumulated vsize (Kb) 92604

[startup+430.016 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31329 0 0 0 37693 1789 0 0 25 0 1 0 22278758 94973952 19709 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23187 19709 364 364 0 22823 0
[pid=9631] vsize: 92748
Current children cumulated CPU time (s) 394.82
Current children cumulated vsize (Kb) 92748

[startup+440.015 s]
Raw data (loadavg): 1.11 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31385 0 0 0 38570 1827 0 0 25 0 1 0 22278758 95260672 19765 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23257 19765 364 364 0 22893 0
[pid=9631] vsize: 93028
Current children cumulated CPU time (s) 403.97
Current children cumulated vsize (Kb) 93028

[startup+450.015 s]
Raw data (loadavg): 1.09 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31408 0 0 0 39439 1870 0 0 25 0 1 0 22278758 95260672 19788 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23257 19788 364 364 0 22893 0
[pid=9631] vsize: 93028
Current children cumulated CPU time (s) 413.09
Current children cumulated vsize (Kb) 93028

[startup+460.016 s]
Raw data (loadavg): 1.08 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31447 0 0 0 40318 1915 0 0 20 0 1 0 22278758 95395840 19827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23290 19827 364 364 0 22926 0
[pid=9631] vsize: 93160
Current children cumulated CPU time (s) 422.33
Current children cumulated vsize (Kb) 93160

[startup+470.016 s]
Raw data (loadavg): 1.06 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 31514 0 0 0 41183 1959 0 0 23 0 1 0 22278758 95666176 19894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23356 19894 364 364 0 22992 0
[pid=9631] vsize: 93424
Current children cumulated CPU time (s) 431.42
Current children cumulated vsize (Kb) 93424

[startup+480.017 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31548 0 0 0 42053 2002 0 0 21 0 1 0 22278758 95809536 19928 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23391 19928 364 364 0 23027 0
[pid=9631] vsize: 93564
Current children cumulated CPU time (s) 440.55
Current children cumulated vsize (Kb) 93564

[startup+490.018 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31747 0 0 0 42923 2046 0 0 24 0 1 0 22278758 96694272 20127 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23607 20127 364 364 0 23243 0
[pid=9631] vsize: 94428
Current children cumulated CPU time (s) 449.69
Current children cumulated vsize (Kb) 94428

[startup+500.017 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31858 0 0 0 43797 2086 0 0 25 0 1 0 22278758 97185792 20238 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23727 20238 364 364 0 23363 0
[pid=9631] vsize: 94908
Current children cumulated CPU time (s) 458.83
Current children cumulated vsize (Kb) 94908

[startup+510.018 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31919 0 0 0 44674 2126 0 0 25 0 1 0 22278758 97513472 20299 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23807 20299 364 364 0 23443 0
[pid=9631] vsize: 95228
Current children cumulated CPU time (s) 468
Current children cumulated vsize (Kb) 95228

[startup+520.018 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 31938 0 0 0 45549 2169 0 0 18 0 1 0 22278758 97513472 20318 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 23807 20318 364 364 0 23443 0
[pid=9631] vsize: 95228
Current children cumulated CPU time (s) 477.18
Current children cumulated vsize (Kb) 95228

[startup+530.018 s]
Raw data (loadavg): 1.02 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32023 0 0 0 46433 2209 0 0 21 0 1 0 22278758 97968128 20403 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23918 20403 364 364 0 23554 0
[pid=9631] vsize: 95672
Current children cumulated CPU time (s) 486.42
Current children cumulated vsize (Kb) 95672

[startup+540.019 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32054 0 0 0 47304 2250 0 0 25 0 1 0 22278758 98131968 20434 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23958 20434 364 364 0 23594 0
[pid=9631] vsize: 95832
Current children cumulated CPU time (s) 495.54
Current children cumulated vsize (Kb) 95832

[startup+550.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32062 0 0 0 48173 2291 0 0 23 0 1 0 22278758 98131968 20442 4294967295 134512640 135987407 3221224560 3221223344 134812394 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23958 20442 364 364 0 23594 0
[pid=9631] vsize: 95832
Current children cumulated CPU time (s) 504.64
Current children cumulated vsize (Kb) 95832

[startup+560.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32122 0 0 0 49050 2331 0 0 20 0 1 0 22278758 98271232 20502 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 23992 20502 364 364 0 23628 0
[pid=9631] vsize: 95968
Current children cumulated CPU time (s) 513.81
Current children cumulated vsize (Kb) 95968

[startup+570.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32153 0 0 0 49920 2370 0 0 25 0 1 0 22278758 98418688 20533 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 24028 20533 364 364 0 23664 0
[pid=9631] vsize: 96112
Current children cumulated CPU time (s) 522.9
Current children cumulated vsize (Kb) 96112

[startup+580.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32275 0 0 0 50789 2409 0 0 19 0 1 0 22278758 99221504 20655 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24224 20655 364 364 0 23860 0
[pid=9631] vsize: 96896
Current children cumulated CPU time (s) 531.98
Current children cumulated vsize (Kb) 96896

[startup+590.021 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32304 0 0 0 51651 2456 0 0 25 0 1 0 22278758 99385344 20684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 24264 20684 364 364 0 23900 0
[pid=9631] vsize: 97056
Current children cumulated CPU time (s) 541.07
Current children cumulated vsize (Kb) 97056

[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32326 0 0 0 52521 2498 0 0 17 0 1 0 22278758 99385344 20706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24264 20706 364 364 0 23900 0
[pid=9631] vsize: 97056
Current children cumulated CPU time (s) 550.19
Current children cumulated vsize (Kb) 97056

[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32363 0 0 0 53401 2537 0 0 22 0 1 0 22278758 99549184 20743 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24304 20743 364 364 0 23940 0
[pid=9631] vsize: 97216
Current children cumulated CPU time (s) 559.38
Current children cumulated vsize (Kb) 97216

[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32441 0 0 0 54281 2579 0 0 18 0 1 0 22278758 100040704 20821 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24424 20821 364 364 0 24060 0
[pid=9631] vsize: 97696
Current children cumulated CPU time (s) 568.6
Current children cumulated vsize (Kb) 97696

[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32532 0 0 0 55157 2620 0 0 25 0 1 0 22278758 100532224 20912 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24544 20912 364 364 0 24180 0
[pid=9631] vsize: 98176
Current children cumulated CPU time (s) 577.77
Current children cumulated vsize (Kb) 98176

[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32591 0 0 0 56028 2661 0 0 22 0 1 0 22278758 100859904 20971 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24624 20971 364 364 0 24260 0
[pid=9631] vsize: 98496
Current children cumulated CPU time (s) 586.89
Current children cumulated vsize (Kb) 98496

[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32638 0 0 0 56897 2703 0 0 19 0 1 0 22278758 101023744 21018 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24664 21018 364 364 0 24300 0
[pid=9631] vsize: 98656
Current children cumulated CPU time (s) 596
Current children cumulated vsize (Kb) 98656

[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32695 0 0 0 57772 2744 0 0 25 0 1 0 22278758 101351424 21075 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 24744 21075 364 364 0 24380 0
[pid=9631] vsize: 98976
Current children cumulated CPU time (s) 605.16
Current children cumulated vsize (Kb) 98976

[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32778 0 0 0 58650 2785 0 0 25 0 1 0 22278758 101842944 21158 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 24864 21158 364 364 0 24500 0
[pid=9631] vsize: 99456
Current children cumulated CPU time (s) 614.35
Current children cumulated vsize (Kb) 99456

[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 32843 0 0 0 59518 2828 0 0 18 0 1 0 22278758 102170624 21223 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 24944 21223 364 364 0 24580 0
[pid=9631] vsize: 99776
Current children cumulated CPU time (s) 623.46
Current children cumulated vsize (Kb) 99776

[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32892 0 0 0 60395 2866 0 0 25 0 1 0 22278758 102481920 21272 4294967295 134512640 135987407 3221224560 3221223376 134816622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25020 21272 364 364 0 24656 0
[pid=9631] vsize: 100080
Current children cumulated CPU time (s) 632.61
Current children cumulated vsize (Kb) 100080

[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 32996 0 0 0 61267 2909 0 0 25 0 1 0 22278758 102973440 21376 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25140 21376 364 364 0 24776 0
[pid=9631] vsize: 100560
Current children cumulated CPU time (s) 641.76
Current children cumulated vsize (Kb) 100560

[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33100 0 0 0 62136 2952 0 0 17 0 1 0 22278758 103464960 21480 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25260 21480 364 364 0 24896 0
[pid=9631] vsize: 101040
Current children cumulated CPU time (s) 650.88
Current children cumulated vsize (Kb) 101040

[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33167 0 0 0 63013 2992 0 0 25 0 1 0 22278758 103792640 21547 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25340 21547 364 364 0 24976 0
[pid=9631] vsize: 101360
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 101360

[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33244 0 0 0 63877 3033 0 0 20 0 1 0 22278758 104284160 21624 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25460 21624 364 364 0 25096 0
[pid=9631] vsize: 101840
Current children cumulated CPU time (s) 669.1
Current children cumulated vsize (Kb) 101840

[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33283 0 0 0 64748 3075 0 0 22 0 1 0 22278758 104448000 21663 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25500 21663 364 364 0 25136 0
[pid=9631] vsize: 102000
Current children cumulated CPU time (s) 678.23
Current children cumulated vsize (Kb) 102000

[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33375 0 0 0 65617 3119 0 0 24 0 1 0 22278758 104939520 21755 4294967295 134512640 135987407 3221224560 3221223376 134825109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25620 21755 364 364 0 25256 0
[pid=9631] vsize: 102480
Current children cumulated CPU time (s) 687.36
Current children cumulated vsize (Kb) 102480

[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33445 0 0 0 66485 3160 0 0 20 0 1 0 22278758 105398272 21825 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25732 21825 364 364 0 25368 0
[pid=9631] vsize: 102928
Current children cumulated CPU time (s) 696.45
Current children cumulated vsize (Kb) 102928

[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33496 0 0 0 67350 3203 0 0 17 0 1 0 22278758 105562112 21876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25772 21876 364 364 0 25408 0
[pid=9631] vsize: 103088
Current children cumulated CPU time (s) 705.53
Current children cumulated vsize (Kb) 103088

[startup+780.028 s]
Raw data (loadavg): 1.15 1.03 0.94 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33555 0 0 0 68222 3247 0 0 25 0 1 0 22278758 105725952 21935 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 25812 21935 364 364 0 25448 0
[pid=9631] vsize: 103248
Current children cumulated CPU time (s) 714.69
Current children cumulated vsize (Kb) 103248

[startup+790.027 s]
Raw data (loadavg): 1.13 1.03 0.94 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33573 0 0 0 69098 3288 0 0 25 0 1 0 22278758 105889792 21953 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25852 21953 364 364 0 25488 0
[pid=9631] vsize: 103408
Current children cumulated CPU time (s) 723.86
Current children cumulated vsize (Kb) 103408

[startup+800.027 s]
Raw data (loadavg): 1.11 1.03 0.94 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33635 0 0 0 69962 3328 0 0 22 0 1 0 22278758 106217472 22015 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25932 22015 364 364 0 25568 0
[pid=9631] vsize: 103728
Current children cumulated CPU time (s) 732.9
Current children cumulated vsize (Kb) 103728

[startup+810.028 s]
Raw data (loadavg): 1.09 1.03 0.94 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33687 0 0 0 70836 3368 0 0 18 0 1 0 22278758 106381312 22067 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 25972 22067 364 364 0 25608 0
[pid=9631] vsize: 103888
Current children cumulated CPU time (s) 742.04
Current children cumulated vsize (Kb) 103888

[startup+820.028 s]
Raw data (loadavg): 1.08 1.03 0.94 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33733 0 0 0 71706 3411 0 0 25 0 1 0 22278758 106676224 22113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26044 22113 364 364 0 25680 0
[pid=9631] vsize: 104176
Current children cumulated CPU time (s) 751.17
Current children cumulated vsize (Kb) 104176

[startup+830.029 s]
Raw data (loadavg): 1.14 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33786 0 0 0 72568 3456 0 0 24 0 1 0 22278758 106823680 22166 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26080 22166 364 364 0 25716 0
[pid=9631] vsize: 104320
Current children cumulated CPU time (s) 760.24
Current children cumulated vsize (Kb) 104320

[startup+840.03 s]
Raw data (loadavg): 1.12 1.04 0.95 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 33825 0 0 0 73438 3497 0 0 25 0 1 0 22278758 106987520 22205 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26120 22205 364 364 0 25756 0
[pid=9631] vsize: 104480
Current children cumulated CPU time (s) 769.35
Current children cumulated vsize (Kb) 104480

[startup+850.03 s]
Raw data (loadavg): 1.10 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33878 0 0 0 74295 3544 0 0 25 0 1 0 22278758 107298816 22258 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26196 22258 364 364 0 25832 0
[pid=9631] vsize: 104784
Current children cumulated CPU time (s) 778.39
Current children cumulated vsize (Kb) 104784

[startup+860.031 s]
Raw data (loadavg): 1.08 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 33947 0 0 0 75163 3586 0 0 25 0 1 0 22278758 107626496 22327 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26276 22327 364 364 0 25912 0
[pid=9631] vsize: 105104
Current children cumulated CPU time (s) 787.49
Current children cumulated vsize (Kb) 105104

[startup+870.031 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34001 0 0 0 76030 3628 0 0 21 0 1 0 22278758 107937792 22381 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26352 22381 364 364 0 25988 0
[pid=9631] vsize: 105408
Current children cumulated CPU time (s) 796.58
Current children cumulated vsize (Kb) 105408

[startup+880.031 s]
Raw data (loadavg): 1.06 1.03 0.95 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34056 0 0 0 76897 3670 0 0 17 0 1 0 22278758 108249088 22436 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26428 22436 364 364 0 26064 0
[pid=9631] vsize: 105712
Current children cumulated CPU time (s) 805.67
Current children cumulated vsize (Kb) 105712

[startup+890.032 s]
Raw data (loadavg): 1.05 1.03 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34116 0 0 0 77765 3715 0 0 25 0 1 0 22278758 108560384 22496 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26504 22496 364 364 0 26140 0
[pid=9631] vsize: 106016
Current children cumulated CPU time (s) 814.8
Current children cumulated vsize (Kb) 106016

[startup+900.032 s]
Raw data (loadavg): 1.04 1.03 0.95 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34161 0 0 0 78633 3758 0 0 20 0 1 0 22278758 108724224 22541 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26544 22541 364 364 0 26180 0
[pid=9631] vsize: 106176
Current children cumulated CPU time (s) 823.91
Current children cumulated vsize (Kb) 106176

[startup+910.032 s]
Raw data (loadavg): 1.11 1.04 0.95 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34214 0 0 0 79506 3802 0 0 25 0 1 0 22278758 109019136 22594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26616 22594 364 364 0 26252 0
[pid=9631] vsize: 106464
Current children cumulated CPU time (s) 833.08
Current children cumulated vsize (Kb) 106464

[startup+920.033 s]
Raw data (loadavg): 1.09 1.04 0.95 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34236 0 0 0 80368 3849 0 0 24 0 1 0 22278758 109019136 22616 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26616 22616 364 364 0 26252 0
[pid=9631] vsize: 106464
Current children cumulated CPU time (s) 842.17
Current children cumulated vsize (Kb) 106464

[startup+930.034 s]
Raw data (loadavg): 1.08 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34238 0 0 0 81236 3891 0 0 25 0 1 0 22278758 109019136 22618 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26616 22618 364 364 0 26252 0
[pid=9631] vsize: 106464
Current children cumulated CPU time (s) 851.27
Current children cumulated vsize (Kb) 106464

[startup+940.033 s]
Raw data (loadavg): 1.06 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34284 0 0 0 82109 3933 0 0 24 0 1 0 22278758 109314048 22664 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26688 22664 364 364 0 26324 0
[pid=9631] vsize: 106752
Current children cumulated CPU time (s) 860.42
Current children cumulated vsize (Kb) 106752

[startup+950.033 s]
Raw data (loadavg): 1.05 1.04 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34344 0 0 0 82987 3972 0 0 23 0 1 0 22278758 109449216 22724 4294967295 134512640 135987407 3221224560 3221223108 135481633 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26721 22724 364 364 0 26357 0
[pid=9631] vsize: 106884
Current children cumulated CPU time (s) 869.59
Current children cumulated vsize (Kb) 106884

[startup+960.034 s]
Raw data (loadavg): 1.05 1.03 0.95 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34371 0 0 0 83851 4020 0 0 22 0 1 0 22278758 109592576 22751 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26756 22751 364 364 0 26392 0
[pid=9631] vsize: 107024
Current children cumulated CPU time (s) 878.71
Current children cumulated vsize (Kb) 107024

[startup+970.033 s]
Raw data (loadavg): 1.19 1.07 0.96 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34397 0 0 0 84723 4062 0 0 23 0 1 0 22278758 109592576 22777 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26756 22777 364 364 0 26392 0
[pid=9631] vsize: 107024
Current children cumulated CPU time (s) 887.85
Current children cumulated vsize (Kb) 107024

[startup+980.034 s]
Raw data (loadavg): 1.16 1.06 0.96 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34418 0 0 0 85594 4105 0 0 23 0 1 0 22278758 109727744 22798 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26789 22798 364 364 0 26425 0
[pid=9631] vsize: 107156
Current children cumulated CPU time (s) 896.99
Current children cumulated vsize (Kb) 107156

[startup+990.035 s]
Raw data (loadavg): 1.14 1.06 0.96 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34449 0 0 0 86466 4150 0 0 25 0 1 0 22278758 109727744 22829 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26789 22829 364 364 0 26425 0
[pid=9631] vsize: 107156
Current children cumulated CPU time (s) 906.16
Current children cumulated vsize (Kb) 107156

[startup+1000.03 s]
Raw data (loadavg): 1.19 1.07 0.97 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34471 0 0 0 87340 4192 0 0 24 0 1 0 22278758 109862912 22851 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26822 22851 364 364 0 26458 0
[pid=9631] vsize: 107288
Current children cumulated CPU time (s) 915.32
Current children cumulated vsize (Kb) 107288

[startup+1010.03 s]
Raw data (loadavg): 1.23 1.09 0.97 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34502 0 0 0 88210 4236 0 0 17 0 1 0 22278758 109998080 22882 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26855 22882 364 364 0 26491 0
[pid=9631] vsize: 107420
Current children cumulated CPU time (s) 924.46
Current children cumulated vsize (Kb) 107420

[startup+1020.04 s]
Raw data (loadavg): 1.27 1.10 0.98 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34533 0 0 0 89082 4275 0 0 23 0 1 0 22278758 109998080 22913 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26855 22913 364 364 0 26491 0
[pid=9631] vsize: 107420
Current children cumulated CPU time (s) 933.57
Current children cumulated vsize (Kb) 107420

[startup+1030.04 s]
Raw data (loadavg): 1.23 1.10 0.98 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34547 0 0 0 89947 4320 0 0 25 0 1 0 22278758 109998080 22927 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26855 22927 364 364 0 26491 0
[pid=9631] vsize: 107420
Current children cumulated CPU time (s) 942.67
Current children cumulated vsize (Kb) 107420

[startup+1040.04 s]
Raw data (loadavg): 1.19 1.09 0.98 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34562 0 0 0 90812 4364 0 0 17 0 1 0 22278758 110133248 22942 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26888 22942 364 364 0 26524 0
[pid=9631] vsize: 107552
Current children cumulated CPU time (s) 951.76
Current children cumulated vsize (Kb) 107552

[startup+1050.04 s]
Raw data (loadavg): 1.32 1.12 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34582 0 0 0 91669 4413 0 0 19 0 1 0 22278758 110133248 22962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26888 22962 364 364 0 26524 0
[pid=9631] vsize: 107552
Current children cumulated CPU time (s) 960.82
Current children cumulated vsize (Kb) 107552

[startup+1060.04 s]
Raw data (loadavg): 1.27 1.12 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34603 0 0 0 92543 4453 0 0 25 0 1 0 22278758 110133248 22983 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 26888 22983 364 364 0 26524 0
[pid=9631] vsize: 107552
Current children cumulated CPU time (s) 969.96
Current children cumulated vsize (Kb) 107552

[startup+1070.04 s]
Raw data (loadavg): 1.23 1.11 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34642 0 0 0 93413 4496 0 0 25 0 1 0 22278758 110268416 23022 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26921 23022 364 364 0 26557 0
[pid=9631] vsize: 107684
Current children cumulated CPU time (s) 979.09
Current children cumulated vsize (Kb) 107684

[startup+1080.04 s]
Raw data (loadavg): 1.19 1.11 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34684 0 0 0 94280 4537 0 0 25 0 1 0 22278758 110551040 23064 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 26990 23064 364 364 0 26626 0
[pid=9631] vsize: 107960
Current children cumulated CPU time (s) 988.17
Current children cumulated vsize (Kb) 107960

[startup+1090.04 s]
Raw data (loadavg): 1.16 1.10 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34720 0 0 0 95145 4582 0 0 22 0 1 0 22278758 110690304 23100 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27024 23100 364 364 0 26660 0
[pid=9631] vsize: 108096
Current children cumulated CPU time (s) 997.27
Current children cumulated vsize (Kb) 108096

[startup+1100.04 s]
Raw data (loadavg): 1.14 1.10 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34739 0 0 0 96018 4621 0 0 17 0 1 0 22278758 110690304 23119 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27024 23119 364 364 0 26660 0
[pid=9631] vsize: 108096
Current children cumulated CPU time (s) 1006.39
Current children cumulated vsize (Kb) 108096

[startup+1110.04 s]
Raw data (loadavg): 1.19 1.11 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34764 0 0 0 96893 4662 0 0 25 0 1 0 22278758 110825472 23144 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27057 23144 364 364 0 26693 0
[pid=9631] vsize: 108228
Current children cumulated CPU time (s) 1015.55
Current children cumulated vsize (Kb) 108228

[startup+1120.04 s]
Raw data (loadavg): 1.16 1.11 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34787 0 0 0 97764 4704 0 0 21 0 1 0 22278758 110825472 23167 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27057 23167 364 364 0 26693 0
[pid=9631] vsize: 108228
Current children cumulated CPU time (s) 1024.68
Current children cumulated vsize (Kb) 108228

[startup+1130.04 s]
Raw data (loadavg): 1.14 1.11 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34852 0 0 0 98633 4744 0 0 25 0 1 0 22278758 111128576 23232 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27131 23232 364 364 0 26767 0
[pid=9631] vsize: 108524
Current children cumulated CPU time (s) 1033.77
Current children cumulated vsize (Kb) 108524

[startup+1140.04 s]
Raw data (loadavg): 1.12 1.10 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34867 0 0 0 99496 4787 0 0 20 0 1 0 22278758 111263744 23247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27164 23247 364 364 0 26800 0
[pid=9631] vsize: 108656
Current children cumulated CPU time (s) 1042.83
Current children cumulated vsize (Kb) 108656

[startup+1150.04 s]
Raw data (loadavg): 1.10 1.10 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34883 0 0 0 100357 4834 0 0 25 0 1 0 22278758 111263744 23263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27164 23263 364 364 0 26800 0
[pid=9631] vsize: 108656
Current children cumulated CPU time (s) 1051.91
Current children cumulated vsize (Kb) 108656

[startup+1160.04 s]
Raw data (loadavg): 1.08 1.09 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34899 0 0 0 101219 4880 0 0 25 0 1 0 22278758 111263744 23279 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27164 23279 364 364 0 26800 0
[pid=9631] vsize: 108656
Current children cumulated CPU time (s) 1060.99
Current children cumulated vsize (Kb) 108656

[startup+1170.04 s]
Raw data (loadavg): 1.07 1.09 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34937 0 0 0 102087 4927 0 0 19 0 1 0 22278758 111398912 23317 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27197 23317 364 364 0 26833 0
[pid=9631] vsize: 108788
Current children cumulated CPU time (s) 1070.14
Current children cumulated vsize (Kb) 108788

[startup+1180.04 s]
Raw data (loadavg): 1.06 1.09 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 34961 0 0 0 102942 4977 0 0 22 0 1 0 22278758 111534080 23341 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27230 23341 364 364 0 26866 0
[pid=9631] vsize: 108920
Current children cumulated CPU time (s) 1079.19
Current children cumulated vsize (Kb) 108920

[startup+1190.04 s]
Raw data (loadavg): 1.05 1.08 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 34991 0 0 0 103810 5020 0 0 18 0 1 0 22278758 111673344 23371 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27264 23371 364 364 0 26900 0
[pid=9631] vsize: 109056
Current children cumulated CPU time (s) 1088.3
Current children cumulated vsize (Kb) 109056

[startup+1200.04 s]
Raw data (loadavg): 1.04 1.08 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 35011 0 0 0 104682 5064 0 0 25 0 1 0 22278758 111673344 23391 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27264 23391 364 364 0 26900 0
[pid=9631] vsize: 109056
Current children cumulated CPU time (s) 1097.46
Current children cumulated vsize (Kb) 109056

[startup+1210.04 s]
Raw data (loadavg): 1.03 1.08 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35040 0 0 0 105544 5110 0 0 24 0 1 0 22278758 111816704 23420 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27299 23420 364 364 0 26935 0
[pid=9631] vsize: 109196
Current children cumulated CPU time (s) 1106.54
Current children cumulated vsize (Kb) 109196

[startup+1220.04 s]
Raw data (loadavg): 1.03 1.07 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35111 0 0 0 106405 5157 0 0 25 0 1 0 22278758 112095232 23491 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27367 23491 364 364 0 27003 0
[pid=9631] vsize: 109468
Current children cumulated CPU time (s) 1115.62
Current children cumulated vsize (Kb) 109468

[startup+1230.04 s]
Raw data (loadavg): 1.02 1.07 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 35130 0 0 0 107264 5206 0 0 17 0 1 0 22278758 112095232 23510 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27367 23510 364 364 0 27003 0
[pid=9631] vsize: 109468
Current children cumulated CPU time (s) 1124.7
Current children cumulated vsize (Kb) 109468

[startup+1240.04 s]
Raw data (loadavg): 1.02 1.07 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35149 0 0 0 108137 5247 0 0 22 0 1 0 22278758 112234496 23529 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27401 23529 364 364 0 27037 0
[pid=9631] vsize: 109604
Current children cumulated CPU time (s) 1133.84
Current children cumulated vsize (Kb) 109604

[startup+1250.04 s]
Raw data (loadavg): 1.02 1.07 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 35175 0 0 0 108998 5293 0 0 25 0 1 0 22278758 112234496 23555 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27401 23555 364 364 0 27037 0
[pid=9631] vsize: 109604
Current children cumulated CPU time (s) 1142.91
Current children cumulated vsize (Kb) 109604

[startup+1260.04 s]
Raw data (loadavg): 1.01 1.06 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35208 0 0 0 109878 5335 0 0 22 0 1 0 22278758 112369664 23588 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27434 23588 364 364 0 27070 0
[pid=9631] vsize: 109736
Current children cumulated CPU time (s) 1152.13
Current children cumulated vsize (Kb) 109736

[startup+1270.04 s]
Raw data (loadavg): 1.01 1.06 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35246 0 0 0 110734 5382 0 0 25 0 1 0 22278758 112508928 23626 4294967295 134512640 135987407 3221224560 3221223376 134815178 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27468 23626 364 364 0 27104 0
[pid=9631] vsize: 109872
Current children cumulated CPU time (s) 1161.16
Current children cumulated vsize (Kb) 109872

[startup+1280.04 s]
Raw data (loadavg): 1.01 1.06 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35274 0 0 0 111583 5432 0 0 24 0 1 0 22278758 112508928 23654 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27468 23654 364 364 0 27104 0
[pid=9631] vsize: 109872
Current children cumulated CPU time (s) 1170.15
Current children cumulated vsize (Kb) 109872

[startup+1290.04 s]
Raw data (loadavg): 1.01 1.06 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 35295 0 0 0 112431 5481 0 0 19 0 1 0 22278758 112672768 23675 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9631/statm): 27508 23675 364 364 0 27144 0
[pid=9631] vsize: 110032
Current children cumulated CPU time (s) 1179.12
Current children cumulated vsize (Kb) 110032

[startup+1300.04 s]
Raw data (loadavg): 1.00 1.05 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35335 0 0 0 113303 5521 0 0 20 0 1 0 22278758 112807936 23715 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27541 23715 364 364 0 27177 0
[pid=9631] vsize: 110164
Current children cumulated CPU time (s) 1188.24
Current children cumulated vsize (Kb) 110164

[startup+1310.04 s]
Raw data (loadavg): 1.00 1.05 0.99 1/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) T 9630 9631 4060 0 -1 0 35360 0 0 0 114151 5569 0 0 22 0 1 0 22278758 112807936 23740 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27541 23740 364 364 0 27177 0
[pid=9631] vsize: 110164
Current children cumulated CPU time (s) 1197.2
Current children cumulated vsize (Kb) 110164

[startup+1320.05 s]
Raw data (loadavg): 1.00 1.05 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35394 0 0 0 115021 5610 0 0 25 0 1 0 22278758 112947200 23774 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27575 23774 364 364 0 27211 0
[pid=9631] vsize: 110300
Current children cumulated CPU time (s) 1206.31
Current children cumulated vsize (Kb) 110300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.05 s]
Raw data (loadavg): 1.00 1.05 0.99 2/55 9631
Raw data (/proc/9631/stat): 9631 (pb2sat) R 9630 9631 4060 0 -1 0 35394 0 0 0 115021 5610 0 0 25 0 1 0 22278758 112947200 23774 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9631/statm): 27575 23774 364 364 0 27211 0
[pid=9631] vsize: 110300
Current children cumulated CPU time (s) 1206.31
Current children cumulated vsize (Kb) 110300

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

Child status: 0
Real time (s): 1320.43
CPU time (s): 1206.7
CPU user time (s): 1150.54
CPU system time (s): 56.1545
CPU usage (%): 91.3865
Max. virtual memory (cumulated for all children) (Kb): 110300

Verifier Data

ERROR: no interpretation found !