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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM99cab377899feaa32c19b4b5cf94d7d4
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 31
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.84587
Number of variables1305
Total number of constraints958
Number of constraints which are clauses899
Number of constraints which are cardinality constraints (but not clauses)59
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint30

Trace number 53

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        952268 kB
Buffers:         33188 kB
Cached:          22884 kB
SwapCached:        708 kB
Active:          52548 kB
Inactive:         6172 kB
HighTotal:      131008 kB
HighFree:       104440 kB
LowTotal:       903652 kB
LowFree:        847828 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            17944 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 07:59:45 (client local time) WITH STATUS 0 IN 1195.03 SECONDS
stats: 43 7 1195.03 0

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1305 variables and 958 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.737
c After prepocess the problem consists of 1305 variables and 958 constraints.
c Restart #1 #Var: 1305 #Dec: 903 LB: 0 @ 1.493
c Restart #2 #Var: 1305 #Dec: 1330 LB: 0 @ 2.049
c Restart #3 #Var: 1305 #Dec: 2064 LB: 0 @ 2.629
c Restart #4 #Var: 1305 #Dec: 4242 LB: 0 @ 4.667
c Restart #5 #Var: 1305 #Dec: 6069 LB: 0 @ 7.318
c Restart #6 #Var: 1305 #Dec: 7353 LB: 0 @ 10.062
c Restart #7 #Var: 1305 #Dec: 8847 LB: 0 @ 13.551
c Restart #8 #Var: 1305 #Dec: 10533 LB: 0 @ 16.975
c Restart #9 #Var: 1305 #Dec: 12477 LB: 0 @ 21.255
c Restart #10 #Var: 1305 #Dec: 14616 LB: 0 @ 26.015
c Restart #11 #Var: 1305 #Dec: 16918 LB: 0 @ 30.76
c Restart #12 #Var: 1305 #Dec: 19470 LB: 0 @ 36.299
c Restart #13 #Var: 1305 #Dec: 22202 LB: 0 @ 42.055
c Restart #14 #Var: 1305 #Dec: 25113 LB: 0 @ 48.803
c Restart #15 #Var: 1305 #Dec: 28275 LB: 0 @ 55.569
c Restart #16 #Var: 1305 #Dec: 31780 LB: 0 @ 63.29
c Restart #17 #Var: 1305 #Dec: 35391 LB: 0 @ 71.14
c Restart #18 #Var: 1305 #Dec: 39284 LB: 0 @ 80.275
c Restart #19 #Var: 1305 #Dec: 43297 LB: 0 @ 90.712
c Restart #20 #Var: 1305 #Dec: 47548 LB: 0 @ 101.04
c Restart #21 #Var: 1305 #Dec: 52073 LB: 0 @ 111.22
c Restart #22 #Var: 1305 #Dec: 56731 LB: 0 @ 122.16
c Restart #23 #Var: 1305 #Dec: 61700 LB: 0 @ 133.66
c Restart #24 #Var: 1305 #Dec: 67075 LB: 0 @ 145.91
c Restart #25 #Var: 1305 #Dec: 72479 LB: 0 @ 158.19
c Restart #26 #Var: 1305 #Dec: 78272 LB: 0 @ 171.16
c Restart #27 #Var: 1305 #Dec: 84162 LB: 0 @ 184.68
c Restart #28 #Var: 1305 #Dec: 90213 LB: 0 @ 199.97
c Restart #29 #Var: 1305 #Dec: 96630 LB: 0 @ 217.23
c Restart #30 #Var: 1305 #Dec: 103244 LB: 0 @ 233.91
c Restart #31 #Var: 1305 #Dec: 110205 LB: 0 @ 251.72
c Restart #32 #Var: 1305 #Dec: 117230 LB: 0 @ 269.98
c Restart #33 #Var: 1305 #Dec: 124699 LB: 0 @ 289.11
c Restart #34 #Var: 1305 #Dec: 132110 LB: 0 @ 307.79
c Restart #35 #Var: 1305 #Dec: 139793 LB: 0 @ 326.83
c Restart #36 #Var: 1305 #Dec: 147724 LB: 0 @ 346.68
c Restart #37 #Var: 1305 #Dec: 155889 LB: 0 @ 368.22
c Restart #38 #Var: 1305 #Dec: 164270 LB: 0 @ 390.81
c Restart #39 #Var: 1305 #Dec: 172960 LB: 0 @ 412.82
c Restart #40 #Var: 1305 #Dec: 181891 LB: 0 @ 436.36
c Restart #41 #Var: 1305 #Dec: 190911 LB: 0 @ 460.44
c Restart #42 #Var: 1305 #Dec: 200136 LB: 0 @ 483.55
c Restart #43 #Var: 1305 #Dec: 209386 LB: 0 @ 509.21
c Restart #44 #Var: 1305 #Dec: 218913 LB: 0 @ 534.03
c Restart #45 #Var: 1305 #Dec: 228546 LB: 0 @ 561.42
c Restart #46 #Var: 1305 #Dec: 238776 LB: 0 @ 590.28
c CHANGE Heuristic... 
c Restart #0 #Var: 1305 #Dec: 249219 LB: 0 @ 620.84
c Restart #1 #Var: 1305 #Dec: 249558 LB: 0 @ 621.27
c Restart #2 #Var: 1305 #Dec: 249987 LB: 0 @ 622.26
c Restart #3 #Var: 1305 #Dec: 250635 LB: 0 @ 623.87
c Restart #4 #Var: 1305 #Dec: 251494 LB: 0 @ 626.11
c Restart #5 #Var: 1305 #Dec: 252580 LB: 0 @ 628.87
c Restart #6 #Var: 1305 #Dec: 253858 LB: 0 @ 632.36
c Restart #7 #Var: 1305 #Dec: 255340 LB: 0 @ 636.26
c Restart #8 #Var: 1305 #Dec: 257065 LB: 0 @ 641.18
c Restart #9 #Var: 1305 #Dec: 259104 LB: 0 @ 646.57
c Restart #10 #Var: 1305 #Dec: 261286 LB: 0 @ 652.67
c Restart #11 #Var: 1305 #Dec: 263633 LB: 0 @ 659.3
c Restart #12 #Var: 1305 #Dec: 266255 LB: 0 @ 666.79
c Restart #13 #Var: 1305 #Dec: 269026 LB: 0 @ 674.68
c Restart #14 #Var: 1305 #Dec: 272118 LB: 0 @ 682.46
c Restart #15 #Var: 1305 #Dec: 275411 LB: 0 @ 691.5
c Restart #16 #Var: 1305 #Dec: 278881 LB: 0 @ 701.37
c Restart #17 #Var: 1305 #Dec: 282516 LB: 0 @ 712.4
c Restart #18 #Var: 1305 #Dec: 286567 LB: 0 @ 725.03
c Restart #19 #Var: 1305 #Dec: 290808 LB: 0 @ 739.51
c Restart #20 #Var: 1305 #Dec: 295195 LB: 0 @ 755.45
c Restart #21 #Var: 1305 #Dec: 299798 LB: 0 @ 771.98
c Restart #22 #Var: 1305 #Dec: 304615 LB: 0 @ 790.04
c Restart #23 #Var: 1305 #Dec: 309790 LB: 0 @ 809.63
c Restart #24 #Var: 1305 #Dec: 315063 LB: 0 @ 828.98
c Restart #25 #Var: 1305 #Dec: 320656 LB: 0 @ 850.13
c Restart #26 #Var: 1305 #Dec: 326470 LB: 0 @ 872.57
c Restart #27 #Var: 1305 #Dec: 332529 LB: 0 @ 896.95
c Restart #28 #Var: 1305 #Dec: 338730 LB: 0 @ 921.96
c Restart #29 #Var: 1305 #Dec: 345297 LB: 0 @ 948.14
c Restart #30 #Var: 1305 #Dec: 351976 LB: 0 @ 975.41
c Restart #31 #Var: 1305 #Dec: 358824 LB: 0 @ 1003.5
c Restart #32 #Var: 1305 #Dec: 366082 LB: 0 @ 1034
c Restart #33 #Var: 1305 #Dec: 373404 LB: 0 @ 1064.6
c Restart #34 #Var: 1305 #Dec: 381087 LB: 0 @ 1098.3
c Restart #35 #Var: 1305 #Dec: 389079 LB: 0 @ 1131
c Restart #36 #Var: 1305 #Dec: 397153 LB: 0 @ 1164.5
s UNKNOWN
c Exit Code: 0
c Total time: 1195 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/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1781314622 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 107 3 90 68 0 39 0
[pid=1480] 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/wulflinc13/normalized-fpga30_29_sat_pb.cnf.cr.opb

