Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
MD5SUM31cf10e9e153d1aa4cb38d513d96aadc
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8944110349826
Optimality of the best value was proved NO
Number of terms in the objective function 11424
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144211309205274864
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144211309205274864
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.25
Number of variables18384
Total number of constraints1824
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1776
Minimum length of a constraint2
Maximum length of a constraint311

Trace number 653

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-18 12:12:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=632 boxname=wulflinc27 idbench=632 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  31cf10e9e153d1aa4cb38d513d96aadc  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-gesa3.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-gesa3.opb
IDLAUNCH: 632
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        936756 kB
Buffers:         34788 kB
Cached:          30680 kB
SwapCached:        764 kB
Active:          55884 kB
Inactive:        12208 kB
HighTotal:      131008 kB
HighFree:        97384 kB
LowTotal:       903652 kB
LowFree:        839372 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            24212 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:19:40 (client local time) WITH STATUS 0 IN 393.544 SECONDS
stats: 632 7 393.544 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 18384 variables and 1800 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 8.349
c After prepocess the problem consists of 11736 variables and 1800 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 11736 #Dec: 28781 LB: 0 @ 10.619
c Restart #2 #Var: 11736 #Dec: 90634 LB: 0 @ 15.589
c Restart #3 #Var: 11736 #Dec: 185998 LB: 0 @ 23.381
c Restart #4 #Var: 11736 #Dec: 321002 LB: 0 @ 34.628
c Restart #5 #Var: 11736 #Dec: 472008 LB: 0 @ 46.715
c Restart #6 #Var: 11736 #Dec: 616402 LB: 0 @ 57.75
c Restart #7 #Var: 11736 #Dec: 763226 LB: 0 @ 67.028
c Restart #8 #Var: 11736 #Dec: 767907 LB: 0 @ 68.621
c Restart #9 #Var: 11736 #Dec: 769737 LB: 0 @ 70.144
c Restart #10 #Var: 11736 #Dec: 771755 LB: 0 @ 72.289
c Restart #11 #Var: 11736 #Dec: 773985 LB: 0 @ 74.284
c Restart #12 #Var: 11736 #Dec: 776412 LB: 0 @ 76.478
c Restart #13 #Var: 11736 #Dec: 779033 LB: 0 @ 79.614
c Restart #14 #Var: 11736 #Dec: 781856 LB: 0 @ 82.022
c Restart #15 #Var: 11736 #Dec: 784882 LB: 0 @ 84.88
c Restart #16 #Var: 11736 #Dec: 795523 LB: 0 @ 88.649
c Restart #17 #Var: 11736 #Dec: 798938 LB: 0 @ 90.759
c Restart #18 #Var: 11736 #Dec: 802568 LB: 0 @ 93.31
c Restart #19 #Var: 11736 #Dec: 806394 LB: 0 @ 96.452
c Restart #20 #Var: 11736 #Dec: 810411 LB: 0 @ 99.972
c Restart #21 #Var: 11736 #Dec: 814639 LB: 0 @ 103.43
c Restart #22 #Var: 11736 #Dec: 819068 LB: 0 @ 107.12
c Restart #23 #Var: 11736 #Dec: 823715 LB: 0 @ 113.09
c Restart #24 #Var: 11736 #Dec: 828543 LB: 0 @ 117.9
c Restart #25 #Var: 11736 #Dec: 833592 LB: 0 @ 123.24
c Restart #26 #Var: 11736 #Dec: 838846 LB: 0 @ 127.68
c Restart #27 #Var: 11736 #Dec: 844269 LB: 0 @ 134.07
c Restart #28 #Var: 11736 #Dec: 849900 LB: 0 @ 141.77
c Restart #29 #Var: 11735 #Dec: 855764 LB: 0 @ 150.61
c Restart #30 #Var: 11732 #Dec: 863172 LB: 0 @ 158.05
c Restart #31 #Var: 11723 #Dec: 878203 LB: 0 @ 185.11
c Restart #32 #Var: 11715 #Dec: 896782 LB: 0 @ 194.56
c Restart #33 #Var: 11714 #Dec: 904296 LB: 0 @ 200.14
c Restart #34 #Var: 11706 #Dec: 919131 LB: 0 @ 212.33
c Restart #35 #Var: 11698 #Dec: 937122 LB: 0 @ 226.76
c Restart #36 #Var: 11692 #Dec: 962035 LB: 0 @ 238.97
c Restart #37 #Var: 11692 #Dec: 969466 LB: 0 @ 247.7
c Restart #38 #Var: 11692 #Dec: 977092 LB: 0 @ 254.88
c Restart #39 #Var: 11692 #Dec: 984920 LB: 0 @ 264.22
c Restart #40 #Var: 11692 #Dec: 992950 LB: 0 @ 273.08
c Restart #41 #Var: 11692 #Dec: 1001177 LB: 0 @ 283.69
c Restart #42 #Var: 11692 #Dec: 1009600 LB: 0 @ 292.18
c Restart #43 #Var: 11692 #Dec: 1018230 LB: 0 @ 302.99
c Restart #44 #Var: 11692 #Dec: 1027057 LB: 0 @ 312.69
c Restart #45 #Var: 11692 #Dec: 1039024 LB: 0 @ 321.33
c Restart #46 #Var: 11692 #Dec: 1048252 LB: 0 @ 334.06
c Restart #47 #Var: 11692 #Dec: 1057674 LB: 0 @ 347.92
c Restart #48 #Var: 11692 #Dec: 1067334 LB: 0 @ 363.51
c Restart #49 #Var: 11691 #Dec: 1077439 LB: 0 @ 375.43
c Restart #50 #Var: 11691 #Dec: 1087469 LB: 0 @ 387.48
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/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841145227 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 107 3 90 68 0 39 0
[pid=31234] 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/wulflinc27/normalized-mps-v2-20-10-gesa3.opb

