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-l152lav.opb
MD5SUM9d4ce12b138a2bef65a1f401ec9d1f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4732
Optimality of the best value was proved NO
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.7
Number of variables1989
Total number of constraints2086
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2085
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1989

Trace number 10522

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-23 18:30:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9224 boxname=wulflinc25 idbench=1020 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 9224
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.002
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.002
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912000 kB
Buffers:         18308 kB
Cached:          84848 kB
SwapCached:          0 kB
Active:          46132 kB
Inactive:        59928 kB
HighTotal:      131008 kB
HighFree:        42924 kB
LowTotal:       903652 kB
LowFree:        869076 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11000 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:50:47 (client local time) WITH STATUS 0 IN 1201.45 SECONDS
stats: 9224 7 1201.45 0

Solver Data

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

c Decision: 9828/205859	Time: 423.638/86400
c Decision: 9828/205859	Time: 501.549/86400
c Decision: 9828/205859	Time: 599.732/86400
c Decision: 9829/205859	Time: 805.666/86400
c Decision: 9829/205859	Time: 908.813/86400
c Decision: 9829/205859	Time: 993.156/86400
c Decision: 9829/205859	Time: 1079.54/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/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22326847 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 373 2 364 364 0 9 0
[pid=10595] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-l152lav.opb

[startup+10.0021 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 28126 0 0 0 931 65 0 0 25 0 1 0 22326847 86757376 16995 4294967295 134512640 135987407 3221224560 3221223456 134800229 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 21181 16995 364 364 0 20817 0
[pid=10595] vsize: 84724
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 84724

[startup+20.0027 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 30262 0 0 0 1918 73 0 0 25 0 1 0 22326847 94863360 18728 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 23160 18728 364 364 0 22796 0
[pid=10595] vsize: 92640
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 92640

[startup+30.0033 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31124 0 0 0 2905 79 0 0 25 0 1 0 22326847 99119104 19590 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24199 19590 364 364 0 23835 0
[pid=10595] vsize: 96796
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 96796

[startup+40.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31179 0 0 0 3895 82 0 0 25 0 1 0 22326847 99282944 19645 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24239 19645 364 364 0 23875 0
[pid=10595] vsize: 96956
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 96956

[startup+50.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31357 0 0 0 4885 85 0 0 25 0 1 0 22326847 100020224 19823 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24419 19823 364 364 0 24055 0
[pid=10595] vsize: 97676
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 97676

[startup+60.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31447 0 0 0 5872 90 0 0 25 0 1 0 22326847 100352000 19913 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24500 19913 364 364 0 24136 0
[pid=10595] vsize: 98000
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (Kb) 98000

[startup+70.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31506 0 0 0 6860 93 0 0 25 0 1 0 22326847 100487168 19972 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24533 19972 364 364 0 24169 0
[pid=10595] vsize: 98132
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 98132

[startup+80.0033 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31567 0 0 0 7849 97 0 0 25 0 1 0 22326847 100757504 20033 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24599 20033 364 364 0 24235 0
[pid=10595] vsize: 98396
Current children cumulated CPU time (s) 79.46
Current children cumulated vsize (Kb) 98396

[startup+90.0029 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31617 0 0 0 8836 102 0 0 25 0 1 0 22326847 100892672 20083 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24632 20083 364 364 0 24268 0
[pid=10595] vsize: 98528
Current children cumulated CPU time (s) 89.38
Current children cumulated vsize (Kb) 98528

[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31752 0 0 0 9825 105 0 0 25 0 1 0 22326847 101433344 20218 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24764 20218 364 364 0 24400 0
[pid=10595] vsize: 99056
Current children cumulated CPU time (s) 99.3
Current children cumulated vsize (Kb) 99056

[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31825 0 0 0 10811 111 0 0 25 0 1 0 22326847 101703680 20291 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24830 20291 364 364 0 24466 0
[pid=10595] vsize: 99320
Current children cumulated CPU time (s) 109.22
Current children cumulated vsize (Kb) 99320

[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31894 0 0 0 11799 115 0 0 25 0 1 0 22326847 101974016 20360 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24896 20360 364 364 0 24532 0
[pid=10595] vsize: 99584
Current children cumulated CPU time (s) 119.14
Current children cumulated vsize (Kb) 99584

[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31923 0 0 0 12786 120 0 0 25 0 1 0 22326847 101974016 20389 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24896 20389 364 364 0 24532 0
[pid=10595] vsize: 99584
Current children cumulated CPU time (s) 129.06
Current children cumulated vsize (Kb) 99584

[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 31976 0 0 0 13774 124 0 0 25 0 1 0 22326847 102109184 20442 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24929 20442 364 364 0 24565 0
[pid=10595] vsize: 99716
Current children cumulated CPU time (s) 138.98
Current children cumulated vsize (Kb) 99716

[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32001 0 0 0 14762 128 0 0 25 0 1 0 22326847 102109184 20467 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 24929 20467 364 364 0 24565 0
[pid=10595] vsize: 99716
Current children cumulated CPU time (s) 148.9
Current children cumulated vsize (Kb) 99716

[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32053 0 0 0 15751 133 0 0 25 0 1 0 22326847 102244352 20519 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24962 20519 364 364 0 24598 0
[pid=10595] vsize: 99848
Current children cumulated CPU time (s) 158.84
Current children cumulated vsize (Kb) 99848

[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32087 0 0 0 16739 137 0 0 25 0 1 0 22326847 102244352 20553 4294967295 134512640 135987407 3221224560 3221223024 134849914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 24962 20553 364 364 0 24598 0
[pid=10595] vsize: 99848
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (Kb) 99848

[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32191 0 0 0 17728 142 0 0 25 0 1 0 22326847 102649856 20657 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25061 20657 364 364 0 24697 0
[pid=10595] vsize: 100244
Current children cumulated CPU time (s) 178.7
Current children cumulated vsize (Kb) 100244

[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32273 0 0 0 18717 146 0 0 25 0 1 0 22326847 102920192 20739 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25127 20739 364 364 0 24763 0
[pid=10595] vsize: 100508
Current children cumulated CPU time (s) 188.63
Current children cumulated vsize (Kb) 100508

[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32308 0 0 0 19703 151 0 0 25 0 1 0 22326847 102920192 20774 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 25127 20774 364 364 0 24763 0
[pid=10595] vsize: 100508
Current children cumulated CPU time (s) 198.54
Current children cumulated vsize (Kb) 100508

[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32398 0 0 0 20690 156 0 0 25 0 1 0 22326847 103325696 20864 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 25226 20864 364 364 0 24862 0
[pid=10595] vsize: 100904
Current children cumulated CPU time (s) 208.46
Current children cumulated vsize (Kb) 100904

[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32426 0 0 0 21677 161 0 0 25 0 1 0 22326847 103325696 20892 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25226 20892 364 364 0 24862 0
[pid=10595] vsize: 100904
Current children cumulated CPU time (s) 218.38
Current children cumulated vsize (Kb) 100904

[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32498 0 0 0 22663 166 0 0 25 0 1 0 22326847 103596032 20964 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25292 20964 364 364 0 24928 0
[pid=10595] vsize: 101168
Current children cumulated CPU time (s) 228.29
Current children cumulated vsize (Kb) 101168

[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32527 0 0 0 23654 169 0 0 25 0 1 0 22326847 103596032 20993 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25292 20993 364 364 0 24928 0
[pid=10595] vsize: 101168
Current children cumulated CPU time (s) 238.23
Current children cumulated vsize (Kb) 101168

[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32559 0 0 0 24641 173 0 0 25 0 1 0 22326847 103596032 21025 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25292 21025 364 364 0 24928 0
[pid=10595] vsize: 101168
Current children cumulated CPU time (s) 248.14
Current children cumulated vsize (Kb) 101168

[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32623 0 0 0 25629 177 0 0 25 0 1 0 22326847 103731200 21089 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25325 21089 364 364 0 24961 0
[pid=10595] vsize: 101300
Current children cumulated CPU time (s) 258.06
Current children cumulated vsize (Kb) 101300

[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32674 0 0 0 26615 181 0 0 25 0 1 0 22326847 103866368 21140 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25358 21140 364 364 0 24994 0
[pid=10595] vsize: 101432
Current children cumulated CPU time (s) 267.96
Current children cumulated vsize (Kb) 101432

[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32738 0 0 0 27599 187 0 0 25 0 1 0 22326847 104132608 21204 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21204 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 277.86
Current children cumulated vsize (Kb) 101692

[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32774 0 0 0 28587 191 0 0 25 0 1 0 22326847 104132608 21240 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21240 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 287.78
Current children cumulated vsize (Kb) 101692

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32821 0 0 0 29574 195 0 0 25 0 1 0 22326847 104132608 21287 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21287 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 297.69
Current children cumulated vsize (Kb) 101692

[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32890 0 0 0 30562 200 0 0 25 0 1 0 22326847 104132608 21356 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21356 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 307.62
Current children cumulated vsize (Kb) 101692

[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 32941 0 0 0 31551 203 0 0 25 0 1 0 22326847 104132608 21407 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21407 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 317.54
Current children cumulated vsize (Kb) 101692

[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33004 0 0 0 32539 207 0 0 25 0 1 0 22326847 104132608 21470 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21470 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 327.46
Current children cumulated vsize (Kb) 101692

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33041 0 0 0 33525 212 0 0 25 0 1 0 22326847 104132608 21507 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21507 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 337.37
Current children cumulated vsize (Kb) 101692

[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33086 0 0 0 34513 217 0 0 25 0 1 0 22326847 104132608 21552 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21552 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 347.3
Current children cumulated vsize (Kb) 101692

[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33126 0 0 0 35500 222 0 0 25 0 1 0 22326847 104132608 21592 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21592 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 357.22
Current children cumulated vsize (Kb) 101692

[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33198 0 0 0 36488 226 0 0 25 0 1 0 22326847 104132608 21664 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21664 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 367.14
Current children cumulated vsize (Kb) 101692

[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33231 0 0 0 37475 231 0 0 25 0 1 0 22326847 104132608 21697 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21697 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 377.06
Current children cumulated vsize (Kb) 101692

[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33270 0 0 0 38464 235 0 0 25 0 1 0 22326847 104132608 21736 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21736 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 386.99
Current children cumulated vsize (Kb) 101692

[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33311 0 0 0 39449 240 0 0 25 0 1 0 22326847 104132608 21777 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21777 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 396.89
Current children cumulated vsize (Kb) 101692

[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33355 0 0 0 40437 244 0 0 25 0 1 0 22326847 104132608 21821 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21821 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 406.81
Current children cumulated vsize (Kb) 101692

[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33387 0 0 0 41423 249 0 0 25 0 1 0 22326847 104132608 21853 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 25423 21853 364 364 0 25059 0
[pid=10595] vsize: 101692
Current children cumulated CPU time (s) 416.72
Current children cumulated vsize (Kb) 101692

[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 33510 0 0 0 42412 253 0 0 25 0 1 0 22326847 121044992 21976 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 29552 21976 364 364 0 29188 0
[pid=10595] vsize: 118208
Current children cumulated CPU time (s) 426.65
Current children cumulated vsize (Kb) 118208

[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 34116 0 0 0 43404 256 0 0 25 0 1 0 22326847 121442304 22113 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 29649 22113 364 364 0 29285 0
[pid=10595] vsize: 118596
Current children cumulated CPU time (s) 436.6
Current children cumulated vsize (Kb) 118596

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 34958 0 0 0 44399 259 0 0 25 0 1 0 22326847 124624896 22693 4294967295 134512640 135987407 3221224560 3221223344 134812336 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 30426 22693 364 364 0 30062 0
[pid=10595] vsize: 121704
Current children cumulated CPU time (s) 446.58
Current children cumulated vsize (Kb) 121704

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 36277 0 0 0 45385 265 0 0 25 0 1 0 22326847 130719744 23781 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 31914 23781 364 364 0 31550 0
[pid=10595] vsize: 127656
Current children cumulated CPU time (s) 456.5
Current children cumulated vsize (Kb) 127656

[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 37219 0 0 0 46375 269 0 0 25 0 1 0 22326847 134471680 24460 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 32830 24460 364 364 0 32466 0
[pid=10595] vsize: 131320
Current children cumulated CPU time (s) 466.44
Current children cumulated vsize (Kb) 131320

[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 38008 0 0 0 47364 274 0 0 25 0 1 0 22326847 137859072 25019 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 33657 25019 364 364 0 33293 0
[pid=10595] vsize: 134628
Current children cumulated CPU time (s) 476.38
Current children cumulated vsize (Kb) 134628

[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 38428 0 0 0 48352 278 0 0 25 0 1 0 22326847 139059200 25307 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 33950 25307 364 364 0 33586 0
[pid=10595] vsize: 135800
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (Kb) 135800

[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 38794 0 0 0 49343 282 0 0 25 0 1 0 22326847 140529664 25541 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 34309 25541 364 364 0 33945 0
[pid=10595] vsize: 137236
Current children cumulated CPU time (s) 496.25
Current children cumulated vsize (Kb) 137236

[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 39249 0 0 0 50332 285 0 0 25 0 1 0 22326847 141991936 25798 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 34666 25798 364 364 0 34302 0
[pid=10595] vsize: 138664
Current children cumulated CPU time (s) 506.17
Current children cumulated vsize (Kb) 138664

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 40057 0 0 0 51321 290 0 0 25 0 1 0 22326847 143937536 26137 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 35141 26137 364 364 0 34777 0
[pid=10595] vsize: 140564
Current children cumulated CPU time (s) 516.11
Current children cumulated vsize (Kb) 140564

[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 40558 0 0 0 52309 294 0 0 25 0 1 0 22326847 145395712 26440 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 35497 26440 364 364 0 35133 0
[pid=10595] vsize: 141988
Current children cumulated CPU time (s) 526.03
Current children cumulated vsize (Kb) 141988

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 41609 0 0 0 53291 302 0 0 25 0 1 0 22326847 149782528 27244 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 36568 27244 364 364 0 36204 0
[pid=10595] vsize: 146272
Current children cumulated CPU time (s) 535.93
Current children cumulated vsize (Kb) 146272

[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 41883 0 0 0 54278 306 0 0 25 0 1 0 22326847 150851584 27452 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 36829 27452 364 364 0 36465 0
[pid=10595] vsize: 147316
Current children cumulated CPU time (s) 545.84
Current children cumulated vsize (Kb) 147316

[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 41974 0 0 0 55267 310 0 0 25 0 1 0 22326847 151117824 27510 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 36894 27510 364 364 0 36530 0
[pid=10595] vsize: 147576
Current children cumulated CPU time (s) 555.77
Current children cumulated vsize (Kb) 147576

[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 42741 0 0 0 56253 316 0 0 25 0 1 0 22326847 153505792 27915 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 37477 27915 364 364 0 37113 0
[pid=10595] vsize: 149908
Current children cumulated CPU time (s) 565.69
Current children cumulated vsize (Kb) 149908

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 43242 0 0 0 57241 320 0 0 25 0 1 0 22326847 155303936 28251 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 37916 28251 364 364 0 37552 0
[pid=10595] vsize: 151664
Current children cumulated CPU time (s) 575.61
Current children cumulated vsize (Kb) 151664

[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 43670 0 0 0 58227 325 0 0 25 0 1 0 22326847 156835840 28580 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 38290 28580 364 364 0 37926 0
[pid=10595] vsize: 153160
Current children cumulated CPU time (s) 585.52
Current children cumulated vsize (Kb) 153160

[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 44124 0 0 0 59217 329 0 0 25 0 1 0 22326847 158023680 28836 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 38580 28836 364 364 0 38216 0
[pid=10595] vsize: 154320
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 154320

[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 44747 0 0 0 60202 334 0 0 25 0 1 0 22326847 160485376 29311 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 39181 29311 364 364 0 38817 0
[pid=10595] vsize: 156724
Current children cumulated CPU time (s) 605.36
Current children cumulated vsize (Kb) 156724

[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45329 0 0 0 61189 339 0 0 25 0 1 0 22326847 161017856 29424 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 39311 29424 364 364 0 38947 0
[pid=10595] vsize: 157244
Current children cumulated CPU time (s) 615.28
Current children cumulated vsize (Kb) 157244

[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45511 0 0 0 62179 342 0 0 25 0 1 0 22326847 161542144 29474 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 39439 29474 364 364 0 39075 0
[pid=10595] vsize: 157756
Current children cumulated CPU time (s) 625.21
Current children cumulated vsize (Kb) 157756

[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45668 0 0 0 63167 345 0 0 25 0 1 0 22326847 162209792 29598 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 39602 29598 364 364 0 39238 0
[pid=10595] vsize: 158408
Current children cumulated CPU time (s) 635.12
Current children cumulated vsize (Kb) 158408

[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45715 0 0 0 64157 348 0 0 25 0 1 0 22326847 162476032 29645 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 39667 29645 364 364 0 39303 0
[pid=10595] vsize: 158668
Current children cumulated CPU time (s) 645.05
Current children cumulated vsize (Kb) 158668

[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45862 0 0 0 65148 352 0 0 25 0 1 0 22326847 163004416 29694 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 39796 29694 364 364 0 39432 0
[pid=10595] vsize: 159184
Current children cumulated CPU time (s) 655
Current children cumulated vsize (Kb) 159184

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 45945 0 0 0 66139 355 0 0 25 0 1 0 22326847 163536896 29777 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 39926 29777 364 364 0 39562 0
[pid=10595] vsize: 159704
Current children cumulated CPU time (s) 664.94
Current children cumulated vsize (Kb) 159704

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 46011 0 0 0 67128 359 0 0 25 0 1 0 22326847 163667968 29810 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 39958 29810 364 364 0 39594 0
[pid=10595] vsize: 159832
Current children cumulated CPU time (s) 674.87
Current children cumulated vsize (Kb) 159832

[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 46193 0 0 0 68115 362 0 0 25 0 1 0 22326847 164749312 29992 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 40222 29992 364 364 0 39858 0
[pid=10595] vsize: 160888
Current children cumulated CPU time (s) 684.77
Current children cumulated vsize (Kb) 160888

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 46458 0 0 0 69104 367 0 0 25 0 1 0 22326847 165838848 30175 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 40488 30175 364 364 0 40124 0
[pid=10595] vsize: 161952
Current children cumulated CPU time (s) 694.71
Current children cumulated vsize (Kb) 161952

[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 46641 0 0 0 70092 371 0 0 25 0 1 0 22326847 166502400 30259 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 40650 30259 364 364 0 40286 0
[pid=10595] vsize: 162600
Current children cumulated CPU time (s) 704.63
Current children cumulated vsize (Kb) 162600

[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 46668 0 0 0 71080 376 0 0 25 0 1 0 22326847 166502400 30286 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 40650 30286 364 364 0 40286 0
[pid=10595] vsize: 162600
Current children cumulated CPU time (s) 714.56
Current children cumulated vsize (Kb) 162600

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47071 0 0 0 72067 381 0 0 25 0 1 0 22326847 167620608 30492 4294967295 134512640 135987407 3221224560 3221223136 134788963 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 40923 30492 364 364 0 40559 0
[pid=10595] vsize: 163692
Current children cumulated CPU time (s) 724.48
Current children cumulated vsize (Kb) 163692

[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47225 0 0 0 73056 385 0 0 25 0 1 0 22326847 168321024 30613 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 41094 30613 364 364 0 40730 0
[pid=10595] vsize: 164376
Current children cumulated CPU time (s) 734.41
Current children cumulated vsize (Kb) 164376

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47423 0 0 0 74043 390 0 0 25 0 1 0 22326847 168984576 30745 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 41256 30745 364 364 0 40892 0
[pid=10595] vsize: 165024
Current children cumulated CPU time (s) 744.33
Current children cumulated vsize (Kb) 165024

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47515 0 0 0 75033 394 0 0 25 0 1 0 22326847 169381888 30804 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 41353 30804 364 364 0 40989 0
[pid=10595] vsize: 165412
Current children cumulated CPU time (s) 754.27
Current children cumulated vsize (Kb) 165412

[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47573 0 0 0 76019 399 0 0 25 0 1 0 22326847 169512960 30829 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 41385 30829 364 364 0 41021 0
[pid=10595] vsize: 165540
Current children cumulated CPU time (s) 764.18
Current children cumulated vsize (Kb) 165540

[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 47676 0 0 0 77006 404 0 0 25 0 1 0 22326847 169975808 30899 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 41498 30899 364 364 0 41134 0
[pid=10595] vsize: 165992
Current children cumulated CPU time (s) 774.1
Current children cumulated vsize (Kb) 165992

[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 48148 0 0 0 77993 409 0 0 25 0 1 0 22326847 171565056 31174 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 41886 31174 364 364 0 41522 0
[pid=10595] vsize: 167544
Current children cumulated CPU time (s) 784.02
Current children cumulated vsize (Kb) 167544

[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 48505 0 0 0 78979 413 0 0 25 0 1 0 22326847 172765184 31399 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42179 31399 364 364 0 41815 0
[pid=10595] vsize: 168716
Current children cumulated CPU time (s) 793.92
Current children cumulated vsize (Kb) 168716

[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 48744 0 0 0 79969 417 0 0 25 0 1 0 22326847 173694976 31539 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42406 31539 364 364 0 42042 0
[pid=10595] vsize: 169624
Current children cumulated CPU time (s) 803.86
Current children cumulated vsize (Kb) 169624

[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 48884 0 0 0 80956 422 0 0 25 0 1 0 22326847 173957120 31613 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42470 31613 364 364 0 42106 0
[pid=10595] vsize: 169880
Current children cumulated CPU time (s) 813.78
Current children cumulated vsize (Kb) 169880

[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49439 0 0 0 81947 426 0 0 25 0 1 0 22326847 174350336 31666 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 42566 31666 364 364 0 42202 0
[pid=10595] vsize: 170264
Current children cumulated CPU time (s) 823.73
Current children cumulated vsize (Kb) 170264

[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) T 10594 10595 4004 0 -1 0 49447 0 0 0 82938 430 0 0 25 0 1 0 22326847 174350336 31674 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42566 31674 364 364 0 42202 0
[pid=10595] vsize: 170264
Current children cumulated CPU time (s) 833.68
Current children cumulated vsize (Kb) 170264

[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49486 0 0 0 83929 433 0 0 25 0 1 0 22326847 174481408 31680 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 42598 31680 364 364 0 42234 0
[pid=10595] vsize: 170392
Current children cumulated CPU time (s) 843.62
Current children cumulated vsize (Kb) 170392

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49495 0 0 0 84919 436 0 0 25 0 1 0 22326847 174481408 31689 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42598 31689 364 364 0 42234 0
[pid=10595] vsize: 170392
Current children cumulated CPU time (s) 853.55
Current children cumulated vsize (Kb) 170392

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49511 0 0 0 85910 440 0 0 25 0 1 0 22326847 174481408 31705 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42598 31705 364 364 0 42234 0
[pid=10595] vsize: 170392
Current children cumulated CPU time (s) 863.5
Current children cumulated vsize (Kb) 170392

[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) T 10594 10595 4004 0 -1 0 49567 0 0 0 86898 444 0 0 25 0 1 0 22326847 174747648 31761 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10595/statm): 42663 31761 364 364 0 42299 0
[pid=10595] vsize: 170652
Current children cumulated CPU time (s) 873.42
Current children cumulated vsize (Kb) 170652

[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49858 0 0 0 87884 449 0 0 25 0 1 0 22326847 175673344 31921 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42889 31921 364 364 0 42525 0
[pid=10595] vsize: 171556
Current children cumulated CPU time (s) 883.33
Current children cumulated vsize (Kb) 171556

[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 49908 0 0 0 88872 452 0 0 25 0 1 0 22326847 175804416 31938 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 42921 31938 364 364 0 42557 0
[pid=10595] vsize: 171684
Current children cumulated CPU time (s) 893.24
Current children cumulated vsize (Kb) 171684

[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 50116 0 0 0 89862 456 0 0 25 0 1 0 22326847 176599040 32080 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43115 32080 364 364 0 42751 0
[pid=10595] vsize: 172460
Current children cumulated CPU time (s) 903.18
Current children cumulated vsize (Kb) 172460

[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 50125 0 0 0 90852 460 0 0 25 0 1 0 22326847 176599040 32089 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43115 32089 364 364 0 42751 0
[pid=10595] vsize: 172460
Current children cumulated CPU time (s) 913.12
Current children cumulated vsize (Kb) 172460

[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 50820 0 0 0 91843 464 0 0 25 0 1 0 22326847 177520640 32218 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43340 32218 364 364 0 42976 0
[pid=10595] vsize: 173360
Current children cumulated CPU time (s) 923.07
Current children cumulated vsize (Kb) 173360

[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 50913 0 0 0 92834 467 0 0 25 0 1 0 22326847 177786880 32278 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43405 32278 364 364 0 43041 0
[pid=10595] vsize: 173620
Current children cumulated CPU time (s) 933.01
Current children cumulated vsize (Kb) 173620

[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51002 0 0 0 93824 471 0 0 25 0 1 0 22326847 178053120 32334 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43470 32334 364 364 0 43106 0
[pid=10595] vsize: 173880
Current children cumulated CPU time (s) 942.95
Current children cumulated vsize (Kb) 173880

[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51223 0 0 0 94809 475 0 0 25 0 1 0 22326847 178987008 32489 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 43698 32489 364 364 0 43334 0
[pid=10595] vsize: 174792
Current children cumulated CPU time (s) 952.84
Current children cumulated vsize (Kb) 174792

[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51238 0 0 0 95798 480 0 0 25 0 1 0 22326847 178987008 32504 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43698 32504 364 364 0 43334 0
[pid=10595] vsize: 174792
Current children cumulated CPU time (s) 962.78
Current children cumulated vsize (Kb) 174792

[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51255 0 0 0 96789 483 0 0 25 0 1 0 22326847 178987008 32521 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43698 32521 364 364 0 43334 0
[pid=10595] vsize: 174792
Current children cumulated CPU time (s) 972.72
Current children cumulated vsize (Kb) 174792

[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51356 0 0 0 97776 488 0 0 25 0 1 0 22326847 179384320 32589 4294967295 134512640 135987407 3221224560 3221223344 134812365 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43795 32589 364 364 0 43431 0
[pid=10595] vsize: 175180
Current children cumulated CPU time (s) 982.64
Current children cumulated vsize (Kb) 175180

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51431 0 0 0 98764 492 0 0 25 0 1 0 22326847 179515392 32631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43827 32631 364 364 0 43463 0
[pid=10595] vsize: 175308
Current children cumulated CPU time (s) 992.56
Current children cumulated vsize (Kb) 175308

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51841 0 0 0 99753 497 0 0 25 0 1 0 22326847 179515392 32638 4294967295 134512640 135987407 3221224560 3221223312 134882520 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43827 32638 364 364 0 43463 0
[pid=10595] vsize: 175308
Current children cumulated CPU time (s) 1002.5
Current children cumulated vsize (Kb) 175308

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51851 0 0 0 100743 501 0 0 25 0 1 0 22326847 179515392 32648 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43827 32648 364 364 0 43463 0
[pid=10595] vsize: 175308
Current children cumulated CPU time (s) 1012.44
Current children cumulated vsize (Kb) 175308

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51918 0 0 0 101731 504 0 0 25 0 1 0 22326847 179646464 32682 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43859 32682 364 364 0 43495 0
[pid=10595] vsize: 175436
Current children cumulated CPU time (s) 1022.35
Current children cumulated vsize (Kb) 175436

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 51937 0 0 0 102720 508 0 0 25 0 1 0 22326847 179646464 32701 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 43859 32701 364 364 0 43495 0
[pid=10595] vsize: 175436
Current children cumulated CPU time (s) 1032.28
Current children cumulated vsize (Kb) 175436

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52040 0 0 0 103707 512 0 0 25 0 1 0 22326847 179777536 32771 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43891 32771 364 364 0 43527 0
[pid=10595] vsize: 175564
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (Kb) 175564

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52197 0 0 0 104694 517 0 0 25 0 1 0 22326847 180170752 32830 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43987 32830 364 364 0 43623 0
[pid=10595] vsize: 175948
Current children cumulated CPU time (s) 1052.11
Current children cumulated vsize (Kb) 175948

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52204 0 0 0 105682 522 0 0 25 0 1 0 22326847 180170752 32837 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 43987 32837 364 364 0 43623 0
[pid=10595] vsize: 175948
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (Kb) 175948

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52204 0 0 0 106674 524 0 0 25 0 1 0 22326847 180170752 32837 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 43987 32837 364 364 0 43623 0
[pid=10595] vsize: 175948
Current children cumulated CPU time (s) 1071.98
Current children cumulated vsize (Kb) 175948

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52245 0 0 0 107664 528 0 0 25 0 1 0 22326847 180301824 32845 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44019 32845 364 364 0 43655 0
[pid=10595] vsize: 176076
Current children cumulated CPU time (s) 1081.92
Current children cumulated vsize (Kb) 176076

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52766 0 0 0 108652 533 0 0 25 0 1 0 22326847 180899840 32930 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44165 32930 364 364 0 43801 0
[pid=10595] vsize: 176660
Current children cumulated CPU time (s) 1091.85
Current children cumulated vsize (Kb) 176660

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52767 0 0 0 109642 537 0 0 25 0 1 0 22326847 180899840 32931 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44165 32931 364 364 0 43801 0
[pid=10595] vsize: 176660
Current children cumulated CPU time (s) 1101.79
Current children cumulated vsize (Kb) 176660

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52772 0 0 0 110634 539 0 0 25 0 1 0 22326847 180899840 32936 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44165 32936 364 364 0 43801 0
[pid=10595] vsize: 176660
Current children cumulated CPU time (s) 1111.73
Current children cumulated vsize (Kb) 176660

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52825 0 0 0 111623 543 0 0 25 0 1 0 22326847 181030912 32956 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44197 32956 364 364 0 43833 0
[pid=10595] vsize: 176788
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (Kb) 176788

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52896 0 0 0 112610 547 0 0 25 0 1 0 22326847 181166080 33027 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44230 33027 364 364 0 43866 0
[pid=10595] vsize: 176920
Current children cumulated CPU time (s) 1131.57
Current children cumulated vsize (Kb) 176920

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 52925 0 0 0 113601 551 0 0 25 0 1 0 22326847 181166080 33056 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44230 33056 364 364 0 43866 0
[pid=10595] vsize: 176920
Current children cumulated CPU time (s) 1141.52
Current children cumulated vsize (Kb) 176920

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53056 0 0 0 114584 557 0 0 25 0 1 0 22326847 181559296 33088 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44326 33088 364 364 0 43962 0
[pid=10595] vsize: 177304
Current children cumulated CPU time (s) 1151.41
Current children cumulated vsize (Kb) 177304

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53084 0 0 0 115573 560 0 0 25 0 1 0 22326847 181694464 33116 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44359 33116 364 364 0 43995 0
[pid=10595] vsize: 177436
Current children cumulated CPU time (s) 1161.33
Current children cumulated vsize (Kb) 177436

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) T 10594 10595 4004 0 -1 0 53111 0 0 0 116562 564 0 0 25 0 1 0 22326847 181694464 33143 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10595/statm): 44359 33143 364 364 0 43995 0
[pid=10595] vsize: 177436
Current children cumulated CPU time (s) 1171.26
Current children cumulated vsize (Kb) 177436

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53262 0 0 0 117548 569 0 0 25 0 1 0 22326847 182362112 33261 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 44522 33261 364 364 0 44158 0
[pid=10595] vsize: 178088
Current children cumulated CPU time (s) 1181.17
Current children cumulated vsize (Kb) 178088

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53319 0 0 0 118538 572 0 0 25 0 1 0 22326847 182763520 33318 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10595/statm): 44620 33318 364 364 0 44256 0
[pid=10595] vsize: 178480
Current children cumulated CPU time (s) 1191.1
Current children cumulated vsize (Kb) 178480

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53461 0 0 0 119525 577 0 0 25 0 1 0 22326847 183291904 33394 4294967295 134512640 135987407 3221224560 3221223184 134778301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44749 33394 364 364 0 44385 0
[pid=10595] vsize: 178996
Current children cumulated CPU time (s) 1201.02
Current children cumulated vsize (Kb) 178996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10595
Raw data (/proc/10595/stat): 10595 (pb2sat) R 10594 10595 4004 0 -1 0 53461 0 0 0 119525 577 0 0 25 0 1 0 22326847 183291904 33394 4294967295 134512640 135987407 3221224560 3221223184 134778301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10595/statm): 44749 33394 364 364 0 44385 0
[pid=10595] vsize: 178996
Current children cumulated CPU time (s) 1201.02
Current children cumulated vsize (Kb) 178996

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

Child status: 0
Real time (s): 1210.49
CPU time (s): 1201.45
CPU user time (s): 1195.6
CPU system time (s): 5.84411
CPU usage (%): 99.2528
Max. virtual memory (cumulated for all children) (Kb): 178996

Verifier Data

ERROR: no interpretation found !