[startup+10.0025 s]
Raw data (loadavg): 0.77 0.29 0.10 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1870 0 0 0 949 19 0 0 25 0 1 0 1781314622 10829824 1781 4294967295 134512640 134736556 3221224560 3221222724 134717263 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 2644 1781 1116 68 0 2576 0
[pid=1480] vsize: 10576
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 10576

[startup+20.0032 s]
Raw data (loadavg): 0.88 0.33 0.12 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1892 0 0 0 1924 27 0 0 25 0 1 0 1781314622 10825728 1803 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2643 1803 1116 68 0 2575 0
[pid=1480] vsize: 10572
Current children cumulated CPU time (s) 19.51
Current children cumulated vsize (Kb) 10572

[startup+30.0038 s]
Raw data (loadavg): 0.90 0.35 0.12 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1908 0 0 0 2899 37 0 0 25 0 1 0 1781314622 10960896 1819 4294967295 134512640 134736556 3221224560 3221223152 134716158 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2676 1819 1116 68 0 2608 0
[pid=1480] vsize: 10704
Current children cumulated CPU time (s) 29.36
Current children cumulated vsize (Kb) 10704

[startup+40.0045 s]
Raw data (loadavg): 0.91 0.37 0.13 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1913 0 0 0 3872 47 0 0 25 0 1 0 1781314622 10960896 1824 4294967295 134512640 134736556 3221224560 3221223012 134717407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2676 1824 1116 68 0 2608 0
[pid=1480] vsize: 10704
Current children cumulated CPU time (s) 39.19
Current children cumulated vsize (Kb) 10704

[startup+50.0051 s]
Raw data (loadavg): 0.92 0.39 0.14 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1918 0 0 0 4847 55 0 0 25 0 1 0 1781314622 10960896 1829 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2676 1829 1116 68 0 2608 0
[pid=1480] vsize: 10704
Current children cumulated CPU time (s) 49.02
Current children cumulated vsize (Kb) 10704

[startup+60.0048 s]
Raw data (loadavg): 0.94 0.41 0.15 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1942 0 0 0 5821 64 0 0 25 0 1 0 1781314622 11096064 1853 4294967295 134512640 134736556 3221224560 3221223296 134605588 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2709 1853 1116 68 0 2641 0
[pid=1480] vsize: 10836
Current children cumulated CPU time (s) 58.85
Current children cumulated vsize (Kb) 10836

[startup+70.0054 s]
Raw data (loadavg): 0.95 0.43 0.16 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1956 0 0 0 6792 73 0 0 25 0 1 0 1781314622 11096064 1867 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2709 1867 1116 68 0 2641 0
[pid=1480] vsize: 10836
Current children cumulated CPU time (s) 68.65
Current children cumulated vsize (Kb) 10836

[startup+80.0061 s]
Raw data (loadavg): 0.95 0.45 0.17 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1973 0 0 0 7765 83 0 0 25 0 1 0 1781314622 11227136 1884 4294967295 134512640 134736556 3221224560 3221223116 134537568 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 2741 1884 1116 68 0 2673 0
[pid=1480] vsize: 10964
Current children cumulated CPU time (s) 78.48
Current children cumulated vsize (Kb) 10964

[startup+90.0067 s]
Raw data (loadavg): 0.96 0.46 0.18 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 1981 0 0 0 8742 92 0 0 25 0 1 0 1781314622 11194368 1892 4294967295 134512640 134736556 3221224560 3221223248 134634403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2733 1892 1116 68 0 2665 0
[pid=1480] vsize: 10932
Current children cumulated CPU time (s) 88.34
Current children cumulated vsize (Kb) 10932

[startup+100.007 s]
Raw data (loadavg): 0.97 0.48 0.19 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 1998 0 0 0 9719 101 0 0 19 0 1 0 1781314622 11329536 1909 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/1480/statm): 2766 1909 1116 68 0 2698 0
[pid=1480] vsize: 11064
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (Kb) 11064

[startup+110.007 s]
Raw data (loadavg): 0.97 0.50 0.19 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2022 0 0 0 10692 110 0 0 25 0 1 0 1781314622 11329536 1933 4294967295 134512640 134736556 3221224560 3221223336 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2766 1933 1116 68 0 2698 0
[pid=1480] vsize: 11064
Current children cumulated CPU time (s) 108.02
Current children cumulated vsize (Kb) 11064

[startup+120.008 s]
Raw data (loadavg): 0.97 0.51 0.20 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2048 0 0 0 11669 118 0 0 25 0 1 0 1781314622 11431936 1959 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2791 1959 1116 68 0 2723 0
[pid=1480] vsize: 11164
Current children cumulated CPU time (s) 117.87
Current children cumulated vsize (Kb) 11164

