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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
MD5SUM4cc62e621e04c5a4e55edc3240fa3357
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 537600
Optimality of the best value was proved NO
Number of terms in the objective function 1160
Biggest coefficient in the objective function 196608
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 15892320
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 25600000000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 232836875088
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1249.96
Number of variables1260
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint1
Maximum length of a constraint127

Trace number 10153

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 17:01:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8866 boxname=wulflinc17 idbench=662 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4cc62e621e04c5a4e55edc3240fa3357  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 8866
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        930396 kB
Buffers:         16164 kB
Cached:          69856 kB
SwapCached:          0 kB
Active:          43964 kB
Inactive:        44976 kB
HighTotal:      131008 kB
HighFree:        56840 kB
LowTotal:       903652 kB
LowFree:        873556 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9704 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:21:32 (client local time) WITH STATUS 0 IN 1202.98 SECONDS
stats: 8866 7 1202.98 0

Solver Data

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

c Decision: 431/420586	Time: 56.1915/86400
c Decision: 431/420586	Time: 66.9378/86400
c Decision: 433/420586	Time: 85.518/86400
c Decision: 436/420586	Time: 99.3839/86400
c Decision: 443/420586	Time: 117.378/86400
c Decision: 443/420586	Time: 128.883/86400
c Decision: 443/420586	Time: 138.854/86400
c Decision: 447/420586	Time: 157.285/86400
c Decision: 447/420586	Time: 166.718/86400
c Decision: 447/420586	Time: 177.368/86400
c Decision: 669/420586	Time: 210.189/86400
c Decision: 724/420586	Time: 231.256/86400
c Decision: 724/420586	Time: 241.347/86400
c Decision: 901/420586	Time: 253.947/86400
c Decision: 2540/420586	Time: 382.558/86400
c Decision: 2683/420586	Time: 466.635/86400
c Decision: 2691/420586	Time: 498.204/86400
c Decision: 2691/420586	Time: 510.42/86400
c Decision: 2691/420586	Time: 522.959/86400
c Decision: 2691/420586	Time: 534.967/86400
c Decision: 2691/420586	Time: 549.054/86400
c Decision: 2691/420586	Time: 561.417/86400
c Decision: 2691/420586	Time: 572.069/86400
c Decision: 2696/420586	Time: 586.994/86400
c Decision: 2701/420586	Time: 606.011/86400
c Decision: 2728/420586	Time: 628.438/86400
c Decision: 2728/420586	Time: 642.053/86400
c Decision: 2737/420586	Time: 662.957/86400
c Decision: 2768/420586	Time: 684.663/86400
c Decision: 2768/420586	Time: 697.898/86400
c Decision: 2768/420586	Time: 711.563/86400
c Decision: 2768/420586	Time: 722.202/86400
c Decision: 2768/420586	Time: 733.778/86400
c Decision: 2768/420586	Time: 747.547/86400
c Decision: 2769/420586	Time: 770.534/86400
c Decision: 2769/420586	Time: 785.744/86400
c Decision: 2769/420586	Time: 799.982/86400
c Decision: 2769/420586	Time: 814.145/86400
c Decision: 2769/420586	Time: 827.361/86400
c Decision: 2769/420586	Time: 841.247/86400
c Decision: 2769/420586	Time: 856.043/86400
c Decision: 2769/420586	Time: 868.8/86400
c Decision: 2769/420586	Time: 882.096/86400
c Decision: 2769/420586	Time: 894.388/86400
c Decision: 2769/420586	Time: 907.221/86400
c Decision: 2769/420586	Time: 921.348/86400
c Decision: 2769/420586	Time: 937.338/86400
c Decision: 2769/420586	Time: 952.455/86400
c Decision: 2769/420586	Time: 965.353/86400
c Decision: 2769/420586	Time: 978.845/86400
c Decision: 2769/420586	Time: 993.225/86400
c Decision: 2769/420586	Time: 1006.89/86400
c Decision: 2769/420586	Time: 1019.2/86400
c Decision: 2769/420586	Time: 1032.73/86400
c Decision: 2769/420586	Time: 1046.63/86400
c Decision: 2769/420586	Time: 1061.84/86400
c Decision: 2837/420586	Time: 1078.16/86400
c Decision: 2837/420586	Time: 1090.95/86400
c Decision: 2837/420586	Time: 1107.64/86400
c Decision: 2837/420586	Time: 1122.83/86400
c Decision: 2837/420586	Time: 1139.04/86400
c Decision: 2837/420586	Time: 1153.17/86400
c Decision: 2837/420586	Time: 1166.05/86400
c Decision: 2837/420586	Time: 1179.57/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/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 21827274 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 373 2 364 364 0 9 0
[pid=9361] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rgn.opb

