Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
MD5SUMef7064a9be2b712276f7b600af28e2b0
Bench Categoryoptimization, small integers (OPTSMALLINT)
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 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 10537

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 18:35:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9235 boxname=wulflinc26 idbench=1031 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 9235
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        908296 kB
Buffers:         12240 kB
Cached:          96900 kB
SwapCached:          0 kB
Active:          44792 kB
Inactive:        67264 kB
HighTotal:      131008 kB
HighFree:        39060 kB
LowTotal:       903652 kB
LowFree:        869236 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8800 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:55:35 (client local time) WITH STATUS 0 IN 1203.05 SECONDS
stats: 9235 7 1203.05 0

Solver Data

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

c Decision: 11076/263328	Time: 124.606/86400
c Decision: 11076/263328	Time: 211.36/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/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22355558 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 373 2 364 364 0 9 0
[pid=10135] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-mod010.opb

[startup+10.0022 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 28467 0 0 0 927 69 0 0 25 0 1 0 22355558 89972736 17346 4294967295 134512640 135987407 3221224560 3220725564 135499901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 21966 17346 364 364 0 21602 0
[pid=10135] vsize: 87864
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 87864

[startup+20.0028 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 43146 0 0 0 1890 101 0 0 25 0 1 0 22355558 132345856 26578 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 32311 26578 364 364 0 31947 0
[pid=10135] vsize: 129244
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 129244

[startup+30.0025 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 44404 0 0 0 2876 109 0 0 25 0 1 0 22355558 138199040 27737 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 33740 27737 364 364 0 33376 0
[pid=10135] vsize: 134960
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 134960

[startup+40.0032 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 44955 0 0 0 3866 112 0 0 25 0 1 0 22355558 141078528 28222 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 34443 28222 364 364 0 34079 0
[pid=10135] vsize: 137772
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 137772

[startup+50.0039 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 45252 0 0 0 4854 117 0 0 25 0 1 0 22355558 142614528 28519 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 34818 28519 364 364 0 34454 0
[pid=10135] vsize: 139272
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 139272

[startup+60.0046 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 45519 0 0 0 5847 120 0 0 25 0 1 0 22355558 143818752 28786 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 35112 28786 364 364 0 34748 0
[pid=10135] vsize: 140448
Current children cumulated CPU time (s) 59.67
Current children cumulated vsize (Kb) 140448

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 45768 0 0 0 6835 124 0 0 25 0 1 0 22355558 145035264 29035 4294967295 134512640 135987407 3221224560 3221223396 134812772 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 35409 29035 364 364 0 35045 0
[pid=10135] vsize: 141636
Current children cumulated CPU time (s) 69.59
Current children cumulated vsize (Kb) 141636

[startup+80.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 46133 0 0 0 7825 129 0 0 25 0 1 0 22355558 146653184 29367 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 35804 29367 364 364 0 35440 0
[pid=10135] vsize: 143216
Current children cumulated CPU time (s) 79.54
Current children cumulated vsize (Kb) 143216

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 46429 0 0 0 8813 133 0 0 25 0 1 0 22355558 148410368 29663 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 36233 29663 364 364 0 35869 0
[pid=10135] vsize: 144932
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (Kb) 144932

[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 46695 0 0 0 9802 138 0 0 25 0 1 0 22355558 149348352 29863 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 36462 29863 364 364 0 36098 0
[pid=10135] vsize: 145848
Current children cumulated CPU time (s) 99.4
Current children cumulated vsize (Kb) 145848

[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 46913 0 0 0 10792 142 0 0 25 0 1 0 22355558 150429696 30081 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 36726 30081 364 364 0 36362 0
[pid=10135] vsize: 146904
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (Kb) 146904

[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 47067 0 0 0 11783 145 0 0 25 0 1 0 22355558 151166976 30235 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 36906 30235 364 364 0 36542 0
[pid=10135] vsize: 147624
Current children cumulated CPU time (s) 119.28
Current children cumulated vsize (Kb) 147624

[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 47273 0 0 0 12771 150 0 0 25 0 1 0 22355558 151977984 30441 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 37104 30441 364 364 0 36740 0
[pid=10135] vsize: 148416
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 148416

[startup+140.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 47988 0 0 0 13761 154 0 0 25 0 1 0 22355558 152924160 30641 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 37335 30641 364 364 0 36971 0
[pid=10135] vsize: 149340
Current children cumulated CPU time (s) 139.15
Current children cumulated vsize (Kb) 149340

[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48107 0 0 0 14751 159 0 0 25 0 1 0 22355558 153325568 30727 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 37433 30727 364 364 0 37069 0
[pid=10135] vsize: 149732
Current children cumulated CPU time (s) 149.1
Current children cumulated vsize (Kb) 149732

[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48229 0 0 0 15742 162 0 0 25 0 1 0 22355558 154001408 30849 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 37598 30849 364 364 0 37234 0
[pid=10135] vsize: 150392
Current children cumulated CPU time (s) 159.04
Current children cumulated vsize (Kb) 150392

[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48313 0 0 0 16734 165 0 0 25 0 1 0 22355558 154271744 30933 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 37664 30933 364 364 0 37300 0
[pid=10135] vsize: 150656
Current children cumulated CPU time (s) 168.99
Current children cumulated vsize (Kb) 150656

[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48391 0 0 0 17725 169 0 0 25 0 1 0 22355558 154677248 31011 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 37763 31011 364 364 0 37399 0
[pid=10135] vsize: 151052
Current children cumulated CPU time (s) 178.94
Current children cumulated vsize (Kb) 151052

[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48451 0 0 0 18715 173 0 0 25 0 1 0 22355558 154808320 31038 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 37795 31038 364 364 0 37431 0
[pid=10135] vsize: 151180
Current children cumulated CPU time (s) 188.88
Current children cumulated vsize (Kb) 151180

[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48493 0 0 0 19706 176 0 0 25 0 1 0 22355558 154943488 31080 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 37828 31080 364 364 0 37464 0
[pid=10135] vsize: 151312
Current children cumulated CPU time (s) 198.82
Current children cumulated vsize (Kb) 151312

[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48665 0 0 0 20696 180 0 0 25 0 1 0 22355558 155475968 31186 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 37958 31186 364 364 0 37594 0
[pid=10135] vsize: 151832
Current children cumulated CPU time (s) 208.76
Current children cumulated vsize (Kb) 151832

[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 48722 0 0 0 21689 182 0 0 25 0 1 0 22355558 155746304 31243 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38024 31243 364 364 0 37660 0
[pid=10135] vsize: 152096
Current children cumulated CPU time (s) 218.71
Current children cumulated vsize (Kb) 152096

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49361 0 0 0 22680 187 0 0 25 0 1 0 22355558 156286976 31367 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 38156 31367 364 364 0 37792 0
[pid=10135] vsize: 152624
Current children cumulated CPU time (s) 228.67
Current children cumulated vsize (Kb) 152624

[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49382 0 0 0 23676 189 0 0 25 0 1 0 22355558 156286976 31388 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 38156 31388 364 364 0 37792 0
[pid=10135] vsize: 152624
Current children cumulated CPU time (s) 238.65
Current children cumulated vsize (Kb) 152624

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49524 0 0 0 24667 192 0 0 25 0 1 0 22355558 156823552 31497 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 38287 31497 364 364 0 37923 0
[pid=10135] vsize: 153148
Current children cumulated CPU time (s) 248.59
Current children cumulated vsize (Kb) 153148

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49644 0 0 0 25660 194 0 0 25 0 1 0 22355558 157085696 31551 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 38351 31551 364 364 0 37987 0
[pid=10135] vsize: 153404
Current children cumulated CPU time (s) 258.54
Current children cumulated vsize (Kb) 153404

[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49708 0 0 0 26650 198 0 0 25 0 1 0 22355558 157491200 31615 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38450 31615 364 364 0 38086 0
[pid=10135] vsize: 153800
Current children cumulated CPU time (s) 268.48
Current children cumulated vsize (Kb) 153800

[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49841 0 0 0 27640 201 0 0 25 0 1 0 22355558 158167040 31748 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38615 31748 364 364 0 38251 0
[pid=10135] vsize: 154460
Current children cumulated CPU time (s) 278.41
Current children cumulated vsize (Kb) 154460

[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 49920 0 0 0 28630 206 0 0 25 0 1 0 22355558 158572544 31827 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38714 31827 364 364 0 38350 0
[pid=10135] vsize: 154856
Current children cumulated CPU time (s) 288.36
Current children cumulated vsize (Kb) 154856

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 50018 0 0 0 29620 209 0 0 25 0 1 0 22355558 159113216 31925 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38846 31925 364 364 0 38482 0
[pid=10135] vsize: 155384
Current children cumulated CPU time (s) 298.29
Current children cumulated vsize (Kb) 155384

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50082 0 0 0 30611 211 0 0 25 0 1 0 22355558 159518720 31989 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 38945 31989 364 364 0 38581 0
[pid=10135] vsize: 155780
Current children cumulated CPU time (s) 308.22
Current children cumulated vsize (Kb) 155780

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50198 0 0 0 31601 215 0 0 25 0 1 0 22355558 159916032 32039 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 39042 32039 364 364 0 38678 0
[pid=10135] vsize: 156168
Current children cumulated CPU time (s) 318.16
Current children cumulated vsize (Kb) 156168

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50232 0 0 0 32594 218 0 0 25 0 1 0 22355558 160051200 32073 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 39075 32073 364 364 0 38711 0
[pid=10135] vsize: 156300
Current children cumulated CPU time (s) 328.12
Current children cumulated vsize (Kb) 156300

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50264 0 0 0 33583 222 0 0 25 0 1 0 22355558 160186368 32105 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 39108 32105 364 364 0 38744 0
[pid=10135] vsize: 156432
Current children cumulated CPU time (s) 338.05
Current children cumulated vsize (Kb) 156432

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50356 0 0 0 34574 225 0 0 25 0 1 0 22355558 160583680 32164 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 39205 32164 364 364 0 38841 0
[pid=10135] vsize: 156820
Current children cumulated CPU time (s) 347.99
Current children cumulated vsize (Kb) 156820

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 50753 0 0 0 35561 230 0 0 25 0 1 0 22355558 162168832 32363 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 39592 32363 364 364 0 39228 0
[pid=10135] vsize: 158368
Current children cumulated CPU time (s) 357.91
Current children cumulated vsize (Kb) 158368

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 51292 0 0 0 36547 236 0 0 25 0 1 0 22355558 165040128 32902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 40293 32902 364 364 0 39929 0
[pid=10135] vsize: 161172
Current children cumulated CPU time (s) 367.83
Current children cumulated vsize (Kb) 161172

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 51577 0 0 0 37535 240 0 0 25 0 1 0 22355558 165961728 33022 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 40518 33022 364 364 0 40154 0
[pid=10135] vsize: 162072
Current children cumulated CPU time (s) 377.75
Current children cumulated vsize (Kb) 162072

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 51972 0 0 0 38524 245 0 0 25 0 1 0 22355558 167559168 33252 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 40908 33252 364 364 0 40544 0
[pid=10135] vsize: 163632
Current children cumulated CPU time (s) 387.69
Current children cumulated vsize (Kb) 163632

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 52455 0 0 0 39513 250 0 0 25 0 1 0 22355558 169275392 33438 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 41327 33438 364 364 0 40963 0
[pid=10135] vsize: 165308
Current children cumulated CPU time (s) 397.63
Current children cumulated vsize (Kb) 165308

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 52565 0 0 0 40503 254 0 0 25 0 1 0 22355558 169816064 33548 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 41459 33548 364 364 0 41095 0
[pid=10135] vsize: 165836
Current children cumulated CPU time (s) 407.57
Current children cumulated vsize (Kb) 165836

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 52842 0 0 0 41496 256 0 0 25 0 1 0 22355558 171069440 33693 4294967295 134512640 135987407 3221224560 3221223300 135478572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 41765 33693 364 364 0 41401 0
[pid=10135] vsize: 167060
Current children cumulated CPU time (s) 417.52
Current children cumulated vsize (Kb) 167060

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 53190 0 0 0 42483 260 0 0 25 0 1 0 22355558 172802048 33975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 42188 33975 364 364 0 41824 0
[pid=10135] vsize: 168752
Current children cumulated CPU time (s) 427.43
Current children cumulated vsize (Kb) 168752

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 53519 0 0 0 43471 265 0 0 25 0 1 0 22355558 173723648 34106 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 42413 34106 364 364 0 42049 0
[pid=10135] vsize: 169652
Current children cumulated CPU time (s) 437.36
Current children cumulated vsize (Kb) 169652

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 54088 0 0 0 44459 270 0 0 25 0 1 0 22355558 175497216 34345 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 42846 34345 364 364 0 42482 0
[pid=10135] vsize: 171384
Current children cumulated CPU time (s) 447.29
Current children cumulated vsize (Kb) 171384

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 54651 0 0 0 45450 273 0 0 25 0 1 0 22355558 177344512 34644 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 43297 34644 364 364 0 42933 0
[pid=10135] vsize: 173188
Current children cumulated CPU time (s) 457.23
Current children cumulated vsize (Kb) 173188

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55052 0 0 0 46441 277 0 0 25 0 1 0 22355558 178794496 34814 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 43651 34814 364 364 0 43287 0
[pid=10135] vsize: 174604
Current children cumulated CPU time (s) 467.18
Current children cumulated vsize (Kb) 174604

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55277 0 0 0 47432 281 0 0 25 0 1 0 22355558 179585024 34907 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 43844 34907 364 364 0 43480 0
[pid=10135] vsize: 175376
Current children cumulated CPU time (s) 477.13
Current children cumulated vsize (Kb) 175376

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55394 0 0 0 48422 285 0 0 25 0 1 0 22355558 179978240 34925 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 43940 34925 364 364 0 43576 0
[pid=10135] vsize: 175760
Current children cumulated CPU time (s) 487.07
Current children cumulated vsize (Kb) 175760

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55431 0 0 0 49411 289 0 0 25 0 1 0 22355558 180113408 34962 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 43973 34962 364 364 0 43609 0
[pid=10135] vsize: 175892
Current children cumulated CPU time (s) 497
Current children cumulated vsize (Kb) 175892

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 55509 0 0 0 50401 291 0 0 25 0 1 0 22355558 180379648 35007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44038 35007 364 364 0 43674 0
[pid=10135] vsize: 176152
Current children cumulated CPU time (s) 506.92
Current children cumulated vsize (Kb) 176152

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55559 0 0 0 51392 295 0 0 25 0 1 0 22355558 180514816 35057 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44071 35057 364 364 0 43707 0
[pid=10135] vsize: 176284
Current children cumulated CPU time (s) 516.87
Current children cumulated vsize (Kb) 176284

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 55791 0 0 0 52380 299 0 0 25 0 1 0 22355558 181039104 35157 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44199 35157 364 364 0 43835 0
[pid=10135] vsize: 176796
Current children cumulated CPU time (s) 526.79
Current children cumulated vsize (Kb) 176796

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56001 0 0 0 53371 303 0 0 25 0 1 0 22355558 181563392 35236 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44327 35236 364 364 0 43963 0
[pid=10135] vsize: 177308
Current children cumulated CPU time (s) 536.74
Current children cumulated vsize (Kb) 177308

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56118 0 0 0 54364 306 0 0 25 0 1 0 22355558 181825536 35288 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44391 35288 364 364 0 44027 0
[pid=10135] vsize: 177564
Current children cumulated CPU time (s) 546.7
Current children cumulated vsize (Kb) 177564

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56215 0 0 0 55352 311 0 0 25 0 1 0 22355558 182091776 35352 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44456 35352 364 364 0 44092 0
[pid=10135] vsize: 177824
Current children cumulated CPU time (s) 556.63
Current children cumulated vsize (Kb) 177824

[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56322 0 0 0 56344 313 0 0 25 0 1 0 22355558 182489088 35393 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44553 35393 364 364 0 44189 0
[pid=10135] vsize: 178212
Current children cumulated CPU time (s) 566.57
Current children cumulated vsize (Kb) 178212

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56329 0 0 0 57333 317 0 0 25 0 1 0 22355558 182489088 35400 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44553 35400 364 364 0 44189 0
[pid=10135] vsize: 178212
Current children cumulated CPU time (s) 576.5
Current children cumulated vsize (Kb) 178212

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56332 0 0 0 58322 321 0 0 25 0 1 0 22355558 182489088 35403 4294967295 134512640 135987407 3221224560 3221223248 134812155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44553 35403 364 364 0 44189 0
[pid=10135] vsize: 178212
Current children cumulated CPU time (s) 586.43
Current children cumulated vsize (Kb) 178212

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56415 0 0 0 59312 324 0 0 25 0 1 0 22355558 182886400 35453 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44650 35453 364 364 0 44286 0
[pid=10135] vsize: 178600
Current children cumulated CPU time (s) 596.36
Current children cumulated vsize (Kb) 178600

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56418 0 0 0 60303 327 0 0 25 0 1 0 22355558 182886400 35456 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44650 35456 364 364 0 44286 0
[pid=10135] vsize: 178600
Current children cumulated CPU time (s) 606.3
Current children cumulated vsize (Kb) 178600

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56470 0 0 0 61292 331 0 0 25 0 1 0 22355558 183017472 35475 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44682 35475 364 364 0 44318 0
[pid=10135] vsize: 178728
Current children cumulated CPU time (s) 616.23
Current children cumulated vsize (Kb) 178728

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56478 0 0 0 62283 333 0 0 25 0 1 0 22355558 183017472 35483 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44682 35483 364 364 0 44318 0
[pid=10135] vsize: 178728
Current children cumulated CPU time (s) 626.16
Current children cumulated vsize (Kb) 178728

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56566 0 0 0 63274 336 0 0 25 0 1 0 22355558 183283712 35538 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44747 35538 364 364 0 44383 0
[pid=10135] vsize: 178988
Current children cumulated CPU time (s) 636.1
Current children cumulated vsize (Kb) 178988

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56572 0 0 0 64267 339 0 0 25 0 1 0 22355558 183283712 35544 4294967295 134512640 135987407 3221224560 3221223300 135478219 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44747 35544 364 364 0 44383 0
[pid=10135] vsize: 178988
Current children cumulated CPU time (s) 646.06
Current children cumulated vsize (Kb) 178988

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56577 0 0 0 65258 342 0 0 25 0 1 0 22355558 183283712 35549 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44747 35549 364 364 0 44383 0
[pid=10135] vsize: 178988
Current children cumulated CPU time (s) 656
Current children cumulated vsize (Kb) 178988

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56583 0 0 0 66249 345 0 0 25 0 1 0 22355558 183283712 35555 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44747 35555 364 364 0 44383 0
[pid=10135] vsize: 178988
Current children cumulated CPU time (s) 665.94
Current children cumulated vsize (Kb) 178988

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56640 0 0 0 67238 348 0 0 25 0 1 0 22355558 183554048 35612 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44813 35612 364 364 0 44449 0
[pid=10135] vsize: 179252
Current children cumulated CPU time (s) 675.86
Current children cumulated vsize (Kb) 179252

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56686 0 0 0 68228 351 0 0 25 0 1 0 22355558 183685120 35625 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44845 35625 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 685.79
Current children cumulated vsize (Kb) 179380

[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56690 0 0 0 69216 355 0 0 25 0 1 0 22355558 183685120 35629 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 44845 35629 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 695.71
Current children cumulated vsize (Kb) 179380

[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56696 0 0 0 70205 359 0 0 25 0 1 0 22355558 183685120 35635 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44845 35635 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 705.64
Current children cumulated vsize (Kb) 179380

[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56700 0 0 0 71195 363 0 0 25 0 1 0 22355558 183685120 35639 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44845 35639 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 715.58
Current children cumulated vsize (Kb) 179380

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56706 0 0 0 72184 367 0 0 25 0 1 0 22355558 183685120 35645 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44845 35645 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 725.51
Current children cumulated vsize (Kb) 179380

[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56721 0 0 0 73177 369 0 0 25 0 1 0 22355558 183685120 35660 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44845 35660 364 364 0 44481 0
[pid=10135] vsize: 179380
Current children cumulated CPU time (s) 735.46
Current children cumulated vsize (Kb) 179380

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 56749 0 0 0 74166 373 0 0 25 0 1 0 22355558 183820288 35688 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44878 35688 364 364 0 44514 0
[pid=10135] vsize: 179512
Current children cumulated CPU time (s) 745.39
Current children cumulated vsize (Kb) 179512

[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56810 0 0 0 75156 375 0 0 25 0 1 0 22355558 183951360 35716 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 44910 35716 364 364 0 44546 0
[pid=10135] vsize: 179640
Current children cumulated CPU time (s) 755.31
Current children cumulated vsize (Kb) 179640

[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56876 0 0 0 76145 379 0 0 25 0 1 0 22355558 184352768 35782 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45008 35782 364 364 0 44644 0
[pid=10135] vsize: 180032
Current children cumulated CPU time (s) 765.24
Current children cumulated vsize (Kb) 180032

[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56905 0 0 0 77134 383 0 0 25 0 1 0 22355558 184487936 35811 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45041 35811 364 364 0 44677 0
[pid=10135] vsize: 180164
Current children cumulated CPU time (s) 775.17
Current children cumulated vsize (Kb) 180164

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56920 0 0 0 78122 387 0 0 25 0 1 0 22355558 184487936 35826 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45041 35826 364 364 0 44677 0
[pid=10135] vsize: 180164
Current children cumulated CPU time (s) 785.09
Current children cumulated vsize (Kb) 180164

[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56924 0 0 0 79112 391 0 0 25 0 1 0 22355558 184487936 35830 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45041 35830 364 364 0 44677 0
[pid=10135] vsize: 180164
Current children cumulated CPU time (s) 795.03
Current children cumulated vsize (Kb) 180164

[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56937 0 0 0 80103 393 0 0 25 0 1 0 22355558 184487936 35843 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45041 35843 364 364 0 44677 0
[pid=10135] vsize: 180164
Current children cumulated CPU time (s) 804.96
Current children cumulated vsize (Kb) 180164

[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 56948 0 0 0 81093 396 0 0 25 0 1 0 22355558 184487936 35854 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45041 35854 364 364 0 44677 0
[pid=10135] vsize: 180164
Current children cumulated CPU time (s) 814.89
Current children cumulated vsize (Kb) 180164

[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57009 0 0 0 82084 400 0 0 25 0 1 0 22355558 184619008 35882 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45073 35882 364 364 0 44709 0
[pid=10135] vsize: 180292
Current children cumulated CPU time (s) 824.84
Current children cumulated vsize (Kb) 180292

[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57016 0 0 0 83075 403 0 0 25 0 1 0 22355558 184619008 35889 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45073 35889 364 364 0 44709 0
[pid=10135] vsize: 180292
Current children cumulated CPU time (s) 834.78
Current children cumulated vsize (Kb) 180292

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57033 0 0 0 84065 406 0 0 25 0 1 0 22355558 184619008 35906 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45073 35906 364 364 0 44709 0
[pid=10135] vsize: 180292
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (Kb) 180292

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 57092 0 0 0 85055 409 0 0 25 0 1 0 22355558 184750080 35932 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45105 35932 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 854.64
Current children cumulated vsize (Kb) 180420

[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57098 0 0 0 86047 412 0 0 25 0 1 0 22355558 184750080 35938 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35938 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 864.59
Current children cumulated vsize (Kb) 180420

[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 57103 0 0 0 87039 415 0 0 25 0 1 0 22355558 184750080 35943 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35943 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 874.54
Current children cumulated vsize (Kb) 180420

[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57110 0 0 0 88031 418 0 0 25 0 1 0 22355558 184750080 35950 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35950 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (Kb) 180420

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57117 0 0 0 89023 421 0 0 25 0 1 0 22355558 184750080 35957 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35957 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 894.44
Current children cumulated vsize (Kb) 180420

[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 57125 0 0 0 90017 423 0 0 25 0 1 0 22355558 184750080 35965 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35965 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 904.4
Current children cumulated vsize (Kb) 180420

[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57134 0 0 0 91007 426 0 0 25 0 1 0 22355558 184750080 35974 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45105 35974 364 364 0 44741 0
[pid=10135] vsize: 180420
Current children cumulated CPU time (s) 914.33
Current children cumulated vsize (Kb) 180420

[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57163 0 0 0 91997 430 0 0 25 0 1 0 22355558 184885248 36003 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45138 36003 364 364 0 44774 0
[pid=10135] vsize: 180552
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (Kb) 180552

[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57187 0 0 0 92986 434 0 0 25 0 1 0 22355558 185020416 36027 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45171 36027 364 364 0 44807 0
[pid=10135] vsize: 180684
Current children cumulated CPU time (s) 934.2
Current children cumulated vsize (Kb) 180684

[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57208 0 0 0 93978 437 0 0 25 0 1 0 22355558 185155584 36048 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45204 36048 364 364 0 44840 0
[pid=10135] vsize: 180816
Current children cumulated CPU time (s) 944.15
Current children cumulated vsize (Kb) 180816

[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57215 0 0 0 94970 439 0 0 25 0 1 0 22355558 185155584 36055 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45204 36055 364 364 0 44840 0
[pid=10135] vsize: 180816
Current children cumulated CPU time (s) 954.09
Current children cumulated vsize (Kb) 180816

[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57243 0 0 0 95960 443 0 0 25 0 1 0 22355558 185290752 36083 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36083 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 964.03
Current children cumulated vsize (Kb) 180948

[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57249 0 0 0 96952 445 0 0 25 0 1 0 22355558 185290752 36089 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36089 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 973.97
Current children cumulated vsize (Kb) 180948

[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57252 0 0 0 97943 449 0 0 25 0 1 0 22355558 185290752 36092 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36092 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 983.92
Current children cumulated vsize (Kb) 180948

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57261 0 0 0 98934 453 0 0 25 0 1 0 22355558 185290752 36101 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36101 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 993.87
Current children cumulated vsize (Kb) 180948

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57265 0 0 0 99923 457 0 0 25 0 1 0 22355558 185290752 36105 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36105 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1003.8
Current children cumulated vsize (Kb) 180948

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57269 0 0 0 100913 460 0 0 25 0 1 0 22355558 185290752 36109 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36109 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1013.73
Current children cumulated vsize (Kb) 180948

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57273 0 0 0 101904 462 0 0 25 0 1 0 22355558 185290752 36113 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36113 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1023.66
Current children cumulated vsize (Kb) 180948

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57278 0 0 0 102894 466 0 0 25 0 1 0 22355558 185290752 36118 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36118 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1033.6
Current children cumulated vsize (Kb) 180948

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57294 0 0 0 103885 469 0 0 25 0 1 0 22355558 185290752 36134 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36134 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1043.54
Current children cumulated vsize (Kb) 180948

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57298 0 0 0 104876 472 0 0 25 0 1 0 22355558 185290752 36138 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45237 36138 364 364 0 44873 0
[pid=10135] vsize: 180948
Current children cumulated CPU time (s) 1053.48
Current children cumulated vsize (Kb) 180948

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) T 10134 10135 4005 0 -1 0 57320 0 0 0 105865 476 0 0 25 0 1 0 22355558 185425920 36160 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45270 36160 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1063.41
Current children cumulated vsize (Kb) 181080

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57324 0 0 0 106856 479 0 0 25 0 1 0 22355558 185425920 36164 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45270 36164 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1073.35
Current children cumulated vsize (Kb) 181080

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57329 0 0 0 107847 481 0 0 25 0 1 0 22355558 185425920 36169 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45270 36169 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1083.28
Current children cumulated vsize (Kb) 181080

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57332 0 0 0 108837 484 0 0 25 0 1 0 22355558 185425920 36172 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45270 36172 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1093.21
Current children cumulated vsize (Kb) 181080

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57337 0 0 0 109829 487 0 0 25 0 1 0 22355558 185425920 36177 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45270 36177 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1103.16
Current children cumulated vsize (Kb) 181080

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57343 0 0 0 110819 490 0 0 25 0 1 0 22355558 185425920 36183 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45270 36183 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1113.09
Current children cumulated vsize (Kb) 181080

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57347 0 0 0 111808 494 0 0 25 0 1 0 22355558 185425920 36187 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45270 36187 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1123.02
Current children cumulated vsize (Kb) 181080

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57355 0 0 0 112798 498 0 0 25 0 1 0 22355558 185425920 36195 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45270 36195 364 364 0 44906 0
[pid=10135] vsize: 181080
Current children cumulated CPU time (s) 1132.96
Current children cumulated vsize (Kb) 181080

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57384 0 0 0 113789 501 0 0 25 0 1 0 22355558 185561088 36224 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45303 36224 364 364 0 44939 0
[pid=10135] vsize: 181212
Current children cumulated CPU time (s) 1142.9
Current children cumulated vsize (Kb) 181212

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57429 0 0 0 114781 504 0 0 25 0 1 0 22355558 185692160 36236 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45335 36236 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1152.85
Current children cumulated vsize (Kb) 181340

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57433 0 0 0 115770 508 0 0 25 0 1 0 22355558 185692160 36240 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45335 36240 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1162.78
Current children cumulated vsize (Kb) 181340

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57442 0 0 0 116761 511 0 0 25 0 1 0 22355558 185692160 36249 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10135/statm): 45335 36249 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1172.72
Current children cumulated vsize (Kb) 181340

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57450 0 0 0 117751 514 0 0 25 0 1 0 22355558 185692160 36257 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45335 36257 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1182.65
Current children cumulated vsize (Kb) 181340

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57456 0 0 0 118740 517 0 0 25 0 1 0 22355558 185692160 36263 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45335 36263 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1192.57
Current children cumulated vsize (Kb) 181340

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57461 0 0 0 119732 521 0 0 25 0 1 0 22355558 185692160 36268 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45335 36268 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1202.53
Current children cumulated vsize (Kb) 181340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10135
Raw data (/proc/10135/stat): 10135 (pb2sat) R 10134 10135 4005 0 -1 0 57461 0 0 0 119732 521 0 0 25 0 1 0 22355558 185692160 36268 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10135/statm): 45335 36268 364 364 0 44971 0
[pid=10135] vsize: 181340
Current children cumulated CPU time (s) 1202.53
Current children cumulated vsize (Kb) 181340

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

Child status: 0
Real time (s): 1210.56
CPU time (s): 1203.05
CPU user time (s): 1197.75
CPU system time (s): 5.29319
CPU usage (%): 99.3796
Max. virtual memory (cumulated for all children) (Kb): 181340

Verifier Data

ERROR: no interpretation found !