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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb
MD5SUM39aa57894e5a2a46514193d566bffe40
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 6930
Biggest coefficient in the objective function 53730040872960
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 8516865379203027
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9060
Total number of constraints467
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints467
Minimum length of a constraint30
Maximum length of a constraint1440

Trace number 447

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-18 10:24:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=407 boxname=wulflinc9 idbench=407 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  39aa57894e5a2a46514193d566bffe40  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-agg3.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-agg3.opb
IDLAUNCH: 407
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        946720 kB
Buffers:         33456 kB
Cached:          28196 kB
SwapCached:       1044 kB
Active:          55532 kB
Inactive:         8812 kB
HighTotal:      131008 kB
HighFree:        99316 kB
LowTotal:       903652 kB
LowFree:        847404 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            17948 kB
Committed_AS:    64140 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 10:42:28 (client local time) WITH STATUS 0 IN 1033.72 SECONDS
stats: 407 7 1033.72 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 9060 variables and 489 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 7.573
c After prepocess the problem consists of 7917 variables and 314 constraints.
c Initial Lower Bound: -237906118256916
c Restart #1 #Var: 7917 #Dec: 22040 LB: -237906118256916 @ 10.318
c Restart #2 #Var: 7917 #Dec: 64968 LB: -237906118256916 @ 15.606
c Restart #3 #Var: 7917 #Dec: 123154 LB: -237906118256916 @ 23.275
c Restart #4 #Var: 7917 #Dec: 200255 LB: -237906118256916 @ 33.708
c Restart #5 #Var: 7917 #Dec: 358740 LB: -237906118256916 @ 49.407
c Restart #6 #Var: 7917 #Dec: 565720 LB: -237906118256916 @ 64.905
c Restart #7 #Var: 7917 #Dec: 617362 LB: -237906118256916 @ 69.124
c Restart #8 #Var: 7917 #Dec: 647617 LB: -237906118256916 @ 72.088
c Restart #9 #Var: 7917 #Dec: 674742 LB: -237906118256916 @ 74.905
c Restart #10 #Var: 7917 #Dec: 676987 LB: -237906118256916 @ 76.276
c Restart #11 #Var: 7917 #Dec: 679217 LB: -237906118256916 @ 77.766
c Restart #12 #Var: 7917 #Dec: 681659 LB: -237906118256916 @ 79.367
c Restart #13 #Var: 7917 #Dec: 684291 LB: -237906118256916 @ 82.195
c Restart #14 #Var: 7917 #Dec: 687123 LB: -237906118256916 @ 88.662
c Restart #15 #Var: 7917 #Dec: 690149 LB: -237906118256916 @ 96.628
c Restart #16 #Var: 7917 #Dec: 693373 LB: -237906118256916 @ 106.85
c Restart #17 #Var: 7917 #Dec: 696794 LB: -237906118256916 @ 118.51
c Restart #18 #Var: 7917 #Dec: 700415 LB: -237906118256916 @ 133.89
c Restart #19 #Var: 7917 #Dec: 704236 LB: -237906118256916 @ 143.68
c Restart #20 #Var: 7917 #Dec: 708254 LB: -237906118256916 @ 159.63
c Restart #21 #Var: 7917 #Dec: 712477 LB: -237906118256916 @ 177.19
c Restart #22 #Var: 7917 #Dec: 716899 LB: -237906118256916 @ 194.47
c Restart #23 #Var: 7917 #Dec: 721520 LB: -237906118256916 @ 201.74
c Restart #24 #Var: 7917 #Dec: 726339 LB: -237906118256916 @ 207.81
c Restart #25 #Var: 7917 #Dec: 731357 LB: -237906118256916 @ 222
c Restart #26 #Var: 7917 #Dec: 736579 LB: -237906118256916 @ 238.56
c Restart #27 #Var: 7917 #Dec: 741998 LB: -237906118256916 @ 248.36
c Restart #28 #Var: 7917 #Dec: 747622 LB: -237906118256916 @ 264.23
c Restart #29 #Var: 7917 #Dec: 753448 LB: -237906118256916 @ 275.08
c Restart #30 #Var: 7917 #Dec: 759464 LB: -237906118256916 @ 282.75
c Restart #31 #Var: 7917 #Dec: 767857 LB: -237906118256916 @ 309.12
c Restart #32 #Var: 7917 #Dec: 774348 LB: -237906118256916 @ 333.29
c Restart #33 #Var: 7917 #Dec: 781572 LB: -237906118256916 @ 349.91
c Restart #34 #Var: 7917 #Dec: 790148 LB: -237906118256916 @ 366.72
c Restart #35 #Var: 7917 #Dec: 797158 LB: -237906118256916 @ 388.1
c Restart #36 #Var: 7917 #Dec: 804373 LB: -237906118256916 @ 415.46
c Restart #37 #Var: 7917 #Dec: 813179 LB: -237906118256916 @ 430.85
c Restart #38 #Var: 7917 #Dec: 820849 LB: -237906118256916 @ 459.55
c Restart #39 #Var: 7917 #Dec: 835510 LB: -237906118256916 @ 480.08
c Restart #40 #Var: 7917 #Dec: 848810 LB: -237906118256916 @ 492.39
c Restart #41 #Var: 7917 #Dec: 858015 LB: -237906118256916 @ 519.35
c Restart #42 #Var: 7916 #Dec: 866704 LB: -237906118256916 @ 554.16
c Restart #43 #Var: 7916 #Dec: 875313 LB: -237906118256916 @ 587.78
c CHANGE Heuristic... 
c Restart #0 #Var: 7916 #Dec: 884126 LB: -237906118256916 @ 625.74
c Restart #1 #Var: 7916 #Dec: 887323 LB: -237906118256916 @ 626.27
c Restart #2 #Var: 7916 #Dec: 888777 LB: -237906118256916 @ 626.85
c Restart #3 #Var: 7916 #Dec: 890450 LB: -237906118256916 @ 628.08
c Restart #4 #Var: 7916 #Dec: 892383 LB: -237906118256916 @ 629.07
c Restart #5 #Var: 7916 #Dec: 896748 LB: -237906118256916 @ 630.44
c Restart #6 #Var: 7916 #Dec: 898681 LB: -237906118256916 @ 631.53
c Restart #7 #Var: 7916 #Dec: 901067 LB: -237906118256916 @ 633.09
c Restart #8 #Var: 7916 #Dec: 903195 LB: -237906118256916 @ 635.5
c Restart #9 #Var: 7916 #Dec: 905043 LB: -237906118256916 @ 637.51
c Restart #10 #Var: 7916 #Dec: 907093 LB: -237906118256916 @ 640.64
c Restart #11 #Var: 7916 #Dec: 909344 LB: -237906118256916 @ 643.3
c Restart #12 #Var: 7916 #Dec: 911791 LB: -237906118256916 @ 647.38
c Restart #13 #Var: 7916 #Dec: 914438 LB: -237906118256916 @ 650.61
c Restart #14 #Var: 7916 #Dec: 917287 LB: -237906118256916 @ 655.37
c Restart #15 #Var: 7916 #Dec: 920335 LB: -237906118256916 @ 658.82
c Restart #16 #Var: 7916 #Dec: 923581 LB: -237906118256916 @ 663.83
c Restart #17 #Var: 7916 #Dec: 927030 LB: -237906118256916 @ 667.74
c Restart #18 #Var: 7916 #Dec: 930677 LB: -237906118256916 @ 672.99
c Restart #19 #Var: 7916 #Dec: 934526 LB: -237906118256916 @ 678.26
c Restart #20 #Var: 7916 #Dec: 938579 LB: -237906118256916 @ 687.85
c Restart #21 #Var: 7916 #Dec: 942823 LB: -237906118256916 @ 706.49
c Restart #22 #Var: 7916 #Dec: 947273 LB: -237906118256916 @ 710.6
c Restart #23 #Var: 7916 #Dec: 951925 LB: -237906118256916 @ 714.08
c Restart #24 #Var: 7916 #Dec: 956775 LB: -237906118256916 @ 736.47
c Restart #25 #Var: 7916 #Dec: 961827 LB: -237906118256916 @ 759.57
c Restart #26 #Var: 7916 #Dec: 967081 LB: -237906118256916 @ 767
c Restart #27 #Var: 7916 #Dec: 972533 LB: -237906118256916 @ 792.57
c Restart #28 #Var: 7916 #Dec: 978180 LB: -237906118256916 @ 800.36
c Restart #29 #Var: 7916 #Dec: 984031 LB: -237906118256916 @ 828.38
c Restart #30 #Var: 7916 #Dec: 990080 LB: -237906118256916 @ 837.1
c Restart #31 #Var: 7916 #Dec: 996332 LB: -237906118256916 @ 868.14
c Restart #32 #Var: 7916 #Dec: 1002782 LB: -237906118256916 @ 877.14
c Restart #33 #Var: 7916 #Dec: 1009430 LB: -237906118256916 @ 908.73
c Restart #34 #Var: 7916 #Dec: 1016280 LB: -237906118256916 @ 918.31
c Restart #35 #Var: 7916 #Dec: 1023329 LB: -237906118256916 @ 951.53
c Restart #36 #Var: 7916 #Dec: 1030576 LB: -237906118256916 @ 961.6
c Restart #37 #Var: 7916 #Dec: 1038025 LB: -237906118256916 @ 976.74
c Restart #38 #Var: 7916 #Dec: 1045673 LB: -237906118256916 @ 987.7
c Restart #39 #Var: 7916 #Dec: 1053524 LB: -237906118256916 @ 994.68
c Restart #40 #Var: 7916 #Dec: 1061571 LB: -237906118256916 @ 1006.6
c Restart #41 #Var: 7916 #Dec: 1069820 LB: -237906118256916 @ 1014.2
c Restart #42 #Var: 7916 #Dec: 1078269 LB: -237906118256916 @ 1028.3
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/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782285823 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 107 3 90 68 0 39 0
[pid=31943] 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/wulflinc9/normalized-mps-v2-20-10-agg3.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 7964 0 0 0 898 47 0 0 21 0 1 0 1782285823 35975168 7875 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 8783 7875 1116 68 0 8715 0
[pid=31943] vsize: 35132
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (Kb) 35132

