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-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM159220fb0573bb17ad11cefe6a440cec
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
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 11
Number of bits of the biggest sum of numbers4
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.051991
Number of variables120
Total number of constraints106
Number of constraints which are clauses88
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint10

Trace number 73

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        956000 kB
Buffers:         33568 kB
Cached:          21504 kB
SwapCached:        960 kB
Active:          51260 kB
Inactive:         6416 kB
HighTotal:      131008 kB
HighFree:       107156 kB
LowTotal:       903652 kB
LowFree:        848844 kB
SwapTotal:     2097136 kB
SwapFree:      2095628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            15272 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 08:11:10 (client local time) WITH STATUS 10 IN 673.815 SECONDS
stats: 20 0 673.815 10

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 120 variables and 106 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.056
c After prepocess the problem consists of 120 variables and 106 constraints.
c Restart #1 #Var: 120 #Dec: 234 LB: 0 @ 0.16
c Restart #2 #Var: 120 #Dec: 691 LB: 0 @ 0.389
c Restart #3 #Var: 120 #Dec: 1439 LB: 0 @ 0.83
c Restart #4 #Var: 120 #Dec: 2314 LB: 0 @ 1.46
c Restart #5 #Var: 120 #Dec: 3335 LB: 0 @ 2.628
c Restart #6 #Var: 120 #Dec: 4671 LB: 0 @ 4.384
c Restart #7 #Var: 120 #Dec: 6117 LB: 0 @ 7.074
c Restart #8 #Var: 120 #Dec: 7870 LB: 0 @ 9.887
c Restart #9 #Var: 120 #Dec: 9870 LB: 0 @ 13.058
c Restart #10 #Var: 120 #Dec: 11993 LB: 0 @ 17.809
c Restart #11 #Var: 120 #Dec: 14541 LB: 0 @ 23.429
c Restart #12 #Var: 120 #Dec: 17305 LB: 0 @ 28.843
c Restart #13 #Var: 120 #Dec: 20704 LB: 0 @ 37.559
c Restart #14 #Var: 120 #Dec: 23688 LB: 0 @ 46.654
c Restart #15 #Var: 120 #Dec: 27024 LB: 0 @ 56.867
c Restart #16 #Var: 120 #Dec: 30475 LB: 0 @ 72.073
c Restart #17 #Var: 120 #Dec: 34638 LB: 0 @ 89.376
c Restart #18 #Var: 120 #Dec: 38693 LB: 0 @ 104.76
c Restart #19 #Var: 120 #Dec: 43204 LB: 0 @ 127.83
c Restart #20 #Var: 120 #Dec: 47953 LB: 0 @ 162.5
c Restart #21 #Var: 120 #Dec: 52743 LB: 0 @ 187.39
c Restart #22 #Var: 120 #Dec: 57671 LB: 0 @ 247.64
c Restart #23 #Var: 120 #Dec: 63224 LB: 0 @ 274.75
c Restart #24 #Var: 120 #Dec: 68918 LB: 0 @ 321.48
c Restart #25 #Var: 120 #Dec: 74706 LB: 0 @ 360
c Restart #26 #Var: 120 #Dec: 80251 LB: 0 @ 400.4
c Restart #27 #Var: 120 #Dec: 86088 LB: 0 @ 464.35
c Restart #28 #Var: 120 #Dec: 92472 LB: 0 @ 521.99
c Restart #29 #Var: 120 #Dec: 98950 LB: 0 @ 595.39
c CHANGE Heuristic... 
c Restart #0 #Var: 120 #Dec: 105780 LB: 0 @ 671.67
c NEW SOLUTION FOUND: 0 @ 673.75 @ #Dec. 105949
s SATISFIABLE
v v27 v105 -v106 -v107 -v108 -v20 -v117 -v118 v119 -v120 -v13 -v89 -v90 -v91 -v92 -v69 -v113 -v114 -v115 -v116 -v24 -v93 -v94 -v95 v96 -v68 -v109 -v110 -v111 v112 -v15 v97 -v98 -v99 -v100 -v1 -v81 -v82 v83 -v84 -v46 -v101 v102 -v103 -v104 -v61 -v29 -v35 -v16 -v63 v64 -v77 -v39 -v34 -v53 -v49 -v79 -v55 -v54 -v65 -v62 -v66 -v67 -v70 -v74 -v2 -v3 -v4 -v5 v6 -v7 -v8 -v9 -v10 -v42 -v85 v86 -v87 -v88 -v40 -v41 -v33 v31 -v32 -v36 -v37 -v38 -v56 -v71 -v28 -v72 -v73 -v75 -v76 -v78 v80 -v12 -v21 -v22 -v23 -v25 -v26 -v30 -v44 -v14 -v51 -v19 -v11 -v58 -v43 -v50 -v57 -v59 v52 -v17 v18 v45 -v60 -v48 -v47 
c Cost: 0
c Exit Code: 10
c Total time: 673.75 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/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1781402778 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 107 3 90 68 0 39 0
[pid=7089] 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/wulflinc4/normalized-fpga10_8_sat_pb.cnf.cr.opb

