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-A2C1S1.opb
MD5SUM84023cc1c9d18b4d21ad2d86c1617614
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 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables103872
Total number of constraints3504
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)192
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint1
Maximum length of a constraint725

Trace number 5021

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-19 22:02:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=780 boxname=wulflinc22 idbench=780 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  84023cc1c9d18b4d21ad2d86c1617614  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-A2C1S1.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-A2C1S1.opb
IDLAUNCH: 780
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        721040 kB
Buffers:         36508 kB
Cached:         249100 kB
SwapCached:        536 kB
Active:         215820 kB
Inactive:        72380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        720788 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5868 kB
Slab:            19720 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:13:53 (client local time) WITH STATUS 0 IN 600.806 SECONDS
stats: 780 7 600.806 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 103872 variables and 4560 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 33.824
c After prepocess the problem consists of 66045 variables and 4560 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 66045 #Dec: 116443 LB: 0 @ 48.124
c Restart #2 #Var: 66045 #Dec: 510902 LB: 0 @ 77.625
c Restart #3 #Var: 66045 #Dec: 885628 LB: 0 @ 108.47
c Restart #4 #Var: 66045 #Dec: 1137705 LB: 0 @ 136.07
c Restart #5 #Var: 66045 #Dec: 2023198 LB: 0 @ 201.21
c Restart #6 #Var: 66045 #Dec: 3139658 LB: 0 @ 295.66
c Restart #7 #Var: 66045 #Dec: 3414857 LB: 0 @ 315.75
c Restart #8 #Var: 66045 #Dec: 3574107 LB: 0 @ 327.19
c Restart #9 #Var: 66045 #Dec: 3636846 LB: 0 @ 332.3
c Restart #10 #Var: 66045 #Dec: 3638865 LB: 0 @ 333.64
c Restart #11 #Var: 66045 #Dec: 3641082 LB: 0 @ 335.22
c Restart #12 #Var: 66045 #Dec: 3643501 LB: 0 @ 336.99
c Restart #13 #Var: 66045 #Dec: 3646116 LB: 0 @ 339
c Restart #14 #Var: 66045 #Dec: 3648931 LB: 0 @ 341.33
c Restart #15 #Var: 66045 #Dec: 3651947 LB: 0 @ 343.78
c Restart #16 #Var: 66045 #Dec: 3655165 LB: 0 @ 346.21
c Restart #17 #Var: 66045 #Dec: 3658584 LB: 0 @ 348.77
c Restart #18 #Var: 66045 #Dec: 3662204 LB: 0 @ 351.67
c Restart #19 #Var: 66045 #Dec: 3666020 LB: 0 @ 355.43
c Restart #20 #Var: 66045 #Dec: 3670036 LB: 0 @ 359.9
c Restart #21 #Var: 66045 #Dec: 3674252 LB: 0 @ 364.74
c Restart #22 #Var: 66045 #Dec: 3678670 LB: 0 @ 368.56
c Restart #23 #Var: 66045 #Dec: 3683287 LB: 0 @ 372.37
c Restart #24 #Var: 66045 #Dec: 3688105 LB: 0 @ 376.27
c Restart #25 #Var: 66045 #Dec: 3693119 LB: 0 @ 380.47
c Restart #26 #Var: 66045 #Dec: 3698337 LB: 0 @ 385.13
c Restart #27 #Var: 66045 #Dec: 3703752 LB: 0 @ 389.82
c Restart #28 #Var: 66045 #Dec: 3709371 LB: 0 @ 394.78
c Restart #29 #Var: 66045 #Dec: 3715186 LB: 0 @ 399.68
c Restart #30 #Var: 66045 #Dec: 3721207 LB: 0 @ 404.72
c Restart #31 #Var: 66045 #Dec: 3727424 LB: 0 @ 410.35
c Restart #32 #Var: 66045 #Dec: 3733841 LB: 0 @ 415.91
c Restart #33 #Var: 66045 #Dec: 3740459 LB: 0 @ 422.45
c Restart #34 #Var: 66045 #Dec: 3747276 LB: 0 @ 428.58
c Restart #35 #Var: 66045 #Dec: 3754291 LB: 0 @ 436.06
c Restart #36 #Var: 66045 #Dec: 3761512 LB: 0 @ 443.44
c Restart #37 #Var: 66045 #Dec: 3768929 LB: 0 @ 451.08
c Restart #38 #Var: 66045 #Dec: 3776545 LB: 0 @ 458.7
c Restart #39 #Var: 66045 #Dec: 3784364 LB: 0 @ 466.86
c Restart #40 #Var: 66045 #Dec: 3792381 LB: 0 @ 475.12
c Restart #41 #Var: 66045 #Dec: 3800595 LB: 0 @ 483.23
c Restart #42 #Var: 66045 #Dec: 3809013 LB: 0 @ 491.64
c Restart #43 #Var: 66045 #Dec: 3817632 LB: 0 @ 500.58
c Restart #44 #Var: 66045 #Dec: 3826451 LB: 0 @ 508.88
c Restart #45 #Var: 66045 #Dec: 3835469 LB: 0 @ 518.44
c Restart #46 #Var: 66045 #Dec: 3844685 LB: 0 @ 526.91
c Restart #47 #Var: 66045 #Dec: 3854103 LB: 0 @ 537.58
c Restart #48 #Var: 66045 #Dec: 3863717 LB: 0 @ 547.39
c Restart #49 #Var: 66045 #Dec: 3873538 LB: 0 @ 558.14
c Restart #50 #Var: 66045 #Dec: 3883558 LB: 0 @ 569.68
c Restart #51 #Var: 66045 #Dec: 3893774 LB: 0 @ 580.49
c Restart #52 #Var: 66045 #Dec: 3904194 LB: 0 @ 592.31
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/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853339833 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 107 3 90 68 0 39 0
[pid=9571] 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/wulflinc22/normalized-mps-v2-20-10-A2C1S1.opb

