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/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM56b5875081183b5ab8f7e29cbac05646
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8814
Biggest coefficient in the objective function 3375324200960
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 2061624536571104
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 3375324200960
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 2061624536571104
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables12846
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint192

Trace number 5125

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-19 22:45:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=897 boxname=wulflinc3 idbench=897 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  56b5875081183b5ab8f7e29cbac05646  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 897
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        888404 kB
Buffers:         39152 kB
Cached:          78856 kB
SwapCached:        856 kB
Active:          72296 kB
Inactive:        48368 kB
HighTotal:      131008 kB
HighFree:        51184 kB
LowTotal:       903652 kB
LowFree:        837220 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            19996 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:56:25 (client local time) WITH STATUS 0 IN 610.915 SECONDS
stats: 897 7 610.915 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 12846 variables and 1080 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 5.265
c After prepocess the problem consists of 8245 variables and 1004 constraints.
c Initial Lower Bound: 3252183082304
c Restart #1 #Var: 8245 #Dec: 59092 LB: 3252183082304 @ 8.343
c Restart #2 #Var: 8245 #Dec: 185353 LB: 3252183082304 @ 14.926
c Restart #3 #Var: 8245 #Dec: 378962 LB: 3252183082304 @ 25.4
c Restart #4 #Var: 8245 #Dec: 636033 LB: 3252183082304 @ 39.862
c Restart #5 #Var: 8245 #Dec: 716662 LB: 3252183082304 @ 45.12
c Restart #6 #Var: 8245 #Dec: 762024 LB: 3252183082304 @ 48.204
c Restart #7 #Var: 8245 #Dec: 763460 LB: 3252183082304 @ 49.39
c Restart #8 #Var: 8245 #Dec: 775218 LB: 3252183082304 @ 50.904
c Restart #9 #Var: 8245 #Dec: 777052 LB: 3252183082304 @ 52.365
c Restart #10 #Var: 8243 #Dec: 783684 LB: 3252183082304 @ 54.618
c Restart #11 #Var: 8243 #Dec: 785922 LB: 3252183082304 @ 56.909
c Restart #12 #Var: 8243 #Dec: 788352 LB: 3252183082304 @ 59.508
c Restart #13 #Var: 8243 #Dec: 791011 LB: 3252183082304 @ 62.627
c Restart #14 #Var: 8243 #Dec: 793904 LB: 3252183082304 @ 66.807
c Restart #15 #Var: 8243 #Dec: 796931 LB: 3252183082304 @ 69.131
c Restart #16 #Var: 8243 #Dec: 829386 LB: 3252183082304 @ 72.825
c Restart #17 #Var: 8243 #Dec: 832822 LB: 3252183082304 @ 75.124
c Restart #18 #Var: 8243 #Dec: 841676 LB: 3252183082304 @ 78.148
c Restart #19 #Var: 8243 #Dec: 845510 LB: 3252183082304 @ 81.639
c Restart #20 #Var: 8243 #Dec: 849608 LB: 3252183082304 @ 86.018
c Restart #21 #Var: 8243 #Dec: 853837 LB: 3252183082304 @ 90.17
c Restart #22 #Var: 8243 #Dec: 858303 LB: 3252183082304 @ 93.969
c Restart #23 #Var: 8243 #Dec: 862931 LB: 3252183082304 @ 98.087
c Restart #24 #Var: 8243 #Dec: 867756 LB: 3252183082304 @ 103.17
c Restart #25 #Var: 8243 #Dec: 872781 LB: 3252183082304 @ 108.74
c Restart #26 #Var: 8241 #Dec: 878132 LB: 3252183082304 @ 115.89
c Restart #27 #Var: 8241 #Dec: 883559 LB: 3252183082304 @ 124.49
c Restart #28 #Var: 8241 #Dec: 889319 LB: 3252183082304 @ 133.61
c Restart #29 #Var: 8241 #Dec: 895178 LB: 3252183082304 @ 141.13
c Restart #30 #Var: 8241 #Dec: 901208 LB: 3252183082304 @ 150.05
c Restart #31 #Var: 8241 #Dec: 907476 LB: 3252183082304 @ 160.21
c Restart #32 #Var: 8241 #Dec: 914096 LB: 3252183082304 @ 168.04
c Restart #33 #Var: 8241 #Dec: 920722 LB: 3252183082304 @ 177.2
c Restart #34 #Var: 8241 #Dec: 927546 LB: 3252183082304 @ 188.51
c Restart #35 #Var: 8240 #Dec: 935128 LB: 3252183082304 @ 201.72
c Restart #36 #Var: 8219 #Dec: 968463 LB: 3252183082304 @ 236.15
c Restart #37 #Var: 8218 #Dec: 976131 LB: 3252183082304 @ 250.31
c Restart #38 #Var: 8215 #Dec: 996736 LB: 3252183082304 @ 270.81
c Restart #39 #Var: 8209 #Dec: 1062539 LB: 3252183082304 @ 301.58
c Restart #40 #Var: 8209 #Dec: 1071513 LB: 3252183082304 @ 306.2
c Restart #41 #Var: 8209 #Dec: 1081860 LB: 3252183082304 @ 312.48
c Restart #42 #Var: 8209 #Dec: 1090921 LB: 3252183082304 @ 318.79
c Restart #43 #Var: 8209 #Dec: 1101787 LB: 3252183082304 @ 333.6
c Restart #44 #Var: 8203 #Dec: 1184215 LB: 3252183082304 @ 454.01
c Restart #45 #Var: 8202 #Dec: 1247143 LB: 3252183082304 @ 479.95
c Restart #46 #Var: 8201 #Dec: 1277718 LB: 3252183082304 @ 496.46
c Restart #47 #Var: 8201 #Dec: 1293296 LB: 3252183082304 @ 508.23
c Restart #48 #Var: 8201 #Dec: 1302915 LB: 3252183082304 @ 517.86
c Restart #49 #Var: 8201 #Dec: 1312733 LB: 3252183082304 @ 527.76
c Restart #50 #Var: 8201 #Dec: 1323613 LB: 3252183082304 @ 537.64
c Restart #51 #Var: 8201 #Dec: 1334134 LB: 3252183082304 @ 546.84
c Restart #52 #Var: 8201 #Dec: 1344563 LB: 3252183082304 @ 560.52
c Restart #53 #Var: 8201 #Dec: 1355191 LB: 3252183082304 @ 572.23
c Restart #54 #Var: 8201 #Dec: 1366238 LB: 3252183082304 @ 583.91
c Restart #55 #Var: 8201 #Dec: 1377318 LB: 3252183082304 @ 594.09
c CHANGE Heuristic... 
c Restart #0 #Var: 8200 #Dec: 1389503 LB: 3252183082304 @ 606.98
c Restart #1 #Var: 8200 #Dec: 1390595 LB: 3252183082304 @ 607.62
c Caught signal: 15
s UNKNOWN
c Exit Code: 0

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/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795360806 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 107 3 90 68 0 39 0
[pid=574] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gen.opb

