Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 161076689
Optimality of the best value was proved NO
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.13
Number of variables2574
Total number of constraints1617
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1290
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 613

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-18 11:40:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=565 boxname=wulflinc4 idbench=565 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 565
/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:        946860 kB
Buffers:         33792 kB
Cached:          30188 kB
SwapCached:        960 kB
Active:          52232 kB
Inactive:        14460 kB
HighTotal:      131008 kB
HighFree:        98392 kB
LowTotal:       903652 kB
LowFree:        848468 kB
SwapTotal:     2097136 kB
SwapFree:      2095628 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            15428 kB
Committed_AS:    72324 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 11:58:50 (client local time) WITH STATUS 0 IN 1093.2 SECONDS
stats: 565 7 1093.2 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 2574 variables and 711 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.916
c After prepocess the problem consists of 2119 variables and 696 constraints.
c Initial Lower Bound: 336600
c Restart #1 #Var: 2119 #Dec: 11919 LB: 336600 @ 1.548
c Restart #2 #Var: 2119 #Dec: 39414 LB: 336600 @ 3.067
c Restart #3 #Var: 2119 #Dec: 76017 LB: 336600 @ 5.152
c Restart #4 #Var: 2119 #Dec: 125786 LB: 336600 @ 8.098
c Restart #5 #Var: 2119 #Dec: 174312 LB: 336600 @ 11.052
c Restart #6 #Var: 2119 #Dec: 180065 LB: 336600 @ 11.95
c Restart #7 #Var: 2119 #Dec: 187044 LB: 336600 @ 13.121
c Restart #8 #Var: 2119 #Dec: 188744 LB: 336600 @ 14.664
c Restart #9 #Var: 2119 #Dec: 190569 LB: 336600 @ 15.724
c Restart #10 #Var: 2119 #Dec: 192584 LB: 336600 @ 17.302
c Restart #11 #Var: 2119 #Dec: 194799 LB: 336600 @ 19.268
c Restart #12 #Var: 2119 #Dec: 197224 LB: 336600 @ 21.334
c Restart #13 #Var: 2119 #Dec: 204282 LB: 336600 @ 23.041
c Restart #14 #Var: 2119 #Dec: 207390 LB: 336600 @ 24.808
c Restart #15 #Var: 2119 #Dec: 210460 LB: 336600 @ 27.409
c Restart #16 #Var: 2119 #Dec: 213771 LB: 336600 @ 29.764
c Restart #17 #Var: 2119 #Dec: 217405 LB: 336600 @ 32.085
c Restart #18 #Var: 2119 #Dec: 221163 LB: 336600 @ 33.943
c Restart #19 #Var: 2119 #Dec: 225073 LB: 336600 @ 36.946
c Restart #20 #Var: 2119 #Dec: 231627 LB: 336600 @ 42.609
c Restart #21 #Var: 2119 #Dec: 235979 LB: 336600 @ 45.42
c Restart #22 #Var: 2119 #Dec: 240678 LB: 336600 @ 49.575
c Restart #23 #Var: 2119 #Dec: 245368 LB: 336600 @ 53.491
c Restart #24 #Var: 2119 #Dec: 250292 LB: 336600 @ 56.386
c Restart #25 #Var: 2119 #Dec: 255318 LB: 336600 @ 61.162
c Restart #26 #Var: 2119 #Dec: 260758 LB: 336600 @ 64.221
c Restart #27 #Var: 2119 #Dec: 266266 LB: 336600 @ 67.548
c Restart #28 #Var: 2119 #Dec: 273052 LB: 336600 @ 72.642
c Restart #29 #Var: 2119 #Dec: 279198 LB: 336600 @ 79.371
c Restart #30 #Var: 2119 #Dec: 285874 LB: 336600 @ 90.485
c Restart #31 #Var: 2119 #Dec: 293200 LB: 336600 @ 95.844
c Restart #32 #Var: 2119 #Dec: 299653 LB: 336600 @ 102.26
c Restart #33 #Var: 2119 #Dec: 307575 LB: 336600 @ 108.18
c Restart #34 #Var: 2119 #Dec: 314448 LB: 336600 @ 112.95
c Restart #35 #Var: 2119 #Dec: 321811 LB: 336600 @ 118.43
c Restart #36 #Var: 2119 #Dec: 329603 LB: 336600 @ 128.27
c Restart #37 #Var: 2119 #Dec: 337059 LB: 336600 @ 133.37
c Restart #38 #Var: 2119 #Dec: 346116 LB: 336600 @ 140.33
c Restart #39 #Var: 2119 #Dec: 358559 LB: 336600 @ 155.01
c Restart #40 #Var: 2119 #Dec: 367535 LB: 336600 @ 165.35
c Restart #41 #Var: 2119 #Dec: 375791 LB: 336600 @ 181.42
c Restart #42 #Var: 2119 #Dec: 384205 LB: 336600 @ 199.29
c Restart #43 #Var: 2119 #Dec: 392817 LB: 336600 @ 217.77
c Restart #44 #Var: 2119 #Dec: 401630 LB: 336600 @ 239.78
c Restart #45 #Var: 2119 #Dec: 410643 LB: 336600 @ 263.66
c Restart #46 #Var: 2119 #Dec: 419853 LB: 336600 @ 288.04
c Restart #47 #Var: 2119 #Dec: 429785 LB: 336600 @ 297.87
c Restart #48 #Var: 2119 #Dec: 439414 LB: 336600 @ 312.41
c Restart #49 #Var: 2119 #Dec: 449482 LB: 336600 @ 323.11
c Restart #50 #Var: 2119 #Dec: 459542 LB: 336600 @ 346.87
c Restart #51 #Var: 2119 #Dec: 470333 LB: 336600 @ 362.89
c Restart #52 #Var: 2119 #Dec: 481372 LB: 336600 @ 373.5
c Restart #53 #Var: 2119 #Dec: 494040 LB: 336600 @ 402.25
c Restart #54 #Var: 2119 #Dec: 504859 LB: 336600 @ 436.15
c CHANGE Heuristic... 
c Restart #0 #Var: 2119 #Dec: 515881 LB: 336600 @ 638.37
c Restart #1 #Var: 2119 #Dec: 517013 LB: 336600 @ 640.67
c Restart #2 #Var: 2119 #Dec: 517441 LB: 336600 @ 642
c Restart #3 #Var: 2119 #Dec: 519011 LB: 336600 @ 643.39
c Restart #4 #Var: 2119 #Dec: 520152 LB: 336600 @ 645.43
c Restart #5 #Var: 2119 #Dec: 523025 LB: 336600 @ 648.41
c Restart #6 #Var: 2119 #Dec: 524246 LB: 336600 @ 649.01
c Restart #7 #Var: 2119 #Dec: 526713 LB: 336600 @ 657.43
c Restart #8 #Var: 2119 #Dec: 528337 LB: 336600 @ 659.81
c Restart #9 #Var: 2119 #Dec: 530386 LB: 336600 @ 662.4
c Restart #10 #Var: 2119 #Dec: 532417 LB: 336600 @ 663.32
c Restart #11 #Var: 2119 #Dec: 534860 LB: 336600 @ 666.1
c Restart #12 #Var: 2119 #Dec: 537396 LB: 336600 @ 669.07
c Restart #13 #Var: 2119 #Dec: 542175 LB: 336600 @ 676.92
c Restart #14 #Var: 2119 #Dec: 547879 LB: 336600 @ 687
c Restart #15 #Var: 2119 #Dec: 553041 LB: 336600 @ 695.3
c Restart #16 #Var: 2119 #Dec: 557704 LB: 336600 @ 702.26
c Restart #17 #Var: 2119 #Dec: 565423 LB: 336600 @ 718.33
c Restart #18 #Var: 2119 #Dec: 569997 LB: 336600 @ 724.46
c Restart #19 #Var: 2119 #Dec: 578252 LB: 336600 @ 740.53
c Restart #20 #Var: 2119 #Dec: 585296 LB: 336600 @ 753.09
c Restart #21 #Var: 2119 #Dec: 595634 LB: 336600 @ 771.01
c Restart #22 #Var: 2119 #Dec: 600222 LB: 336600 @ 775.58
c Restart #23 #Var: 2119 #Dec: 610215 LB: 336600 @ 789.97
c Restart #24 #Var: 2119 #Dec: 616695 LB: 336600 @ 797.42
c Restart #25 #Var: 2119 #Dec: 623404 LB: 336600 @ 809.72
c Restart #26 #Var: 2119 #Dec: 630539 LB: 336600 @ 815.35
c Restart #27 #Var: 2119 #Dec: 637054 LB: 336600 @ 832.15
c Restart #28 #Var: 2119 #Dec: 643840 LB: 336600 @ 838.53
c Restart #29 #Var: 2119 #Dec: 653775 LB: 336600 @ 852.47
c Restart #30 #Var: 2119 #Dec: 661169 LB: 336600 @ 862.5
c Restart #31 #Var: 2119 #Dec: 669985 LB: 336600 @ 875.89
c Restart #32 #Var: 2119 #Dec: 679365 LB: 336600 @ 889.48
c Restart #33 #Var: 2119 #Dec: 686720 LB: 336600 @ 896.5
c Restart #34 #Var: 2119 #Dec: 694888 LB: 336600 @ 910.89
c Restart #35 #Var: 2119 #Dec: 705358 LB: 336600 @ 1005.8
c Restart #36 #Var: 2119 #Dec: 718904 LB: 336600 @ 1042.9
c Restart #37 #Var: 2119 #Dec: 730337 LB: 336600 @ 1059.5
c Restart #38 #Var: 2119 #Dec: 744166 LB: 336600 @ 1085.1
c Caught signal: 15
s UNKNOWN
c Exit Code: 0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782724690 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 107 3 90 68 0 39 0
[pid=8435] 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-mps-v2-20-10-fiber.opb