[startup+130.008 s]
Raw data (loadavg): 0.98 0.53 0.21 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2057 0 0 0 12646 127 0 0 25 0 1 0 1781314622 11550720 1968 4294967295 134512640 134736556 3221224560 3221223136 134550704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2820 1968 1116 68 0 2752 0
[pid=1480] vsize: 11280
Current children cumulated CPU time (s) 127.73
Current children cumulated vsize (Kb) 11280

[startup+140.009 s]
Raw data (loadavg): 0.98 0.54 0.22 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 2067 0 0 0 13624 135 0 0 19 0 1 0 1781314622 11550720 1978 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/1480/statm): 2820 1978 1116 68 0 2752 0
[pid=1480] vsize: 11280
Current children cumulated CPU time (s) 137.59
Current children cumulated vsize (Kb) 11280

[startup+150.01 s]
Raw data (loadavg): 0.98 0.56 0.22 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 2103 0 0 0 14602 141 0 0 25 0 1 0 1781314622 11685888 2014 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2853 2014 1116 68 0 2785 0
[pid=1480] vsize: 11412
Current children cumulated CPU time (s) 147.43
Current children cumulated vsize (Kb) 11412

[startup+160.009 s]
Raw data (loadavg): 0.99 0.57 0.23 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2144 0 0 0 15575 152 0 0 25 0 1 0 1781314622 11821056 2055 4294967295 134512640 134736556 3221224560 3221222800 134717547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2886 2055 1116 68 0 2818 0
[pid=1480] vsize: 11544
Current children cumulated CPU time (s) 157.27
Current children cumulated vsize (Kb) 11544

[startup+170.01 s]
Raw data (loadavg): 1.07 0.60 0.25 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2191 0 0 0 16552 161 0 0 25 0 1 0 1781314622 12091392 2102 4294967295 134512640 134736556 3221224560 3221223232 134528741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2952 2102 1116 68 0 2884 0
[pid=1480] vsize: 11808
Current children cumulated CPU time (s) 167.13
Current children cumulated vsize (Kb) 11808

[startup+180.011 s]
Raw data (loadavg): 1.06 0.62 0.25 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2242 0 0 0 17524 172 0 0 25 0 1 0 1781314622 12226560 2153 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 2985 2153 1116 68 0 2917 0
[pid=1480] vsize: 11940
Current children cumulated CPU time (s) 176.96
Current children cumulated vsize (Kb) 11940

[startup+190.011 s]
Raw data (loadavg): 1.05 0.63 0.26 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2258 0 0 0 18500 181 0 0 25 0 1 0 1781314622 12361728 2169 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3018 2169 1116 68 0 2950 0
[pid=1480] vsize: 12072
Current children cumulated CPU time (s) 186.81
Current children cumulated vsize (Kb) 12072

[startup+200.011 s]
Raw data (loadavg): 1.04 0.64 0.27 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2270 0 0 0 19478 189 0 0 25 0 1 0 1781314622 12361728 2181 4294967295 134512640 134736556 3221224560 3221223296 134529437 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3018 2181 1116 68 0 2950 0
[pid=1480] vsize: 12072
Current children cumulated CPU time (s) 196.67
Current children cumulated vsize (Kb) 12072

[startup+210.01 s]
Raw data (loadavg): 1.03 0.65 0.28 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2270 0 0 0 20454 199 0 0 25 0 1 0 1781314622 12361728 2181 4294967295 134512640 134736556 3221224560 3221223016 134717495 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 3018 2181 1116 68 0 2950 0
[pid=1480] vsize: 12072
Current children cumulated CPU time (s) 206.53
Current children cumulated vsize (Kb) 12072

[startup+220.011 s]
Raw data (loadavg): 1.03 0.66 0.28 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2286 0 0 0 21431 206 0 0 25 0 1 0 1781314622 12500992 2197 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3052 2197 1116 68 0 2984 0
[pid=1480] vsize: 12208
Current children cumulated CPU time (s) 216.37
Current children cumulated vsize (Kb) 12208

[startup+230.011 s]
Raw data (loadavg): 1.02 0.67 0.29 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2287 0 0 0 22410 215 0 0 25 0 1 0 1781314622 12500992 2198 4294967295 134512640 134736556 3221224560 3221223088 134716576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 3052 2198 1116 68 0 2984 0
[pid=1480] vsize: 12208
Current children cumulated CPU time (s) 226.25
Current children cumulated vsize (Kb) 12208

[startup+240.012 s]
Raw data (loadavg): 1.02 0.68 0.30 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2294 0 0 0 23387 222 0 0 25 0 1 0 1781314622 12500992 2205 4294967295 134512640 134736556 3221224560 3221223136 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3052 2205 1116 68 0 2984 0
[pid=1480] vsize: 12208
Current children cumulated CPU time (s) 236.09
Current children cumulated vsize (Kb) 12208

[startup+250.013 s]
Raw data (loadavg): 1.02 0.69 0.30 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2303 0 0 0 24366 230 0 0 25 0 1 0 1781314622 12500992 2214 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3052 2214 1116 68 0 2984 0
[pid=1480] vsize: 12208
Current children cumulated CPU time (s) 245.96
Current children cumulated vsize (Kb) 12208

[startup+260.013 s]
Raw data (loadavg): 1.01 0.70 0.31 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2315 0 0 0 25344 240 0 0 25 0 1 0 1781314622 12636160 2226 4294967295 134512640 134736556 3221224560 3221223120 134550956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3085 2226 1116 68 0 3017 0
[pid=1480] vsize: 12340
Current children cumulated CPU time (s) 255.84
Current children cumulated vsize (Kb) 12340

[startup+270.013 s]
Raw data (loadavg): 1.01 0.71 0.32 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2317 0 0 0 26322 247 0 0 25 0 1 0 1781314622 12619776 2228 4294967295 134512640 134736556 3221224560 3221223248 134605146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3081 2228 1116 68 0 3013 0
[pid=1480] vsize: 12324
Current children cumulated CPU time (s) 265.69
Current children cumulated vsize (Kb) 12324

[startup+280.013 s]
Raw data (loadavg): 1.01 0.72 0.32 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2337 0 0 0 27301 256 0 0 25 0 1 0 1781314622 12619776 2248 4294967295 134512640 134736556 3221224560 3221223312 134597473 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3081 2248 1116 68 0 3013 0
[pid=1480] vsize: 12324
Current children cumulated CPU time (s) 275.57
Current children cumulated vsize (Kb) 12324

