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

Namesubmitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
MD5SUMf6063d1ff7b0ba7c7cab7a438daedff8
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Number of variables400
Total number of constraints60
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20

Trace number 38

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-18 07:39:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=53 boxname=wulflinc7 idbench=53 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 53
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        953584 kB
Buffers:         33936 kB
Cached:          22988 kB
SwapCached:        740 kB
Active:          52624 kB
Inactive:         6892 kB
HighTotal:      131008 kB
HighFree:       105952 kB
LowTotal:       903652 kB
LowFree:        847632 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            15964 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 07:50:14 (client local time) WITH STATUS 20 IN 637.563 SECONDS
stats: 53 7 637.563 20

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 400 variables and 60 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.063
c After prepocess the problem consists of 400 variables and 60 constraints.
c Restart #1 #Var: 400 #Dec: 352 LB: 0 @ 0.188
c Restart #2 #Var: 400 #Dec: 761 LB: 0 @ 0.469
c Restart #3 #Var: 400 #Dec: 1387 LB: 0 @ 0.995
c Restart #4 #Var: 400 #Dec: 2208 LB: 0 @ 1.878
c Restart #5 #Var: 400 #Dec: 3237 LB: 0 @ 3.4
c Restart #6 #Var: 400 #Dec: 4460 LB: 0 @ 5.89
c Restart #7 #Var: 400 #Dec: 5890 LB: 0 @ 8.885
c Restart #8 #Var: 400 #Dec: 7514 LB: 0 @ 17.708
c Restart #9 #Var: 400 #Dec: 9354 LB: 0 @ 23.73
c Restart #10 #Var: 400 #Dec: 11425 LB: 0 @ 32.202
c Restart #11 #Var: 400 #Dec: 13710 LB: 0 @ 45.849
c Restart #12 #Var: 400 #Dec: 16183 LB: 0 @ 62.125
c Restart #13 #Var: 400 #Dec: 18839 LB: 0 @ 79.876
c Restart #14 #Var: 400 #Dec: 21717 LB: 0 @ 107.81
c Restart #15 #Var: 400 #Dec: 24771 LB: 0 @ 139.13
c Restart #16 #Var: 400 #Dec: 28040 LB: 0 @ 178.3
c Restart #17 #Var: 400 #Dec: 31514 LB: 0 @ 215.29
c Restart #18 #Var: 400 #Dec: 35197 LB: 0 @ 272.78
c Restart #19 #Var: 398 #Dec: 39090 LB: 0 @ 344.15
c Restart #20 #Var: 394 #Dec: 43200 LB: 0 @ 436.17
c Restart #21 #Var: 389 #Dec: 47526 LB: 0 @ 540.11
s UNSATISFIABLE
c Exit Code: 20
c Total time: 637.52 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/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1781318993 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 107 3 90 68 0 39 0
[pid=15546] 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/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb

[startup+10.0029 s]
Raw data (loadavg): 0.73 0.29 0.10 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 2663 0 0 0 952 21 0 0 25 0 1 0 1781318993 14024704 2574 4294967295 134512640 134736556 3221224560 3221223160 134544625 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 3424 2574 1116 68 0 3356 0
[pid=15546] vsize: 13696
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (Kb) 13696

[startup+20.0035 s]
Raw data (loadavg): 0.77 0.32 0.11 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 3455 0 0 0 1936 28 0 0 25 0 1 0 1781318993 17276928 3364 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 4218 3364 1116 68 0 4150 0
[pid=15546] vsize: 16872
Current children cumulated CPU time (s) 19.64
Current children cumulated vsize (Kb) 16872

[startup+30.0041 s]
Raw data (loadavg): 0.81 0.34 0.12 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 4320 0 0 0 2916 38 0 0 25 0 1 0 1781318993 20811776 4229 4294967295 134512640 134736556 3221224560 3221223144 134716377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 5081 4229 1116 68 0 5013 0
[pid=15546] vsize: 20324
Current children cumulated CPU time (s) 29.54
Current children cumulated vsize (Kb) 20324