[startup+10.0029 s]
Raw data (loadavg): 0.88 0.95 0.98 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 13543 0 0 0 716 118 0 0 18 0 1 0 1795360806 59002880 13454 4294967295 134512640 134736556 3221224560 3221223128 134716081 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 14405 13454 1116 68 0 14337 0
[pid=574] vsize: 57620
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (Kb) 57620

[startup+20.0048 s]
Raw data (loadavg): 0.90 0.95 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 13829 0 0 0 1211 285 0 0 18 0 1 0 1795360806 60076032 13740 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 14667 13740 1116 68 0 14599 0
[pid=574] vsize: 58668
Current children cumulated CPU time (s) 14.96
Current children cumulated vsize (Kb) 58668

[startup+30.0056 s]
Raw data (loadavg): 0.91 0.95 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 14103 0 0 0 1709 455 0 0 18 0 1 0 1795360806 61280256 14014 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 14961 14014 1116 68 0 14893 0
[pid=574] vsize: 59844
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (Kb) 59844

[startup+40.0065 s]
Raw data (loadavg): 0.93 0.96 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 14368 0 0 0 2221 625 0 0 18 0 1 0 1795360806 62361600 14279 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 15225 14279 1116 68 0 15157 0
[pid=574] vsize: 60900
Current children cumulated CPU time (s) 28.46
Current children cumulated vsize (Kb) 60900