[startup+290.014 s]
Raw data (loadavg): 1.01 0.73 0.33 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2346 0 0 0 28277 265 0 0 25 0 1 0 1781314622 12754944 2257 4294967295 134512640 134736556 3221224560 3221223264 134553505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3114 2257 1116 68 0 3046 0
[pid=1480] vsize: 12456
Current children cumulated CPU time (s) 285.42
Current children cumulated vsize (Kb) 12456

[startup+300.014 s]
Raw data (loadavg): 1.00 0.74 0.34 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2367 0 0 0 29253 275 0 0 25 0 1 0 1781314622 12754944 2278 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3114 2278 1116 68 0 3046 0
[pid=1480] vsize: 12456
Current children cumulated CPU time (s) 295.28
Current children cumulated vsize (Kb) 12456

[startup+310.014 s]
Raw data (loadavg): 1.00 0.75 0.34 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2370 0 0 0 30232 283 0 0 25 0 1 0 1781314622 12754944 2281 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3114 2281 1116 68 0 3046 0
[pid=1480] vsize: 12456
Current children cumulated CPU time (s) 305.15
Current children cumulated vsize (Kb) 12456

[startup+320.015 s]
Raw data (loadavg): 1.00 0.75 0.35 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2371 0 0 0 31211 291 0 0 25 0 1 0 1781314622 12754944 2282 4294967295 134512640 134736556 3221224560 3221223016 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3114 2282 1116 68 0 3046 0
[pid=1480] vsize: 12456
Current children cumulated CPU time (s) 315.02
Current children cumulated vsize (Kb) 12456

[startup+330.015 s]
Raw data (loadavg): 1.00 0.76 0.36 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2380 0 0 0 32186 300 0 0 25 0 1 0 1781314622 12890112 2291 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3147 2291 1116 68 0 3079 0
[pid=1480] vsize: 12588
Current children cumulated CPU time (s) 324.86
Current children cumulated vsize (Kb) 12588

[startup+340.016 s]
Raw data (loadavg): 1.00 0.77 0.37 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2387 0 0 0 33164 308 0 0 25 0 1 0 1781314622 12890112 2298 4294967295 134512640 134736556 3221224560 3221223120 134543554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3147 2298 1116 68 0 3079 0
[pid=1480] vsize: 12588
Current children cumulated CPU time (s) 334.72
Current children cumulated vsize (Kb) 12588

[startup+350.016 s]
Raw data (loadavg): 1.00 0.78 0.37 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2398 0 0 0 34139 317 0 0 25 0 1 0 1781314622 12890112 2309 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3147 2309 1116 68 0 3079 0
[pid=1480] vsize: 12588
Current children cumulated CPU time (s) 344.56
Current children cumulated vsize (Kb) 12588

[startup+360.016 s]
Raw data (loadavg): 1.00 0.78 0.38 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2401 0 0 0 35120 324 0 0 25 0 1 0 1781314622 12890112 2312 4294967295 134512640 134736556 3221224560 3221223152 134716112 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 3147 2312 1116 68 0 3079 0
[pid=1480] vsize: 12588
Current children cumulated CPU time (s) 354.44
Current children cumulated vsize (Kb) 12588

[startup+370.017 s]
Raw data (loadavg): 1.00 0.79 0.38 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2401 0 0 0 36101 331 0 0 25 0 1 0 1781314622 12890112 2312 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3147 2312 1116 68 0 3079 0
[pid=1480] vsize: 12588
Current children cumulated CPU time (s) 364.32
Current children cumulated vsize (Kb) 12588

[startup+380.016 s]
Raw data (loadavg): 1.00 0.80 0.39 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2409 0 0 0 37078 339 0 0 25 0 1 0 1781314622 13025280 2320 4294967295 134512640 134736556 3221224560 3221223012 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2320 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 374.17
Current children cumulated vsize (Kb) 12720

[startup+390.017 s]
Raw data (loadavg): 1.00 0.80 0.39 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2412 0 0 0 38056 349 0 0 25 0 1 0 1781314622 13025280 2323 4294967295 134512640 134736556 3221224560 3221223392 134609401 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2323 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 384.05
Current children cumulated vsize (Kb) 12720

[startup+400.017 s]
Raw data (loadavg): 1.00 0.81 0.40 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2427 0 0 0 39032 358 0 0 25 0 1 0 1781314622 13025280 2338 4294967295 134512640 134736556 3221224560 3221223216 134525081 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2338 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 393.9
Current children cumulated vsize (Kb) 12720

[startup+410.016 s]
Raw data (loadavg): 1.00 0.81 0.41 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 2427 0 0 0 40009 365 0 0 25 0 1 0 1781314622 13025280 2338 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2338 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 403.74
Current children cumulated vsize (Kb) 12720

[startup+420.017 s]
Raw data (loadavg): 1.00 0.82 0.41 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2427 0 0 0 40988 372 0 0 25 0 1 0 1781314622 13025280 2338 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2338 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 413.6
Current children cumulated vsize (Kb) 12720

[startup+430.018 s]
Raw data (loadavg): 1.00 0.83 0.42 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2427 0 0 0 41967 379 0 0 25 0 1 0 1781314622 13025280 2338 4294967295 134512640 134736556 3221224560 3221223152 134540389 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 3180 2338 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 423.46
Current children cumulated vsize (Kb) 12720

[startup+440.018 s]
Raw data (loadavg): 1.00 0.83 0.42 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2437 0 0 0 42945 387 0 0 25 0 1 0 1781314622 13025280 2348 4294967295 134512640 134736556 3221224560 3221223024 1077377142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3180 2348 1116 68 0 3112 0
[pid=1480] vsize: 12720
Current children cumulated CPU time (s) 433.32
Current children cumulated vsize (Kb) 12720

[startup+450.019 s]
Raw data (loadavg): 1.00 0.84 0.43 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2446 0 0 0 43926 394 0 0 25 0 1 0 1781314622 13119488 2357 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3203 2357 1116 68 0 3135 0
[pid=1480] vsize: 12812
Current children cumulated CPU time (s) 443.2
Current children cumulated vsize (Kb) 12812

[startup+460.019 s]
Raw data (loadavg): 1.00 0.84 0.44 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2446 0 0 0 44904 402 0 0 25 0 1 0 1781314622 13119488 2357 4294967295 134512640 134736556 3221224560 3221223256 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3203 2357 1116 68 0 3135 0
[pid=1480] vsize: 12812
Current children cumulated CPU time (s) 453.06
Current children cumulated vsize (Kb) 12812