[startup+40.0038 s]
Raw data (loadavg): 0.84 0.36 0.13 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 5153 0 0 0 3896 46 0 0 25 0 1 0 1781318993 24363008 5062 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 5948 5062 1116 68 0 5880 0
[pid=15546] vsize: 23792
Current children cumulated CPU time (s) 39.42
Current children cumulated vsize (Kb) 23792

[startup+50.0044 s]
Raw data (loadavg): 0.86 0.38 0.14 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 5592 0 0 0 4886 51 0 0 25 0 1 0 1781318993 26144768 5499 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 6383 5499 1116 68 0 6315 0
[pid=15546] vsize: 25532
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (Kb) 25532

[startup+60.004 s]
Raw data (loadavg): 0.88 0.40 0.15 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 6164 0 0 0 5872 57 0 0 25 0 1 0 1781318993 28442624 6068 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 6944 6068 1116 68 0 6876 0
[pid=15546] vsize: 27776
Current children cumulated CPU time (s) 59.29
Current children cumulated vsize (Kb) 27776

[startup+70.0047 s]
Raw data (loadavg): 0.90 0.42 0.16 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 6672 0 0 0 6861 62 0 0 25 0 1 0 1781318993 30646272 6576 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 7482 6576 1116 68 0 7414 0
[pid=15546] vsize: 29928
Current children cumulated CPU time (s) 69.23
Current children cumulated vsize (Kb) 29928

[startup+80.0053 s]
Raw data (loadavg): 0.91 0.44 0.17 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 7332 0 0 0 7848 69 0 0 25 0 1 0 1781318993 33357824 7236 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 8144 7236 1116 68 0 8076 0
[pid=15546] vsize: 32576
Current children cumulated CPU time (s) 79.17
Current children cumulated vsize (Kb) 32576

[startup+90.0049 s]
Raw data (loadavg): 0.93 0.46 0.17 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 7749 0 0 0 8838 73 0 0 25 0 1 0 1781318993 35008512 7651 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 8547 7651 1116 68 0 8479 0
[pid=15546] vsize: 34188
Current children cumulated CPU time (s) 89.11
Current children cumulated vsize (Kb) 34188

[startup+100.006 s]
Raw data (loadavg): 0.94 0.47 0.18 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8116 0 0 0 9831 76 0 0 25 0 1 0 1781318993 36532224 8015 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 8919 8015 1116 68 0 8851 0
[pid=15546] vsize: 35676
Current children cumulated CPU time (s) 99.07
Current children cumulated vsize (Kb) 35676

[startup+110.005 s]
Raw data (loadavg): 0.95 0.49 0.19 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8544 0 0 0 10823 80 0 0 25 0 1 0 1781318993 38461440 8441 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 9390 8441 1116 68 0 9322 0
[pid=15546] vsize: 37560
Current children cumulated CPU time (s) 109.03
Current children cumulated vsize (Kb) 37560

[startup+120.006 s]
Raw data (loadavg): 0.95 0.51 0.20 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8936 0 0 0 11816 84 0 0 25 0 1 0 1781318993 39964672 8833 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 9757 8833 1116 68 0 9689 0
[pid=15546] vsize: 39028
Current children cumulated CPU time (s) 119
Current children cumulated vsize (Kb) 39028

[startup+130.005 s]
Raw data (loadavg): 0.96 0.52 0.21 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 9271 0 0 0 12809 88 0 0 25 0 1 0 1781318993 41316352 9166 4294967295 134512640 134736556 3221224560 3221223084 134536693 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 10087 9166 1116 68 0 10019 0
[pid=15546] vsize: 40348
Current children cumulated CPU time (s) 128.97
Current children cumulated vsize (Kb) 40348

[startup+140.005 s]
Raw data (loadavg): 0.97 0.54 0.21 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 9659 0 0 0 13800 92 0 0 25 0 1 0 1781318993 42958848 9553 4294967295 134512640 134736556 3221224560 3221223152 134716017 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 10488 9553 1116 68 0 10420 0
[pid=15546] vsize: 41952
Current children cumulated CPU time (s) 138.92
Current children cumulated vsize (Kb) 41952