[startup+20.0037 s]
Raw data (loadavg): 0.94 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 8062 0 0 0 1634 133 0 0 18 0 1 0 1782285823 36380672 7973 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 8882 7973 1116 68 0 8814 0
[pid=31943] vsize: 35528
Current children cumulated CPU time (s) 17.67
Current children cumulated vsize (Kb) 35528

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 8163 0 0 0 2384 215 0 0 20 0 1 0 1782285823 36786176 8074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 8981 8074 1116 68 0 8913 0
[pid=31943] vsize: 35924
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (Kb) 35924

[startup+40.0043 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 8272 0 0 0 3136 296 0 0 20 0 1 0 1782285823 37191680 8183 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 9080 8183 1116 68 0 9012 0
[pid=31943] vsize: 36320
Current children cumulated CPU time (s) 34.32
Current children cumulated vsize (Kb) 36320

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 8398 0 0 0 3853 387 0 0 18 0 1 0 1782285823 37732352 8309 4294967295 134512640 134736556 3221224560 3221223104 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 9212 8309 1116 68 0 9144 0
[pid=31943] vsize: 36848
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (Kb) 36848

[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 8556 0 0 0 4495 509 0 0 15 0 1 0 1782285823 38408192 8467 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 9377 8467 1116 68 0 9309 0
[pid=31943] vsize: 37508
Current children cumulated CPU time (s) 50.04
Current children cumulated vsize (Kb) 37508

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 8802 0 0 0 5107 637 0 0 15 0 1 0 1782285823 39489536 8713 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 9641 8713 1116 68 0 9573 0
[pid=31943] vsize: 38564
Current children cumulated CPU time (s) 57.44
Current children cumulated vsize (Kb) 38564

[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 9202 0 0 0 5712 766 0 0 15 0 1 0 1782285823 41111552 9113 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 10037 9113 1116 68 0 9969 0
[pid=31943] vsize: 40148
Current children cumulated CPU time (s) 64.78
Current children cumulated vsize (Kb) 40148

[startup+90.0072 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 10851 0 0 0 6360 883 0 0 16 0 1 0 1782285823 47882240 10762 4294967295 134512640 134736556 3221224560 3221223104 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 11690 10762 1116 68 0 11622 0
[pid=31943] vsize: 46760
Current children cumulated CPU time (s) 72.43
Current children cumulated vsize (Kb) 46760

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 16597 0 0 0 7204 947 0 0 19 0 1 0 1782285823 71438336 16505 4294967295 134512640 134736556 3221224560 3221223072 134536005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 17441 16505 1116 68 0 17373 0
[pid=31943] vsize: 69764
Current children cumulated CPU time (s) 81.51
Current children cumulated vsize (Kb) 69764

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 18895 0 0 0 8172 963 0 0 25 0 1 0 1782285823 80986112 18798 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 19772 18798 1116 68 0 19704 0
[pid=31943] vsize: 79088
Current children cumulated CPU time (s) 91.35
Current children cumulated vsize (Kb) 79088

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 20974 0 0 0 9143 977 0 0 25 0 1 0 1782285823 89538560 20872 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 21860 20872 1116 68 0 21792 0
[pid=31943] vsize: 87440
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (Kb) 87440

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 22331 0 0 0 10124 987 0 0 25 0 1 0 1782285823 95100928 22225 4294967295 134512640 134736556 3221224560 3221223016 134554078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 23218 22225 1116 68 0 23150 0
[pid=31943] vsize: 92872
Current children cumulated CPU time (s) 111.11
Current children cumulated vsize (Kb) 92872

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 23872 0 0 0 11099 1001 0 0 25 0 1 0 1782285823 101486592 23764 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 24777 23764 1116 68 0 24709 0
[pid=31943] vsize: 99108
Current children cumulated CPU time (s) 121
Current children cumulated vsize (Kb) 99108

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 25049 0 0 0 12079 1010 0 0 25 0 1 0 1782285823 106360832 24941 4294967295 134512640 134736556 3221224560 3221223276 134553983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 25967 24941 1116 68 0 25899 0
[pid=31943] vsize: 103868
Current children cumulated CPU time (s) 130.89
Current children cumulated vsize (Kb) 103868

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 26870 0 0 0 13055 1023 0 0 25 0 1 0 1782285823 113799168 26762 4294967295 134512640 134736556 3221224560 3221223248 134524400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 27783 26762 1116 68 0 27715 0
[pid=31943] vsize: 111132
Current children cumulated CPU time (s) 140.78
Current children cumulated vsize (Kb) 111132

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 28430 0 0 0 14034 1031 0 0 25 0 1 0 1782285823 120217600 28320 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 29350 28320 1116 68 0 29282 0
[pid=31943] vsize: 117400
Current children cumulated CPU time (s) 150.65
Current children cumulated vsize (Kb) 117400

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 29921 0 0 0 15012 1044 0 0 25 0 1 0 1782285823 126300160 29811 4294967295 134512640 134736556 3221224560 3221223296 134529280 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 30835 29811 1116 68 0 30767 0
[pid=31943] vsize: 123340
Current children cumulated CPU time (s) 160.56
Current children cumulated vsize (Kb) 123340

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 31157 0 0 0 15994 1051 0 0 25 0 1 0 1782285823 131448832 31047 4294967295 134512640 134736556 3221224560 3221223084 134536272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 32092 31047 1116 68 0 32024 0
[pid=31943] vsize: 128368
Current children cumulated CPU time (s) 170.45
Current children cumulated vsize (Kb) 128368

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 32382 0 0 0 16980 1058 0 0 25 0 1 0 1782285823 136470528 32272 4294967295 134512640 134736556 3221224560 3221223128 134550923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 33318 32272 1116 68 0 33250 0
[pid=31943] vsize: 133272
Current children cumulated CPU time (s) 180.38
Current children cumulated vsize (Kb) 133272

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 34204 0 0 0 17956 1069 0 0 25 0 1 0 1782285823 143912960 34093 4294967295 134512640 134736556 3221224560 3221223096 1077377784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 35135 34093 1116 68 0 35067 0
[pid=31943] vsize: 140540
Current children cumulated CPU time (s) 190.25
Current children cumulated vsize (Kb) 140540

[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 36460 0 0 0 18927 1084 0 0 25 0 1 0 1782285823 153231360 36345 4294967295 134512640 134736556 3221224560 3221223488 134583225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 37410 36345 1116 68 0 37342 0
[pid=31943] vsize: 149640
Current children cumulated CPU time (s) 200.11
Current children cumulated vsize (Kb) 149640

[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 39973 0 0 0 19882 1107 0 0 25 0 1 0 1782285823 167702528 39855 4294967295 134512640 134736556 3221224560 3221223164 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 40943 39855 1116 68 0 40875 0
[pid=31943] vsize: 163772
Current children cumulated CPU time (s) 209.89
Current children cumulated vsize (Kb) 163772

[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 41831 0 0 0 20859 1119 0 0 25 0 1 0 1782285823 175271936 41713 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 42791 41713 1116 68 0 42723 0
[pid=31943] vsize: 171164
Current children cumulated CPU time (s) 219.78
Current children cumulated vsize (Kb) 171164

[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 44303 0 0 0 21829 1133 0 0 22 0 1 0 1782285823 185397248 44184 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 45263 44184 1116 68 0 45195 0
[pid=31943] vsize: 181052
Current children cumulated CPU time (s) 229.62
Current children cumulated vsize (Kb) 181052

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 45854 0 0 0 22809 1143 0 0 25 0 1 0 1782285823 192016384 45729 4294967295 134512640 134736556 3221224560 3221223264 134528729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 46879 45729 1116 68 0 46811 0
[pid=31943] vsize: 187516
Current children cumulated CPU time (s) 239.52
Current children cumulated vsize (Kb) 187516

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 48427 0 0 0 23779 1158 0 0 25 0 1 0 1782285823 202424320 48302 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 49420 48302 1116 68 0 49352 0
[pid=31943] vsize: 197680
Current children cumulated CPU time (s) 249.37
Current children cumulated vsize (Kb) 197680

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 50616 0 0 0 24754 1170 0 0 25 0 1 0 1782285823 211415040 50489 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 51615 50489 1116 68 0 51547 0
[pid=31943] vsize: 206460
Current children cumulated CPU time (s) 259.24
Current children cumulated vsize (Kb) 206460

[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 54235 0 0 0 25710 1190 0 0 17 0 1 0 1782285823 226537472 54102 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 55307 54102 1116 68 0 55239 0
[pid=31943] vsize: 221228
Current children cumulated CPU time (s) 269
Current children cumulated vsize (Kb) 221228

[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 56276 0 0 0 26684 1201 0 0 25 0 1 0 1782285823 234815488 56135 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 57328 56135 1116 68 0 57260 0
[pid=31943] vsize: 229312
Current children cumulated CPU time (s) 278.85
Current children cumulated vsize (Kb) 229312

[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 58273 0 0 0 27656 1215 0 0 25 0 1 0 1782285823 242962432 58130 4294967295 134512640 134736556 3221224560 3221223084 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 59317 58130 1116 68 0 59249 0
[pid=31943] vsize: 237268
Current children cumulated CPU time (s) 288.71
Current children cumulated vsize (Kb) 237268

[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 58753 0 0 0 28648 1220 0 0 25 0 1 0 1782285823 244989952 58610 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 59812 58610 1116 68 0 59744 0
[pid=31943] vsize: 239248
Current children cumulated CPU time (s) 298.68
Current children cumulated vsize (Kb) 239248

[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 60129 0 0 0 29610 1237 0 0 25 0 1 0 1782285823 250654720 59986 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 61195 59986 1116 68 0 61127 0
[pid=31943] vsize: 244780
Current children cumulated CPU time (s) 308.47
Current children cumulated vsize (Kb) 244780

[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 61493 0 0 0 30589 1246 0 0 25 0 1 0 1782285823 256122880 61346 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 62530 61346 1116 68 0 62462 0
[pid=31943] vsize: 250120
Current children cumulated CPU time (s) 318.35
Current children cumulated vsize (Kb) 250120

[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 62852 0 0 0 31569 1257 0 0 25 0 1 0 1782285823 261865472 62695 4294967295 134512640 134736556 3221224560 3221223116 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 63932 62695 1116 68 0 63864 0
[pid=31943] vsize: 255728
Current children cumulated CPU time (s) 328.26
Current children cumulated vsize (Kb) 255728

[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 64315 0 0 0 32549 1265 0 0 25 0 1 0 1782285823 267878400 64158 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 65400 64158 1116 68 0 65332 0
[pid=31943] vsize: 261600
Current children cumulated CPU time (s) 338.14
Current children cumulated vsize (Kb) 261600

[startup+370.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 66753 0 0 0 33519 1279 0 0 25 0 1 0 1782285823 277909504 66595 4294967295 134512640 134736556 3221224560 3221223152 134540206 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 67849 66595 1116 68 0 67781 0
[pid=31943] vsize: 271396
Current children cumulated CPU time (s) 347.98
Current children cumulated vsize (Kb) 271396

[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 68798 0 0 0 34482 1296 0 0 25 0 1 0 1782285823 286294016 68640 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 69896 68640 1116 68 0 69828 0
[pid=31943] vsize: 279584
Current children cumulated CPU time (s) 357.78
Current children cumulated vsize (Kb) 279584

[startup+390.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 70717 0 0 0 35458 1307 0 0 25 0 1 0 1782285823 294354944 70555 4294967295 134512640 134736556 3221224560 3221223164 134537504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 71864 70555 1116 68 0 71796 0
[pid=31943] vsize: 287456
Current children cumulated CPU time (s) 367.65
Current children cumulated vsize (Kb) 287456

[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 72548 0 0 0 36433 1319 0 0 25 0 1 0 1782285823 301809664 72384 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 73684 72384 1116 68 0 73616 0
[pid=31943] vsize: 294736
Current children cumulated CPU time (s) 377.52
Current children cumulated vsize (Kb) 294736

[startup+410.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 74376 0 0 0 37409 1331 0 0 25 0 1 0 1782285823 309379072 74212 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 75532 74212 1116 68 0 75464 0
[pid=31943] vsize: 302128
Current children cumulated CPU time (s) 387.4
Current children cumulated vsize (Kb) 302128

[startup+420.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 75724 0 0 0 38391 1341 0 0 25 0 1 0 1782285823 314994688 75560 4294967295 134512640 134736556 3221224560 3221223024 134536162 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 76903 75560 1116 68 0 76835 0
[pid=31943] vsize: 307612
Current children cumulated CPU time (s) 397.32
Current children cumulated vsize (Kb) 307612

[startup+430.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 77023 0 0 0 39374 1349 0 0 25 0 1 0 1782285823 320266240 76859 4294967295 134512640 134736556 3221224560 3221223272 134553973 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 78190 76859 1116 68 0 78122 0
[pid=31943] vsize: 312760
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (Kb) 312760

[startup+440.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 78676 0 0 0 40352 1360 0 0 25 0 1 0 1782285823 327057408 78508 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 79848 78508 1116 68 0 79780 0
[pid=31943] vsize: 319392
Current children cumulated CPU time (s) 417.12
Current children cumulated vsize (Kb) 319392

[startup+450.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 81188 0 0 0 41312 1378 0 0 25 0 1 0 1782285823 337354752 81016 4294967295 134512640 134736556 3221224560 3221223272 134694472 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 82362 81016 1116 68 0 82294 0
[pid=31943] vsize: 329448
Current children cumulated CPU time (s) 426.9
Current children cumulated vsize (Kb) 329448

[startup+460.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 83007 0 0 0 42283 1392 0 0 25 0 1 0 1782285823 345042944 82832 4294967295 134512640 134736556 3221224560 3221223128 134536209 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 84239 82832 1116 68 0 84171 0
[pid=31943] vsize: 336956
Current children cumulated CPU time (s) 436.75
Current children cumulated vsize (Kb) 336956

[startup+470.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 84400 0 0 0 43267 1399 0 0 25 0 1 0 1782285823 350728192 84224 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 85627 84224 1116 68 0 85559 0
[pid=31943] vsize: 342508
Current children cumulated CPU time (s) 446.66
Current children cumulated vsize (Kb) 342508

[startup+480.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 85896 0 0 0 44249 1408 0 0 17 0 1 0 1782285823 356810752 85720 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 87112 85720 1116 68 0 87044 0
[pid=31943] vsize: 348448
Current children cumulated CPU time (s) 456.57
Current children cumulated vsize (Kb) 348448

[startup+490.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 86940 0 0 0 45232 1417 0 0 18 0 1 0 1782285823 361213952 86763 4294967295 134512640 134736556 3221224560 3221223120 134551078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 88187 86763 1116 68 0 88119 0
[pid=31943] vsize: 352748
Current children cumulated CPU time (s) 466.49
Current children cumulated vsize (Kb) 352748

[startup+500.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 90231 0 0 0 46184 1439 0 0 25 0 1 0 1782285823 374792192 90049 4294967295 134512640 134736556 3221224560 3221223236 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 91502 90049 1116 68 0 91434 0
[pid=31943] vsize: 366008
Current children cumulated CPU time (s) 476.23
Current children cumulated vsize (Kb) 366008

[startup+510.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 90509 0 0 0 47129 1459 0 0 25 0 1 0 1782285823 375857152 90327 4294967295 134512640 134736556 3221224560 3221223280 134605919 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 91762 90327 1116 68 0 91694 0
[pid=31943] vsize: 367048
Current children cumulated CPU time (s) 485.88
Current children cumulated vsize (Kb) 367048

[startup+520.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 90552 0 0 0 48091 1473 0 0 25 0 1 0 1782285823 376070144 90370 4294967295 134512640 134736556 3221224560 3221223124 134549974 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 91814 90370 1116 68 0 91746 0
[pid=31943] vsize: 367256
Current children cumulated CPU time (s) 495.64
Current children cumulated vsize (Kb) 367256

[startup+530.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 91513 0 0 0 49071 1481 0 0 25 0 1 0 1782285823 380055552 91322 4294967295 134512640 134736556 3221224560 3221223056 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 92787 91322 1116 68 0 92719 0
[pid=31943] vsize: 371148
Current children cumulated CPU time (s) 505.52
Current children cumulated vsize (Kb) 371148

[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 92641 0 0 0 50054 1490 0 0 25 0 1 0 1782285823 384679936 92450 4294967295 134512640 134736556 3221224560 3221223120 134551133 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 93916 92450 1116 68 0 93848 0
[pid=31943] vsize: 375664
Current children cumulated CPU time (s) 515.44
Current children cumulated vsize (Kb) 375664

[startup+550.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 94116 0 0 0 51035 1499 0 0 25 0 1 0 1782285823 390627328 93925 4294967295 134512640 134736556 3221224560 3221223168 134524348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 95368 93925 1116 68 0 95300 0
[pid=31943] vsize: 381472
Current children cumulated CPU time (s) 525.34
Current children cumulated vsize (Kb) 381472

[startup+560.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 95636 0 0 0 52013 1510 0 0 20 0 1 0 1782285823 396845056 95445 4294967295 134512640 134736556 3221224560 3221223196 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 96886 95445 1116 68 0 96818 0
[pid=31943] vsize: 387544
Current children cumulated CPU time (s) 535.23
Current children cumulated vsize (Kb) 387544

[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 96976 0 0 0 52993 1519 0 0 25 0 1 0 1782285823 402386944 96785 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 98239 96785 1116 68 0 98171 0
[pid=31943] vsize: 392956
Current children cumulated CPU time (s) 545.12
Current children cumulated vsize (Kb) 392956

[startup+580.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 97770 0 0 0 53982 1525 0 0 25 0 1 0 1782285823 405635072 97578 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 99032 97578 1116 68 0 98964 0
[pid=31943] vsize: 396128
Current children cumulated CPU time (s) 555.07
Current children cumulated vsize (Kb) 396128

[startup+590.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 99146 0 0 0 54962 1534 0 0 25 0 1 0 1782285823 411176960 98954 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 100385 98954 1116 68 0 100317 0
[pid=31943] vsize: 401540
Current children cumulated CPU time (s) 564.96
Current children cumulated vsize (Kb) 401540

[startup+600.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 100694 0 0 0 55942 1544 0 0 18 0 1 0 1782285823 417529856 100502 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 101936 100503 1116 68 0 101868 0
[pid=31943] vsize: 407744
Current children cumulated CPU time (s) 574.86
Current children cumulated vsize (Kb) 407744

[startup+610.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 102054 0 0 0 56924 1553 0 0 25 0 1 0 1782285823 423137280 101856 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 103305 101856 1116 68 0 103237 0
[pid=31943] vsize: 413220
Current children cumulated CPU time (s) 584.77
Current children cumulated vsize (Kb) 413220

[startup+620.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 103276 0 0 0 57908 1561 0 0 25 0 1 0 1782285823 428212224 103077 4294967295 134512640 134736556 3221224560 3221223152 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 104544 103077 1116 68 0 104476 0
[pid=31943] vsize: 418176
Current children cumulated CPU time (s) 594.69
Current children cumulated vsize (Kb) 418176

[startup+630.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 104494 0 0 0 58893 1567 0 0 25 0 1 0 1782285823 433078272 104295 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 105732 104295 1116 68 0 105664 0
[pid=31943] vsize: 422928
Current children cumulated CPU time (s) 604.6
Current children cumulated vsize (Kb) 422928

[startup+640.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 105836 0 0 0 59874 1577 0 0 25 0 1 0 1782285823 438620160 105637 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 107085 105637 1116 68 0 107017 0
[pid=31943] vsize: 428340
Current children cumulated CPU time (s) 614.51
Current children cumulated vsize (Kb) 428340

[startup+650.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 107085 0 0 0 60856 1587 0 0 25 0 1 0 1782285823 443805696 106886 4294967295 134512640 134736556 3221224560 3221223180 134537572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 108351 106886 1116 68 0 108283 0
[pid=31943] vsize: 433404
Current children cumulated CPU time (s) 624.43
Current children cumulated vsize (Kb) 433404

[startup+660.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 110342 0 0 0 61766 1625 0 0 18 0 1 0 1782285823 457043968 110127 4294967295 134512640 134736556 3221224560 3221223088 134524037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 111583 110127 1116 68 0 111515 0
[pid=31943] vsize: 446332
Current children cumulated CPU time (s) 633.91
Current children cumulated vsize (Kb) 446332

[startup+670.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 114926 0 0 0 62720 1648 0 0 25 0 1 0 1782285823 475848704 114711 4294967295 134512640 134736556 3221224560 3221223272 134560217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 116174 114711 1116 68 0 116106 0
[pid=31943] vsize: 464696
Current children cumulated CPU time (s) 643.68
Current children cumulated vsize (Kb) 464696

[startup+680.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 119028 0 0 0 63674 1668 0 0 25 0 1 0 1782285823 492744704 118811 4294967295 134512640 134736556 3221224560 3221223096 1077377762 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 120299 118811 1116 68 0 120231 0
[pid=31943] vsize: 481196
Current children cumulated CPU time (s) 653.42
Current children cumulated vsize (Kb) 481196

[startup+690.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 123386 0 0 0 64625 1693 0 0 25 0 1 0 1782285823 510607360 123169 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 124660 123169 1116 68 0 124592 0
[pid=31943] vsize: 498640
Current children cumulated CPU time (s) 663.18
Current children cumulated vsize (Kb) 498640

[startup+700.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 128070 0 0 0 65572 1721 0 0 25 0 1 0 1782285823 530014208 127843 4294967295 134512640 134736556 3221224560 3221223292 134554059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 129398 127843 1116 68 0 129330 0
[pid=31943] vsize: 517592
Current children cumulated CPU time (s) 672.93
Current children cumulated vsize (Kb) 517592

[startup+710.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 131959 0 0 0 66533 1740 0 0 25 0 1 0 1782285823 545902592 131727 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 133277 131727 1116 68 0 133209 0
[pid=31943] vsize: 533108
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (Kb) 533108

[startup+720.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 134067 0 0 0 67511 1750 0 0 25 0 1 0 1782285823 554594304 133833 4294967295 134512640 134736556 3221224560 3221223232 134536487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 135399 133833 1116 68 0 135331 0
[pid=31943] vsize: 541596
Current children cumulated CPU time (s) 692.61
Current children cumulated vsize (Kb) 541596

[startup+730.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 135370 0 0 0 68498 1757 0 0 25 0 1 0 1782285823 559996928 135136 4294967295 134512640 134736556 3221224560 3221223232 134528689 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 136718 135136 1116 68 0 136650 0
[pid=31943] vsize: 546872
Current children cumulated CPU time (s) 702.55
Current children cumulated vsize (Kb) 546872

[startup+740.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 141440 0 0 0 69437 1790 0 0 19 0 1 0 1782285823 584986624 141199 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 142819 141199 1116 68 0 142751 0
[pid=31943] vsize: 571276
Current children cumulated CPU time (s) 712.27
Current children cumulated vsize (Kb) 571276

[startup+750.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 143641 0 0 0 70413 1802 0 0 25 0 1 0 1782285823 593924096 143399 4294967295 134512640 134736556 3221224560 3221223280 134529177 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 145001 143399 1116 68 0 144933 0
[pid=31943] vsize: 580004
Current children cumulated CPU time (s) 722.15
Current children cumulated vsize (Kb) 580004

[startup+760.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 144893 0 0 0 71403 1808 0 0 25 0 1 0 1782285823 599080960 144651 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 146260 144651 1116 68 0 146192 0
[pid=31943] vsize: 585040
Current children cumulated CPU time (s) 732.11
Current children cumulated vsize (Kb) 585040

[startup+770.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 147496 0 0 0 72374 1822 0 0 25 0 1 0 1782285823 609775616 147250 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 148871 147250 1116 68 0 148803 0
[pid=31943] vsize: 595484
Current children cumulated CPU time (s) 741.96
Current children cumulated vsize (Kb) 595484

[startup+780.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 148873 0 0 0 73356 1832 0 0 25 0 1 0 1782285823 615452672 148627 4294967295 134512640 134736556 3221224560 3221223184 134537427 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 150257 148627 1116 68 0 150189 0
[pid=31943] vsize: 601028
Current children cumulated CPU time (s) 751.88
Current children cumulated vsize (Kb) 601028

[startup+790.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 150938 0 0 0 74331 1844 0 0 25 0 1 0 1782285823 623833088 150692 4294967295 134512640 134736556 3221224560 3221223100 134536596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 152303 150692 1116 68 0 152235 0
[pid=31943] vsize: 609212
Current children cumulated CPU time (s) 761.75
Current children cumulated vsize (Kb) 609212

[startup+800.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 153953 0 0 0 75295 1861 0 0 25 0 1 0 1782285823 636301312 153703 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 155347 153703 1116 68 0 155279 0
[pid=31943] vsize: 621388
Current children cumulated CPU time (s) 771.56
Current children cumulated vsize (Kb) 621388

[startup+810.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 155335 0 0 0 76278 1869 0 0 25 0 1 0 1782285823 641994752 155084 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 156737 155084 1116 68 0 156669 0
[pid=31943] vsize: 626948
Current children cumulated CPU time (s) 781.47
Current children cumulated vsize (Kb) 626948

[startup+820.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 156715 0 0 0 77260 1878 0 0 25 0 1 0 1782285823 647671808 156464 4294967295 134512640 134736556 3221224560 3221223272 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 158123 156464 1116 68 0 158055 0
[pid=31943] vsize: 632492
Current children cumulated CPU time (s) 791.38
Current children cumulated vsize (Kb) 632492

[startup+830.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 160625 0 0 0 78215 1900 0 0 25 0 1 0 1782285823 663736320 160369 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 162045 160369 1116 68 0 161977 0
[pid=31943] vsize: 648180
Current children cumulated CPU time (s) 801.15
Current children cumulated vsize (Kb) 648180

[startup+840.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 161971 0 0 0 79199 1907 0 0 25 0 1 0 1782285823 669278208 161715 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 163398 161715 1116 68 0 163330 0
[pid=31943] vsize: 653592
Current children cumulated CPU time (s) 811.06
Current children cumulated vsize (Kb) 653592

[startup+850.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 163349 0 0 0 80180 1917 0 0 25 0 1 0 1782285823 674955264 163093 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 164784 163093 1116 68 0 164716 0
[pid=31943] vsize: 659136
Current children cumulated CPU time (s) 820.97
Current children cumulated vsize (Kb) 659136

[startup+860.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 165419 0 0 0 81156 1928 0 0 25 0 1 0 1782285823 683335680 165161 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 166830 165161 1116 68 0 166762 0
[pid=31943] vsize: 667320
Current children cumulated CPU time (s) 830.84
Current children cumulated vsize (Kb) 667320

[startup+870.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 168725 0 0 0 82123 1944 0 0 25 0 1 0 1782285823 696889344 168463 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 170139 168463 1116 68 0 170071 0
[pid=31943] vsize: 680556
Current children cumulated CPU time (s) 840.67
Current children cumulated vsize (Kb) 680556

[startup+880.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 170025 0 0 0 83106 1954 0 0 25 0 1 0 1782285823 702308352 169763 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31943/statm): 171462 169763 1116 68 0 171394 0
[pid=31943] vsize: 685848
Current children cumulated CPU time (s) 850.6
Current children cumulated vsize (Kb) 685848

[startup+890.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 171339 0 0 0 84089 1963 0 0 25 0 1 0 1782285823 707657728 171073 4294967295 134512640 134736556 3221224560 3221222840 134634653 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 172768 171073 1116 68 0 172700 0
[pid=31943] vsize: 691072
Current children cumulated CPU time (s) 860.52
Current children cumulated vsize (Kb) 691072

[startup+900.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 173385 0 0 0 85064 1976 0 0 25 0 1 0 1782285823 716369920 173101 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 174895 173101 1116 68 0 174827 0
[pid=31943] vsize: 699580
Current children cumulated CPU time (s) 870.4
Current children cumulated vsize (Kb) 699580

[startup+910.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 176971 0 0 0 86025 1994 0 0 20 0 1 0 1782285823 730968064 176687 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 178459 176687 1116 68 0 178391 0
[pid=31943] vsize: 713836
Current children cumulated CPU time (s) 880.19
Current children cumulated vsize (Kb) 713836

[startup+920.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 178361 0 0 0 87009 2003 0 0 25 0 1 0 1782285823 736645120 178077 4294967295 134512640 134736556 3221224560 3221223232 134528766 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 179845 178077 1116 68 0 179777 0
[pid=31943] vsize: 719380
Current children cumulated CPU time (s) 890.12
Current children cumulated vsize (Kb) 719380

[startup+930.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 179729 0 0 0 87993 2013 0 0 25 0 1 0 1782285823 742195200 179445 4294967295 134512640 134736556 3221224560 3221223232 134528720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31943/statm): 181200 179445 1116 68 0 181132 0
[pid=31943] vsize: 724800
Current children cumulated CPU time (s) 900.06
Current children cumulated vsize (Kb) 724800

[startup+940.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 181354 0 0 0 88973 2023 0 0 25 0 1 0 1782285823 748892160 181068 4294967295 134512640 134736556 3221224560 3221223172 134537472 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 182835 181068 1116 68 0 182767 0
[pid=31943] vsize: 731340
Current children cumulated CPU time (s) 909.96
Current children cumulated vsize (Kb) 731340

[startup+950.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 185547 0 0 0 89929 2045 0 0 25 0 1 0 1782285823 765980672 185255 4294967295 134512640 134736556 3221224560 3221223280 134529182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 187007 185255 1116 68 0 186939 0
[pid=31943] vsize: 748028
Current children cumulated CPU time (s) 919.74
Current children cumulated vsize (Kb) 748028

[startup+960.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 186917 0 0 0 90911 2054 0 0 25 0 1 0 1782285823 771657728 186625 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 188393 186625 1116 68 0 188325 0
[pid=31943] vsize: 753572
Current children cumulated CPU time (s) 929.65
Current children cumulated vsize (Kb) 753572

[startup+970.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 188328 0 0 0 91893 2064 0 0 25 0 1 0 1782285823 777523200 188036 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 189825 188036 1116 68 0 189757 0
[pid=31943] vsize: 759300
Current children cumulated CPU time (s) 939.57
Current children cumulated vsize (Kb) 759300

[startup+980.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 189712 0 0 0 92874 2073 0 0 25 0 1 0 1782285823 783200256 189420 4294967295 134512640 134736556 3221224560 3221223264 134529227 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 191211 189420 1116 68 0 191143 0
[pid=31943] vsize: 764844
Current children cumulated CPU time (s) 949.47
Current children cumulated vsize (Kb) 764844

[startup+990.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 193610 0 0 0 93836 2093 0 0 22 0 1 0 1782285823 799064064 193315 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 195084 193315 1116 68 0 195016 0
[pid=31943] vsize: 780336
Current children cumulated CPU time (s) 959.29
Current children cumulated vsize (Kb) 780336

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 195746 0 0 0 94809 2107 0 0 25 0 1 0 1782285823 807940096 195447 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 197251 195447 1116 68 0 197183 0
[pid=31943] vsize: 789004
Current children cumulated CPU time (s) 969.16
Current children cumulated vsize (Kb) 789004

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 200542 0 0 0 95758 2131 0 0 25 0 1 0 1782285823 827637760 200147 4294967295 134512640 134736556 3221224560 3221223232 134528599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 202060 200147 1116 68 0 201992 0
[pid=31943] vsize: 808240
Current children cumulated CPU time (s) 978.89
Current children cumulated vsize (Kb) 808240

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 205147 0 0 0 96710 2155 0 0 25 0 1 0 1782285823 846524416 204744 4294967295 134512640 134736556 3221224560 3221223096 1077377648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 206671 204744 1116 68 0 206603 0
[pid=31943] vsize: 826684
Current children cumulated CPU time (s) 988.65
Current children cumulated vsize (Kb) 826684

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 211360 0 0 0 97644 2186 0 0 25 0 1 0 1782285823 871956480 210956 4294967295 134512640 134736556 3221224560 3221223104 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 212880 210956 1116 68 0 212812 0
[pid=31943] vsize: 851520
Current children cumulated CPU time (s) 998.3
Current children cumulated vsize (Kb) 851520

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 215910 0 0 0 98595 2210 0 0 25 0 1 0 1782285823 890540032 215497 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 217417 215497 1116 68 0 217349 0
[pid=31943] vsize: 869668
Current children cumulated CPU time (s) 1008.05
Current children cumulated vsize (Kb) 869668

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 221814 0 0 0 99534 2240 0 0 25 0 1 0 1782285823 914599936 221401 4294967295 134512640 134736556 3221224560 3221223296 134528871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 223291 221401 1116 68 0 223223 0
[pid=31943] vsize: 893164
Current children cumulated CPU time (s) 1017.74
Current children cumulated vsize (Kb) 893164

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) R 31942 31943 30740 0 -1 0 225751 0 0 0 100490 2262 0 0 25 0 1 0 1782285823 930758656 225338 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31943/statm): 227236 225338 1116 68 0 227168 0
[pid=31943] vsize: 908944
Current children cumulated CPU time (s) 1027.52
Current children cumulated vsize (Kb) 908944



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+1066.01 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 31943
Raw data (/proc/31943/stat): 31943 (bsolo) T 31942 31943 30740 0 -1 0 228881 0 0 0 101051 2278 0 0 17 0 1 0 1782285823 943833088 228464 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31943/statm): 230428 228464 1116 68 0 230360 0
[pid=31943] vsize: 921712
Current children cumulated CPU time (s) 1033.29
Current children cumulated vsize (Kb) 921712

Sending SIGTERM to -31943
Sleeping 2 seconds
Sending SIGKILL to -31943
One traced child (pid=31943) 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): 1068.43
CPU time (s): 1033.72
CPU user time (s): 1010.51
CPU system time (s): 23.2035
CPU usage (%): 96.7509
Max. virtual memory (cumulated for all children) (Kb): 921712

Verifier Data

ERROR: no interpretation found !