[startup+50.0073 s]
Raw data (loadavg): 0.94 0.96 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 14636 0 0 0 2746 786 0 0 17 0 1 0 1795360806 63434752 14547 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 15487 14547 1116 68 0 15419 0
[pid=574] vsize: 61948
Current children cumulated CPU time (s) 35.32
Current children cumulated vsize (Kb) 61948

[startup+60.0071 s]
Raw data (loadavg): 0.95 0.96 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 14925 0 0 0 3276 940 0 0 17 0 1 0 1795360806 64647168 14836 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 15783 14836 1116 68 0 15715 0
[pid=574] vsize: 63132
Current children cumulated CPU time (s) 42.16
Current children cumulated vsize (Kb) 63132

[startup+70.009 s]
Raw data (loadavg): 0.95 0.96 0.98 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 17432 0 0 0 3898 1078 0 0 19 0 1 0 1795360806 74924032 17343 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 18292 17343 1116 68 0 18224 0
[pid=574] vsize: 73168
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 73168

[startup+80.0098 s]
Raw data (loadavg): 1.03 0.98 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 24409 0 0 0 4800 1120 0 0 25 0 1 0 1795360806 103448576 24319 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 25256 24319 1116 68 0 25188 0
[pid=574] vsize: 101024
Current children cumulated CPU time (s) 59.2
Current children cumulated vsize (Kb) 101024

[startup+90.0096 s]
Raw data (loadavg): 1.11 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 30329 0 0 0 5736 1152 0 0 25 0 1 0 1795360806 127811584 30238 4294967295 134512640 134736556 3221224560 3221223084 134536351 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 31204 30238 1116 68 0 31136 0
[pid=574] vsize: 124816
Current children cumulated CPU time (s) 68.88
Current children cumulated vsize (Kb) 124816

[startup+100.01 s]
Raw data (loadavg): 1.09 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 37449 0 0 0 6529 1234 0 0 25 0 1 0 1795360806 157011968 37358 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 38333 37358 1116 68 0 38265 0
[pid=574] vsize: 153332
Current children cumulated CPU time (s) 77.63
Current children cumulated vsize (Kb) 153332

[startup+110.011 s]
Raw data (loadavg): 1.08 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 44303 0 0 0 7461 1268 0 0 25 0 1 0 1795360806 185008128 44211 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 45168 44211 1116 68 0 45100 0
[pid=574] vsize: 180672
Current children cumulated CPU time (s) 87.29
Current children cumulated vsize (Kb) 180672

[startup+120.012 s]
Raw data (loadavg): 1.06 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 51756 0 0 0 8384 1306 0 0 25 0 1 0 1795360806 215580672 51663 4294967295 134512640 134736556 3221224560 3221223184 134537314 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 52632 51663 1116 68 0 52564 0
[pid=574] vsize: 210528
Current children cumulated CPU time (s) 96.9
Current children cumulated vsize (Kb) 210528