[startup+150.006 s]
Raw data (loadavg): 0.97 0.55 0.22 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10087 0 0 0 14790 97 0 0 25 0 1 0 1781318993 44793856 9978 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 10936 9978 1116 68 0 10868 0
[pid=15546] vsize: 43744
Current children cumulated CPU time (s) 148.87
Current children cumulated vsize (Kb) 43744

[startup+160.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10431 0 0 0 15782 101 0 0 25 0 1 0 1781318993 46174208 10320 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 11273 10320 1116 68 0 11205 0
[pid=15546] vsize: 45092
Current children cumulated CPU time (s) 158.83
Current children cumulated vsize (Kb) 45092

[startup+170.006 s]
Raw data (loadavg): 0.98 0.58 0.24 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10717 0 0 0 16775 105 0 0 25 0 1 0 1781318993 47435776 10602 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 11581 10602 1116 68 0 11513 0
[pid=15546] vsize: 46324
Current children cumulated CPU time (s) 168.8
Current children cumulated vsize (Kb) 46324

[startup+180.007 s]
Raw data (loadavg): 0.98 0.59 0.25 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10932 0 0 0 17770 107 0 0 25 0 1 0 1781318993 48287744 10817 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 11789 10817 1116 68 0 11721 0
[pid=15546] vsize: 47156
Current children cumulated CPU time (s) 178.77
Current children cumulated vsize (Kb) 47156

[startup+190.006 s]
Raw data (loadavg): 0.98 0.61 0.25 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 11355 0 0 0 18760 112 0 0 22 0 1 0 1781318993 50016256 11235 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 12211 11235 1116 68 0 12143 0
[pid=15546] vsize: 48844
Current children cumulated CPU time (s) 188.72
Current children cumulated vsize (Kb) 48844

[startup+200.006 s]
Raw data (loadavg): 0.99 0.62 0.26 1/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) T 15545 15546 15400 0 -1 0 11699 0 0 0 19751 116 0 0 25 0 1 0 1781318993 51503104 11579 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15546/statm): 12574 11579 1116 68 0 12506 0
[pid=15546] vsize: 50296
Current children cumulated CPU time (s) 198.67
Current children cumulated vsize (Kb) 50296

[startup+210.006 s]
Raw data (loadavg): 0.99 0.63 0.27 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 11991 0 0 0 20745 119 0 0 25 0 1 0 1781318993 52752384 11869 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 12879 11869 1116 68 0 12811 0
[pid=15546] vsize: 51516
Current children cumulated CPU time (s) 208.64
Current children cumulated vsize (Kb) 51516

[startup+220.006 s]
Raw data (loadavg): 0.99 0.64 0.28 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12321 0 0 0 21736 123 0 0 25 0 1 0 1781318993 54214656 12194 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 13236 12194 1116 68 0 13168 0
[pid=15546] vsize: 52944
Current children cumulated CPU time (s) 218.59
Current children cumulated vsize (Kb) 52944