[startup+470.019 s]
Raw data (loadavg): 1.00 0.85 0.44 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2457 0 0 0 45881 412 0 0 25 0 1 0 1781314622 13119488 2368 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3203 2368 1116 68 0 3135 0
[pid=1480] vsize: 12812
Current children cumulated CPU time (s) 462.93
Current children cumulated vsize (Kb) 12812

[startup+480.02 s]
Raw data (loadavg): 1.00 0.85 0.45 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2465 0 0 0 46856 421 0 0 25 0 1 0 1781314622 13254656 2376 4294967295 134512640 134736556 3221224560 3221223084 134536623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3236 2376 1116 68 0 3168 0
[pid=1480] vsize: 12944
Current children cumulated CPU time (s) 472.77
Current children cumulated vsize (Kb) 12944

[startup+490.021 s]
Raw data (loadavg): 1.00 0.85 0.45 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2491 0 0 0 47832 430 0 0 25 0 1 0 1781314622 13250560 2402 4294967295 134512640 134736556 3221224560 3221223152 134716144 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3235 2402 1116 68 0 3167 0
[pid=1480] vsize: 12940
Current children cumulated CPU time (s) 482.62
Current children cumulated vsize (Kb) 12940

[startup+500.021 s]
Raw data (loadavg): 1.00 0.86 0.46 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2528 0 0 0 48811 439 0 0 25 0 1 0 1781314622 13492224 2439 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3294 2439 1116 68 0 3226 0
[pid=1480] vsize: 13176
Current children cumulated CPU time (s) 492.5
Current children cumulated vsize (Kb) 13176

[startup+510.021 s]
Raw data (loadavg): 1.00 0.86 0.46 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2545 0 0 0 49787 449 0 0 25 0 1 0 1781314622 13492224 2456 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3294 2456 1116 68 0 3226 0
[pid=1480] vsize: 13176
Current children cumulated CPU time (s) 502.36
Current children cumulated vsize (Kb) 13176

[startup+520.022 s]
Raw data (loadavg): 1.00 0.87 0.47 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2580 0 0 0 50764 458 0 0 25 0 1 0 1781314622 13672448 2491 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3338 2491 1116 68 0 3270 0
[pid=1480] vsize: 13352
Current children cumulated CPU time (s) 512.22
Current children cumulated vsize (Kb) 13352

[startup+530.022 s]
Raw data (loadavg): 1.00 0.87 0.47 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2593 0 0 0 51744 467 0 0 25 0 1 0 1781314622 13672448 2504 4294967295 134512640 134736556 3221224560 3221223240 134560235 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3338 2504 1116 68 0 3270 0
[pid=1480] vsize: 13352
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (Kb) 13352

[startup+540.023 s]
Raw data (loadavg): 1.00 0.87 0.48 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2605 0 0 0 52721 476 0 0 25 0 1 0 1781314622 13795328 2516 4294967295 134512640 134736556 3221224560 3221223104 134540337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3368 2516 1116 68 0 3300 0
[pid=1480] vsize: 13472
Current children cumulated CPU time (s) 531.97
Current children cumulated vsize (Kb) 13472

[startup+550.023 s]
Raw data (loadavg): 1.00 0.88 0.48 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2621 0 0 0 53699 485 0 0 25 0 1 0 1781314622 13791232 2532 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3367 2532 1116 68 0 3299 0
[pid=1480] vsize: 13468
Current children cumulated CPU time (s) 541.84
Current children cumulated vsize (Kb) 13468

[startup+560.022 s]
Raw data (loadavg): 1.00 0.88 0.49 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2637 0 0 0 54677 491 0 0 25 0 1 0 1781314622 13926400 2548 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3400 2548 1116 68 0 3332 0
[pid=1480] vsize: 13600
Current children cumulated CPU time (s) 551.68
Current children cumulated vsize (Kb) 13600

[startup+570.023 s]
Raw data (loadavg): 1.00 0.89 0.49 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2642 0 0 0 55653 499 0 0 25 0 1 0 1781314622 13926400 2553 4294967295 134512640 134736556 3221224560 3221223136 134543977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3400 2553 1116 68 0 3332 0
[pid=1480] vsize: 13600
Current children cumulated CPU time (s) 561.52
Current children cumulated vsize (Kb) 13600

[startup+580.022 s]
Raw data (loadavg): 1.00 0.89 0.50 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2662 0 0 0 56631 508 0 0 25 0 1 0 1781314622 14061568 2573 4294967295 134512640 134736556 3221224560 3221223120 134550941 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3433 2573 1116 68 0 3365 0
[pid=1480] vsize: 13732
Current children cumulated CPU time (s) 571.39
Current children cumulated vsize (Kb) 13732

[startup+590.023 s]
Raw data (loadavg): 1.00 0.89 0.50 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2685 0 0 0 57610 516 0 0 25 0 1 0 1781314622 14061568 2596 4294967295 134512640 134736556 3221224560 3221223140 134543972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3433 2596 1116 68 0 3365 0
[pid=1480] vsize: 13732
Current children cumulated CPU time (s) 581.26
Current children cumulated vsize (Kb) 13732

[startup+600.024 s]
Raw data (loadavg): 1.00 0.89 0.51 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2700 0 0 0 58588 523 0 0 25 0 1 0 1781314622 14180352 2611 4294967295 134512640 134736556 3221224560 3221223168 134537420 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3462 2611 1116 68 0 3394 0
[pid=1480] vsize: 13848
Current children cumulated CPU time (s) 591.11
Current children cumulated vsize (Kb) 13848

[startup+610.023 s]
Raw data (loadavg): 1.00 0.90 0.51 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2719 0 0 0 59569 530 0 0 25 0 1 0 1781314622 14180352 2630 4294967295 134512640 134736556 3221224560 3221223104 134543990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3462 2630 1116 68 0 3394 0
[pid=1480] vsize: 13848
Current children cumulated CPU time (s) 600.99
Current children cumulated vsize (Kb) 13848

[startup+620.024 s]
Raw data (loadavg): 1.00 0.90 0.52 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2726 0 0 0 60546 538 0 0 25 0 1 0 1781314622 14315520 2637 4294967295 134512640 134736556 3221224560 3221223136 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3495 2637 1116 68 0 3427 0
[pid=1480] vsize: 13980
Current children cumulated CPU time (s) 610.84
Current children cumulated vsize (Kb) 13980

[startup+630.025 s]
Raw data (loadavg): 1.00 0.90 0.52 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 2733 0 0 0 61526 545 0 0 25 0 1 0 1781314622 14315520 2644 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3495 2644 1116 68 0 3427 0
[pid=1480] vsize: 13980
Current children cumulated CPU time (s) 620.71
Current children cumulated vsize (Kb) 13980

