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/fctp/normalized-mps-v2-13-7-ran14x18.opb
MD5SUMa7baaeaa26a0026c630e11c495604909
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1216914
Optimality of the best value was proved NO
Number of terms in the objective function 5292
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1421968313
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1421968313
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 benchmark1215.96
Number of variables5292
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint21
Maximum length of a constraint360

Trace number 10577

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.002
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:        911976 kB
Buffers:         18364 kB
Cached:          84860 kB
SwapCached:          0 kB
Active:          46128 kB
Inactive:        60040 kB
HighTotal:      131008 kB
HighFree:        42812 kB
LowTotal:       903652 kB
LowFree:        869164 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10928 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:12:04 (client local time) WITH STATUS 0 IN 1206.07 SECONDS
stats: 9287 7 1206.07 0

Solver Data

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

c Decision: 15820/189840	Time: 65.3711/86400
c Decision: 15820/189840	Time: 72.8749/86400
c Decision: 15820/189840	Time: 79.18/86400
c Decision: 15820/189840	Time: 85.9359/86400
c Decision: 15820/189840	Time: 93.3838/86400
c Decision: 15820/189840	Time: 99.5189/86400
c Decision: 15820/189840	Time: 107.213/86400
c Decision: 15820/189840	Time: 115.744/86400
c Decision: 15820/189840	Time: 123.005/86400
c Decision: 15820/189840	Time: 128.886/86400
c Decision: 15820/189840	Time: 136.887/86400
c Decision: 15820/189840	Time: 143.378/86400
c Decision: 15820/189840	Time: 149.517/86400
c Decision: 15820/189840	Time: 156.329/86400
c Decision: 15820/189840	Time: 163.494/86400
c Decision: 15820/189840	Time: 170.161/86400
c Decision: 15820/189840	Time: 176.879/86400
c Decision: 15820/189840	Time: 182.434/86400
c Decision: 15820/189840	Time: 189.358/86400
c Decision: 15820/189840	Time: 195.57/86400
c Decision: 15820/189840	Time: 202.256/86400
c Decision: 15820/189840	Time: 208.874/86400
c Decision: 15820/189840	Time: 214.894/86400
c Decision: 15820/189840	Time: 220.743/86400
c Decision: 15820/189840	Time: 226.657/86400
c Decision: 15820/189840	Time: 232.748/86400
c Decision: 15820/189840	Time: 239.678/86400
c Decision: 15820/189840	Time: 246.256/86400
c Decision: 15820/189840	Time: 252.304/86400
c Decision: 15820/189840	Time: 258.391/86400
c Decision: 15820/189840	Time: 264.954/86400
c Decision: 15820/189840	Time: 271.179/86400
c Decision: 15820/189840	Time: 277.659/86400
c Decision: 15820/189840	Time: 283.625/86400
c Decision: 15820/189840	Time: 288.835/86400
c Decision: 15820/189840	Time: 295.271/86400
c Decision: 15820/189840	Time: 300.788/86400
c Decision: 15820/189840	Time: 307.243/86400
c Decision: 15820/189840	Time: 313.784/86400
c Decision: 15820/189840	Time: 319.473/86400
c Decision: 15820/189840	Time: 326.354/86400
c Decision: 15820/189840	Time: 332.185/86400
c Decision: 15820/189840	Time: 337.77/86400
c Decision: 15820/189840	Time: 343.878/86400
c Decision: 15820/189840	Time: 350.414/86400
c Decision: 15820/189840	Time: 357.415/86400
c Decision: 15820/189840	Time: 363.695/86400
c Decision: 15820/189840	Time: 369.564/86400
c Decision: 15820/189840	Time: 376.288/86400
c Decision: 15820/189840	Time: 382.85/86400
c Decision: 15820/189840	Time: 389.044/86400
c Decision: 15820/189840	Time: 395.219/86400
c Decision: 15820/189840	Time: 400.718/86400
c Decision: 15820/189840	Time: 406.363/86400
c Decision: 15820/189840	Time: 412.781/86400
c Decision: 15820/189840	Time: 420.152/86400
c Decision: 15820/189840	Time: 426.265/86400
c Decision: 15820/189840	Time: 432.577/86400
c Decision: 15820/189840	Time: 438.139/86400
c Decision: 15820/189840	Time: 444.096/86400
c Decision: 15820/189840	Time: 450.274/86400
c Decision: 15820/189840	Time: 456.713/86400
c Decision: 15820/189840	Time: 463.217/86400
c Decision: 15820/189840	Time: 469.252/86400
c Decision: 15820/189840	Time: 474.964/86400
c Decision: 15820/189840	Time: 482.365/86400
c Decision: 15820/189840	Time: 490.862/86400
c Decision: 15820/189840	Time: 497.117/86400
c Decision: 15820/189840	Time: 503.765/86400
c Decision: 15820/189840	Time: 509.742/86400
c Decision: 15820/189840	Time: 516.265/86400
c Decision: 15820/189840	Time: 522.922/86400
c Decision: 15820/189840	Time: 529.229/86400
c Decision: 15820/189840	Time: 535.841/86400
c Decision: 15820/189840	Time: 542.743/86400
c Decision: 15820/189840	Time: 549.362/86400
c Decision: 15820/189840	Time: 554.933/86400
c Decision: 15820/189840	Time: 560.819/86400
c Decision: 15820/189840	Time: 566.88/86400
c Decision: 15820/189840	Time: 573.416/86400
c Decision: 15820/189840	Time: 580.539/86400
c Decision: 15820/189840	Time: 587.258/86400
c Decision: 15820/189840	Time: 594.744/86400
c Decision: 15820/189840	Time: 601.729/86400
c Decision: 15820/189840	Time: 608.927/86400
c Decision: 15820/189840	Time: 616.64/86400
c Decision: 15820/189840	Time: 623.34/86400
c Decision: 15820/189840	Time: 629.918/86400
c Decision: 15820/189840	Time: 636.471/86400
c Decision: 15820/189840	Time: 643.293/86400
c Decision: 15820/189840	Time: 650.98/86400
c Decision: 15820/189840	Time: 657.716/86400
c Decision: 15820/189840	Time: 664.419/86400
c Decision: 15820/189840	Time: 670.633/86400
c Decision: 15820/189840	Time: 677.348/86400
c Decision: 15820/189840	Time: 684.739/86400
c Decision: 15820/189840	Time: 691.899/86400
c Decision: 15820/189840	Time: 698.742/86400
c Decision: 15820/189840	Time: 704.053/86400
c Decision: 15820/189840	Time: 710.166/86400
c Decision: 15820/189840	Time: 717.829/86400
c Decision: 15820/189840	Time: 724.21/86400
c Decision: 15820/189840	Time: 731.25/86400
c Decision: 15820/189840	Time: 736.879/86400
c Decision: 15820/189840	Time: 744.141/86400
c Decision: 15820/189840	Time: 751.698/86400
c Decision: 15820/189840	Time: 758.837/86400
c Decision: 15820/189840	Time: 765.627/86400
c Decision: 15820/189840	Time: 772.271/86400
c Decision: 15820/189840	Time: 778.373/86400
c Decision: 15820/189840	Time: 785.594/86400
c Decision: 15820/189840	Time: 792.85/86400
c Decision: 15820/189840	Time: 799.68/86400
c Decision: 15820/189840	Time: 806.482/86400
c Decision: 15820/189840	Time: 813.184/86400
c Decision: 15820/189840	Time: 821.562/86400
c Decision: 15820/189840	Time: 828.633/86400
c Decision: 15820/189840	Time: 835.052/86400
c Decision: 15820/189840	Time: 842.172/86400
c Decision: 15820/189840	Time: 847.356/86400
c Decision: 15820/189840	Time: 854.602/86400
c Decision: 15820/189840	Time: 860.954/86400
c Decision: 15820/189840	Time: 868.799/86400
c Decision: 15820/189840	Time: 875.775/86400
c Decision: 15820/189840	Time: 882.721/86400
c Decision: 15820/189840	Time: 890.017/86400
c Decision: 15820/189840	Time: 897.249/86400
c Decision: 15820/189840	Time: 904.888/86400
c Decision: 15820/189840	Time: 911.957/86400
c Decision: 15820/189840	Time: 919.014/86400
c Decision: 15820/189840	Time: 926.255/86400
c Decision: 15820/189840	Time: 933.331/86400
c Decision: 15820/189840	Time: 940.74/86400
c Decision: 15820/189840	Time: 947.831/86400
c Decision: 15820/189840	Time: 955.452/86400
c Decision: 15820/189840	Time: 963.19/86400
c Decision: 15820/189840	Time: 971.444/86400
c Decision: 15820/189840	Time: 978.64/86400
c Decision: 15820/189840	Time: 984.049/86400
c Decision: 15820/189840	Time: 991.141/86400
c Decision: 15820/189840	Time: 999.264/86400
c Decision: 15820/189840	Time: 1006.43/86400
c Decision: 15820/189840	Time: 1013.11/86400
c Decision: 15820/189840	Time: 1021.4/86400
c Decision: 15820/189840	Time: 1028.78/86400
c Decision: 15820/189840	Time: 1037.11/86400
c Decision: 15820/189840	Time: 1045.66/86400
c Decision: 15820/189840	Time: 1052.74/86400
c Decision: 15820/189840	Time: 1060.98/86400
c Decision: 15820/189840	Time: 1068.41/86400
c Decision: 15820/189840	Time: 1076.26/86400
c Decision: 15820/189840	Time: 1083.4/86400
c Decision: 15820/189840	Time: 1090.22/86400
c Decision: 15820/189840	Time: 1098.04/86400
c Decision: 15820/189840	Time: 1105.37/86400
c Decision: 15820/189840	Time: 1113.63/86400
c Decision: 15820/189840	Time: 1120.8/86400
c Decision: 15820/189840	Time: 1128.7/86400
c Decision: 15820/189840	Time: 1135.01/86400
c Decision: 15820/189840	Time: 1144.39/86400
c Decision: 15820/189840	Time: 1151.36/86400
c Decision: 15820/189840	Time: 1159.01/86400
c Decision: 15820/189840	Time: 1167.29/86400
c Decision: 15820/189840	Time: 1174.98/86400
c Decision: 15820/189840	Time: 1182.17/86400
c Decision: 15820/189840	Time: 1191/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/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22448609 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 373 2 364 364 0 9 0
[pid=10707] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran14x18.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 26742 0 0 0 924 68 0 0 25 0 1 0 22448609 83992576 15256 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 20506 15256 364 364 0 20142 0
[pid=10707] vsize: 82024
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 82024