[startup+10.0044 s]
Raw data (loadavg): 1.09 1.00 0.74 1/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 2491 0 0 0 945 23 0 0 25 0 1 0 1781402778 13336576 2402 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7089/statm): 3256 2402 1116 68 0 3188 0
[pid=7089] vsize: 13024
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 13024

[startup+20.0053 s]
Raw data (loadavg): 1.08 1.00 0.74 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 3800 0 0 0 1913 37 0 0 25 0 1 0 1781402778 18608128 3711 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 4543 3711 1116 68 0 4475 0
[pid=7089] vsize: 18172
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (Kb) 18172

[startup+30.0061 s]
Raw data (loadavg): 1.06 1.00 0.74 1/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 4901 0 0 0 2879 52 0 0 25 0 1 0 1781402778 23203840 4812 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7089/statm): 5665 4812 1116 68 0 5597 0
[pid=7089] vsize: 22660
Current children cumulated CPU time (s) 29.31
Current children cumulated vsize (Kb) 22660

[startup+40.007 s]
Raw data (loadavg): 1.05 1.00 0.74 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 5747 0 0 0 3855 61 0 0 25 0 1 0 1781402778 26591232 5658 4294967295 134512640 134736556 3221224560 3221223032 134634650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 6492 5658 1116 68 0 6424 0
[pid=7089] vsize: 25968
Current children cumulated CPU time (s) 39.16
Current children cumulated vsize (Kb) 25968

[startup+50.0078 s]
Raw data (loadavg): 1.04 1.00 0.74 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 6575 0 0 0 4834 71 0 0 25 0 1 0 1781402778 29978624 6486 4294967295 134512640 134736556 3221224560 3221223084 134536672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 7319 6486 1116 68 0 7251 0
[pid=7089] vsize: 29276
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (Kb) 29276

[startup+60.0086 s]
Raw data (loadavg): 1.04 1.00 0.75 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 7484 0 0 0 5810 82 0 0 25 0 1 0 1781402778 33763328 7394 4294967295 134512640 134736556 3221224560 3221223144 134716414 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 8243 7394 1116 68 0 8175 0
[pid=7089] vsize: 32972
Current children cumulated CPU time (s) 58.92
Current children cumulated vsize (Kb) 32972

[startup+70.0085 s]
Raw data (loadavg): 1.03 1.00 0.75 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 8176 0 0 0 6791 90 0 0 25 0 1 0 1781402778 36618240 8086 4294967295 134512640 134736556 3221224560 3221223232 134528711 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 8940 8086 1116 68 0 8872 0
[pid=7089] vsize: 35760
Current children cumulated CPU time (s) 68.81
Current children cumulated vsize (Kb) 35760

[startup+80.0083 s]
Raw data (loadavg): 1.03 1.00 0.75 1/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 8743 0 0 0 7776 98 0 0 25 0 1 0 1781402778 38952960 8650 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7089/statm): 9510 8650 1116 68 0 9442 0
[pid=7089] vsize: 38040
Current children cumulated CPU time (s) 78.74
Current children cumulated vsize (Kb) 38040