[startup+640.025 s]
Raw data (loadavg): 1.00 0.91 0.53 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3107 0 0 0 62504 553 0 0 25 0 1 0 1781314622 15785984 3018 4294967295 134512640 134736556 3221224560 3221223232 134528470 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3854 3018 1116 68 0 3786 0
[pid=1480] vsize: 15416
Current children cumulated CPU time (s) 630.57
Current children cumulated vsize (Kb) 15416

[startup+650.025 s]
Raw data (loadavg): 1.00 0.91 0.53 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3237 0 0 0 63482 560 0 0 25 0 1 0 1781314622 16318464 3148 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 3984 3148 1116 68 0 3916 0
[pid=1480] vsize: 15936
Current children cumulated CPU time (s) 640.42
Current children cumulated vsize (Kb) 15936

[startup+660.026 s]
Raw data (loadavg): 1.00 0.91 0.54 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3283 0 0 0 64460 570 0 0 25 0 1 0 1781314622 16588800 3194 4294967295 134512640 134736556 3221224560 3221223136 134543977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4050 3194 1116 68 0 3982 0
[pid=1480] vsize: 16200
Current children cumulated CPU time (s) 650.3
Current children cumulated vsize (Kb) 16200

[startup+670.026 s]
Raw data (loadavg): 1.00 0.91 0.54 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3326 0 0 0 65441 576 0 0 25 0 1 0 1781314622 16715776 3237 4294967295 134512640 134736556 3221224560 3221223164 134537486 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4081 3237 1116 68 0 4013 0
[pid=1480] vsize: 16324
Current children cumulated CPU time (s) 660.17
Current children cumulated vsize (Kb) 16324

[startup+680.026 s]
Raw data (loadavg): 1.00 0.92 0.55 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3373 0 0 0 66418 586 0 0 25 0 1 0 1781314622 16850944 3284 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4114 3284 1116 68 0 4046 0
[pid=1480] vsize: 16456
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 16456

[startup+690.027 s]
Raw data (loadavg): 1.00 0.92 0.55 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3438 0 0 0 67395 593 0 0 25 0 1 0 1781314622 17227776 3349 4294967295 134512640 134736556 3221224560 3221223184 134553392 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4206 3349 1116 68 0 4138 0
[pid=1480] vsize: 16824
Current children cumulated CPU time (s) 679.88
Current children cumulated vsize (Kb) 16824

[startup+700.026 s]
Raw data (loadavg): 1.00 0.92 0.55 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3516 0 0 0 68372 601 0 0 25 0 1 0 1781314622 17498112 3427 4294967295 134512640 134736556 3221224560 3221222940 1077379908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4272 3427 1116 68 0 4204 0
[pid=1480] vsize: 17088
Current children cumulated CPU time (s) 689.73
Current children cumulated vsize (Kb) 17088

[startup+710.026 s]
Raw data (loadavg): 1.00 0.92 0.56 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 3601 0 0 0 69351 609 0 0 25 0 1 0 1781314622 17874944 3512 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4364 3512 1116 68 0 4296 0
[pid=1480] vsize: 17456
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 17456

[startup+720.027 s]
Raw data (loadavg): 1.00 0.92 0.56 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3659 0 0 0 70331 616 0 0 25 0 1 0 1781314622 18145280 3570 4294967295 134512640 134736556 3221224560 3221222708 134717564 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4430 3570 1116 68 0 4362 0
[pid=1480] vsize: 17720
Current children cumulated CPU time (s) 709.47
Current children cumulated vsize (Kb) 17720

[startup+730.026 s]
Raw data (loadavg): 1.00 0.93 0.57 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3753 0 0 0 71311 622 0 0 25 0 1 0 1781314622 18411520 3664 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4495 3664 1116 68 0 4427 0
[pid=1480] vsize: 17980
Current children cumulated CPU time (s) 719.33
Current children cumulated vsize (Kb) 17980

[startup+740.027 s]
Raw data (loadavg): 1.00 0.93 0.57 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3788 0 0 0 72290 630 0 0 25 0 1 0 1781314622 18546688 3699 4294967295 134512640 134736556 3221224560 3221222924 1077379846 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4528 3699 1116 68 0 4460 0
[pid=1480] vsize: 18112
Current children cumulated CPU time (s) 729.2
Current children cumulated vsize (Kb) 18112

[startup+750.027 s]
Raw data (loadavg): 1.00 0.93 0.57 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3826 0 0 0 73270 637 0 0 25 0 1 0 1781314622 18817024 3737 4294967295 134512640 134736556 3221224560 3221223076 134716792 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4594 3737 1116 68 0 4526 0
[pid=1480] vsize: 18376
Current children cumulated CPU time (s) 739.07
Current children cumulated vsize (Kb) 18376

[startup+760.027 s]
Raw data (loadavg): 1.00 0.93 0.58 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3872 0 0 0 74254 642 0 0 25 0 1 0 1781314622 18952192 3783 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4627 3783 1116 68 0 4559 0
[pid=1480] vsize: 18508
Current children cumulated CPU time (s) 748.96
Current children cumulated vsize (Kb) 18508

[startup+770.028 s]
Raw data (loadavg): 1.00 0.93 0.58 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3906 0 0 0 75235 649 0 0 25 0 1 0 1781314622 19087360 3817 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4660 3817 1116 68 0 4592 0
[pid=1480] vsize: 18640
Current children cumulated CPU time (s) 758.84
Current children cumulated vsize (Kb) 18640

