Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb
MD5SUMd28d6112d880a2aec142bea33a4150fb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29268441542
Optimality of the best value was proved NO
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 226795425792
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 973128929893
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1284.91
Number of variables135360
Total number of constraints39811
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)195
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint1
Maximum length of a constraint496

Trace number 4989

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-19 21:57:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=778 boxname=wulflinc27 idbench=778 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  d28d6112d880a2aec142bea33a4150fb  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-van.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-van.opb
IDLAUNCH: 778
/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:        687288 kB
Buffers:         37628 kB
Cached:         276188 kB
SwapCached:        752 kB
Active:         241624 kB
Inactive:        74820 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        683508 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            25064 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:06:28 (client local time) WITH STATUS 0 IN 527.465 SECONDS
stats: 778 7 527.465 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
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/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853297012 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 107 3 90 68 0 39 0
[pid=19907] 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-van.opb

[startup+10.0046 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 60636 0 0 0 833 135 0 0 25 0 1 0 1853297012 251047936 60374 4294967295 134512640 134736556 3221224560 3221222824 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 61291 60374 1116 68 0 61223 0
[pid=19907] vsize: 245164
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 245164

[startup+20.0054 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 105848 0 0 0 1726 223 0 0 25 0 1 0 1853297012 434216960 105004 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/19907/statm): 106010 105004 1116 68 0 105942 0
[pid=19907] vsize: 424040
Current children cumulated CPU time (s) 19.49
Current children cumulated vsize (Kb) 424040

[startup+30.0052 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 145193 0 0 0 2629 305 0 0 25 0 1 0 1853297012 592257024 143689 4294967295 134512640 134736556 3221224560 3221223308 1077294272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 144594 143689 1116 68 0 144526 0
[pid=19907] vsize: 578376
Current children cumulated CPU time (s) 29.34
Current children cumulated vsize (Kb) 578376

[startup+40.0061 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 165978 0 0 0 3578 348 0 0 25 0 1 0 1853297012 677126144 163971 4294967295 134512640 134736556 3221224560 3221223044 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 165314 163971 1116 68 0 165246 0
[pid=19907] vsize: 661256
Current children cumulated CPU time (s) 39.26
Current children cumulated vsize (Kb) 661256

[startup+50.0069 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 167240 0 0 0 4569 353 0 0 25 0 1 0 1853297012 682262528 165233 4294967295 134512640 134736556 3221224560 3221222444 1077246082 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 166568 165233 1116 68 0 166500 0
[pid=19907] vsize: 666272
Current children cumulated CPU time (s) 49.22
Current children cumulated vsize (Kb) 666272

[startup+60.0077 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 168487 0 0 0 5560 360 0 0 25 0 1 0 1853297012 687398912 166480 4294967295 134512640 134736556 3221224560 3221223208 134523621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 167822 166480 1116 68 0 167754 0
[pid=19907] vsize: 671288
Current children cumulated CPU time (s) 59.2
Current children cumulated vsize (Kb) 671288

[startup+70.0085 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 169700 0 0 0 6553 365 0 0 25 0 1 0 1853297012 692264960 167693 4294967295 134512640 134736556 3221224560 3221223096 1077757598 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19907/statm): 169010 167693 1116 68 0 168942 0
[pid=19907] vsize: 676040
Current children cumulated CPU time (s) 69.18
Current children cumulated vsize (Kb) 676040

[startup+80.0093 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 170891 0 0 0 7544 371 0 0 25 0 1 0 1853297012 697131008 168884 4294967295 134512640 134736556 3221224560 3221223184 134523635 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 170198 168884 1116 68 0 170130 0
[pid=19907] vsize: 680792
Current children cumulated CPU time (s) 79.15
Current children cumulated vsize (Kb) 680792

[startup+90.0101 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 172078 0 0 0 8536 378 0 0 25 0 1 0 1853297012 701997056 170071 4294967295 134512640 134736556 3221224560 3221221540 1077093969 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 171386 170071 1116 68 0 171318 0
[pid=19907] vsize: 685544
Current children cumulated CPU time (s) 89.14
Current children cumulated vsize (Kb) 685544

[startup+100.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 173289 0 0 0 9528 383 0 0 25 0 1 0 1853297012 706998272 171282 4294967295 134512640 134736556 3221224560 3221223024 1077313969 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 172607 171282 1116 68 0 172539 0
[pid=19907] vsize: 690428
Current children cumulated CPU time (s) 99.11
Current children cumulated vsize (Kb) 690428

[startup+110.012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 174515 0 0 0 10518 389 0 0 25 0 1 0 1853297012 711999488 172508 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 173828 172508 1116 68 0 173760 0
[pid=19907] vsize: 695312
Current children cumulated CPU time (s) 109.07
Current children cumulated vsize (Kb) 695312

[startup+120.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 175960 0 0 0 11509 396 0 0 25 0 1 0 1853297012 717946880 173953 4294967295 134512640 134736556 3221224560 3221221260 1077198926 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 175280 173953 1116 68 0 175212 0
[pid=19907] vsize: 701120
Current children cumulated CPU time (s) 119.05
Current children cumulated vsize (Kb) 701120

[startup+130.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 177460 0 0 0 12499 401 0 0 25 0 1 0 1853297012 724164608 175453 4294967295 134512640 134736556 3221224560 3221222804 1077414285 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 176798 175453 1116 68 0 176730 0
[pid=19907] vsize: 707192
Current children cumulated CPU time (s) 129
Current children cumulated vsize (Kb) 707192

[startup+140.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 178775 0 0 0 13492 407 0 0 25 0 1 0 1853297012 729436160 176768 4294967295 134512640 134736556 3221224560 3221221404 1077253638 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 178085 176768 1116 68 0 178017 0
[pid=19907] vsize: 712340
Current children cumulated CPU time (s) 138.99
Current children cumulated vsize (Kb) 712340

[startup+150.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 180046 0 0 0 14483 413 0 0 25 0 1 0 1853297012 734707712 178039 4294967295 134512640 134736556 3221224560 3221221260 1077196806 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 179372 178039 1116 68 0 179304 0
[pid=19907] vsize: 717488
Current children cumulated CPU time (s) 148.96
Current children cumulated vsize (Kb) 717488

[startup+160.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 181366 0 0 0 15474 419 0 0 25 0 1 0 1853297012 740114432 179359 4294967295 134512640 134736556 3221224560 3221221260 1077193054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 180692 179359 1116 68 0 180624 0
[pid=19907] vsize: 722768
Current children cumulated CPU time (s) 158.93
Current children cumulated vsize (Kb) 722768

[startup+170.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 182619 0 0 0 16465 423 0 0 25 0 1 0 1853297012 745250816 180612 4294967295 134512640 134736556 3221224560 3221223324 1077334077 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 181946 180612 1116 68 0 181878 0
[pid=19907] vsize: 727784
Current children cumulated CPU time (s) 168.88
Current children cumulated vsize (Kb) 727784

[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 183914 0 0 0 17456 429 0 0 25 0 1 0 1853297012 750522368 181907 4294967295 134512640 134736556 3221224560 3221222812 1077364355 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 183233 181907 1116 68 0 183165 0
[pid=19907] vsize: 732932
Current children cumulated CPU time (s) 178.85
Current children cumulated vsize (Kb) 732932

[startup+190.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 185066 0 0 0 18449 434 0 0 25 0 1 0 1853297012 755253248 183059 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 184388 183059 1116 68 0 184320 0
[pid=19907] vsize: 737552
Current children cumulated CPU time (s) 188.83
Current children cumulated vsize (Kb) 737552

[startup+200.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 186261 0 0 0 19441 440 0 0 25 0 1 0 1853297012 760119296 184254 4294967295 134512640 134736556 3221224560 3221223072 134572999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 185576 184254 1116 68 0 185508 0
[pid=19907] vsize: 742304
Current children cumulated CPU time (s) 198.81
Current children cumulated vsize (Kb) 742304

[startup+210.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 187485 0 0 0 20433 446 0 0 25 0 1 0 1853297012 765120512 185478 4294967295 134512640 134736556 3221224560 3221222812 1077364288 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 186797 185478 1116 68 0 186729 0
[pid=19907] vsize: 747188
Current children cumulated CPU time (s) 208.79
Current children cumulated vsize (Kb) 747188

[startup+220.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 189055 0 0 0 21423 454 0 0 25 0 1 0 1853297012 771608576 187048 4294967295 134512640 134736556 3221224560 3221223216 134536005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 188381 187048 1116 68 0 188313 0
[pid=19907] vsize: 753524
Current children cumulated CPU time (s) 218.77
Current children cumulated vsize (Kb) 753524

[startup+230.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 190729 0 0 0 22413 460 0 0 25 0 1 0 1853297012 778502144 188722 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 190064 188722 1116 68 0 189996 0
[pid=19907] vsize: 760256
Current children cumulated CPU time (s) 228.73
Current children cumulated vsize (Kb) 760256

[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 192162 0 0 0 23404 466 0 0 25 0 1 0 1853297012 784314368 190155 4294967295 134512640 134736556 3221224560 3221223376 134568641 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 191483 190155 1116 68 0 191415 0
[pid=19907] vsize: 765932
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (Kb) 765932

[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 193439 0 0 0 24395 472 0 0 25 0 1 0 1853297012 789585920 191432 4294967295 134512640 134736556 3221224560 3221223068 1077399564 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 192770 191432 1116 68 0 192702 0
[pid=19907] vsize: 771080
Current children cumulated CPU time (s) 248.67
Current children cumulated vsize (Kb) 771080

[startup+260.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 194685 0 0 0 25388 475 0 0 25 0 1 0 1853297012 794722304 192678 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 194024 192678 1116 68 0 193956 0
[pid=19907] vsize: 776096
Current children cumulated CPU time (s) 258.63
Current children cumulated vsize (Kb) 776096

[startup+270.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 195929 0 0 0 26379 481 0 0 25 0 1 0 1853297012 799723520 193890 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 195245 193890 1116 68 0 195177 0
[pid=19907] vsize: 780980
Current children cumulated CPU time (s) 268.6
Current children cumulated vsize (Kb) 780980

[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 197232 0 0 0 27370 488 0 0 25 0 1 0 1853297012 805130240 195129 4294967295 134512640 134736556 3221224560 3221223204 1077374077 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 196565 195129 1116 68 0 196497 0
[pid=19907] vsize: 786260
Current children cumulated CPU time (s) 278.58
Current children cumulated vsize (Kb) 786260

[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 198461 0 0 0 28360 494 0 0 25 0 1 0 1853297012 810131456 196294 4294967295 134512640 134736556 3221224560 3221223304 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 197786 196294 1116 68 0 197718 0
[pid=19907] vsize: 791144
Current children cumulated CPU time (s) 288.54
Current children cumulated vsize (Kb) 791144

[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 199612 0 0 0 29331 505 0 0 25 0 1 0 1853297012 814862336 197381 4294967295 134512640 134736556 3221224560 3221221260 1077197847 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 198941 197381 1116 68 0 198873 0
[pid=19907] vsize: 795764
Current children cumulated CPU time (s) 298.36
Current children cumulated vsize (Kb) 795764

[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 200789 0 0 0 30318 515 0 0 21 0 1 0 1853297012 819728384 198462 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/19907/statm): 200129 198462 1116 68 0 200061 0
[pid=19907] vsize: 800516
Current children cumulated CPU time (s) 308.33
Current children cumulated vsize (Kb) 800516

[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 202034 0 0 0 31305 525 0 0 25 0 1 0 1853297012 824729600 199611 4294967295 134512640 134736556 3221224560 3221223292 1076647867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 201350 199611 1116 68 0 201282 0
[pid=19907] vsize: 805400
Current children cumulated CPU time (s) 318.3
Current children cumulated vsize (Kb) 805400

[startup+330.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 203430 0 0 0 32294 530 0 0 25 0 1 0 1853297012 830541824 200816 4294967295 134512640 134736556 3221224560 3221223356 1077049539 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 202769 200816 1116 68 0 202701 0
[pid=19907] vsize: 811076
Current children cumulated CPU time (s) 328.24
Current children cumulated vsize (Kb) 811076

[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 204869 0 0 0 33282 538 0 0 25 0 1 0 1853297012 836354048 202098 4294967295 134512640 134736556 3221224560 3221222444 1077246155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 204188 202098 1116 68 0 204120 0
[pid=19907] vsize: 816752
Current children cumulated CPU time (s) 338.2
Current children cumulated vsize (Kb) 816752

[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 206229 0 9 0 34266 547 0 0 25 0 1 0 1853297012 841895936 203345 4294967295 134512640 134736556 3221224560 3221223068 1077399567 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 205541 203345 1116 68 0 205473 0
[pid=19907] vsize: 822164
Current children cumulated CPU time (s) 348.13
Current children cumulated vsize (Kb) 822164

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 207367 0 15 0 35254 553 0 0 25 0 1 0 1853297012 846626816 204158 4294967295 134512640 134736556 3221224560 3221221404 1077253827 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 206696 204159 1116 68 0 206628 0
[pid=19907] vsize: 826784
Current children cumulated CPU time (s) 358.07
Current children cumulated vsize (Kb) 826784

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 208512 0 17 0 36241 561 0 0 24 0 1 0 1853297012 851222528 204959 4294967295 134512640 134736556 3221224560 3221223088 134572982 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 207818 204959 1116 68 0 207750 0
[pid=19907] vsize: 831272
Current children cumulated CPU time (s) 368.02
Current children cumulated vsize (Kb) 831272

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 209641 0 23 0 37230 567 0 0 25 0 1 0 1853297012 855683072 205913 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 208907 205913 1116 68 0 208839 0
[pid=19907] vsize: 835628
Current children cumulated CPU time (s) 377.97
Current children cumulated vsize (Kb) 835628

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 210778 0 32 0 38213 573 0 0 25 0 1 0 1853297012 860278784 206779 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 210029 206779 1116 68 0 209961 0
[pid=19907] vsize: 840116
Current children cumulated CPU time (s) 387.86
Current children cumulated vsize (Kb) 840116

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 211960 0 33 0 39199 582 0 0 25 0 1 0 1853297012 865144832 207738 4294967295 134512640 134736556 3221224560 3221222444 1077244359 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 211217 207738 1116 68 0 211149 0
[pid=19907] vsize: 844868
Current children cumulated CPU time (s) 397.81
Current children cumulated vsize (Kb) 844868

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 213129 0 33 0 40187 591 0 0 25 0 1 0 1853297012 870010880 208723 4294967295 134512640 134736556 3221224560 3221221248 1077298590 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 212405 208723 1116 68 0 212337 0
[pid=19907] vsize: 849620
Current children cumulated CPU time (s) 407.78
Current children cumulated vsize (Kb) 849620

[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 214382 0 35 0 41174 597 0 0 25 0 1 0 1853297012 875012096 209786 4294967295 134512640 134736556 3221224560 3221223096 1077757598 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/19907/statm): 213626 209786 1116 68 0 213558 0
[pid=19907] vsize: 854504
Current children cumulated CPU time (s) 417.71
Current children cumulated vsize (Kb) 854504

[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 215601 0 42 0 42152 606 0 0 25 0 1 0 1853297012 880013312 210796 4294967295 134512640 134736556 3221224560 3221222904 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 214847 210796 1116 68 0 214779 0
[pid=19907] vsize: 859388
Current children cumulated CPU time (s) 427.58
Current children cumulated vsize (Kb) 859388

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 217004 0 44 0 43138 615 0 0 25 0 1 0 1853297012 885825536 211932 4294967295 134512640 134736556 3221224560 3221223352 1077049526 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 216266 211932 1116 68 0 216198 0
[pid=19907] vsize: 865064
Current children cumulated CPU time (s) 437.53
Current children cumulated vsize (Kb) 865064

[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 218099 0 45 0 44127 622 0 0 25 0 1 0 1853297012 890286080 212815 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 217355 212815 1116 68 0 217287 0
[pid=19907] vsize: 869420
Current children cumulated CPU time (s) 447.49
Current children cumulated vsize (Kb) 869420

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 219325 0 47 0 45115 630 0 0 25 0 1 0 1853297012 895287296 213736 4294967295 134512640 134736556 3221224560 3221223068 1077399568 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 218576 213736 1116 68 0 218508 0
[pid=19907] vsize: 874304
Current children cumulated CPU time (s) 457.45
Current children cumulated vsize (Kb) 874304

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 220724 0 49 0 46100 638 0 0 25 0 1 0 1853297012 900964352 214829 4294967295 134512640 134736556 3221224560 3221222444 1077253315 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 219962 214829 1116 68 0 219894 0
[pid=19907] vsize: 879848
Current children cumulated CPU time (s) 467.38
Current children cumulated vsize (Kb) 879848

[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 222090 0 51 0 47090 644 0 0 25 0 1 0 1853297012 906506240 215895 4294967295 134512640 134736556 3221224560 3221221404 1077253775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 221315 215895 1116 68 0 221247 0
[pid=19907] vsize: 885260
Current children cumulated CPU time (s) 477.34
Current children cumulated vsize (Kb) 885260

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 223411 0 53 0 48072 654 0 0 25 0 1 0 1853297012 911912960 216925 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 222635 216925 1116 68 0 222567 0
[pid=19907] vsize: 890540
Current children cumulated CPU time (s) 487.26
Current children cumulated vsize (Kb) 890540

[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 225384 0 60 0 49051 662 0 0 25 0 1 0 1853297012 919887872 218404 4294967295 134512640 134736556 3221224560 3221222444 1077244344 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 224582 218404 1116 68 0 224514 0
[pid=19907] vsize: 898328
Current children cumulated CPU time (s) 497.13
Current children cumulated vsize (Kb) 898328

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 226832 0 62 0 50033 672 0 0 25 0 1 0 1853297012 925835264 219490 4294967295 134512640 134736556 3221224560 3221222444 1077258893 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 226034 219490 1116 68 0 225966 0
[pid=19907] vsize: 904136
Current children cumulated CPU time (s) 507.05
Current children cumulated vsize (Kb) 904136

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 228945 0 79 0 51002 684 0 0 25 0 1 0 1853297012 934080512 221359 4294967295 134512640 134736556 3221224560 3221222796 1077360225 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19907/statm): 228047 221359 1116 68 0 227979 0
[pid=19907] vsize: 912188
Current children cumulated CPU time (s) 516.86
Current children cumulated vsize (Kb) 912188

[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 231248 0 99 0 51974 695 0 0 25 0 1 0 1853297012 943407104 223169 4294967295 134512640 134736556 3221224560 3221222444 1077244341 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19907/statm): 230324 223169 1116 68 0 230256 0
[pid=19907] vsize: 921296
Current children cumulated CPU time (s) 526.69
Current children cumulated vsize (Kb) 921296



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+530.379 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 19907
Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 231354 0 99 0 52007 696 0 0 25 0 1 0 1853297012 943812608 223271 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19907/statm): 230423 223271 1116 68 0 230355 0
[pid=19907] vsize: 921692
Current children cumulated CPU time (s) 527.03
Current children cumulated vsize (Kb) 921692

Sending SIGTERM to -19907
Sleeping 2 seconds
Sending SIGKILL to -19907
One traced child (pid=19907) 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): 532.807
CPU time (s): 527.465
CPU user time (s): 520.079
CPU system time (s): 7.38588
CPU usage (%): 98.9974
Max. virtual memory (cumulated for all children) (Kb): 921692

Verifier Data

ERROR: no interpretation found !