[startup+230.006 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12596 0 0 0 22729 126 0 0 25 0 1 0 1781318993 55341056 12466 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 13511 12466 1116 68 0 13443 0
[pid=15546] vsize: 54044
Current children cumulated CPU time (s) 228.55
Current children cumulated vsize (Kb) 54044

[startup+240.006 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12846 0 0 0 23723 129 0 0 25 0 1 0 1781318993 56344576 12712 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 13756 12712 1116 68 0 13688 0
[pid=15546] vsize: 55024
Current children cumulated CPU time (s) 238.52
Current children cumulated vsize (Kb) 55024

[startup+250.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13104 0 0 0 24717 131 0 0 25 0 1 0 1781318993 57425920 12970 4294967295 134512640 134736556 3221224560 3221223248 134536549 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 14020 12970 1116 68 0 13952 0
[pid=15546] vsize: 56080
Current children cumulated CPU time (s) 248.48
Current children cumulated vsize (Kb) 56080

[startup+260.006 s]
Raw data (loadavg): 0.99 0.69 0.30 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13304 0 0 0 25713 133 0 0 25 0 1 0 1781318993 58245120 13169 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 14220 13169 1116 68 0 14152 0
[pid=15546] vsize: 56880
Current children cumulated CPU time (s) 258.46
Current children cumulated vsize (Kb) 56880

[startup+270.006 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13516 0 0 0 26707 136 0 0 25 0 1 0 1781318993 59215872 13380 4294967295 134512640 134736556 3221224560 3221223040 134535746 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 14457 13380 1116 68 0 14389 0
[pid=15546] vsize: 57828
Current children cumulated CPU time (s) 268.43
Current children cumulated vsize (Kb) 57828

[startup+280.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13744 0 0 0 27701 138 0 0 25 0 1 0 1781318993 60104704 13605 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 14674 13605 1116 68 0 14606 0
[pid=15546] vsize: 58696
Current children cumulated CPU time (s) 278.39
Current children cumulated vsize (Kb) 58696

[startup+290.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13992 0 0 0 28694 141 0 0 25 0 1 0 1781318993 61243392 13849 4294967295 134512640 134736556 3221224560 3221223232 134528799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15546/statm): 14952 13849 1116 68 0 14884 0
[pid=15546] vsize: 59808
Current children cumulated CPU time (s) 288.35
Current children cumulated vsize (Kb) 59808

[startup+300.006 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14218 0 0 0 29687 145 0 0 25 0 1 0 1781318993 62054400 14075 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 15150 14075 1116 68 0 15082 0
[pid=15546] vsize: 60600
Current children cumulated CPU time (s) 298.32
Current children cumulated vsize (Kb) 60600

[startup+310.006 s]
Raw data (loadavg): 0.99 0.73 0.34 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14442 0 0 0 30681 147 0 0 25 0 1 0 1781318993 63000576 14299 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 15381 14299 1116 68 0 15313 0
[pid=15546] vsize: 61524
Current children cumulated CPU time (s) 308.28
Current children cumulated vsize (Kb) 61524

[startup+320.007 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14623 0 0 0 31677 149 0 0 25 0 1 0 1781318993 63676416 14480 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 15546 14480 1116 68 0 15478 0
[pid=15546] vsize: 62184
Current children cumulated CPU time (s) 318.26
Current children cumulated vsize (Kb) 62184

[startup+330.007 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14783 0 0 0 32673 151 0 0 25 0 1 0 1781318993 64491520 14640 4294967295 134512640 134736556 3221224560 3221223252 134524881 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 15745 14640 1116 68 0 15677 0
[pid=15546] vsize: 62980
Current children cumulated CPU time (s) 328.24
Current children cumulated vsize (Kb) 62980

[startup+340.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14906 0 0 0 33671 152 0 0 25 0 1 0 1781318993 64929792 14763 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 15852 14763 1116 68 0 15784 0
[pid=15546] vsize: 63408
Current children cumulated CPU time (s) 338.23
Current children cumulated vsize (Kb) 63408

[startup+350.007 s]
Raw data (loadavg): 0.99 0.76 0.37 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15108 0 0 0 34667 154 0 0 25 0 1 0 1781318993 65785856 14963 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 16061 14963 1116 68 0 15993 0
[pid=15546] vsize: 64244
Current children cumulated CPU time (s) 348.21
Current children cumulated vsize (Kb) 64244

[startup+360.007 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15301 0 0 0 35662 157 0 0 25 0 1 0 1781318993 66699264 15154 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 16284 15154 1116 68 0 16216 0
[pid=15546] vsize: 65136
Current children cumulated CPU time (s) 358.19
Current children cumulated vsize (Kb) 65136

[startup+370.008 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15493 0 0 0 36657 159 0 0 25 0 1 0 1781318993 67452928 15345 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 16468 15345 1116 68 0 16400 0
[pid=15546] vsize: 65872
Current children cumulated CPU time (s) 368.16
Current children cumulated vsize (Kb) 65872

[startup+380.007 s]
Raw data (loadavg): 0.99 0.79 0.38 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15646 0 0 0 37654 160 0 0 25 0 1 0 1781318993 68050944 15497 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 16614 15497 1116 68 0 16546 0
[pid=15546] vsize: 66456
Current children cumulated CPU time (s) 378.14
Current children cumulated vsize (Kb) 66456

[startup+390.008 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15817 0 0 0 38649 163 0 0 25 0 1 0 1781318993 68734976 15668 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 16781 15668 1116 68 0 16713 0
[pid=15546] vsize: 67124
Current children cumulated CPU time (s) 388.12
Current children cumulated vsize (Kb) 67124

[startup+400.008 s]
Raw data (loadavg): 0.99 0.80 0.39 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16066 0 0 0 39643 166 0 0 25 0 1 0 1781318993 69758976 15916 4294967295 134512640 134736556 3221224560 3221223040 134535746 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17031 15916 1116 68 0 16963 0
[pid=15546] vsize: 68124
Current children cumulated CPU time (s) 398.09
Current children cumulated vsize (Kb) 68124

[startup+410.007 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16223 0 0 0 40639 168 0 0 25 0 1 0 1781318993 70434816 16073 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17196 16073 1116 68 0 17128 0
[pid=15546] vsize: 68784
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (Kb) 68784

[startup+420.008 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16369 0 0 0 41635 169 0 0 25 0 1 0 1781318993 71024640 16217 4294967295 134512640 134736556 3221224560 3221223216 134528776 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17340 16217 1116 68 0 17272 0
[pid=15546] vsize: 69360
Current children cumulated CPU time (s) 418.04
Current children cumulated vsize (Kb) 69360

[startup+430.009 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16510 0 0 0 42633 170 0 0 25 0 1 0 1781318993 71565312 16358 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17472 16358 1116 68 0 17404 0
[pid=15546] vsize: 69888
Current children cumulated CPU time (s) 428.03
Current children cumulated vsize (Kb) 69888

[startup+440.008 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16734 0 0 0 43626 173 0 0 24 0 1 0 1781318993 72609792 16573 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17727 16573 1116 68 0 17659 0
[pid=15546] vsize: 70908
Current children cumulated CPU time (s) 437.99
Current children cumulated vsize (Kb) 70908

[startup+450.008 s]
Raw data (loadavg): 0.99 0.83 0.42 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16934 0 0 0 44621 176 0 0 25 0 1 0 1781318993 73285632 16773 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 17892 16773 1116 68 0 17824 0
[pid=15546] vsize: 71568
Current children cumulated CPU time (s) 447.97
Current children cumulated vsize (Kb) 71568

[startup+460.009 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17098 0 0 0 45617 178 0 0 25 0 1 0 1781318993 73961472 16937 4294967295 134512640 134736556 3221224560 3221223196 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18057 16937 1116 68 0 17989 0
[pid=15546] vsize: 72228
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 72228

[startup+470.009 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17229 0 0 0 46614 179 0 0 25 0 1 0 1781318993 74502144 17068 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18189 17068 1116 68 0 18121 0
[pid=15546] vsize: 72756
Current children cumulated CPU time (s) 467.93
Current children cumulated vsize (Kb) 72756

[startup+480.01 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17415 0 0 0 47611 181 0 0 25 0 1 0 1781318993 75177984 17254 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18354 17254 1116 68 0 18286 0
[pid=15546] vsize: 73416
Current children cumulated CPU time (s) 477.92
Current children cumulated vsize (Kb) 73416

[startup+490.009 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17551 0 0 0 48607 184 0 0 25 0 1 0 1781318993 75718656 17390 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18486 17390 1116 68 0 18418 0
[pid=15546] vsize: 73944
Current children cumulated CPU time (s) 487.91
Current children cumulated vsize (Kb) 73944

[startup+500.009 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17716 0 0 0 49604 185 0 0 25 0 1 0 1781318993 76443648 17554 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18663 17554 1116 68 0 18595 0
[pid=15546] vsize: 74652
Current children cumulated CPU time (s) 497.89
Current children cumulated vsize (Kb) 74652

[startup+510.009 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17886 0 0 0 50600 187 0 0 25 0 1 0 1781318993 77185024 17717 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 18844 17717 1116 68 0 18776 0
[pid=15546] vsize: 75376
Current children cumulated CPU time (s) 507.87
Current children cumulated vsize (Kb) 75376

[startup+520.009 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18033 0 0 0 51596 189 0 0 25 0 1 0 1781318993 77950976 17859 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19031 17859 1116 68 0 18963 0
[pid=15546] vsize: 76124
Current children cumulated CPU time (s) 517.85
Current children cumulated vsize (Kb) 76124

[startup+530.009 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18160 0 0 0 52593 189 0 0 25 0 1 0 1781318993 78491648 17986 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19163 17986 1116 68 0 19095 0
[pid=15546] vsize: 76652
Current children cumulated CPU time (s) 527.82
Current children cumulated vsize (Kb) 76652

[startup+540.009 s]
Raw data (loadavg): 0.99 0.87 0.47 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18305 0 0 0 53590 191 0 0 25 0 1 0 1781318993 79151104 18126 4294967295 134512640 134736556 3221224560 3221223024 134536105 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19324 18126 1116 68 0 19256 0
[pid=15546] vsize: 77296
Current children cumulated CPU time (s) 537.81
Current children cumulated vsize (Kb) 77296

[startup+550.009 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18458 0 0 0 54586 193 0 0 25 0 1 0 1781318993 79892480 18273 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19505 18273 1116 68 0 19437 0
[pid=15546] vsize: 78020
Current children cumulated CPU time (s) 547.79
Current children cumulated vsize (Kb) 78020

[startup+560.009 s]
Raw data (loadavg): 0.99 0.88 0.48 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) T 15545 15546 15400 0 -1 0 18599 0 0 0 55583 194 0 0 25 0 1 0 1781318993 80498688 18412 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19653 18412 1116 68 0 19585 0
[pid=15546] vsize: 78612
Current children cumulated CPU time (s) 557.77
Current children cumulated vsize (Kb) 78612

[startup+570.01 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18784 0 0 0 56580 196 0 0 25 0 1 0 1781318993 81428480 18593 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 19880 18593 1116 68 0 19812 0
[pid=15546] vsize: 79520
Current children cumulated CPU time (s) 567.76
Current children cumulated vsize (Kb) 79520

[startup+580.01 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18937 0 0 0 57576 198 0 0 25 0 1 0 1781318993 82034688 18741 4294967295 134512640 134736556 3221224560 3221223212 134554060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20028 18741 1116 68 0 19960 0
[pid=15546] vsize: 80112
Current children cumulated CPU time (s) 577.74
Current children cumulated vsize (Kb) 80112

[startup+590.01 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19084 0 0 0 58573 199 0 0 25 0 1 0 1781318993 82640896 18881 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20176 18881 1116 68 0 20108 0
[pid=15546] vsize: 80704
Current children cumulated CPU time (s) 587.72
Current children cumulated vsize (Kb) 80704

[startup+600.01 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19183 0 0 0 59571 200 0 0 25 0 1 0 1781318993 83050496 18979 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20276 18979 1116 68 0 20208 0
[pid=15546] vsize: 81104
Current children cumulated CPU time (s) 597.71
Current children cumulated vsize (Kb) 81104

[startup+610.01 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19305 0 0 0 60569 202 0 0 25 0 1 0 1781318993 83525632 19101 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20392 19101 1116 68 0 20324 0
[pid=15546] vsize: 81568
Current children cumulated CPU time (s) 607.71
Current children cumulated vsize (Kb) 81568

[startup+620.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19475 0 0 0 61567 203 0 0 25 0 1 0 1781318993 84471808 19265 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20623 19265 1116 68 0 20555 0
[pid=15546] vsize: 82492
Current children cumulated CPU time (s) 617.7
Current children cumulated vsize (Kb) 82492

[startup+630.011 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 15546
Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19569 0 0 0 62565 203 0 0 25 0 1 0 1781318993 84815872 19358 4294967295 134512640 134736556 3221224560 3221223236 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15546/statm): 20707 19358 1116 68 0 20639 0
[pid=15546] vsize: 82828
Current children cumulated CPU time (s) 627.68
Current children cumulated vsize (Kb) 82828
One traced child (pid=15546) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 639.898
CPU time (s): 637.563
CPU user time (s): 635.48
CPU system time (s): 2.08268
CPU usage (%): 99.6352
Max. virtual memory (cumulated for all children) (Kb): 82828

Verifier Data

ERROR: no interpretation found !