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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
MD5SUM0f3e1a19529370afcd1348994ae2c757
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 153393367040
Optimality of the best value was proved NO
Number of terms in the objective function 6480
Biggest coefficient in the objective function 5242880000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 755791986840
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5242880000
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 755791986840
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.96
Number of variables11280
Total number of constraints1307
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint1
Maximum length of a constraint123

Trace number 10637

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 19:11:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9338 boxname=wulflinc9 idbench=1134 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0f3e1a19529370afcd1348994ae2c757  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb
IDLAUNCH: 9338
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        897792 kB
Buffers:         13908 kB
Cached:         105296 kB
SwapCached:          0 kB
Active:          54616 kB
Inactive:        67472 kB
HighTotal:      131008 kB
HighFree:        25452 kB
LowTotal:       903652 kB
LowFree:        872340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9104 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:32:59 (client local time) WITH STATUS 0 IN 1205.69 SECONDS
stats: 9338 7 1205.69 0

Solver Data

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

c Decision: 13774/344151	Time: 43.6634/86400
c Decision: 13827/344151	Time: 56.9763/86400
c Decision: 13852/344151	Time: 74.2897/86400
c Decision: 13873/344151	Time: 85.839/86400
c Decision: 14066/344151	Time: 125.459/86400
c Decision: 14066/344151	Time: 135.545/86400
c Decision: 14079/344151	Time: 146.688/86400
c Decision: 14119/344151	Time: 161.634/86400
c Decision: 14154/344151	Time: 181.036/86400
c Decision: 14175/344151	Time: 207.427/86400
c Decision: 14197/344151	Time: 231.425/86400
c Decision: 14242/344151	Time: 254.946/86400
c Decision: 14250/344151	Time: 265.111/86400
c Decision: 14270/344151	Time: 278.887/86400
c Decision: 14273/344151	Time: 286.39/86400
c Decision: 14307/344151	Time: 311.306/86400
c Decision: 14330/344151	Time: 328.041/86400
c Decision: 14359/344151	Time: 356.556/86400
c Decision: 14426/344151	Time: 392.777/86400
c Decision: 14535/344151	Time: 448.259/86400
c Decision: 14590/344151	Time: 472.428/86400
c Decision: 14629/344151	Time: 493.297/86400
c Decision: 14804/344151	Time: 566.124/86400
c Decision: 14815/344151	Time: 584.488/86400
c Decision: 14827/344151	Time: 604.072/86400
c Decision: 14834/344151	Time: 619.589/86400
c Decision: 14878/344151	Time: 637.26/86400
c Decision: 14902/344151	Time: 668.133/86400
c Decision: 14906/344151	Time: 681.7/86400
c Decision: 14910/344151	Time: 689.508/86400
c Decision: 14913/344151	Time: 702.864/86400
c Decision: 14922/344151	Time: 716.7/86400
c Decision: 14955/344151	Time: 734.443/86400
c Decision: 15160/344151	Time: 832.846/86400
c Decision: 15171/344151	Time: 853.743/86400
c Decision: 15291/344151	Time: 921.338/86400
c Decision: 15373/344151	Time: 980.411/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/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22612479 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 373 2 364 364 0 9 0
[pid=12721] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb

[startup+10.0025 s]
Raw data (loadavg): 0.94 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 25707 0 0 0 940 57 0 0 25 0 1 0 22612479 80269312 14579 4294967295 134512640 135987407 3221224560 3221202524 134789808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 19597 14579 364 364 0 19233 0
[pid=12721] vsize: 78388
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78388

[startup+20.0032 s]
Raw data (loadavg): 0.94 1.00 0.94 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 49835 0 0 0 1859 118 0 0 18 0 1 0 22612479 145309696 26884 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 35476 26884 364 364 0 35112 0
[pid=12721] vsize: 141904
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 141904

[startup+30.005 s]
Raw data (loadavg): 0.95 1.00 0.94 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50395 0 0 0 2708 169 0 0 25 0 1 0 22612479 164388864 27444 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40134 27444 364 364 0 39770 0
[pid=12721] vsize: 160536
Current children cumulated CPU time (s) 28.77
Current children cumulated vsize (Kb) 160536

[startup+40.0058 s]
Raw data (loadavg): 0.96 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50532 0 0 0 3611 203 0 0 25 0 1 0 22612479 164794368 27581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40233 27581 364 364 0 39869 0
[pid=12721] vsize: 160932
Current children cumulated CPU time (s) 38.14
Current children cumulated vsize (Kb) 160932

[startup+50.0066 s]
Raw data (loadavg): 0.97 1.00 0.94 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50605 0 0 0 4529 234 0 0 25 0 1 0 22612479 164937728 27654 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40268 27654 364 364 0 39904 0
[pid=12721] vsize: 161072
Current children cumulated CPU time (s) 47.63
Current children cumulated vsize (Kb) 161072

[startup+60.0074 s]
Raw data (loadavg): 0.97 1.00 0.94 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50685 0 0 0 5445 263 0 0 25 0 1 0 22612479 165220352 27734 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40337 27734 364 364 0 39973 0
[pid=12721] vsize: 161348
Current children cumulated CPU time (s) 57.08
Current children cumulated vsize (Kb) 161348

[startup+70.0082 s]
Raw data (loadavg): 0.97 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 51422 0 0 0 6383 286 0 0 25 0 1 0 22612479 165359616 27798 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40371 27798 364 364 0 40007 0
[pid=12721] vsize: 161484
Current children cumulated CPU time (s) 66.69
Current children cumulated vsize (Kb) 161484

