Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM6ffc4ed72f4dd993b121ae0a2045731e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 9505
Biggest coefficient in the objective function 697303040
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 66656504525
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 697303040
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 66656504525
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9535
Total number of constraints365
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint1
Maximum length of a constraint280

Trace number 10399

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 17:53:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9093 boxname=wulflinc29 idbench=889 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 9093
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916232 kB
Buffers:         12392 kB
Cached:          88656 kB
SwapCached:          0 kB
Active:          52376 kB
Inactive:        51596 kB
HighTotal:      131008 kB
HighFree:        42644 kB
LowTotal:       903652 kB
LowFree:        873588 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8772 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:13:53 (client local time) WITH STATUS 0 IN 1205.84 SECONDS
stats: 9093 7 1205.84 0

Solver Data

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

c Decision: 56855/360557	Time: 9.69453/86400
c Decision: 58474/360557	Time: 17.5783/86400
c Decision: 58484/360557	Time: 27.2679/86400
c Decision: 58601/360557	Time: 67.4817/86400
c Decision: 58601/360557	Time: 78.3301/86400
c Decision: 58601/360557	Time: 89.9823/86400
c Decision: 58607/360557	Time: 102.013/86400
c Decision: 58607/360557	Time: 111.885/86400
c Decision: 58621/360557	Time: 122.859/86400
c Decision: 58839/360557	Time: 139.831/86400
c Decision: 58865/360557	Time: 171.919/86400
c Decision: 58865/360557	Time: 181.332/86400
c Decision: 58881/360557	Time: 198.663/86400
c Decision: 59067/360557	Time: 231.19/86400
c Decision: 59076/360557	Time: 244.506/86400
c Decision: 59085/360557	Time: 259.869/86400
c Decision: 59085/360557	Time: 267.498/86400
c Decision: 59085/360557	Time: 273.667/86400
c Decision: 59085/360557	Time: 280.156/86400
c Decision: 59085/360557	Time: 287.388/86400
c Decision: 59085/360557	Time: 297.614/86400
c Decision: 59087/360557	Time: 308.395/86400
c Decision: 59087/360557	Time: 316.491/86400
c Decision: 59087/360557	Time: 323.932/86400
c Decision: 59117/360557	Time: 338.7/86400
c Decision: 59118/360557	Time: 352.353/86400
c Decision: 59118/360557	Time: 361.04/86400
c Decision: 59118/360557	Time: 369.565/86400
c Decision: 59118/360557	Time: 378.624/86400
c Decision: 59118/360557	Time: 387.802/86400
c Decision: 59118/360557	Time: 397.261/86400
c Decision: 59118/360557	Time: 405.354/86400
c Decision: 59118/360557	Time: 413.244/86400
c Decision: 59118/360557	Time: 420.889/86400
c Decision: 59118/360557	Time: 428.816/86400
c Decision: 59126/360557	Time: 441.554/86400
c Decision: 59137/360557	Time: 453.033/86400
c Decision: 59137/360557	Time: 462.085/86400
c Decision: 59137/360557	Time: 470.328/86400
c Decision: 59137/360557	Time: 478.574/86400
c Decision: 59161/360557	Time: 502.188/86400
c Decision: 59174/360557	Time: 522.619/86400
c Decision: 59174/360557	Time: 530.43/86400
c Decision: 59189/360557	Time: 543.277/86400
c Decision: 59189/360557	Time: 551.625/86400
c Decision: 59189/360557	Time: 561.525/86400
c Decision: 59191/360557	Time: 576.682/86400
c Decision: 59200/360557	Time: 591.412/86400
c Decision: 59200/360557	Time: 599.86/86400
c Decision: 59200/360557	Time: 608.64/86400
c Decision: 59200/360557	Time: 618.842/86400
c Decision: 59200/360557	Time: 628.031/86400
c Decision: 59200/360557	Time: 637.21/86400
c Decision: 59200/360557	Time: 646.378/86400
c Decision: 59200/360557	Time: 656.59/86400
c Decision: 59200/360557	Time: 666.784/86400
c Decision: 59200/360557	Time: 675.21/86400
c Decision: 59200/360557	Time: 683.796/86400
c Decision: 59200/360557	Time: 693.548/86400
c Decision: 59200/360557	Time: 702.057/86400
c Decision: 59200/360557	Time: 712.074/86400
c Decision: 59200/360557	Time: 726.244/86400
c Decision: 59214/360557	Time: 737.738/86400
c Decision: 59229/360557	Time: 763.066/86400
c Decision: 59229/360557	Time: 774.012/86400
c Decision: 59232/360557	Time: 791.408/86400
c Decision: 59232/360557	Time: 801.503/86400
c Decision: 59232/360557	Time: 812.535/86400
c Decision: 59234/360557	Time: 820.141/86400
c Decision: 59234/360557	Time: 828.711/86400
c Decision: 59241/360557	Time: 846.022/86400
c Decision: 59241/360557	Time: 857.645/86400
c Decision: 59241/360557	Time: 868.964/86400
c Decision: 59241/360557	Time: 877.66/86400
c Decision: 59241/360557	Time: 888.702/86400
c Decision: 59241/360557	Time: 900.855/86400
c Decision: 59244/360557	Time: 917.034/86400
c Decision: 59244/360557	Time: 926.116/86400
c Decision: 59256/360557	Time: 935.151/86400
c Decision: 59256/360557	Time: 944.723/86400
c Decision: 59268/360557	Time: 959.472/86400
c Decision: 59276/360557	Time: 981.245/86400
c Decision: 59276/360557	Time: 991.044/86400
c Decision: 59276/360557	Time: 1000.63/86400
c Decision: 59276/360557	Time: 1010/86400
c Decision: 59276/360557	Time: 1020.85/86400
c Decision: 59298/360557	Time: 1034.87/86400
c Decision: 59298/360557	Time: 1045.07/86400
c Decision: 59327/360557	Time: 1063.12/86400
c Decision: 59353/360557	Time: 1085.93/86400
c Decision: 59353/360557	Time: 1096.71/86400
c Decision: 59353/360557	Time: 1104.78/86400
c Decision: 59353/360557	Time: 1113.44/86400
c Decision: 59353/360557	Time: 1122.2/86400
c Decision: 59353/360557	Time: 1131.38/86400
c Decision: 59353/360557	Time: 1143.61/86400
c Decision: 59353/360557	Time: 1154.2/86400
c Decision: 59353/360557	Time: 1165.14/86400
c Decision: 59353/360557	Time: 1177.56/86400
c Decision: 59353/360557	Time: 1187.07/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/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22098115 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 373 2 364 364 0 9 0
[pid=10394] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-dcmulti.opb

