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

Nameweb/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
MD5SUM0c52c70d5adb3b80d9053fcb18f76b68
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.416935
Number of variables2913
Total number of constraints3105
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25

Trace number 333

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-18 09:21:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=300 boxname=wulflinc19 idbench=300 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  0c52c70d5adb3b80d9053fcb18f76b68  /oldhome/oroussel/tmp/wulflinc19/normalized-blast-floppy1-7.ucl.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc19/normalized-blast-floppy1-7.ucl.opb
IDLAUNCH: 300
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        954984 kB
Buffers:         33612 kB
Cached:          19072 kB
SwapCached:        832 kB
Active:          48616 kB
Inactive:         6680 kB
HighTotal:      131008 kB
HighFree:       111188 kB
LowTotal:       903652 kB
LowFree:        843796 kB
SwapTotal:     2097892 kB
SwapFree:      2096460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            18920 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 09:31:59 (client local time) WITH STATUS 20 IN 607.654 SECONDS
stats: 300 7 607.654 20

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2913 variables and 3105 constraints.
c Using non-optimization problem switches.
c	preprocess terminated. Elapsed time: 1.12
c After prepocess the problem consists of 2472 variables and 2270 constraints.
c Restart #1 #Var: 2472 #Dec: 14939 LB: 0 @ 2.355
c Restart #2 #Var: 2472 #Dec: 47592 LB: 0 @ 5.128
c Restart #3 #Var: 2472 #Dec: 99930 LB: 0 @ 9.549
c Restart #4 #Var: 2472 #Dec: 128857 LB: 0 @ 12.711
c Restart #5 #Var: 2472 #Dec: 140822 LB: 0 @ 15.032
c Restart #6 #Var: 2472 #Dec: 143304 LB: 0 @ 16.598
c Restart #7 #Var: 2472 #Dec: 144712 LB: 0 @ 18.295
c Restart #8 #Var: 2470 #Dec: 146326 LB: 0 @ 20.2
c Restart #9 #Var: 2470 #Dec: 148139 LB: 0 @ 22.362
c Restart #10 #Var: 2470 #Dec: 150144 LB: 0 @ 24.775
c Restart #11 #Var: 2470 #Dec: 152354 LB: 0 @ 27.556
c Restart #12 #Var: 2470 #Dec: 154770 LB: 0 @ 30.571
c Restart #13 #Var: 2469 #Dec: 157382 LB: 0 @ 34.078
c Restart #14 #Var: 2469 #Dec: 160193 LB: 0 @ 37.628
c Restart #15 #Var: 2469 #Dec: 163207 LB: 0 @ 41.527
c Restart #16 #Var: 2469 #Dec: 166418 LB: 0 @ 45.561
c Restart #17 #Var: 2469 #Dec: 169830 LB: 0 @ 50.051
c Restart #18 #Var: 2469 #Dec: 173441 LB: 0 @ 54.729
c Restart #19 #Var: 2469 #Dec: 177256 LB: 0 @ 60.005
c Restart #20 #Var: 2469 #Dec: 181270 LB: 0 @ 66.087
c Restart #21 #Var: 2469 #Dec: 185482 LB: 0 @ 71.479
c Restart #22 #Var: 2469 #Dec: 189895 LB: 0 @ 77.368
c Restart #23 #Var: 2469 #Dec: 194509 LB: 0 @ 83.405
c Restart #24 #Var: 2469 #Dec: 199323 LB: 0 @ 90.237
c Restart #25 #Var: 2469 #Dec: 204335 LB: 0 @ 97.417
c Restart #26 #Var: 2469 #Dec: 209553 LB: 0 @ 104.45
c Restart #27 #Var: 2469 #Dec: 214964 LB: 0 @ 111.92
c Restart #28 #Var: 2469 #Dec: 220575 LB: 0 @ 120
c Restart #29 #Var: 2469 #Dec: 226389 LB: 0 @ 128.69
c Restart #30 #Var: 2469 #Dec: 232399 LB: 0 @ 137.68
c Restart #31 #Var: 2469 #Dec: 238609 LB: 0 @ 146.36
c Restart #32 #Var: 2469 #Dec: 245020 LB: 0 @ 155.95
c Restart #33 #Var: 2469 #Dec: 251633 LB: 0 @ 165.6
c Restart #34 #Var: 2469 #Dec: 258447 LB: 0 @ 176.15
c Restart #35 #Var: 2469 #Dec: 265459 LB: 0 @ 186.5
c Restart #36 #Var: 2469 #Dec: 272673 LB: 0 @ 197.36
c Restart #37 #Var: 2469 #Dec: 280084 LB: 0 @ 208.45
c Restart #38 #Var: 2469 #Dec: 287695 LB: 0 @ 219.33
c Restart #39 #Var: 2469 #Dec: 295505 LB: 0 @ 231.22
c Restart #40 #Var: 2469 #Dec: 303516 LB: 0 @ 243.23
c Restart #41 #Var: 2469 #Dec: 311726 LB: 0 @ 255.81
c Restart #42 #Var: 2469 #Dec: 320138 LB: 0 @ 268.51
c Restart #43 #Var: 2469 #Dec: 328749 LB: 0 @ 281.82
c Restart #44 #Var: 2469 #Dec: 337562 LB: 0 @ 295.44
c Restart #45 #Var: 2469 #Dec: 346575 LB: 0 @ 310.66
c Restart #46 #Var: 2469 #Dec: 355789 LB: 0 @ 324.64
c Restart #47 #Var: 2469 #Dec: 365201 LB: 0 @ 339.37
c Restart #48 #Var: 2469 #Dec: 374816 LB: 0 @ 354.84
c Restart #49 #Var: 2469 #Dec: 384627 LB: 0 @ 369.45
c Restart #50 #Var: 2469 #Dec: 394638 LB: 0 @ 385.76
c Restart #51 #Var: 2469 #Dec: 404852 LB: 0 @ 400.87
c Restart #52 #Var: 2469 #Dec: 415263 LB: 0 @ 418.37
c Restart #53 #Var: 2469 #Dec: 425872 LB: 0 @ 434.19
c Restart #54 #Var: 2469 #Dec: 436685 LB: 0 @ 452.35
c Restart #55 #Var: 2469 #Dec: 447699 LB: 0 @ 469.53
c Restart #56 #Var: 2469 #Dec: 458916 LB: 0 @ 488.06
c Restart #57 #Var: 2469 #Dec: 470329 LB: 0 @ 506.14
c Restart #58 #Var: 2469 #Dec: 481937 LB: 0 @ 524.44
c Restart #59 #Var: 2469 #Dec: 493749 LB: 0 @ 544.26
c Restart #60 #Var: 2469 #Dec: 505759 LB: 0 @ 565.51
c Restart #61 #Var: 2469 #Dec: 517972 LB: 0 @ 585.13
c CHANGE Heuristic... 
c Restart #0 #Var: 2469 #Dec: 530382 LB: 0 @ 607.34
s UNSATISFIABLE
c Exit Code: 20
c Total time: 607.38 s

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/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1840118931 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 107 3 90 68 0 39 0
[pid=7243] 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/wulflinc19/normalized-blast-floppy1-7.ucl.opb

