Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
MD5SUMca2f95c2509c09ae8cf1945e12d0eb97
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 10150

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-23 16:59:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8860 boxname=wulflinc12 idbench=656 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ca2f95c2509c09ae8cf1945e12d0eb97  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 8860
/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:        951252 kB
Buffers:          5856 kB
Cached:          58404 kB
SwapCached:          0 kB
Active:          17988 kB
Inactive:        49148 kB
HighTotal:      131008 kB
HighFree:        90608 kB
LowTotal:       903652 kB
LowFree:        860644 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10816 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:20:06 (client local time) WITH STATUS 0 IN 1210.12 SECONDS
stats: 8860 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.501/86400
c Decision: 182/911567	Time: 312.753/86400
c Decision: 182/911567	Time: 448.121/86400
c Decision: 182/911567	Time: 517.101/86400
c Decision: 194/911567	Time: 741.655/86400
c Decision: 194/911567	Time: 964.79/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/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21818454 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 373 2 364 364 0 9 0
[pid=9031] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.98 2/56 9032
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 28190 0 0 0 932 65 0 0 25 0 1 0 21818454 81833984 17072 4294967295 134512640 135987407 3221224560 3221210576 134640427 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 19979 17072 364 364 0 19615 0
[pid=9031] vsize: 79916
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79916