[startup+90.0092 s]
Raw data (loadavg): 1.02 1.00 0.75 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 9296 0 0 0 8758 106 0 0 25 0 1 0 1781402778 41259008 9202 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 10073 9202 1116 68 0 10005 0
[pid=7089] vsize: 40292
Current children cumulated CPU time (s) 88.64
Current children cumulated vsize (Kb) 40292

[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 0.75 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 9939 0 0 0 9741 113 0 0 25 0 1 0 1781402778 43978752 9843 4294967295 134512640 134736556 3221224560 3221223136 134716332 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 10737 9843 1116 68 0 10669 0
[pid=7089] vsize: 42948
Current children cumulated CPU time (s) 98.54
Current children cumulated vsize (Kb) 42948

[startup+110.01 s]
Raw data (loadavg): 1.01 1.00 0.76 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 10500 0 0 0 10726 120 0 0 25 0 1 0 1781402778 46280704 10404 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 11299 10404 1116 68 0 11231 0
[pid=7089] vsize: 45196
Current children cumulated CPU time (s) 108.46
Current children cumulated vsize (Kb) 45196

[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 0.76 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 10917 0 0 0 11714 124 0 0 25 0 1 0 1781402778 48050176 10819 4294967295 134512640 134736556 3221224560 3221223100 134536596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 11731 10819 1116 68 0 11663 0
[pid=7089] vsize: 46924
Current children cumulated CPU time (s) 118.38
Current children cumulated vsize (Kb) 46924

[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 0.76 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 11542 0 0 0 12695 134 0 0 25 0 1 0 1781402778 50622464 11443 4294967295 134512640 134736556 3221224560 3221223260 134553984 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 12359 11443 1116 68 0 12291 0
[pid=7089] vsize: 49436
Current children cumulated CPU time (s) 128.29
Current children cumulated vsize (Kb) 49436

[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 0.76 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12194 0 0 0 13678 140 0 0 25 0 1 0 1781402778 53329920 12094 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 13020 12094 1116 68 0 12952 0
[pid=7089] vsize: 52080
Current children cumulated CPU time (s) 138.18
Current children cumulated vsize (Kb) 52080

[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 0.76 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12397 0 0 0 14671 142 0 0 25 0 1 0 1781402778 54169600 12295 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 13225 12295 1116 68 0 13157 0
[pid=7089] vsize: 52900
Current children cumulated CPU time (s) 148.13
Current children cumulated vsize (Kb) 52900

[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12601 0 0 0 15661 147 0 0 25 0 1 0 1781402778 54980608 12499 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 13423 12499 1116 68 0 13355 0
[pid=7089] vsize: 53692
Current children cumulated CPU time (s) 158.08
Current children cumulated vsize (Kb) 53692

[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12936 0 0 0 16648 153 0 0 25 0 1 0 1781402778 56348672 12834 4294967295 134512640 134736556 3221224560 3221223280 134529480 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 13757 12834 1116 68 0 13689 0
[pid=7089] vsize: 55028
Current children cumulated CPU time (s) 168.01
Current children cumulated vsize (Kb) 55028

[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 13455 0 0 0 17633 158 0 0 25 0 1 0 1781402778 58511360 13353 4294967295 134512640 134736556 3221224560 3221223148 134551267 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 14285 13353 1116 68 0 14217 0
[pid=7089] vsize: 57140
Current children cumulated CPU time (s) 177.91
Current children cumulated vsize (Kb) 57140

[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 13949 0 0 0 18617 165 0 0 25 0 1 0 1781402778 60538880 13847 4294967295 134512640 134736556 3221224560 3221223160 134554101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 14780 13847 1116 68 0 14712 0
[pid=7089] vsize: 59120
Current children cumulated CPU time (s) 187.82
Current children cumulated vsize (Kb) 59120

[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14216 0 0 0 19608 169 0 0 25 0 1 0 1781402778 61755392 14112 4294967295 134512640 134736556 3221224560 3221223072 134535752 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 15077 14112 1116 68 0 15009 0
[pid=7089] vsize: 60308
Current children cumulated CPU time (s) 197.77
Current children cumulated vsize (Kb) 60308

[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.77 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14477 0 0 0 20601 172 0 0 25 0 1 0 1781402778 62836736 14373 4294967295 134512640 134736556 3221224560 3221223232 134528804 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 15341 14373 1116 68 0 15273 0
[pid=7089] vsize: 61364
Current children cumulated CPU time (s) 207.73
Current children cumulated vsize (Kb) 61364

[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.78 1/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 14746 0 0 0 21593 175 0 0 25 0 1 0 1781402778 63930368 14642 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7089/statm): 15608 14642 1116 68 0 15540 0
[pid=7089] vsize: 62432
Current children cumulated CPU time (s) 217.68
Current children cumulated vsize (Kb) 62432

[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.78 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14936 0 0 0 22588 177 0 0 25 0 1 0 1781402778 64606208 14832 4294967295 134512640 134736556 3221224560 3221223248 134536470 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 15773 14832 1116 68 0 15705 0
[pid=7089] vsize: 63092
Current children cumulated CPU time (s) 227.65
Current children cumulated vsize (Kb) 63092

[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 0.78 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15112 0 0 0 23582 179 0 0 25 0 1 0 1781402778 65482752 15006 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 15987 15006 1116 68 0 15919 0
[pid=7089] vsize: 63948
Current children cumulated CPU time (s) 237.61
Current children cumulated vsize (Kb) 63948

[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.78 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15301 0 0 0 24577 181 0 0 25 0 1 0 1781402778 66158592 15195 4294967295 134512640 134736556 3221224560 3221223268 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 16152 15195 1116 68 0 16084 0
[pid=7089] vsize: 64608
Current children cumulated CPU time (s) 247.58
Current children cumulated vsize (Kb) 64608

[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.78 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15860 0 0 0 25562 188 0 0 25 0 1 0 1781402778 68464640 15754 4294967295 134512640 134736556 3221224560 3221223184 134524549 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 16715 15754 1116 68 0 16647 0
[pid=7089] vsize: 66860
Current children cumulated CPU time (s) 257.5
Current children cumulated vsize (Kb) 66860

[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 16279 0 0 0 26550 194 0 0 25 0 1 0 1781402778 70221824 16173 4294967295 134512640 134736556 3221224560 3221223220 134524881 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 17144 16173 1116 68 0 17076 0
[pid=7089] vsize: 68576
Current children cumulated CPU time (s) 267.44
Current children cumulated vsize (Kb) 68576

[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 16687 0 0 0 27536 200 0 0 25 0 1 0 1781402778 71843840 16581 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 17540 16581 1116 68 0 17472 0
[pid=7089] vsize: 70160
Current children cumulated CPU time (s) 277.36
Current children cumulated vsize (Kb) 70160

[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17021 0 0 0 28523 206 0 0 25 0 1 0 1781402778 73195520 16915 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 17870 16915 1116 68 0 17802 0
[pid=7089] vsize: 71480
Current children cumulated CPU time (s) 287.29
Current children cumulated vsize (Kb) 71480

[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17330 0 0 0 29511 211 0 0 25 0 1 0 1781402778 74547200 17224 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 18200 17224 1116 68 0 18132 0
[pid=7089] vsize: 72800
Current children cumulated CPU time (s) 297.22
Current children cumulated vsize (Kb) 72800

[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17688 0 0 0 30500 216 0 0 25 0 1 0 1781402778 75898880 17582 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 18530 17582 1116 68 0 18462 0
[pid=7089] vsize: 74120
Current children cumulated CPU time (s) 307.16
Current children cumulated vsize (Kb) 74120

[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17899 0 0 0 31493 218 0 0 25 0 1 0 1781402778 76857344 17792 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 18764 17792 1116 68 0 18696 0
[pid=7089] vsize: 75056
Current children cumulated CPU time (s) 317.11
Current children cumulated vsize (Kb) 75056

[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 18232 0 0 0 32483 223 0 0 25 0 1 0 1781402778 78233600 18120 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 19100 18120 1116 68 0 19032 0
[pid=7089] vsize: 76400
Current children cumulated CPU time (s) 327.06
Current children cumulated vsize (Kb) 76400

[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 18729 0 0 0 33469 228 0 0 25 0 1 0 1781402778 80302080 18616 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 19605 18616 1116 68 0 19537 0
[pid=7089] vsize: 78420
Current children cumulated CPU time (s) 336.97
Current children cumulated vsize (Kb) 78420

[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19113 0 0 0 34458 233 0 0 25 0 1 0 1781402778 81924096 19000 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 20001 19000 1116 68 0 19933 0
[pid=7089] vsize: 80004
Current children cumulated CPU time (s) 346.91
Current children cumulated vsize (Kb) 80004

[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19378 0 0 0 35448 238 0 0 25 0 1 0 1781402778 83005440 19265 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 20265 19265 1116 68 0 20197 0
[pid=7089] vsize: 81060
Current children cumulated CPU time (s) 356.86
Current children cumulated vsize (Kb) 81060

[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19737 0 0 0 36437 242 0 0 25 0 1 0 1781402778 84570112 19623 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 20647 19623 1116 68 0 20579 0
[pid=7089] vsize: 82588
Current children cumulated CPU time (s) 366.79
Current children cumulated vsize (Kb) 82588

[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20144 0 0 0 37425 247 0 0 25 0 1 0 1781402778 86208512 20030 4294967295 134512640 134736556 3221224560 3221222932 134717260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 21047 20030 1116 68 0 20979 0
[pid=7089] vsize: 84188
Current children cumulated CPU time (s) 376.72
Current children cumulated vsize (Kb) 84188

[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20607 0 0 0 38412 252 0 0 25 0 1 0 1781402778 88100864 20493 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 21509 20493 1116 68 0 21441 0
[pid=7089] vsize: 86036
Current children cumulated CPU time (s) 386.64
Current children cumulated vsize (Kb) 86036

[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20951 0 0 0 39402 257 0 0 25 0 1 0 1781402778 89464832 20837 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 21842 20837 1116 68 0 21774 0
[pid=7089] vsize: 87368
Current children cumulated CPU time (s) 396.59
Current children cumulated vsize (Kb) 87368

[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 21280 0 0 0 40393 261 0 0 25 0 1 0 1781402778 90894336 21165 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 22191 21165 1116 68 0 22123 0
[pid=7089] vsize: 88764
Current children cumulated CPU time (s) 406.54
Current children cumulated vsize (Kb) 88764

[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 21714 0 0 0 41380 267 0 0 25 0 1 0 1781402778 92667904 21599 4294967295 134512640 134736556 3221224560 3221223208 134554061 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 22624 21599 1116 68 0 22556 0
[pid=7089] vsize: 90496
Current children cumulated CPU time (s) 416.47
Current children cumulated vsize (Kb) 90496

[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22049 0 0 0 42372 270 0 0 25 0 1 0 1781402778 94253056 21930 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 23011 21930 1116 68 0 22943 0
[pid=7089] vsize: 92044
Current children cumulated CPU time (s) 426.42
Current children cumulated vsize (Kb) 92044

[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.82 1/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 22315 0 0 0 43364 274 0 0 25 0 1 0 1781402778 95334400 22196 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7089/statm): 23275 22196 1116 68 0 23207 0
[pid=7089] vsize: 93100
Current children cumulated CPU time (s) 436.38
Current children cumulated vsize (Kb) 93100

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22567 0 0 0 44356 277 0 0 25 0 1 0 1781402778 96378880 22444 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 23530 22444 1116 68 0 23462 0
[pid=7089] vsize: 94120
Current children cumulated CPU time (s) 446.33
Current children cumulated vsize (Kb) 94120

[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22740 0 0 0 45351 279 0 0 25 0 1 0 1781402778 97087488 22616 4294967295 134512640 134736556 3221224560 3221223092 134716943 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 23703 22616 1116 68 0 23635 0
[pid=7089] vsize: 94812
Current children cumulated CPU time (s) 456.3
Current children cumulated vsize (Kb) 94812

[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22944 0 0 0 46346 281 0 0 25 0 1 0 1781402778 97931264 22819 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 23909 22819 1116 68 0 23841 0
[pid=7089] vsize: 95636
Current children cumulated CPU time (s) 466.27
Current children cumulated vsize (Kb) 95636

[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 23356 0 0 0 47334 288 0 0 25 0 1 0 1781402778 99688448 23231 4294967295 134512640 134736556 3221224560 3221223300 134597411 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 24338 23231 1116 68 0 24270 0
[pid=7089] vsize: 97352
Current children cumulated CPU time (s) 476.22
Current children cumulated vsize (Kb) 97352

[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 23690 0 0 0 48326 291 0 0 25 0 1 0 1781402778 101126144 23563 4294967295 134512640 134736556 3221224560 3221223136 134551210 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 24689 23563 1116 68 0 24621 0
[pid=7089] vsize: 98756
Current children cumulated CPU time (s) 486.17
Current children cumulated vsize (Kb) 98756

[startup+500.03 s]
Raw data (loadavg): 1.07 1.02 0.83 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24054 0 0 0 49316 295 0 0 25 0 1 0 1781402778 102653952 23926 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 25062 23926 1116 68 0 24994 0
[pid=7089] vsize: 100248
Current children cumulated CPU time (s) 496.11
Current children cumulated vsize (Kb) 100248

[startup+510.031 s]
Raw data (loadavg): 1.06 1.02 0.83 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24372 0 0 0 50305 301 0 0 25 0 1 0 1781402778 104050688 24239 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 25403 24239 1116 68 0 25335 0
[pid=7089] vsize: 101612
Current children cumulated CPU time (s) 506.06
Current children cumulated vsize (Kb) 101612

[startup+520.031 s]
Raw data (loadavg): 1.05 1.01 0.83 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24550 0 0 0 51301 302 0 0 25 0 1 0 1781402778 104738816 24417 4294967295 134512640 134736556 3221224560 3221223228 134553304 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 25571 24417 1116 68 0 25503 0
[pid=7089] vsize: 102284
Current children cumulated CPU time (s) 516.03
Current children cumulated vsize (Kb) 102284

[startup+530.032 s]
Raw data (loadavg): 1.04 1.01 0.83 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24833 0 0 0 52293 306 0 0 25 0 1 0 1781402778 105820160 24700 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7089/statm): 25835 24700 1116 68 0 25767 0
[pid=7089] vsize: 103340
Current children cumulated CPU time (s) 525.99
Current children cumulated vsize (Kb) 103340

[startup+540.032 s]
Raw data (loadavg): 1.04 1.01 0.83 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25187 0 0 0 53283 310 0 0 25 0 1 0 1781402778 107307008 25054 4294967295 134512640 134736556 3221224560 3221223076 134535736 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 26198 25054 1116 68 0 26130 0
[pid=7089] vsize: 104792
Current children cumulated CPU time (s) 535.93
Current children cumulated vsize (Kb) 104792

[startup+550.032 s]
Raw data (loadavg): 1.03 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25514 0 0 0 54274 315 0 0 25 0 1 0 1781402778 108658688 25381 4294967295 134512640 134736556 3221224560 3221223276 134554112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 26528 25381 1116 68 0 26460 0
[pid=7089] vsize: 106112
Current children cumulated CPU time (s) 545.89
Current children cumulated vsize (Kb) 106112

[startup+560.033 s]
Raw data (loadavg): 1.02 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25799 0 0 0 55267 318 0 0 25 0 1 0 1781402778 109740032 25666 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 26792 25666 1116 68 0 26724 0
[pid=7089] vsize: 107168
Current children cumulated CPU time (s) 555.85
Current children cumulated vsize (Kb) 107168

[startup+570.034 s]
Raw data (loadavg): 1.02 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26009 0 0 0 56259 322 0 0 25 0 1 0 1781402778 110555136 25876 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 26991 25876 1116 68 0 26923 0
[pid=7089] vsize: 107964
Current children cumulated CPU time (s) 565.81
Current children cumulated vsize (Kb) 107964

[startup+580.034 s]
Raw data (loadavg): 1.02 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26261 0 0 0 57251 326 0 0 25 0 1 0 1781402778 111669248 26125 4294967295 134512640 134736556 3221224560 3221223232 134528744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 27263 26125 1116 68 0 27195 0
[pid=7089] vsize: 109052
Current children cumulated CPU time (s) 575.77
Current children cumulated vsize (Kb) 109052

[startup+590.035 s]
Raw data (loadavg): 1.01 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26430 0 0 0 58246 328 0 0 25 0 1 0 1781402778 112345088 26293 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 27428 26293 1116 68 0 27360 0
[pid=7089] vsize: 109712
Current children cumulated CPU time (s) 585.74
Current children cumulated vsize (Kb) 109712

[startup+600.036 s]
Raw data (loadavg): 1.01 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26613 0 0 0 59240 331 0 0 25 0 1 0 1781402778 113160192 26476 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 27627 26476 1116 68 0 27559 0
[pid=7089] vsize: 110508
Current children cumulated CPU time (s) 595.71
Current children cumulated vsize (Kb) 110508

[startup+610.037 s]
Raw data (loadavg): 1.01 1.01 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26797 0 0 0 60236 334 0 0 25 0 1 0 1781402778 113836032 26660 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 27792 26660 1116 68 0 27724 0
[pid=7089] vsize: 111168
Current children cumulated CPU time (s) 605.7
Current children cumulated vsize (Kb) 111168

[startup+620.037 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26974 0 0 0 61230 336 0 0 25 0 1 0 1781402778 114511872 26837 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 27957 26837 1116 68 0 27889 0
[pid=7089] vsize: 111828
Current children cumulated CPU time (s) 615.66
Current children cumulated vsize (Kb) 111828

[startup+630.037 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27127 0 0 0 62226 338 0 0 25 0 1 0 1781402778 115187712 26990 4294967295 134512640 134736556 3221224560 3221223164 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 28122 26990 1116 68 0 28054 0
[pid=7089] vsize: 112488
Current children cumulated CPU time (s) 625.64
Current children cumulated vsize (Kb) 112488

[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27405 0 0 0 63219 341 0 0 25 0 1 0 1781402778 116350976 27265 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 28406 27265 1116 68 0 28338 0
[pid=7089] vsize: 113624
Current children cumulated CPU time (s) 635.6
Current children cumulated vsize (Kb) 113624

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27535 0 0 0 64215 344 0 0 25 0 1 0 1781402778 116899840 27395 4294967295 134512640 134736556 3221224560 3221223120 134551056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 28540 27395 1116 68 0 28472 0
[pid=7089] vsize: 114160
Current children cumulated CPU time (s) 645.59
Current children cumulated vsize (Kb) 114160

[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27913 0 0 0 65202 349 0 0 25 0 1 0 1781402778 118525952 27773 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 28937 27773 1116 68 0 28869 0
[pid=7089] vsize: 115748
Current children cumulated CPU time (s) 655.51
Current children cumulated vsize (Kb) 115748

[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7089
Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 28241 0 0 0 66192 354 0 0 25 0 1 0 1781402778 119877632 28101 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7089/statm): 29267 28101 1116 68 0 29199 0
[pid=7089] vsize: 117068
Current children cumulated CPU time (s) 665.46
Current children cumulated vsize (Kb) 117068
One traced child (pid=7089) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 678.435
CPU time (s): 673.815
CPU user time (s): 670.187
CPU system time (s): 3.62745
CPU usage (%): 99.3189
Max. virtual memory (cumulated for all children) (Kb): 117068

Verifier Data

Verifier:	OK	0