[startup+10.0035 s]
Raw data (loadavg): 0.76 0.90 0.89 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 2076 0 0 0 672 113 0 0 18 0 1 0 1840118931 11599872 1987 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7243/statm): 2832 1987 1116 68 0 2764 0
[pid=7243] vsize: 11328
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (Kb) 11328

[startup+20.0053 s]
Raw data (loadavg): 0.80 0.90 0.89 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 3109 0 0 0 1423 197 0 0 25 0 1 0 1840118931 15925248 3020 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7243/statm): 3888 3020 1116 68 0 3820 0
[pid=7243] vsize: 15552
Current children cumulated CPU time (s) 16.2
Current children cumulated vsize (Kb) 15552

[startup+30.0061 s]
Raw data (loadavg): 0.83 0.91 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 5962 0 0 0 2377 217 0 0 25 0 1 0 1840118931 27586560 5870 4294967295 134512640 134736556 3221224560 3221223264 134528714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 6735 5870 1116 68 0 6667 0
[pid=7243] vsize: 26940
Current children cumulated CPU time (s) 25.94
Current children cumulated vsize (Kb) 26940

[startup+40.0059 s]
Raw data (loadavg): 0.85 0.91 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 8641 0 0 0 3333 238 0 0 25 0 1 0 1840118931 38748160 8547 4294967295 134512640 134736556 3221224560 3221223200 134544649 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 9460 8547 1116 68 0 9392 0
[pid=7243] vsize: 37840
Current children cumulated CPU time (s) 35.71
Current children cumulated vsize (Kb) 37840