[startup+10.0025 s]
Raw data (loadavg): 0.94 0.98 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 17016 0 0 0 873 68 0 0 18 0 1 0 1841145227 73469952 16927 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 17937 16927 1116 68 0 17869 0
[pid=31234] vsize: 71748
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (Kb) 71748

[startup+20.0033 s]
Raw data (loadavg): 0.95 0.98 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 17111 0 0 0 1502 191 0 0 18 0 1 0 1841145227 73838592 17022 4294967295 134512640 134736556 3221224560 3221223092 134716328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 18027 17022 1116 68 0 17959 0
[pid=31234] vsize: 72108
Current children cumulated CPU time (s) 16.93
Current children cumulated vsize (Kb) 72108

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 17187 0 0 0 2140 313 0 0 18 0 1 0 1841145227 74244096 17098 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31234/statm): 18126 17098 1116 68 0 18058 0
[pid=31234] vsize: 72504
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (Kb) 72504

[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 17238 0 0 0 2781 436 0 0 18 0 1 0 1841145227 74379264 17149 4294967295 134512640 134736556 3221224560 3221223120 134544598 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 18159 17149 1116 68 0 18091 0
[pid=31234] vsize: 72636
Current children cumulated CPU time (s) 32.17
Current children cumulated vsize (Kb) 72636

[startup+50.0067 s]
Raw data (loadavg): 0.97 0.98 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 17289 0 0 0 3411 557 0 0 18 0 1 0 1841145227 74637312 17200 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 18222 17200 1116 68 0 18154 0
[pid=31234] vsize: 72888
Current children cumulated CPU time (s) 39.68
Current children cumulated vsize (Kb) 72888

[startup+60.0066 s]
Raw data (loadavg): 1.05 1.00 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 17336 0 0 0 4043 675 0 0 18 0 1 0 1841145227 74772480 17247 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 18255 17247 1116 68 0 18187 0
[pid=31234] vsize: 73020
Current children cumulated CPU time (s) 47.18
Current children cumulated vsize (Kb) 73020

[startup+70.0074 s]
Raw data (loadavg): 1.04 1.00 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 17459 0 0 0 4661 802 0 0 19 0 1 0 1841145227 75313152 17370 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 18387 17370 1116 68 0 18319 0
[pid=31234] vsize: 73548
Current children cumulated CPU time (s) 54.63
Current children cumulated vsize (Kb) 73548

[startup+80.0082 s]
Raw data (loadavg): 1.04 1.00 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 17769 0 0 0 5261 938 0 0 18 0 1 0 1841145227 76529664 17680 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 18684 17680 1116 68 0 18616 0
[pid=31234] vsize: 74736
Current children cumulated CPU time (s) 61.99
Current children cumulated vsize (Kb) 74736

[startup+90.008 s]
Raw data (loadavg): 1.03 1.00 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 20979 0 0 0 5900 1064 0 0 25 0 1 0 1841145227 89776128 20890 4294967295 134512640 134736556 3221224560 3221223248 134528776 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 21918 20890 1116 68 0 21850 0
[pid=31234] vsize: 87672
Current children cumulated CPU time (s) 69.64
Current children cumulated vsize (Kb) 87672

[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 0.96 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 29266 0 0 0 6828 1100 0 0 25 0 1 0 1841145227 123727872 29177 4294967295 134512640 134736556 3221224560 3221223152 134716187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 30207 29177 1116 68 0 30139 0
[pid=31234] vsize: 120828
Current children cumulated CPU time (s) 79.28
Current children cumulated vsize (Kb) 120828

[startup+110.01 s]
Raw data (loadavg): 1.02 1.00 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 37575 0 0 0 7726 1150 0 0 25 0 1 0 1841145227 157790208 37486 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31234/statm): 38523 37486 1116 68 0 38455 0
[pid=31234] vsize: 154092
Current children cumulated CPU time (s) 88.76
Current children cumulated vsize (Kb) 154092

[startup+120.011 s]
Raw data (loadavg): 1.02 1.00 0.96 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 48946 0 0 0 8638 1196 0 0 25 0 1 0 1841145227 204484608 48853 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 49923 48853 1116 68 0 49855 0
[pid=31234] vsize: 199692
Current children cumulated CPU time (s) 98.34
Current children cumulated vsize (Kb) 199692

[startup+130.01 s]
Raw data (loadavg): 1.09 1.02 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 58654 0 0 0 9560 1236 0 0 25 0 1 0 1841145227 244330496 58554 4294967295 134512640 134736556 3221224560 3221223120 134551153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 59651 58554 1116 68 0 59583 0
[pid=31234] vsize: 238604
Current children cumulated CPU time (s) 107.96
Current children cumulated vsize (Kb) 238604

[startup+140.01 s]
Raw data (loadavg): 1.07 1.02 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 66236 0 0 0 10492 1274 0 0 25 0 1 0 1841145227 275427328 66132 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31234/statm): 67243 66132 1116 68 0 67175 0
[pid=31234] vsize: 268972
Current children cumulated CPU time (s) 117.66
Current children cumulated vsize (Kb) 268972

