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/miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM4d8544323b5554a497d5d3c2a3b0ca03
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 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2150078462
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables985
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint1
Maximum length of a constraint115

Trace number 10092

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 16:38:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8794 boxname=wulflinc18 idbench=590 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4d8544323b5554a497d5d3c2a3b0ca03  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 8794
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        931700 kB
Buffers:         14872 kB
Cached:          68632 kB
SwapCached:          0 kB
Active:          45244 kB
Inactive:        41152 kB
HighTotal:      131008 kB
HighFree:        58072 kB
LowTotal:       903652 kB
LowFree:        873628 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10960 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:59:03 (client local time) WITH STATUS 0 IN 1210.12 SECONDS
stats: 8794 7 1210.12 0

Solver Data

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

c Decision: 182/911567	Time: 212.499/86400
c Decision: 182/911567	Time: 312.226/86400
c Decision: 182/911567	Time: 447.574/86400
c Decision: 182/911567	Time: 516.495/86400
c Decision: 194/911567	Time: 740.313/86400
c Decision: 194/911567	Time: 963.478/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/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21692440 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 373 2 364 364 0 9 0
[pid=7567] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-pk1.opb

[startup+10.0028 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 28232 0 0 0 934 64 0 0 25 0 1 0 21692440 81969152 17113 4294967295 134512640 135987407 3221224560 3221207520 134639062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 20012 17113 364 364 0 19648 0
[pid=7567] vsize: 80048
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 80048

[startup+20.0038 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 55597 0 0 0 1875 122 0 0 25 0 1 0 21692440 159141888 33246 4294967295 134512640 135987407 3221224560 3221202448 134878078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 38853 33246 364 364 0 38489 0
[pid=7567] vsize: 155412
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 155412

[startup+30.0047 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 94641 0 0 0 2790 203 0 0 25 0 1 0 21692440 309432320 50092 4294967295 134512640 135987407 3221224560 3221208556 134878539 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 75545 50092 364 364 0 75181 0
[pid=7567] vsize: 302180
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 302180

[startup+40.0056 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 110381 0 0 0 3757 237 0 0 25 0 1 0 21692440 313757696 65569 4294967295 134512640 135987407 3221224560 3221209288 134537425 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 76601 65569 364 364 0 76237 0
[pid=7567] vsize: 306404
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 306404

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 117490 0 0 0 4727 256 0 0 25 0 1 0 21692440 335998976 70696 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 82031 70696 364 364 0 81667 0
[pid=7567] vsize: 328124
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 328124

[startup+60.0075 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 118184 0 0 0 5714 261 0 0 25 0 1 0 21692440 338853888 71227 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 82728 71227 364 364 0 82364 0
[pid=7567] vsize: 330912
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 330912

[startup+70.0084 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 119517 0 0 0 6710 264 0 0 25 0 1 0 21692440 342790144 71940 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 83689 71940 364 364 0 83325 0
[pid=7567] vsize: 334756
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 334756

[startup+80.0093 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 120056 0 0 0 7709 265 0 0 25 0 1 0 21692440 344616960 72156 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 84135 72156 364 364 0 83771 0
[pid=7567] vsize: 336540
Current children cumulated CPU time (s) 79.74
Current children cumulated vsize (Kb) 336540

[startup+90.0093 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 120346 0 0 0 8709 265 0 0 25 0 1 0 21692440 345886720 72317 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 84445 72317 364 364 0 84081 0
[pid=7567] vsize: 337780
Current children cumulated CPU time (s) 89.74
Current children cumulated vsize (Kb) 337780

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 120895 0 0 0 9707 267 0 0 25 0 1 0 21692440 347602944 72574 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 84864 72574 364 364 0 84500 0
[pid=7567] vsize: 339456
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 339456

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 121019 0 0 0 10706 267 0 0 25 0 1 0 21692440 348139520 72665 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 84995 72665 364 364 0 84631 0
[pid=7567] vsize: 339980
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 339980

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 121418 0 0 0 11705 268 0 0 25 0 1 0 21692440 349659136 72869 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 85366 72869 364 364 0 85002 0
[pid=7567] vsize: 341464
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 341464

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 122435 0 0 0 12702 270 0 0 25 0 1 0 21692440 352686080 73335 4294967295 134512640 135987407 3221224560 3221223344 134812383 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 86105 73335 364 364 0 85741 0
[pid=7567] vsize: 344420
Current children cumulated CPU time (s) 129.72
Current children cumulated vsize (Kb) 344420

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 123548 0 0 0 13699 273 0 0 25 0 1 0 21692440 355590144 73894 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 86814 73894 364 364 0 86450 0
[pid=7567] vsize: 347256
Current children cumulated CPU time (s) 139.72
Current children cumulated vsize (Kb) 347256

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 124112 0 0 0 14697 274 0 0 25 0 1 0 21692440 357376000 74102 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 87250 74102 364 364 0 86886 0
[pid=7567] vsize: 349000
Current children cumulated CPU time (s) 149.71
Current children cumulated vsize (Kb) 349000

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 124680 0 0 0 15695 276 0 0 25 0 1 0 21692440 358948864 74283 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 87634 74283 364 364 0 87270 0
[pid=7567] vsize: 350536
Current children cumulated CPU time (s) 159.71
Current children cumulated vsize (Kb) 350536

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 124855 0 0 0 16695 276 0 0 25 0 1 0 21692440 359211008 74393 4294967295 134512640 135987407 3221224560 3221223088 134775171 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 87698 74393 364 364 0 87334 0
[pid=7567] vsize: 350792
Current children cumulated CPU time (s) 169.71
Current children cumulated vsize (Kb) 350792

[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125108 0 0 0 17694 276 0 0 25 0 1 0 21692440 359735296 74517 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 87826 74517 364 364 0 87462 0
[pid=7567] vsize: 351304
Current children cumulated CPU time (s) 179.7
Current children cumulated vsize (Kb) 351304

[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125298 0 0 0 18693 277 0 0 25 0 1 0 21692440 359997440 74642 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 87890 74642 364 364 0 87526 0
[pid=7567] vsize: 351560
Current children cumulated CPU time (s) 189.7
Current children cumulated vsize (Kb) 351560

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125488 0 0 0 19693 277 0 0 25 0 1 0 21692440 360521728 74703 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88018 74703 364 364 0 87654 0
[pid=7567] vsize: 352072
Current children cumulated CPU time (s) 199.7
Current children cumulated vsize (Kb) 352072

[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125808 0 0 0 20692 278 0 0 25 0 1 0 21692440 361570304 74765 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88274 74765 364 364 0 87910 0
[pid=7567] vsize: 353096
Current children cumulated CPU time (s) 209.7
Current children cumulated vsize (Kb) 353096

[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125810 0 0 0 21692 278 0 0 25 0 1 0 21692440 361570304 74767 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88274 74767 364 364 0 87910 0
[pid=7567] vsize: 353096
Current children cumulated CPU time (s) 219.7
Current children cumulated vsize (Kb) 353096

[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 125813 0 0 0 22691 278 0 0 25 0 1 0 21692440 361570304 74770 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88274 74770 364 364 0 87910 0
[pid=7567] vsize: 353096
Current children cumulated CPU time (s) 229.69
Current children cumulated vsize (Kb) 353096

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 126179 0 0 0 23690 279 0 0 25 0 1 0 21692440 362618880 74878 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88530 74878 364 364 0 88166 0
[pid=7567] vsize: 354120
Current children cumulated CPU time (s) 239.69
Current children cumulated vsize (Kb) 354120

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 127993 0 0 0 24685 284 0 0 25 0 1 0 21692440 362618880 74911 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 88530 74911 364 364 0 88166 0
[pid=7567] vsize: 354120
Current children cumulated CPU time (s) 249.69
Current children cumulated vsize (Kb) 354120

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 129332 0 0 0 25682 286 0 0 25 0 1 0 21692440 366809088 75664 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 89553 75664 364 364 0 89189 0
[pid=7567] vsize: 358212
Current children cumulated CPU time (s) 259.68
Current children cumulated vsize (Kb) 358212

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 129601 0 0 0 26681 287 0 0 25 0 1 0 21692440 367734784 75835 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 89779 75835 364 364 0 89415 0
[pid=7567] vsize: 359116
Current children cumulated CPU time (s) 269.68
Current children cumulated vsize (Kb) 359116

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 129642 0 0 0 27680 288 0 0 25 0 1 0 21692440 367734784 75876 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 89779 75876 364 364 0 89415 0
[pid=7567] vsize: 359116
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (Kb) 359116

[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 129644 0 0 0 28680 288 0 0 25 0 1 0 21692440 367734784 75878 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 89779 75878 364 364 0 89415 0
[pid=7567] vsize: 359116
Current children cumulated CPU time (s) 289.68
Current children cumulated vsize (Kb) 359116

[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 129743 0 0 0 29679 288 0 0 25 0 1 0 21692440 367865856 75944 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 89811 75944 364 364 0 89447 0
[pid=7567] vsize: 359244
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 359244

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 130121 0 0 0 30676 290 0 0 25 0 1 0 21692440 369053696 76126 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 90101 76126 364 364 0 89737 0
[pid=7567] vsize: 360404
Current children cumulated CPU time (s) 309.66
Current children cumulated vsize (Kb) 360404

[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 130142 0 0 0 31673 291 0 0 25 0 1 0 21692440 369188864 76147 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 90134 76147 364 364 0 89770 0
[pid=7567] vsize: 360536
Current children cumulated CPU time (s) 319.64
Current children cumulated vsize (Kb) 360536

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 130584 0 0 0 32671 293 0 0 25 0 1 0 21692440 370774016 76394 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 90521 76394 364 364 0 90157 0
[pid=7567] vsize: 362084
Current children cumulated CPU time (s) 329.64
Current children cumulated vsize (Kb) 362084

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 130614 0 0 0 33671 293 0 0 25 0 1 0 21692440 370774016 76424 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 90521 76424 364 364 0 90157 0
[pid=7567] vsize: 362084
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (Kb) 362084

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 130669 0 0 0 34670 293 0 0 25 0 1 0 21692440 370774016 76446 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 90521 76446 364 364 0 90157 0
[pid=7567] vsize: 362084
Current children cumulated CPU time (s) 349.63
Current children cumulated vsize (Kb) 362084

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 133740 0 0 0 35662 301 0 0 25 0 1 0 21692440 375009280 77179 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 91555 77179 364 364 0 91191 0
[pid=7567] vsize: 366220
Current children cumulated CPU time (s) 359.63
Current children cumulated vsize (Kb) 366220

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 134591 0 0 0 36659 302 0 0 25 0 1 0 21692440 377245696 77608 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 92101 77608 364 364 0 91737 0
[pid=7567] vsize: 368404
Current children cumulated CPU time (s) 369.61
Current children cumulated vsize (Kb) 368404

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 135610 0 0 0 37657 304 0 0 25 0 1 0 21692440 380010496 78140 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 92776 78140 364 364 0 92412 0
[pid=7567] vsize: 371104
Current children cumulated CPU time (s) 379.61
Current children cumulated vsize (Kb) 371104

[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 138232 0 0 0 38652 308 0 0 25 0 1 0 21692440 386969600 79246 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 94475 79246 364 364 0 94111 0
[pid=7567] vsize: 377900
Current children cumulated CPU time (s) 389.6
Current children cumulated vsize (Kb) 377900

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 138459 0 0 0 39651 309 0 0 25 0 1 0 21692440 387764224 79473 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 94669 79473 364 364 0 94305 0
[pid=7567] vsize: 378676
Current children cumulated CPU time (s) 399.6
Current children cumulated vsize (Kb) 378676

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 139134 0 0 0 40648 311 0 0 25 0 1 0 21692440 388939776 79792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 94956 79792 364 364 0 94592 0
[pid=7567] vsize: 379824
Current children cumulated CPU time (s) 409.59
Current children cumulated vsize (Kb) 379824

[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 139739 0 0 0 41645 312 0 0 25 0 1 0 21692440 390516736 80074 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 95341 80074 364 364 0 94977 0
[pid=7567] vsize: 381364
Current children cumulated CPU time (s) 419.57
Current children cumulated vsize (Kb) 381364

[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 139798 0 0 0 42644 313 0 0 25 0 1 0 21692440 390516736 80133 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 95341 80133 364 364 0 94977 0
[pid=7567] vsize: 381364
Current children cumulated CPU time (s) 429.57
Current children cumulated vsize (Kb) 381364

[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 140471 0 0 0 43640 315 0 0 25 0 1 0 21692440 392638464 80579 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 95859 80579 364 364 0 95495 0
[pid=7567] vsize: 383436
Current children cumulated CPU time (s) 439.55
Current children cumulated vsize (Kb) 383436

[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 141388 0 0 0 44637 317 0 0 25 0 1 0 21692440 395685888 81042 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 96603 81042 364 364 0 96239 0
[pid=7567] vsize: 386412
Current children cumulated CPU time (s) 449.54
Current children cumulated vsize (Kb) 386412

[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 141499 0 0 0 45635 317 0 0 25 0 1 0 21692440 396349440 81153 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 96765 81153 364 364 0 96401 0
[pid=7567] vsize: 387060
Current children cumulated CPU time (s) 459.52
Current children cumulated vsize (Kb) 387060

[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 141875 0 0 0 46634 318 0 0 25 0 1 0 21692440 397266944 81302 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 96989 81302 364 364 0 96625 0
[pid=7567] vsize: 387956
Current children cumulated CPU time (s) 469.52
Current children cumulated vsize (Kb) 387956

[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 142055 0 0 0 47633 319 0 0 25 0 1 0 21692440 397791232 81353 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 97117 81353 364 364 0 96753 0
[pid=7567] vsize: 388468
Current children cumulated CPU time (s) 479.52
Current children cumulated vsize (Kb) 388468

[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 143996 0 0 0 48627 325 0 0 25 0 1 0 21692440 398454784 81448 4294967295 134512640 135987407 3221224560 3221223248 134811863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 97279 81448 364 364 0 96915 0
[pid=7567] vsize: 389116
Current children cumulated CPU time (s) 489.52
Current children cumulated vsize (Kb) 389116

[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 144162 0 0 0 49624 326 0 0 25 0 1 0 21692440 398979072 81484 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 97407 81484 364 364 0 97043 0
[pid=7567] vsize: 389628
Current children cumulated CPU time (s) 499.5
Current children cumulated vsize (Kb) 389628

[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 145030 0 0 0 50622 327 0 0 25 0 1 0 21692440 400814080 81900 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 97855 81900 364 364 0 97491 0
[pid=7567] vsize: 391420
Current children cumulated CPU time (s) 509.49
Current children cumulated vsize (Kb) 391420

[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 146773 0 0 0 51618 331 0 0 25 0 1 0 21692440 405286912 82769 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 98947 82769 364 364 0 98583 0
[pid=7567] vsize: 395788
Current children cumulated CPU time (s) 519.49
Current children cumulated vsize (Kb) 395788

[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 146866 0 0 0 52614 333 0 0 25 0 1 0 21692440 405684224 82829 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99044 82829 364 364 0 98680 0
[pid=7567] vsize: 396176
Current children cumulated CPU time (s) 529.47
Current children cumulated vsize (Kb) 396176

[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 147005 0 0 0 53605 335 0 0 25 0 1 0 21692440 405946368 82903 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99108 82903 364 364 0 98744 0
[pid=7567] vsize: 396432
Current children cumulated CPU time (s) 539.4
Current children cumulated vsize (Kb) 396432

[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 147010 0 0 0 54585 341 0 0 25 0 1 0 21692440 405946368 82908 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99108 82908 364 364 0 98744 0
[pid=7567] vsize: 396432
Current children cumulated CPU time (s) 549.26
Current children cumulated vsize (Kb) 396432

[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149015 0 0 0 55573 348 0 0 25 0 1 0 21692440 406470656 83003 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99236 83003 364 364 0 98872 0
[pid=7567] vsize: 396944
Current children cumulated CPU time (s) 559.21
Current children cumulated vsize (Kb) 396944

[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149016 0 0 0 56573 348 0 0 25 0 1 0 21692440 406470656 83004 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99236 83004 364 364 0 98872 0
[pid=7567] vsize: 396944
Current children cumulated CPU time (s) 569.21
Current children cumulated vsize (Kb) 396944

[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149029 0 0 0 57572 348 0 0 25 0 1 0 21692440 406470656 83017 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99236 83017 364 364 0 98872 0
[pid=7567] vsize: 396944
Current children cumulated CPU time (s) 579.2
Current children cumulated vsize (Kb) 396944

[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149051 0 0 0 58571 349 0 0 25 0 1 0 21692440 406470656 83039 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99236 83039 364 364 0 98872 0
[pid=7567] vsize: 396944
Current children cumulated CPU time (s) 589.2
Current children cumulated vsize (Kb) 396944

[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149423 0 0 0 59570 350 0 0 25 0 1 0 21692440 407519232 83153 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99492 83153 364 364 0 99128 0
[pid=7567] vsize: 397968
Current children cumulated CPU time (s) 599.2
Current children cumulated vsize (Kb) 397968

[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149424 0 0 0 60568 351 0 0 25 0 1 0 21692440 407519232 83154 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99492 83154 364 364 0 99128 0
[pid=7567] vsize: 397968
Current children cumulated CPU time (s) 609.19
Current children cumulated vsize (Kb) 397968

[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 149832 0 0 0 61567 351 0 0 25 0 1 0 21692440 408567808 83304 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 99748 83304 364 364 0 99384 0
[pid=7567] vsize: 398992
Current children cumulated CPU time (s) 619.18
Current children cumulated vsize (Kb) 398992

[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 150338 0 0 0 62564 353 0 0 25 0 1 0 21692440 409620480 83616 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100005 83616 364 364 0 99641 0
[pid=7567] vsize: 400020
Current children cumulated CPU time (s) 629.17
Current children cumulated vsize (Kb) 400020

[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) T 7566 7567 4060 0 -1 0 150456 0 0 0 63555 356 0 0 25 0 1 0 21692440 410292224 83734 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100169 83734 364 364 0 99805 0
[pid=7567] vsize: 400676
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (Kb) 400676

[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 150478 0 0 0 64544 360 0 0 25 0 1 0 21692440 410427392 83756 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100202 83756 364 364 0 99838 0
[pid=7567] vsize: 400808
Current children cumulated CPU time (s) 649.04
Current children cumulated vsize (Kb) 400808

[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 150687 0 0 0 65540 362 0 0 25 0 1 0 21692440 410951680 83836 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100330 83836 364 364 0 99966 0
[pid=7567] vsize: 401320
Current children cumulated CPU time (s) 659.02
Current children cumulated vsize (Kb) 401320

[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 150878 0 0 0 66536 363 0 0 25 0 1 0 21692440 411475968 83898 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100458 83898 364 364 0 100094 0
[pid=7567] vsize: 401832
Current children cumulated CPU time (s) 668.99
Current children cumulated vsize (Kb) 401832

[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 151129 0 0 0 67534 365 0 0 25 0 1 0 21692440 412000256 84019 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100586 84019 364 364 0 100222 0
[pid=7567] vsize: 402344
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (Kb) 402344

[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 151180 0 0 0 68530 366 0 0 25 0 1 0 21692440 412000256 84070 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100586 84070 364 364 0 100222 0
[pid=7567] vsize: 402344
Current children cumulated CPU time (s) 688.96
Current children cumulated vsize (Kb) 402344

[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 151264 0 0 0 69528 367 0 0 25 0 1 0 21692440 412532736 84154 4294967295 134512640 135987407 3221224560 3221223424 134812789 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 100716 84154 364 364 0 100352 0
[pid=7567] vsize: 402864
Current children cumulated CPU time (s) 698.95
Current children cumulated vsize (Kb) 402864

[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 151652 0 0 0 70525 368 0 0 25 0 1 0 21692440 413712384 84250 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101004 84250 364 364 0 100640 0
[pid=7567] vsize: 404016
Current children cumulated CPU time (s) 708.93
Current children cumulated vsize (Kb) 404016

[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 151967 0 0 0 71523 369 0 0 25 0 1 0 21692440 414498816 84371 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101196 84371 364 364 0 100832 0
[pid=7567] vsize: 404784
Current children cumulated CPU time (s) 718.92
Current children cumulated vsize (Kb) 404784

[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 152161 0 0 0 72522 370 0 0 25 0 1 0 21692440 415023104 84436 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101324 84436 364 364 0 100960 0
[pid=7567] vsize: 405296
Current children cumulated CPU time (s) 728.92
Current children cumulated vsize (Kb) 405296

[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 152162 0 0 0 73522 370 0 0 25 0 1 0 21692440 415023104 84437 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101324 84437 364 364 0 100960 0
[pid=7567] vsize: 405296
Current children cumulated CPU time (s) 738.92
Current children cumulated vsize (Kb) 405296

[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 152168 0 0 0 74521 370 0 0 25 0 1 0 21692440 415023104 84443 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101324 84443 364 364 0 100960 0
[pid=7567] vsize: 405296
Current children cumulated CPU time (s) 748.91
Current children cumulated vsize (Kb) 405296

[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 152192 0 0 0 75521 370 0 0 25 0 1 0 21692440 415023104 84467 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101324 84467 364 364 0 100960 0
[pid=7567] vsize: 405296
Current children cumulated CPU time (s) 758.91
Current children cumulated vsize (Kb) 405296

[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 152249 0 0 0 76519 371 0 0 25 0 1 0 21692440 415023104 84524 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101324 84524 364 364 0 100960 0
[pid=7567] vsize: 405296
Current children cumulated CPU time (s) 768.9
Current children cumulated vsize (Kb) 405296

[startup+780.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 154032 0 0 0 77511 377 0 0 25 0 1 0 21692440 422318080 86307 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 103105 86307 364 364 0 102741 0
[pid=7567] vsize: 412420
Current children cumulated CPU time (s) 778.88
Current children cumulated vsize (Kb) 412420

[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 154266 0 0 0 78508 378 0 0 25 0 1 0 21692440 415682560 84662 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 101485 84662 364 364 0 101121 0
[pid=7567] vsize: 405940
Current children cumulated CPU time (s) 788.86
Current children cumulated vsize (Kb) 405940

[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 155596 0 0 0 79505 381 0 0 25 0 1 0 21692440 419090432 85155 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102317 85155 364 364 0 101953 0
[pid=7567] vsize: 409268
Current children cumulated CPU time (s) 798.86
Current children cumulated vsize (Kb) 409268

[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 155972 0 0 0 80503 382 0 0 25 0 1 0 21692440 420139008 85274 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102573 85274 364 364 0 102209 0
[pid=7567] vsize: 410292
Current children cumulated CPU time (s) 808.85
Current children cumulated vsize (Kb) 410292

[startup+820.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 155973 0 0 0 81502 382 0 0 25 0 1 0 21692440 420139008 85275 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102573 85275 364 364 0 102209 0
[pid=7567] vsize: 410292
Current children cumulated CPU time (s) 818.84
Current children cumulated vsize (Kb) 410292

[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 155982 0 0 0 82502 383 0 0 25 0 1 0 21692440 420139008 85284 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102573 85284 364 364 0 102209 0
[pid=7567] vsize: 410292
Current children cumulated CPU time (s) 828.85
Current children cumulated vsize (Kb) 410292

[startup+840.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 156337 0 0 0 83500 384 0 0 25 0 1 0 21692440 421187584 85382 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102829 85382 364 364 0 102465 0
[pid=7567] vsize: 411316
Current children cumulated CPU time (s) 838.84
Current children cumulated vsize (Kb) 411316

[startup+850.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 156338 0 0 0 84500 384 0 0 25 0 1 0 21692440 421187584 85383 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102829 85383 364 364 0 102465 0
[pid=7567] vsize: 411316
Current children cumulated CPU time (s) 848.84
Current children cumulated vsize (Kb) 411316

[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 156503 0 0 0 85500 384 0 0 25 0 1 0 21692440 421711872 85419 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 102957 85419 364 364 0 102593 0
[pid=7567] vsize: 411828
Current children cumulated CPU time (s) 858.84
Current children cumulated vsize (Kb) 411828

[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 156896 0 0 0 86499 385 0 0 25 0 1 0 21692440 422760448 85555 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 103213 85555 364 364 0 102849 0
[pid=7567] vsize: 412852
Current children cumulated CPU time (s) 868.84
Current children cumulated vsize (Kb) 412852

[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 157279 0 0 0 87498 386 0 0 25 0 1 0 21692440 423809024 85681 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 103469 85681 364 364 0 103105 0
[pid=7567] vsize: 413876
Current children cumulated CPU time (s) 878.84
Current children cumulated vsize (Kb) 413876

[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 157330 0 0 0 88498 386 0 0 25 0 1 0 21692440 423809024 85732 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 103469 85732 364 364 0 103105 0
[pid=7567] vsize: 413876
Current children cumulated CPU time (s) 888.84
Current children cumulated vsize (Kb) 413876

[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 157541 0 0 0 89497 387 0 0 25 0 1 0 21692440 424333312 85814 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 103597 85814 364 364 0 103233 0
[pid=7567] vsize: 414388
Current children cumulated CPU time (s) 898.84
Current children cumulated vsize (Kb) 414388

[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 158533 0 0 0 90494 389 0 0 25 0 1 0 21692440 426954752 86161 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 104237 86161 364 364 0 103873 0
[pid=7567] vsize: 416948
Current children cumulated CPU time (s) 908.83
Current children cumulated vsize (Kb) 416948

[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 158964 0 0 0 91493 390 0 0 25 0 1 0 21692440 428003328 86335 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 104493 86335 364 364 0 104129 0
[pid=7567] vsize: 417972
Current children cumulated CPU time (s) 918.83
Current children cumulated vsize (Kb) 417972

[startup+930.061 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 159633 0 0 0 92491 392 0 0 25 0 1 0 21692440 429576192 86618 4294967295 134512640 135987407 3221224560 3221223344 134812316 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 104877 86618 364 364 0 104513 0
[pid=7567] vsize: 419508
Current children cumulated CPU time (s) 928.83
Current children cumulated vsize (Kb) 419508

[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 160340 0 0 0 93490 394 0 0 25 0 1 0 21692440 431149056 86939 4294967295 134512640 135987407 3221224560 3221223152 134775428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 105261 86939 364 364 0 104897 0
[pid=7567] vsize: 421044
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (Kb) 421044

[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 160341 0 0 0 94489 394 0 0 25 0 1 0 21692440 431149056 86940 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 105261 86940 364 364 0 104897 0
[pid=7567] vsize: 421044
Current children cumulated CPU time (s) 948.83
Current children cumulated vsize (Kb) 421044

[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 160567 0 0 0 95488 395 0 0 25 0 1 0 21692440 431149056 87166 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 105261 87166 364 364 0 104897 0
[pid=7567] vsize: 421044
Current children cumulated CPU time (s) 958.83
Current children cumulated vsize (Kb) 421044

[startup+970.064 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 160625 0 0 0 96486 395 0 0 25 0 1 0 21692440 431149056 87224 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 105261 87224 364 364 0 104897 0
[pid=7567] vsize: 421044
Current children cumulated CPU time (s) 968.81
Current children cumulated vsize (Kb) 421044

[startup+980.065 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 161596 0 0 0 97483 397 0 0 25 0 1 0 21692440 433770496 87552 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 105901 87552 364 364 0 105537 0
[pid=7567] vsize: 423604
Current children cumulated CPU time (s) 978.8
Current children cumulated vsize (Kb) 423604

[startup+990.066 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 162599 0 0 0 98480 400 0 0 25 0 1 0 21692440 435343360 88169 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 106285 88169 364 364 0 105921 0
[pid=7567] vsize: 425140
Current children cumulated CPU time (s) 988.8
Current children cumulated vsize (Kb) 425140

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 165446 0 0 0 99473 406 0 0 25 0 1 0 21692440 445259776 90373 4294967295 134512640 135987407 3221224560 3221222976 134827681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108706 90373 364 364 0 108342 0
[pid=7567] vsize: 434824
Current children cumulated CPU time (s) 998.79
Current children cumulated vsize (Kb) 434824

[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 165446 0 0 0 100472 407 0 0 25 0 1 0 21692440 437964800 88592 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 106925 88592 364 364 0 106561 0
[pid=7567] vsize: 427700
Current children cumulated CPU time (s) 1008.79
Current children cumulated vsize (Kb) 427700

[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 167483 0 0 0 101468 411 0 0 25 0 1 0 21692440 443207680 89344 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108205 89344 364 364 0 107841 0
[pid=7567] vsize: 432820
Current children cumulated CPU time (s) 1018.79
Current children cumulated vsize (Kb) 432820

[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 168472 0 0 0 102458 415 0 0 25 0 1 0 21692440 445304832 89819 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108717 89819 364 364 0 108353 0
[pid=7567] vsize: 434868
Current children cumulated CPU time (s) 1028.73
Current children cumulated vsize (Kb) 434868

[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 168474 0 0 0 103453 417 0 0 25 0 1 0 21692440 445304832 89821 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108717 89821 364 364 0 108353 0
[pid=7567] vsize: 434868
Current children cumulated CPU time (s) 1038.7
Current children cumulated vsize (Kb) 434868

[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 168501 0 0 0 104450 418 0 0 25 0 1 0 21692440 445304832 89848 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108717 89848 364 364 0 108353 0
[pid=7567] vsize: 434868
Current children cumulated CPU time (s) 1048.68
Current children cumulated vsize (Kb) 434868

[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 168501 0 0 0 105449 418 0 0 25 0 1 0 21692440 445304832 89848 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108717 89848 364 364 0 108353 0
[pid=7567] vsize: 434868
Current children cumulated CPU time (s) 1058.67
Current children cumulated vsize (Kb) 434868

[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 168895 0 0 0 106448 419 0 0 25 0 1 0 21692440 446353408 89985 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 108973 89985 364 364 0 108609 0
[pid=7567] vsize: 435892
Current children cumulated CPU time (s) 1068.67
Current children cumulated vsize (Kb) 435892

[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169144 0 0 0 107446 420 0 0 25 0 1 0 21692440 446877696 90105 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109101 90105 364 364 0 108737 0
[pid=7567] vsize: 436404
Current children cumulated CPU time (s) 1078.66
Current children cumulated vsize (Kb) 436404

[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169145 0 0 0 108444 421 0 0 25 0 1 0 21692440 446877696 90106 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109101 90106 364 364 0 108737 0
[pid=7567] vsize: 436404
Current children cumulated CPU time (s) 1088.65
Current children cumulated vsize (Kb) 436404

[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169145 0 0 0 109442 422 0 0 25 0 1 0 21692440 446877696 90106 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109101 90106 364 364 0 108737 0
[pid=7567] vsize: 436404
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 436404

[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169146 0 0 0 110440 423 0 0 25 0 1 0 21692440 446877696 90107 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109101 90107 364 364 0 108737 0
[pid=7567] vsize: 436404
Current children cumulated CPU time (s) 1108.63
Current children cumulated vsize (Kb) 436404

[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169146 0 0 0 111438 424 0 0 25 0 1 0 21692440 446877696 90107 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109101 90107 364 364 0 108737 0
[pid=7567] vsize: 436404
Current children cumulated CPU time (s) 1118.62
Current children cumulated vsize (Kb) 436404

[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169579 0 0 0 112436 425 0 0 25 0 1 0 21692440 447926272 90283 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109357 90283 364 364 0 108993 0
[pid=7567] vsize: 437428
Current children cumulated CPU time (s) 1128.61
Current children cumulated vsize (Kb) 437428

[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169580 0 0 0 113434 425 0 0 25 0 1 0 21692440 447926272 90284 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109357 90284 364 364 0 108993 0
[pid=7567] vsize: 437428
Current children cumulated CPU time (s) 1138.59
Current children cumulated vsize (Kb) 437428

[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169900 0 0 0 114431 427 0 0 25 0 1 0 21692440 448712704 90410 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109549 90410 364 364 0 109185 0
[pid=7567] vsize: 438196
Current children cumulated CPU time (s) 1148.58
Current children cumulated vsize (Kb) 438196

[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 169900 0 0 0 115428 427 0 0 25 0 1 0 21692440 448712704 90410 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109549 90410 364 364 0 109185 0
[pid=7567] vsize: 438196
Current children cumulated CPU time (s) 1158.55
Current children cumulated vsize (Kb) 438196

[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 170010 0 0 0 116426 428 0 0 25 0 1 0 21692440 448712704 90520 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109549 90520 364 364 0 109185 0
[pid=7567] vsize: 438196
Current children cumulated CPU time (s) 1168.54
Current children cumulated vsize (Kb) 438196

[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 170010 0 0 0 117425 429 0 0 25 0 1 0 21692440 448712704 90520 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 109549 90520 364 364 0 109185 0
[pid=7567] vsize: 438196
Current children cumulated CPU time (s) 1178.54
Current children cumulated vsize (Kb) 438196

[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 171143 0 0 0 118421 431 0 0 25 0 1 0 21692440 451727360 90974 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 110285 90974 364 364 0 109921 0
[pid=7567] vsize: 441140
Current children cumulated CPU time (s) 1188.52
Current children cumulated vsize (Kb) 441140

[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 171154 0 0 0 119419 432 0 0 25 0 1 0 21692440 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 110285 90985 364 364 0 109921 0
[pid=7567] vsize: 441140
Current children cumulated CPU time (s) 1198.51
Current children cumulated vsize (Kb) 441140

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 171441 0 0 0 120416 434 0 0 25 0 1 0 21692440 452644864 91110 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 110509 91110 364 364 0 110145 0
[pid=7567] vsize: 442036
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 442036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7567
Raw data (/proc/7567/stat): 7567 (pb2sat) R 7566 7567 4060 0 -1 0 171441 0 0 0 120416 434 0 0 25 0 1 0 21692440 452644864 91110 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7567/statm): 110509 91110 364 364 0 110145 0
[pid=7567] vsize: 442036
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 442036

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

Child status: 0
Real time (s): 1211.7
CPU time (s): 1210.12
CPU user time (s): 1205.59
CPU system time (s): 4.52631
CPU usage (%): 99.8694
Max. virtual memory (cumulated for all children) (Kb): 442036

Verifier Data

ERROR: no interpretation found !