[startup+10.0021 s]
Raw data (loadavg): 0.97 1.01 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 28631 0 0 0 931 66 0 0 25 0 1 0 21827274 80723968 17462 4294967295 134512640 135987407 3221224560 3221185388 134635478 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 19708 17462 364 364 0 19344 0
[pid=9361] vsize: 78832
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78832

[startup+20.0027 s]
Raw data (loadavg): 0.98 1.01 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 55840 0 0 0 1863 131 0 0 25 0 1 0 21827274 165724160 32666 4294967295 134512640 135987407 3221224560 3221223004 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 40460 32666 364 364 0 40096 0
[pid=9361] vsize: 161840
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 161840

[startup+30.0023 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 56371 0 0 0 2823 145 0 0 25 0 1 0 21827274 167923712 33197 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 40997 33197 364 364 0 40633 0
[pid=9361] vsize: 163988
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 163988

[startup+40.0029 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 57021 0 0 0 3796 155 0 0 25 0 1 0 21827274 170721280 33847 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 41680 33847 364 364 0 41316 0
[pid=9361] vsize: 166720
Current children cumulated CPU time (s) 39.51
Current children cumulated vsize (Kb) 166720

[startup+50.0035 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 57528 0 0 0 4763 166 0 0 25 0 1 0 21827274 173019136 34354 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42241 34354 364 364 0 41877 0
[pid=9361] vsize: 168964
Current children cumulated CPU time (s) 49.29
Current children cumulated vsize (Kb) 168964

[startup+60.0041 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 57659 0 0 0 5731 178 0 0 25 0 1 0 21827274 173510656 34485 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42361 34485 364 364 0 41997 0
[pid=9361] vsize: 169444
Current children cumulated CPU time (s) 59.09
Current children cumulated vsize (Kb) 169444

[startup+70.0047 s]
Raw data (loadavg): 0.99 1.00 0.93 1/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 57728 0 0 0 6702 189 0 0 25 0 1 0 21827274 173871104 34554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42449 34554 364 364 0 42085 0
[pid=9361] vsize: 169796
Current children cumulated CPU time (s) 68.91
Current children cumulated vsize (Kb) 169796

[startup+80.0043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 58576 0 0 0 7677 198 0 0 25 0 1 0 21827274 173871104 34580 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42449 34580 364 364 0 42085 0
[pid=9361] vsize: 169796
Current children cumulated CPU time (s) 78.75
Current children cumulated vsize (Kb) 169796

[startup+90.0049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 59425 0 0 0 8646 211 0 0 25 0 1 0 21827274 174034944 34607 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42489 34607 364 364 0 42125 0
[pid=9361] vsize: 169956
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 169956

[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 59460 0 0 0 9619 220 0 0 25 0 1 0 21827274 174034944 34642 4294967295 134512640 135987407 3221224560 3221223020 135481941 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42489 34642 364 364 0 42125 0
[pid=9361] vsize: 169956
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (Kb) 169956

[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.93 1/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 60306 0 0 0 10595 230 0 0 25 0 1 0 21827274 174198784 34666 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42529 34666 364 364 0 42165 0
[pid=9361] vsize: 170116
Current children cumulated CPU time (s) 108.25
Current children cumulated vsize (Kb) 170116

[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 61154 0 0 0 11570 240 0 0 25 0 1 0 21827274 174198784 34692 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42529 34692 364 364 0 42165 0
[pid=9361] vsize: 170116
Current children cumulated CPU time (s) 118.1
Current children cumulated vsize (Kb) 170116

[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 61189 0 0 0 12545 249 0 0 25 0 1 0 21827274 174362624 34727 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42569 34727 364 364 0 42205 0
[pid=9361] vsize: 170276
Current children cumulated CPU time (s) 127.94
Current children cumulated vsize (Kb) 170276

[startup+140.005 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 62018 0 0 0 13523 258 0 0 25 0 1 0 21827274 174362624 34734 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42569 34734 364 364 0 42205 0
[pid=9361] vsize: 170276
Current children cumulated CPU time (s) 137.81
Current children cumulated vsize (Kb) 170276

[startup+150.005 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 62854 0 0 0 14506 264 0 0 25 0 1 0 21827274 174362624 34748 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42569 34748 364 364 0 42205 0
[pid=9361] vsize: 170276
Current children cumulated CPU time (s) 147.7
Current children cumulated vsize (Kb) 170276

[startup+160.005 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 63685 0 0 0 15481 274 0 0 25 0 1 0 21827274 174362624 34757 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42569 34757 364 364 0 42205 0
[pid=9361] vsize: 170276
Current children cumulated CPU time (s) 157.55
Current children cumulated vsize (Kb) 170276

[startup+170.006 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 63762 0 0 0 16457 282 0 0 25 0 1 0 21827274 174755840 34834 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42665 34834 364 364 0 42301 0
[pid=9361] vsize: 170660
Current children cumulated CPU time (s) 167.39
Current children cumulated vsize (Kb) 170660

[startup+180.005 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 64611 0 0 0 17433 291 0 0 25 0 1 0 21827274 174755840 34861 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42665 34861 364 364 0 42301 0
[pid=9361] vsize: 170660
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (Kb) 170660

[startup+190.006 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 65451 0 0 0 18412 300 0 0 25 0 1 0 21827274 174755840 34879 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42665 34879 364 364 0 42301 0
[pid=9361] vsize: 170660
Current children cumulated CPU time (s) 187.12
Current children cumulated vsize (Kb) 170660

[startup+200.006 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 66311 0 0 0 19389 310 0 0 25 0 1 0 21827274 174952448 34917 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42713 34917 364 364 0 42349 0
[pid=9361] vsize: 170852
Current children cumulated CPU time (s) 196.99
Current children cumulated vsize (Kb) 170852

[startup+210.006 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 66370 0 0 0 20372 315 0 0 25 0 1 0 21827274 175149056 34976 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42761 34976 364 364 0 42397 0
[pid=9361] vsize: 171044
Current children cumulated CPU time (s) 206.87
Current children cumulated vsize (Kb) 171044

[startup+220.006 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 66397 0 0 0 21355 322 0 0 25 0 1 0 21827274 175149056 35003 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42761 35003 364 364 0 42397 0
[pid=9361] vsize: 171044
Current children cumulated CPU time (s) 216.77
Current children cumulated vsize (Kb) 171044

[startup+230.005 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 67254 0 0 0 22338 328 0 0 25 0 1 0 21827274 175149056 35038 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42761 35038 364 364 0 42397 0
[pid=9361] vsize: 171044
Current children cumulated CPU time (s) 226.66
Current children cumulated vsize (Kb) 171044

[startup+240.006 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 67259 0 0 0 23318 335 0 0 25 0 1 0 21827274 175149056 35043 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42761 35043 364 364 0 42397 0
[pid=9361] vsize: 171044
Current children cumulated CPU time (s) 236.53
Current children cumulated vsize (Kb) 171044

[startup+250.007 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 67275 0 0 0 24296 344 0 0 25 0 1 0 21827274 175345664 35059 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42809 35059 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 246.4
Current children cumulated vsize (Kb) 171236

[startup+260.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 68112 0 0 0 25277 352 0 0 25 0 1 0 21827274 175345664 35074 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35074 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 256.29
Current children cumulated vsize (Kb) 171236

[startup+270.008 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 68961 0 0 0 26259 360 0 0 25 0 1 0 21827274 175345664 35101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35101 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 266.19
Current children cumulated vsize (Kb) 171236

[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9365
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69812 0 0 0 27243 367 0 0 25 0 1 0 21827274 175345664 35130 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35130 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 276.1
Current children cumulated vsize (Kb) 171236

[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69839 0 0 0 28222 375 0 0 25 0 1 0 21827274 175345664 35157 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42809 35157 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 285.97
Current children cumulated vsize (Kb) 171236

[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69865 0 0 0 29200 383 0 0 25 0 1 0 21827274 175345664 35183 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35183 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 295.83
Current children cumulated vsize (Kb) 171236

[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69883 0 0 0 30176 392 0 0 25 0 1 0 21827274 175345664 35201 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35201 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 305.68
Current children cumulated vsize (Kb) 171236

[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69898 0 0 0 31153 399 0 0 25 0 1 0 21827274 175345664 35216 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42809 35216 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 315.52
Current children cumulated vsize (Kb) 171236

[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 69915 0 0 0 32124 408 0 0 25 0 1 0 21827274 175345664 35233 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35233 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 325.32
Current children cumulated vsize (Kb) 171236

[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69936 0 0 0 33099 416 0 0 25 0 1 0 21827274 175345664 35254 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42809 35254 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 335.15
Current children cumulated vsize (Kb) 171236

[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69962 0 0 0 34075 424 0 0 25 0 1 0 21827274 175345664 35280 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42809 35280 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 344.99
Current children cumulated vsize (Kb) 171236

[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 69977 0 0 0 35050 432 0 0 25 0 1 0 21827274 175345664 35295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35295 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 354.82
Current children cumulated vsize (Kb) 171236

[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 69993 0 0 0 36024 441 0 0 25 0 1 0 21827274 175345664 35311 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35311 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 364.65
Current children cumulated vsize (Kb) 171236

[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 70009 0 0 0 36998 448 0 0 25 0 1 0 21827274 175345664 35327 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35327 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 374.46
Current children cumulated vsize (Kb) 171236

[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 70025 0 0 0 37977 455 0 0 25 0 1 0 21827274 175345664 35343 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42809 35343 364 364 0 42445 0
[pid=9361] vsize: 171236
Current children cumulated CPU time (s) 384.32
Current children cumulated vsize (Kb) 171236

[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 70179 0 0 0 38947 466 0 0 25 0 1 0 21827274 176054272 35497 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 42982 35497 364 364 0 42618 0
[pid=9361] vsize: 171928
Current children cumulated CPU time (s) 394.13
Current children cumulated vsize (Kb) 171928

[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71029 0 0 0 39927 475 0 0 25 0 1 0 21827274 176054272 35525 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 42982 35525 364 364 0 42618 0
[pid=9361] vsize: 171928
Current children cumulated CPU time (s) 404.02
Current children cumulated vsize (Kb) 171928

[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71101 0 0 0 40899 484 0 0 25 0 1 0 21827274 176447488 35597 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43078 35597 364 364 0 42714 0
[pid=9361] vsize: 172312
Current children cumulated CPU time (s) 413.83
Current children cumulated vsize (Kb) 172312

[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 71127 0 0 0 41872 493 0 0 25 0 1 0 21827274 176447488 35623 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43078 35623 364 364 0 42714 0
[pid=9361] vsize: 172312
Current children cumulated CPU time (s) 423.65
Current children cumulated vsize (Kb) 172312

[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 71143 0 0 0 42841 504 0 0 25 0 1 0 21827274 176447488 35639 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43078 35639 364 364 0 42714 0
[pid=9361] vsize: 172312
Current children cumulated CPU time (s) 433.45
Current children cumulated vsize (Kb) 172312

[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71159 0 0 0 43815 514 0 0 25 0 1 0 21827274 176447488 35655 4294967295 134512640 135987407 3221224560 3221223136 134892737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43078 35655 364 364 0 42714 0
[pid=9361] vsize: 172312
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (Kb) 172312

[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71183 0 0 0 44788 525 0 0 25 0 1 0 21827274 176447488 35679 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43078 35679 364 364 0 42714 0
[pid=9361] vsize: 172312
Current children cumulated CPU time (s) 453.13
Current children cumulated vsize (Kb) 172312

[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71302 0 0 0 45762 535 0 0 25 0 1 0 21827274 177000448 35798 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43213 35798 364 364 0 42849 0
[pid=9361] vsize: 172852
Current children cumulated CPU time (s) 462.97
Current children cumulated vsize (Kb) 172852

[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 71314 0 0 0 46734 545 0 0 25 0 1 0 21827274 177000448 35810 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43213 35810 364 364 0 42849 0
[pid=9361] vsize: 172852
Current children cumulated CPU time (s) 472.79
Current children cumulated vsize (Kb) 172852

[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 72152 0 0 0 47708 555 0 0 25 0 1 0 21827274 180367360 36648 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 44035 36648 364 364 0 43671 0
[pid=9361] vsize: 176140
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (Kb) 176140

[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 72158 0 0 0 48688 563 0 0 25 0 1 0 21827274 177147904 35832 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43249 35832 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 492.51
Current children cumulated vsize (Kb) 172996

[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 72168 0 0 0 49657 572 0 0 25 0 1 0 21827274 177147904 35842 4294967295 134512640 135987407 3221224560 3221223248 134812155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43249 35842 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 502.29
Current children cumulated vsize (Kb) 172996

[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 72184 0 0 0 50631 581 0 0 25 0 1 0 21827274 177147904 35858 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43249 35858 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 512.12
Current children cumulated vsize (Kb) 172996

[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 73012 0 0 0 51609 591 0 0 25 0 1 0 21827274 177147904 35864 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43249 35864 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 522
Current children cumulated vsize (Kb) 172996

[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 73838 0 0 0 52584 602 0 0 25 0 1 0 21827274 177147904 35868 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43249 35868 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 531.86
Current children cumulated vsize (Kb) 172996

[startup+550.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 74665 0 0 0 53564 610 0 0 25 0 1 0 21827274 177147904 35873 4294967295 134512640 135987407 3221224560 3221223020 135480788 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43249 35873 364 364 0 42885 0
[pid=9361] vsize: 172996
Current children cumulated CPU time (s) 541.74
Current children cumulated vsize (Kb) 172996

[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 75519 0 0 0 54541 619 0 0 25 0 1 0 21827274 180654080 36727 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 44105 36727 364 364 0 43741 0
[pid=9361] vsize: 176420
Current children cumulated CPU time (s) 551.6
Current children cumulated vsize (Kb) 176420

[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 75522 0 0 0 55518 628 0 0 25 0 1 0 21827274 177287168 35908 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43283 35908 364 364 0 42919 0
[pid=9361] vsize: 173132
Current children cumulated CPU time (s) 561.46
Current children cumulated vsize (Kb) 173132

[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 76347 0 0 0 56500 636 0 0 25 0 1 0 21827274 177287168 35911 4294967295 134512640 135987407 3221224560 3221223248 134811848 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43283 35911 364 364 0 42919 0
[pid=9361] vsize: 173132
Current children cumulated CPU time (s) 571.36
Current children cumulated vsize (Kb) 173132

[startup+590.014 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 77172 0 0 0 57474 646 0 0 25 0 1 0 21827274 177287168 35914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43283 35914 364 364 0 42919 0
[pid=9361] vsize: 173132
Current children cumulated CPU time (s) 581.2
Current children cumulated vsize (Kb) 173132

[startup+600.014 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 78002 0 0 0 58454 654 0 0 25 0 1 0 21827274 177287168 35922 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43283 35922 364 364 0 42919 0
[pid=9361] vsize: 173132
Current children cumulated CPU time (s) 591.08
Current children cumulated vsize (Kb) 173132

[startup+610.014 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 78031 0 0 0 59434 660 0 0 25 0 1 0 21827274 177459200 35951 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43325 35951 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 600.94
Current children cumulated vsize (Kb) 173300

[startup+620.014 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 78856 0 0 0 60410 671 0 0 25 0 1 0 21827274 177459200 35954 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43325 35954 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 173300

[startup+630.013 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 78861 0 0 0 61384 680 0 0 25 0 1 0 21827274 177459200 35959 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43325 35959 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 620.64
Current children cumulated vsize (Kb) 173300

[startup+640.013 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 79686 0 0 0 62362 690 0 0 25 0 1 0 21827274 177459200 35962 4294967295 134512640 135987407 3221224560 3221223380 135479919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43325 35962 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 630.52
Current children cumulated vsize (Kb) 173300

[startup+650.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 79690 0 0 0 63332 699 0 0 25 0 1 0 21827274 177459200 35966 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43325 35966 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 640.31
Current children cumulated vsize (Kb) 173300

[startup+660.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 80516 0 0 0 64312 707 0 0 25 0 1 0 21827274 177459200 35970 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43325 35970 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 650.19
Current children cumulated vsize (Kb) 173300

[startup+670.015 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 81343 0 0 0 65289 716 0 0 25 0 1 0 21827274 177459200 35975 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43325 35975 364 364 0 42961 0
[pid=9361] vsize: 173300
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 173300

[startup+680.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 81371 0 0 0 66268 724 0 0 25 0 1 0 21827274 177594368 36003 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43358 36003 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 669.92
Current children cumulated vsize (Kb) 173432

[startup+690.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 82196 0 0 0 67240 734 0 0 25 0 1 0 21827274 180961280 36828 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 44180 36828 364 364 0 43816 0
[pid=9361] vsize: 176720
Current children cumulated CPU time (s) 679.74
Current children cumulated vsize (Kb) 176720

[startup+700.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 82206 0 0 0 68220 740 0 0 25 0 1 0 21827274 177594368 36016 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43358 36016 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 689.6
Current children cumulated vsize (Kb) 173432

[startup+710.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 82210 0 0 0 69194 748 0 0 25 0 1 0 21827274 177594368 36020 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43358 36020 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 699.42
Current children cumulated vsize (Kb) 173432

[startup+720.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 83039 0 0 0 70168 759 0 0 25 0 1 0 21827274 177594368 36027 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43358 36027 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 709.27
Current children cumulated vsize (Kb) 173432

[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 83873 0 0 0 71141 768 0 0 25 0 1 0 21827274 177594368 36039 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43358 36039 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 719.09
Current children cumulated vsize (Kb) 173432

[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 84705 0 0 0 72119 776 0 0 25 0 1 0 21827274 177594368 36049 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43358 36049 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 728.95
Current children cumulated vsize (Kb) 173432

[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 84718 0 0 0 73094 785 0 0 25 0 1 0 21827274 177594368 36062 4294967295 134512640 135987407 3221224560 3221223200 134789455 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43358 36062 364 364 0 42994 0
[pid=9361] vsize: 173432
Current children cumulated CPU time (s) 738.79
Current children cumulated vsize (Kb) 173432

[startup+760.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 85563 0 0 0 74069 796 0 0 25 0 1 0 21827274 177745920 36085 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36085 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 748.65
Current children cumulated vsize (Kb) 173580

[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 86395 0 0 0 75047 805 0 0 25 0 1 0 21827274 177745920 36095 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36095 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 758.52
Current children cumulated vsize (Kb) 173580

[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 87230 0 0 0 76023 815 0 0 25 0 1 0 21827274 177745920 36108 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36108 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 768.38
Current children cumulated vsize (Kb) 173580

[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 87244 0 0 0 77002 821 0 0 25 0 1 0 21827274 177745920 36122 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36122 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 778.23
Current children cumulated vsize (Kb) 173580

[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 88085 0 0 0 77977 830 0 0 25 0 1 0 21827274 177745920 36141 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36141 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 788.07
Current children cumulated vsize (Kb) 173580

[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 88106 0 0 0 78954 839 0 0 25 0 1 0 21827274 177745920 36162 4294967295 134512640 135987407 3221224560 3221223408 134790082 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36162 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 797.93
Current children cumulated vsize (Kb) 173580

[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 88937 0 0 0 79936 847 0 0 25 0 1 0 21827274 177745920 36171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36171 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 807.83
Current children cumulated vsize (Kb) 173580

[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 89774 0 0 0 80914 856 0 0 25 0 1 0 21827274 177745920 36186 4294967295 134512640 135987407 3221224560 3221223248 134811852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43395 36186 364 364 0 43031 0
[pid=9361] vsize: 173580
Current children cumulated CPU time (s) 817.7
Current children cumulated vsize (Kb) 173580

[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 89791 0 0 0 81889 866 0 0 25 0 1 0 21827274 177872896 36203 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43426 36203 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 827.55
Current children cumulated vsize (Kb) 173704

[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 90629 0 0 0 82867 877 0 0 25 0 1 0 21827274 177872896 36219 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43426 36219 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 837.44
Current children cumulated vsize (Kb) 173704

[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 91466 0 0 0 83844 887 0 0 25 0 1 0 21827274 177872896 36234 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43426 36234 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 847.31
Current children cumulated vsize (Kb) 173704

[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 91483 0 0 0 84820 895 0 0 25 0 1 0 21827274 177872896 36251 4294967295 134512640 135987407 3221224560 3221223280 134813726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43426 36251 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 857.15
Current children cumulated vsize (Kb) 173704

[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 92317 0 0 0 85796 906 0 0 25 0 1 0 21827274 177872896 36263 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43426 36263 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 867.02
Current children cumulated vsize (Kb) 173704

[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 93152 0 0 0 86779 913 0 0 25 0 1 0 21827274 177872896 36276 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43426 36276 364 364 0 43062 0
[pid=9361] vsize: 173704
Current children cumulated CPU time (s) 876.92
Current children cumulated vsize (Kb) 173704

[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 93993 0 0 0 87757 921 0 0 25 0 1 0 21827274 178008064 36295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43459 36295 364 364 0 43095 0
[pid=9361] vsize: 173836
Current children cumulated CPU time (s) 886.78
Current children cumulated vsize (Kb) 173836

[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 94009 0 0 0 88729 931 0 0 25 0 1 0 21827274 178008064 36311 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43459 36311 364 364 0 43095 0
[pid=9361] vsize: 173836
Current children cumulated CPU time (s) 896.6
Current children cumulated vsize (Kb) 173836

[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 94848 0 0 0 89703 942 0 0 25 0 1 0 21827274 178008064 36328 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43459 36328 364 364 0 43095 0
[pid=9361] vsize: 173836
Current children cumulated CPU time (s) 906.45
Current children cumulated vsize (Kb) 173836

[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 95697 0 0 0 90681 951 0 0 25 0 1 0 21827274 178151424 36355 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43494 36355 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 916.32
Current children cumulated vsize (Kb) 173976

[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 96539 0 0 0 91657 960 0 0 25 0 1 0 21827274 178151424 36375 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43494 36375 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 926.17
Current children cumulated vsize (Kb) 173976

[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 96553 0 0 0 92633 968 0 0 25 0 1 0 21827274 178151424 36389 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43494 36389 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 936.01
Current children cumulated vsize (Kb) 173976

[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 97385 0 0 0 93615 975 0 0 25 0 1 0 21827274 178151424 36399 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43494 36399 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 945.9
Current children cumulated vsize (Kb) 173976

[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 98223 0 0 0 94589 985 0 0 25 0 1 0 21827274 178151424 36415 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43494 36415 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 955.74
Current children cumulated vsize (Kb) 173976

[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 98241 0 0 0 95564 994 0 0 25 0 1 0 21827274 178151424 36433 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43494 36433 364 364 0 43130 0
[pid=9361] vsize: 173976
Current children cumulated CPU time (s) 965.58
Current children cumulated vsize (Kb) 173976

[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 99077 0 0 0 96543 1003 0 0 25 0 1 0 21827274 178282496 36447 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43526 36447 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 975.46
Current children cumulated vsize (Kb) 174104

[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 99916 0 0 0 97519 1012 0 0 25 0 1 0 21827274 178282496 36464 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43526 36464 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 985.31
Current children cumulated vsize (Kb) 174104

[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 99931 0 0 0 98496 1020 0 0 25 0 1 0 21827274 178282496 36479 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43526 36479 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 995.16
Current children cumulated vsize (Kb) 174104

[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 100770 0 0 0 99473 1030 0 0 25 0 1 0 21827274 178282496 36496 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43526 36496 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 1005.03
Current children cumulated vsize (Kb) 174104

[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 101606 0 0 0 100453 1038 0 0 25 0 1 0 21827274 178282496 36510 4294967295 134512640 135987407 3221224560 3221223344 134812371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43526 36510 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 1014.91
Current children cumulated vsize (Kb) 174104

[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 102445 0 0 0 101430 1047 0 0 25 0 1 0 21827274 178282496 36527 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43526 36527 364 364 0 43162 0
[pid=9361] vsize: 174104
Current children cumulated CPU time (s) 1024.77
Current children cumulated vsize (Kb) 174104

[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 102465 0 0 0 102405 1056 0 0 25 0 1 0 21827274 178413568 36547 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43558 36547 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1034.61
Current children cumulated vsize (Kb) 174232

[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 103304 0 0 0 103381 1067 0 0 25 0 1 0 21827274 178413568 36564 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43558 36564 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1044.48
Current children cumulated vsize (Kb) 174232

[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 104144 0 0 0 104362 1075 0 0 25 0 1 0 21827274 178413568 36582 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43558 36582 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1054.37
Current children cumulated vsize (Kb) 174232

[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 104978 0 0 0 105340 1083 0 0 25 0 1 0 21827274 178413568 36594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43558 36594 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1064.23
Current children cumulated vsize (Kb) 174232

[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 104997 0 0 0 106319 1090 0 0 25 0 1 0 21827274 178413568 36613 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43558 36613 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1074.09
Current children cumulated vsize (Kb) 174232

[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 105828 0 0 0 107301 1097 0 0 25 0 1 0 21827274 178413568 36622 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43558 36622 364 364 0 43194 0
[pid=9361] vsize: 174232
Current children cumulated CPU time (s) 1083.98
Current children cumulated vsize (Kb) 174232

[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 105842 0 0 0 108274 1105 0 0 25 0 1 0 21827274 178544640 36636 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43590 36636 364 364 0 43226 0
[pid=9361] vsize: 174360
Current children cumulated CPU time (s) 1093.79
Current children cumulated vsize (Kb) 174360

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 106682 0 0 0 109253 1112 0 0 25 0 1 0 21827274 178544640 36654 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43590 36654 364 364 0 43226 0
[pid=9361] vsize: 174360
Current children cumulated CPU time (s) 1103.65
Current children cumulated vsize (Kb) 174360

[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 107523 0 0 0 110232 1120 0 0 25 0 1 0 21827274 178544640 36673 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43590 36673 364 364 0 43226 0
[pid=9361] vsize: 174360
Current children cumulated CPU time (s) 1113.52
Current children cumulated vsize (Kb) 174360

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 107550 0 0 0 111208 1129 0 0 25 0 1 0 21827274 178679808 36700 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36700 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1123.37
Current children cumulated vsize (Kb) 174492

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 108380 0 0 0 112189 1137 0 0 25 0 1 0 21827274 178679808 36708 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36708 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1133.26
Current children cumulated vsize (Kb) 174492

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 109216 0 0 0 113166 1147 0 0 25 0 1 0 21827274 178679808 36722 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36722 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1143.13
Current children cumulated vsize (Kb) 174492

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) T 9360 9361 4060 0 -1 0 109233 0 0 0 114143 1156 0 0 25 0 1 0 21827274 178679808 36739 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36739 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1152.99
Current children cumulated vsize (Kb) 174492

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 110062 0 0 0 115124 1164 0 0 25 0 1 0 21827274 178679808 36746 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36746 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1162.88
Current children cumulated vsize (Kb) 174492

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 110904 0 0 0 116098 1175 0 0 25 0 1 0 21827274 178679808 36766 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36766 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1172.73
Current children cumulated vsize (Kb) 174492

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 110922 0 0 0 117073 1183 0 0 25 0 1 0 21827274 178679808 36784 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9361/statm): 43623 36784 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1182.56
Current children cumulated vsize (Kb) 174492

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 111759 0 0 0 118050 1191 0 0 25 0 1 0 21827274 178679808 36799 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43623 36799 364 364 0 43259 0
[pid=9361] vsize: 174492
Current children cumulated CPU time (s) 1192.41
Current children cumulated vsize (Kb) 174492

[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 112596 0 0 0 119026 1202 0 0 25 0 1 0 21827274 178810880 36814 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43655 36814 364 364 0 43291 0
[pid=9361] vsize: 174620
Current children cumulated CPU time (s) 1202.28
Current children cumulated vsize (Kb) 174620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9367
Raw data (/proc/9361/stat): 9361 (pb2sat) R 9360 9361 4060 0 -1 0 112596 0 0 0 119026 1202 0 0 25 0 1 0 21827274 178810880 36814 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9361/statm): 43655 36814 364 364 0 43291 0
[pid=9361] vsize: 174620
Current children cumulated CPU time (s) 1202.28
Current children cumulated vsize (Kb) 174620

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

Child status: 0
Real time (s): 1220.73
CPU time (s): 1202.98
CPU user time (s): 1190.89
CPU system time (s): 12.0982
CPU usage (%): 98.5464
Max. virtual memory (cumulated for all children) (Kb): 176720

Verifier Data

ERROR: no interpretation found !