[startup+10.0024 s]
Raw data (loadavg): 0.86 0.94 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 10163 0 0 0 533 166 0 0 17 0 1 0 1782724690 44761088 10074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 10928 10074 1116 68 0 10860 0
[pid=8435] vsize: 43712
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (Kb) 43712

[startup+20.0033 s]
Raw data (loadavg): 0.88 0.94 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 13296 0 0 0 1196 283 0 0 25 0 1 0 1782724690 57602048 13207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 14063 13207 1116 68 0 13995 0
[pid=8435] vsize: 56252
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (Kb) 56252

[startup+30.0041 s]
Raw data (loadavg): 0.90 0.94 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 20232 0 0 0 2094 328 0 0 24 0 1 0 1782724690 85995520 20141 4294967295 134512640 134736556 3221224560 3221223276 134560216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 20995 20141 1116 68 0 20927 0
[pid=8435] vsize: 83980
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (Kb) 83980

[startup+40.005 s]
Raw data (loadavg): 0.91 0.94 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 28097 0 0 0 3001 374 0 0 25 0 1 0 1782724690 118173696 28006 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 28851 28006 1116 68 0 28783 0
[pid=8435] vsize: 115404
Current children cumulated CPU time (s) 33.75
Current children cumulated vsize (Kb) 115404

[startup+50.0059 s]
Raw data (loadavg): 0.93 0.94 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 33282 0 0 0 3923 409 0 0 25 0 1 0 1782724690 139530240 33191 4294967295 134512640 134736556 3221224560 3221222960 134717440 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 34065 33191 1116 68 0 33997 0
[pid=8435] vsize: 136260
Current children cumulated CPU time (s) 43.32
Current children cumulated vsize (Kb) 136260