[startup+10.0025 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 26814 0 0 0 931 66 0 0 25 0 1 0 22098115 80777216 15643 4294967295 134512640 135987407 3221224560 3221195672 135487954 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 19721 15643 364 364 0 19357 0
[pid=10394] vsize: 78884
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78884

[startup+20.0033 s]
Raw data (loadavg): 0.93 0.93 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 51575 0 0 0 1862 126 0 0 25 0 1 0 22098115 162549760 28511 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 39685 28511 364 364 0 39321 0
[pid=10394] vsize: 158740
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 158740

[startup+30.0051 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 52074 0 0 0 2852 130 0 0 25 0 1 0 22098115 164634624 29010 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 40194 29010 364 364 0 39830 0
[pid=10394] vsize: 160776
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 160776

[startup+40.0058 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 53528 0 0 0 3812 144 0 0 25 0 1 0 22098115 168280064 29759 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 41084 29759 364 364 0 40720 0
[pid=10394] vsize: 164336
Current children cumulated CPU time (s) 39.56
Current children cumulated vsize (Kb) 164336

[startup+50.0056 s]
Raw data (loadavg): 0.96 0.94 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 54721 0 0 0 4764 161 0 0 25 0 1 0 22098115 170307584 30247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 41579 30247 364 364 0 41215 0
[pid=10394] vsize: 166316
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (Kb) 166316

[startup+60.0054 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 55093 0 0 0 5723 175 0 0 25 0 1 0 22098115 172052480 30619 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42005 30619 364 364 0 41641 0
[pid=10394] vsize: 168020
Current children cumulated CPU time (s) 58.98
Current children cumulated vsize (Kb) 168020

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 55204 0 0 0 6669 192 0 0 25 0 1 0 22098115 172511232 30730 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42117 30730 364 364 0 41753 0
[pid=10394] vsize: 168468
Current children cumulated CPU time (s) 68.61
Current children cumulated vsize (Kb) 168468

[startup+80.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 55307 0 0 0 7612 211 0 0 25 0 1 0 22098115 172986368 30833 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42233 30833 364 364 0 41869 0
[pid=10394] vsize: 168932
Current children cumulated CPU time (s) 78.23
Current children cumulated vsize (Kb) 168932

[startup+90.0068 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 56056 0 0 0 8553 235 0 0 25 0 1 0 22098115 173150208 30877 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42273 30877 364 364 0 41909 0
[pid=10394] vsize: 169092
Current children cumulated CPU time (s) 87.88
Current children cumulated vsize (Kb) 169092

[startup+100.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 56919 0 0 0 9510 252 0 0 25 0 1 0 22098115 173842432 31035 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42442 31035 364 364 0 42078 0
[pid=10394] vsize: 169768
Current children cumulated CPU time (s) 97.62
Current children cumulated vsize (Kb) 169768

[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 57631 0 0 0 10456 269 0 0 25 0 1 0 22098115 173842432 31042 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42442 31042 364 364 0 42078 0
[pid=10394] vsize: 169768
Current children cumulated CPU time (s) 107.25
Current children cumulated vsize (Kb) 169768

[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 57672 0 0 0 11396 289 0 0 25 0 1 0 22098115 174170112 31083 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42522 31083 364 364 0 42158 0
[pid=10394] vsize: 170088
Current children cumulated CPU time (s) 116.85
Current children cumulated vsize (Kb) 170088

[startup+130.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 58409 0 0 0 12339 306 0 0 25 0 1 0 22098115 174333952 31115 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42562 31115 364 364 0 42198 0
[pid=10394] vsize: 170248
Current children cumulated CPU time (s) 126.45
Current children cumulated vsize (Kb) 170248

[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 59182 0 0 0 13287 323 0 0 25 0 1 0 22098115 174661632 31183 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42642 31183 364 364 0 42278 0
[pid=10394] vsize: 170568
Current children cumulated CPU time (s) 136.1
Current children cumulated vsize (Kb) 170568

[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 59970 0 0 0 14233 341 0 0 25 0 1 0 22098115 175022080 31266 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 42730 31266 364 364 0 42366 0
[pid=10394] vsize: 170920
Current children cumulated CPU time (s) 145.74
Current children cumulated vsize (Kb) 170920

[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 60090 0 0 0 15175 360 0 0 25 0 1 0 22098115 175513600 31386 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42850 31386 364 364 0 42486 0
[pid=10394] vsize: 171400
Current children cumulated CPU time (s) 155.35
Current children cumulated vsize (Kb) 171400

[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 60851 0 0 0 16117 381 0 0 25 0 1 0 22098115 175874048 31442 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42938 31442 364 364 0 42574 0
[pid=10394] vsize: 171752
Current children cumulated CPU time (s) 164.98
Current children cumulated vsize (Kb) 171752

[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 60880 0 0 0 17049 403 0 0 25 0 1 0 22098115 175874048 31471 4294967295 134512640 135987407 3221224560 3221223344 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42938 31471 364 364 0 42574 0
[pid=10394] vsize: 171752
Current children cumulated CPU time (s) 174.52
Current children cumulated vsize (Kb) 171752

[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 60911 0 0 0 17992 423 0 0 25 0 1 0 22098115 175874048 31502 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 42938 31502 364 364 0 42574 0
[pid=10394] vsize: 171752
Current children cumulated CPU time (s) 184.15
Current children cumulated vsize (Kb) 171752

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 61652 0 0 0 18939 442 0 0 25 0 1 0 22098115 176037888 31538 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 0 0 0
Raw data (/proc/10394/statm): 42978 31538 364 364 0 42614 0
[pid=10394] vsize: 171912
Current children cumulated CPU time (s) 193.81
Current children cumulated vsize (Kb) 171912

[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 62404 0 0 0 19879 462 0 0 25 0 1 0 22098115 176398336 31585 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43066 31585 364 364 0 42702 0
[pid=10394] vsize: 172264
Current children cumulated CPU time (s) 203.41
Current children cumulated vsize (Kb) 172264

[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 62420 0 0 0 20814 483 0 0 25 0 1 0 22098115 176398336 31601 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43066 31601 364 364 0 42702 0
[pid=10394] vsize: 172264
Current children cumulated CPU time (s) 212.97
Current children cumulated vsize (Kb) 172264

[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 63149 0 0 0 21750 506 0 0 25 0 1 0 22098115 176398336 31625 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43066 31625 364 364 0 42702 0
[pid=10394] vsize: 172264
Current children cumulated CPU time (s) 222.56
Current children cumulated vsize (Kb) 172264

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 63193 0 0 0 22681 528 0 0 25 0 1 0 22098115 176562176 31669 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43106 31669 364 364 0 42742 0
[pid=10394] vsize: 172424
Current children cumulated CPU time (s) 232.09
Current children cumulated vsize (Kb) 172424

[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 63254 0 0 0 23609 550 0 0 25 0 1 0 22098115 176758784 31730 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43154 31730 364 364 0 42790 0
[pid=10394] vsize: 172616
Current children cumulated CPU time (s) 241.59
Current children cumulated vsize (Kb) 172616

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 64048 0 0 0 24548 571 0 0 25 0 1 0 22098115 177152000 31819 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43250 31819 364 364 0 42886 0
[pid=10394] vsize: 173000
Current children cumulated CPU time (s) 251.19
Current children cumulated vsize (Kb) 173000

[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 64773 0 0 0 25479 598 0 0 25 0 1 0 22098115 180039680 32544 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43955 32544 364 364 0 43591 0
[pid=10394] vsize: 175820
Current children cumulated CPU time (s) 260.77
Current children cumulated vsize (Kb) 175820

[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 64804 0 0 0 26407 621 0 0 25 0 1 0 22098115 177152000 31870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43250 31870 364 364 0 42886 0
[pid=10394] vsize: 173000
Current children cumulated CPU time (s) 270.28
Current children cumulated vsize (Kb) 173000

[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 65525 0 0 0 27356 638 0 0 25 0 1 0 22098115 177315840 31886 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43290 31886 364 364 0 42926 0
[pid=10394] vsize: 173160
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (Kb) 173160

[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 66955 0 0 0 28313 654 0 0 25 0 1 0 22098115 180203520 32611 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43995 32611 364 364 0 43631 0
[pid=10394] vsize: 175980
Current children cumulated CPU time (s) 289.67
Current children cumulated vsize (Kb) 175980

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 67700 0 0 0 29262 674 0 0 25 0 1 0 22098115 177315840 31946 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43290 31946 364 364 0 42926 0
[pid=10394] vsize: 173160
Current children cumulated CPU time (s) 299.36
Current children cumulated vsize (Kb) 173160

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 68444 0 0 0 30209 693 0 0 25 0 1 0 22098115 177479680 31985 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43330 31985 364 364 0 42966 0
[pid=10394] vsize: 173320
Current children cumulated CPU time (s) 309.02
Current children cumulated vsize (Kb) 173320

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 69159 0 0 0 31165 708 0 0 25 0 1 0 22098115 177479680 31995 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43330 31995 364 364 0 42966 0
[pid=10394] vsize: 173320
Current children cumulated CPU time (s) 318.73
Current children cumulated vsize (Kb) 173320

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 69900 0 0 0 32111 727 0 0 25 0 1 0 22098115 177635328 32031 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43368 32031 364 364 0 43004 0
[pid=10394] vsize: 173472
Current children cumulated CPU time (s) 328.38
Current children cumulated vsize (Kb) 173472

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 70642 0 0 0 33046 750 0 0 25 0 1 0 22098115 177635328 32068 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43368 32068 364 364 0 43004 0
[pid=10394] vsize: 173472
Current children cumulated CPU time (s) 337.96
Current children cumulated vsize (Kb) 173472

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 71386 0 0 0 33979 772 0 0 25 0 1 0 22098115 177770496 32107 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43401 32107 364 364 0 43037 0
[pid=10394] vsize: 173604
Current children cumulated CPU time (s) 347.51
Current children cumulated vsize (Kb) 173604

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 72132 0 0 0 34917 793 0 0 25 0 1 0 22098115 177770496 32148 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43401 32148 364 364 0 43037 0
[pid=10394] vsize: 173604
Current children cumulated CPU time (s) 357.1
Current children cumulated vsize (Kb) 173604

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 72196 0 0 0 35862 811 0 0 25 0 1 0 22098115 177942528 32212 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43443 32212 364 364 0 43079 0
[pid=10394] vsize: 173772
Current children cumulated CPU time (s) 366.73
Current children cumulated vsize (Kb) 173772

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 72941 0 0 0 36806 831 0 0 25 0 1 0 22098115 178081792 32252 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43477 32252 364 364 0 43113 0
[pid=10394] vsize: 173908
Current children cumulated CPU time (s) 376.37
Current children cumulated vsize (Kb) 173908

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 74394 0 0 0 37752 850 0 0 25 0 1 0 22098115 181157888 33000 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44228 33000 364 364 0 43864 0
[pid=10394] vsize: 176912
Current children cumulated CPU time (s) 386.02
Current children cumulated vsize (Kb) 176912

[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 75117 0 0 0 38685 872 0 0 25 0 1 0 22098115 178270208 32313 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43523 32313 364 364 0 43159 0
[pid=10394] vsize: 174092
Current children cumulated CPU time (s) 395.57
Current children cumulated vsize (Kb) 174092

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10394
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 75849 0 0 0 39615 900 0 0 25 0 1 0 22098115 178270208 32340 4294967295 134512640 135987407 3221224560 3221223344 134812383 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43523 32340 364 364 0 43159 0
[pid=10394] vsize: 174092
Current children cumulated CPU time (s) 405.15
Current children cumulated vsize (Kb) 174092

[startup+430.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 10449
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 76573 0 0 0 40549 925 0 0 25 0 1 0 22098115 178270208 32359 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43523 32359 364 364 0 43159 0
[pid=10394] vsize: 174092
Current children cumulated CPU time (s) 414.74
Current children cumulated vsize (Kb) 174092

[startup+440.023 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 10449
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 77352 0 0 0 41492 943 0 0 25 0 1 0 22098115 178597888 32433 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43603 32433 364 364 0 43239 0
[pid=10394] vsize: 174412
Current children cumulated CPU time (s) 424.35
Current children cumulated vsize (Kb) 174412

[startup+450.023 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 10449
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 78095 0 0 0 42434 963 0 0 25 0 1 0 22098115 178733056 32471 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43636 32471 364 364 0 43272 0
[pid=10394] vsize: 174544
Current children cumulated CPU time (s) 433.97
Current children cumulated vsize (Kb) 174544

[startup+460.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 10449
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 78843 0 0 0 43373 987 0 0 25 0 1 0 22098115 178733056 32514 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43636 32514 364 364 0 43272 0
[pid=10394] vsize: 174544
Current children cumulated CPU time (s) 443.6
Current children cumulated vsize (Kb) 174544

[startup+470.025 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 10449
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 79573 0 0 0 44314 1007 0 0 25 0 1 0 22098115 178733056 32539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43636 32539 364 364 0 43272 0
[pid=10394] vsize: 174544
Current children cumulated CPU time (s) 453.21
Current children cumulated vsize (Kb) 174544

[startup+480.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/57 10451
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 80293 0 0 0 45256 1027 0 0 25 0 1 0 22098115 178868224 32554 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43669 32554 364 364 0 43305 0
[pid=10394] vsize: 174676
Current children cumulated CPU time (s) 462.83
Current children cumulated vsize (Kb) 174676

[startup+490.026 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 10451
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 81030 0 0 0 46192 1049 0 0 25 0 1 0 22098115 178868224 32586 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43669 32586 364 364 0 43305 0
[pid=10394] vsize: 174676
Current children cumulated CPU time (s) 472.41
Current children cumulated vsize (Kb) 174676

[startup+500.026 s]
Raw data (loadavg): 1.08 1.00 0.92 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 81763 0 0 0 47127 1075 0 0 25 0 1 0 22098115 178868224 32614 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43669 32614 364 364 0 43305 0
[pid=10394] vsize: 174676
Current children cumulated CPU time (s) 482.02
Current children cumulated vsize (Kb) 174676

[startup+510.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 82499 0 0 0 48071 1094 0 0 25 0 1 0 22098115 179023872 32645 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 43707 32645 364 364 0 43343 0
[pid=10394] vsize: 174828
Current children cumulated CPU time (s) 491.65
Current children cumulated vsize (Kb) 174828

[startup+520.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 83236 0 0 0 49010 1115 0 0 25 0 1 0 22098115 179023872 32677 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43707 32677 364 364 0 43343 0
[pid=10394] vsize: 174828
Current children cumulated CPU time (s) 501.25
Current children cumulated vsize (Kb) 174828

[startup+530.027 s]
Raw data (loadavg): 1.05 1.00 0.92 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 83286 0 0 0 49951 1134 0 0 25 0 1 0 22098115 179179520 32727 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43745 32727 364 364 0 43381 0
[pid=10394] vsize: 174980
Current children cumulated CPU time (s) 510.85
Current children cumulated vsize (Kb) 174980

[startup+540.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 84073 0 0 0 50916 1146 0 0 25 0 1 0 22098115 179376128 32809 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43793 32809 364 364 0 43429 0
[pid=10394] vsize: 175172
Current children cumulated CPU time (s) 520.62
Current children cumulated vsize (Kb) 175172

[startup+550.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 84082 0 0 0 51852 1169 0 0 25 0 1 0 22098115 179539968 32818 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43833 32818 364 364 0 43469 0
[pid=10394] vsize: 175332
Current children cumulated CPU time (s) 530.21
Current children cumulated vsize (Kb) 175332

[startup+560.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 84802 0 0 0 52793 1190 0 0 25 0 1 0 22098115 179539968 32833 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43833 32833 364 364 0 43469 0
[pid=10394] vsize: 175332
Current children cumulated CPU time (s) 539.83
Current children cumulated vsize (Kb) 175332

[startup+570.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 85539 0 0 0 53748 1205 0 0 25 0 1 0 22098115 179539968 32865 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43833 32865 364 364 0 43469 0
[pid=10394] vsize: 175332
Current children cumulated CPU time (s) 549.53
Current children cumulated vsize (Kb) 175332

[startup+580.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 86289 0 0 0 54688 1227 0 0 25 0 1 0 22098115 182562816 33615 4294967295 134512640 135987407 3221224560 3221222944 134829284 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 44571 33615 364 364 0 44207 0
[pid=10394] vsize: 178284
Current children cumulated CPU time (s) 559.15
Current children cumulated vsize (Kb) 178284

[startup+590.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 87018 0 0 0 55631 1248 0 0 25 0 1 0 22098115 179675136 32934 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43866 32934 364 364 0 43502 0
[pid=10394] vsize: 175464
Current children cumulated CPU time (s) 568.79
Current children cumulated vsize (Kb) 175464

[startup+600.031 s]
Raw data (loadavg): 1.01 1.00 0.92 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 87746 0 0 0 56574 1267 0 0 25 0 1 0 22098115 179675136 32957 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43866 32957 364 364 0 43502 0
[pid=10394] vsize: 175464
Current children cumulated CPU time (s) 578.41
Current children cumulated vsize (Kb) 175464

[startup+610.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 87776 0 0 0 57506 1289 0 0 25 0 1 0 22098115 179810304 32987 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43899 32987 364 364 0 43535 0
[pid=10394] vsize: 175596
Current children cumulated CPU time (s) 587.95
Current children cumulated vsize (Kb) 175596

[startup+620.031 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 88515 0 0 0 58448 1309 0 0 25 0 1 0 22098115 179953664 33021 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43934 33021 364 364 0 43570 0
[pid=10394] vsize: 175736
Current children cumulated CPU time (s) 597.57
Current children cumulated vsize (Kb) 175736

[startup+630.032 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 88543 0 0 0 59378 1333 0 0 25 0 1 0 22098115 179953664 33049 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43934 33049 364 364 0 43570 0
[pid=10394] vsize: 175736
Current children cumulated CPU time (s) 607.11
Current children cumulated vsize (Kb) 175736

[startup+640.033 s]
Raw data (loadavg): 1.06 1.01 0.93 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 89979 0 0 0 60325 1352 0 0 25 0 1 0 22098115 179953664 33075 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43934 33075 364 364 0 43570 0
[pid=10394] vsize: 175736
Current children cumulated CPU time (s) 616.77
Current children cumulated vsize (Kb) 175736

[startup+650.033 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 90716 0 0 0 61260 1375 0 0 25 0 1 0 22098115 180088832 33107 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43967 33107 364 364 0 43603 0
[pid=10394] vsize: 175868
Current children cumulated CPU time (s) 626.35
Current children cumulated vsize (Kb) 175868

[startup+660.034 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 91438 0 0 0 62209 1394 0 0 25 0 1 0 22098115 180088832 33124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43967 33124 364 364 0 43603 0
[pid=10394] vsize: 175868
Current children cumulated CPU time (s) 636.03
Current children cumulated vsize (Kb) 175868

[startup+670.033 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 92178 0 0 0 63152 1415 0 0 25 0 1 0 22098115 180088832 33159 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 43967 33159 364 364 0 43603 0
[pid=10394] vsize: 175868
Current children cumulated CPU time (s) 645.67
Current children cumulated vsize (Kb) 175868

[startup+680.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 92913 0 0 0 64086 1439 0 0 25 0 1 0 22098115 180285440 33189 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 44015 33189 364 364 0 43651 0
[pid=10394] vsize: 176060
Current children cumulated CPU time (s) 655.25
Current children cumulated vsize (Kb) 176060

[startup+690.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 93648 0 0 0 65025 1461 0 0 25 0 1 0 22098115 180285440 33219 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44015 33219 364 364 0 43651 0
[pid=10394] vsize: 176060
Current children cumulated CPU time (s) 664.86
Current children cumulated vsize (Kb) 176060

[startup+700.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 94445 0 0 0 65966 1483 0 0 25 0 1 0 22098115 180559872 33311 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44082 33311 364 364 0 43718 0
[pid=10394] vsize: 176328
Current children cumulated CPU time (s) 674.49
Current children cumulated vsize (Kb) 176328

[startup+710.036 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 95177 0 0 0 66917 1501 0 0 25 0 1 0 22098115 180748288 33338 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44128 33338 364 364 0 43764 0
[pid=10394] vsize: 176512
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (Kb) 176512

[startup+720.037 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 95888 0 0 0 67858 1522 0 0 25 0 1 0 22098115 180748288 33344 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44128 33344 364 364 0 43764 0
[pid=10394] vsize: 176512
Current children cumulated CPU time (s) 693.8
Current children cumulated vsize (Kb) 176512

[startup+730.038 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 96629 0 0 0 68794 1544 0 0 25 0 1 0 22098115 180748288 33380 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44128 33380 364 364 0 43764 0
[pid=10394] vsize: 176512
Current children cumulated CPU time (s) 703.38
Current children cumulated vsize (Kb) 176512

[startup+740.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 97358 0 0 0 69736 1563 0 0 25 0 1 0 22098115 180748288 33404 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44128 33404 364 364 0 43764 0
[pid=10394] vsize: 176512
Current children cumulated CPU time (s) 712.99
Current children cumulated vsize (Kb) 176512

[startup+750.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 98134 0 0 0 70676 1585 0 0 25 0 1 0 22098115 180932608 33475 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44173 33475 364 364 0 43809 0
[pid=10394] vsize: 176692
Current children cumulated CPU time (s) 722.61
Current children cumulated vsize (Kb) 176692

[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 98964 0 0 0 71631 1601 0 0 25 0 1 0 22098115 181506048 33600 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44313 33600 364 364 0 43949 0
[pid=10394] vsize: 177252
Current children cumulated CPU time (s) 732.32
Current children cumulated vsize (Kb) 177252

[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 99117 0 0 0 72576 1619 0 0 25 0 1 0 22098115 182104064 33753 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44459 33753 364 364 0 44095 0
[pid=10394] vsize: 177836
Current children cumulated CPU time (s) 741.95
Current children cumulated vsize (Kb) 177836

[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 99838 0 0 0 73506 1642 0 0 25 0 1 0 22098115 182300672 33769 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44507 33769 364 364 0 44143 0
[pid=10394] vsize: 178028
Current children cumulated CPU time (s) 751.48
Current children cumulated vsize (Kb) 178028

[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10455
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 100648 0 0 0 74446 1664 0 0 25 0 1 0 22098115 182677504 33874 4294967295 134512640 135987407 3221224560 3221223200 134778274 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 44599 33874 364 364 0 44235 0
[pid=10394] vsize: 178396
Current children cumulated CPU time (s) 761.1
Current children cumulated vsize (Kb) 178396

[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 100661 0 0 0 75373 1688 0 0 25 0 1 0 22098115 182677504 33887 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10394/statm): 44599 33887 364 364 0 44235 0
[pid=10394] vsize: 178396
Current children cumulated CPU time (s) 770.61
Current children cumulated vsize (Kb) 178396

[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 101394 0 0 0 76327 1704 0 0 25 0 1 0 22098115 182677504 33915 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44599 33915 364 364 0 44235 0
[pid=10394] vsize: 178396
Current children cumulated CPU time (s) 780.31
Current children cumulated vsize (Kb) 178396

[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 102122 0 0 0 77252 1729 0 0 25 0 1 0 22098115 185761792 34643 4294967295 134512640 135987407 3221224560 3221222944 134828886 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45352 34643 364 364 0 44988 0
[pid=10394] vsize: 181408
Current children cumulated CPU time (s) 789.81
Current children cumulated vsize (Kb) 181408

[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 102164 0 0 0 78201 1746 0 0 25 0 1 0 22098115 182874112 33980 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44647 33980 364 364 0 44283 0
[pid=10394] vsize: 178588
Current children cumulated CPU time (s) 799.47
Current children cumulated vsize (Kb) 178588

[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 102947 0 0 0 79157 1762 0 0 25 0 1 0 22098115 183205888 34058 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44728 34058 364 364 0 44364 0
[pid=10394] vsize: 178912
Current children cumulated CPU time (s) 809.19
Current children cumulated vsize (Kb) 178912

[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 103709 0 0 0 80112 1780 0 0 25 0 1 0 22098115 183537664 34115 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 44809 34115 364 364 0 44445 0
[pid=10394] vsize: 179236
Current children cumulated CPU time (s) 818.92
Current children cumulated vsize (Kb) 179236

[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 104639 0 0 0 81068 1794 0 0 25 0 1 0 22098115 187408384 35045 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45754 35045 364 364 0 45390 0
[pid=10394] vsize: 183016
Current children cumulated CPU time (s) 828.62
Current children cumulated vsize (Kb) 183016

[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 105371 0 0 0 82036 1807 0 0 25 0 1 0 22098115 184520704 34367 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45049 34367 364 364 0 44685 0
[pid=10394] vsize: 180196
Current children cumulated CPU time (s) 838.43
Current children cumulated vsize (Kb) 180196

[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 106096 0 0 0 82989 1825 0 0 25 0 1 0 22098115 184520704 34387 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45049 34387 364 364 0 44685 0
[pid=10394] vsize: 180196
Current children cumulated CPU time (s) 848.14
Current children cumulated vsize (Kb) 180196

[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 106122 0 0 0 83937 1841 0 0 25 0 1 0 22098115 184520704 34413 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45049 34413 364 364 0 44685 0
[pid=10394] vsize: 180196
Current children cumulated CPU time (s) 857.78
Current children cumulated vsize (Kb) 180196

[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 106832 0 0 0 84887 1859 0 0 25 0 1 0 22098115 184520704 34418 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45049 34418 364 364 0 44685 0
[pid=10394] vsize: 180196
Current children cumulated CPU time (s) 867.46
Current children cumulated vsize (Kb) 180196

[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 107567 0 0 0 85835 1877 0 0 25 0 1 0 22098115 184717312 34448 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45097 34448 364 364 0 44733 0
[pid=10394] vsize: 180388
Current children cumulated CPU time (s) 877.12
Current children cumulated vsize (Kb) 180388

[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 108291 0 0 0 86784 1894 0 0 25 0 1 0 22098115 184717312 34467 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45097 34467 364 364 0 44733 0
[pid=10394] vsize: 180388
Current children cumulated CPU time (s) 886.78
Current children cumulated vsize (Kb) 180388

[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 109027 0 0 0 87729 1914 0 0 25 0 1 0 22098115 184913920 34498 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45145 34498 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 896.43
Current children cumulated vsize (Kb) 180580

[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 109744 0 0 0 88678 1931 0 0 25 0 1 0 22098115 184913920 34510 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45145 34510 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 906.09
Current children cumulated vsize (Kb) 180580

[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 110461 0 0 0 89613 1953 0 0 25 0 1 0 22098115 187801600 35227 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45850 35227 364 364 0 45486 0
[pid=10394] vsize: 183400
Current children cumulated CPU time (s) 915.66
Current children cumulated vsize (Kb) 183400

[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 110465 0 0 0 90558 1968 0 0 25 0 1 0 22098115 184913920 34526 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45145 34526 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 925.26
Current children cumulated vsize (Kb) 180580

[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 111175 0 0 0 91499 1988 0 0 25 0 1 0 22098115 184913920 34531 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45145 34531 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 934.87
Current children cumulated vsize (Kb) 180580

[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 111905 0 0 0 92451 2006 0 0 25 0 1 0 22098115 184913920 34556 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45145 34556 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 944.57
Current children cumulated vsize (Kb) 180580

[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 112627 0 0 0 93405 2023 0 0 25 0 1 0 22098115 184913920 34573 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45145 34573 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 954.28
Current children cumulated vsize (Kb) 180580

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 113347 0 0 0 94352 2042 0 0 25 0 1 0 22098115 184913920 34588 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45145 34588 364 364 0 44781 0
[pid=10394] vsize: 180580
Current children cumulated CPU time (s) 963.94
Current children cumulated vsize (Kb) 180580

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 113410 0 0 0 95300 2058 0 0 25 0 1 0 22098115 185110528 34651 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45193 34651 364 364 0 44829 0
[pid=10394] vsize: 180772
Current children cumulated CPU time (s) 973.58
Current children cumulated vsize (Kb) 180772

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 114118 0 0 0 96261 2071 0 0 25 0 1 0 22098115 185110528 34654 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45193 34654 364 364 0 44829 0
[pid=10394] vsize: 180772
Current children cumulated CPU time (s) 983.32
Current children cumulated vsize (Kb) 180772

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 114307 0 0 0 97207 2088 0 0 25 0 1 0 22098115 186290176 34843 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45481 34843 364 364 0 45117 0
[pid=10394] vsize: 181924
Current children cumulated CPU time (s) 992.95
Current children cumulated vsize (Kb) 181924

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 115077 0 0 0 98154 2106 0 0 25 0 1 0 22098115 186683392 34908 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 34908 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1002.6
Current children cumulated vsize (Kb) 182308

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 115798 0 0 0 99105 2123 0 0 25 0 1 0 22098115 186683392 34924 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 34924 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1012.28
Current children cumulated vsize (Kb) 182308

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 116517 0 0 0 100049 2143 0 0 25 0 1 0 22098115 186683392 34938 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 34938 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1021.92
Current children cumulated vsize (Kb) 182308

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 117239 0 0 0 100998 2160 0 0 25 0 1 0 22098115 186683392 34955 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45577 34955 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1031.58
Current children cumulated vsize (Kb) 182308

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 117963 0 0 0 101960 2174 0 0 25 0 1 0 22098115 186683392 34974 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 34974 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1041.34
Current children cumulated vsize (Kb) 182308

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 118684 0 0 0 102902 2194 0 0 25 0 1 0 22098115 189571072 35695 4294967295 134512640 135987407 3221224560 3221222972 134827718 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 46282 35695 364 364 0 45918 0
[pid=10394] vsize: 185128
Current children cumulated CPU time (s) 1050.96
Current children cumulated vsize (Kb) 185128

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 118698 0 0 0 103847 2212 0 0 25 0 1 0 22098115 186683392 35004 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35004 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1060.59
Current children cumulated vsize (Kb) 182308

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 119417 0 0 0 104771 2241 0 0 17 0 1 0 22098115 186683392 35018 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35018 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 182308

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 120149 0 0 0 105702 2263 0 0 25 0 1 0 22098115 186683392 35045 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35045 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1079.65
Current children cumulated vsize (Kb) 182308

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 120169 0 0 0 106628 2287 0 0 25 0 1 0 22098115 186683392 35065 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35065 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1089.15
Current children cumulated vsize (Kb) 182308

[startup+1140.05 s]
Raw data (loadavg): 1.08 1.02 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 120190 0 0 0 107562 2308 0 0 25 0 1 0 22098115 186683392 35086 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45577 35086 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1098.7
Current children cumulated vsize (Kb) 182308

[startup+1150.05 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 120907 0 0 0 108509 2326 0 0 25 0 1 0 22098115 186683392 35098 4294967295 134512640 135987407 3221224560 3221223408 134790012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35098 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1108.35
Current children cumulated vsize (Kb) 182308

[startup+1160.05 s]
Raw data (loadavg): 1.06 1.01 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 121619 0 0 0 109463 2341 0 0 25 0 1 0 22098115 186683392 35105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35105 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1118.04
Current children cumulated vsize (Kb) 182308

[startup+1170.06 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 122330 0 0 0 110418 2359 0 0 25 0 1 0 22098115 186683392 35111 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45577 35111 364 364 0 45213 0
[pid=10394] vsize: 182308
Current children cumulated CPU time (s) 1127.77
Current children cumulated vsize (Kb) 182308

[startup+1180.06 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 123118 0 0 0 111373 2374 0 0 25 0 1 0 22098115 186880000 35194 4294967295 134512640 135987407 3221224560 3221223280 134813842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45625 35194 364 364 0 45261 0
[pid=10394] vsize: 182500
Current children cumulated CPU time (s) 1137.47
Current children cumulated vsize (Kb) 182500

[startup+1190.06 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 124554 0 0 0 112330 2391 0 0 25 0 1 0 22098115 189767680 35925 4294967295 134512640 135987407 3221224560 3221222944 134828895 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 46330 35925 364 364 0 45966 0
[pid=10394] vsize: 185320
Current children cumulated CPU time (s) 1147.21
Current children cumulated vsize (Kb) 185320

[startup+1200.06 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 124608 0 0 0 113278 2408 0 0 25 0 1 0 22098115 187076608 35274 4294967295 134512640 135987407 3221224560 3221223136 135486757 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45673 35274 364 364 0 45309 0
[pid=10394] vsize: 182692
Current children cumulated CPU time (s) 1156.86
Current children cumulated vsize (Kb) 182692

[startup+1210.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 125352 0 0 0 114236 2422 0 0 25 0 1 0 22098115 187273216 35313 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10394/statm): 45721 35313 364 364 0 45357 0
[pid=10394] vsize: 182884
Current children cumulated CPU time (s) 1166.58
Current children cumulated vsize (Kb) 182884

[startup+1220.06 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 126098 0 0 0 115180 2441 0 0 25 0 1 0 22098115 187469824 35354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45769 35354 364 364 0 45405 0
[pid=10394] vsize: 183076
Current children cumulated CPU time (s) 1176.21
Current children cumulated vsize (Kb) 183076

[startup+1230.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 126845 0 0 0 116126 2461 0 0 25 0 1 0 22098115 187666432 35396 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45817 35396 364 364 0 45453 0
[pid=10394] vsize: 183268
Current children cumulated CPU time (s) 1185.87
Current children cumulated vsize (Kb) 183268

[startup+1240.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) R 10393 10394 4005 0 -1 0 127564 0 0 0 117076 2477 0 0 25 0 1 0 22098115 187666432 35410 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45817 35410 364 364 0 45453 0
[pid=10394] vsize: 183268
Current children cumulated CPU time (s) 1195.53
Current children cumulated vsize (Kb) 183268

[startup+1250.06 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 128361 0 0 0 118032 2494 0 0 25 0 1 0 22098115 188059648 35502 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45913 35502 364 364 0 45549 0
[pid=10394] vsize: 183652
Current children cumulated CPU time (s) 1205.26
Current children cumulated vsize (Kb) 183652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.06 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 10457
Raw data (/proc/10394/stat): 10394 (pb2sat) T 10393 10394 4005 0 -1 0 128361 0 0 0 118032 2494 0 0 25 0 1 0 22098115 188059648 35502 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10394/statm): 45913 35502 364 364 0 45549 0
[pid=10394] vsize: 183652
Current children cumulated CPU time (s) 1205.26
Current children cumulated vsize (Kb) 183652

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

Child status: 0
Real time (s): 1250.64
CPU time (s): 1205.84
CPU user time (s): 1180.83
CPU system time (s): 25.0122
CPU usage (%): 96.4182
Max. virtual memory (cumulated for all children) (Kb): 185320

Verifier Data

ERROR: no interpretation found !