[startup+130.013 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 58037 0 0 0 9319 1338 0 0 25 0 1 0 1795360806 241487872 57941 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 58957 57941 1116 68 0 58889 0
[pid=574] vsize: 235828
Current children cumulated CPU time (s) 106.57
Current children cumulated vsize (Kb) 235828

[startup+140.013 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 63278 0 0 0 10261 1367 0 0 25 0 1 0 1795360806 262995968 63177 4294967295 134512640 134736556 3221224560 3221223276 134694456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 64208 63177 1116 68 0 64140 0
[pid=574] vsize: 256832
Current children cumulated CPU time (s) 116.28
Current children cumulated vsize (Kb) 256832

[startup+150.014 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 67509 0 0 0 11220 1387 0 0 25 0 1 0 1795360806 280317952 67405 4294967295 134512640 134736556 3221224560 3221223084 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 68437 67405 1116 68 0 68369 0
[pid=574] vsize: 273748
Current children cumulated CPU time (s) 126.07
Current children cumulated vsize (Kb) 273748

[startup+160.013 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 72025 0 0 0 12171 1410 0 0 25 0 1 0 1795360806 298856448 71921 4294967295 134512640 134736556 3221224560 3221223224 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 72963 71921 1116 68 0 72895 0
[pid=574] vsize: 291852
Current children cumulated CPU time (s) 135.81
Current children cumulated vsize (Kb) 291852

[startup+170.014 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 77203 0 0 0 13117 1435 0 0 25 0 1 0 1795360806 320110592 77098 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 78152 77098 1116 68 0 78084 0
[pid=574] vsize: 312608
Current children cumulated CPU time (s) 145.52
Current children cumulated vsize (Kb) 312608

[startup+180.015 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 81268 0 0 0 14074 1459 0 0 25 0 1 0 1795360806 336941056 81158 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 82261 81158 1116 68 0 82193 0
[pid=574] vsize: 329044
Current children cumulated CPU time (s) 155.33
Current children cumulated vsize (Kb) 329044

[startup+190.015 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 86354 0 0 0 15021 1485 0 0 25 0 1 0 1795360806 357785600 86241 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 87350 86241 1116 68 0 87282 0
[pid=574] vsize: 349400
Current children cumulated CPU time (s) 165.06
Current children cumulated vsize (Kb) 349400

[startup+200.016 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 91486 0 0 0 15964 1514 0 0 25 0 1 0 1795360806 378920960 91371 4294967295 134512640 134736556 3221224560 3221223136 134716300 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 92510 91371 1116 68 0 92442 0
[pid=574] vsize: 370040
Current children cumulated CPU time (s) 174.78
Current children cumulated vsize (Kb) 370040

[startup+210.016 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 95447 0 0 0 16916 1538 0 0 25 0 1 0 1795360806 395018240 95331 4294967295 134512640 134736556 3221224560 3221223072 134543195 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 96440 95331 1116 68 0 96372 0
[pid=574] vsize: 385760
Current children cumulated CPU time (s) 184.54
Current children cumulated vsize (Kb) 385760

[startup+220.017 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 98860 0 0 0 17877 1557 0 0 25 0 1 0 1795360806 409219072 98735 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 99907 98735 1116 68 0 99839 0
[pid=574] vsize: 399628
Current children cumulated CPU time (s) 194.34
Current children cumulated vsize (Kb) 399628

[startup+230.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 102627 0 0 0 18836 1578 0 0 25 0 1 0 1795360806 424722432 102499 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 103692 102499 1116 68 0 103624 0
[pid=574] vsize: 414768
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (Kb) 414768

[startup+240.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 104688 0 0 0 19806 1592 0 0 25 0 1 0 1795360806 433102848 104560 4294967295 134512640 134736556 3221224560 3221223248 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 105738 104560 1116 68 0 105670 0
[pid=574] vsize: 422952
Current children cumulated CPU time (s) 213.98
Current children cumulated vsize (Kb) 422952

[startup+250.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 104892 0 0 0 20779 1601 0 0 25 0 1 0 1795360806 433917952 104763 4294967295 134512640 134736556 3221224560 3221223200 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 105937 104763 1116 68 0 105869 0
[pid=574] vsize: 423748
Current children cumulated CPU time (s) 223.8
Current children cumulated vsize (Kb) 423748

[startup+260.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 105306 0 0 0 21697 1629 0 0 25 0 1 0 1795360806 435671040 105177 4294967295 134512640 134736556 3221224560 3221223184 134524332 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 106365 105177 1116 68 0 106297 0
[pid=574] vsize: 425460
Current children cumulated CPU time (s) 233.26
Current children cumulated vsize (Kb) 425460

[startup+270.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 108699 0 0 0 22659 1649 0 0 25 0 1 0 1795360806 449507328 108568 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 109743 108568 1116 68 0 109675 0
[pid=574] vsize: 438972
Current children cumulated CPU time (s) 243.08
Current children cumulated vsize (Kb) 438972

[startup+280.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 112216 0 0 0 23619 1668 0 0 25 0 1 0 1795360806 464109568 112082 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 113308 112082 1116 68 0 113240 0
[pid=574] vsize: 453232
Current children cumulated CPU time (s) 252.87
Current children cumulated vsize (Kb) 453232

[startup+290.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 115599 0 0 0 24569 1689 0 0 25 0 1 0 1795360806 478060544 115451 4294967295 134512640 134736556 3221224560 3221223064 134634653 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 116714 115451 1116 68 0 116646 0
[pid=574] vsize: 466856
Current children cumulated CPU time (s) 262.58
Current children cumulated vsize (Kb) 466856

[startup+300.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 116609 0 0 0 25501 1715 0 0 25 0 1 0 1795360806 482254848 116461 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 117738 116461 1116 68 0 117670 0
[pid=574] vsize: 470952
Current children cumulated CPU time (s) 272.16
Current children cumulated vsize (Kb) 470952

[startup+310.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 117218 0 0 0 26409 1746 0 0 25 0 1 0 1795360806 484818944 117070 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 118364 117070 1116 68 0 118296 0
[pid=574] vsize: 473456
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (Kb) 473456

[startup+320.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 117733 0 0 0 27320 1775 0 0 25 0 1 0 1795360806 486842368 117585 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 118858 117585 1116 68 0 118790 0
[pid=574] vsize: 475432
Current children cumulated CPU time (s) 290.95
Current children cumulated vsize (Kb) 475432

[startup+330.025 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 119956 0 0 0 28241 1805 0 0 25 0 1 0 1795360806 496025600 119808 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 121100 119808 1116 68 0 121032 0
[pid=574] vsize: 484400
Current children cumulated CPU time (s) 300.46
Current children cumulated vsize (Kb) 484400

[startup+340.025 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 129601 0 0 0 29132 1857 0 0 25 0 1 0 1795360806 535490560 129452 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 130735 129452 1116 68 0 130667 0
[pid=574] vsize: 522940
Current children cumulated CPU time (s) 309.89
Current children cumulated vsize (Kb) 522940

[startup+350.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 137852 0 0 0 30044 1899 0 0 25 0 1 0 1795360806 569294848 137703 4294967295 134512640 134736556 3221224560 3221223224 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 138988 137703 1116 68 0 138920 0
[pid=574] vsize: 555952
Current children cumulated CPU time (s) 319.43
Current children cumulated vsize (Kb) 555952

[startup+360.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 141837 0 0 0 30994 1922 0 0 25 0 1 0 1795360806 585654272 141688 4294967295 134512640 134736556 3221224560 3221223164 134537559 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 142982 141688 1116 68 0 142914 0
[pid=574] vsize: 571928
Current children cumulated CPU time (s) 329.16
Current children cumulated vsize (Kb) 571928

[startup+370.026 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 144094 0 0 0 31957 1939 0 0 25 0 1 0 1795360806 595001344 143945 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 145264 143945 1116 68 0 145196 0
[pid=574] vsize: 581056
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (Kb) 581056

[startup+380.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 145453 0 0 0 32860 1975 0 0 25 0 1 0 1795360806 600539136 145304 4294967295 134512640 134736556 3221224560 3221223084 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 146616 145304 1116 68 0 146548 0
[pid=574] vsize: 586464
Current children cumulated CPU time (s) 348.35
Current children cumulated vsize (Kb) 586464

[startup+390.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 145949 0 0 0 33823 1989 0 0 25 0 1 0 1795360806 602558464 145800 4294967295 134512640 134736556 3221224560 3221223248 134528865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 147109 145800 1116 68 0 147041 0
[pid=574] vsize: 588436
Current children cumulated CPU time (s) 358.12
Current children cumulated vsize (Kb) 588436

[startup+400.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146198 0 0 0 34782 2004 0 0 25 0 1 0 1795360806 603639808 146049 4294967295 134512640 134736556 3221224560 3221223136 134549964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 147373 146049 1116 68 0 147305 0
[pid=574] vsize: 589492
Current children cumulated CPU time (s) 367.86
Current children cumulated vsize (Kb) 589492

[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146410 0 0 0 35750 2015 0 0 25 0 1 0 1795360806 604463104 146260 4294967295 134512640 134736556 3221224560 3221223232 134529480 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147574 146260 1116 68 0 147506 0
[pid=574] vsize: 590296
Current children cumulated CPU time (s) 377.65
Current children cumulated vsize (Kb) 590296

[startup+420.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146545 0 0 0 36707 2029 0 0 25 0 1 0 1795360806 605138944 146395 4294967295 134512640 134736556 3221224560 3221223120 134550956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147739 146395 1116 68 0 147671 0
[pid=574] vsize: 590956
Current children cumulated CPU time (s) 387.36
Current children cumulated vsize (Kb) 590956

[startup+430.03 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 146592 0 0 0 37681 2037 0 0 25 0 1 0 1795360806 605274112 146442 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/574/statm): 147772 146442 1116 68 0 147704 0
[pid=574] vsize: 591088
Current children cumulated CPU time (s) 397.18
Current children cumulated vsize (Kb) 591088

[startup+440.031 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146624 0 0 0 38672 2040 0 0 25 0 1 0 1795360806 605409280 146474 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147805 146474 1116 68 0 147737 0
[pid=574] vsize: 591220
Current children cumulated CPU time (s) 407.12
Current children cumulated vsize (Kb) 591220

[startup+450.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146646 0 0 0 39670 2041 0 0 25 0 1 0 1795360806 605544448 146496 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147838 146496 1116 68 0 147770 0
[pid=574] vsize: 591352
Current children cumulated CPU time (s) 417.11
Current children cumulated vsize (Kb) 591352

[startup+460.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146664 0 0 0 40666 2043 0 0 25 0 1 0 1795360806 605544448 146514 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147838 146514 1116 68 0 147770 0
[pid=574] vsize: 591352
Current children cumulated CPU time (s) 427.09
Current children cumulated vsize (Kb) 591352

[startup+470.034 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146707 0 0 0 41663 2044 0 0 25 0 1 0 1795360806 605679616 146557 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147871 146557 1116 68 0 147803 0
[pid=574] vsize: 591484
Current children cumulated CPU time (s) 437.07
Current children cumulated vsize (Kb) 591484

[startup+480.034 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 146796 0 0 0 42642 2052 0 0 25 0 1 0 1795360806 606085120 146646 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 147970 146646 1116 68 0 147902 0
[pid=574] vsize: 591880
Current children cumulated CPU time (s) 446.94
Current children cumulated vsize (Kb) 591880

[startup+490.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 147602 0 0 0 43578 2077 0 0 25 0 1 0 1795360806 609452032 147452 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 148792 147452 1116 68 0 148724 0
[pid=574] vsize: 595168
Current children cumulated CPU time (s) 456.55
Current children cumulated vsize (Kb) 595168

[startup+500.035 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 147989 0 0 0 44509 2101 0 0 25 0 1 0 1795360806 610963456 147839 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 149161 147839 1116 68 0 149093 0
[pid=574] vsize: 596644
Current children cumulated CPU time (s) 466.1
Current children cumulated vsize (Kb) 596644

[startup+510.036 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 148830 0 0 0 45438 2127 0 0 25 0 1 0 1795360806 614477824 148680 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 150019 148680 1116 68 0 149951 0
[pid=574] vsize: 600076
Current children cumulated CPU time (s) 475.65
Current children cumulated vsize (Kb) 600076

[startup+520.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 153103 0 0 0 46267 2193 0 0 25 0 1 0 1795360806 631894016 152953 4294967295 134512640 134736556 3221224560 3221223200 134524400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 154271 152953 1116 68 0 154203 0
[pid=574] vsize: 617084
Current children cumulated CPU time (s) 484.6
Current children cumulated vsize (Kb) 617084

[startup+530.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 154589 0 0 0 47207 2217 0 0 25 0 1 0 1795360806 638038016 154435 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 155771 154435 1116 68 0 155703 0
[pid=574] vsize: 623084
Current children cumulated CPU time (s) 494.24
Current children cumulated vsize (Kb) 623084

[startup+540.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 159500 0 0 0 48133 2250 0 0 25 0 1 0 1795360806 658178048 159346 4294967295 134512640 134736556 3221224560 3221223216 134528666 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 160688 159346 1116 68 0 160620 0
[pid=574] vsize: 642752
Current children cumulated CPU time (s) 503.83
Current children cumulated vsize (Kb) 642752

[startup+550.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 167402 0 0 0 49046 2293 0 0 25 0 1 0 1795360806 690626560 167247 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 168610 167247 1116 68 0 168542 0
[pid=574] vsize: 674440
Current children cumulated CPU time (s) 513.39
Current children cumulated vsize (Kb) 674440

[startup+560.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 173498 0 0 0 49983 2321 0 0 25 0 1 0 1795360806 715685888 173340 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 174728 173340 1116 68 0 174660 0
[pid=574] vsize: 698912
Current children cumulated CPU time (s) 523.04
Current children cumulated vsize (Kb) 698912

[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 179613 0 0 0 50921 2353 0 0 25 0 1 0 1795360806 740777984 179452 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 180854 179452 1116 68 0 180786 0
[pid=574] vsize: 723416
Current children cumulated CPU time (s) 532.74
Current children cumulated vsize (Kb) 723416

[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 187140 0 0 0 51838 2391 0 0 25 0 1 0 1795360806 771743744 186979 4294967295 134512640 134736556 3221224560 3221223296 134605594 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 188414 186979 1116 68 0 188346 0
[pid=574] vsize: 753656
Current children cumulated CPU time (s) 542.29
Current children cumulated vsize (Kb) 753656

[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 193895 0 0 0 52766 2426 0 0 25 0 1 0 1795360806 799481856 193729 4294967295 134512640 134736556 3221224560 3221223096 1077377434 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 195186 193729 1116 68 0 195118 0
[pid=574] vsize: 780744
Current children cumulated CPU time (s) 551.92
Current children cumulated vsize (Kb) 780744

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 198739 0 0 0 53714 2450 0 0 25 0 1 0 1795360806 819400704 198569 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 200049 198569 1116 68 0 199981 0
[pid=574] vsize: 800196
Current children cumulated CPU time (s) 561.64
Current children cumulated vsize (Kb) 800196

[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 205187 0 0 0 54651 2483 0 0 25 0 1 0 1795360806 845877248 205009 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 206513 205009 1116 68 0 206445 0
[pid=574] vsize: 826052
Current children cumulated CPU time (s) 571.34
Current children cumulated vsize (Kb) 826052

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 211194 0 0 0 55585 2514 0 0 19 0 1 0 1795360806 870580224 211009 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 212544 211009 1116 68 0 212476 0
[pid=574] vsize: 850176
Current children cumulated CPU time (s) 580.99
Current children cumulated vsize (Kb) 850176

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 218664 0 0 0 56508 2553 0 0 25 0 1 0 1795360806 901242880 218478 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/574/statm): 220030 218478 1116 68 0 219962 0
[pid=574] vsize: 880120
Current children cumulated CPU time (s) 590.61
Current children cumulated vsize (Kb) 880120

[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 574
Raw data (/proc/574/stat): 574 (bsolo) R 573 574 31915 0 -1 0 225647 0 0 0 57433 2590 0 0 25 0 1 0 1795360806 929927168 225429 4294967295 134512640 134736556 3221224560 3221223148 1077377191 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/574/statm): 227033 225429 1116 68 0 226965 0
[pid=574] vsize: 908132
Current children cumulated CPU time (s) 600.23
Current children cumulated vsize (Kb) 908132

[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 229502 0 32 0 58337 2623 0 0 25 0 1 0 1795360806 943652864 228790 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 230384 228790 1116 68 0 230316 0
[pid=574] vsize: 921536
Current children cumulated CPU time (s) 609.6
Current children cumulated vsize (Kb) 921536



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+650.987 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 574
Raw data (/proc/574/stat): 574 (bsolo) T 573 574 31915 0 -1 0 229535 0 32 0 58423 2625 0 0 25 0 1 0 1795360806 943788032 228823 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/574/statm): 230417 228823 1116 68 0 230349 0
[pid=574] vsize: 921668
Current children cumulated CPU time (s) 610.48
Current children cumulated vsize (Kb) 921668

Sending SIGTERM to -574
Sleeping 2 seconds
Sending SIGKILL to -574
One traced child (pid=574) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 653.418
CPU time (s): 610.915
CPU user time (s): 584.231
CPU system time (s): 26.6839
CPU usage (%): 93.4953
Max. virtual memory (cumulated for all children) (Kb): 921668

Verifier Data

ERROR: no interpretation found !