[startup+60.0057 s]
Raw data (loadavg): 0.94 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 39649 0 0 0 4842 443 0 0 25 0 1 0 1782724690 165625856 39558 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 40436 39558 1116 68 0 40368 0
[pid=8435] vsize: 161744
Current children cumulated CPU time (s) 52.85
Current children cumulated vsize (Kb) 161744

[startup+70.0066 s]
Raw data (loadavg): 0.95 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 46556 0 0 0 5763 480 0 0 25 0 1 0 1782724690 193900544 46464 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 47339 46464 1116 68 0 47271 0
[pid=8435] vsize: 189356
Current children cumulated CPU time (s) 62.43
Current children cumulated vsize (Kb) 189356

[startup+80.0074 s]
Raw data (loadavg): 0.95 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 53856 0 0 0 6665 527 0 0 25 0 1 0 1782724690 223916032 53764 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 54667 53764 1116 68 0 54599 0
[pid=8435] vsize: 218668
Current children cumulated CPU time (s) 71.92
Current children cumulated vsize (Kb) 218668

[startup+90.0083 s]
Raw data (loadavg): 0.96 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 57779 0 0 0 7615 550 0 0 25 0 1 0 1782724690 240013312 57686 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 58597 57686 1116 68 0 58529 0
[pid=8435] vsize: 234388
Current children cumulated CPU time (s) 81.65
Current children cumulated vsize (Kb) 234388