[startup+50.0067 s]
Raw data (loadavg): 0.87 0.91 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 11355 0 0 0 4286 260 0 0 25 0 1 0 1840118931 49893376 11253 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 12181 11253 1116 68 0 12113 0
[pid=7243] vsize: 48724
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (Kb) 48724

[startup+60.0066 s]
Raw data (loadavg): 0.89 0.91 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 13927 0 0 0 5241 280 0 0 25 0 1 0 1840118931 60461056 13825 4294967295 134512640 134736556 3221224560 3221222128 134717440 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 14761 13825 1116 68 0 14693 0
[pid=7243] vsize: 59044
Current children cumulated CPU time (s) 55.21
Current children cumulated vsize (Kb) 59044

[startup+70.0074 s]
Raw data (loadavg): 0.91 0.92 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 16325 0 0 0 6202 299 0 0 25 0 1 0 1840118931 70361088 16220 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 17178 16220 1116 68 0 17110 0
[pid=7243] vsize: 68712
Current children cumulated CPU time (s) 65.01
Current children cumulated vsize (Kb) 68712

[startup+80.0082 s]
Raw data (loadavg): 0.92 0.92 0.89 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 18959 0 0 0 7160 317 0 0 25 0 1 0 1840118931 81240064 18840 4294967295 134512640 134736556 3221224560 3221223104 134544561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 19834 18840 1116 68 0 19766 0
[pid=7243] vsize: 79336
Current children cumulated CPU time (s) 74.77
Current children cumulated vsize (Kb) 79336

[startup+90.009 s]
Raw data (loadavg): 0.93 0.92 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 21502 0 0 0 8113 338 0 0 25 0 1 0 1840118931 91734016 21380 4294967295 134512640 134736556 3221224560 3221223140 134543223 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 22396 21380 1116 68 0 22328 0
[pid=7243] vsize: 89584
Current children cumulated CPU time (s) 84.51
Current children cumulated vsize (Kb) 89584

[startup+100.01 s]
Raw data (loadavg): 0.94 0.92 0.90 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 23961 0 0 0 9068 359 0 0 25 0 1 0 1840118931 101814272 23837 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 24857 23837 1116 68 0 24789 0
[pid=7243] vsize: 99428
Current children cumulated CPU time (s) 94.27
Current children cumulated vsize (Kb) 99428

[startup+110.011 s]
Raw data (loadavg): 0.95 0.92 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 26474 0 0 0 10024 377 0 0 25 0 1 0 1840118931 111951872 26350 4294967295 134512640 134736556 3221224560 3221223152 134540282 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 27332 26351 1116 68 0 27264 0
[pid=7243] vsize: 109328
Current children cumulated CPU time (s) 104.01
Current children cumulated vsize (Kb) 109328

[startup+120.01 s]
Raw data (loadavg): 0.96 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 28878 0 0 0 10979 398 0 0 25 0 1 0 1840118931 121749504 28748 4294967295 134512640 134736556 3221224560 3221223180 134544556 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 29724 28748 1116 68 0 29656 0
[pid=7243] vsize: 118896
Current children cumulated CPU time (s) 113.77
Current children cumulated vsize (Kb) 118896

[startup+130.011 s]
Raw data (loadavg): 0.96 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 31255 0 0 0 11937 415 0 0 25 0 1 0 1840118931 131821568 31115 4294967295 134512640 134736556 3221224560 3221223152 134540337 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 32183 31115 1116 68 0 32115 0
[pid=7243] vsize: 128732
Current children cumulated CPU time (s) 123.52
Current children cumulated vsize (Kb) 128732

