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/miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM098fe473d82d5f7d4121673eb775be76
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26015
Optimality of the best value was proved NO
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.18
Number of variables572
Total number of constraints716
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)644
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint1
Maximum length of a constraint518

Trace number 10018

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        934896 kB
Buffers:         12216 kB
Cached:          70608 kB
SwapCached:          0 kB
Active:          44200 kB
Inactive:        41536 kB
HighTotal:      131008 kB
HighFree:        56028 kB
LowTotal:       903652 kB
LowFree:        878868 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8452 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:37:02 (client local time) WITH STATUS 0 IN 1209.77 SECONDS
stats: 8709 7 1209.77 0

Solver Data

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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21576522 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 373 2 364 364 0 9 0
[pid=8961] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cracpb1.opb

[startup+10.0024 s]
Raw data (loadavg): 0.92 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 31221 0 0 0 926 70 0 0 25 0 1 0 21576522 96526336 20082 4294967295 134512640 135987407 3221224560 3221212964 135479926 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 23566 20082 364 364 0 23202 0
[pid=8961] vsize: 94264
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 94264

[startup+20.0033 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 58689 0 0 0 1871 124 0 0 25 0 1 0 21576522 175050752 36326 4294967295 134512640 135987407 3221224560 3221159500 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 42737 36326 364 364 0 42373 0
[pid=8961] vsize: 170948
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 170948

[startup+30.0041 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 99772 0 0 0 2778 214 0 0 25 0 1 0 21576522 335343616 55221 4294967295 134512640 135987407 3221224560 3221148144 134558820 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 81871 55221 364 364 0 81507 0
[pid=8961] vsize: 327484
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 327484

[startup+40.005 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 114416 0 0 0 3746 246 0 0 25 0 1 0 21576522 337641472 69617 4294967295 134512640 135987407 3221224560 3221221952 134616373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 82432 69617 364 364 0 82068 0
[pid=8961] vsize: 329728
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 329728

[startup+50.0058 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 121842 0 0 0 4725 265 0 0 25 0 1 0 21576522 359243776 74286 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 87706 74286 364 364 0 87342 0
[pid=8961] vsize: 350824
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 350824

[startup+60.0067 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 124748 0 0 0 5716 272 0 0 25 0 1 0 21576522 369885184 76290 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 90304 76290 364 364 0 89940 0
[pid=8961] vsize: 361216
Current children cumulated CPU time (s) 59.88
Current children cumulated vsize (Kb) 361216

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 127531 0 0 0 6706 278 0 0 25 0 1 0 21576522 379277312 77939 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 92597 77939 364 364 0 92233 0
[pid=8961] vsize: 370388
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 370388

[startup+80.0084 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 128850 0 0 0 7702 281 0 0 25 0 1 0 21576522 384577536 78896 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 93891 78896 364 364 0 93527 0
[pid=8961] vsize: 375564
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 375564

[startup+90.0093 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 129959 0 0 0 8696 284 0 0 25 0 1 0 21576522 388829184 79579 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 94929 79579 364 364 0 94565 0
[pid=8961] vsize: 379716
Current children cumulated CPU time (s) 89.8
Current children cumulated vsize (Kb) 379716

[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 130752 0 0 0 9692 287 0 0 25 0 1 0 21576522 391008256 80045 4294967295 134512640 135987407 3221224560 3221223424 134812940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 95461 80045 364 364 0 95097 0
[pid=8961] vsize: 381844
Current children cumulated CPU time (s) 99.79
Current children cumulated vsize (Kb) 381844

[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 131048 0 0 0 10689 289 0 0 25 0 1 0 21576522 391733248 80194 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 95638 80194 364 364 0 95274 0
[pid=8961] vsize: 382552
Current children cumulated CPU time (s) 109.78
Current children cumulated vsize (Kb) 382552

[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 131520 0 0 0 11685 291 0 0 25 0 1 0 21576522 393052160 80470 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 95960 80470 364 364 0 95596 0
[pid=8961] vsize: 383840
Current children cumulated CPU time (s) 119.76
Current children cumulated vsize (Kb) 383840

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 131815 0 0 0 12680 294 0 0 25 0 1 0 21576522 393842688 80634 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 96153 80634 364 364 0 95789 0
[pid=8961] vsize: 384612
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 384612

[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 131923 0 0 0 13678 295 0 0 25 0 1 0 21576522 393973760 80709 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 96185 80709 364 364 0 95821 0
[pid=8961] vsize: 384740
Current children cumulated CPU time (s) 139.73
Current children cumulated vsize (Kb) 384740

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 132173 0 0 0 14674 296 0 0 25 0 1 0 21576522 394764288 80828 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 96378 80828 364 364 0 96014 0
[pid=8961] vsize: 385512
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (Kb) 385512

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 132582 0 0 0 15671 298 0 0 25 0 1 0 21576522 395812864 80978 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 96634 80978 364 364 0 96270 0
[pid=8961] vsize: 386536
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 386536

[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 133076 0 0 0 16667 301 0 0 25 0 1 0 21576522 396861440 81212 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 96890 81212 364 364 0 96526 0
[pid=8961] vsize: 387560
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (Kb) 387560

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 134577 0 0 0 17662 305 0 0 25 0 1 0 21576522 400666624 81835 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 97819 81835 364 364 0 97455 0
[pid=8961] vsize: 391276
Current children cumulated CPU time (s) 179.67
Current children cumulated vsize (Kb) 391276

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 135086 0 0 0 18658 307 0 0 25 0 1 0 21576522 401977344 82020 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 98139 82020 364 364 0 97775 0
[pid=8961] vsize: 392556
Current children cumulated CPU time (s) 189.65
Current children cumulated vsize (Kb) 392556

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 135331 0 0 0 19656 307 0 0 25 0 1 0 21576522 402501632 82136 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 98267 82136 364 364 0 97903 0
[pid=8961] vsize: 393068
Current children cumulated CPU time (s) 199.63
Current children cumulated vsize (Kb) 393068

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 135719 0 0 0 20654 309 0 0 25 0 1 0 21576522 403550208 82266 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 98523 82266 364 364 0 98159 0
[pid=8961] vsize: 394092
Current children cumulated CPU time (s) 209.63
Current children cumulated vsize (Kb) 394092

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 136615 0 0 0 21650 311 0 0 25 0 1 0 21576522 406040576 82547 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 99131 82547 364 364 0 98767 0
[pid=8961] vsize: 396524
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 396524

[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 136876 0 0 0 22648 313 0 0 25 0 1 0 21576522 406827008 82613 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 99323 82613 364 364 0 98959 0
[pid=8961] vsize: 397292
Current children cumulated CPU time (s) 229.61
Current children cumulated vsize (Kb) 397292

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 136908 0 0 0 23646 314 0 0 25 0 1 0 21576522 406827008 82645 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 99323 82645 364 364 0 98959 0
[pid=8961] vsize: 397292
Current children cumulated CPU time (s) 239.6
Current children cumulated vsize (Kb) 397292

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 137396 0 0 0 24643 315 0 0 25 0 1 0 21576522 408137728 82810 4294967295 134512640 135987407 3221224560 3221223424 134812653 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 99643 82810 364 364 0 99279 0
[pid=8961] vsize: 398572
Current children cumulated CPU time (s) 249.58
Current children cumulated vsize (Kb) 398572

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 137863 0 0 0 25640 318 0 0 25 0 1 0 21576522 409858048 83114 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 100063 83114 364 364 0 99699 0
[pid=8961] vsize: 400252
Current children cumulated CPU time (s) 259.58
Current children cumulated vsize (Kb) 400252

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 138822 0 0 0 26636 320 0 0 25 0 1 0 21576522 412487680 83551 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 100705 83551 364 364 0 100341 0
[pid=8961] vsize: 402820
Current children cumulated CPU time (s) 269.56
Current children cumulated vsize (Kb) 402820

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 139057 0 0 0 27633 322 0 0 25 0 1 0 21576522 413147136 83687 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 100866 83687 364 364 0 100502 0
[pid=8961] vsize: 403464
Current children cumulated CPU time (s) 279.55
Current children cumulated vsize (Kb) 403464

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) T 8960 8961 4060 0 -1 0 139752 0 0 0 28629 325 0 0 25 0 1 0 21576522 415125504 84055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8961/statm): 101349 84055 364 364 0 100985 0
[pid=8961] vsize: 405396
Current children cumulated CPU time (s) 289.54
Current children cumulated vsize (Kb) 405396

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 141020 0 0 0 29624 328 0 0 25 0 1 0 21576522 418824192 84670 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 102252 84670 364 364 0 101888 0
[pid=8961] vsize: 409008
Current children cumulated CPU time (s) 299.52
Current children cumulated vsize (Kb) 409008

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 141558 0 0 0 30621 330 0 0 25 0 1 0 21576522 420413440 84948 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 102640 84948 364 364 0 102276 0
[pid=8961] vsize: 410560
Current children cumulated CPU time (s) 309.51
Current children cumulated vsize (Kb) 410560

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 141562 0 0 0 31619 331 0 0 25 0 1 0 21576522 420413440 84952 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 102640 84952 364 364 0 102276 0
[pid=8961] vsize: 410560
Current children cumulated CPU time (s) 319.5
Current children cumulated vsize (Kb) 410560

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 141583 0 0 0 32618 331 0 0 25 0 1 0 21576522 420413440 84973 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 102640 84973 364 364 0 102276 0
[pid=8961] vsize: 410560
Current children cumulated CPU time (s) 329.49
Current children cumulated vsize (Kb) 410560

[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 141921 0 0 0 33614 333 0 0 25 0 1 0 21576522 421462016 85052 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 102896 85052 364 364 0 102532 0
[pid=8961] vsize: 411584
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (Kb) 411584

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 142684 0 0 0 34610 335 0 0 25 0 1 0 21576522 423702528 85457 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103443 85457 364 364 0 103079 0
[pid=8961] vsize: 413772
Current children cumulated CPU time (s) 349.45
Current children cumulated vsize (Kb) 413772

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 142885 0 0 0 35607 337 0 0 25 0 1 0 21576522 424226816 85528 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103571 85528 364 364 0 103207 0
[pid=8961] vsize: 414284
Current children cumulated CPU time (s) 359.44
Current children cumulated vsize (Kb) 414284

[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 142998 0 0 0 36604 338 0 0 25 0 1 0 21576522 424488960 85576 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103635 85576 364 364 0 103271 0
[pid=8961] vsize: 414540
Current children cumulated CPU time (s) 369.42
Current children cumulated vsize (Kb) 414540

[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143426 0 0 0 37600 340 0 0 25 0 1 0 21576522 425668608 85712 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103923 85712 364 364 0 103559 0
[pid=8961] vsize: 415692
Current children cumulated CPU time (s) 379.4
Current children cumulated vsize (Kb) 415692

[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143427 0 0 0 38596 341 0 0 25 0 1 0 21576522 425668608 85713 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103923 85713 364 364 0 103559 0
[pid=8961] vsize: 415692
Current children cumulated CPU time (s) 389.37
Current children cumulated vsize (Kb) 415692

[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143430 0 0 0 39593 342 0 0 25 0 1 0 21576522 425668608 85716 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103923 85716 364 364 0 103559 0
[pid=8961] vsize: 415692
Current children cumulated CPU time (s) 399.35
Current children cumulated vsize (Kb) 415692

[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143559 0 0 0 40591 343 0 0 25 0 1 0 21576522 425930752 85780 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103987 85780 364 364 0 103623 0
[pid=8961] vsize: 415948
Current children cumulated CPU time (s) 409.34
Current children cumulated vsize (Kb) 415948

[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143637 0 0 0 41590 343 0 0 25 0 1 0 21576522 425930752 85858 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 103987 85858 364 364 0 103623 0
[pid=8961] vsize: 415948
Current children cumulated CPU time (s) 419.33
Current children cumulated vsize (Kb) 415948

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 143870 0 0 0 42588 344 0 0 25 0 1 0 21576522 426455040 85962 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 104115 85962 364 364 0 103751 0
[pid=8961] vsize: 416460
Current children cumulated CPU time (s) 429.32
Current children cumulated vsize (Kb) 416460

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 144077 0 0 0 43586 346 0 0 25 0 1 0 21576522 426979328 86040 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 104243 86040 364 364 0 103879 0
[pid=8961] vsize: 416972
Current children cumulated CPU time (s) 439.32
Current children cumulated vsize (Kb) 416972

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 144991 0 0 0 44583 347 0 0 25 0 1 0 21576522 429076480 86438 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 104755 86438 364 364 0 104391 0
[pid=8961] vsize: 419020
Current children cumulated CPU time (s) 449.3
Current children cumulated vsize (Kb) 419020

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 145544 0 0 0 45579 349 0 0 25 0 1 0 21576522 430387200 86668 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 105075 86668 364 364 0 104711 0
[pid=8961] vsize: 420300
Current children cumulated CPU time (s) 459.28
Current children cumulated vsize (Kb) 420300

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 145650 0 0 0 46576 351 0 0 25 0 1 0 21576522 430649344 86709 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 105139 86709 364 364 0 104775 0
[pid=8961] vsize: 420556
Current children cumulated CPU time (s) 469.27
Current children cumulated vsize (Kb) 420556

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 145881 0 0 0 47574 352 0 0 25 0 1 0 21576522 431173632 86811 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 105267 86811 364 364 0 104903 0
[pid=8961] vsize: 421068
Current children cumulated CPU time (s) 479.26
Current children cumulated vsize (Kb) 421068

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 146028 0 0 0 48571 353 0 0 25 0 1 0 21576522 431435776 86893 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 105331 86893 364 364 0 104967 0
[pid=8961] vsize: 421324
Current children cumulated CPU time (s) 489.24
Current children cumulated vsize (Kb) 421324

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 146652 0 0 0 49567 356 0 0 25 0 1 0 21576522 433008640 87128 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 105715 87128 364 364 0 105351 0
[pid=8961] vsize: 422860
Current children cumulated CPU time (s) 499.23
Current children cumulated vsize (Kb) 422860

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 147578 0 0 0 50563 359 0 0 25 0 1 0 21576522 435367936 87474 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106291 87474 364 364 0 105927 0
[pid=8961] vsize: 425164
Current children cumulated CPU time (s) 509.22
Current children cumulated vsize (Kb) 425164

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 147867 0 0 0 51561 360 0 0 25 0 1 0 21576522 436158464 87633 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106484 87633 364 364 0 106120 0
[pid=8961] vsize: 425936
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 425936

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 147974 0 0 0 52558 361 0 0 25 0 1 0 21576522 436420608 87675 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106548 87675 364 364 0 106184 0
[pid=8961] vsize: 426192
Current children cumulated CPU time (s) 529.19
Current children cumulated vsize (Kb) 426192

[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 147989 0 0 0 53553 362 0 0 25 0 1 0 21576522 436420608 87690 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106548 87690 364 364 0 106184 0
[pid=8961] vsize: 426192
Current children cumulated CPU time (s) 539.15
Current children cumulated vsize (Kb) 426192

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 148262 0 0 0 54548 364 0 0 25 0 1 0 21576522 437211136 87833 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106741 87833 364 364 0 106377 0
[pid=8961] vsize: 426964
Current children cumulated CPU time (s) 549.12
Current children cumulated vsize (Kb) 426964

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 148441 0 0 0 55545 365 0 0 25 0 1 0 21576522 437735424 87882 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106869 87882 364 364 0 106505 0
[pid=8961] vsize: 427476
Current children cumulated CPU time (s) 559.1
Current children cumulated vsize (Kb) 427476

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 148445 0 0 0 56542 366 0 0 25 0 1 0 21576522 437735424 87886 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106869 87886 364 364 0 106505 0
[pid=8961] vsize: 427476
Current children cumulated CPU time (s) 569.08
Current children cumulated vsize (Kb) 427476

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 148448 0 0 0 57539 367 0 0 25 0 1 0 21576522 437735424 87889 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106869 87889 364 364 0 106505 0
[pid=8961] vsize: 427476
Current children cumulated CPU time (s) 579.06
Current children cumulated vsize (Kb) 427476

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 148459 0 0 0 58536 368 0 0 25 0 1 0 21576522 437735424 87900 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 106869 87900 364 364 0 106505 0
[pid=8961] vsize: 427476
Current children cumulated CPU time (s) 589.04
Current children cumulated vsize (Kb) 427476

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 149502 0 0 0 59532 372 0 0 25 0 1 0 21576522 440094720 88361 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 107445 88361 364 364 0 107081 0
[pid=8961] vsize: 429780
Current children cumulated CPU time (s) 599.04
Current children cumulated vsize (Kb) 429780

[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 149733 0 0 0 60529 373 0 0 25 0 1 0 21576522 440619008 88463 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 107573 88463 364 364 0 107209 0
[pid=8961] vsize: 430292
Current children cumulated CPU time (s) 609.02
Current children cumulated vsize (Kb) 430292

[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 149864 0 0 0 61525 374 0 0 25 0 1 0 21576522 440881152 88529 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 107637 88529 364 364 0 107273 0
[pid=8961] vsize: 430548
Current children cumulated CPU time (s) 618.99
Current children cumulated vsize (Kb) 430548

[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 150475 0 0 0 62521 376 0 0 25 0 1 0 21576522 442454016 88752 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108021 88752 364 364 0 107657 0
[pid=8961] vsize: 432084
Current children cumulated CPU time (s) 628.97
Current children cumulated vsize (Kb) 432084

[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 150482 0 0 0 63519 377 0 0 25 0 1 0 21576522 442454016 88759 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108021 88759 364 364 0 107657 0
[pid=8961] vsize: 432084
Current children cumulated CPU time (s) 638.96
Current children cumulated vsize (Kb) 432084

[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 150600 0 0 0 64516 378 0 0 25 0 1 0 21576522 442454016 88877 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108021 88877 364 364 0 107657 0
[pid=8961] vsize: 432084
Current children cumulated CPU time (s) 648.94
Current children cumulated vsize (Kb) 432084

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 150601 0 0 0 65515 379 0 0 25 0 1 0 21576522 442454016 88878 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108021 88878 364 364 0 107657 0
[pid=8961] vsize: 432084
Current children cumulated CPU time (s) 658.94
Current children cumulated vsize (Kb) 432084

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 150706 0 0 0 66512 380 0 0 25 0 1 0 21576522 442716160 88918 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108085 88918 364 364 0 107721 0
[pid=8961] vsize: 432340
Current children cumulated CPU time (s) 668.92
Current children cumulated vsize (Kb) 432340

[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151393 0 0 0 67509 382 0 0 25 0 1 0 21576522 444551168 89153 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108533 89153 364 364 0 108169 0
[pid=8961] vsize: 434132
Current children cumulated CPU time (s) 678.91
Current children cumulated vsize (Kb) 434132

[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151632 0 0 0 68507 383 0 0 25 0 1 0 21576522 445075456 89263 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108661 89263 364 364 0 108297 0
[pid=8961] vsize: 434644
Current children cumulated CPU time (s) 688.9
Current children cumulated vsize (Kb) 434644

[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151672 0 0 0 69505 384 0 0 25 0 1 0 21576522 445075456 89303 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108661 89303 364 364 0 108297 0
[pid=8961] vsize: 434644
Current children cumulated CPU time (s) 698.89
Current children cumulated vsize (Kb) 434644

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151931 0 0 0 70503 384 0 0 25 0 1 0 21576522 445599744 89433 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108789 89433 364 364 0 108425 0
[pid=8961] vsize: 435156
Current children cumulated CPU time (s) 708.87
Current children cumulated vsize (Kb) 435156

[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151938 0 0 0 71500 386 0 0 25 0 1 0 21576522 445599744 89440 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108789 89440 364 364 0 108425 0
[pid=8961] vsize: 435156
Current children cumulated CPU time (s) 718.86
Current children cumulated vsize (Kb) 435156

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151947 0 0 0 72498 386 0 0 25 0 1 0 21576522 445599744 89449 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108789 89449 364 364 0 108425 0
[pid=8961] vsize: 435156
Current children cumulated CPU time (s) 728.84
Current children cumulated vsize (Kb) 435156

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 151948 0 0 0 73496 387 0 0 25 0 1 0 21576522 445599744 89450 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 108789 89450 364 364 0 108425 0
[pid=8961] vsize: 435156
Current children cumulated CPU time (s) 738.83
Current children cumulated vsize (Kb) 435156

[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 152523 0 0 0 74493 389 0 0 25 0 1 0 21576522 446648320 89767 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109045 89767 364 364 0 108681 0
[pid=8961] vsize: 436180
Current children cumulated CPU time (s) 748.82
Current children cumulated vsize (Kb) 436180

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 152541 0 0 0 75491 390 0 0 25 0 1 0 21576522 446648320 89785 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109045 89785 364 364 0 108681 0
[pid=8961] vsize: 436180
Current children cumulated CPU time (s) 758.81
Current children cumulated vsize (Kb) 436180

[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 153050 0 0 0 76490 391 0 0 25 0 1 0 21576522 447696896 90036 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109301 90036 364 364 0 108937 0
[pid=8961] vsize: 437204
Current children cumulated CPU time (s) 768.81
Current children cumulated vsize (Kb) 437204

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 153497 0 0 0 77486 393 0 0 25 0 1 0 21576522 448880640 90255 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109590 90255 364 364 0 109226 0
[pid=8961] vsize: 438360
Current children cumulated CPU time (s) 778.79
Current children cumulated vsize (Kb) 438360

[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 153959 0 0 0 78485 394 0 0 25 0 1 0 21576522 449929216 90459 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109846 90459 364 364 0 109482 0
[pid=8961] vsize: 439384
Current children cumulated CPU time (s) 788.79
Current children cumulated vsize (Kb) 439384

[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 153960 0 0 0 79482 395 0 0 25 0 1 0 21576522 449929216 90460 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109846 90460 364 364 0 109482 0
[pid=8961] vsize: 439384
Current children cumulated CPU time (s) 798.77
Current children cumulated vsize (Kb) 439384

[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) T 8960 8961 4060 0 -1 0 153962 0 0 0 80480 396 0 0 25 0 1 0 21576522 449929216 90462 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109846 90462 364 364 0 109482 0
[pid=8961] vsize: 439384
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 439384

[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 153964 0 0 0 81477 398 0 0 25 0 1 0 21576522 449929216 90464 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109846 90464 364 364 0 109482 0
[pid=8961] vsize: 439384
Current children cumulated CPU time (s) 818.75
Current children cumulated vsize (Kb) 439384

[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 154183 0 0 0 82474 399 0 0 25 0 1 0 21576522 450453504 90554 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 109974 90554 364 364 0 109610 0
[pid=8961] vsize: 439896
Current children cumulated CPU time (s) 828.73
Current children cumulated vsize (Kb) 439896

[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155066 0 0 0 83468 402 0 0 25 0 1 0 21576522 454184960 91239 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 110885 91239 364 364 0 110521 0
[pid=8961] vsize: 443540
Current children cumulated CPU time (s) 838.7
Current children cumulated vsize (Kb) 443540

[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155293 0 0 0 84466 403 0 0 25 0 1 0 21576522 454709248 91336 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111013 91336 364 364 0 110649 0
[pid=8961] vsize: 444052
Current children cumulated CPU time (s) 848.69
Current children cumulated vsize (Kb) 444052

[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155370 0 0 0 85464 404 0 0 25 0 1 0 21576522 454971392 91348 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91348 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 858.68
Current children cumulated vsize (Kb) 444308

[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155371 0 0 0 86461 405 0 0 25 0 1 0 21576522 454971392 91349 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91349 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 868.66
Current children cumulated vsize (Kb) 444308

[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155372 0 0 0 87459 407 0 0 25 0 1 0 21576522 454971392 91350 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91350 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 878.66
Current children cumulated vsize (Kb) 444308

[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155374 0 0 0 88456 408 0 0 25 0 1 0 21576522 454971392 91352 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91352 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 888.64
Current children cumulated vsize (Kb) 444308

[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155409 0 0 0 89454 408 0 0 25 0 1 0 21576522 454971392 91387 4294967295 134512640 135987407 3221224560 3221223344 134812325 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91387 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 898.62
Current children cumulated vsize (Kb) 444308

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155410 0 0 0 90452 409 0 0 25 0 1 0 21576522 454971392 91388 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91388 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 908.61
Current children cumulated vsize (Kb) 444308

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155412 0 0 0 91449 411 0 0 25 0 1 0 21576522 454971392 91390 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91390 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 918.6
Current children cumulated vsize (Kb) 444308

[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155495 0 0 0 92446 412 0 0 25 0 1 0 21576522 454971392 91473 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111077 91473 364 364 0 110713 0
[pid=8961] vsize: 444308
Current children cumulated CPU time (s) 928.58
Current children cumulated vsize (Kb) 444308

[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155670 0 0 0 93444 413 0 0 25 0 1 0 21576522 455495680 91519 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111205 91519 364 364 0 110841 0
[pid=8961] vsize: 444820
Current children cumulated CPU time (s) 938.57
Current children cumulated vsize (Kb) 444820

[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 155966 0 0 0 94440 415 0 0 25 0 1 0 21576522 456282112 91621 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111397 91621 364 364 0 111033 0
[pid=8961] vsize: 445588
Current children cumulated CPU time (s) 948.55
Current children cumulated vsize (Kb) 445588

[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156055 0 0 0 95437 416 0 0 25 0 1 0 21576522 456544256 91645 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111461 91645 364 364 0 111097 0
[pid=8961] vsize: 445844
Current children cumulated CPU time (s) 958.53
Current children cumulated vsize (Kb) 445844

[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156056 0 0 0 96434 417 0 0 25 0 1 0 21576522 456544256 91646 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111461 91646 364 364 0 111097 0
[pid=8961] vsize: 445844
Current children cumulated CPU time (s) 968.51
Current children cumulated vsize (Kb) 445844

[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156057 0 0 0 97430 418 0 0 25 0 1 0 21576522 456544256 91647 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111461 91647 364 364 0 111097 0
[pid=8961] vsize: 445844
Current children cumulated CPU time (s) 978.48
Current children cumulated vsize (Kb) 445844

[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156069 0 0 0 98428 419 0 0 25 0 1 0 21576522 456544256 91659 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111461 91659 364 364 0 111097 0
[pid=8961] vsize: 445844
Current children cumulated CPU time (s) 988.47
Current children cumulated vsize (Kb) 445844

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156145 0 0 0 99425 420 0 0 25 0 1 0 21576522 456544256 91735 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111461 91735 364 364 0 111097 0
[pid=8961] vsize: 445844
Current children cumulated CPU time (s) 998.45
Current children cumulated vsize (Kb) 445844

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156910 0 0 0 100420 423 0 0 25 0 1 0 21576522 458641408 91985 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111973 91985 364 364 0 111609 0
[pid=8961] vsize: 447892
Current children cumulated CPU time (s) 1008.43
Current children cumulated vsize (Kb) 447892

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156911 0 0 0 101418 424 0 0 25 0 1 0 21576522 458641408 91986 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111973 91986 364 364 0 111609 0
[pid=8961] vsize: 447892
Current children cumulated CPU time (s) 1018.42
Current children cumulated vsize (Kb) 447892

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 156978 0 0 0 102415 425 0 0 25 0 1 0 21576522 458641408 92053 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8961/statm): 111973 92053 364 364 0 111609 0
[pid=8961] vsize: 447892
Current children cumulated CPU time (s) 1028.4
Current children cumulated vsize (Kb) 447892

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157127 0 0 0 103413 426 0 0 25 0 1 0 21576522 459165696 92073 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112101 92073 364 364 0 111737 0
[pid=8961] vsize: 448404
Current children cumulated CPU time (s) 1038.39
Current children cumulated vsize (Kb) 448404

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157128 0 0 0 104411 427 0 0 25 0 1 0 21576522 459165696 92074 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112101 92074 364 364 0 111737 0
[pid=8961] vsize: 448404
Current children cumulated CPU time (s) 1048.38
Current children cumulated vsize (Kb) 448404

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157129 0 0 0 105409 427 0 0 25 0 1 0 21576522 459165696 92075 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112101 92075 364 364 0 111737 0
[pid=8961] vsize: 448404
Current children cumulated CPU time (s) 1058.36
Current children cumulated vsize (Kb) 448404

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157285 0 0 0 106406 428 0 0 25 0 1 0 21576522 459689984 92102 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112229 92102 364 364 0 111865 0
[pid=8961] vsize: 448916
Current children cumulated CPU time (s) 1068.34
Current children cumulated vsize (Kb) 448916

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157431 0 0 0 107403 429 0 0 25 0 1 0 21576522 460087296 92215 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112326 92215 364 364 0 111962 0
[pid=8961] vsize: 449304
Current children cumulated CPU time (s) 1078.32
Current children cumulated vsize (Kb) 449304

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 157998 0 0 0 108400 431 0 0 25 0 1 0 21576522 461660160 92393 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112710 92393 364 364 0 112346 0
[pid=8961] vsize: 450840
Current children cumulated CPU time (s) 1088.31
Current children cumulated vsize (Kb) 450840

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 158214 0 0 0 109397 432 0 0 25 0 1 0 21576522 462184448 92480 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 112838 92480 364 364 0 112474 0
[pid=8961] vsize: 451352
Current children cumulated CPU time (s) 1098.29
Current children cumulated vsize (Kb) 451352

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 158950 0 0 0 110393 434 0 0 25 0 1 0 21576522 464293888 92891 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113353 92891 364 364 0 112989 0
[pid=8961] vsize: 453412
Current children cumulated CPU time (s) 1108.27
Current children cumulated vsize (Kb) 453412

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159154 0 0 0 111391 435 0 0 25 0 1 0 21576522 464818176 92966 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113481 92966 364 364 0 113117 0
[pid=8961] vsize: 453924
Current children cumulated CPU time (s) 1118.26
Current children cumulated vsize (Kb) 453924

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159156 0 0 0 112387 436 0 0 25 0 1 0 21576522 464818176 92968 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113481 92968 364 364 0 113117 0
[pid=8961] vsize: 453924
Current children cumulated CPU time (s) 1128.23
Current children cumulated vsize (Kb) 453924

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159157 0 0 0 113385 438 0 0 25 0 1 0 21576522 464818176 92969 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113481 92969 364 364 0 113117 0
[pid=8961] vsize: 453924
Current children cumulated CPU time (s) 1138.23
Current children cumulated vsize (Kb) 453924

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159159 0 0 0 114382 439 0 0 25 0 1 0 21576522 464818176 92971 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113481 92971 364 364 0 113117 0
[pid=8961] vsize: 453924
Current children cumulated CPU time (s) 1148.21
Current children cumulated vsize (Kb) 453924

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159332 0 0 0 115379 439 0 0 25 0 1 0 21576522 465342464 93015 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113609 93015 364 364 0 113245 0
[pid=8961] vsize: 454436
Current children cumulated CPU time (s) 1158.18
Current children cumulated vsize (Kb) 454436

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159334 0 0 0 116377 441 0 0 25 0 1 0 21576522 465342464 93017 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113609 93017 364 364 0 113245 0
[pid=8961] vsize: 454436
Current children cumulated CPU time (s) 1168.18
Current children cumulated vsize (Kb) 454436

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159387 0 0 0 117374 442 0 0 25 0 1 0 21576522 465473536 93037 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113641 93037 364 364 0 113277 0
[pid=8961] vsize: 454564
Current children cumulated CPU time (s) 1178.16
Current children cumulated vsize (Kb) 454564

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159731 0 0 0 118371 444 0 0 25 0 1 0 21576522 466522112 93123 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113897 93123 364 364 0 113533 0
[pid=8961] vsize: 455588
Current children cumulated CPU time (s) 1188.15
Current children cumulated vsize (Kb) 455588

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159732 0 0 0 119370 444 0 0 25 0 1 0 21576522 466522112 93124 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113897 93124 364 364 0 113533 0
[pid=8961] vsize: 455588
Current children cumulated CPU time (s) 1198.14
Current children cumulated vsize (Kb) 455588

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159733 0 0 0 120368 445 0 0 25 0 1 0 21576522 466522112 93125 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113897 93125 364 364 0 113533 0
[pid=8961] vsize: 455588
Current children cumulated CPU time (s) 1208.13
Current children cumulated vsize (Kb) 455588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8961
Raw data (/proc/8961/stat): 8961 (pb2sat) R 8960 8961 4060 0 -1 0 159733 0 0 0 120368 445 0 0 25 0 1 0 21576522 466522112 93125 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8961/statm): 113897 93125 364 364 0 113533 0
[pid=8961] vsize: 455588
Current children cumulated CPU time (s) 1208.13
Current children cumulated vsize (Kb) 455588

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

Child status: 0
Real time (s): 1211.69
CPU time (s): 1209.77
CPU user time (s): 1205.13
CPU system time (s): 4.63629
CPU usage (%): 99.841
Max. virtual memory (cumulated for all children) (Kb): 455588

Verifier Data

ERROR: no interpretation found !