[startup+780.028 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3926 0 0 0 76213 658 0 0 25 0 1 0 1781314622 19193856 3837 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4686 3837 1116 68 0 4618 0
[pid=1480] vsize: 18744
Current children cumulated CPU time (s) 768.71
Current children cumulated vsize (Kb) 18744

[startup+790.029 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3933 0 0 0 77193 665 0 0 25 0 1 0 1781314622 19193856 3844 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4686 3844 1116 68 0 4618 0
[pid=1480] vsize: 18744
Current children cumulated CPU time (s) 778.58
Current children cumulated vsize (Kb) 18744

[startup+800.03 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3971 0 0 0 78174 671 0 0 25 0 1 0 1781314622 19329024 3882 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4719 3882 1116 68 0 4651 0
[pid=1480] vsize: 18876
Current children cumulated CPU time (s) 788.45
Current children cumulated vsize (Kb) 18876

[startup+810.029 s]
Raw data (loadavg): 1.00 0.94 0.60 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3977 0 0 0 79159 676 0 0 25 0 1 0 1781314622 19329024 3888 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4719 3888 1116 68 0 4651 0
[pid=1480] vsize: 18876
Current children cumulated CPU time (s) 798.35
Current children cumulated vsize (Kb) 18876

[startup+820.03 s]
Raw data (loadavg): 1.00 0.94 0.60 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3998 0 0 0 80141 682 0 0 25 0 1 0 1781314622 19456000 3909 4294967295 134512640 134736556 3221224560 3221223140 134543972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4750 3909 1116 68 0 4682 0
[pid=1480] vsize: 19000
Current children cumulated CPU time (s) 808.23
Current children cumulated vsize (Kb) 19000

[startup+830.031 s]
Raw data (loadavg): 1.08 0.96 0.61 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 3999 0 0 0 81123 689 0 0 25 0 1 0 1781314622 19456000 3910 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4750 3910 1116 68 0 4682 0
[pid=1480] vsize: 19000
Current children cumulated CPU time (s) 818.12
Current children cumulated vsize (Kb) 19000

[startup+840.031 s]
Raw data (loadavg): 1.07 0.96 0.61 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4023 0 0 0 82105 696 0 0 25 0 1 0 1781314622 19591168 3934 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4783 3934 1116 68 0 4715 0
[pid=1480] vsize: 19132
Current children cumulated CPU time (s) 828.01
Current children cumulated vsize (Kb) 19132

[startup+850.032 s]
Raw data (loadavg): 1.06 0.96 0.62 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4047 0 0 0 83089 703 0 0 25 0 1 0 1781314622 19705856 3958 4294967295 134512640 134736556 3221224560 3221223168 134634139 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4811 3958 1116 68 0 4743 0
[pid=1480] vsize: 19244
Current children cumulated CPU time (s) 837.92
Current children cumulated vsize (Kb) 19244

[startup+860.032 s]
Raw data (loadavg): 1.05 0.96 0.62 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4090 0 0 0 84073 710 0 0 25 0 1 0 1781314622 19841024 4001 4294967295 134512640 134736556 3221224560 3221223120 134550956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4844 4001 1116 68 0 4776 0
[pid=1480] vsize: 19376
Current children cumulated CPU time (s) 847.83
Current children cumulated vsize (Kb) 19376

[startup+870.032 s]
Raw data (loadavg): 1.04 0.96 0.63 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4096 0 0 0 85055 716 0 0 25 0 1 0 1781314622 19841024 4007 4294967295 134512640 134736556 3221224560 3221223224 134554101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4844 4007 1116 68 0 4776 0
[pid=1480] vsize: 19376
Current children cumulated CPU time (s) 857.71
Current children cumulated vsize (Kb) 19376

[startup+880.033 s]
Raw data (loadavg): 1.03 0.96 0.63 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4107 0 0 0 86038 723 0 0 25 0 1 0 1781314622 19976192 4018 4294967295 134512640 134736556 3221224560 3221223124 134551264 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4877 4018 1116 68 0 4809 0
[pid=1480] vsize: 19508
Current children cumulated CPU time (s) 867.61
Current children cumulated vsize (Kb) 19508

[startup+890.034 s]
Raw data (loadavg): 1.03 0.97 0.63 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4116 0 0 0 87019 731 0 0 25 0 1 0 1781314622 19972096 4027 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4876 4027 1116 68 0 4808 0
[pid=1480] vsize: 19504
Current children cumulated CPU time (s) 877.5
Current children cumulated vsize (Kb) 19504

[startup+900.034 s]
Raw data (loadavg): 1.02 0.97 0.64 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4138 0 0 0 88002 738 0 0 25 0 1 0 1781314622 20107264 4049 4294967295 134512640 134736556 3221224560 3221223072 134543204 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4909 4049 1116 68 0 4841 0
[pid=1480] vsize: 19636
Current children cumulated CPU time (s) 887.4
Current children cumulated vsize (Kb) 19636

[startup+910.034 s]
Raw data (loadavg): 1.02 0.97 0.64 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4150 0 0 0 88985 744 0 0 25 0 1 0 1781314622 20099072 4061 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4907 4061 1116 68 0 4839 0
[pid=1480] vsize: 19628
Current children cumulated CPU time (s) 897.29
Current children cumulated vsize (Kb) 19628

[startup+920.034 s]
Raw data (loadavg): 1.02 0.97 0.64 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4164 0 0 0 89968 750 0 0 25 0 1 0 1781314622 20099072 4075 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4907 4075 1116 68 0 4839 0
[pid=1480] vsize: 19628
Current children cumulated CPU time (s) 907.18
Current children cumulated vsize (Kb) 19628

[startup+930.034 s]
Raw data (loadavg): 1.01 0.97 0.65 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4182 0 0 0 90951 756 0 0 25 0 1 0 1781314622 20221952 4093 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4937 4093 1116 68 0 4869 0
[pid=1480] vsize: 19748
Current children cumulated CPU time (s) 917.07
Current children cumulated vsize (Kb) 19748

[startup+940.035 s]
Raw data (loadavg): 1.01 0.97 0.65 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4188 0 0 0 91934 761 0 0 25 0 1 0 1781314622 20221952 4099 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4937 4099 1116 68 0 4869 0
[pid=1480] vsize: 19748
Current children cumulated CPU time (s) 926.95
Current children cumulated vsize (Kb) 19748

[startup+950.035 s]
Raw data (loadavg): 1.01 0.97 0.65 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4188 0 0 0 92915 767 0 0 25 0 1 0 1781314622 20221952 4099 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4937 4099 1116 68 0 4869 0
[pid=1480] vsize: 19748
Current children cumulated CPU time (s) 936.82
Current children cumulated vsize (Kb) 19748

[startup+960.035 s]
Raw data (loadavg): 1.01 0.97 0.66 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4193 0 0 0 93895 773 0 0 25 0 1 0 1781314622 20221952 4104 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4937 4104 1116 68 0 4869 0
[pid=1480] vsize: 19748
Current children cumulated CPU time (s) 946.68
Current children cumulated vsize (Kb) 19748

[startup+970.036 s]
Raw data (loadavg): 1.00 0.97 0.66 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 4193 0 0 0 94881 778 0 0 25 0 1 0 1781314622 20221952 4104 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/1480/statm): 4937 4104 1116 68 0 4869 0
[pid=1480] vsize: 19748
Current children cumulated CPU time (s) 956.59
Current children cumulated vsize (Kb) 19748

[startup+980.036 s]
Raw data (loadavg): 1.00 0.97 0.66 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4213 0 0 0 95866 784 0 0 25 0 1 0 1781314622 20357120 4124 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4970 4124 1116 68 0 4902 0
[pid=1480] vsize: 19880
Current children cumulated CPU time (s) 966.5
Current children cumulated vsize (Kb) 19880

[startup+990.037 s]
Raw data (loadavg): 1.00 0.97 0.66 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4228 0 0 0 96850 789 0 0 25 0 1 0 1781314622 20357120 4139 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 4970 4139 1116 68 0 4902 0
[pid=1480] vsize: 19880
Current children cumulated CPU time (s) 976.39
Current children cumulated vsize (Kb) 19880

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4238 0 0 0 97832 795 0 0 25 0 1 0 1781314622 20480000 4149 4294967295 134512640 134736556 3221224560 3221223152 134716401 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5000 4149 1116 68 0 4932 0
[pid=1480] vsize: 20000
Current children cumulated CPU time (s) 986.27
Current children cumulated vsize (Kb) 20000

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4255 0 0 0 98815 801 0 0 25 0 1 0 1781314622 20480000 4166 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5000 4166 1116 68 0 4932 0
[pid=1480] vsize: 20000
Current children cumulated CPU time (s) 996.16
Current children cumulated vsize (Kb) 20000

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4274 0 0 0 99800 805 0 0 25 0 1 0 1781314622 20615168 4185 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5033 4185 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1006.05
Current children cumulated vsize (Kb) 20132

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.68 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 4274 0 0 0 100786 811 0 0 25 0 1 0 1781314622 20615168 4185 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/1480/statm): 5033 4185 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1015.97
Current children cumulated vsize (Kb) 20132

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4274 0 0 0 101771 816 0 0 25 0 1 0 1781314622 20615168 4185 4294967295 134512640 134736556 3221224560 3221223012 134717407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5033 4185 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1025.87
Current children cumulated vsize (Kb) 20132

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4288 0 0 0 102756 822 0 0 25 0 1 0 1781314622 20615168 4199 4294967295 134512640 134736556 3221224560 3221223208 134554061 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 5033 4199 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1035.78
Current children cumulated vsize (Kb) 20132

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4288 0 0 0 103743 828 0 0 25 0 1 0 1781314622 20615168 4199 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/1480/statm): 5033 4199 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1045.71
Current children cumulated vsize (Kb) 20132

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4288 0 0 0 104726 833 0 0 25 0 1 0 1781314622 20615168 4199 4294967295 134512640 134736556 3221224560 3221223160 134544625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5033 4199 1116 68 0 4965 0
[pid=1480] vsize: 20132
Current children cumulated CPU time (s) 1055.59
Current children cumulated vsize (Kb) 20132

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4301 0 0 0 105710 839 0 0 24 0 1 0 1781314622 20746240 4212 4294967295 134512640 134736556 3221224560 3221223136 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5065 4212 1116 68 0 4997 0
[pid=1480] vsize: 20260
Current children cumulated CPU time (s) 1065.49
Current children cumulated vsize (Kb) 20260

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.69 1/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) T 1479 1480 1333 0 -1 0 4303 0 0 0 106695 844 0 0 25 0 1 0 1781314622 20725760 4214 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5060 4214 1116 68 0 4992 0
[pid=1480] vsize: 20240
Current children cumulated CPU time (s) 1075.39
Current children cumulated vsize (Kb) 20240

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4314 0 0 0 107680 850 0 0 25 0 1 0 1781314622 20725760 4225 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5060 4225 1116 68 0 4992 0
[pid=1480] vsize: 20240
Current children cumulated CPU time (s) 1085.3
Current children cumulated vsize (Kb) 20240

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4339 0 0 0 108663 857 0 0 25 0 1 0 1781314622 20860928 4250 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5093 4250 1116 68 0 5025 0
[pid=1480] vsize: 20372
Current children cumulated CPU time (s) 1095.2
Current children cumulated vsize (Kb) 20372

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4343 0 0 0 109646 864 0 0 25 0 1 0 1781314622 20860928 4254 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5093 4254 1116 68 0 5025 0
[pid=1480] vsize: 20372
Current children cumulated CPU time (s) 1105.1
Current children cumulated vsize (Kb) 20372

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4343 0 0 0 110632 869 0 0 25 0 1 0 1781314622 20860928 4254 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5093 4254 1116 68 0 5025 0
[pid=1480] vsize: 20372
Current children cumulated CPU time (s) 1115.01
Current children cumulated vsize (Kb) 20372

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4359 0 0 0 111615 875 0 0 25 0 1 0 1781314622 20987904 4270 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4270 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1124.9
Current children cumulated vsize (Kb) 20496

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4362 0 0 0 112598 881 0 0 25 0 1 0 1781314622 20987904 4273 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4273 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1134.79
Current children cumulated vsize (Kb) 20496

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4362 0 0 0 113584 887 0 0 25 0 1 0 1781314622 20987904 4273 4294967295 134512640 134736556 3221224560 3221223136 134550865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4273 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1144.71
Current children cumulated vsize (Kb) 20496

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.72 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4362 0 0 0 114567 893 0 0 24 0 1 0 1781314622 20987904 4273 4294967295 134512640 134736556 3221224560 3221223260 1076648036 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4273 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1154.6
Current children cumulated vsize (Kb) 20496

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.72 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4379 0 0 0 115551 899 0 0 25 0 1 0 1781314622 20987904 4290 4294967295 134512640 134736556 3221224560 3221223248 134524522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4290 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1164.5
Current children cumulated vsize (Kb) 20496

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.72 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4379 0 0 0 116536 905 0 0 25 0 1 0 1781314622 20987904 4290 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5124 4290 1116 68 0 5056 0
[pid=1480] vsize: 20496
Current children cumulated CPU time (s) 1174.41
Current children cumulated vsize (Kb) 20496

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4402 0 0 0 117519 912 0 0 25 0 1 0 1781314622 21123072 4313 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5157 4313 1116 68 0 5089 0
[pid=1480] vsize: 20628
Current children cumulated CPU time (s) 1184.31
Current children cumulated vsize (Kb) 20628

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/56 1480
Raw data (/proc/1480/stat): 1480 (bsolo) R 1479 1480 1333 0 -1 0 4435 0 0 0 118505 916 0 0 25 0 1 0 1781314622 21250048 4346 4294967295 134512640 134736556 3221224560 3221223152 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/1480/statm): 5188 4346 1116 68 0 5120 0
[pid=1480] vsize: 20752
Current children cumulated CPU time (s) 1194.21
Current children cumulated vsize (Kb) 20752
One traced child (pid=1480) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1210.88
CPU time (s): 1195.03
CPU user time (s): 1185.85
CPU system time (s): 9.1806
CPU usage (%): 98.6915
Max. virtual memory (cumulated for all children) (Kb): 20752

Verifier Data

ERROR: no interpretation found !