[startup+150.011 s]
Raw data (loadavg): 1.06 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 75266 0 0 0 11417 1312 0 0 25 0 1 0 1841145227 312528896 75160 4294967295 134512640 134736556 3221224560 3221223136 134550707 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 76301 75160 1116 68 0 76233 0
[pid=31234] vsize: 305204
Current children cumulated CPU time (s) 127.29
Current children cumulated vsize (Kb) 305204

[startup+160.011 s]
Raw data (loadavg): 1.05 1.01 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 82165 0 0 0 12355 1346 0 0 25 0 1 0 1841145227 340815872 82057 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 83207 82057 1116 68 0 83139 0
[pid=31234] vsize: 332828
Current children cumulated CPU time (s) 137.01
Current children cumulated vsize (Kb) 332828

[startup+170.012 s]
Raw data (loadavg): 1.04 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 87548 0 0 0 13310 1370 0 0 25 0 1 0 1841145227 363003904 87438 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 88624 87438 1116 68 0 88556 0
[pid=31234] vsize: 354496
Current children cumulated CPU time (s) 146.8
Current children cumulated vsize (Kb) 354496

[startup+180.011 s]
Raw data (loadavg): 1.04 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 94445 0 0 0 14240 1402 0 0 25 0 1 0 1841145227 391262208 94335 4294967295 134512640 134736556 3221224560 3221223084 134536602 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 95523 94335 1116 68 0 95455 0
[pid=31234] vsize: 382092
Current children cumulated CPU time (s) 156.42
Current children cumulated vsize (Kb) 382092

[startup+190.011 s]
Raw data (loadavg): 1.03 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 95774 0 0 0 15222 1409 0 0 25 0 1 0 1841145227 396746752 95660 4294967295 134512640 134736556 3221224560 3221223116 134537483 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 96862 95660 1116 68 0 96794 0
[pid=31234] vsize: 387448
Current children cumulated CPU time (s) 166.31
Current children cumulated vsize (Kb) 387448

