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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb
MD5SUM7604157ea8afc3404bc57ce8776c9667
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16879837
Optimality of the best value was proved NO
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1503282307720
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1503282307720
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208
Number of variables7936
Total number of constraints324
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints324
Minimum length of a constraint31
Maximum length of a constraint1920

Trace number 10200

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922628 kB
Buffers:         12072 kB
Cached:          82720 kB
SwapCached:          0 kB
Active:          44708 kB
Inactive:        52996 kB
HighTotal:      131008 kB
HighFree:        48664 kB
LowTotal:       903652 kB
LowFree:        873964 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8724 kB
Committed_AS:    63632 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:38:31 (client local time) WITH STATUS 0 IN 1207.6 SECONDS
stats: 8906 7 1207.6 0

Solver Data

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

c Decision: 29316/609855	Time: 72.63/86400
c Decision: 29322/609855	Time: 135.265/86400
c Decision: 29329/609855	Time: 193.694/86400
c Decision: 29332/609855	Time: 236.113/86400
c Decision: 29332/609855	Time: 294.398/86400
c Decision: 29332/609855	Time: 351.727/86400
c Decision: 29383/609855	Time: 584.601/86400
c Decision: 29423/609855	Time: 853.742/86400
c Decision: 29458/609855	Time: 976.231/86400
c Decision: 29487/609855	Time: 1125.62/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/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21887878 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 373 2 364 364 0 9 0
[pid=9502] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ran4x64.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 28186 0 0 0 932 64 0 0 25 0 1 0 21887878 86548480 17053 4294967295 134512640 135987407 3221224560 3220815808 134560518 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 21130 17053 364 364 0 20766 0
[pid=9502] vsize: 84520
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 84520

[startup+20.0032 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 55868 0 0 0 1876 120 0 0 25 0 1 0 21887878 163315712 33497 4294967295 134512640 135987407 3221224560 3220689128 134636909 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 39872 33497 364 364 0 39508 0
[pid=9502] vsize: 159488
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 159488

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 96464 0 0 0 2785 208 0 0 25 0 1 0 21887878 289816576 51908 4294967295 134512640 135987407 3221224560 3221223096 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 70756 51908 364 364 0 70392 0
[pid=9502] vsize: 283024
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 283024

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.96 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 99135 0 0 0 3735 229 0 0 25 0 1 0 21887878 296472576 53387 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9502/statm): 72381 53387 364 364 0 72017 0
[pid=9502] vsize: 289524
Current children cumulated CPU time (s) 39.64
Current children cumulated vsize (Kb) 289524