[startup+80.0099 s]
Raw data (loadavg): 0.98 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 52158 0 0 0 7317 309 0 0 25 0 1 0 22612479 165498880 27861 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40405 27861 364 364 0 40041 0
[pid=12721] vsize: 161620
Current children cumulated CPU time (s) 76.26
Current children cumulated vsize (Kb) 161620

[startup+90.0107 s]
Raw data (loadavg): 0.98 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 52218 0 0 0 8240 335 0 0 25 0 1 0 22612479 165638144 27921 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40439 27921 364 364 0 40075 0
[pid=12721] vsize: 161756
Current children cumulated CPU time (s) 85.75
Current children cumulated vsize (Kb) 161756

[startup+100.011 s]
Raw data (loadavg): 0.98 1.00 0.94 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 52980 0 0 0 9179 357 0 0 25 0 1 0 22612479 165924864 28010 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40509 28010 364 364 0 40145 0
[pid=12721] vsize: 162036
Current children cumulated CPU time (s) 95.36
Current children cumulated vsize (Kb) 162036

[startup+110.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 53716 0 0 0 10107 383 0 0 25 0 1 0 22612479 166068224 28073 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 40544 28073 364 364 0 40180 0
[pid=12721] vsize: 162176
Current children cumulated CPU time (s) 104.9
Current children cumulated vsize (Kb) 162176

[startup+120.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 53787 0 0 0 11033 410 0 0 25 0 1 0 22612479 166203392 28144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40577 28144 364 364 0 40213 0
[pid=12721] vsize: 162308
Current children cumulated CPU time (s) 114.43
Current children cumulated vsize (Kb) 162308

[startup+130.013 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 53840 0 0 0 11953 437 0 0 25 0 1 0 22612479 166342656 28197 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40611 28197 364 364 0 40247 0
[pid=12721] vsize: 162444
Current children cumulated CPU time (s) 123.9
Current children cumulated vsize (Kb) 162444

[startup+140.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 53895 0 0 0 12880 461 0 0 25 0 1 0 22612479 166477824 28252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40644 28252 364 364 0 40280 0
[pid=12721] vsize: 162576
Current children cumulated CPU time (s) 133.41
Current children cumulated vsize (Kb) 162576

[startup+150.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 54615 0 0 0 13809 485 0 0 25 0 1 0 22612479 166612992 28299 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40677 28299 364 364 0 40313 0
[pid=12721] vsize: 162708
Current children cumulated CPU time (s) 142.94
Current children cumulated vsize (Kb) 162708

[startup+160.015 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 55383 0 0 0 14716 518 0 0 25 0 1 0 22612479 166883328 28394 4294967295 134512640 135987407 3221224560 3221223292 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40743 28394 364 364 0 40379 0
[pid=12721] vsize: 162972
Current children cumulated CPU time (s) 152.34
Current children cumulated vsize (Kb) 162972

[startup+170.015 s]
Raw data (loadavg): 1.06 1.02 0.95 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 55402 0 0 0 15637 545 0 0 25 0 1 0 22612479 167018496 28413 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40776 28413 364 364 0 40412 0
[pid=12721] vsize: 163104
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (Kb) 163104

[startup+180.016 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56116 0 0 0 16563 569 0 0 25 0 1 0 22612479 167018496 28454 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40776 28454 364 364 0 40412 0
[pid=12721] vsize: 163104
Current children cumulated CPU time (s) 171.32
Current children cumulated vsize (Kb) 163104

[startup+190.017 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56833 0 0 0 17496 592 0 0 25 0 1 0 22612479 167149568 28498 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 40808 28498 364 364 0 40444 0
[pid=12721] vsize: 163232
Current children cumulated CPU time (s) 180.88
Current children cumulated vsize (Kb) 163232

[startup+200.016 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56883 0 0 0 18413 621 0 0 22 0 1 0 22612479 167288832 28548 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 40842 28548 364 364 0 40478 0
[pid=12721] vsize: 163368
Current children cumulated CPU time (s) 190.34
Current children cumulated vsize (Kb) 163368

[startup+210.017 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 57600 0 0 0 19340 647 0 0 25 0 1 0 22612479 167288832 28592 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 40842 28592 364 364 0 40478 0
[pid=12721] vsize: 163368
Current children cumulated CPU time (s) 199.87
Current children cumulated vsize (Kb) 163368

[startup+220.018 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 57917 0 0 0 20154 710 0 0 23 0 1 0 22612479 168640512 28909 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41172 28909 364 364 0 40808 0
[pid=12721] vsize: 164688
Current children cumulated CPU time (s) 208.64
Current children cumulated vsize (Kb) 164688

[startup+230.019 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 58005 0 0 0 21069 738 0 0 25 0 1 0 22612479 168914944 28997 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41239 28997 364 364 0 40875 0
[pid=12721] vsize: 164956
Current children cumulated CPU time (s) 218.07
Current children cumulated vsize (Kb) 164956

[startup+240.02 s]
Raw data (loadavg): 1.07 1.02 0.95 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 58734 0 0 0 21997 763 0 0 25 0 1 0 22612479 169054208 29053 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41273 29053 364 364 0 40909 0
[pid=12721] vsize: 165092
Current children cumulated CPU time (s) 227.6
Current children cumulated vsize (Kb) 165092

[startup+250.019 s]
Raw data (loadavg): 1.06 1.02 0.95 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 58789 0 0 0 22914 792 0 0 18 0 1 0 22612479 169201664 29108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41309 29108 364 364 0 40945 0
[pid=12721] vsize: 165236
Current children cumulated CPU time (s) 237.06
Current children cumulated vsize (Kb) 165236

[startup+260.02 s]
Raw data (loadavg): 1.12 1.04 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 58847 0 0 0 23834 819 0 0 25 0 1 0 22612479 169349120 29166 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41345 29166 364 364 0 40981 0
[pid=12721] vsize: 165380
Current children cumulated CPU time (s) 246.53
Current children cumulated vsize (Kb) 165380

[startup+270.021 s]
Raw data (loadavg): 1.10 1.04 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 59530 0 0 0 24776 838 0 0 25 0 1 0 22612479 169349120 29176 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41345 29176 364 364 0 40981 0
[pid=12721] vsize: 165380
Current children cumulated CPU time (s) 256.14
Current children cumulated vsize (Kb) 165380

[startup+280.021 s]
Raw data (loadavg): 1.09 1.04 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 59566 0 0 0 25691 866 0 0 25 0 1 0 22612479 169488384 29212 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41379 29212 364 364 0 41015 0
[pid=12721] vsize: 165516
Current children cumulated CPU time (s) 265.57
Current children cumulated vsize (Kb) 165516

[startup+290.021 s]
Raw data (loadavg): 1.07 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 60277 0 0 0 26617 892 0 0 25 0 1 0 22612479 169488384 29250 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41379 29250 364 364 0 41015 0
[pid=12721] vsize: 165516
Current children cumulated CPU time (s) 275.09
Current children cumulated vsize (Kb) 165516

[startup+300.022 s]
Raw data (loadavg): 1.06 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 61003 0 0 0 27549 915 0 0 25 0 1 0 22612479 169619456 29303 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41411 29303 364 364 0 41047 0
[pid=12721] vsize: 165644
Current children cumulated CPU time (s) 284.64
Current children cumulated vsize (Kb) 165644

[startup+310.023 s]
Raw data (loadavg): 1.05 1.03 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 61053 0 0 0 28480 938 0 0 25 0 1 0 22612479 169766912 29353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41447 29353 364 364 0 41083 0
[pid=12721] vsize: 165788
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (Kb) 165788

[startup+320.023 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62445 0 0 0 29414 963 0 0 25 0 1 0 22612479 172658688 30072 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42153 30072 364 364 0 41789 0
[pid=12721] vsize: 168612
Current children cumulated CPU time (s) 303.77
Current children cumulated vsize (Kb) 168612

[startup+330.024 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62499 0 0 0 30328 991 0 0 22 0 1 0 22612479 170041344 29453 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41514 29453 364 364 0 41150 0
[pid=12721] vsize: 166056
Current children cumulated CPU time (s) 313.19
Current children cumulated vsize (Kb) 166056

[startup+340.024 s]
Raw data (loadavg): 1.03 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62533 0 0 0 31250 1018 0 0 25 0 1 0 22612479 170041344 29487 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41514 29487 364 364 0 41150 0
[pid=12721] vsize: 166056
Current children cumulated CPU time (s) 322.68
Current children cumulated vsize (Kb) 166056

[startup+350.024 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63230 0 0 0 32190 1040 0 0 25 0 1 0 22612479 170176512 29511 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41547 29511 364 364 0 41183 0
[pid=12721] vsize: 166188
Current children cumulated CPU time (s) 332.3
Current children cumulated vsize (Kb) 166188

[startup+360.025 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63249 0 0 0 33112 1067 0 0 25 0 1 0 22612479 170176512 29530 4294967295 134512640 135987407 3221224560 3221223200 134821159 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41547 29530 364 364 0 41183 0
[pid=12721] vsize: 166188
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (Kb) 166188

[startup+370.025 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63946 0 0 0 34049 1090 0 0 25 0 1 0 22612479 170176512 29554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41547 29554 364 364 0 41183 0
[pid=12721] vsize: 166188
Current children cumulated CPU time (s) 351.39
Current children cumulated vsize (Kb) 166188

[startup+380.025 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 63996 0 0 0 34974 1112 0 0 21 0 1 0 22612479 170307584 29604 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41579 29604 364 364 0 41215 0
[pid=12721] vsize: 166316
Current children cumulated CPU time (s) 360.86
Current children cumulated vsize (Kb) 166316

[startup+390.025 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 64043 0 0 0 35889 1140 0 0 22 0 1 0 22612479 170442752 29651 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41612 29651 364 364 0 41248 0
[pid=12721] vsize: 166448
Current children cumulated CPU time (s) 370.29
Current children cumulated vsize (Kb) 166448

[startup+400.025 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 64753 0 0 0 36824 1163 0 0 25 0 1 0 22612479 170582016 29688 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41646 29688 364 364 0 41282 0
[pid=12721] vsize: 166584
Current children cumulated CPU time (s) 379.87
Current children cumulated vsize (Kb) 166584

[startup+410.026 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64797 0 0 0 37751 1186 0 0 25 0 1 0 22612479 170582016 29732 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41646 29732 364 364 0 41282 0
[pid=12721] vsize: 166584
Current children cumulated CPU time (s) 389.37
Current children cumulated vsize (Kb) 166584

[startup+420.027 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64839 0 0 0 38672 1212 0 0 25 0 1 0 22612479 170717184 29774 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41679 29774 364 364 0 41315 0
[pid=12721] vsize: 166716
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (Kb) 166716

[startup+430.027 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64875 0 0 0 39586 1239 0 0 25 0 1 0 22612479 170717184 29810 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41679 29810 364 364 0 41315 0
[pid=12721] vsize: 166716
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (Kb) 166716

[startup+440.028 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65578 0 0 0 40509 1267 0 0 25 0 1 0 22612479 170852352 29840 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41712 29840 364 364 0 41348 0
[pid=12721] vsize: 166848
Current children cumulated CPU time (s) 417.76
Current children cumulated vsize (Kb) 166848

[startup+450.029 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65612 0 0 0 41422 1296 0 0 25 0 1 0 22612479 170852352 29874 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41712 29874 364 364 0 41348 0
[pid=12721] vsize: 166848
Current children cumulated CPU time (s) 427.18
Current children cumulated vsize (Kb) 166848

[startup+460.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 65652 0 0 0 42336 1325 0 0 25 0 1 0 22612479 170995712 29914 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41747 29914 364 364 0 41383 0
[pid=12721] vsize: 166988
Current children cumulated CPU time (s) 436.61
Current children cumulated vsize (Kb) 166988

[startup+470.03 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65713 0 0 0 43254 1352 0 0 25 0 1 0 22612479 171143168 29975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41783 29975 364 364 0 41419 0
[pid=12721] vsize: 167132
Current children cumulated CPU time (s) 446.06
Current children cumulated vsize (Kb) 167132

[startup+480.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 65745 0 0 0 44172 1383 0 0 25 0 1 0 22612479 171143168 30007 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41783 30007 364 364 0 41419 0
[pid=12721] vsize: 167132
Current children cumulated CPU time (s) 455.55
Current children cumulated vsize (Kb) 167132

[startup+490.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66452 0 0 0 45094 1409 0 0 25 0 1 0 22612479 174034944 30714 4294967295 134512640 135987407 3221224560 3221222944 134828884 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42489 30714 364 364 0 42125 0
[pid=12721] vsize: 169956
Current children cumulated CPU time (s) 465.03
Current children cumulated vsize (Kb) 169956

[startup+500.03 s]
Raw data (loadavg): 1.08 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66484 0 0 0 46018 1434 0 0 21 0 1 0 22612479 171278336 30073 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41816 30073 364 364 0 41452 0
[pid=12721] vsize: 167264
Current children cumulated CPU time (s) 474.52
Current children cumulated vsize (Kb) 167264

[startup+510.031 s]
Raw data (loadavg): 1.07 1.03 0.96 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66529 0 0 0 46927 1464 0 0 25 0 1 0 22612479 171413504 30118 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41849 30118 364 364 0 41485 0
[pid=12721] vsize: 167396
Current children cumulated CPU time (s) 483.91
Current children cumulated vsize (Kb) 167396

[startup+520.031 s]
Raw data (loadavg): 1.06 1.03 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67231 0 0 0 47868 1486 0 0 25 0 1 0 22612479 171413504 30147 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41849 30147 364 364 0 41485 0
[pid=12721] vsize: 167396
Current children cumulated CPU time (s) 493.54
Current children cumulated vsize (Kb) 167396

[startup+530.03 s]
Raw data (loadavg): 1.05 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67246 0 0 0 48777 1516 0 0 25 0 1 0 22612479 171548672 30162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41882 30162 364 364 0 41518 0
[pid=12721] vsize: 167528
Current children cumulated CPU time (s) 502.93
Current children cumulated vsize (Kb) 167528

[startup+540.031 s]
Raw data (loadavg): 1.04 1.02 0.96 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67933 0 0 0 49703 1540 0 0 25 0 1 0 22612479 171548672 30176 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41882 30176 364 364 0 41518 0
[pid=12721] vsize: 167528
Current children cumulated CPU time (s) 512.43
Current children cumulated vsize (Kb) 167528

[startup+550.031 s]
Raw data (loadavg): 1.11 1.04 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67960 0 0 0 50615 1570 0 0 25 0 1 0 22612479 171683840 30203 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41915 30203 364 364 0 41551 0
[pid=12721] vsize: 167660
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (Kb) 167660

[startup+560.032 s]
Raw data (loadavg): 1.09 1.04 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68024 0 0 0 51516 1601 0 0 25 0 1 0 22612479 171819008 30267 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41948 30267 364 364 0 41584 0
[pid=12721] vsize: 167792
Current children cumulated CPU time (s) 531.17
Current children cumulated vsize (Kb) 167792

[startup+570.033 s]
Raw data (loadavg): 1.08 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68051 0 0 0 52431 1630 0 0 25 0 1 0 22612479 171819008 30294 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 41948 30294 364 364 0 41584 0
[pid=12721] vsize: 167792
Current children cumulated CPU time (s) 540.61
Current children cumulated vsize (Kb) 167792

[startup+580.032 s]
Raw data (loadavg): 1.06 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68081 0 0 0 53337 1664 0 0 25 0 1 0 22612479 171819008 30324 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41948 30324 364 364 0 41584 0
[pid=12721] vsize: 167792
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 167792

[startup+590.033 s]
Raw data (loadavg): 1.05 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68113 0 0 0 54255 1691 0 0 25 0 1 0 22612479 171954176 30356 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 41981 30356 364 364 0 41617 0
[pid=12721] vsize: 167924
Current children cumulated CPU time (s) 559.46
Current children cumulated vsize (Kb) 167924

[startup+600.034 s]
Raw data (loadavg): 1.04 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68155 0 0 0 55176 1720 0 0 25 0 1 0 22612479 172093440 30398 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42015 30398 364 364 0 41651 0
[pid=12721] vsize: 168060
Current children cumulated CPU time (s) 568.96
Current children cumulated vsize (Kb) 168060

[startup+610.035 s]
Raw data (loadavg): 1.04 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68185 0 0 0 56085 1750 0 0 25 0 1 0 22612479 172093440 30428 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42015 30428 364 364 0 41651 0
[pid=12721] vsize: 168060
Current children cumulated CPU time (s) 578.35
Current children cumulated vsize (Kb) 168060

[startup+620.034 s]
Raw data (loadavg): 1.03 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68907 0 0 0 57020 1773 0 0 25 0 1 0 22612479 172228608 30477 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42048 30477 364 364 0 41684 0
[pid=12721] vsize: 168192
Current children cumulated CPU time (s) 587.93
Current children cumulated vsize (Kb) 168192

[startup+630.035 s]
Raw data (loadavg): 1.03 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68953 0 0 0 57934 1803 0 0 17 0 1 0 22612479 172371968 30523 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 42083 30523 364 364 0 41719 0
[pid=12721] vsize: 168332
Current children cumulated CPU time (s) 597.37
Current children cumulated vsize (Kb) 168332

[startup+640.036 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 69654 0 0 0 58866 1826 0 0 25 0 1 0 22612479 172371968 30551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42083 30551 364 364 0 41719 0
[pid=12721] vsize: 168332
Current children cumulated CPU time (s) 606.92
Current children cumulated vsize (Kb) 168332

[startup+650.036 s]
Raw data (loadavg): 1.02 1.02 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 69685 0 0 0 59781 1854 0 0 20 0 1 0 22612479 172515328 30582 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12721/statm): 42118 30582 364 364 0 41754 0
[pid=12721] vsize: 168472
Current children cumulated CPU time (s) 616.35
Current children cumulated vsize (Kb) 168472

[startup+660.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 70389 0 0 0 60708 1880 0 0 25 0 1 0 22612479 172515328 30613 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42118 30613 364 364 0 41754 0
[pid=12721] vsize: 168472
Current children cumulated CPU time (s) 625.88
Current children cumulated vsize (Kb) 168472

[startup+670.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71096 0 0 0 61629 1907 0 0 25 0 1 0 22612479 175271936 31320 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42791 31320 364 364 0 42427 0
[pid=12721] vsize: 171164
Current children cumulated CPU time (s) 635.36
Current children cumulated vsize (Kb) 171164

[startup+680.037 s]
Raw data (loadavg): 1.01 1.02 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71122 0 0 0 62560 1931 0 0 25 0 1 0 22612479 172662784 30673 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42154 30673 364 364 0 41790 0
[pid=12721] vsize: 168616
Current children cumulated CPU time (s) 644.91
Current children cumulated vsize (Kb) 168616

[startup+690.038 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71813 0 0 0 63482 1961 0 0 25 0 1 0 22612479 175562752 31364 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42862 31364 364 364 0 42498 0
[pid=12721] vsize: 171448
Current children cumulated CPU time (s) 654.43
Current children cumulated vsize (Kb) 171448

[startup+700.039 s]
Raw data (loadavg): 1.09 1.04 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71834 0 0 0 64404 1985 0 0 25 0 1 0 22612479 172806144 30712 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42189 30712 364 364 0 41825 0
[pid=12721] vsize: 168756
Current children cumulated CPU time (s) 663.89
Current children cumulated vsize (Kb) 168756

[startup+710.039 s]
Raw data (loadavg): 1.07 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71860 0 0 0 65328 2011 0 0 25 0 1 0 22612479 172941312 30738 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42222 30738 364 364 0 41858 0
[pid=12721] vsize: 168888
Current children cumulated CPU time (s) 673.39
Current children cumulated vsize (Kb) 168888

[startup+720.04 s]
Raw data (loadavg): 1.06 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71898 0 0 0 66251 2040 0 0 25 0 1 0 22612479 172941312 30776 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42222 30776 364 364 0 41858 0
[pid=12721] vsize: 168888
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (Kb) 168888

[startup+730.04 s]
Raw data (loadavg): 1.05 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 72620 0 0 0 67183 2065 0 0 25 0 1 0 22612479 173080576 30825 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42256 30825 364 364 0 41892 0
[pid=12721] vsize: 169024
Current children cumulated CPU time (s) 692.48
Current children cumulated vsize (Kb) 169024

[startup+740.041 s]
Raw data (loadavg): 1.04 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 73328 0 0 0 68120 2087 0 0 25 0 1 0 22612479 173080576 30860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42256 30860 364 364 0 41892 0
[pid=12721] vsize: 169024
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (Kb) 169024

[startup+750.041 s]
Raw data (loadavg): 1.04 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 74033 0 0 0 69055 2110 0 0 25 0 1 0 22612479 173211648 30892 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42288 30892 364 364 0 41924 0
[pid=12721] vsize: 169152
Current children cumulated CPU time (s) 711.65
Current children cumulated vsize (Kb) 169152

[startup+760.041 s]
Raw data (loadavg): 1.03 1.03 0.97 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 74734 0 0 0 70000 2131 0 0 25 0 1 0 22612479 173211648 30920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42288 30920 364 364 0 41924 0
[pid=12721] vsize: 169152
Current children cumulated CPU time (s) 721.31
Current children cumulated vsize (Kb) 169152

[startup+770.041 s]
Raw data (loadavg): 1.02 1.03 0.97 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 74753 0 0 0 70929 2156 0 0 25 0 1 0 22612479 173211648 30939 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42288 30939 364 364 0 41924 0
[pid=12721] vsize: 169152
Current children cumulated CPU time (s) 730.85
Current children cumulated vsize (Kb) 169152

[startup+780.041 s]
Raw data (loadavg): 1.10 1.04 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 75456 0 0 0 71863 2179 0 0 25 0 1 0 22612479 173355008 30969 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42323 30969 364 364 0 41959 0
[pid=12721] vsize: 169292
Current children cumulated CPU time (s) 740.42
Current children cumulated vsize (Kb) 169292

[startup+790.042 s]
Raw data (loadavg): 1.08 1.04 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 75502 0 0 0 72789 2204 0 0 25 0 1 0 22612479 173355008 31015 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42323 31015 364 364 0 41959 0
[pid=12721] vsize: 169292
Current children cumulated CPU time (s) 749.93
Current children cumulated vsize (Kb) 169292

[startup+800.042 s]
Raw data (loadavg): 1.07 1.04 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76209 0 0 0 73721 2228 0 0 25 0 1 0 22612479 173486080 31049 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42355 31049 364 364 0 41991 0
[pid=12721] vsize: 169420
Current children cumulated CPU time (s) 759.49
Current children cumulated vsize (Kb) 169420

[startup+810.042 s]
Raw data (loadavg): 1.06 1.04 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76238 0 0 0 74638 2258 0 0 25 0 1 0 22612479 173486080 31078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12721/statm): 42355 31078 364 364 0 41991 0
[pid=12721] vsize: 169420
Current children cumulated CPU time (s) 768.96
Current children cumulated vsize (Kb) 169420

[startup+820.043 s]
Raw data (loadavg): 1.05 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76273 0 0 0 75561 2281 0 0 25 0 1 0 22612479 173625344 31113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42389 31113 364 364 0 42025 0
[pid=12721] vsize: 169556
Current children cumulated CPU time (s) 778.42
Current children cumulated vsize (Kb) 169556

[startup+830.043 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76311 0 0 0 76489 2304 0 0 25 0 1 0 22612479 173625344 31151 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42389 31151 364 364 0 42025 0
[pid=12721] vsize: 169556
Current children cumulated CPU time (s) 787.93
Current children cumulated vsize (Kb) 169556

[startup+840.044 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76351 0 0 0 77423 2325 0 0 25 0 1 0 22612479 173625344 31191 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42389 31191 364 364 0 42025 0
[pid=12721] vsize: 169556
Current children cumulated CPU time (s) 797.48
Current children cumulated vsize (Kb) 169556

[startup+850.045 s]
Raw data (loadavg): 1.03 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76392 0 0 0 78353 2349 0 0 25 0 1 0 22612479 173756416 31232 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42421 31232 364 364 0 42057 0
[pid=12721] vsize: 169684
Current children cumulated CPU time (s) 807.02
Current children cumulated vsize (Kb) 169684

[startup+860.045 s]
Raw data (loadavg): 1.02 1.03 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76432 0 0 0 79279 2375 0 0 25 0 1 0 22612479 173756416 31272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42421 31272 364 364 0 42057 0
[pid=12721] vsize: 169684
Current children cumulated CPU time (s) 816.54
Current children cumulated vsize (Kb) 169684

[startup+870.046 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76473 0 0 0 80202 2402 0 0 25 0 1 0 22612479 173895680 31313 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42455 31313 364 364 0 42091 0
[pid=12721] vsize: 169820
Current children cumulated CPU time (s) 826.04
Current children cumulated vsize (Kb) 169820

[startup+880.047 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76509 0 0 0 81124 2428 0 0 25 0 1 0 22612479 173895680 31349 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42455 31349 364 364 0 42091 0
[pid=12721] vsize: 169820
Current children cumulated CPU time (s) 835.52
Current children cumulated vsize (Kb) 169820

[startup+890.048 s]
Raw data (loadavg): 1.01 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76544 0 0 0 82045 2453 0 0 25 0 1 0 22612479 174030848 31384 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42488 31384 364 364 0 42124 0
[pid=12721] vsize: 169952
Current children cumulated CPU time (s) 844.98
Current children cumulated vsize (Kb) 169952

[startup+900.048 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 77270 0 0 0 82987 2472 0 0 25 0 1 0 22612479 174174208 31437 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42523 31437 364 364 0 42159 0
[pid=12721] vsize: 170092
Current children cumulated CPU time (s) 854.59
Current children cumulated vsize (Kb) 170092

[startup+910.049 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 77313 0 0 0 83911 2497 0 0 25 0 1 0 22612479 174174208 31480 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42523 31480 364 364 0 42159 0
[pid=12721] vsize: 170092
Current children cumulated CPU time (s) 864.08
Current children cumulated vsize (Kb) 170092

[startup+920.049 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78015 0 0 0 84848 2519 0 0 25 0 1 0 22612479 174317568 31509 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42558 31509 364 364 0 42194 0
[pid=12721] vsize: 170232
Current children cumulated CPU time (s) 873.67
Current children cumulated vsize (Kb) 170232

[startup+930.049 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78051 0 0 0 85776 2543 0 0 25 0 1 0 22612479 174317568 31545 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42558 31545 364 364 0 42194 0
[pid=12721] vsize: 170232
Current children cumulated CPU time (s) 883.19
Current children cumulated vsize (Kb) 170232

[startup+940.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78080 0 0 0 86701 2567 0 0 25 0 1 0 22612479 174448640 31574 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42590 31574 364 364 0 42226 0
[pid=12721] vsize: 170360
Current children cumulated CPU time (s) 892.68
Current children cumulated vsize (Kb) 170360

[startup+950.049 s]
Raw data (loadavg): 1.00 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78114 0 0 0 87617 2594 0 0 25 0 1 0 22612479 174448640 31608 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42590 31608 364 364 0 42226 0
[pid=12721] vsize: 170360
Current children cumulated CPU time (s) 902.11
Current children cumulated vsize (Kb) 170360

[startup+960.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78139 0 0 0 88533 2623 0 0 25 0 1 0 22612479 174583808 31633 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42623 31633 364 364 0 42259 0
[pid=12721] vsize: 170492
Current children cumulated CPU time (s) 911.56
Current children cumulated vsize (Kb) 170492

[startup+970.051 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78166 0 0 0 89452 2651 0 0 25 0 1 0 22612479 174583808 31660 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42623 31660 364 364 0 42259 0
[pid=12721] vsize: 170492
Current children cumulated CPU time (s) 921.03
Current children cumulated vsize (Kb) 170492

[startup+980.051 s]
Raw data (loadavg): 1.00 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78197 0 0 0 90378 2678 0 0 25 0 1 0 22612479 174583808 31691 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42623 31691 364 364 0 42259 0
[pid=12721] vsize: 170492
Current children cumulated CPU time (s) 930.56
Current children cumulated vsize (Kb) 170492

[startup+990.052 s]
Raw data (loadavg): 1.00 1.01 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78902 0 0 0 91319 2700 0 0 25 0 1 0 22612479 174718976 31723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42656 31723 364 364 0 42292 0
[pid=12721] vsize: 170624
Current children cumulated CPU time (s) 940.19
Current children cumulated vsize (Kb) 170624

[startup+1000.05 s]
Raw data (loadavg): 1.08 1.03 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78915 0 0 0 92241 2726 0 0 25 0 1 0 22612479 174718976 31736 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42656 31736 364 364 0 42292 0
[pid=12721] vsize: 170624
Current children cumulated CPU time (s) 949.67
Current children cumulated vsize (Kb) 170624

[startup+1010.05 s]
Raw data (loadavg): 1.07 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78934 0 0 0 93158 2755 0 0 25 0 1 0 22612479 174718976 31755 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42656 31755 364 364 0 42292 0
[pid=12721] vsize: 170624
Current children cumulated CPU time (s) 959.13
Current children cumulated vsize (Kb) 170624

[startup+1020.05 s]
Raw data (loadavg): 1.06 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78950 0 0 0 94074 2783 0 0 25 0 1 0 22612479 174854144 31771 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42689 31771 364 364 0 42325 0
[pid=12721] vsize: 170756
Current children cumulated CPU time (s) 968.57
Current children cumulated vsize (Kb) 170756

[startup+1030.05 s]
Raw data (loadavg): 1.05 1.03 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78963 0 0 0 94988 2810 0 0 25 0 1 0 22612479 174854144 31784 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42689 31784 364 364 0 42325 0
[pid=12721] vsize: 170756
Current children cumulated CPU time (s) 977.98
Current children cumulated vsize (Kb) 170756

[startup+1040.05 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78975 0 0 0 95907 2839 0 0 25 0 1 0 22612479 174854144 31796 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42689 31796 364 364 0 42325 0
[pid=12721] vsize: 170756
Current children cumulated CPU time (s) 987.46
Current children cumulated vsize (Kb) 170756

[startup+1050.05 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78997 0 0 0 96830 2865 0 0 25 0 1 0 22612479 174997504 31818 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12721/statm): 42724 31818 364 364 0 42360 0
[pid=12721] vsize: 170896
Current children cumulated CPU time (s) 996.95
Current children cumulated vsize (Kb) 170896

[startup+1060.06 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79683 0 0 0 97764 2890 0 0 25 0 1 0 22612479 174997504 31831 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42724 31831 364 364 0 42360 0
[pid=12721] vsize: 170896
Current children cumulated CPU time (s) 1006.54
Current children cumulated vsize (Kb) 170896

[startup+1070.06 s]
Raw data (loadavg): 1.02 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79724 0 0 0 98680 2918 0 0 25 0 1 0 22612479 175136768 31872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42758 31872 364 364 0 42394 0
[pid=12721] vsize: 171032
Current children cumulated CPU time (s) 1015.98
Current children cumulated vsize (Kb) 171032

[startup+1080.06 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79746 0 0 0 99593 2947 0 0 20 0 1 0 22612479 175136768 31894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42758 31894 364 364 0 42394 0
[pid=12721] vsize: 171032
Current children cumulated CPU time (s) 1025.4
Current children cumulated vsize (Kb) 171032

[startup+1090.06 s]
Raw data (loadavg): 1.02 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79772 0 0 0 100513 2972 0 0 25 0 1 0 22612479 175136768 31920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42758 31920 364 364 0 42394 0
[pid=12721] vsize: 171032
Current children cumulated CPU time (s) 1034.85
Current children cumulated vsize (Kb) 171032

[startup+1100.06 s]
Raw data (loadavg): 1.01 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79797 0 0 0 101436 2998 0 0 25 0 1 0 22612479 175267840 31945 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42790 31945 364 364 0 42426 0
[pid=12721] vsize: 171160
Current children cumulated CPU time (s) 1044.34
Current children cumulated vsize (Kb) 171160

[startup+1110.06 s]
Raw data (loadavg): 1.01 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79823 0 0 0 102361 3020 0 0 22 0 1 0 22612479 175267840 31971 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42790 31971 364 364 0 42426 0
[pid=12721] vsize: 171160
Current children cumulated CPU time (s) 1053.81
Current children cumulated vsize (Kb) 171160

[startup+1120.06 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79847 0 0 0 103278 3049 0 0 25 0 1 0 22612479 175267840 31995 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42790 31995 364 364 0 42426 0
[pid=12721] vsize: 171160
Current children cumulated CPU time (s) 1063.27
Current children cumulated vsize (Kb) 171160

[startup+1130.06 s]
Raw data (loadavg): 1.01 1.02 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79869 0 0 0 104200 3074 0 0 25 0 1 0 22612479 175267840 32017 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42790 32017 364 364 0 42426 0
[pid=12721] vsize: 171160
Current children cumulated CPU time (s) 1072.74
Current children cumulated vsize (Kb) 171160

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79901 0 0 0 105120 3099 0 0 25 0 1 0 22612479 175403008 32049 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42823 32049 364 364 0 42459 0
[pid=12721] vsize: 171292
Current children cumulated CPU time (s) 1082.19
Current children cumulated vsize (Kb) 171292

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79947 0 0 0 106038 3126 0 0 25 0 1 0 22612479 175538176 32095 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42856 32095 364 364 0 42492 0
[pid=12721] vsize: 171424
Current children cumulated CPU time (s) 1091.64
Current children cumulated vsize (Kb) 171424

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79973 0 0 0 106947 3154 0 0 20 0 1 0 22612479 175538176 32121 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42856 32121 364 364 0 42492 0
[pid=12721] vsize: 171424
Current children cumulated CPU time (s) 1101.01
Current children cumulated vsize (Kb) 171424

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.01 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79995 0 0 0 107861 3182 0 0 25 0 1 0 22612479 175538176 32143 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42856 32143 364 364 0 42492 0
[pid=12721] vsize: 171424
Current children cumulated CPU time (s) 1110.43
Current children cumulated vsize (Kb) 171424

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80020 0 0 0 108776 3209 0 0 25 0 1 0 22612479 175697920 32168 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42895 32168 364 364 0 42531 0
[pid=12721] vsize: 171580
Current children cumulated CPU time (s) 1119.85
Current children cumulated vsize (Kb) 171580

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.01 0.98 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80038 0 0 0 109697 3235 0 0 25 0 1 0 22612479 175697920 32186 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42895 32186 364 364 0 42531 0
[pid=12721] vsize: 171580
Current children cumulated CPU time (s) 1129.32
Current children cumulated vsize (Kb) 171580

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80059 0 0 0 110613 3263 0 0 25 0 1 0 22612479 175697920 32207 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42895 32207 364 364 0 42531 0
[pid=12721] vsize: 171580
Current children cumulated CPU time (s) 1138.76
Current children cumulated vsize (Kb) 171580

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80082 0 0 0 111534 3290 0 0 25 0 1 0 22612479 175697920 32230 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42895 32230 364 364 0 42531 0
[pid=12721] vsize: 171580
Current children cumulated CPU time (s) 1148.24
Current children cumulated vsize (Kb) 171580

[startup+1220.06 s]
Raw data (loadavg): 1.07 1.02 0.99 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80109 0 0 0 112452 3319 0 0 25 0 1 0 22612479 175833088 32257 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42928 32257 364 364 0 42564 0
[pid=12721] vsize: 171712
Current children cumulated CPU time (s) 1157.71
Current children cumulated vsize (Kb) 171712

[startup+1230.07 s]
Raw data (loadavg): 1.06 1.02 0.99 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80138 0 0 0 113379 3344 0 0 25 0 1 0 22612479 175833088 32286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42928 32286 364 364 0 42564 0
[pid=12721] vsize: 171712
Current children cumulated CPU time (s) 1167.23
Current children cumulated vsize (Kb) 171712

[startup+1240.07 s]
Raw data (loadavg): 1.05 1.02 0.99 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80160 0 0 0 114297 3372 0 0 25 0 1 0 22612479 175833088 32308 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42928 32308 364 364 0 42564 0
[pid=12721] vsize: 171712
Current children cumulated CPU time (s) 1176.69
Current children cumulated vsize (Kb) 171712

[startup+1250.07 s]
Raw data (loadavg): 1.12 1.04 1.00 1/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80185 0 0 0 115220 3397 0 0 25 0 1 0 22612479 175833088 32333 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42928 32333 364 364 0 42564 0
[pid=12721] vsize: 171712
Current children cumulated CPU time (s) 1186.17
Current children cumulated vsize (Kb) 171712

[startup+1260.07 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80209 0 0 0 116136 3425 0 0 25 0 1 0 22612479 175964160 32357 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42960 32357 364 364 0 42596 0
[pid=12721] vsize: 171840
Current children cumulated CPU time (s) 1195.61
Current children cumulated vsize (Kb) 171840

[startup+1270.07 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80237 0 0 0 117068 3447 0 0 25 0 1 0 22612479 175964160 32385 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42960 32385 364 364 0 42596 0
[pid=12721] vsize: 171840
Current children cumulated CPU time (s) 1205.15
Current children cumulated vsize (Kb) 171840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.07 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 12721
Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80237 0 0 0 117069 3447 0 0 25 0 1 0 22612479 175964160 32385 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12721/statm): 42960 32385 364 364 0 42596 0
[pid=12721] vsize: 171840
Current children cumulated CPU time (s) 1205.16
Current children cumulated vsize (Kb) 171840

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

Child status: 0
Real time (s): 1270.6
CPU time (s): 1205.69
CPU user time (s): 1171.15
CPU system time (s): 34.5417
CPU usage (%): 94.8918
Max. virtual memory (cumulated for all children) (Kb): 171840

Verifier Data

ERROR: no interpretation found !