[startup+200.012 s]
Raw data (loadavg): 1.02 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 95859 0 0 0 16215 1412 0 0 25 0 1 0 1841145227 397017088 95745 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 96928 95745 1116 68 0 96860 0
[pid=31234] vsize: 387712
Current children cumulated CPU time (s) 176.27
Current children cumulated vsize (Kb) 387712

[startup+210.012 s]
Raw data (loadavg): 1.02 1.01 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 101275 0 0 0 17134 1447 0 0 25 0 1 0 1841145227 419258368 101159 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31234/statm): 102358 101159 1116 68 0 102290 0
[pid=31234] vsize: 409432
Current children cumulated CPU time (s) 185.81
Current children cumulated vsize (Kb) 409432

[startup+220.013 s]
Raw data (loadavg): 1.02 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 106779 0 0 0 18042 1488 0 0 25 0 1 0 1841145227 441896960 106659 4294967295 134512640 134736556 3221224560 3221223176 134540169 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 107885 106659 1116 68 0 107817 0
[pid=31234] vsize: 431540
Current children cumulated CPU time (s) 195.3
Current children cumulated vsize (Kb) 431540

[startup+230.013 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 114672 0 0 0 18955 1531 0 0 25 0 1 0 1841145227 474259456 114542 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 115786 114542 1116 68 0 115718 0
[pid=31234] vsize: 463144
Current children cumulated CPU time (s) 204.86
Current children cumulated vsize (Kb) 463144

[startup+240.012 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 114909 0 0 0 19893 1552 0 0 24 0 1 0 1841145227 475193344 114779 4294967295 134512640 134736556 3221224560 3221223188 134536509 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 116014 114779 1116 68 0 115946 0
[pid=31234] vsize: 464056
Current children cumulated CPU time (s) 214.45
Current children cumulated vsize (Kb) 464056

[startup+250.013 s]
Raw data (loadavg): 1.01 1.00 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 114939 0 0 0 20851 1566 0 0 25 0 1 0 1841145227 475328512 114809 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 116047 114809 1116 68 0 115979 0
[pid=31234] vsize: 464188
Current children cumulated CPU time (s) 224.17
Current children cumulated vsize (Kb) 464188

[startup+260.014 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 116102 0 0 0 21759 1599 0 0 25 0 1 0 1841145227 480067584 115972 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 117204 115972 1116 68 0 117136 0
[pid=31234] vsize: 468816
Current children cumulated CPU time (s) 233.58
Current children cumulated vsize (Kb) 468816

[startup+270.015 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 123348 0 0 0 22695 1634 0 0 25 0 1 0 1841145227 509911040 123209 4294967295 134512640 134736556 3221224560 3221223296 134605591 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 124490 123209 1116 68 0 124422 0
[pid=31234] vsize: 497960
Current children cumulated CPU time (s) 243.29
Current children cumulated vsize (Kb) 497960

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 131376 0 0 0 23623 1670 0 0 25 0 1 0 1841145227 542916608 131231 4294967295 134512640 134736556 3221224560 3221223168 134634145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 132548 131231 1116 68 0 132480 0
[pid=31234] vsize: 530192
Current children cumulated CPU time (s) 252.93
Current children cumulated vsize (Kb) 530192

[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 138564 0 0 0 24561 1704 0 0 25 0 1 0 1841145227 572452864 138410 4294967295 134512640 134736556 3221224560 3221223136 134550251 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 139759 138410 1116 68 0 139691 0
[pid=31234] vsize: 559036
Current children cumulated CPU time (s) 262.65
Current children cumulated vsize (Kb) 559036

[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 146050 0 0 0 25497 1737 0 0 25 0 1 0 1841145227 603156480 145890 4294967295 134512640 134736556 3221224560 3221223152 134551108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 147255 145890 1116 68 0 147187 0
[pid=31234] vsize: 589020
Current children cumulated CPU time (s) 272.34
Current children cumulated vsize (Kb) 589020

[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 152373 0 0 0 26438 1767 0 0 25 0 1 0 1841145227 628994048 152210 4294967295 134512640 134736556 3221224560 3221223164 134537557 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 153563 152210 1116 68 0 153495 0
[pid=31234] vsize: 614252
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (Kb) 614252

[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 160205 0 0 0 27368 1805 0 0 25 0 1 0 1841145227 661082112 160038 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 161397 160038 1116 68 0 161329 0
[pid=31234] vsize: 645588
Current children cumulated CPU time (s) 291.73
Current children cumulated vsize (Kb) 645588

[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 166771 0 0 0 28308 1836 0 0 25 0 1 0 1841145227 688435200 166573 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 168075 166573 1116 68 0 168007 0
[pid=31234] vsize: 672300
Current children cumulated CPU time (s) 301.44
Current children cumulated vsize (Kb) 672300

[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 173984 0 0 0 29242 1869 0 0 25 0 1 0 1841145227 717983744 173782 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 175289 173782 1116 68 0 175221 0
[pid=31234] vsize: 701156
Current children cumulated CPU time (s) 311.11
Current children cumulated vsize (Kb) 701156

[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 182784 0 0 0 30161 1911 0 0 25 0 1 0 1841145227 753954816 182579 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 184071 182579 1116 68 0 184003 0
[pid=31234] vsize: 736284
Current children cumulated CPU time (s) 320.72
Current children cumulated vsize (Kb) 736284

[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 189170 0 0 0 31110 1939 0 0 25 0 1 0 1841145227 780230656 188963 4294967295 134512640 134736556 3221224560 3221223440 134613488 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 190486 188963 1116 68 0 190418 0
[pid=31234] vsize: 761944
Current children cumulated CPU time (s) 330.49
Current children cumulated vsize (Kb) 761944

[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 195112 0 0 0 32053 1967 0 0 25 0 1 0 1841145227 804630528 194900 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 196443 194900 1116 68 0 196375 0
[pid=31234] vsize: 785772
Current children cumulated CPU time (s) 340.2
Current children cumulated vsize (Kb) 785772

[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 200472 0 0 0 33007 1991 0 0 25 0 1 0 1841145227 826576896 200259 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 201801 200259 1116 68 0 201733 0
[pid=31234] vsize: 807204
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 807204

[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 205556 0 0 0 33961 2014 0 0 25 0 1 0 1841145227 847585280 205343 4294967295 134512640 134736556 3221224560 3221223108 134551120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 206930 205343 1116 68 0 206862 0
[pid=31234] vsize: 827720
Current children cumulated CPU time (s) 359.75
Current children cumulated vsize (Kb) 827720

[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 211172 0 0 0 34908 2040 0 0 25 0 1 0 1841145227 870744064 210954 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31234/statm): 212584 210954 1116 68 0 212516 0
[pid=31234] vsize: 850336
Current children cumulated CPU time (s) 369.48
Current children cumulated vsize (Kb) 850336

[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 218436 0 0 0 35844 2072 0 0 25 0 1 0 1841145227 900538368 218217 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31234/statm): 219858 218217 1116 68 0 219790 0
[pid=31234] vsize: 879432
Current children cumulated CPU time (s) 379.16
Current children cumulated vsize (Kb) 879432

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) R 31233 31234 28974 0 -1 0 225261 0 0 0 36782 2105 0 0 24 0 1 0 1841145227 928477184 225033 4294967295 134512640 134736556 3221224560 3221223236 134528814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31234/statm): 226679 225033 1116 68 0 226611 0
[pid=31234] vsize: 906716
Current children cumulated CPU time (s) 388.87
Current children cumulated vsize (Kb) 906716



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+424.435 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 31234
Raw data (/proc/31234/stat): 31234 (bsolo) T 31233 31234 28974 0 -1 0 228975 0 0 0 37190 2121 0 0 25 0 1 0 1841145227 943734784 228747 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31234/statm): 230404 228747 1116 68 0 230336 0
[pid=31234] vsize: 921616
Current children cumulated CPU time (s) 393.11
Current children cumulated vsize (Kb) 921616

Sending SIGTERM to -31234
Sleeping 2 seconds
Sending SIGKILL to -31234
One traced child (pid=31234) 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): 426.859
CPU time (s): 393.544
CPU user time (s): 371.907
CPU system time (s): 21.6367
CPU usage (%): 92.1953
Max. virtual memory (cumulated for all children) (Kb): 921616

Verifier Data

ERROR: no interpretation found !