[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 100212 0 0 0 4682 246 0 0 25 0 1 0 21887878 301735936 54464 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 73666 54464 364 364 0 73302 0
[pid=9502] vsize: 294664
Current children cumulated CPU time (s) 49.28
Current children cumulated vsize (Kb) 294664

[startup+60.005 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 100928 0 0 0 5633 263 0 0 25 0 1 0 21887878 305156096 55180 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 74501 55180 364 364 0 74137 0
[pid=9502] vsize: 298004
Current children cumulated CPU time (s) 58.96
Current children cumulated vsize (Kb) 298004

[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 101629 0 0 0 6585 283 0 0 25 0 1 0 21887878 308596736 55881 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 75341 55881 364 364 0 74977 0
[pid=9502] vsize: 301364
Current children cumulated CPU time (s) 68.68
Current children cumulated vsize (Kb) 301364

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 102677 0 0 0 7541 298 0 0 25 0 1 0 21887878 314376192 56929 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 76752 56929 364 364 0 76388 0
[pid=9502] vsize: 307008
Current children cumulated CPU time (s) 78.39
Current children cumulated vsize (Kb) 307008

[startup+90.0063 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 103466 0 0 0 8497 314 0 0 25 0 1 0 21887878 318406656 57718 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 77736 57718 364 364 0 77372 0
[pid=9502] vsize: 310944
Current children cumulated CPU time (s) 88.11
Current children cumulated vsize (Kb) 310944

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 103761 0 0 0 9466 324 0 0 25 0 1 0 21887878 320339968 58013 4294967295 134512640 135987407 3221224560 3221223200 134789457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 78208 58013 364 364 0 77844 0
[pid=9502] vsize: 312832
Current children cumulated CPU time (s) 97.9
Current children cumulated vsize (Kb) 312832

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 105043 0 0 0 10430 339 0 0 25 0 1 0 21887878 320897024 58103 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 78344 58103 364 364 0 77980 0
[pid=9502] vsize: 313376
Current children cumulated CPU time (s) 107.69
Current children cumulated vsize (Kb) 313376

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 105399 0 0 0 11387 352 0 0 25 0 1 0 21887878 322895872 58459 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 78832 58459 364 364 0 78468 0
[pid=9502] vsize: 315328
Current children cumulated CPU time (s) 117.39
Current children cumulated vsize (Kb) 315328

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 105694 0 0 0 12345 367 0 0 25 0 1 0 21887878 324517888 58754 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 79228 58754 364 364 0 78864 0
[pid=9502] vsize: 316912
Current children cumulated CPU time (s) 127.12
Current children cumulated vsize (Kb) 316912

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 105905 0 0 0 13311 380 0 0 25 0 1 0 21887878 325898240 58965 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 79565 58965 364 364 0 79201 0
[pid=9502] vsize: 318260
Current children cumulated CPU time (s) 136.91
Current children cumulated vsize (Kb) 318260

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 106117 0 0 0 14274 392 0 0 25 0 1 0 21887878 327340032 59177 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 79917 59177 364 364 0 79553 0
[pid=9502] vsize: 319668
Current children cumulated CPU time (s) 146.66
Current children cumulated vsize (Kb) 319668

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 106293 0 0 0 15238 402 0 0 25 0 1 0 21887878 328519680 59353 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 80205 59353 364 364 0 79841 0
[pid=9502] vsize: 320820
Current children cumulated CPU time (s) 156.4
Current children cumulated vsize (Kb) 320820

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 107707 0 0 0 16199 417 0 0 25 0 1 0 21887878 329945088 59575 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 80553 59575 364 364 0 80189 0
[pid=9502] vsize: 322212
Current children cumulated CPU time (s) 166.16
Current children cumulated vsize (Kb) 322212

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 107805 0 0 0 17154 431 0 0 25 0 1 0 21887878 330534912 59673 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 80697 59673 364 364 0 80333 0
[pid=9502] vsize: 322788
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (Kb) 322788

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 107944 0 0 0 18121 441 0 0 25 0 1 0 21887878 331485184 59812 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 80929 59812 364 364 0 80565 0
[pid=9502] vsize: 323716
Current children cumulated CPU time (s) 185.62
Current children cumulated vsize (Kb) 323716

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 108014 0 0 0 19087 452 0 0 25 0 1 0 21887878 331845632 59882 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81017 59882 364 364 0 80653 0
[pid=9502] vsize: 324068
Current children cumulated CPU time (s) 195.39
Current children cumulated vsize (Kb) 324068

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 108165 0 0 0 20056 465 0 0 25 0 1 0 21887878 332828672 60033 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81257 60033 364 364 0 80893 0
[pid=9502] vsize: 325028
Current children cumulated CPU time (s) 205.21
Current children cumulated vsize (Kb) 325028

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 108296 0 0 0 21022 477 0 0 25 0 1 0 21887878 333811712 60164 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 81497 60164 364 364 0 81133 0
[pid=9502] vsize: 325988
Current children cumulated CPU time (s) 214.99
Current children cumulated vsize (Kb) 325988

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 109544 0 0 0 21989 489 0 0 25 0 1 0 21887878 334204928 60220 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81593 60220 364 364 0 81229 0
[pid=9502] vsize: 326372
Current children cumulated CPU time (s) 224.78
Current children cumulated vsize (Kb) 326372

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 109597 0 0 0 22951 501 0 0 25 0 1 0 21887878 334368768 60273 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81633 60273 364 364 0 81269 0
[pid=9502] vsize: 326532
Current children cumulated CPU time (s) 234.52
Current children cumulated vsize (Kb) 326532

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 109663 0 0 0 23913 512 0 0 25 0 1 0 21887878 334696448 60339 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81713 60339 364 364 0 81349 0
[pid=9502] vsize: 326852
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 326852

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 109686 0 0 0 24879 524 0 0 25 0 1 0 21887878 334860288 60362 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 81753 60362 364 364 0 81389 0
[pid=9502] vsize: 327012
Current children cumulated CPU time (s) 254.03
Current children cumulated vsize (Kb) 327012

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 110928 0 0 0 25847 537 0 0 25 0 1 0 21887878 340135936 61604 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 83041 61604 364 364 0 82677 0
[pid=9502] vsize: 332164
Current children cumulated CPU time (s) 263.84
Current children cumulated vsize (Kb) 332164

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 110991 0 0 0 26810 549 0 0 25 0 1 0 21887878 335646720 60475 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 81945 60475 364 364 0 81581 0
[pid=9502] vsize: 327780
Current children cumulated CPU time (s) 273.59
Current children cumulated vsize (Kb) 327780

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 111064 0 0 0 27770 562 0 0 25 0 1 0 21887878 335974400 60548 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82025 60548 364 364 0 81661 0
[pid=9502] vsize: 328100
Current children cumulated CPU time (s) 283.32
Current children cumulated vsize (Kb) 328100

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 111228 0 0 0 28725 577 0 0 25 0 1 0 21887878 336957440 60712 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82265 60712 364 364 0 81901 0
[pid=9502] vsize: 329060
Current children cumulated CPU time (s) 293.02
Current children cumulated vsize (Kb) 329060

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 111318 0 0 0 29691 589 0 0 25 0 1 0 21887878 337448960 60802 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 82385 60802 364 364 0 82021 0
[pid=9502] vsize: 329540
Current children cumulated CPU time (s) 302.8
Current children cumulated vsize (Kb) 329540

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 111385 0 0 0 30660 600 0 0 21 0 1 0 21887878 337809408 60869 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82473 60869 364 364 0 82109 0
[pid=9502] vsize: 329892
Current children cumulated CPU time (s) 312.6
Current children cumulated vsize (Kb) 329892

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 112682 0 0 0 31634 611 0 0 25 0 1 0 21887878 343412736 62166 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 83841 62166 364 364 0 83477 0
[pid=9502] vsize: 335364
Current children cumulated CPU time (s) 322.45
Current children cumulated vsize (Kb) 335364

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 112771 0 0 0 32604 620 0 0 25 0 1 0 21887878 338923520 61063 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82745 61063 364 364 0 82381 0
[pid=9502] vsize: 330980
Current children cumulated CPU time (s) 332.24
Current children cumulated vsize (Kb) 330980

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 112849 0 0 0 33574 629 0 0 25 0 1 0 21887878 339316736 61141 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82841 61141 364 364 0 82477 0
[pid=9502] vsize: 331364
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (Kb) 331364

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 112915 0 0 0 34544 641 0 0 25 0 1 0 21887878 339808256 61207 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 82961 61207 364 364 0 82597 0
[pid=9502] vsize: 331844
Current children cumulated CPU time (s) 351.85
Current children cumulated vsize (Kb) 331844

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 113018 0 0 0 35517 650 0 0 25 0 1 0 21887878 340365312 61310 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83097 61310 364 364 0 82733 0
[pid=9502] vsize: 332388
Current children cumulated CPU time (s) 361.67
Current children cumulated vsize (Kb) 332388

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 113114 0 0 0 36493 659 0 0 25 0 1 0 21887878 340922368 61406 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83233 61406 364 364 0 82869 0
[pid=9502] vsize: 332932
Current children cumulated CPU time (s) 371.52
Current children cumulated vsize (Kb) 332932

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114335 0 0 0 37477 666 0 0 25 0 1 0 21887878 341118976 61435 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83281 61435 364 364 0 82917 0
[pid=9502] vsize: 333124
Current children cumulated CPU time (s) 381.43
Current children cumulated vsize (Kb) 333124

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114447 0 0 0 38437 680 0 0 25 0 1 0 21887878 341807104 61547 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83449 61547 364 364 0 83085 0
[pid=9502] vsize: 333796
Current children cumulated CPU time (s) 391.17
Current children cumulated vsize (Kb) 333796

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 114600 0 0 0 39393 695 0 0 25 0 1 0 21887878 342822912 61700 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83697 61700 364 364 0 83333 0
[pid=9502] vsize: 334788
Current children cumulated CPU time (s) 400.88
Current children cumulated vsize (Kb) 334788

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 114691 0 0 0 40352 710 0 0 25 0 1 0 21887878 343379968 61791 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83833 61791 364 364 0 83469 0
[pid=9502] vsize: 335332
Current children cumulated CPU time (s) 410.62
Current children cumulated vsize (Kb) 335332

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114706 0 0 0 41323 718 0 0 25 0 1 0 21887878 343379968 61806 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 83833 61806 364 364 0 83469 0
[pid=9502] vsize: 335332
Current children cumulated CPU time (s) 420.41
Current children cumulated vsize (Kb) 335332

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114749 0 0 0 42291 728 0 0 25 0 1 0 21887878 343576576 61849 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83881 61849 364 364 0 83517 0
[pid=9502] vsize: 335524
Current children cumulated CPU time (s) 430.19
Current children cumulated vsize (Kb) 335524

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114810 0 0 0 43266 736 0 0 25 0 1 0 21887878 343969792 61910 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83977 61910 364 364 0 83613 0
[pid=9502] vsize: 335908
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 335908

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114815 0 0 0 44233 747 0 0 25 0 1 0 21887878 343969792 61915 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83977 61915 364 364 0 83613 0
[pid=9502] vsize: 335908
Current children cumulated CPU time (s) 449.8
Current children cumulated vsize (Kb) 335908

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114820 0 0 0 45199 759 0 0 25 0 1 0 21887878 343969792 61920 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83977 61920 364 364 0 83613 0
[pid=9502] vsize: 335908
Current children cumulated CPU time (s) 459.58
Current children cumulated vsize (Kb) 335908

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114823 0 0 0 46170 768 0 0 25 0 1 0 21887878 343969792 61923 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83977 61923 364 364 0 83613 0
[pid=9502] vsize: 335908
Current children cumulated CPU time (s) 469.38
Current children cumulated vsize (Kb) 335908

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114826 0 0 0 47140 779 0 0 25 0 1 0 21887878 343969792 61926 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 83977 61926 364 364 0 83613 0
[pid=9502] vsize: 335908
Current children cumulated CPU time (s) 479.19
Current children cumulated vsize (Kb) 335908

[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114854 0 0 0 48111 788 0 0 25 0 1 0 21887878 344166400 61954 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84025 61954 364 364 0 83661 0
[pid=9502] vsize: 336100
Current children cumulated CPU time (s) 488.99
Current children cumulated vsize (Kb) 336100

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 114884 0 0 0 49079 799 0 0 25 0 1 0 21887878 344363008 61984 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84073 61984 364 364 0 83709 0
[pid=9502] vsize: 336292
Current children cumulated CPU time (s) 498.78
Current children cumulated vsize (Kb) 336292

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114894 0 0 0 50056 807 0 0 25 0 1 0 21887878 344559616 61994 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 84121 61994 364 364 0 83757 0
[pid=9502] vsize: 336484
Current children cumulated CPU time (s) 508.63
Current children cumulated vsize (Kb) 336484

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114897 0 0 0 51032 814 0 0 25 0 1 0 21887878 344559616 61997 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84121 61997 364 364 0 83757 0
[pid=9502] vsize: 336484
Current children cumulated CPU time (s) 518.46
Current children cumulated vsize (Kb) 336484

[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114899 0 0 0 52009 822 0 0 25 0 1 0 21887878 344559616 61999 4294967295 134512640 135987407 3221224560 3221223248 134811918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84121 61999 364 364 0 83757 0
[pid=9502] vsize: 336484
Current children cumulated CPU time (s) 528.31
Current children cumulated vsize (Kb) 336484

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 114900 0 0 0 52986 830 0 0 25 0 1 0 21887878 344559616 62000 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 84121 62000 364 364 0 83757 0
[pid=9502] vsize: 336484
Current children cumulated CPU time (s) 538.16
Current children cumulated vsize (Kb) 336484

[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114916 0 0 0 53958 840 0 0 25 0 1 0 21887878 344559616 62016 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84121 62016 364 364 0 83757 0
[pid=9502] vsize: 336484
Current children cumulated CPU time (s) 547.98
Current children cumulated vsize (Kb) 336484

[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 114948 0 0 0 54932 848 0 0 25 0 1 0 21887878 344756224 62048 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84169 62048 364 364 0 83805 0
[pid=9502] vsize: 336676
Current children cumulated CPU time (s) 557.8
Current children cumulated vsize (Kb) 336676

[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 115002 0 0 0 55901 859 0 0 25 0 1 0 21887878 345149440 62102 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84265 62102 364 364 0 83901 0
[pid=9502] vsize: 337060
Current children cumulated CPU time (s) 567.6
Current children cumulated vsize (Kb) 337060

[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 115036 0 0 0 56870 869 0 0 25 0 1 0 21887878 345313280 62136 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84305 62136 364 364 0 83941 0
[pid=9502] vsize: 337220
Current children cumulated CPU time (s) 577.39
Current children cumulated vsize (Kb) 337220

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 115058 0 0 0 57844 877 0 0 25 0 1 0 21887878 345313280 62158 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84305 62158 364 364 0 83941 0
[pid=9502] vsize: 337220
Current children cumulated CPU time (s) 587.21
Current children cumulated vsize (Kb) 337220

[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 115060 0 0 0 58813 889 0 0 25 0 1 0 21887878 345313280 62160 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84305 62160 364 364 0 83941 0
[pid=9502] vsize: 337220
Current children cumulated CPU time (s) 597.02
Current children cumulated vsize (Kb) 337220

[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 115063 0 0 0 59789 897 0 0 25 0 1 0 21887878 345313280 62163 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 84305 62163 364 364 0 83941 0
[pid=9502] vsize: 337220
Current children cumulated CPU time (s) 606.86
Current children cumulated vsize (Kb) 337220

[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116294 0 0 0 60767 906 0 0 25 0 1 0 21887878 345706496 62202 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84401 62202 364 364 0 84037 0
[pid=9502] vsize: 337604
Current children cumulated CPU time (s) 616.73
Current children cumulated vsize (Kb) 337604

[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116306 0 0 0 61730 918 0 0 25 0 1 0 21887878 345706496 62214 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84401 62214 364 364 0 84037 0
[pid=9502] vsize: 337604
Current children cumulated CPU time (s) 626.48
Current children cumulated vsize (Kb) 337604

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116345 0 0 0 62703 927 0 0 25 0 1 0 21887878 345903104 62253 4294967295 134512640 135987407 3221224560 3221223424 134812632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84449 62253 364 364 0 84085 0
[pid=9502] vsize: 337796
Current children cumulated CPU time (s) 636.3
Current children cumulated vsize (Kb) 337796

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116368 0 0 0 63676 935 0 0 25 0 1 0 21887878 346099712 62276 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84497 62276 364 364 0 84133 0
[pid=9502] vsize: 337988
Current children cumulated CPU time (s) 646.11
Current children cumulated vsize (Kb) 337988

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116450 0 0 0 64641 946 0 0 25 0 1 0 21887878 346492928 62358 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84593 62358 364 364 0 84229 0
[pid=9502] vsize: 338372
Current children cumulated CPU time (s) 655.87
Current children cumulated vsize (Kb) 338372

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116510 0 0 0 65612 956 0 0 25 0 1 0 21887878 346886144 62418 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84689 62418 364 364 0 84325 0
[pid=9502] vsize: 338756
Current children cumulated CPU time (s) 665.68
Current children cumulated vsize (Kb) 338756

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116533 0 0 0 66579 967 0 0 25 0 1 0 21887878 347082752 62441 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84737 62441 364 364 0 84373 0
[pid=9502] vsize: 338948
Current children cumulated CPU time (s) 675.46
Current children cumulated vsize (Kb) 338948

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116587 0 0 0 67549 977 0 0 25 0 1 0 21887878 347475968 62495 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84833 62495 364 364 0 84469 0
[pid=9502] vsize: 339332
Current children cumulated CPU time (s) 685.26
Current children cumulated vsize (Kb) 339332

[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116630 0 0 0 68519 988 0 0 25 0 1 0 21887878 347672576 62538 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 84881 62538 364 364 0 84517 0
[pid=9502] vsize: 339524
Current children cumulated CPU time (s) 695.07
Current children cumulated vsize (Kb) 339524

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116641 0 0 0 69487 999 0 0 25 0 1 0 21887878 347672576 62549 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84881 62549 364 364 0 84517 0
[pid=9502] vsize: 339524
Current children cumulated CPU time (s) 704.86
Current children cumulated vsize (Kb) 339524

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116663 0 0 0 70465 1006 0 0 25 0 1 0 21887878 347869184 62571 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84929 62571 364 364 0 84565 0
[pid=9502] vsize: 339716
Current children cumulated CPU time (s) 714.71
Current children cumulated vsize (Kb) 339716

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116667 0 0 0 71432 1017 0 0 25 0 1 0 21887878 347869184 62575 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84929 62575 364 364 0 84565 0
[pid=9502] vsize: 339716
Current children cumulated CPU time (s) 724.49
Current children cumulated vsize (Kb) 339716

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116704 0 0 0 72404 1027 0 0 25 0 1 0 21887878 348065792 62612 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84977 62612 364 364 0 84613 0
[pid=9502] vsize: 339908
Current children cumulated CPU time (s) 734.31
Current children cumulated vsize (Kb) 339908

[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116708 0 0 0 73380 1034 0 0 25 0 1 0 21887878 348065792 62616 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 84977 62616 364 364 0 84613 0
[pid=9502] vsize: 339908
Current children cumulated CPU time (s) 744.14
Current children cumulated vsize (Kb) 339908

[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116733 0 0 0 74351 1043 0 0 25 0 1 0 21887878 348262400 62641 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85025 62641 364 364 0 84661 0
[pid=9502] vsize: 340100
Current children cumulated CPU time (s) 753.94
Current children cumulated vsize (Kb) 340100

[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116756 0 0 0 75319 1052 0 0 25 0 1 0 21887878 348262400 62664 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85025 62664 364 364 0 84661 0
[pid=9502] vsize: 340100
Current children cumulated CPU time (s) 763.71
Current children cumulated vsize (Kb) 340100

[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116760 0 0 0 76296 1059 0 0 25 0 1 0 21887878 348262400 62668 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85025 62668 364 364 0 84661 0
[pid=9502] vsize: 340100
Current children cumulated CPU time (s) 773.55
Current children cumulated vsize (Kb) 340100

[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116829 0 0 0 77265 1070 0 0 25 0 1 0 21887878 348655616 62737 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85121 62737 364 364 0 84757 0
[pid=9502] vsize: 340484
Current children cumulated CPU time (s) 783.35
Current children cumulated vsize (Kb) 340484

[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116864 0 0 0 78243 1078 0 0 25 0 1 0 21887878 348852224 62772 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85169 62772 364 364 0 84805 0
[pid=9502] vsize: 340676
Current children cumulated CPU time (s) 793.21
Current children cumulated vsize (Kb) 340676

[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116866 0 0 0 79221 1086 0 0 25 0 1 0 21887878 348852224 62774 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85169 62774 364 364 0 84805 0
[pid=9502] vsize: 340676
Current children cumulated CPU time (s) 803.07
Current children cumulated vsize (Kb) 340676

[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 116894 0 0 0 80188 1096 0 0 25 0 1 0 21887878 349048832 62802 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85217 62802 364 364 0 84853 0
[pid=9502] vsize: 340868
Current children cumulated CPU time (s) 812.84
Current children cumulated vsize (Kb) 340868

[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116909 0 0 0 81160 1105 0 0 25 0 1 0 21887878 349048832 62817 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85217 62817 364 364 0 84853 0
[pid=9502] vsize: 340868
Current children cumulated CPU time (s) 822.65
Current children cumulated vsize (Kb) 340868

[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116915 0 0 0 82140 1113 0 0 25 0 1 0 21887878 349048832 62823 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85217 62823 364 364 0 84853 0
[pid=9502] vsize: 340868
Current children cumulated CPU time (s) 832.53
Current children cumulated vsize (Kb) 340868

[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116939 0 0 0 83115 1121 0 0 25 0 1 0 21887878 349245440 62847 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85265 62847 364 364 0 84901 0
[pid=9502] vsize: 341060
Current children cumulated CPU time (s) 842.36
Current children cumulated vsize (Kb) 341060

[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 116942 0 0 0 84093 1129 0 0 25 0 1 0 21887878 349245440 62850 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85265 62850 364 364 0 84901 0
[pid=9502] vsize: 341060
Current children cumulated CPU time (s) 852.22
Current children cumulated vsize (Kb) 341060

[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 116959 0 0 0 85070 1137 0 0 25 0 1 0 21887878 349245440 62867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85265 62867 364 364 0 84901 0
[pid=9502] vsize: 341060
Current children cumulated CPU time (s) 862.07
Current children cumulated vsize (Kb) 341060

[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 116978 0 0 0 86046 1146 0 0 25 0 1 0 21887878 349442048 62886 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85313 62886 364 364 0 84949 0
[pid=9502] vsize: 341252
Current children cumulated CPU time (s) 871.92
Current children cumulated vsize (Kb) 341252

[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118181 0 0 0 87021 1157 0 0 25 0 1 0 21887878 354324480 64089 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 86505 64089 364 364 0 86141 0
[pid=9502] vsize: 346020
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (Kb) 346020

[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118191 0 0 0 87992 1168 0 0 25 0 1 0 21887878 349442048 62907 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85313 62907 364 364 0 84949 0
[pid=9502] vsize: 341252
Current children cumulated CPU time (s) 891.6
Current children cumulated vsize (Kb) 341252

[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118215 0 0 0 88968 1174 0 0 25 0 1 0 21887878 349638656 62931 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85361 62931 364 364 0 84997 0
[pid=9502] vsize: 341444
Current children cumulated CPU time (s) 901.42
Current children cumulated vsize (Kb) 341444

[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118221 0 0 0 89944 1181 0 0 25 0 1 0 21887878 349638656 62937 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85361 62937 364 364 0 84997 0
[pid=9502] vsize: 341444
Current children cumulated CPU time (s) 911.25
Current children cumulated vsize (Kb) 341444

[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118235 0 0 0 90914 1190 0 0 25 0 1 0 21887878 349638656 62951 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85361 62951 364 364 0 84997 0
[pid=9502] vsize: 341444
Current children cumulated CPU time (s) 921.04
Current children cumulated vsize (Kb) 341444

[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118260 0 0 0 91889 1198 0 0 25 0 1 0 21887878 349802496 62976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85401 62976 364 364 0 85037 0
[pid=9502] vsize: 341604
Current children cumulated CPU time (s) 930.87
Current children cumulated vsize (Kb) 341604

[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 118285 0 0 0 92861 1208 0 0 25 0 1 0 21887878 349999104 63001 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85449 63001 364 364 0 85085 0
[pid=9502] vsize: 341796
Current children cumulated CPU time (s) 940.69
Current children cumulated vsize (Kb) 341796

[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118299 0 0 0 93836 1216 0 0 25 0 1 0 21887878 349999104 63015 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85449 63015 364 364 0 85085 0
[pid=9502] vsize: 341796
Current children cumulated CPU time (s) 950.52
Current children cumulated vsize (Kb) 341796

[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118301 0 0 0 94815 1223 0 0 25 0 1 0 21887878 349999104 63017 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85449 63017 364 364 0 85085 0
[pid=9502] vsize: 341796
Current children cumulated CPU time (s) 960.38
Current children cumulated vsize (Kb) 341796

[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118322 0 0 0 95793 1231 0 0 25 0 1 0 21887878 350195712 63038 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85497 63038 364 364 0 85133 0
[pid=9502] vsize: 341988
Current children cumulated CPU time (s) 970.24
Current children cumulated vsize (Kb) 341988

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118324 0 0 0 96770 1239 0 0 25 0 1 0 21887878 350195712 63040 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85497 63040 364 364 0 85133 0
[pid=9502] vsize: 341988
Current children cumulated CPU time (s) 980.09
Current children cumulated vsize (Kb) 341988

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118326 0 0 0 97746 1247 0 0 25 0 1 0 21887878 350195712 63042 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85497 63042 364 364 0 85133 0
[pid=9502] vsize: 341988
Current children cumulated CPU time (s) 989.93
Current children cumulated vsize (Kb) 341988

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 118331 0 0 0 98723 1252 0 0 25 0 1 0 21887878 350195712 63047 4294967295 134512640 135987407 3221224560 3221223400 135288061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85497 63047 364 364 0 85133 0
[pid=9502] vsize: 341988
Current children cumulated CPU time (s) 999.75
Current children cumulated vsize (Kb) 341988

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119536 0 0 0 99704 1260 0 0 25 0 1 0 21887878 350195712 63060 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85497 63060 364 364 0 85133 0
[pid=9502] vsize: 341988
Current children cumulated CPU time (s) 1009.64
Current children cumulated vsize (Kb) 341988

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119552 0 0 0 100680 1269 0 0 25 0 1 0 21887878 350392320 63076 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85545 63076 364 364 0 85181 0
[pid=9502] vsize: 342180
Current children cumulated CPU time (s) 1019.49
Current children cumulated vsize (Kb) 342180

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119572 0 0 0 101652 1279 0 0 25 0 1 0 21887878 350392320 63096 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85545 63096 364 364 0 85181 0
[pid=9502] vsize: 342180
Current children cumulated CPU time (s) 1029.31
Current children cumulated vsize (Kb) 342180

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119618 0 0 0 102629 1288 0 0 25 0 1 0 21887878 350785536 63142 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85641 63142 364 364 0 85277 0
[pid=9502] vsize: 342564
Current children cumulated CPU time (s) 1039.17
Current children cumulated vsize (Kb) 342564

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119642 0 0 0 103597 1298 0 0 25 0 1 0 21887878 350785536 63166 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85641 63166 364 364 0 85277 0
[pid=9502] vsize: 342564
Current children cumulated CPU time (s) 1048.95
Current children cumulated vsize (Kb) 342564

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119654 0 0 0 104576 1306 0 0 25 0 1 0 21887878 350982144 63178 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85689 63178 364 364 0 85325 0
[pid=9502] vsize: 342756
Current children cumulated CPU time (s) 1058.82
Current children cumulated vsize (Kb) 342756

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 119674 0 0 0 105553 1313 0 0 25 0 1 0 21887878 350982144 63198 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85689 63198 364 364 0 85325 0
[pid=9502] vsize: 342756
Current children cumulated CPU time (s) 1068.66
Current children cumulated vsize (Kb) 342756

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119689 0 0 0 106529 1321 0 0 25 0 1 0 21887878 351178752 63213 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85737 63213 364 364 0 85373 0
[pid=9502] vsize: 342948
Current children cumulated CPU time (s) 1078.5
Current children cumulated vsize (Kb) 342948

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119692 0 0 0 107506 1329 0 0 25 0 1 0 21887878 351178752 63216 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85737 63216 364 364 0 85373 0
[pid=9502] vsize: 342948
Current children cumulated CPU time (s) 1088.35
Current children cumulated vsize (Kb) 342948

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 119725 0 0 0 108480 1337 0 0 25 0 1 0 21887878 351375360 63249 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85785 63249 364 364 0 85421 0
[pid=9502] vsize: 343140
Current children cumulated CPU time (s) 1098.17
Current children cumulated vsize (Kb) 343140

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119746 0 0 0 109459 1347 0 0 25 0 1 0 21887878 351375360 63270 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85785 63270 364 364 0 85421 0
[pid=9502] vsize: 343140
Current children cumulated CPU time (s) 1108.06
Current children cumulated vsize (Kb) 343140

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119780 0 0 0 110434 1355 0 0 25 0 1 0 21887878 351571968 63304 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85833 63304 364 364 0 85469 0
[pid=9502] vsize: 343332
Current children cumulated CPU time (s) 1117.89
Current children cumulated vsize (Kb) 343332

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119806 0 0 0 111411 1362 0 0 25 0 1 0 21887878 351768576 63330 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85881 63330 364 364 0 85517 0
[pid=9502] vsize: 343524
Current children cumulated CPU time (s) 1127.73
Current children cumulated vsize (Kb) 343524

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119807 0 0 0 112390 1368 0 0 25 0 1 0 21887878 351768576 63331 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85881 63331 364 364 0 85517 0
[pid=9502] vsize: 343524
Current children cumulated CPU time (s) 1137.58
Current children cumulated vsize (Kb) 343524

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 119810 0 0 0 113366 1375 0 0 25 0 1 0 21887878 351768576 63334 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85881 63334 364 364 0 85517 0
[pid=9502] vsize: 343524
Current children cumulated CPU time (s) 1147.41
Current children cumulated vsize (Kb) 343524

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121012 0 0 0 114347 1383 0 0 25 0 1 0 21887878 351768576 63344 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85881 63344 364 364 0 85517 0
[pid=9502] vsize: 343524
Current children cumulated CPU time (s) 1157.3
Current children cumulated vsize (Kb) 343524

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121016 0 0 0 115325 1391 0 0 25 0 1 0 21887878 351768576 63348 4294967295 134512640 135987407 3221224560 3221223364 135477853 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9502/statm): 85881 63348 364 364 0 85517 0
[pid=9502] vsize: 343524
Current children cumulated CPU time (s) 1167.16
Current children cumulated vsize (Kb) 343524

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) T 9501 9502 4005 0 -1 0 121057 0 0 0 116299 1400 0 0 25 0 1 0 21887878 352161792 63389 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9502/statm): 85977 63389 364 364 0 85613 0
[pid=9502] vsize: 343908
Current children cumulated CPU time (s) 1176.99
Current children cumulated vsize (Kb) 343908

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121131 0 0 0 117269 1408 0 0 21 0 1 0 21887878 352555008 63463 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 86073 63463 364 364 0 85709 0
[pid=9502] vsize: 344292
Current children cumulated CPU time (s) 1186.77
Current children cumulated vsize (Kb) 344292

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121143 0 0 0 118244 1416 0 0 25 0 1 0 21887878 352555008 63475 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 86073 63475 364 364 0 85709 0
[pid=9502] vsize: 344292
Current children cumulated CPU time (s) 1196.6
Current children cumulated vsize (Kb) 344292

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121144 0 0 0 119222 1422 0 0 25 0 1 0 21887878 352555008 63476 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 86073 63476 364 364 0 85709 0
[pid=9502] vsize: 344292
Current children cumulated CPU time (s) 1206.44
Current children cumulated vsize (Kb) 344292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9502
Raw data (/proc/9502/stat): 9502 (pb2sat) R 9501 9502 4005 0 -1 0 121144 0 0 0 119222 1422 0 0 25 0 1 0 21887878 352555008 63476 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9502/statm): 86073 63476 364 364 0 85709 0
[pid=9502] vsize: 344292
Current children cumulated CPU time (s) 1206.44
Current children cumulated vsize (Kb) 344292

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

Child status: 0
Real time (s): 1231.21
CPU time (s): 1207.6
CPU user time (s): 1193.24
CPU system time (s): 14.3538
CPU usage (%): 98.0825
Max. virtual memory (cumulated for all children) (Kb): 346020

Verifier Data

ERROR: no interpretation found !