[startup+20.0031 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9086
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 55310 0 0 0 1867 128 0 0 25 0 1 0 21818454 159141888 32964 4294967295 134512640 135987407 3221224560 3221203048 134866066 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 38853 32964 364 364 0 38489 0
[pid=9031] vsize: 155412
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 155412

[startup+30.004 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9086
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 94303 0 0 0 2784 210 0 0 25 0 1 0 21818454 309297152 49759 4294967295 134512640 135987407 3221224560 3221207368 134854861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 75512 49759 364 364 0 75148 0
[pid=9031] vsize: 302048
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 302048

[startup+40.0038 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9086
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 110021 0 0 0 3747 247 0 0 25 0 1 0 21818454 313487360 65215 4294967295 134512640 135987407 3221224560 3221206880 134640127 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 76535 65215 364 364 0 76171 0
[pid=9031] vsize: 306140
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 306140

[startup+50.0046 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9086
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 117490 0 0 0 4713 270 0 0 25 0 1 0 21818454 335998976 70696 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 82031 70696 364 364 0 81667 0
[pid=9031] vsize: 328124
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 328124

[startup+60.0045 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9086
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 118166 0 0 0 5700 276 0 0 25 0 1 0 21818454 338853888 71209 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 82728 71209 364 364 0 82364 0
[pid=9031] vsize: 330912
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 330912

[startup+70.0053 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9088
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 119510 0 0 0 6696 279 0 0 25 0 1 0 21818454 342790144 71933 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 83689 71933 364 364 0 83325 0
[pid=9031] vsize: 334756
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 334756

[startup+80.0061 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9090
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120056 0 0 0 7694 281 0 0 25 0 1 0 21818454 344616960 72156 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 84135 72156 364 364 0 83771 0
[pid=9031] vsize: 336540
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 336540

[startup+90.006 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120346 0 0 0 8692 281 0 0 25 0 1 0 21818454 345886720 72317 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 84445 72317 364 364 0 84081 0
[pid=9031] vsize: 337780
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 337780

[startup+100.007 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120895 0 0 0 9691 283 0 0 25 0 1 0 21818454 347602944 72574 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 84864 72574 364 364 0 84500 0
[pid=9031] vsize: 339456
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 339456

[startup+110.008 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 121019 0 0 0 10690 283 0 0 25 0 1 0 21818454 348139520 72665 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 84995 72665 364 364 0 84631 0
[pid=9031] vsize: 339980
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 339980

[startup+120.008 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 121418 0 0 0 11689 284 0 0 25 0 1 0 21818454 349659136 72869 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 85366 72869 364 364 0 85002 0
[pid=9031] vsize: 341464
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 341464

[startup+130.008 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 122435 0 0 0 12686 286 0 0 25 0 1 0 21818454 352686080 73335 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 86105 73335 364 364 0 85741 0
[pid=9031] vsize: 344420
Current children cumulated CPU time (s) 129.72
Current children cumulated vsize (Kb) 344420

[startup+140.008 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 123548 0 0 0 13683 289 0 0 25 0 1 0 21818454 355590144 73894 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 86814 73894 364 364 0 86450 0
[pid=9031] vsize: 347256
Current children cumulated CPU time (s) 139.72
Current children cumulated vsize (Kb) 347256

[startup+150.009 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124112 0 0 0 14681 290 0 0 25 0 1 0 21818454 357376000 74102 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 87250 74102 364 364 0 86886 0
[pid=9031] vsize: 349000
Current children cumulated CPU time (s) 149.71
Current children cumulated vsize (Kb) 349000

[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124680 0 0 0 15680 291 0 0 25 0 1 0 21818454 358948864 74283 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 87634 74283 364 364 0 87270 0
[pid=9031] vsize: 350536
Current children cumulated CPU time (s) 159.71
Current children cumulated vsize (Kb) 350536

[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124855 0 0 0 16679 292 0 0 25 0 1 0 21818454 359211008 74393 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 87698 74393 364 364 0 87334 0
[pid=9031] vsize: 350792
Current children cumulated CPU time (s) 169.71
Current children cumulated vsize (Kb) 350792

[startup+180.01 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125108 0 0 0 17679 292 0 0 25 0 1 0 21818454 359735296 74517 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 87826 74517 364 364 0 87462 0
[pid=9031] vsize: 351304
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (Kb) 351304

[startup+190.01 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125298 0 0 0 18678 293 0 0 25 0 1 0 21818454 359997440 74642 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 87890 74642 364 364 0 87526 0
[pid=9031] vsize: 351560
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 351560

[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125488 0 0 0 19677 294 0 0 25 0 1 0 21818454 360521728 74703 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88018 74703 364 364 0 87654 0
[pid=9031] vsize: 352072
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (Kb) 352072

[startup+210.011 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125808 0 0 0 20676 295 0 0 25 0 1 0 21818454 361570304 74765 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88274 74765 364 364 0 87910 0
[pid=9031] vsize: 353096
Current children cumulated CPU time (s) 209.71
Current children cumulated vsize (Kb) 353096

[startup+220.011 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125810 0 0 0 21676 295 0 0 25 0 1 0 21818454 361570304 74767 4294967295 134512640 135987407 3221224560 3221223248 134811920 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88274 74767 364 364 0 87910 0
[pid=9031] vsize: 353096
Current children cumulated CPU time (s) 219.71
Current children cumulated vsize (Kb) 353096

[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125813 0 0 0 22675 295 0 0 25 0 1 0 21818454 361570304 74770 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88274 74770 364 364 0 87910 0
[pid=9031] vsize: 353096
Current children cumulated CPU time (s) 229.7
Current children cumulated vsize (Kb) 353096

[startup+240.012 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 126179 0 0 0 23674 296 0 0 25 0 1 0 21818454 362618880 74878 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88530 74878 364 364 0 88166 0
[pid=9031] vsize: 354120
Current children cumulated CPU time (s) 239.7
Current children cumulated vsize (Kb) 354120

[startup+250.012 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 127993 0 0 0 24670 300 0 0 25 0 1 0 21818454 362618880 74911 4294967295 134512640 135987407 3221224560 3221223328 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 88530 74911 364 364 0 88166 0
[pid=9031] vsize: 354120
Current children cumulated CPU time (s) 249.7
Current children cumulated vsize (Kb) 354120

[startup+260.013 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129332 0 0 0 25667 302 0 0 25 0 1 0 21818454 366809088 75664 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 89553 75664 364 364 0 89189 0
[pid=9031] vsize: 358212
Current children cumulated CPU time (s) 259.69
Current children cumulated vsize (Kb) 358212

[startup+270.013 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129600 0 0 0 26666 303 0 0 25 0 1 0 21818454 367734784 75834 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 89779 75834 364 364 0 89415 0
[pid=9031] vsize: 359116
Current children cumulated CPU time (s) 269.69
Current children cumulated vsize (Kb) 359116

[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129642 0 0 0 27664 304 0 0 25 0 1 0 21818454 367734784 75876 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 89779 75876 364 364 0 89415 0
[pid=9031] vsize: 359116
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (Kb) 359116

[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129644 0 0 0 28664 304 0 0 25 0 1 0 21818454 367734784 75878 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 89779 75878 364 364 0 89415 0
[pid=9031] vsize: 359116
Current children cumulated CPU time (s) 289.68
Current children cumulated vsize (Kb) 359116

[startup+300.016 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129669 0 0 0 29663 304 0 0 25 0 1 0 21818454 367734784 75903 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 89779 75903 364 364 0 89415 0
[pid=9031] vsize: 359116
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 359116

[startup+310.015 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130121 0 0 0 30660 306 0 0 25 0 1 0 21818454 369053696 76126 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 90101 76126 364 364 0 89737 0
[pid=9031] vsize: 360404
Current children cumulated CPU time (s) 309.66
Current children cumulated vsize (Kb) 360404

[startup+320.016 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130142 0 0 0 31659 306 0 0 25 0 1 0 21818454 369188864 76147 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 90134 76147 364 364 0 89770 0
[pid=9031] vsize: 360536
Current children cumulated CPU time (s) 319.65
Current children cumulated vsize (Kb) 360536

[startup+330.016 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130584 0 0 0 32657 307 0 0 25 0 1 0 21818454 370774016 76394 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 90521 76394 364 364 0 90157 0
[pid=9031] vsize: 362084
Current children cumulated CPU time (s) 329.64
Current children cumulated vsize (Kb) 362084

[startup+340.016 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130614 0 0 0 33656 307 0 0 25 0 1 0 21818454 370774016 76424 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 90521 76424 364 364 0 90157 0
[pid=9031] vsize: 362084
Current children cumulated CPU time (s) 339.63
Current children cumulated vsize (Kb) 362084

[startup+350.017 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130669 0 0 0 34655 308 0 0 25 0 1 0 21818454 370774016 76446 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 90521 76446 364 364 0 90157 0
[pid=9031] vsize: 362084
Current children cumulated CPU time (s) 349.63
Current children cumulated vsize (Kb) 362084

[startup+360.018 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9092
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 133416 0 0 0 35647 315 0 0 25 0 1 0 21818454 374083584 77018 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 91329 77018 364 364 0 90965 0
[pid=9031] vsize: 365316
Current children cumulated CPU time (s) 359.62
Current children cumulated vsize (Kb) 365316

[startup+370.017 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 134591 0 0 0 36643 318 0 0 25 0 1 0 21818454 377245696 77608 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 92101 77608 364 364 0 91737 0
[pid=9031] vsize: 368404
Current children cumulated CPU time (s) 369.61
Current children cumulated vsize (Kb) 368404

[startup+380.018 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 135481 0 0 0 37639 320 0 0 25 0 1 0 21818454 379482112 78076 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 92647 78076 364 364 0 92283 0
[pid=9031] vsize: 370588
Current children cumulated CPU time (s) 379.59
Current children cumulated vsize (Kb) 370588

[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 138230 0 0 0 38632 326 0 0 25 0 1 0 21818454 386969600 79244 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 94475 79244 364 364 0 94111 0
[pid=9031] vsize: 377900
Current children cumulated CPU time (s) 389.58
Current children cumulated vsize (Kb) 377900

[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 138453 0 0 0 39631 327 0 0 25 0 1 0 21818454 387764224 79467 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 94669 79467 364 364 0 94305 0
[pid=9031] vsize: 378676
Current children cumulated CPU time (s) 399.58
Current children cumulated vsize (Kb) 378676

[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139134 0 0 0 40629 328 0 0 25 0 1 0 21818454 388939776 79792 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 94956 79792 364 364 0 94592 0
[pid=9031] vsize: 379824
Current children cumulated CPU time (s) 409.57
Current children cumulated vsize (Kb) 379824

[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139712 0 0 0 41625 330 0 0 25 0 1 0 21818454 390516736 80047 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 95341 80047 364 364 0 94977 0
[pid=9031] vsize: 381364
Current children cumulated CPU time (s) 419.55
Current children cumulated vsize (Kb) 381364

[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139798 0 0 0 42623 331 0 0 25 0 1 0 21818454 390516736 80133 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 95341 80133 364 364 0 94977 0
[pid=9031] vsize: 381364
Current children cumulated CPU time (s) 429.54
Current children cumulated vsize (Kb) 381364

[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 140360 0 0 0 43621 332 0 0 25 0 1 0 21818454 392237056 80501 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 95761 80501 364 364 0 95397 0
[pid=9031] vsize: 383044
Current children cumulated CPU time (s) 439.53
Current children cumulated vsize (Kb) 383044

[startup+450.022 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141388 0 0 0 44617 335 0 0 25 0 1 0 21818454 395685888 81042 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 96603 81042 364 364 0 96239 0
[pid=9031] vsize: 386412
Current children cumulated CPU time (s) 449.52
Current children cumulated vsize (Kb) 386412

[startup+460.023 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141494 0 0 0 45614 336 0 0 25 0 1 0 21818454 396349440 81148 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 96765 81148 364 364 0 96401 0
[pid=9031] vsize: 387060
Current children cumulated CPU time (s) 459.5
Current children cumulated vsize (Kb) 387060

[startup+470.023 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141875 0 0 0 46611 338 0 0 25 0 1 0 21818454 397266944 81302 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 96989 81302 364 364 0 96625 0
[pid=9031] vsize: 387956
Current children cumulated CPU time (s) 469.49
Current children cumulated vsize (Kb) 387956

[startup+480.024 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 142054 0 0 0 47611 339 0 0 25 0 1 0 21818454 397791232 81352 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 97117 81352 364 364 0 96753 0
[pid=9031] vsize: 388468
Current children cumulated CPU time (s) 479.5
Current children cumulated vsize (Kb) 388468

[startup+490.025 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 143996 0 0 0 48605 344 0 0 25 0 1 0 21818454 398454784 81448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 97279 81448 364 364 0 96915 0
[pid=9031] vsize: 389116
Current children cumulated CPU time (s) 489.49
Current children cumulated vsize (Kb) 389116

[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 144162 0 0 0 49603 345 0 0 25 0 1 0 21818454 398979072 81484 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 97407 81484 364 364 0 97043 0
[pid=9031] vsize: 389628
Current children cumulated CPU time (s) 499.48
Current children cumulated vsize (Kb) 389628

[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 145030 0 0 0 50599 348 0 0 25 0 1 0 21818454 400814080 81900 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 97855 81900 364 364 0 97491 0
[pid=9031] vsize: 391420
Current children cumulated CPU time (s) 509.47
Current children cumulated vsize (Kb) 391420

[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 146759 0 0 0 51595 351 0 0 25 0 1 0 21818454 405286912 82755 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 98947 82755 364 364 0 98583 0
[pid=9031] vsize: 395788
Current children cumulated CPU time (s) 519.46
Current children cumulated vsize (Kb) 395788

[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 146860 0 0 0 52592 352 0 0 25 0 1 0 21818454 405684224 82823 4294967295 134512640 135987407 3221224560 3221223340 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99044 82823 364 364 0 98680 0
[pid=9031] vsize: 396176
Current children cumulated CPU time (s) 529.44
Current children cumulated vsize (Kb) 396176

[startup+540.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 147004 0 0 0 53585 356 0 0 25 0 1 0 21818454 405946368 82902 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99108 82902 364 364 0 98744 0
[pid=9031] vsize: 396432
Current children cumulated CPU time (s) 539.41
Current children cumulated vsize (Kb) 396432

[startup+550.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 147010 0 0 0 54568 362 0 0 25 0 1 0 21818454 405946368 82908 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99108 82908 364 364 0 98744 0
[pid=9031] vsize: 396432
Current children cumulated CPU time (s) 549.3
Current children cumulated vsize (Kb) 396432

[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149015 0 0 0 55554 370 0 0 25 0 1 0 21818454 406470656 83003 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99236 83003 364 364 0 98872 0
[pid=9031] vsize: 396944
Current children cumulated CPU time (s) 559.24
Current children cumulated vsize (Kb) 396944

[startup+570.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149016 0 0 0 56552 371 0 0 25 0 1 0 21818454 406470656 83004 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99236 83004 364 364 0 98872 0
[pid=9031] vsize: 396944
Current children cumulated CPU time (s) 569.23
Current children cumulated vsize (Kb) 396944

[startup+580.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149023 0 0 0 57552 371 0 0 25 0 1 0 21818454 406470656 83011 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99236 83011 364 364 0 98872 0
[pid=9031] vsize: 396944
Current children cumulated CPU time (s) 579.23
Current children cumulated vsize (Kb) 396944

[startup+590.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149050 0 0 0 58551 371 0 0 25 0 1 0 21818454 406470656 83038 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99236 83038 364 364 0 98872 0
[pid=9031] vsize: 396944
Current children cumulated CPU time (s) 589.22
Current children cumulated vsize (Kb) 396944

[startup+600.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149423 0 0 0 59551 372 0 0 25 0 1 0 21818454 407519232 83153 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99492 83153 364 364 0 99128 0
[pid=9031] vsize: 397968
Current children cumulated CPU time (s) 599.23
Current children cumulated vsize (Kb) 397968

[startup+610.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149424 0 0 0 60549 372 0 0 25 0 1 0 21818454 407519232 83154 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99492 83154 364 364 0 99128 0
[pid=9031] vsize: 397968
Current children cumulated CPU time (s) 609.21
Current children cumulated vsize (Kb) 397968

[startup+620.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149832 0 0 0 61546 373 0 0 25 0 1 0 21818454 408567808 83304 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 99748 83304 364 364 0 99384 0
[pid=9031] vsize: 398992
Current children cumulated CPU time (s) 619.19
Current children cumulated vsize (Kb) 398992

[startup+630.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150325 0 0 0 62545 374 0 0 25 0 1 0 21818454 409620480 83603 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100005 83603 364 364 0 99641 0
[pid=9031] vsize: 400020
Current children cumulated CPU time (s) 629.19
Current children cumulated vsize (Kb) 400020

[startup+640.032 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150455 0 0 0 63536 377 0 0 25 0 1 0 21818454 410292224 83733 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100169 83733 364 364 0 99805 0
[pid=9031] vsize: 400676
Current children cumulated CPU time (s) 639.13
Current children cumulated vsize (Kb) 400676

[startup+650.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150459 0 0 0 64525 381 0 0 25 0 1 0 21818454 410292224 83737 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100169 83737 364 364 0 99805 0
[pid=9031] vsize: 400676
Current children cumulated CPU time (s) 649.06
Current children cumulated vsize (Kb) 400676

[startup+660.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150687 0 0 0 65520 384 0 0 25 0 1 0 21818454 410951680 83836 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100330 83836 364 364 0 99966 0
[pid=9031] vsize: 401320
Current children cumulated CPU time (s) 659.04
Current children cumulated vsize (Kb) 401320

[startup+670.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150878 0 0 0 66516 385 0 0 25 0 1 0 21818454 411475968 83898 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100458 83898 364 364 0 100094 0
[pid=9031] vsize: 401832
Current children cumulated CPU time (s) 669.01
Current children cumulated vsize (Kb) 401832

[startup+680.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151014 0 0 0 67514 386 0 0 25 0 1 0 21818454 411738112 83969 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100522 83969 364 364 0 100158 0
[pid=9031] vsize: 402088
Current children cumulated CPU time (s) 679
Current children cumulated vsize (Kb) 402088

[startup+690.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151180 0 0 0 68511 387 0 0 25 0 1 0 21818454 412000256 84070 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100586 84070 364 364 0 100222 0
[pid=9031] vsize: 402344
Current children cumulated CPU time (s) 688.98
Current children cumulated vsize (Kb) 402344

[startup+700.035 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151264 0 0 0 69508 388 0 0 25 0 1 0 21818454 412532736 84154 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100716 84154 364 364 0 100352 0
[pid=9031] vsize: 402864
Current children cumulated CPU time (s) 698.96
Current children cumulated vsize (Kb) 402864

[startup+710.036 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151427 0 0 0 70505 389 0 0 25 0 1 0 21818454 413057024 84188 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 100844 84188 364 364 0 100480 0
[pid=9031] vsize: 403376
Current children cumulated CPU time (s) 708.94
Current children cumulated vsize (Kb) 403376

[startup+720.036 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151952 0 0 0 71503 391 0 0 25 0 1 0 21818454 414498816 84356 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101196 84356 364 364 0 100832 0
[pid=9031] vsize: 404784
Current children cumulated CPU time (s) 718.94
Current children cumulated vsize (Kb) 404784

[startup+730.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152161 0 0 0 72501 392 0 0 25 0 1 0 21818454 415023104 84436 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84436 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 728.93
Current children cumulated vsize (Kb) 405296

[startup+740.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152162 0 0 0 73501 392 0 0 25 0 1 0 21818454 415023104 84437 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84437 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 738.93
Current children cumulated vsize (Kb) 405296

[startup+750.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152168 0 0 0 74500 392 0 0 25 0 1 0 21818454 415023104 84443 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84443 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 748.92
Current children cumulated vsize (Kb) 405296

[startup+760.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152169 0 0 0 75500 392 0 0 25 0 1 0 21818454 415023104 84444 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84444 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 758.92
Current children cumulated vsize (Kb) 405296

[startup+770.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152248 0 0 0 76497 393 0 0 25 0 1 0 21818454 415023104 84523 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84523 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 768.9
Current children cumulated vsize (Kb) 405296

[startup+780.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152251 0 0 0 77493 394 0 0 25 0 1 0 21818454 415023104 84526 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9031/statm): 101324 84526 364 364 0 100960 0
[pid=9031] vsize: 405296
Current children cumulated CPU time (s) 778.87
Current children cumulated vsize (Kb) 405296

[startup+790.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 154265 0 0 0 78487 399 0 0 25 0 1 0 21818454 415682560 84661 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 101485 84661 364 364 0 101121 0
[pid=9031] vsize: 405940
Current children cumulated CPU time (s) 788.86
Current children cumulated vsize (Kb) 405940

[startup+800.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155384 0 0 0 79484 402 0 0 25 0 1 0 21818454 418566144 85072 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102189 85072 364 364 0 101825 0
[pid=9031] vsize: 408756
Current children cumulated CPU time (s) 798.86
Current children cumulated vsize (Kb) 408756

[startup+810.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155972 0 0 0 80482 404 0 0 25 0 1 0 21818454 420139008 85274 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102573 85274 364 364 0 102209 0
[pid=9031] vsize: 410292
Current children cumulated CPU time (s) 808.86
Current children cumulated vsize (Kb) 410292

[startup+820.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155973 0 0 0 81482 404 0 0 25 0 1 0 21818454 420139008 85275 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102573 85275 364 364 0 102209 0
[pid=9031] vsize: 410292
Current children cumulated CPU time (s) 818.86
Current children cumulated vsize (Kb) 410292

[startup+830.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155982 0 0 0 82481 405 0 0 25 0 1 0 21818454 420139008 85284 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102573 85284 364 364 0 102209 0
[pid=9031] vsize: 410292
Current children cumulated CPU time (s) 828.86
Current children cumulated vsize (Kb) 410292

[startup+840.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156337 0 0 0 83480 406 0 0 25 0 1 0 21818454 421187584 85382 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102829 85382 364 364 0 102465 0
[pid=9031] vsize: 411316
Current children cumulated CPU time (s) 838.86
Current children cumulated vsize (Kb) 411316

[startup+850.041 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156337 0 0 0 84480 406 0 0 25 0 1 0 21818454 421187584 85382 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102829 85382 364 364 0 102465 0
[pid=9031] vsize: 411316
Current children cumulated CPU time (s) 848.86
Current children cumulated vsize (Kb) 411316

[startup+860.041 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156503 0 0 0 85479 406 0 0 25 0 1 0 21818454 421711872 85419 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 102957 85419 364 364 0 102593 0
[pid=9031] vsize: 411828
Current children cumulated CPU time (s) 858.85
Current children cumulated vsize (Kb) 411828

[startup+870.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156896 0 0 0 86478 407 0 0 25 0 1 0 21818454 422760448 85555 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 103213 85555 364 364 0 102849 0
[pid=9031] vsize: 412852
Current children cumulated CPU time (s) 868.85
Current children cumulated vsize (Kb) 412852

[startup+880.041 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156969 0 0 0 87477 408 0 0 25 0 1 0 21818454 422760448 85628 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 103213 85628 364 364 0 102849 0
[pid=9031] vsize: 412852
Current children cumulated CPU time (s) 878.85
Current children cumulated vsize (Kb) 412852

[startup+890.042 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 157297 0 0 0 88476 408 0 0 25 0 1 0 21818454 423809024 85699 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 103469 85699 364 364 0 103105 0
[pid=9031] vsize: 413876
Current children cumulated CPU time (s) 888.84
Current children cumulated vsize (Kb) 413876

[startup+900.043 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 157541 0 0 0 89475 410 0 0 25 0 1 0 21818454 424333312 85814 4294967295 134512640 135987407 3221224560 3221223376 134824688 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 103597 85814 364 364 0 103233 0
[pid=9031] vsize: 414388
Current children cumulated CPU time (s) 898.85
Current children cumulated vsize (Kb) 414388

[startup+910.043 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 158098 0 0 0 90474 410 0 0 25 0 1 0 21818454 425381888 86112 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 103853 86112 364 364 0 103489 0
[pid=9031] vsize: 415412
Current children cumulated CPU time (s) 908.84
Current children cumulated vsize (Kb) 415412

[startup+920.043 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 158694 0 0 0 91473 411 0 0 25 0 1 0 21818454 426954752 86322 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 104237 86322 364 364 0 103873 0
[pid=9031] vsize: 416948
Current children cumulated CPU time (s) 918.84
Current children cumulated vsize (Kb) 416948

[startup+930.044 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 159633 0 0 0 92472 413 0 0 25 0 1 0 21818454 429576192 86618 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 104877 86618 364 364 0 104513 0
[pid=9031] vsize: 419508
Current children cumulated CPU time (s) 928.85
Current children cumulated vsize (Kb) 419508

[startup+940.043 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160340 0 0 0 93470 414 0 0 25 0 1 0 21818454 431149056 86939 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 105261 86939 364 364 0 104897 0
[pid=9031] vsize: 421044
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (Kb) 421044

[startup+950.045 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160341 0 0 0 94469 415 0 0 25 0 1 0 21818454 431149056 86940 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 105261 86940 364 364 0 104897 0
[pid=9031] vsize: 421044
Current children cumulated CPU time (s) 948.84
Current children cumulated vsize (Kb) 421044

[startup+960.045 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160490 0 0 0 95466 416 0 0 25 0 1 0 21818454 431149056 87089 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 105261 87089 364 364 0 104897 0
[pid=9031] vsize: 421044
Current children cumulated CPU time (s) 958.82
Current children cumulated vsize (Kb) 421044

[startup+970.045 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160625 0 0 0 96464 417 0 0 25 0 1 0 21818454 431149056 87224 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 105261 87224 364 364 0 104897 0
[pid=9031] vsize: 421044
Current children cumulated CPU time (s) 968.81
Current children cumulated vsize (Kb) 421044

[startup+980.046 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 161596 0 0 0 97462 419 0 0 25 0 1 0 21818454 433770496 87552 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 105901 87552 364 364 0 105537 0
[pid=9031] vsize: 423604
Current children cumulated CPU time (s) 978.81
Current children cumulated vsize (Kb) 423604

[startup+990.047 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 162513 0 0 0 98460 420 0 0 25 0 1 0 21818454 435343360 88083 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 106285 88083 364 364 0 105921 0
[pid=9031] vsize: 425140
Current children cumulated CPU time (s) 988.8
Current children cumulated vsize (Kb) 425140

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 163665 0 0 0 99457 423 0 0 25 0 1 0 21818454 437964800 88592 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 106925 88592 364 364 0 106561 0
[pid=9031] vsize: 427700
Current children cumulated CPU time (s) 998.8
Current children cumulated vsize (Kb) 427700

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 165446 0 0 0 100453 427 0 0 25 0 1 0 21818454 437964800 88592 4294967295 134512640 135987407 3221224560 3221223176 134775385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 106925 88592 364 364 0 106561 0
[pid=9031] vsize: 427700
Current children cumulated CPU time (s) 1008.8
Current children cumulated vsize (Kb) 427700

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 166865 0 0 0 101449 430 0 0 25 0 1 0 21818454 441110528 89239 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 107693 89239 364 364 0 107329 0
[pid=9031] vsize: 430772
Current children cumulated CPU time (s) 1018.79
Current children cumulated vsize (Kb) 430772

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168472 0 0 0 102441 435 0 0 25 0 1 0 21818454 445304832 89819 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 108717 89819 364 364 0 108353 0
[pid=9031] vsize: 434868
Current children cumulated CPU time (s) 1028.76
Current children cumulated vsize (Kb) 434868

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168474 0 0 0 103433 438 0 0 25 0 1 0 21818454 445304832 89821 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 108717 89821 364 364 0 108353 0
[pid=9031] vsize: 434868
Current children cumulated CPU time (s) 1038.71
Current children cumulated vsize (Kb) 434868

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168474 0 0 0 104431 439 0 0 25 0 1 0 21818454 445304832 89821 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 108717 89821 364 364 0 108353 0
[pid=9031] vsize: 434868
Current children cumulated CPU time (s) 1048.7
Current children cumulated vsize (Kb) 434868

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168501 0 0 0 105429 439 0 0 25 0 1 0 21818454 445304832 89848 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 108717 89848 364 364 0 108353 0
[pid=9031] vsize: 434868
Current children cumulated CPU time (s) 1058.68
Current children cumulated vsize (Kb) 434868

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168886 0 0 0 106427 441 0 0 25 0 1 0 21818454 446353408 89976 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 108973 89976 364 364 0 108609 0
[pid=9031] vsize: 435892
Current children cumulated CPU time (s) 1068.68
Current children cumulated vsize (Kb) 435892

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169144 0 0 0 107425 442 0 0 25 0 1 0 21818454 446877696 90105 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109101 90105 364 364 0 108737 0
[pid=9031] vsize: 436404
Current children cumulated CPU time (s) 1078.67
Current children cumulated vsize (Kb) 436404

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169145 0 0 0 108422 443 0 0 25 0 1 0 21818454 446877696 90106 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109101 90106 364 364 0 108737 0
[pid=9031] vsize: 436404
Current children cumulated CPU time (s) 1088.65
Current children cumulated vsize (Kb) 436404

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169145 0 0 0 109419 444 0 0 25 0 1 0 21818454 446877696 90106 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109101 90106 364 364 0 108737 0
[pid=9031] vsize: 436404
Current children cumulated CPU time (s) 1098.63
Current children cumulated vsize (Kb) 436404

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169146 0 0 0 110417 445 0 0 25 0 1 0 21818454 446877696 90107 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109101 90107 364 364 0 108737 0
[pid=9031] vsize: 436404
Current children cumulated CPU time (s) 1108.62
Current children cumulated vsize (Kb) 436404

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169146 0 0 0 111415 445 0 0 25 0 1 0 21818454 446877696 90107 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109101 90107 364 364 0 108737 0
[pid=9031] vsize: 436404
Current children cumulated CPU time (s) 1118.6
Current children cumulated vsize (Kb) 436404

[startup+1130.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169579 0 0 0 112412 447 0 0 25 0 1 0 21818454 447926272 90283 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109357 90283 364 364 0 108993 0
[pid=9031] vsize: 437428
Current children cumulated CPU time (s) 1128.59
Current children cumulated vsize (Kb) 437428

[startup+1140.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169579 0 0 0 113410 448 0 0 25 0 1 0 21818454 447926272 90283 4294967295 134512640 135987407 3221224560 3221223344 134812287 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109357 90283 364 364 0 108993 0
[pid=9031] vsize: 437428
Current children cumulated CPU time (s) 1138.58
Current children cumulated vsize (Kb) 437428

[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169900 0 0 0 114408 449 0 0 25 0 1 0 21818454 448712704 90410 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109549 90410 364 364 0 109185 0
[pid=9031] vsize: 438196
Current children cumulated CPU time (s) 1148.57
Current children cumulated vsize (Kb) 438196

[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169900 0 0 0 115406 450 0 0 25 0 1 0 21818454 448712704 90410 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109549 90410 364 364 0 109185 0
[pid=9031] vsize: 438196
Current children cumulated CPU time (s) 1158.56
Current children cumulated vsize (Kb) 438196

[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170000 0 0 0 116405 450 0 0 25 0 1 0 21818454 448712704 90510 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109549 90510 364 364 0 109185 0
[pid=9031] vsize: 438196
Current children cumulated CPU time (s) 1168.55
Current children cumulated vsize (Kb) 438196

[startup+1180.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170010 0 0 0 117403 451 0 0 25 0 1 0 21818454 448712704 90520 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109549 90520 364 364 0 109185 0
[pid=9031] vsize: 438196
Current children cumulated CPU time (s) 1178.54
Current children cumulated vsize (Kb) 438196

[startup+1190.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170610 0 0 0 118400 453 0 0 25 0 1 0 21818454 450416640 90765 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 109965 90765 364 364 0 109601 0
[pid=9031] vsize: 439860
Current children cumulated CPU time (s) 1188.53
Current children cumulated vsize (Kb) 439860

[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 119397 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0
[pid=9031] vsize: 441140
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (Kb) 441140

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 120395 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0
[pid=9031] vsize: 441140
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 441140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9094
Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 120395 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0
[pid=9031] vsize: 441140
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 441140

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

Child status: 0
Real time (s): 1211.68
CPU time (s): 1210.12
CPU user time (s): 1205.38
CPU system time (s): 4.73828
CPU usage (%): 99.871
Max. virtual memory (cumulated for all children) (Kb): 441140

Verifier Data

ERROR: no interpretation found !