[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 60419 0 0 0 8571 571 0 0 25 0 1 0 1782724690 250847232 60325 4294967295 134512640 134736556 3221224560 3221223296 134605900 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 61242 60325 1116 68 0 61174 0
[pid=8435] vsize: 244968
Current children cumulated CPU time (s) 91.42
Current children cumulated vsize (Kb) 244968

[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 65810 0 0 0 9500 603 0 0 25 0 1 0 1782724690 273022976 65716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 66656 65716 1116 68 0 66588 0
[pid=8435] vsize: 266624
Current children cumulated CPU time (s) 101.03
Current children cumulated vsize (Kb) 266624

[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 70050 0 0 0 10426 636 0 0 22 0 1 0 1782724690 290324480 69956 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 70880 69956 1116 68 0 70812 0
[pid=8435] vsize: 283520
Current children cumulated CPU time (s) 110.62
Current children cumulated vsize (Kb) 283520

[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 75804 0 0 0 11344 674 0 0 25 0 1 0 1782724690 314011648 75708 4294967295 134512640 134736556 3221224560 3221223288 134605903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 76663 75708 1116 68 0 76595 0
[pid=8435] vsize: 306652
Current children cumulated CPU time (s) 120.18
Current children cumulated vsize (Kb) 306652

[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 79743 0 0 0 12291 697 0 0 25 0 1 0 1782724690 330256384 79647 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 80629 79647 1116 68 0 80561 0
[pid=8435] vsize: 322516
Current children cumulated CPU time (s) 129.88
Current children cumulated vsize (Kb) 322516

[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 85882 0 0 0 13203 736 0 0 25 0 1 0 1782724690 355319808 85784 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 86748 85784 1116 68 0 86680 0
[pid=8435] vsize: 346992
Current children cumulated CPU time (s) 139.39
Current children cumulated vsize (Kb) 346992

[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 87747 0 0 0 14161 753 0 0 25 0 1 0 1782724690 363057152 87648 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 88637 87648 1116 68 0 88569 0
[pid=8435] vsize: 354548
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (Kb) 354548

[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 90329 0 0 0 15110 773 0 0 25 0 1 0 1782724690 373600256 90230 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 91211 90230 1116 68 0 91143 0
[pid=8435] vsize: 364844
Current children cumulated CPU time (s) 158.83
Current children cumulated vsize (Kb) 364844

[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 93395 0 0 0 16060 796 0 0 25 0 1 0 1782724690 386211840 93293 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 94290 93293 1116 68 0 94222 0
[pid=8435] vsize: 377160
Current children cumulated CPU time (s) 168.56
Current children cumulated vsize (Kb) 377160

[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 95196 0 0 0 17025 812 0 0 25 0 1 0 1782724690 393678848 95094 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 96113 95094 1116 68 0 96045 0
[pid=8435] vsize: 384452
Current children cumulated CPU time (s) 178.37
Current children cumulated vsize (Kb) 384452

[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 96921 0 0 0 17990 828 0 0 25 0 1 0 1782724690 400715776 96819 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 97831 96819 1116 68 0 97763 0
[pid=8435] vsize: 391324
Current children cumulated CPU time (s) 188.18
Current children cumulated vsize (Kb) 391324

[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 98507 0 0 0 18959 842 0 0 25 0 1 0 1782724690 407277568 98402 4294967295 134512640 134736556 3221224560 3221223216 134537456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 99433 98402 1116 68 0 99365 0
[pid=8435] vsize: 397732
Current children cumulated CPU time (s) 198.01
Current children cumulated vsize (Kb) 397732

[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 100145 0 0 0 19925 858 0 0 25 0 1 0 1782724690 414035968 100039 4294967295 134512640 134736556 3221224560 3221223084 134536656 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 101083 100039 1116 68 0 101015 0
[pid=8435] vsize: 404332
Current children cumulated CPU time (s) 207.83
Current children cumulated vsize (Kb) 404332

[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 101757 0 0 0 20892 873 0 0 25 0 1 0 1782724690 420708352 101647 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 102712 101647 1116 68 0 102644 0
[pid=8435] vsize: 410848
Current children cumulated CPU time (s) 217.65
Current children cumulated vsize (Kb) 410848

[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 103152 0 0 0 21864 887 0 0 25 0 1 0 1782724690 426401792 103042 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 104102 103042 1116 68 0 104034 0
[pid=8435] vsize: 416408
Current children cumulated CPU time (s) 227.51
Current children cumulated vsize (Kb) 416408

[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 104569 0 0 0 22836 900 0 0 25 0 1 0 1782724690 432316416 104454 4294967295 134512640 134736556 3221224560 3221223056 134536117 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 105546 104454 1116 68 0 105478 0
[pid=8435] vsize: 422184
Current children cumulated CPU time (s) 237.36
Current children cumulated vsize (Kb) 422184

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 105889 0 0 0 23808 912 0 0 25 0 1 0 1782724690 437784576 105770 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 106881 105770 1116 68 0 106813 0
[pid=8435] vsize: 427524
Current children cumulated CPU time (s) 247.2
Current children cumulated vsize (Kb) 427524

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 107411 0 0 0 24779 926 0 0 25 0 1 0 1782724690 444088320 107292 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 108420 107292 1116 68 0 108352 0
[pid=8435] vsize: 433680
Current children cumulated CPU time (s) 257.05
Current children cumulated vsize (Kb) 433680

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 108433 0 0 0 25760 933 0 0 25 0 1 0 1782724690 448331776 108311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 109456 108311 1116 68 0 109388 0
[pid=8435] vsize: 437824
Current children cumulated CPU time (s) 266.93
Current children cumulated vsize (Kb) 437824

[startup+290.019 s]
Raw data (loadavg): 1.07 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 109875 0 0 0 26728 948 0 0 25 0 1 0 1782724690 454279168 109753 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 110908 109753 1116 68 0 110840 0
[pid=8435] vsize: 443632
Current children cumulated CPU time (s) 276.76
Current children cumulated vsize (Kb) 443632

[startup+300.018 s]
Raw data (loadavg): 1.06 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 111215 0 0 0 27699 963 0 0 25 0 1 0 1782724690 459665408 111088 4294967295 134512640 134736556 3221224560 3221223224 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 112223 111088 1116 68 0 112155 0
[pid=8435] vsize: 448892
Current children cumulated CPU time (s) 286.62
Current children cumulated vsize (Kb) 448892

[startup+310.018 s]
Raw data (loadavg): 1.05 0.98 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 115114 0 0 0 28638 989 0 0 25 0 1 0 1782724690 475656192 114985 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 116127 114985 1116 68 0 116059 0
[pid=8435] vsize: 464508
Current children cumulated CPU time (s) 296.27
Current children cumulated vsize (Kb) 464508

[startup+320.019 s]
Raw data (loadavg): 1.04 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 118479 0 0 0 29591 1009 0 0 25 0 1 0 1782724690 489459712 118350 4294967295 134512640 134736556 3221224560 3221223184 134537395 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 119497 118350 1116 68 0 119429 0
[pid=8435] vsize: 477988
Current children cumulated CPU time (s) 306
Current children cumulated vsize (Kb) 477988

[startup+330.02 s]
Raw data (loadavg): 1.04 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 122011 0 0 0 30541 1034 0 0 25 0 1 0 1782724690 504074240 121881 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 123065 121881 1116 68 0 122997 0
[pid=8435] vsize: 492260
Current children cumulated CPU time (s) 315.75
Current children cumulated vsize (Kb) 492260

[startup+340.021 s]
Raw data (loadavg): 1.03 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 125609 0 0 0 31489 1057 0 0 25 0 1 0 1782724690 518811648 125479 4294967295 134512640 134736556 3221224560 3221223296 134529328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 126663 125479 1116 68 0 126595 0
[pid=8435] vsize: 506652
Current children cumulated CPU time (s) 325.46
Current children cumulated vsize (Kb) 506652

[startup+350.022 s]
Raw data (loadavg): 1.03 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 126966 0 0 0 32469 1065 0 0 25 0 1 0 1782724690 524492800 126822 4294967295 134512640 134736556 3221224560 3221223068 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 128050 126822 1116 68 0 127982 0
[pid=8435] vsize: 512200
Current children cumulated CPU time (s) 335.34
Current children cumulated vsize (Kb) 512200

[startup+360.023 s]
Raw data (loadavg): 1.02 0.98 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 128628 0 0 0 33437 1079 0 0 25 0 1 0 1782724690 531251200 128483 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 129700 128483 1116 68 0 129632 0
[pid=8435] vsize: 518800
Current children cumulated CPU time (s) 345.16
Current children cumulated vsize (Kb) 518800

[startup+370.023 s]
Raw data (loadavg): 1.02 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 130924 0 0 0 34401 1094 0 0 25 0 1 0 1782724690 540622848 130779 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 131988 130779 1116 68 0 131920 0
[pid=8435] vsize: 527952
Current children cumulated CPU time (s) 354.95
Current children cumulated vsize (Kb) 527952

[startup+380.023 s]
Raw data (loadavg): 1.01 0.98 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 134620 0 0 0 35348 1118 0 0 25 0 1 0 1782724690 555765760 134474 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 135685 134474 1116 68 0 135617 0
[pid=8435] vsize: 542740
Current children cumulated CPU time (s) 364.66
Current children cumulated vsize (Kb) 542740

[startup+390.024 s]
Raw data (loadavg): 1.01 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 138755 0 0 0 36288 1144 0 0 25 0 1 0 1782724690 572665856 138609 4294967295 134512640 134736556 3221224560 3221223296 134529393 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 139811 138609 1116 68 0 139743 0
[pid=8435] vsize: 559244
Current children cumulated CPU time (s) 374.32
Current children cumulated vsize (Kb) 559244

[startup+400.025 s]
Raw data (loadavg): 1.01 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 139836 0 0 0 37273 1151 0 0 25 0 1 0 1782724690 577126400 139690 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 140900 139690 1116 68 0 140832 0
[pid=8435] vsize: 563600
Current children cumulated CPU time (s) 384.24
Current children cumulated vsize (Kb) 563600

[startup+410.025 s]
Raw data (loadavg): 1.01 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 140967 0 0 0 38244 1163 0 0 25 0 1 0 1782724690 581738496 140820 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 142026 140820 1116 68 0 141958 0
[pid=8435] vsize: 568104
Current children cumulated CPU time (s) 394.07
Current children cumulated vsize (Kb) 568104

[startup+420.026 s]
Raw data (loadavg): 1.01 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 143743 0 0 0 39202 1181 0 0 25 0 1 0 1782724690 593235968 143594 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 144833 143594 1116 68 0 144765 0
[pid=8435] vsize: 579332
Current children cumulated CPU time (s) 403.83
Current children cumulated vsize (Kb) 579332

[startup+430.027 s]
Raw data (loadavg): 1.00 0.98 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 145014 0 0 0 40182 1190 0 0 25 0 1 0 1782724690 598392832 144864 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 146092 144864 1116 68 0 146024 0
[pid=8435] vsize: 584368
Current children cumulated CPU time (s) 413.72
Current children cumulated vsize (Kb) 584368

[startup+440.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 146392 0 0 0 41159 1199 0 0 25 0 1 0 1782724690 604106752 146239 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 147487 146239 1116 68 0 147419 0
[pid=8435] vsize: 589948
Current children cumulated CPU time (s) 423.58
Current children cumulated vsize (Kb) 589948

[startup+450.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 148266 0 0 0 42131 1211 0 0 25 0 1 0 1782724690 611823616 148112 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 149371 148112 1116 68 0 149303 0
[pid=8435] vsize: 597484
Current children cumulated CPU time (s) 433.42
Current children cumulated vsize (Kb) 597484

[startup+460.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 148982 0 0 0 43119 1217 0 0 25 0 1 0 1782724690 614809600 148828 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 150100 148828 1116 68 0 150032 0
[pid=8435] vsize: 600400
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (Kb) 600400

[startup+470.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 149189 0 0 0 44116 1218 0 0 25 0 1 0 1782724690 615620608 149035 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 150298 149035 1116 68 0 150230 0
[pid=8435] vsize: 601192
Current children cumulated CPU time (s) 453.34
Current children cumulated vsize (Kb) 601192

[startup+480.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 149431 0 0 0 45113 1220 0 0 25 0 1 0 1782724690 616566784 149277 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 150529 149277 1116 68 0 150461 0
[pid=8435] vsize: 602116
Current children cumulated CPU time (s) 463.33
Current children cumulated vsize (Kb) 602116

[startup+490.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 149691 0 0 0 46109 1221 0 0 25 0 1 0 1782724690 617648128 149537 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 150793 149537 1116 68 0 150725 0
[pid=8435] vsize: 603172
Current children cumulated CPU time (s) 473.3
Current children cumulated vsize (Kb) 603172

[startup+500.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 149979 0 0 0 47104 1223 0 0 25 0 1 0 1782724690 618864640 149825 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 151090 149825 1116 68 0 151022 0
[pid=8435] vsize: 604360
Current children cumulated CPU time (s) 483.27
Current children cumulated vsize (Kb) 604360

[startup+510.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 150264 0 0 0 48100 1225 0 0 25 0 1 0 1782724690 620081152 150110 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 151387 150110 1116 68 0 151319 0
[pid=8435] vsize: 605548
Current children cumulated CPU time (s) 493.25
Current children cumulated vsize (Kb) 605548

[startup+520.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 150526 0 0 0 49096 1228 0 0 25 0 1 0 1782724690 621031424 150372 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 151619 150372 1116 68 0 151551 0
[pid=8435] vsize: 606476
Current children cumulated CPU time (s) 503.24
Current children cumulated vsize (Kb) 606476

[startup+530.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 150789 0 0 0 50092 1229 0 0 25 0 1 0 1782724690 622149632 150634 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 151892 150634 1116 68 0 151824 0
[pid=8435] vsize: 607568
Current children cumulated CPU time (s) 513.21
Current children cumulated vsize (Kb) 607568

[startup+540.032 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 151094 0 0 0 51087 1231 0 0 25 0 1 0 1782724690 623366144 150939 4294967295 134512640 134736556 3221224560 3221223232 134528766 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 152189 150939 1116 68 0 152121 0
[pid=8435] vsize: 608756
Current children cumulated CPU time (s) 523.18
Current children cumulated vsize (Kb) 608756

[startup+550.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 151373 0 0 0 52083 1234 0 0 25 0 1 0 1782724690 624582656 151218 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 152486 151218 1116 68 0 152418 0
[pid=8435] vsize: 609944
Current children cumulated CPU time (s) 533.17
Current children cumulated vsize (Kb) 609944

[startup+560.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 151687 0 0 0 53077 1236 0 0 25 0 1 0 1782724690 625799168 151532 4294967295 134512640 134736556 3221224560 3221223264 134529225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 152783 151532 1116 68 0 152715 0
[pid=8435] vsize: 611132
Current children cumulated CPU time (s) 543.13
Current children cumulated vsize (Kb) 611132

[startup+570.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 152038 0 0 0 54072 1239 0 0 25 0 1 0 1782724690 627314688 151879 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 153153 151879 1116 68 0 153085 0
[pid=8435] vsize: 612612
Current children cumulated CPU time (s) 553.11
Current children cumulated vsize (Kb) 612612

[startup+580.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 152309 0 0 0 55067 1242 0 0 25 0 1 0 1782724690 628531200 152150 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 153450 152150 1116 68 0 153382 0
[pid=8435] vsize: 613800
Current children cumulated CPU time (s) 563.09
Current children cumulated vsize (Kb) 613800

[startup+590.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 152507 0 0 0 56064 1243 0 0 25 0 1 0 1782724690 629207040 152348 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 153615 152348 1116 68 0 153547 0
[pid=8435] vsize: 614460
Current children cumulated CPU time (s) 573.07
Current children cumulated vsize (Kb) 614460

[startup+600.035 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 152722 0 0 0 57061 1245 0 0 25 0 1 0 1782724690 630153216 152563 4294967295 134512640 134736556 3221224560 3221223232 134528729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 153846 152563 1116 68 0 153778 0
[pid=8435] vsize: 615384
Current children cumulated CPU time (s) 583.06
Current children cumulated vsize (Kb) 615384

[startup+610.036 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 152948 0 0 0 58056 1247 0 0 25 0 1 0 1782724690 631099392 152789 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 154077 152789 1116 68 0 154009 0
[pid=8435] vsize: 616308
Current children cumulated CPU time (s) 593.03
Current children cumulated vsize (Kb) 616308

[startup+620.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 153157 0 0 0 59053 1248 0 0 25 0 1 0 1782724690 631910400 152998 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 154275 152998 1116 68 0 154207 0
[pid=8435] vsize: 617100
Current children cumulated CPU time (s) 603.01
Current children cumulated vsize (Kb) 617100

[startup+630.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 153395 0 0 0 60048 1250 0 0 25 0 1 0 1782724690 632856576 153236 4294967295 134512640 134736556 3221224560 3221223224 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 154506 153236 1116 68 0 154438 0
[pid=8435] vsize: 618024
Current children cumulated CPU time (s) 612.98
Current children cumulated vsize (Kb) 618024

[startup+640.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 153649 0 0 0 61044 1252 0 0 25 0 1 0 1782724690 633937920 153490 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 154770 153490 1116 68 0 154702 0
[pid=8435] vsize: 619080
Current children cumulated CPU time (s) 622.96
Current children cumulated vsize (Kb) 619080

[startup+650.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 153920 0 0 0 62039 1255 0 0 25 0 1 0 1782724690 635023360 153761 4294967295 134512640 134736556 3221224560 3221223220 134536526 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 155035 153761 1116 68 0 154967 0
[pid=8435] vsize: 620140
Current children cumulated CPU time (s) 632.94
Current children cumulated vsize (Kb) 620140

[startup+660.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 154610 0 0 0 63021 1263 0 0 25 0 1 0 1782724690 637861888 154451 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 155728 154451 1116 68 0 155660 0
[pid=8435] vsize: 622912
Current children cumulated CPU time (s) 642.84
Current children cumulated vsize (Kb) 622912

[startup+670.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 156489 0 0 0 63983 1280 0 0 25 0 1 0 1782724690 645677056 156325 4294967295 134512640 134736556 3221224560 3221223164 134537483 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 157636 156325 1116 68 0 157568 0
[pid=8435] vsize: 630544
Current children cumulated CPU time (s) 652.63
Current children cumulated vsize (Kb) 630544

[startup+680.04 s]
Raw data (loadavg): 1.00 0.98 0.98 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 159144 0 0 0 64947 1296 0 0 25 0 1 0 1782724690 656515072 158977 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 160282 158977 1116 68 0 160214 0
[pid=8435] vsize: 641128
Current children cumulated CPU time (s) 662.43
Current children cumulated vsize (Kb) 641128

[startup+690.041 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 162962 0 0 0 65894 1321 0 0 25 0 1 0 1782724690 672436224 162787 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 164169 162787 1116 68 0 164101 0
[pid=8435] vsize: 656676
Current children cumulated CPU time (s) 672.15
Current children cumulated vsize (Kb) 656676

[startup+700.042 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 164447 0 0 0 66866 1333 0 0 25 0 1 0 1782724690 678404096 164270 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 165626 164270 1116 68 0 165558 0
[pid=8435] vsize: 662504
Current children cumulated CPU time (s) 681.99
Current children cumulated vsize (Kb) 662504

[startup+710.042 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 165729 0 0 0 67837 1345 0 0 25 0 1 0 1782724690 683671552 165552 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 166912 165552 1116 68 0 166844 0
[pid=8435] vsize: 667648
Current children cumulated CPU time (s) 691.82
Current children cumulated vsize (Kb) 667648

[startup+720.043 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 168620 0 0 0 68791 1365 0 0 25 0 1 0 1782724690 695668736 168441 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 169841 168441 1116 68 0 169773 0
[pid=8435] vsize: 679364
Current children cumulated CPU time (s) 701.56
Current children cumulated vsize (Kb) 679364

[startup+730.042 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 168990 0 0 0 69773 1371 0 0 25 0 1 0 1782724690 697159680 168811 4294967295 134512640 134736556 3221224560 3221223200 134524332 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 170205 168811 1116 68 0 170137 0
[pid=8435] vsize: 680820
Current children cumulated CPU time (s) 711.44
Current children cumulated vsize (Kb) 680820

[startup+740.043 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 170506 0 0 0 70742 1384 0 0 25 0 1 0 1782724690 703381504 170325 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 171724 170325 1116 68 0 171656 0
[pid=8435] vsize: 686896
Current children cumulated CPU time (s) 721.26
Current children cumulated vsize (Kb) 686896

[startup+750.044 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 172282 0 0 0 71708 1398 0 0 25 0 1 0 1782724690 710680576 172101 4294967295 134512640 134736556 3221224560 3221223248 134524335 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 173506 172101 1116 68 0 173438 0
[pid=8435] vsize: 694024
Current children cumulated CPU time (s) 731.06
Current children cumulated vsize (Kb) 694024

[startup+760.044 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 173925 0 0 0 72671 1414 0 0 25 0 1 0 1782724690 717373440 173742 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 175140 173742 1116 68 0 175072 0
[pid=8435] vsize: 700560
Current children cumulated CPU time (s) 740.85
Current children cumulated vsize (Kb) 700560

[startup+770.045 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 174175 0 0 0 73654 1420 0 0 25 0 1 0 1782724690 718475264 173989 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 175409 173989 1116 68 0 175341 0
[pid=8435] vsize: 701636
Current children cumulated CPU time (s) 750.74
Current children cumulated vsize (Kb) 701636

[startup+780.046 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 175897 0 0 0 74616 1436 0 0 25 0 1 0 1782724690 725504000 175711 4294967295 134512640 134736556 3221224560 3221223256 134537620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 177125 175711 1116 68 0 177057 0
[pid=8435] vsize: 708500
Current children cumulated CPU time (s) 760.52
Current children cumulated vsize (Kb) 708500

[startup+790.047 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 177535 0 0 0 75577 1453 0 0 25 0 1 0 1782724690 732127232 177349 4294967295 134512640 134736556 3221224560 3221223224 134554101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 178742 177349 1116 68 0 178674 0
[pid=8435] vsize: 714968
Current children cumulated CPU time (s) 770.3
Current children cumulated vsize (Kb) 714968

[startup+800.047 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 179662 0 0 0 76538 1471 0 0 25 0 1 0 1782724690 740945920 179474 4294967295 134512640 134736556 3221224560 3221223248 134529461 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 180895 179474 1116 68 0 180827 0
[pid=8435] vsize: 723580
Current children cumulated CPU time (s) 780.09
Current children cumulated vsize (Kb) 723580

[startup+810.048 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 181799 0 0 0 77491 1490 0 0 25 0 1 0 1782724690 749596672 181611 4294967295 134512640 134736556 3221224560 3221223136 134716361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 183007 181611 1116 68 0 182939 0
[pid=8435] vsize: 732028
Current children cumulated CPU time (s) 789.81
Current children cumulated vsize (Kb) 732028

[startup+820.049 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 184727 0 0 0 78443 1512 0 0 25 0 1 0 1782724690 761630720 184539 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 185945 184539 1116 68 0 185877 0
[pid=8435] vsize: 743780
Current children cumulated CPU time (s) 799.55
Current children cumulated vsize (Kb) 743780

[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 186326 0 0 0 79413 1526 0 0 25 0 1 0 1782724690 768253952 186138 4294967295 134512640 134736556 3221224560 3221223296 134529328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 187562 186138 1116 68 0 187494 0
[pid=8435] vsize: 750248
Current children cumulated CPU time (s) 809.39
Current children cumulated vsize (Kb) 750248

[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 188565 0 0 0 80369 1542 0 0 25 0 1 0 1782724690 777449472 188377 4294967295 134512640 134736556 3221224560 3221223200 134536462 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 189807 188377 1116 68 0 189739 0
[pid=8435] vsize: 759228
Current children cumulated CPU time (s) 819.11
Current children cumulated vsize (Kb) 759228

[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 190348 0 0 0 81340 1555 0 0 25 0 1 0 1782724690 784752640 190160 4294967295 134512640 134736556 3221224560 3221223232 134528509 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 191590 190160 1116 68 0 191522 0
[pid=8435] vsize: 766360
Current children cumulated CPU time (s) 828.95
Current children cumulated vsize (Kb) 766360

[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 193313 0 0 0 82287 1579 0 0 25 0 1 0 1782724690 796954624 193125 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 194569 193125 1116 68 0 194501 0
[pid=8435] vsize: 778276
Current children cumulated CPU time (s) 838.66
Current children cumulated vsize (Kb) 778276

[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 194191 0 0 0 83259 1589 0 0 25 0 1 0 1782724690 800468992 194003 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 195427 194003 1116 68 0 195359 0
[pid=8435] vsize: 781708
Current children cumulated CPU time (s) 848.48
Current children cumulated vsize (Kb) 781708

[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 197214 0 0 0 84211 1610 0 0 25 0 1 0 1782724690 812916736 197026 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 198466 197026 1116 68 0 198398 0
[pid=8435] vsize: 793864
Current children cumulated CPU time (s) 858.21
Current children cumulated vsize (Kb) 793864

[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 199106 0 0 0 85176 1625 0 0 25 0 1 0 1782724690 820772864 198918 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 200384 198918 1116 68 0 200316 0
[pid=8435] vsize: 801536
Current children cumulated CPU time (s) 868.01
Current children cumulated vsize (Kb) 801536

[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 202174 0 0 0 86126 1645 0 0 25 0 1 0 1782724690 833212416 201986 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 203421 201986 1116 68 0 203353 0
[pid=8435] vsize: 813684
Current children cumulated CPU time (s) 877.71
Current children cumulated vsize (Kb) 813684

[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 204747 0 0 0 87082 1665 0 0 25 0 1 0 1782724690 843821056 204555 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 206011 204555 1116 68 0 205943 0
[pid=8435] vsize: 824044
Current children cumulated CPU time (s) 887.47
Current children cumulated vsize (Kb) 824044

[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 207630 0 0 0 88031 1686 0 0 25 0 1 0 1782724690 855724032 207438 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 208917 207438 1116 68 0 208849 0
[pid=8435] vsize: 835668
Current children cumulated CPU time (s) 897.17
Current children cumulated vsize (Kb) 835668

[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 209894 0 0 0 88994 1702 0 0 25 0 1 0 1782724690 864944128 209700 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 211168 209700 1116 68 0 211100 0
[pid=8435] vsize: 844672
Current children cumulated CPU time (s) 906.96
Current children cumulated vsize (Kb) 844672

[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 211678 0 0 0 89961 1717 0 0 25 0 1 0 1782724690 872398848 211484 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 212988 211484 1116 68 0 212920 0
[pid=8435] vsize: 851952
Current children cumulated CPU time (s) 916.78
Current children cumulated vsize (Kb) 851952

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 212024 0 0 0 90947 1721 0 0 25 0 1 0 1782724690 873795584 211830 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 213329 211830 1116 68 0 213261 0
[pid=8435] vsize: 853316
Current children cumulated CPU time (s) 926.68
Current children cumulated vsize (Kb) 853316

[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 212231 0 0 0 91944 1723 0 0 25 0 1 0 1782724690 874606592 212037 4294967295 134512640 134736556 3221224560 3221223164 134537554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 213527 212037 1116 68 0 213459 0
[pid=8435] vsize: 854108
Current children cumulated CPU time (s) 936.67
Current children cumulated vsize (Kb) 854108

[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 212448 0 0 0 92940 1725 0 0 25 0 1 0 1782724690 875552768 212254 4294967295 134512640 134736556 3221224560 3221223296 134529320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 213758 212254 1116 68 0 213690 0
[pid=8435] vsize: 855032
Current children cumulated CPU time (s) 946.65
Current children cumulated vsize (Kb) 855032

[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 212637 0 0 0 93936 1727 0 0 25 0 1 0 1782724690 876363776 212443 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 213956 212443 1116 68 0 213888 0
[pid=8435] vsize: 855824
Current children cumulated CPU time (s) 956.63
Current children cumulated vsize (Kb) 855824

[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 212843 0 0 0 94932 1729 0 0 25 0 1 0 1782724690 877174784 212649 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 214154 212649 1116 68 0 214086 0
[pid=8435] vsize: 856616
Current children cumulated CPU time (s) 966.61
Current children cumulated vsize (Kb) 856616

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 213034 0 0 0 95927 1731 0 0 25 0 1 0 1782724690 877985792 212840 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8435/statm): 214352 212840 1116 68 0 214284 0
[pid=8435] vsize: 857408
Current children cumulated CPU time (s) 976.58
Current children cumulated vsize (Kb) 857408

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 213231 0 0 0 96924 1733 0 0 25 0 1 0 1782724690 878796800 213037 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 214550 213037 1116 68 0 214482 0
[pid=8435] vsize: 858200
Current children cumulated CPU time (s) 986.57
Current children cumulated vsize (Kb) 858200

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 213430 0 0 0 97920 1735 0 0 25 0 1 0 1782724690 879607808 213236 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 214748 213236 1116 68 0 214680 0
[pid=8435] vsize: 858992
Current children cumulated CPU time (s) 996.55
Current children cumulated vsize (Kb) 858992

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 213632 0 0 0 98914 1737 0 0 25 0 1 0 1782724690 880418816 213438 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 214946 213438 1116 68 0 214878 0
[pid=8435] vsize: 859784
Current children cumulated CPU time (s) 1006.51
Current children cumulated vsize (Kb) 859784

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 215654 0 0 0 99878 1753 0 0 25 0 1 0 1782724690 888664064 215460 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 216959 215460 1116 68 0 216891 0
[pid=8435] vsize: 867836
Current children cumulated CPU time (s) 1016.31
Current children cumulated vsize (Kb) 867836

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 215861 0 0 0 100862 1759 0 0 25 0 1 0 1782724690 889622528 215665 4294967295 134512640 134736556 3221224560 3221223248 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 217193 215665 1116 68 0 217125 0
[pid=8435] vsize: 868772
Current children cumulated CPU time (s) 1026.21
Current children cumulated vsize (Kb) 868772

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 216426 0 0 0 101845 1766 0 0 25 0 1 0 1782724690 891924480 216230 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 217755 216230 1116 68 0 217687 0
[pid=8435] vsize: 871020
Current children cumulated CPU time (s) 1036.11
Current children cumulated vsize (Kb) 871020

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 217172 0 0 0 102829 1773 0 0 25 0 1 0 1782724690 894902272 216976 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 218482 216976 1116 68 0 218414 0
[pid=8435] vsize: 873928
Current children cumulated CPU time (s) 1046.02
Current children cumulated vsize (Kb) 873928

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 217955 0 0 0 103804 1784 0 0 25 0 1 0 1782724690 898158592 217759 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 219277 217759 1116 68 0 219209 0
[pid=8435] vsize: 877108
Current children cumulated CPU time (s) 1055.88
Current children cumulated vsize (Kb) 877108

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 221451 0 0 0 104751 1808 0 0 25 0 1 0 1782724690 912498688 221255 4294967295 134512640 134736556 3221224560 3221223256 134554058 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 222778 221255 1116 68 0 222710 0
[pid=8435] vsize: 891112
Current children cumulated CPU time (s) 1065.59
Current children cumulated vsize (Kb) 891112

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 221489 0 0 0 105735 1813 0 0 25 0 1 0 1782724690 912633856 221293 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8435/statm): 222811 221293 1116 68 0 222743 0
[pid=8435] vsize: 891244
Current children cumulated CPU time (s) 1075.48
Current children cumulated vsize (Kb) 891244

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 0 224756 0 0 0 106688 1836 0 0 25 0 1 0 1782724690 926027776 224560 4294967295 134512640 134736556 3221224560 3221223276 134694456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 226081 224560 1116 68 0 226013 0
[pid=8435] vsize: 904324
Current children cumulated CPU time (s) 1085.24
Current children cumulated vsize (Kb) 904324



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+1117.92 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8435
Raw data (/proc/8435/stat): 8435 (bsolo) T 8434 8435 6847 0 -1 0 229051 0 0 0 107418 1859 0 0 25 0 1 0 1782724690 943759360 228854 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8435/statm): 230410 228854 1116 68 0 230342 0
[pid=8435] vsize: 921640
Current children cumulated CPU time (s) 1092.77
Current children cumulated vsize (Kb) 921640

Sending SIGTERM to -8435
Sleeping 2 seconds
Sending SIGKILL to -8435

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8436
Raw data (/proc/8435/stat): 8435 (bsolo) R 8434 8435 6847 0 -1 1028 229051 0 0 0 107418 1873 0 0 17 0 1 0 1782724690 0 0 4294967295 0 0 0 0 0 0 16384 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8435/statm): 0 0 0 0 0 0 0
[pid=8435] vsize: 0
Current children cumulated CPU time (s) 1092.91
Current children cumulated vsize (Kb) 0
One traced child (pid=8435) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1120.35
CPU time (s): 1093.2
CPU user time (s): 1074.19
CPU system time (s): 19.0151
CPU usage (%): 97.5768
Max. virtual memory (cumulated for all children) (Kb): 921640

Verifier Data

ERROR: no interpretation found !