[startup+20.003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28195 0 0 0 1863 90 0 0 25 0 1 0 22448609 90603520 16709 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 22120 16709 364 364 0 21756 0
[pid=10707] vsize: 88480
Current children cumulated CPU time (s) 19.53
Current children cumulated vsize (Kb) 88480

[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28520 0 0 0 2804 109 0 0 25 0 1 0 22448609 91807744 17034 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 22414 17034 364 364 0 22050 0
[pid=10707] vsize: 89656
Current children cumulated CPU time (s) 29.13
Current children cumulated vsize (Kb) 89656

[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28876 0 0 0 3751 127 0 0 25 0 1 0 22448609 93495296 17390 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 22826 17390 364 364 0 22462 0
[pid=10707] vsize: 91304
Current children cumulated CPU time (s) 38.78
Current children cumulated vsize (Kb) 91304

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 29036 0 0 0 4690 148 0 0 25 0 1 0 22448609 94117888 17550 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 22978 17550 364 364 0 22614 0
[pid=10707] vsize: 91912
Current children cumulated CPU time (s) 48.38
Current children cumulated vsize (Kb) 91912

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 29134 0 0 0 5626 170 0 0 25 0 1 0 22448609 94445568 17648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23058 17648 364 364 0 22694 0
[pid=10707] vsize: 92232
Current children cumulated CPU time (s) 57.96
Current children cumulated vsize (Kb) 92232

[startup+70.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 29194 0 0 0 6552 194 0 0 25 0 1 0 22448609 94593024 17708 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23094 17708 364 364 0 22730 0
[pid=10707] vsize: 92376
Current children cumulated CPU time (s) 67.46
Current children cumulated vsize (Kb) 92376

[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 29675 0 0 0 7481 220 0 0 25 0 1 0 22448609 95084544 17818 4294967295 134512640 135987407 3221224560 3221223396 134812772 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23214 17818 364 364 0 22850 0
[pid=10707] vsize: 92856
Current children cumulated CPU time (s) 77.01
Current children cumulated vsize (Kb) 92856

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 30105 0 0 0 8415 242 0 0 25 0 1 0 22448609 95248384 17877 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23254 17877 364 364 0 22890 0
[pid=10707] vsize: 93016
Current children cumulated CPU time (s) 86.57
Current children cumulated vsize (Kb) 93016

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 30876 0 0 0 9361 259 0 0 25 0 1 0 22448609 95248384 17906 4294967295 134512640 135987407 3221224560 3221223248 134811923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23254 17906 364 364 0 22890 0
[pid=10707] vsize: 93016
Current children cumulated CPU time (s) 96.2
Current children cumulated vsize (Kb) 93016

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 31275 0 0 0 10292 285 0 0 25 0 1 0 22448609 95412224 17934 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23294 17934 364 364 0 22930 0
[pid=10707] vsize: 93176
Current children cumulated CPU time (s) 105.77
Current children cumulated vsize (Kb) 93176

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32069 0 0 0 11230 309 0 0 25 0 1 0 22448609 97095680 18357 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23705 18357 364 364 0 23341 0
[pid=10707] vsize: 94820
Current children cumulated CPU time (s) 115.39
Current children cumulated vsize (Kb) 94820

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32461 0 0 0 12154 335 0 0 25 0 1 0 22448609 95576064 18007 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23334 18007 364 364 0 22970 0
[pid=10707] vsize: 93336
Current children cumulated CPU time (s) 124.89
Current children cumulated vsize (Kb) 93336

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32870 0 0 0 13064 364 0 0 25 0 1 0 22448609 95723520 18045 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23370 18045 364 364 0 23006 0
[pid=10707] vsize: 93480
Current children cumulated CPU time (s) 134.28
Current children cumulated vsize (Kb) 93480

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 33260 0 0 0 13971 396 0 0 25 0 1 0 22448609 95862784 18064 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23404 18064 364 364 0 23040 0
[pid=10707] vsize: 93616
Current children cumulated CPU time (s) 143.67
Current children cumulated vsize (Kb) 93616

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 34037 0 0 0 14895 423 0 0 25 0 1 0 22448609 96006144 18099 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23439 18099 364 364 0 23075 0
[pid=10707] vsize: 93756
Current children cumulated CPU time (s) 153.18
Current children cumulated vsize (Kb) 93756

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 34438 0 0 0 15803 455 0 0 25 0 1 0 22448609 96006144 18129 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23439 18129 364 364 0 23075 0
[pid=10707] vsize: 93756
Current children cumulated CPU time (s) 162.58
Current children cumulated vsize (Kb) 93756

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 35210 0 0 0 16726 482 0 0 25 0 1 0 22448609 96157696 18159 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23476 18159 364 364 0 23112 0
[pid=10707] vsize: 93904
Current children cumulated CPU time (s) 172.08
Current children cumulated vsize (Kb) 93904

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 35611 0 0 0 17642 510 0 0 25 0 1 0 22448609 96157696 18189 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23476 18189 364 364 0 23112 0
[pid=10707] vsize: 93904
Current children cumulated CPU time (s) 181.52
Current children cumulated vsize (Kb) 93904

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 36370 0 0 0 18556 538 0 0 25 0 1 0 22448609 96292864 18206 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23509 18206 364 364 0 23145 0
[pid=10707] vsize: 94036
Current children cumulated CPU time (s) 190.94
Current children cumulated vsize (Kb) 94036

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 36776 0 0 0 19459 571 0 0 25 0 1 0 22448609 96292864 18241 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23509 18241 364 364 0 23145 0
[pid=10707] vsize: 94036
Current children cumulated CPU time (s) 200.3
Current children cumulated vsize (Kb) 94036

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 37355 0 0 0 20366 604 0 0 25 0 1 0 22448609 97996800 18449 4294967295 134512640 135987407 3221224560 3221223152 134828104 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23925 18449 364 364 0 23561 0
[pid=10707] vsize: 95700
Current children cumulated CPU time (s) 209.7
Current children cumulated vsize (Kb) 95700

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 37936 0 0 0 21281 631 0 0 25 0 1 0 22448609 96477184 18288 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23554 18288 364 364 0 23190 0
[pid=10707] vsize: 94216
Current children cumulated CPU time (s) 219.12
Current children cumulated vsize (Kb) 94216

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 38333 0 0 0 22180 664 0 0 25 0 1 0 22448609 96477184 18314 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23554 18314 364 364 0 23190 0
[pid=10707] vsize: 94216
Current children cumulated CPU time (s) 228.44
Current children cumulated vsize (Kb) 94216

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 39108 0 0 0 23106 692 0 0 25 0 1 0 22448609 96477184 18347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23554 18347 364 364 0 23190 0
[pid=10707] vsize: 94216
Current children cumulated CPU time (s) 237.98
Current children cumulated vsize (Kb) 94216

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 39492 0 0 0 24021 721 0 0 25 0 1 0 22448609 96612352 18360 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23587 18360 364 364 0 23223 0
[pid=10707] vsize: 94348
Current children cumulated CPU time (s) 247.42
Current children cumulated vsize (Kb) 94348

[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 40352 0 0 0 24935 751 0 0 25 0 1 0 22448609 97144832 18478 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23717 18478 364 364 0 23353 0
[pid=10707] vsize: 94868
Current children cumulated CPU time (s) 256.86
Current children cumulated vsize (Kb) 94868

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 40740 0 0 0 25833 786 0 0 25 0 1 0 22448609 97144832 18495 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23717 18495 364 364 0 23353 0
[pid=10707] vsize: 94868
Current children cumulated CPU time (s) 266.19
Current children cumulated vsize (Kb) 94868

[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 41493 0 0 0 26744 816 0 0 25 0 1 0 22448609 97144832 18506 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23717 18506 364 364 0 23353 0
[pid=10707] vsize: 94868
Current children cumulated CPU time (s) 275.6
Current children cumulated vsize (Kb) 94868

[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 41880 0 0 0 27645 851 0 0 25 0 1 0 22448609 97144832 18522 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23717 18522 364 364 0 23353 0
[pid=10707] vsize: 94868
Current children cumulated CPU time (s) 284.96
Current children cumulated vsize (Kb) 94868

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 42657 0 0 0 28554 883 0 0 25 0 1 0 22448609 97280000 18557 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23750 18557 364 364 0 23386 0
[pid=10707] vsize: 95000
Current children cumulated CPU time (s) 294.37
Current children cumulated vsize (Kb) 95000

[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 43050 0 0 0 29457 917 0 0 25 0 1 0 22448609 97280000 18579 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23750 18579 364 364 0 23386 0
[pid=10707] vsize: 95000
Current children cumulated CPU time (s) 303.74
Current children cumulated vsize (Kb) 95000

[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 43444 0 0 0 30357 949 0 0 25 0 1 0 22448609 97280000 18602 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23750 18602 364 364 0 23386 0
[pid=10707] vsize: 95000
Current children cumulated CPU time (s) 313.06
Current children cumulated vsize (Kb) 95000

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 44210 0 0 0 31263 980 0 0 25 0 1 0 22448609 97280000 18626 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23750 18626 364 364 0 23386 0
[pid=10707] vsize: 95000
Current children cumulated CPU time (s) 322.43
Current children cumulated vsize (Kb) 95000

[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 44615 0 0 0 32163 1015 0 0 25 0 1 0 22448609 97415168 18660 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23783 18660 364 364 0 23419 0
[pid=10707] vsize: 95132
Current children cumulated CPU time (s) 331.78
Current children cumulated vsize (Kb) 95132

[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 45378 0 0 0 33076 1046 0 0 25 0 1 0 22448609 97415168 18681 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23783 18681 364 364 0 23419 0
[pid=10707] vsize: 95132
Current children cumulated CPU time (s) 341.22
Current children cumulated vsize (Kb) 95132

[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 45779 0 0 0 33979 1079 0 0 25 0 1 0 22448609 97546240 18711 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23815 18711 364 364 0 23451 0
[pid=10707] vsize: 95260
Current children cumulated CPU time (s) 350.58
Current children cumulated vsize (Kb) 95260

[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 46547 0 0 0 34892 1111 0 0 25 0 1 0 22448609 97546240 18737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23815 18737 364 364 0 23451 0
[pid=10707] vsize: 95260
Current children cumulated CPU time (s) 360.03
Current children cumulated vsize (Kb) 95260

[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 46943 0 0 0 35797 1145 0 0 25 0 1 0 22448609 97546240 18762 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23815 18762 364 364 0 23451 0
[pid=10707] vsize: 95260
Current children cumulated CPU time (s) 369.42
Current children cumulated vsize (Kb) 95260

[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 47712 0 0 0 36714 1173 0 0 25 0 1 0 22448609 97677312 18789 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23847 18789 364 364 0 23483 0
[pid=10707] vsize: 95388
Current children cumulated CPU time (s) 378.87
Current children cumulated vsize (Kb) 95388

[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 48109 0 0 0 37624 1202 0 0 25 0 1 0 22448609 97677312 18815 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23847 18815 364 364 0 23483 0
[pid=10707] vsize: 95388
Current children cumulated CPU time (s) 388.26
Current children cumulated vsize (Kb) 95388

[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 48879 0 0 0 38548 1231 0 0 25 0 1 0 22448609 97677312 18843 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23847 18843 364 364 0 23483 0
[pid=10707] vsize: 95388
Current children cumulated CPU time (s) 397.79
Current children cumulated vsize (Kb) 95388

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 49289 0 0 0 39463 1261 0 0 25 0 1 0 22448609 97808384 18882 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23879 18882 364 364 0 23515 0
[pid=10707] vsize: 95516
Current children cumulated CPU time (s) 407.24
Current children cumulated vsize (Kb) 95516

[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 50110 0 0 0 40381 1288 0 0 25 0 1 0 22448609 98107392 18961 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23952 18961 364 364 0 23588 0
[pid=10707] vsize: 95808
Current children cumulated CPU time (s) 416.69
Current children cumulated vsize (Kb) 95808

[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 50517 0 0 0 41292 1316 0 0 25 0 1 0 22448609 98271232 18997 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23992 18997 364 364 0 23628 0
[pid=10707] vsize: 95968
Current children cumulated CPU time (s) 426.08
Current children cumulated vsize (Kb) 95968

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 51280 0 0 0 42220 1343 0 0 25 0 1 0 22448609 98271232 19018 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 23992 19018 364 364 0 23628 0
[pid=10707] vsize: 95968
Current children cumulated CPU time (s) 435.63
Current children cumulated vsize (Kb) 95968

[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 51683 0 0 0 43125 1375 0 0 25 0 1 0 22448609 98271232 19050 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 23992 19050 364 364 0 23628 0
[pid=10707] vsize: 95968
Current children cumulated CPU time (s) 445
Current children cumulated vsize (Kb) 95968

[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 52459 0 0 0 44037 1408 0 0 25 0 1 0 22448609 98406400 19084 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24025 19084 364 364 0 23661 0
[pid=10707] vsize: 96100
Current children cumulated CPU time (s) 454.45
Current children cumulated vsize (Kb) 96100

[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 52855 0 0 0 44965 1432 0 0 25 0 1 0 22448609 98406400 19109 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24025 19109 364 364 0 23661 0
[pid=10707] vsize: 96100
Current children cumulated CPU time (s) 463.97
Current children cumulated vsize (Kb) 96100

[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 53628 0 0 0 45881 1459 0 0 25 0 1 0 22448609 98541568 19140 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24058 19140 364 364 0 23694 0
[pid=10707] vsize: 96232
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (Kb) 96232

[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 54032 0 0 0 46785 1490 0 0 25 0 1 0 22448609 98541568 19173 4294967295 134512640 135987407 3221224560 3221223280 134814142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24058 19173 364 364 0 23694 0
[pid=10707] vsize: 96232
Current children cumulated CPU time (s) 482.75
Current children cumulated vsize (Kb) 96232

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 54798 0 0 0 47708 1519 0 0 25 0 1 0 22448609 98541568 19197 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24058 19197 364 364 0 23694 0
[pid=10707] vsize: 96232
Current children cumulated CPU time (s) 492.27
Current children cumulated vsize (Kb) 96232

[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 55187 0 0 0 48625 1547 0 0 25 0 1 0 22448609 98672640 19215 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24090 19215 364 364 0 23726 0
[pid=10707] vsize: 96360
Current children cumulated CPU time (s) 501.72
Current children cumulated vsize (Kb) 96360

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10707
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 55584 0 0 0 49542 1577 0 0 25 0 1 0 22448609 98672640 19241 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24090 19241 364 364 0 23726 0
[pid=10707] vsize: 96360
Current children cumulated CPU time (s) 511.19
Current children cumulated vsize (Kb) 96360

[startup+550.014 s]
Raw data (loadavg): 1.15 1.00 0.92 1/56 10708
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 56357 0 0 0 50456 1607 0 0 20 0 1 0 22448609 98672640 19272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24090 19272 364 364 0 23726 0
[pid=10707] vsize: 96360
Current children cumulated CPU time (s) 520.63
Current children cumulated vsize (Kb) 96360

[startup+560.015 s]
Raw data (loadavg): 1.13 1.00 0.92 2/55 10762
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 56755 0 0 0 51367 1637 0 0 25 0 1 0 22448609 98820096 19299 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24126 19299 364 364 0 23762 0
[pid=10707] vsize: 96504
Current children cumulated CPU time (s) 530.04
Current children cumulated vsize (Kb) 96504

[startup+570.015 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 10762
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 57519 0 0 0 52285 1665 0 0 25 0 1 0 22448609 98820096 19321 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24126 19321 364 364 0 23762 0
[pid=10707] vsize: 96504
Current children cumulated CPU time (s) 539.5
Current children cumulated vsize (Kb) 96504

[startup+580.015 s]
Raw data (loadavg): 1.09 1.00 0.92 1/55 10762
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 57917 0 0 0 53201 1695 0 0 25 0 1 0 22448609 98820096 19348 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24126 19348 364 364 0 23762 0
[pid=10707] vsize: 96504
Current children cumulated CPU time (s) 548.96
Current children cumulated vsize (Kb) 96504

[startup+590.015 s]
Raw data (loadavg): 1.08 1.00 0.92 1/55 10762
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 58686 0 0 0 54132 1720 0 0 25 0 1 0 22448609 98951168 19375 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24158 19375 364 364 0 23794 0
[pid=10707] vsize: 96632
Current children cumulated CPU time (s) 558.52
Current children cumulated vsize (Kb) 96632

[startup+600.015 s]
Raw data (loadavg): 1.07 1.00 0.92 1/55 10762
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 58720 0 0 0 55041 1753 0 0 25 0 1 0 22448609 98951168 19409 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24158 19409 364 364 0 23794 0
[pid=10707] vsize: 96632
Current children cumulated CPU time (s) 567.94
Current children cumulated vsize (Kb) 96632

[startup+610.017 s]
Raw data (loadavg): 1.06 1.00 0.92 1/55 10764
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 59487 0 0 0 55961 1780 0 0 25 0 1 0 22448609 99082240 19434 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24190 19434 364 364 0 23826 0
[pid=10707] vsize: 96760
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (Kb) 96760

[startup+620.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 10766
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 59890 0 0 0 56877 1809 0 0 25 0 1 0 22448609 99082240 19466 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24190 19466 364 364 0 23826 0
[pid=10707] vsize: 96760
Current children cumulated CPU time (s) 586.86
Current children cumulated vsize (Kb) 96760

[startup+630.016 s]
Raw data (loadavg): 1.04 1.00 0.92 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 60653 0 0 0 57792 1840 0 0 25 0 1 0 22448609 99082240 19487 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24190 19487 364 364 0 23826 0
[pid=10707] vsize: 96760
Current children cumulated CPU time (s) 596.32
Current children cumulated vsize (Kb) 96760

[startup+640.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 61054 0 0 0 58709 1870 0 0 25 0 1 0 22448609 99217408 19517 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24223 19517 364 364 0 23859 0
[pid=10707] vsize: 96892
Current children cumulated CPU time (s) 605.79
Current children cumulated vsize (Kb) 96892

[startup+650.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 61449 0 0 0 59615 1904 0 0 25 0 1 0 22448609 99217408 19541 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24223 19541 364 364 0 23859 0
[pid=10707] vsize: 96892
Current children cumulated CPU time (s) 615.19
Current children cumulated vsize (Kb) 96892

[startup+660.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 62211 0 0 0 60535 1932 0 0 25 0 1 0 22448609 99217408 19561 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24223 19561 364 364 0 23859 0
[pid=10707] vsize: 96892
Current children cumulated CPU time (s) 624.67
Current children cumulated vsize (Kb) 96892

[startup+670.017 s]
Raw data (loadavg): 1.02 1.00 0.92 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 62602 0 0 0 61455 1960 0 0 19 0 1 0 22448609 99352576 19581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24256 19581 364 364 0 23892 0
[pid=10707] vsize: 97024
Current children cumulated CPU time (s) 634.15
Current children cumulated vsize (Kb) 97024

[startup+680.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 63001 0 0 0 62367 1988 0 0 19 0 1 0 22448609 99352576 19609 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24256 19609 364 364 0 23892 0
[pid=10707] vsize: 97024
Current children cumulated CPU time (s) 643.55
Current children cumulated vsize (Kb) 97024

[startup+690.018 s]
Raw data (loadavg): 1.01 1.00 0.92 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 63769 0 0 0 63292 2013 0 0 25 0 1 0 22448609 99352576 19635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24256 19635 364 364 0 23892 0
[pid=10707] vsize: 97024
Current children cumulated CPU time (s) 653.05
Current children cumulated vsize (Kb) 97024

[startup+700.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 64164 0 0 0 64212 2039 0 0 25 0 1 0 22448609 99483648 19659 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24288 19659 364 364 0 23924 0
[pid=10707] vsize: 97152
Current children cumulated CPU time (s) 662.51
Current children cumulated vsize (Kb) 97152

[startup+710.018 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 64559 0 0 0 65133 2065 0 0 25 0 1 0 22448609 99483648 19683 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24288 19683 364 364 0 23924 0
[pid=10707] vsize: 97152
Current children cumulated CPU time (s) 671.98
Current children cumulated vsize (Kb) 97152

[startup+720.017 s]
Raw data (loadavg): 1.07 1.02 0.93 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 65334 0 0 0 66062 2090 0 0 25 0 1 0 22448609 99483648 19716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24288 19716 364 364 0 23924 0
[pid=10707] vsize: 97152
Current children cumulated CPU time (s) 681.52
Current children cumulated vsize (Kb) 97152

[startup+730.017 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 65736 0 0 0 66984 2116 0 0 25 0 1 0 22448609 99614720 19747 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24320 19747 364 364 0 23956 0
[pid=10707] vsize: 97280
Current children cumulated CPU time (s) 691
Current children cumulated vsize (Kb) 97280

[startup+740.018 s]
Raw data (loadavg): 1.05 1.01 0.93 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 66495 0 0 0 67916 2141 0 0 25 0 1 0 22448609 99614720 19764 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24320 19764 364 364 0 23956 0
[pid=10707] vsize: 97280
Current children cumulated CPU time (s) 700.57
Current children cumulated vsize (Kb) 97280

[startup+750.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 66891 0 0 0 68832 2170 0 0 25 0 1 0 22448609 99745792 19789 4294967295 134512640 135987407 3221224560 3221223392 134812773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24352 19789 364 364 0 23988 0
[pid=10707] vsize: 97408
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (Kb) 97408

[startup+760.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 67673 0 0 0 69759 2197 0 0 25 0 1 0 22448609 99745792 19829 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24352 19829 364 364 0 23988 0
[pid=10707] vsize: 97408
Current children cumulated CPU time (s) 719.56
Current children cumulated vsize (Kb) 97408

[startup+770.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 68065 0 0 0 70678 2226 0 0 25 0 1 0 22448609 99876864 19850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24384 19850 364 364 0 24020 0
[pid=10707] vsize: 97536
Current children cumulated CPU time (s) 729.04
Current children cumulated vsize (Kb) 97536

[startup+780.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 68461 0 0 0 71597 2253 0 0 25 0 1 0 22448609 99876864 19875 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24384 19875 364 364 0 24020 0
[pid=10707] vsize: 97536
Current children cumulated CPU time (s) 738.5
Current children cumulated vsize (Kb) 97536

[startup+790.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 69229 0 0 0 72524 2278 0 0 25 0 1 0 22448609 99876864 19901 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24384 19901 364 364 0 24020 0
[pid=10707] vsize: 97536
Current children cumulated CPU time (s) 748.02
Current children cumulated vsize (Kb) 97536

[startup+800.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 69625 0 0 0 73438 2306 0 0 25 0 1 0 22448609 99876864 19926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24384 19926 364 364 0 24020 0
[pid=10707] vsize: 97536
Current children cumulated CPU time (s) 757.44
Current children cumulated vsize (Kb) 97536

[startup+810.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 70389 0 0 0 74373 2330 0 0 25 0 1 0 22448609 101527552 20319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24787 20319 364 364 0 24423 0
[pid=10707] vsize: 99148
Current children cumulated CPU time (s) 767.03
Current children cumulated vsize (Kb) 99148

[startup+820.018 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 70790 0 0 0 75290 2360 0 0 25 0 1 0 22448609 100007936 19978 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24416 19978 364 364 0 24052 0
[pid=10707] vsize: 97664
Current children cumulated CPU time (s) 776.5
Current children cumulated vsize (Kb) 97664

[startup+830.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 71197 0 0 0 76214 2388 0 0 25 0 1 0 22448609 100155392 20014 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24452 20014 364 364 0 24088 0
[pid=10707] vsize: 97808
Current children cumulated CPU time (s) 786.02
Current children cumulated vsize (Kb) 97808

[startup+840.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 71968 0 0 0 77150 2410 0 0 25 0 1 0 22448609 100155392 20043 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24452 20043 364 364 0 24088 0
[pid=10707] vsize: 97808
Current children cumulated CPU time (s) 795.6
Current children cumulated vsize (Kb) 97808

[startup+850.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 72376 0 0 0 78073 2438 0 0 25 0 1 0 22448609 100315136 20080 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24491 20080 364 364 0 24127 0
[pid=10707] vsize: 97964
Current children cumulated CPU time (s) 805.11
Current children cumulated vsize (Kb) 97964

[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 73163 0 0 0 79000 2465 0 0 25 0 1 0 22448609 101998592 20496 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24902 20496 364 364 0 24538 0
[pid=10707] vsize: 99608
Current children cumulated CPU time (s) 814.65
Current children cumulated vsize (Kb) 99608

[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 73552 0 0 0 79925 2489 0 0 25 0 1 0 22448609 100478976 20143 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24531 20143 364 364 0 24167 0
[pid=10707] vsize: 98124
Current children cumulated CPU time (s) 824.14
Current children cumulated vsize (Kb) 98124

[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10768
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 73938 0 0 0 80856 2513 0 0 25 0 1 0 22448609 100478976 20158 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24531 20158 364 364 0 24167 0
[pid=10707] vsize: 98124
Current children cumulated CPU time (s) 833.69
Current children cumulated vsize (Kb) 98124

[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 74711 0 0 0 81782 2540 0 0 25 0 1 0 22448609 101998592 20560 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24902 20560 364 364 0 24538 0
[pid=10707] vsize: 99608
Current children cumulated CPU time (s) 843.22
Current children cumulated vsize (Kb) 99608

[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 75113 0 0 0 82714 2565 0 0 25 0 1 0 22448609 100478976 20220 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24531 20220 364 364 0 24167 0
[pid=10707] vsize: 98124
Current children cumulated CPU time (s) 852.79
Current children cumulated vsize (Kb) 98124

[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 75879 0 0 0 83639 2591 0 0 25 0 1 0 22448609 100614144 20244 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24564 20244 364 364 0 24200 0
[pid=10707] vsize: 98256
Current children cumulated CPU time (s) 862.3
Current children cumulated vsize (Kb) 98256

[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 76273 0 0 0 84580 2613 0 0 25 0 1 0 22448609 100614144 20267 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24564 20267 364 364 0 24200 0
[pid=10707] vsize: 98256
Current children cumulated CPU time (s) 871.93
Current children cumulated vsize (Kb) 98256

[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 76670 0 0 0 85505 2638 0 0 25 0 1 0 22448609 100614144 20293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24564 20293 364 364 0 24200 0
[pid=10707] vsize: 98256
Current children cumulated CPU time (s) 881.43
Current children cumulated vsize (Kb) 98256

[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 77440 0 0 0 86426 2665 0 0 25 0 1 0 22448609 102268928 20692 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24968 20692 364 364 0 24604 0
[pid=10707] vsize: 99872
Current children cumulated CPU time (s) 890.91
Current children cumulated vsize (Kb) 99872

[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 77830 0 0 0 87352 2690 0 0 25 0 1 0 22448609 100749312 20340 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24597 20340 364 364 0 24233 0
[pid=10707] vsize: 98388
Current children cumulated CPU time (s) 900.42
Current children cumulated vsize (Kb) 98388

[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 78228 0 0 0 88281 2714 0 0 25 0 1 0 22448609 100749312 20367 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24597 20367 364 364 0 24233 0
[pid=10707] vsize: 98388
Current children cumulated CPU time (s) 909.95
Current children cumulated vsize (Kb) 98388

[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 78622 0 0 0 89212 2739 0 0 25 0 1 0 22448609 100749312 20390 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24597 20390 364 364 0 24233 0
[pid=10707] vsize: 98388
Current children cumulated CPU time (s) 919.51
Current children cumulated vsize (Kb) 98388

[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 79393 0 0 0 90147 2761 0 0 25 0 1 0 22448609 100880384 20419 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24629 20419 364 364 0 24265 0
[pid=10707] vsize: 98516
Current children cumulated CPU time (s) 929.08
Current children cumulated vsize (Kb) 98516

[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 79793 0 0 0 91077 2784 0 0 25 0 1 0 22448609 100880384 20448 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24629 20448 364 364 0 24265 0
[pid=10707] vsize: 98516
Current children cumulated CPU time (s) 938.61
Current children cumulated vsize (Kb) 98516

[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 80183 0 0 0 92001 2812 0 0 25 0 1 0 22448609 101015552 20467 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24662 20467 364 364 0 24298 0
[pid=10707] vsize: 98648
Current children cumulated CPU time (s) 948.13
Current children cumulated vsize (Kb) 98648

[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 80950 0 0 0 92928 2836 0 0 18 0 1 0 22448609 101015552 20492 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24662 20492 364 364 0 24298 0
[pid=10707] vsize: 98648
Current children cumulated CPU time (s) 957.64
Current children cumulated vsize (Kb) 98648

[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 81347 0 0 0 93853 2860 0 0 25 0 1 0 22448609 101015552 20518 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24662 20518 364 364 0 24298 0
[pid=10707] vsize: 98648
Current children cumulated CPU time (s) 967.13
Current children cumulated vsize (Kb) 98648

[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 81737 0 0 0 94789 2881 0 0 25 0 1 0 22448609 101158912 20537 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24697 20537 364 364 0 24333 0
[pid=10707] vsize: 98788
Current children cumulated CPU time (s) 976.7
Current children cumulated vsize (Kb) 98788

[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 82132 0 0 0 95721 2904 0 0 25 0 1 0 22448609 101158912 20561 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24697 20561 364 364 0 24333 0
[pid=10707] vsize: 98788
Current children cumulated CPU time (s) 986.25
Current children cumulated vsize (Kb) 98788

[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 82903 0 0 0 96660 2926 0 0 25 0 1 0 22448609 101158912 20590 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24697 20590 364 364 0 24333 0
[pid=10707] vsize: 98788
Current children cumulated CPU time (s) 995.86
Current children cumulated vsize (Kb) 98788

[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 83303 0 0 0 97587 2952 0 0 25 0 1 0 22448609 101158912 20619 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24697 20619 364 364 0 24333 0
[pid=10707] vsize: 98788
Current children cumulated CPU time (s) 1005.39
Current children cumulated vsize (Kb) 98788

[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 84061 0 0 0 98519 2973 0 0 25 0 1 0 22448609 101294080 20635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24730 20635 364 364 0 24366 0
[pid=10707] vsize: 98920
Current children cumulated CPU time (s) 1014.92
Current children cumulated vsize (Kb) 98920

[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 84457 0 0 0 99443 2999 0 0 25 0 1 0 22448609 101294080 20660 4294967295 134512640 135987407 3221224560 3221223408 134790081 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24730 20660 364 364 0 24366 0
[pid=10707] vsize: 98920
Current children cumulated CPU time (s) 1024.42
Current children cumulated vsize (Kb) 98920

[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 84850 0 0 0 100374 3022 0 0 25 0 1 0 22448609 101294080 20682 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24730 20682 364 364 0 24366 0
[pid=10707] vsize: 98920
Current children cumulated CPU time (s) 1033.96
Current children cumulated vsize (Kb) 98920

[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 85246 0 0 0 101299 3047 0 0 25 0 1 0 22448609 101294080 20707 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24730 20707 364 364 0 24366 0
[pid=10707] vsize: 98920
Current children cumulated CPU time (s) 1043.46
Current children cumulated vsize (Kb) 98920

[startup+1110.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 85631 0 0 0 102225 3071 0 0 25 0 1 0 22448609 101429248 20721 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24763 20721 364 364 0 24399 0
[pid=10707] vsize: 99052
Current children cumulated CPU time (s) 1052.96
Current children cumulated vsize (Kb) 99052

[startup+1120.02 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 86403 0 0 0 103160 3096 0 0 25 0 1 0 22448609 101429248 20751 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24763 20751 364 364 0 24399 0
[pid=10707] vsize: 99052
Current children cumulated CPU time (s) 1062.56
Current children cumulated vsize (Kb) 99052

[startup+1130.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 86798 0 0 0 104085 3121 0 0 25 0 1 0 22448609 101429248 20775 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24763 20775 364 364 0 24399 0
[pid=10707] vsize: 99052
Current children cumulated CPU time (s) 1072.06
Current children cumulated vsize (Kb) 99052

[startup+1140.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 87198 0 0 0 105013 3147 0 0 25 0 1 0 22448609 101576704 20804 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24799 20804 364 364 0 24435 0
[pid=10707] vsize: 99196
Current children cumulated CPU time (s) 1081.6
Current children cumulated vsize (Kb) 99196

[startup+1150.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 87589 0 0 0 105949 3167 0 0 25 0 1 0 22448609 101576704 20824 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24799 20824 364 364 0 24435 0
[pid=10707] vsize: 99196
Current children cumulated CPU time (s) 1091.16
Current children cumulated vsize (Kb) 99196

[startup+1160.03 s]
Raw data (loadavg): 1.03 1.01 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 88360 0 0 0 106880 3191 0 0 25 0 1 0 22448609 101576704 20853 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24799 20853 364 364 0 24435 0
[pid=10707] vsize: 99196
Current children cumulated CPU time (s) 1100.71
Current children cumulated vsize (Kb) 99196

[startup+1170.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 88766 0 0 0 107811 3216 0 0 25 0 1 0 22448609 101711872 20888 4294967295 134512640 135987407 3221224560 3221223344 134812363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24832 20888 364 364 0 24468 0
[pid=10707] vsize: 99328
Current children cumulated CPU time (s) 1110.27
Current children cumulated vsize (Kb) 99328

[startup+1180.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 89153 0 0 0 108737 3243 0 0 25 0 1 0 22448609 101711872 20904 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24832 20904 364 364 0 24468 0
[pid=10707] vsize: 99328
Current children cumulated CPU time (s) 1119.8
Current children cumulated vsize (Kb) 99328

[startup+1190.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 89918 0 0 0 109678 3262 0 0 25 0 1 0 22448609 101711872 20927 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24832 20927 364 364 0 24468 0
[pid=10707] vsize: 99328
Current children cumulated CPU time (s) 1129.4
Current children cumulated vsize (Kb) 99328

[startup+1200.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 90319 0 0 0 110603 3288 0 0 25 0 1 0 22448609 101842944 20957 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24864 20957 364 364 0 24500 0
[pid=10707] vsize: 99456
Current children cumulated CPU time (s) 1138.91
Current children cumulated vsize (Kb) 99456

[startup+1210.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 90713 0 0 0 111527 3315 0 0 25 0 1 0 22448609 101842944 20980 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24864 20980 364 364 0 24500 0
[pid=10707] vsize: 99456
Current children cumulated CPU time (s) 1148.42
Current children cumulated vsize (Kb) 99456

[startup+1220.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 91114 0 0 0 112466 3336 0 0 25 0 1 0 22448609 101978112 21010 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24897 21010 364 364 0 24533 0
[pid=10707] vsize: 99588
Current children cumulated CPU time (s) 1158.02
Current children cumulated vsize (Kb) 99588

[startup+1230.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 91872 0 0 0 113419 3352 0 0 25 0 1 0 22448609 101978112 21026 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24897 21026 364 364 0 24533 0
[pid=10707] vsize: 99588
Current children cumulated CPU time (s) 1167.71
Current children cumulated vsize (Kb) 99588

[startup+1240.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 92276 0 0 0 114344 3379 0 0 25 0 1 0 22448609 101978112 21059 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24897 21059 364 364 0 24533 0
[pid=10707] vsize: 99588
Current children cumulated CPU time (s) 1177.23
Current children cumulated vsize (Kb) 99588

[startup+1250.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 92672 0 0 0 115270 3405 0 0 25 0 1 0 22448609 102109184 21084 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24929 21084 364 364 0 24565 0
[pid=10707] vsize: 99716
Current children cumulated CPU time (s) 1186.75
Current children cumulated vsize (Kb) 99716

[startup+1260.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 93064 0 0 0 116187 3433 0 0 25 0 1 0 22448609 102109184 21105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10707/statm): 24929 21105 364 364 0 24565 0
[pid=10707] vsize: 99716
Current children cumulated CPU time (s) 1196.2
Current children cumulated vsize (Kb) 99716

[startup+1270.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 93454 0 0 0 117115 3459 0 0 25 0 1 0 22448609 102109184 21124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24929 21124 364 364 0 24565 0
[pid=10707] vsize: 99716
Current children cumulated CPU time (s) 1205.74
Current children cumulated vsize (Kb) 99716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10770
Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 93454 0 0 0 117115 3459 0 0 25 0 1 0 22448609 102109184 21124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10707/statm): 24929 21124 364 364 0 24565 0
[pid=10707] vsize: 99716
Current children cumulated CPU time (s) 1205.74
Current children cumulated vsize (Kb) 99716

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

Child status: 0
Real time (s): 1270.35
CPU time (s): 1206.07
CPU user time (s): 1171.43
CPU system time (s): 34.6337
CPU usage (%): 94.9395
Max. virtual memory (cumulated for all children) (Kb): 99872

Verifier Data

ERROR: no interpretation found !