[startup+140.013 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 33766 0 0 0 12896 436 0 0 25 0 1 0 1840118931 142262272 33525 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 34732 33525 1116 68 0 34664 0
[pid=7243] vsize: 138928
Current children cumulated CPU time (s) 133.32
Current children cumulated vsize (Kb) 138928

[startup+150.015 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 36197 0 0 0 13856 455 0 0 25 0 1 0 1840118931 152301568 35946 4294967295 134512640 134736556 3221224560 3221223152 134540337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 37183 35946 1116 68 0 37115 0
[pid=7243] vsize: 148732
Current children cumulated CPU time (s) 143.11
Current children cumulated vsize (Kb) 148732

[startup+160.016 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 38537 0 0 0 14817 472 0 0 25 0 1 0 1840118931 161898496 38280 4294967295 134512640 134736556 3221224560 3221223116 134544504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 39526 38280 1116 68 0 39458 0
[pid=7243] vsize: 158104
Current children cumulated CPU time (s) 152.89
Current children cumulated vsize (Kb) 158104

[startup+170.015 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 40860 0 0 0 15776 490 0 0 25 0 1 0 1840118931 171360256 40603 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 41836 40603 1116 68 0 41768 0
[pid=7243] vsize: 167344
Current children cumulated CPU time (s) 162.66
Current children cumulated vsize (Kb) 167344

[startup+180.016 s]
Raw data (loadavg): 0.98 0.94 0.90 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 43274 0 0 0 16736 507 0 0 25 0 1 0 1840118931 181047296 42934 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 44201 42934 1116 68 0 44133 0
[pid=7243] vsize: 176804
Current children cumulated CPU time (s) 172.43
Current children cumulated vsize (Kb) 176804

[startup+190.017 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 45617 0 0 0 17696 525 0 0 25 0 1 0 1840118931 190566400 45195 4294967295 134512640 134736556 3221224560 3221223228 134553304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 46525 45195 1116 68 0 46457 0
[pid=7243] vsize: 186100
Current children cumulated CPU time (s) 182.21
Current children cumulated vsize (Kb) 186100

[startup+200.018 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 48027 0 0 0 18653 545 0 0 25 0 1 0 1840118931 200286208 47518 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 48898 47518 1116 68 0 48830 0
[pid=7243] vsize: 195592
Current children cumulated CPU time (s) 191.98
Current children cumulated vsize (Kb) 195592

[startup+210.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 50325 0 0 0 19616 561 0 0 25 0 1 0 1840118931 209539072 49734 4294967295 134512640 134736556 3221224560 3221223132 134536708 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 51157 49734 1116 68 0 51089 0
[pid=7243] vsize: 204628
Current children cumulated CPU time (s) 201.77
Current children cumulated vsize (Kb) 204628

[startup+220.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 52709 0 0 0 20574 579 0 0 25 0 1 0 1840118931 219209728 52105 4294967295 134512640 134736556 3221224560 3221223344 134602857 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 53518 52105 1116 68 0 53450 0
[pid=7243] vsize: 214072
Current children cumulated CPU time (s) 211.53
Current children cumulated vsize (Kb) 214072

[startup+230.019 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 55267 0 0 0 21530 601 0 0 25 0 1 0 1840118931 229326848 54499 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 55988 54499 1116 68 0 55920 0
[pid=7243] vsize: 223952
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (Kb) 223952

[startup+240.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 57626 0 0 0 22492 617 0 0 25 0 1 0 1840118931 239124480 56854 4294967295 134512640 134736556 3221224560 3221223268 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 58380 56854 1116 68 0 58312 0
[pid=7243] vsize: 233520
Current children cumulated CPU time (s) 231.09
Current children cumulated vsize (Kb) 233520

[startup+250.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 60009 0 0 0 23449 639 0 0 25 0 1 0 1840118931 248754176 59149 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 60731 59149 1116 68 0 60663 0
[pid=7243] vsize: 242924
Current children cumulated CPU time (s) 240.88
Current children cumulated vsize (Kb) 242924

[startup+260.021 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 62528 0 0 0 24410 657 0 0 25 0 1 0 1840118931 258723840 61415 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 63165 61415 1116 68 0 63097 0
[pid=7243] vsize: 252660
Current children cumulated CPU time (s) 250.67
Current children cumulated vsize (Kb) 252660

[startup+270.021 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 64756 0 0 0 25367 676 0 0 25 0 1 0 1840118931 267780096 63643 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 65376 63643 1116 68 0 65308 0
[pid=7243] vsize: 261504
Current children cumulated CPU time (s) 260.43
Current children cumulated vsize (Kb) 261504

[startup+280.021 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 67013 0 0 0 26331 691 0 0 25 0 1 0 1840118931 276836352 65900 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7243/statm): 67587 65900 1116 68 0 67519 0
[pid=7243] vsize: 270348
Current children cumulated CPU time (s) 270.22
Current children cumulated vsize (Kb) 270348

[startup+290.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 69368 0 0 0 27291 709 0 0 25 0 1 0 1840118931 286433280 68255 4294967295 134512640 134736556 3221224560 3221223312 134556519 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 69930 68255 1116 68 0 69862 0
[pid=7243] vsize: 279720
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 279720

[startup+300.023 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 71781 0 0 0 28253 726 0 0 25 0 1 0 1840118931 295874560 70506 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 72235 70506 1116 68 0 72167 0
[pid=7243] vsize: 288940
Current children cumulated CPU time (s) 289.79
Current children cumulated vsize (Kb) 288940

[startup+310.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 73972 0 0 0 29218 742 0 0 25 0 1 0 1840118931 304447488 72615 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 74328 72615 1116 68 0 74260 0
[pid=7243] vsize: 297312
Current children cumulated CPU time (s) 299.6
Current children cumulated vsize (Kb) 297312

[startup+320.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 76147 0 0 0 30177 761 0 0 25 0 1 0 1840118931 313368576 74790 4294967295 134512640 134736556 3221224560 3221223136 134544631 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 76506 74790 1116 68 0 76438 0
[pid=7243] vsize: 306024
Current children cumulated CPU time (s) 309.38
Current children cumulated vsize (Kb) 306024

[startup+330.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 78605 0 0 0 31139 776 0 0 25 0 1 0 1840118931 323145728 77077 4294967295 134512640 134736556 3221224560 3221223152 134537400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 78893 77077 1116 68 0 78825 0
[pid=7243] vsize: 315572
Current children cumulated CPU time (s) 319.15
Current children cumulated vsize (Kb) 315572

[startup+340.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 80688 0 0 0 32104 791 0 0 25 0 1 0 1840118931 331530240 79160 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 80940 79160 1116 68 0 80872 0
[pid=7243] vsize: 323760
Current children cumulated CPU time (s) 328.95
Current children cumulated vsize (Kb) 323760

[startup+350.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 83078 0 0 0 33064 808 0 0 25 0 1 0 1840118931 341262336 81550 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 83316 81550 1116 68 0 83248 0
[pid=7243] vsize: 333264
Current children cumulated CPU time (s) 338.72
Current children cumulated vsize (Kb) 333264

[startup+360.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 85095 0 0 0 34031 824 0 0 25 0 1 0 1840118931 349564928 83562 4294967295 134512640 134736556 3221224560 3221223152 134716124 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 85343 83562 1116 68 0 85275 0
[pid=7243] vsize: 341372
Current children cumulated CPU time (s) 348.55
Current children cumulated vsize (Kb) 341372

[startup+370.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 87206 0 0 0 34995 841 0 0 25 0 1 0 1840118931 357945344 85673 4294967295 134512640 134736556 3221224560 3221223136 134543198 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 87389 85673 1116 68 0 87321 0
[pid=7243] vsize: 349556
Current children cumulated CPU time (s) 358.36
Current children cumulated vsize (Kb) 349556

[startup+380.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 89765 0 0 0 35950 860 0 0 25 0 1 0 1840118931 368402432 88230 4294967295 134512640 134736556 3221224560 3221223028 134536049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 89942 88230 1116 68 0 89874 0
[pid=7243] vsize: 359768
Current children cumulated CPU time (s) 368.1
Current children cumulated vsize (Kb) 359768

[startup+390.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 92060 0 0 0 36912 877 0 0 25 0 1 0 1840118931 377565184 90277 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 92179 90277 1116 68 0 92111 0
[pid=7243] vsize: 368716
Current children cumulated CPU time (s) 377.89
Current children cumulated vsize (Kb) 368716

[startup+400.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 94075 0 0 0 37880 892 0 0 25 0 1 0 1840118931 385740800 92289 4294967295 134512640 134736556 3221224560 3221223096 1077377374 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 94175 92289 1116 68 0 94107 0
[pid=7243] vsize: 376700
Current children cumulated CPU time (s) 387.72
Current children cumulated vsize (Kb) 376700

[startup+410.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 96652 0 0 0 38834 911 0 0 25 0 1 0 1840118931 396283904 94866 4294967295 134512640 134736556 3221224560 3221223112 134544553 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 96749 94866 1116 68 0 96681 0
[pid=7243] vsize: 386996
Current children cumulated CPU time (s) 397.45
Current children cumulated vsize (Kb) 386996

[startup+420.028 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 98831 0 0 0 39798 924 0 0 25 0 1 0 1840118931 404996096 96963 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 98876 96963 1116 68 0 98808 0
[pid=7243] vsize: 395504
Current children cumulated CPU time (s) 407.22
Current children cumulated vsize (Kb) 395504

[startup+430.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 100965 0 0 0 40762 939 0 0 25 0 1 0 1840118931 413646848 99097 4294967295 134512640 134736556 3221224560 3221223312 134597438 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 100988 99098 1116 68 0 100920 0
[pid=7243] vsize: 403952
Current children cumulated CPU time (s) 417.01
Current children cumulated vsize (Kb) 403952

[startup+440.028 s]
Raw data (loadavg): 1.07 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 103134 0 0 0 41724 957 0 0 25 0 1 0 1840118931 422432768 101266 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 103133 101266 1116 68 0 103065 0
[pid=7243] vsize: 412532
Current children cumulated CPU time (s) 426.81
Current children cumulated vsize (Kb) 412532

[startup+450.029 s]
Raw data (loadavg): 1.06 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 105218 0 0 0 42685 975 0 0 20 0 1 0 1840118931 430678016 103350 4294967295 134512640 134736556 3221224560 3221223184 134537363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 105146 103351 1116 68 0 105078 0
[pid=7243] vsize: 420584
Current children cumulated CPU time (s) 436.6
Current children cumulated vsize (Kb) 420584

[startup+460.03 s]
Raw data (loadavg): 1.05 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 107494 0 0 0 43650 990 0 0 25 0 1 0 1840118931 439943168 105542 4294967295 134512640 134736556 3221224560 3221223072 134543198 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 107408 105542 1116 68 0 107340 0
[pid=7243] vsize: 429632
Current children cumulated CPU time (s) 446.4
Current children cumulated vsize (Kb) 429632

[startup+470.03 s]
Raw data (loadavg): 1.04 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 109754 0 0 0 44616 1004 0 0 25 0 1 0 1840118931 448573440 107640 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 109515 107640 1116 68 0 109447 0
[pid=7243] vsize: 438060
Current children cumulated CPU time (s) 456.2
Current children cumulated vsize (Kb) 438060

[startup+480.031 s]
Raw data (loadavg): 1.04 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 112184 0 0 0 45574 1022 0 0 25 0 1 0 1840118931 458575872 110070 4294967295 134512640 134736556 3221224560 3221223116 134544556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 111957 110071 1116 68 0 111889 0
[pid=7243] vsize: 447828
Current children cumulated CPU time (s) 465.96
Current children cumulated vsize (Kb) 447828

[startup+490.031 s]
Raw data (loadavg): 1.03 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 114270 0 0 0 46540 1037 0 0 25 0 1 0 1840118931 466800640 111994 4294967295 134512640 134736556 3221224560 3221223172 134544519 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 113965 111994 1116 68 0 113897 0
[pid=7243] vsize: 455860
Current children cumulated CPU time (s) 475.77
Current children cumulated vsize (Kb) 455860

[startup+500.032 s]
Raw data (loadavg): 1.03 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 116639 0 0 0 47496 1056 0 0 20 0 1 0 1840118931 476532736 114363 4294967295 134512640 134736556 3221224560 3221223136 134543195 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 116341 114363 1116 68 0 116273 0
[pid=7243] vsize: 465364
Current children cumulated CPU time (s) 485.52
Current children cumulated vsize (Kb) 465364

[startup+510.033 s]
Raw data (loadavg): 1.02 0.98 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 118679 0 0 0 48464 1068 0 0 25 0 1 0 1840118931 484487168 116317 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 118283 116317 1116 68 0 118215 0
[pid=7243] vsize: 473132
Current children cumulated CPU time (s) 495.32
Current children cumulated vsize (Kb) 473132

[startup+520.034 s]
Raw data (loadavg): 1.02 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 121295 0 0 0 49422 1087 0 0 25 0 1 0 1840118931 495214592 118762 4294967295 134512640 134736556 3221224560 3221223136 134543184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 120902 118762 1116 68 0 120834 0
[pid=7243] vsize: 483608
Current children cumulated CPU time (s) 505.09
Current children cumulated vsize (Kb) 483608

[startup+530.035 s]
Raw data (loadavg): 1.01 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 123962 0 0 0 50387 1103 0 0 25 0 1 0 1840118931 505352192 120863 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 123377 120863 1116 68 0 123309 0
[pid=7243] vsize: 493508
Current children cumulated CPU time (s) 514.9
Current children cumulated vsize (Kb) 493508

[startup+540.035 s]
Raw data (loadavg): 1.01 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 126116 0 0 0 51347 1122 0 0 25 0 1 0 1840118931 514142208 123017 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7243/statm): 125523 123017 1116 68 0 125455 0
[pid=7243] vsize: 502092
Current children cumulated CPU time (s) 524.69
Current children cumulated vsize (Kb) 502092

[startup+550.036 s]
Raw data (loadavg): 1.01 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 128284 0 0 0 52311 1137 0 0 25 0 1 0 1840118931 522792960 125185 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 127635 125185 1116 68 0 127567 0
[pid=7243] vsize: 510540
Current children cumulated CPU time (s) 534.48
Current children cumulated vsize (Kb) 510540

[startup+560.037 s]
Raw data (loadavg): 1.01 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 130294 0 0 0 53275 1152 0 0 25 0 1 0 1840118931 530903040 127195 4294967295 134512640 134736556 3221224560 3221223116 134535728 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 129615 127195 1116 68 0 129547 0
[pid=7243] vsize: 518460
Current children cumulated CPU time (s) 544.27
Current children cumulated vsize (Kb) 518460

[startup+570.037 s]
Raw data (loadavg): 1.01 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 132202 0 0 0 54243 1166 0 0 25 0 1 0 1840118931 538529792 129021 4294967295 134512640 134736556 3221224560 3221223208 134544625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 131477 129021 1116 68 0 131409 0
[pid=7243] vsize: 525908
Current children cumulated CPU time (s) 554.09
Current children cumulated vsize (Kb) 525908

[startup+580.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 134435 0 0 0 55206 1181 0 0 25 0 1 0 1840118931 547586048 131254 4294967295 134512640 134736556 3221224560 3221223152 134716144 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 133688 131254 1116 68 0 133620 0
[pid=7243] vsize: 534752
Current children cumulated CPU time (s) 563.87
Current children cumulated vsize (Kb) 534752

[startup+590.038 s]
Raw data (loadavg): 1.00 0.98 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 136379 0 0 0 56175 1195 0 0 25 0 1 0 1840118931 555155456 133198 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 135536 133198 1116 68 0 135468 0
[pid=7243] vsize: 542144
Current children cumulated CPU time (s) 573.7
Current children cumulated vsize (Kb) 542144

[startup+600.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 138759 0 0 0 57135 1212 0 0 25 0 1 0 1840118931 564887552 135578 4294967295 134512640 134736556 3221224560 3221223076 134540036 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 137912 135578 1116 68 0 137844 0
[pid=7243] vsize: 551648
Current children cumulated CPU time (s) 583.47
Current children cumulated vsize (Kb) 551648

[startup+610.04 s]
Raw data (loadavg): 1.00 0.98 0.91 1/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 140433 0 0 0 58105 1225 0 0 25 0 1 0 1840118931 571645952 137252 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7243/statm): 139562 137252 1116 68 0 139494 0
[pid=7243] vsize: 558248
Current children cumulated CPU time (s) 593.3
Current children cumulated vsize (Kb) 558248

[startup+620.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/56 7243
Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 142521 0 0 0 59068 1241 0 0 25 0 1 0 1840118931 580026368 139340 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7243/statm): 141608 139340 1116 68 0 141540 0
[pid=7243] vsize: 566432
Current children cumulated CPU time (s) 603.09
Current children cumulated vsize (Kb) 566432
One traced child (pid=7243) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 624.681
CPU time (s): 607.654
CPU user time (s): 594.919
CPU system time (s): 12.7351
CPU usage (%): 97.2742
Max. virtual memory (cumulated for all children) (Kb): 566432

Verifier Data

ERROR: no interpretation found !