[startup+10.0027 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 39997 0 0 0 880 99 0 0 25 0 1 0 1853339833 165658624 39367 4294967295 134512640 134736556 3221224560 3221221260 1077197737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 40444 39367 1116 68 0 40376 0
[pid=9571] vsize: 161776
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 161776

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 43313 0 0 0 1867 109 0 0 25 0 1 0 1853339833 179175424 42683 4294967295 134512640 134736556 3221224560 3221222852 1077314309 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 43744 42683 1116 68 0 43676 0
[pid=9571] vsize: 174976
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 174976

[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 60592 0 0 0 2819 148 0 0 25 0 1 0 1853339833 247660544 59502 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 60464 59502 1116 68 0 60396 0
[pid=9571] vsize: 241856
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (Kb) 241856

[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73664 0 0 0 3527 259 0 0 19 0 1 0 1853339833 304427008 72574 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74323 72574 1116 68 0 74255 0
[pid=9571] vsize: 297292
Current children cumulated CPU time (s) 37.86
Current children cumulated vsize (Kb) 297292

[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73724 0 0 0 4320 327 0 0 25 0 1 0 1853339833 304672768 72634 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74383 72634 1116 68 0 74315 0
[pid=9571] vsize: 297532
Current children cumulated CPU time (s) 46.47
Current children cumulated vsize (Kb) 297532

[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73724 0 0 0 4952 452 0 0 18 0 1 0 1853339833 304537600 72631 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74350 72631 1116 68 0 74282 0
[pid=9571] vsize: 297400
Current children cumulated CPU time (s) 54.04
Current children cumulated vsize (Kb) 297400

[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73724 0 0 0 5536 589 0 0 17 0 1 0 1853339833 304537600 72631 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74350 72631 1116 68 0 74282 0
[pid=9571] vsize: 297400
Current children cumulated CPU time (s) 61.25
Current children cumulated vsize (Kb) 297400

[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73724 0 0 0 6118 725 0 0 18 0 1 0 1853339833 304537600 72631 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74350 72631 1116 68 0 74282 0
[pid=9571] vsize: 297400
Current children cumulated CPU time (s) 68.43
Current children cumulated vsize (Kb) 297400

[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73779 0 0 0 6764 842 0 0 18 0 1 0 1853339833 304807936 72686 4294967295 134512640 134736556 3221224560 3221223124 134544640 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74416 72686 1116 68 0 74348 0
[pid=9571] vsize: 297664
Current children cumulated CPU time (s) 76.06
Current children cumulated vsize (Kb) 297664

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73779 0 0 0 7375 966 0 0 17 0 1 0 1853339833 304807936 72686 4294967295 134512640 134736556 3221224560 3221223104 134716177 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74416 72686 1116 68 0 74348 0
[pid=9571] vsize: 297664
Current children cumulated CPU time (s) 83.41
Current children cumulated vsize (Kb) 297664

[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73779 0 0 0 7987 1097 0 0 20 0 1 0 1853339833 304775168 72686 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74408 72686 1116 68 0 74340 0
[pid=9571] vsize: 297632
Current children cumulated CPU time (s) 90.84
Current children cumulated vsize (Kb) 297632

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73781 0 0 0 8589 1232 0 0 18 0 1 0 1853339833 304775168 72688 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74408 72688 1116 68 0 74340 0
[pid=9571] vsize: 297632
Current children cumulated CPU time (s) 98.21
Current children cumulated vsize (Kb) 297632

[startup+130.007 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73839 0 0 0 9296 1330 0 0 21 0 1 0 1853339833 305045504 72746 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74474 72746 1116 68 0 74406 0
[pid=9571] vsize: 297896
Current children cumulated CPU time (s) 106.26
Current children cumulated vsize (Kb) 297896

[startup+140.007 s]
Raw data (loadavg): 1.13 1.02 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73839 0 0 0 9922 1455 0 0 17 0 1 0 1853339833 305045504 72746 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74474 72746 1116 68 0 74406 0
[pid=9571] vsize: 297896
Current children cumulated CPU time (s) 113.77
Current children cumulated vsize (Kb) 297896

[startup+150.008 s]
Raw data (loadavg): 1.11 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73863 0 0 0 10547 1572 0 0 22 0 1 0 1853339833 305065984 72752 4294967295 134512640 134736556 3221224560 3221223272 134694468 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74479 72752 1116 68 0 74411 0
[pid=9571] vsize: 297916
Current children cumulated CPU time (s) 121.19
Current children cumulated vsize (Kb) 297916

[startup+160.007 s]
Raw data (loadavg): 1.09 1.01 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73885 0 0 0 11365 1634 0 0 23 0 1 0 1853339833 305201152 72774 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74512 72774 1116 68 0 74444 0
[pid=9571] vsize: 298048
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 298048

[startup+170.008 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73885 0 0 0 12103 1718 0 0 18 0 1 0 1853339833 305201152 72774 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74512 72774 1116 68 0 74444 0
[pid=9571] vsize: 298048
Current children cumulated CPU time (s) 138.21
Current children cumulated vsize (Kb) 298048

[startup+180.008 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73885 0 0 0 12727 1841 0 0 18 0 1 0 1853339833 305176576 72774 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74506 72774 1116 68 0 74438 0
[pid=9571] vsize: 298024
Current children cumulated CPU time (s) 145.68
Current children cumulated vsize (Kb) 298024

[startup+190.008 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73893 0 0 0 13337 1975 0 0 18 0 1 0 1853339833 305176576 72782 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74506 72782 1116 68 0 74438 0
[pid=9571] vsize: 298024
Current children cumulated CPU time (s) 153.12
Current children cumulated vsize (Kb) 298024

[startup+200.009 s]
Raw data (loadavg): 1.11 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73905 0 0 0 13939 2107 0 0 18 0 1 0 1853339833 305295360 72794 4294967295 134512640 134736556 3221224560 3221223136 134543852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74535 72794 1116 68 0 74467 0
[pid=9571] vsize: 298140
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (Kb) 298140

[startup+210.009 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73927 0 0 0 14531 2235 0 0 17 0 1 0 1853339833 305295360 72816 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74535 72816 1116 68 0 74467 0
[pid=9571] vsize: 298140
Current children cumulated CPU time (s) 167.66
Current children cumulated vsize (Kb) 298140

[startup+220.011 s]
Raw data (loadavg): 1.15 1.04 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73984 0 0 0 15145 2360 0 0 17 0 1 0 1853339833 305524736 72872 4294967295 134512640 134736556 3221224560 3221223272 134694468 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74591 72872 1116 68 0 74523 0
[pid=9571] vsize: 298364
Current children cumulated CPU time (s) 175.05
Current children cumulated vsize (Kb) 298364

[startup+230.011 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 73984 0 0 0 15727 2492 0 0 17 0 1 0 1853339833 305524736 72872 4294967295 134512640 134736556 3221224560 3221223248 134528914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74591 72872 1116 68 0 74523 0
[pid=9571] vsize: 298364
Current children cumulated CPU time (s) 182.19
Current children cumulated vsize (Kb) 298364

[startup+240.011 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 73992 0 0 0 16315 2630 0 0 18 0 1 0 1853339833 305659904 72880 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74624 72880 1116 68 0 74556 0
[pid=9571] vsize: 298496
Current children cumulated CPU time (s) 189.45
Current children cumulated vsize (Kb) 298496

[startup+250.013 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74008 0 0 0 16938 2757 0 0 18 0 1 0 1853339833 305647616 72896 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74621 72896 1116 68 0 74553 0
[pid=9571] vsize: 298484
Current children cumulated CPU time (s) 196.95
Current children cumulated vsize (Kb) 298484

[startup+260.012 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74024 0 0 0 17534 2885 0 0 18 0 1 0 1853339833 305782784 72912 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74654 72912 1116 68 0 74586 0
[pid=9571] vsize: 298616
Current children cumulated CPU time (s) 204.19
Current children cumulated vsize (Kb) 298616

[startup+270.013 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74027 0 0 0 18146 3009 0 0 17 0 1 0 1853339833 305725440 72915 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74640 72915 1116 68 0 74572 0
[pid=9571] vsize: 298560
Current children cumulated CPU time (s) 211.55
Current children cumulated vsize (Kb) 298560

[startup+280.014 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74035 0 0 0 18759 3138 0 0 19 0 1 0 1853339833 305860608 72923 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74673 72923 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 218.97
Current children cumulated vsize (Kb) 298692

[startup+290.015 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74035 0 0 0 19374 3267 0 0 18 0 1 0 1853339833 305860608 72923 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74673 72923 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 226.41
Current children cumulated vsize (Kb) 298692

[startup+300.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74042 0 0 0 19983 3400 0 0 18 0 1 0 1853339833 305860608 72930 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74673 72930 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 233.83
Current children cumulated vsize (Kb) 298692

[startup+310.016 s]
Raw data (loadavg): 1.11 1.04 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74042 0 0 0 20592 3533 0 0 18 0 1 0 1853339833 305860608 72930 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74673 72930 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 241.25
Current children cumulated vsize (Kb) 298692

[startup+320.017 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74042 0 0 0 21199 3660 0 0 17 0 1 0 1853339833 305860608 72930 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74673 72930 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 248.59
Current children cumulated vsize (Kb) 298692

[startup+330.017 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74042 0 0 0 21812 3784 0 0 18 0 1 0 1853339833 305860608 72930 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74673 72930 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 255.96
Current children cumulated vsize (Kb) 298692

[startup+340.018 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74046 0 0 0 22418 3915 0 0 18 0 1 0 1853339833 305860608 72934 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74673 72934 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 263.33
Current children cumulated vsize (Kb) 298692

[startup+350.019 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74053 0 0 0 23037 4034 0 0 18 0 1 0 1853339833 305860608 72941 4294967295 134512640 134736556 3221224560 3221223104 134540200 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74673 72941 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 270.71
Current children cumulated vsize (Kb) 298692

[startup+360.02 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74053 0 0 0 23648 4161 0 0 19 0 1 0 1853339833 305860608 72941 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74673 72941 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 278.09
Current children cumulated vsize (Kb) 298692

[startup+370.021 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74059 0 0 0 24305 4275 0 0 25 0 1 0 1853339833 305860608 72927 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74673 72927 1116 68 0 74605 0
[pid=9571] vsize: 298692
Current children cumulated CPU time (s) 285.8
Current children cumulated vsize (Kb) 298692

[startup+380.022 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74081 0 0 0 25294 4280 0 0 23 0 1 0 1853339833 305852416 72949 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 74671 72949 1116 68 0 74603 0
[pid=9571] vsize: 298684
Current children cumulated CPU time (s) 295.74
Current children cumulated vsize (Kb) 298684

[startup+390.023 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74193 0 0 0 25908 4408 0 0 18 0 1 0 1853339833 306393088 73061 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74803 73061 1116 68 0 74735 0
[pid=9571] vsize: 299212
Current children cumulated CPU time (s) 303.16
Current children cumulated vsize (Kb) 299212

[startup+400.023 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74261 0 0 0 26483 4549 0 0 18 0 1 0 1853339833 306663424 73129 4294967295 134512640 134736556 3221224560 3221223336 134610766 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 74869 73129 1116 68 0 74801 0
[pid=9571] vsize: 299476
Current children cumulated CPU time (s) 310.32
Current children cumulated vsize (Kb) 299476

[startup+410.023 s]
Raw data (loadavg): 1.19 1.07 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 74514 0 0 0 27085 4677 0 0 18 0 1 0 1853339833 307744768 73382 4294967295 134512640 134736556 3221224560 3221223264 134528527 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 75133 73382 1116 68 0 75065 0
[pid=9571] vsize: 300532
Current children cumulated CPU time (s) 317.62
Current children cumulated vsize (Kb) 300532

[startup+420.024 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 74679 0 0 0 27662 4817 0 0 17 0 1 0 1853339833 308420608 73547 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9571/statm): 75298 73547 1116 68 0 75230 0
[pid=9571] vsize: 301192
Current children cumulated CPU time (s) 324.79
Current children cumulated vsize (Kb) 301192

[startup+430.024 s]
Raw data (loadavg): 1.14 1.07 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 76573 0 0 0 28322 4930 0 0 25 0 1 0 1853339833 316125184 75441 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 77179 75441 1116 68 0 77111 0
[pid=9571] vsize: 308716
Current children cumulated CPU time (s) 332.52
Current children cumulated vsize (Kb) 308716

[startup+440.024 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 83585 0 0 0 29242 4968 0 0 25 0 1 0 1853339833 344961024 82449 4294967295 134512640 134736556 3221224560 3221223184 134634262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 84219 82449 1116 68 0 84151 0
[pid=9571] vsize: 336876
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (Kb) 336876

[startup+450.025 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 90409 0 0 0 30165 5004 0 0 25 0 1 0 1853339833 372867072 89267 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 91032 89267 1116 68 0 90964 0
[pid=9571] vsize: 364128
Current children cumulated CPU time (s) 351.69
Current children cumulated vsize (Kb) 364128

[startup+460.026 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 95342 0 0 0 31111 5026 0 0 25 0 1 0 1853339833 393220096 94192 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 96001 94192 1116 68 0 95933 0
[pid=9571] vsize: 384004
Current children cumulated CPU time (s) 361.37
Current children cumulated vsize (Kb) 384004

[startup+470.026 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 101196 0 0 0 32041 5060 0 0 25 0 1 0 1853339833 417292288 100033 4294967295 134512640 134736556 3221224560 3221223152 134536153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 101878 100033 1116 68 0 101810 0
[pid=9571] vsize: 407512
Current children cumulated CPU time (s) 371.01
Current children cumulated vsize (Kb) 407512

[startup+480.027 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 107578 0 0 0 32968 5096 0 0 25 0 1 0 1853339833 443650048 106397 4294967295 134512640 134736556 3221224560 3221223136 134551210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 108313 106397 1116 68 0 108245 0
[pid=9571] vsize: 433252
Current children cumulated CPU time (s) 380.64
Current children cumulated vsize (Kb) 433252

[startup+490.028 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 113563 0 0 0 33895 5130 0 0 25 0 1 0 1853339833 468328448 112375 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 114338 112375 1116 68 0 114270 0
[pid=9571] vsize: 457352
Current children cumulated CPU time (s) 390.25
Current children cumulated vsize (Kb) 457352

[startup+500.028 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 119800 0 0 0 34823 5164 0 0 25 0 1 0 1853339833 493940736 118593 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 120591 118593 1116 68 0 120523 0
[pid=9571] vsize: 482364
Current children cumulated CPU time (s) 399.87
Current children cumulated vsize (Kb) 482364

[startup+510.028 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 126096 0 0 0 35754 5197 0 0 25 0 1 0 1853339833 519778304 124888 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 126899 124888 1116 68 0 126831 0
[pid=9571] vsize: 507596
Current children cumulated CPU time (s) 409.51
Current children cumulated vsize (Kb) 507596

[startup+520.029 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 132124 0 0 0 36688 5228 0 0 25 0 1 0 1853339833 544231424 130834 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 132869 130834 1116 68 0 132801 0
[pid=9571] vsize: 531476
Current children cumulated CPU time (s) 419.16
Current children cumulated vsize (Kb) 531476

[startup+530.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 137687 0 0 0 37622 5260 0 0 25 0 1 0 1853339833 567193600 136383 4294967295 134512640 134736556 3221224560 3221223116 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 138475 136383 1116 68 0 138407 0
[pid=9571] vsize: 553900
Current children cumulated CPU time (s) 428.82
Current children cumulated vsize (Kb) 553900

[startup+540.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 142769 0 0 0 38558 5292 0 0 25 0 1 0 1853339833 587988992 141460 4294967295 134512640 134736556 3221224560 3221223168 134544615 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 143552 141460 1116 68 0 143484 0
[pid=9571] vsize: 574208
Current children cumulated CPU time (s) 438.5
Current children cumulated vsize (Kb) 574208

[startup+550.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 148082 0 0 0 39494 5323 0 0 25 0 1 0 1853339833 609546240 146691 4294967295 134512640 134736556 3221224560 3221223248 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 148815 146691 1116 68 0 148747 0
[pid=9571] vsize: 595260
Current children cumulated CPU time (s) 448.17
Current children cumulated vsize (Kb) 595260

[startup+560.031 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 153678 0 0 0 40427 5356 0 0 22 0 1 0 1853339833 632492032 152281 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 154417 152281 1116 68 0 154349 0
[pid=9571] vsize: 617668
Current children cumulated CPU time (s) 457.83
Current children cumulated vsize (Kb) 617668

[startup+570.03 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 158464 0 0 0 41370 5383 0 0 25 0 1 0 1853339833 652267520 156971 4294967295 134512640 134736556 3221224560 3221223240 134536502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 159245 156971 1116 68 0 159177 0
[pid=9571] vsize: 636980
Current children cumulated CPU time (s) 467.53
Current children cumulated vsize (Kb) 636980

[startup+580.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 163771 0 0 0 42303 5414 0 0 25 0 1 0 1853339833 673894400 162278 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 164525 162278 1116 68 0 164457 0
[pid=9571] vsize: 658100
Current children cumulated CPU time (s) 477.17
Current children cumulated vsize (Kb) 658100

[startup+590.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 169432 0 0 0 43242 5441 0 0 22 0 1 0 1853339833 696807424 167855 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 170119 167855 1116 68 0 170051 0
[pid=9571] vsize: 680476
Current children cumulated CPU time (s) 486.83
Current children cumulated vsize (Kb) 680476

[startup+600.032 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 174591 0 0 0 44179 5472 0 0 25 0 1 0 1853339833 717893632 172930 4294967295 134512640 134736556 3221224560 3221223120 134543107 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 175267 172930 1116 68 0 175199 0
[pid=9571] vsize: 701068
Current children cumulated CPU time (s) 496.51
Current children cumulated vsize (Kb) 701068

[startup+610.032 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 180573 0 0 0 45104 5507 0 0 25 0 1 0 1853339833 742137856 178749 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 181186 178749 1116 68 0 181118 0
[pid=9571] vsize: 724744
Current children cumulated CPU time (s) 506.11
Current children cumulated vsize (Kb) 724744

[startup+620.032 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 185988 0 0 0 46039 5538 0 0 25 0 1 0 1853339833 764047360 184082 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 186535 184082 1116 68 0 186467 0
[pid=9571] vsize: 746140
Current children cumulated CPU time (s) 515.77
Current children cumulated vsize (Kb) 746140

[startup+630.033 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 191379 0 0 0 46973 5569 0 0 25 0 1 0 1853339833 786083840 189473 4294967295 134512640 134736556 3221224560 3221223072 134543125 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 191915 189473 1116 68 0 191847 0
[pid=9571] vsize: 767660
Current children cumulated CPU time (s) 525.42
Current children cumulated vsize (Kb) 767660

[startup+640.032 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 196431 0 0 0 47911 5597 0 0 25 0 1 0 1853339833 806539264 194363 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 196909 194363 1116 68 0 196841 0
[pid=9571] vsize: 787636
Current children cumulated CPU time (s) 535.08
Current children cumulated vsize (Kb) 787636

[startup+650.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 201910 0 0 0 48846 5627 0 0 25 0 1 0 1853339833 828686336 199678 4294967295 134512640 134736556 3221224560 3221223184 134537430 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 202316 199678 1116 68 0 202248 0
[pid=9571] vsize: 809264
Current children cumulated CPU time (s) 544.73
Current children cumulated vsize (Kb) 809264

[startup+660.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 206965 0 0 0 49778 5660 0 0 25 0 1 0 1853339833 849231872 204733 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 207332 204733 1116 68 0 207264 0
[pid=9571] vsize: 829328
Current children cumulated CPU time (s) 554.38
Current children cumulated vsize (Kb) 829328

[startup+670.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 211277 0 1 0 50719 5688 0 0 25 0 1 0 1853339833 866598912 209006 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 211572 209006 1116 68 0 211504 0
[pid=9571] vsize: 846288
Current children cumulated CPU time (s) 564.07
Current children cumulated vsize (Kb) 846288

[startup+680.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 216540 0 18 0 51646 5717 0 0 25 0 1 0 1853339833 886337536 213819 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9571/statm): 216391 213819 1116 68 0 216323 0
[pid=9571] vsize: 865564
Current children cumulated CPU time (s) 573.63
Current children cumulated vsize (Kb) 865564

[startup+690.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 222261 0 88 0 52533 5742 0 0 25 0 1 0 1853339833 905433088 218346 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 221053 218346 1116 68 0 220985 0
[pid=9571] vsize: 884212
Current children cumulated CPU time (s) 582.75
Current children cumulated vsize (Kb) 884212

[startup+700.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) R 9570 9571 21452 0 -1 0 228237 0 159 0 53405 5776 0 0 18 0 1 0 1853339833 926171136 222991 4294967295 134512640 134736556 3221224560 3221223232 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 226116 222991 1116 68 0 226048 0
[pid=9571] vsize: 904464
Current children cumulated CPU time (s) 591.81
Current children cumulated vsize (Kb) 904464



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+709.486 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 9571
Raw data (/proc/9571/stat): 9571 (bsolo) T 9570 9571 21452 0 -1 0 232978 0 209 0 54233 5805 0 0 25 0 1 0 1853339833 943722496 226337 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9571/statm): 230401 226337 1116 68 0 230333 0
[pid=9571] vsize: 921604
Current children cumulated CPU time (s) 600.38
Current children cumulated vsize (Kb) 921604

Sending SIGTERM to -9571
Sleeping 2 seconds

[startup+710.035 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 9572
Raw data (/proc/9571/stat): 9571 (bsolo) S 9570 9571 21452 0 -1 0 232978 0 209 0 54233 5805 0 0 17 0 1 0 1853339833 943722496 226337 4294967295 134512640 134736556 3221224560 3221221992 1077867073 0 16384 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9571/statm): 230401 226337 1116 68 0 230333 0
[pid=9571] vsize: 921604
Current children cumulated CPU time (s) 600.38
Current children cumulated vsize (Kb) 921604
Sending SIGKILL to -9571
One traced child (pid=9571) 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): 711.914
CPU time (s): 600.806
CPU user time (s): 542.331
CPU system time (s): 58.4751
CPU usage (%): 84.393
Max. virtual memory (cumulated for all children) (Kb): 921604

Verifier Data

ERROR: no interpretation found !