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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 8388608
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark12.5581
Number of variables4060
Total number of constraints204
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 constraints204
Minimum length of a constraint20
Maximum length of a constraint80

Trace number 5084

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-19 22:24:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=838 boxname=wulflinc12 idbench=838 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 838
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        908276 kB
Buffers:         37536 kB
Cached:          56508 kB
SwapCached:        544 kB
Active:          70980 kB
Inactive:        25648 kB
HighTotal:      131008 kB
HighFree:        74760 kB
LowTotal:       903652 kB
LowFree:        833516 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            24144 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:38:31 (client local time) WITH STATUS 0 IN 829.724 SECONDS
stats: 838 7 829.724 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 4060 variables and 294 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.218
c After prepocess the problem consists of 3804 variables and 293 constraints.
c Initial Lower Bound: -16383
c Restart #1 #Var: 3804 #Dec: 6756 LB: -16383 @ 3.046
c Restart #2 #Var: 3804 #Dec: 39456 LB: -16383 @ 5.945
c Restart #3 #Var: 3804 #Dec: 87038 LB: -16383 @ 10.454
c Restart #4 #Var: 3804 #Dec: 162091 LB: -16383 @ 15.931
c Restart #5 #Var: 3804 #Dec: 229684 LB: -16383 @ 20.061
c Restart #6 #Var: 3804 #Dec: 266240 LB: -16383 @ 22.414
c Restart #7 #Var: 3804 #Dec: 267656 LB: -16383 @ 24.165
c Restart #8 #Var: 3804 #Dec: 269270 LB: -16383 @ 25.861
c Restart #9 #Var: 3804 #Dec: 271082 LB: -16383 @ 27.417
c Restart #10 #Var: 3804 #Dec: 273091 LB: -16383 @ 29.282
c Restart #11 #Var: 3804 #Dec: 275304 LB: -16383 @ 31.998
c Restart #12 #Var: 3804 #Dec: 281223 LB: -16383 @ 34.777
c Restart #13 #Var: 3804 #Dec: 288410 LB: -16383 @ 39.386
c Restart #14 #Var: 3804 #Dec: 291986 LB: -16383 @ 44.617
c Restart #15 #Var: 3804 #Dec: 297650 LB: -16383 @ 47.629
c Restart #16 #Var: 3776 #Dec: 302129 LB: -16383 @ 49.772
c Restart #17 #Var: 3776 #Dec: 305561 LB: -16383 @ 52.884
c Restart #18 #Var: 3776 #Dec: 309188 LB: -16383 @ 58.269
c Restart #19 #Var: 3776 #Dec: 313010 LB: -16383 @ 64.536
c Restart #20 #Var: 3776 #Dec: 317034 LB: -16383 @ 72.746
c Restart #21 #Var: 3776 #Dec: 321262 LB: -16383 @ 79.737
c Restart #22 #Var: 3776 #Dec: 325686 LB: -16383 @ 87.437
c Restart #23 #Var: 3776 #Dec: 330310 LB: -16383 @ 95.088
c Restart #24 #Var: 3776 #Dec: 335136 LB: -16383 @ 105.47
c Restart #25 #Var: 3776 #Dec: 340158 LB: -16383 @ 114.89
c Restart #26 #Var: 3776 #Dec: 345380 LB: -16383 @ 124.76
c Restart #27 #Var: 3776 #Dec: 350807 LB: -16383 @ 133.16
c Restart #28 #Var: 3775 #Dec: 359346 LB: -16383 @ 143.44
c Restart #29 #Var: 3739 #Dec: 375249 LB: -16383 @ 173.05
c Restart #30 #Var: 3720 #Dec: 389405 LB: -7679 @ 226.34
c Restart #31 #Var: 3707 #Dec: 420324 LB: -7679 @ 311.05
c Restart #32 #Var: 3707 #Dec: 428939 LB: -7679 @ 314.95
c Restart #33 #Var: 3707 #Dec: 435572 LB: -7679 @ 318.37
c Restart #34 #Var: 3707 #Dec: 442413 LB: -7679 @ 322.24
c Restart #35 #Var: 3707 #Dec: 449446 LB: -7679 @ 328.43
c Restart #36 #Var: 3707 #Dec: 456689 LB: -7679 @ 334.14
c Restart #37 #Var: 3707 #Dec: 464413 LB: -7679 @ 341.67
c Restart #38 #Var: 3707 #Dec: 472110 LB: -7679 @ 349.39
c Restart #39 #Var: 3707 #Dec: 479946 LB: -7679 @ 355.35
c Restart #40 #Var: 3707 #Dec: 487982 LB: -7679 @ 362.55
c Restart #41 #Var: 3707 #Dec: 496215 LB: -7679 @ 375.54
c Restart #42 #Var: 3707 #Dec: 504653 LB: -7679 @ 391.93
c Restart #43 #Var: 3692 #Dec: 516215 LB: -7679 @ 424.27
c Restart #44 #Var: 3692 #Dec: 525054 LB: -7679 @ 430.07
c Restart #45 #Var: 3692 #Dec: 534088 LB: -7679 @ 435.59
c Restart #46 #Var: 3692 #Dec: 543325 LB: -7679 @ 443.98
c Restart #47 #Var: 3688 #Dec: 552866 LB: -7679 @ 452.57
c Restart #48 #Var: 3687 #Dec: 562564 LB: -7679 @ 460.46
c Restart #49 #Var: 3687 #Dec: 572403 LB: -7679 @ 470.28
c Restart #50 #Var: 3687 #Dec: 582439 LB: -7679 @ 478.52
c Restart #51 #Var: 3687 #Dec: 592675 LB: -7679 @ 494.9
c Restart #52 #Var: 3687 #Dec: 603109 LB: -7679 @ 509.66
c Restart #53 #Var: 3687 #Dec: 613737 LB: -7679 @ 524.51
c CHANGE Heuristic... 
c Restart #0 #Var: 3687 #Dec: 624566 LB: -7679 @ 691.91
c Restart #1 #Var: 3686 #Dec: 624961 LB: -7679 @ 693.88
c Restart #2 #Var: 3664 #Dec: 626029 LB: -7679 @ 694.4
c Restart #3 #Var: 3659 #Dec: 626773 LB: -7679 @ 695.5
c Restart #4 #Var: 3656 #Dec: 627638 LB: -7679 @ 696.61
c Restart #5 #Var: 3656 #Dec: 628650 LB: -7679 @ 698.57
c Restart #6 #Var: 3656 #Dec: 629886 LB: -7679 @ 700.13
c Restart #7 #Var: 3656 #Dec: 631297 LB: -7679 @ 702.5
c Restart #8 #Var: 3653 #Dec: 632954 LB: -7679 @ 706.37
c Restart #9 #Var: 3652 #Dec: 634909 LB: -7679 @ 710.06
c Restart #10 #Var: 3651 #Dec: 636951 LB: -7679 @ 716.28
c Restart #11 #Var: 3651 #Dec: 639693 LB: -7679 @ 722.79
c Restart #12 #Var: 3651 #Dec: 642206 LB: -7679 @ 724.77
c Restart #13 #Var: 3651 #Dec: 645040 LB: -7679 @ 726.65
c Restart #14 #Var: 3648 #Dec: 648219 LB: -7679 @ 731.14
c Restart #15 #Var: 3641 #Dec: 651808 LB: -7679 @ 733.24
c Restart #16 #Var: 3641 #Dec: 655948 LB: -7679 @ 735.9
c Restart #17 #Var: 3641 #Dec: 659383 LB: -7679 @ 741.28
c Restart #18 #Var: 3640 #Dec: 663418 LB: -7679 @ 743.65
c Restart #19 #Var: 3640 #Dec: 667250 LB: -7679 @ 745.64
c Restart #20 #Var: 3640 #Dec: 671279 LB: -7679 @ 747.76
c Restart #21 #Var: 3640 #Dec: 675552 LB: -7679 @ 750.43
c Restart #22 #Var: 3640 #Dec: 679990 LB: -7679 @ 753.35
c Restart #23 #Var: 3640 #Dec: 684630 LB: -7679 @ 756.74
c Restart #24 #Var: 3640 #Dec: 690043 LB: -7679 @ 772.34
c Restart #25 #Var: 3639 #Dec: 695909 LB: -7679 @ 778.49
c Restart #26 #Var: 3639 #Dec: 701138 LB: -7679 @ 781.71
c Restart #27 #Var: 3639 #Dec: 706568 LB: -7679 @ 784.79
c Restart #28 #Var: 3639 #Dec: 712199 LB: -7679 @ 788.07
c Restart #29 #Var: 3639 #Dec: 718259 LB: -7679 @ 793.49
c Restart #30 #Var: 3639 #Dec: 724302 LB: -7679 @ 797.76
c Restart #31 #Var: 3639 #Dec: 730550 LB: -7679 @ 801.81
c Restart #32 #Var: 3638 #Dec: 737368 LB: -7679 @ 807.98
c Restart #33 #Var: 3638 #Dec: 744012 LB: -7679 @ 812.48
c Restart #34 #Var: 3638 #Dec: 750852 LB: -7679 @ 817.31
c Restart #35 #Var: 3638 #Dec: 757893 LB: -7679 @ 822.4
c Restart #36 #Var: 3638 #Dec: 765133 LB: -7679 @ 827.69
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/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795233072 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 107 3 90 68 0 39 0
[pid=8133] 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/wulflinc12/normalized-mps-v2-13-7-sc205.opb

[startup+10.0034 s]
Raw data (loadavg): 0.84 0.94 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 4419 0 0 0 724 103 0 0 19 0 1 0 1795233072 21250048 4330 4294967295 134512640 134736556 3221224560 3221223188 134634388 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 5188 4330 1116 68 0 5120 0
[pid=8133] vsize: 20752
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (Kb) 20752

[startup+20.0043 s]
Raw data (loadavg): 0.86 0.94 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 4881 0 0 0 1351 228 0 0 17 0 1 0 1795233072 23142400 4792 4294967295 134512640 134736556 3221224560 3221223104 134540206 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 5650 4792 1116 68 0 5582 0
[pid=8133] vsize: 22600
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (Kb) 22600

[startup+30.0051 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 5868 0 0 0 1929 372 0 0 25 0 1 0 1795233072 27201536 5779 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 6641 5779 1116 68 0 6573 0
[pid=8133] vsize: 26564
Current children cumulated CPU time (s) 23.01
Current children cumulated vsize (Kb) 26564

[startup+40.005 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 9152 0 0 0 2857 403 0 0 21 0 1 0 1795233072 40722432 9062 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 9942 9062 1116 68 0 9874 0
[pid=8133] vsize: 39768
Current children cumulated CPU time (s) 32.6
Current children cumulated vsize (Kb) 39768

[startup+50.0058 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 11717 0 0 0 3798 428 0 0 25 0 1 0 1795233072 51257344 11626 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 12514 11626 1116 68 0 12446 0
[pid=8133] vsize: 50056
Current children cumulated CPU time (s) 42.26
Current children cumulated vsize (Kb) 50056

[startup+60.0066 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 17681 0 0 0 4706 468 0 0 25 0 1 0 1795233072 75726848 17589 4294967295 134512640 134736556 3221224560 3221222124 134634644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 18488 17590 1116 68 0 18420 0
[pid=8133] vsize: 73952
Current children cumulated CPU time (s) 51.74
Current children cumulated vsize (Kb) 73952

[startup+70.0075 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 21152 0 0 0 5661 491 0 0 25 0 1 0 1795233072 89964544 21059 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 21964 21059 1116 68 0 21896 0
[pid=8133] vsize: 87856
Current children cumulated CPU time (s) 61.52
Current children cumulated vsize (Kb) 87856

[startup+80.0083 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 24138 0 0 0 6621 509 0 0 25 0 1 0 1795233072 102154240 24044 4294967295 134512640 134736556 3221224560 3221223180 134551267 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 24940 24044 1116 68 0 24872 0
[pid=8133] vsize: 99760
Current children cumulated CPU time (s) 71.3
Current children cumulated vsize (Kb) 99760

[startup+90.0081 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 27288 0 0 0 7583 526 0 0 25 0 1 0 1795233072 115200000 27192 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 28125 27192 1116 68 0 28057 0
[pid=8133] vsize: 112500
Current children cumulated CPU time (s) 81.09
Current children cumulated vsize (Kb) 112500

[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 30616 0 0 0 8540 545 0 0 25 0 1 0 1795233072 128860160 30520 4294967295 134512640 134736556 3221224560 3221223068 134540160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 31460 30520 1116 68 0 31392 0
[pid=8133] vsize: 125840
Current children cumulated CPU time (s) 90.85
Current children cumulated vsize (Kb) 125840

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 33505 0 0 0 9503 565 0 0 25 0 1 0 1795233072 140783616 33407 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 34371 33407 1116 68 0 34303 0
[pid=8133] vsize: 137484
Current children cumulated CPU time (s) 100.68
Current children cumulated vsize (Kb) 137484

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 35934 0 0 0 10471 581 0 0 25 0 1 0 1795233072 150724608 35828 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 36798 35828 1116 68 0 36730 0
[pid=8133] vsize: 147192
Current children cumulated CPU time (s) 110.52
Current children cumulated vsize (Kb) 147192

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 38677 0 0 0 11436 596 0 0 25 0 1 0 1795233072 161976320 38570 4294967295 134512640 134736556 3221224560 3221223168 134524693 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 39545 38570 1116 68 0 39477 0
[pid=8133] vsize: 158180
Current children cumulated CPU time (s) 120.32
Current children cumulated vsize (Kb) 158180

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 42283 0 0 0 12393 618 0 0 25 0 1 0 1795233072 176803840 42170 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 43165 42170 1116 68 0 43097 0
[pid=8133] vsize: 172660
Current children cumulated CPU time (s) 130.11
Current children cumulated vsize (Kb) 172660

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 45258 0 0 0 13348 638 0 0 21 0 1 0 1795233072 189001728 45144 4294967295 134512640 134736556 3221224560 3221223152 134550935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 46143 45144 1116 68 0 46075 0
[pid=8133] vsize: 184572
Current children cumulated CPU time (s) 139.86
Current children cumulated vsize (Kb) 184572

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 46020 0 0 0 14317 650 0 0 25 0 1 0 1795233072 192196608 45902 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 46923 45902 1116 68 0 46855 0
[pid=8133] vsize: 187692
Current children cumulated CPU time (s) 149.67
Current children cumulated vsize (Kb) 187692

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 46210 0 0 0 15296 659 0 0 25 0 1 0 1795233072 193024000 46092 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 47125 46092 1116 68 0 47057 0
[pid=8133] vsize: 188500
Current children cumulated CPU time (s) 159.55
Current children cumulated vsize (Kb) 188500

[startup+180.014 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 47818 0 0 0 16261 673 0 0 25 0 1 0 1795233072 199512064 47700 4294967295 134512640 134736556 3221224560 3221223156 134540399 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 48709 47700 1116 68 0 48641 0
[pid=8133] vsize: 194836
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (Kb) 194836

[startup+190.013 s]
Raw data (loadavg): 1.06 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 48657 0 0 0 17236 683 0 0 25 0 1 0 1795233072 203046912 48539 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 49572 48539 1116 68 0 49504 0
[pid=8133] vsize: 198288
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (Kb) 198288

[startup+200.014 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 49055 0 0 0 18223 689 0 0 25 0 1 0 1795233072 204722176 48933 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 49981 48933 1116 68 0 49913 0
[pid=8133] vsize: 199924
Current children cumulated CPU time (s) 189.12
Current children cumulated vsize (Kb) 199924

[startup+210.015 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 49500 0 0 0 19209 694 0 0 25 0 1 0 1795233072 206475264 49378 4294967295 134512640 134736556 3221224560 3221223296 134529464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 50409 49378 1116 68 0 50341 0
[pid=8133] vsize: 201636
Current children cumulated CPU time (s) 199.03
Current children cumulated vsize (Kb) 201636

[startup+220.016 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 50053 0 0 0 20196 701 0 0 25 0 1 0 1795233072 208826368 49929 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 50983 49929 1116 68 0 50915 0
[pid=8133] vsize: 203932
Current children cumulated CPU time (s) 208.97
Current children cumulated vsize (Kb) 203932

[startup+230.017 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 50333 0 0 0 21191 703 0 0 25 0 1 0 1795233072 209907712 50209 4294967295 134512640 134736556 3221224560 3221223184 134537314 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 51247 50209 1116 68 0 51179 0
[pid=8133] vsize: 204988
Current children cumulated CPU time (s) 218.94
Current children cumulated vsize (Kb) 204988

[startup+240.018 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 50873 0 0 0 22158 714 0 0 25 0 1 0 1795233072 212193280 50749 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 51805 50749 1116 68 0 51737 0
[pid=8133] vsize: 207220
Current children cumulated CPU time (s) 228.72
Current children cumulated vsize (Kb) 207220

[startup+250.018 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 50963 0 0 0 23139 721 0 0 25 0 1 0 1795233072 212594688 50839 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 51903 50839 1116 68 0 51835 0
[pid=8133] vsize: 207612
Current children cumulated CPU time (s) 238.6
Current children cumulated vsize (Kb) 207612

[startup+260.019 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 51044 0 0 0 24129 726 0 0 25 0 1 0 1795233072 212865024 50920 4294967295 134512640 134736556 3221224560 3221223296 134528960 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 51969 50920 1116 68 0 51901 0
[pid=8133] vsize: 207876
Current children cumulated CPU time (s) 248.55
Current children cumulated vsize (Kb) 207876

[startup+270.021 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 51238 0 0 0 25113 731 0 0 25 0 1 0 1795233072 213676032 51114 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 52167 51114 1116 68 0 52099 0
[pid=8133] vsize: 208668
Current children cumulated CPU time (s) 258.44
Current children cumulated vsize (Kb) 208668

[startup+280.021 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 51309 0 0 0 26107 733 0 0 25 0 1 0 1795233072 213946368 51185 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 52233 51185 1116 68 0 52165 0
[pid=8133] vsize: 208932
Current children cumulated CPU time (s) 268.4
Current children cumulated vsize (Kb) 208932

[startup+290.021 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 51455 0 0 0 27094 739 0 0 25 0 1 0 1795233072 214622208 51331 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 52398 51331 1116 68 0 52330 0
[pid=8133] vsize: 209592
Current children cumulated CPU time (s) 278.33
Current children cumulated vsize (Kb) 209592

[startup+300.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 51794 0 0 0 28069 748 0 0 25 0 1 0 1795233072 215969792 51670 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 52727 51670 1116 68 0 52659 0
[pid=8133] vsize: 210908
Current children cumulated CPU time (s) 288.17
Current children cumulated vsize (Kb) 210908

[startup+310.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 52318 0 0 0 29032 761 0 0 25 0 1 0 1795233072 218120192 52194 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 53252 52194 1116 68 0 53184 0
[pid=8133] vsize: 213008
Current children cumulated CPU time (s) 297.93
Current children cumulated vsize (Kb) 213008

[startup+320.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 52743 0 0 0 30006 771 0 0 25 0 1 0 1795233072 219877376 52619 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 53681 52619 1116 68 0 53613 0
[pid=8133] vsize: 214724
Current children cumulated CPU time (s) 307.77
Current children cumulated vsize (Kb) 214724

[startup+330.023 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 59037 0 0 0 30922 808 0 0 25 0 1 0 1795233072 245755904 58909 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 59999 58909 1116 68 0 59931 0
[pid=8133] vsize: 239996
Current children cumulated CPU time (s) 317.3
Current children cumulated vsize (Kb) 239996

[startup+340.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 66676 0 0 0 31834 849 0 0 25 0 1 0 1795233072 277233664 66532 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 67684 66532 1116 68 0 67616 0
[pid=8133] vsize: 270736
Current children cumulated CPU time (s) 326.83
Current children cumulated vsize (Kb) 270736

[startup+350.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 73290 0 0 0 32759 883 0 0 25 0 1 0 1795233072 304316416 73142 4294967295 134512640 134736556 3221224560 3221223232 134536515 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 74296 73142 1116 68 0 74228 0
[pid=8133] vsize: 297184
Current children cumulated CPU time (s) 336.42
Current children cumulated vsize (Kb) 297184

[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 77796 0 0 0 33705 908 0 0 25 0 1 0 1795233072 322867200 77645 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 78825 77645 1116 68 0 78757 0
[pid=8133] vsize: 315300
Current children cumulated CPU time (s) 346.13
Current children cumulated vsize (Kb) 315300

[startup+370.025 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 84122 0 0 0 34633 941 0 0 25 0 1 0 1795233072 349003776 83946 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8133/statm): 85206 83946 1116 68 0 85138 0
[pid=8133] vsize: 340824
Current children cumulated CPU time (s) 355.74
Current children cumulated vsize (Kb) 340824

[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 88645 0 0 0 35580 965 0 0 25 0 1 0 1795233072 367611904 88462 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 89749 88462 1116 68 0 89681 0
[pid=8133] vsize: 358996
Current children cumulated CPU time (s) 365.45
Current children cumulated vsize (Kb) 358996

[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 92753 0 0 0 36531 989 0 0 20 0 1 0 1795233072 384372736 92570 4294967295 134512640 134736556 3221224560 3221223084 134536235 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 93841 92570 1116 68 0 93773 0
[pid=8133] vsize: 375364
Current children cumulated CPU time (s) 375.2
Current children cumulated vsize (Kb) 375364

[startup+400.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 97350 0 0 0 37473 1016 0 0 25 0 1 0 1795233072 403226624 97162 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 98444 97162 1116 68 0 98376 0
[pid=8133] vsize: 393776
Current children cumulated CPU time (s) 384.89
Current children cumulated vsize (Kb) 393776

[startup+410.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 98650 0 0 0 38456 1023 0 0 25 0 1 0 1795233072 408698880 98455 4294967295 134512640 134736556 3221224560 3221223116 134537543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 99780 98455 1116 68 0 99712 0
[pid=8133] vsize: 399120
Current children cumulated CPU time (s) 394.79
Current children cumulated vsize (Kb) 399120

[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 98973 0 0 0 39444 1028 0 0 25 0 1 0 1795233072 409927680 98778 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 100080 98778 1116 68 0 100012 0
[pid=8133] vsize: 400320
Current children cumulated CPU time (s) 404.72
Current children cumulated vsize (Kb) 400320

[startup+430.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 98998 0 0 0 40437 1030 0 0 25 0 1 0 1795233072 410062848 98803 4294967295 134512640 134736556 3221224560 3221223088 134716588 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 100113 98803 1116 68 0 100045 0
[pid=8133] vsize: 400452
Current children cumulated CPU time (s) 414.67
Current children cumulated vsize (Kb) 400452

[startup+440.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 101982 0 0 0 41401 1048 0 0 25 0 1 0 1795233072 422371328 101774 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 103118 101774 1116 68 0 103050 0
[pid=8133] vsize: 412472
Current children cumulated CPU time (s) 424.49
Current children cumulated vsize (Kb) 412472

[startup+450.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 110598 0 0 0 42298 1098 0 0 25 0 1 0 1795233072 457826304 110382 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 111774 110382 1116 68 0 111706 0
[pid=8133] vsize: 447096
Current children cumulated CPU time (s) 433.96
Current children cumulated vsize (Kb) 447096

[startup+460.029 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 116748 0 0 0 43227 1133 0 0 25 0 1 0 1795233072 482934784 116441 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 117904 116441 1116 68 0 117836 0
[pid=8133] vsize: 471616
Current children cumulated CPU time (s) 443.6
Current children cumulated vsize (Kb) 471616

[startup+470.03 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 122257 0 0 0 44160 1165 0 0 25 0 1 0 1795233072 505589760 121948 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8133/statm): 123435 121948 1116 68 0 123367 0
[pid=8133] vsize: 493740
Current children cumulated CPU time (s) 453.25
Current children cumulated vsize (Kb) 493740

[startup+480.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 128743 0 0 0 45083 1204 0 0 25 0 1 0 1795233072 532262912 128424 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 129947 128424 1116 68 0 129879 0
[pid=8133] vsize: 519788
Current children cumulated CPU time (s) 462.87
Current children cumulated vsize (Kb) 519788

[startup+490.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 134030 0 0 0 46021 1232 0 0 25 0 1 0 1795233072 554004480 133709 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 135255 133709 1116 68 0 135187 0
[pid=8133] vsize: 541020
Current children cumulated CPU time (s) 472.53
Current children cumulated vsize (Kb) 541020

[startup+500.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 139516 0 0 0 46956 1262 0 0 25 0 1 0 1795233072 576643072 139183 4294967295 134512640 134736556 3221224560 3221223296 134529360 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 140782 139183 1116 68 0 140714 0
[pid=8133] vsize: 563128
Current children cumulated CPU time (s) 482.18
Current children cumulated vsize (Kb) 563128

[startup+510.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 142584 0 0 0 47920 1279 0 0 25 0 1 0 1795233072 589099008 142251 4294967295 134512640 134736556 3221224560 3221223136 134550707 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 143823 142251 1116 68 0 143755 0
[pid=8133] vsize: 575292
Current children cumulated CPU time (s) 491.99
Current children cumulated vsize (Kb) 575292

[startup+520.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 147119 0 0 0 48868 1304 0 0 25 0 1 0 1795233072 607698944 146693 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 148364 146693 1116 68 0 148296 0
[pid=8133] vsize: 593456
Current children cumulated CPU time (s) 501.72
Current children cumulated vsize (Kb) 593456

[startup+530.034 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 150461 0 0 0 49832 1320 0 0 25 0 1 0 1795233072 621416448 150034 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 151713 150034 1116 68 0 151645 0
[pid=8133] vsize: 606852
Current children cumulated CPU time (s) 511.52
Current children cumulated vsize (Kb) 606852

[startup+540.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 153339 0 0 0 50798 1335 0 0 25 0 1 0 1795233072 633466880 152908 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 154655 152908 1116 68 0 154587 0
[pid=8133] vsize: 618620
Current children cumulated CPU time (s) 521.33
Current children cumulated vsize (Kb) 618620

[startup+550.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159646 0 0 0 51728 1368 0 0 25 0 1 0 1795233072 659197952 159213 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 160937 159213 1116 68 0 160869 0
[pid=8133] vsize: 643748
Current children cumulated CPU time (s) 530.96
Current children cumulated vsize (Kb) 643748

[startup+560.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159693 0 0 0 52726 1369 0 0 25 0 1 0 1795233072 659333120 159260 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 160970 159260 1116 68 0 160902 0
[pid=8133] vsize: 643880
Current children cumulated CPU time (s) 540.95
Current children cumulated vsize (Kb) 643880

[startup+570.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159752 0 0 0 53725 1369 0 0 25 0 1 0 1795233072 659468288 159319 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161003 159319 1116 68 0 160935 0
[pid=8133] vsize: 644012
Current children cumulated CPU time (s) 550.94
Current children cumulated vsize (Kb) 644012

[startup+580.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159811 0 0 0 54724 1370 0 0 25 0 1 0 1795233072 659738624 159378 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161069 159378 1116 68 0 161001 0
[pid=8133] vsize: 644276
Current children cumulated CPU time (s) 560.94
Current children cumulated vsize (Kb) 644276

[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159876 0 0 0 55723 1370 0 0 25 0 1 0 1795233072 660008960 159443 4294967295 134512640 134736556 3221224560 3221223132 134551266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161135 159443 1116 68 0 161067 0
[pid=8133] vsize: 644540
Current children cumulated CPU time (s) 570.93
Current children cumulated vsize (Kb) 644540

[startup+600.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159935 0 0 0 56722 1371 0 0 25 0 1 0 1795233072 660279296 159502 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161201 159502 1116 68 0 161133 0
[pid=8133] vsize: 644804
Current children cumulated CPU time (s) 580.93
Current children cumulated vsize (Kb) 644804

[startup+610.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 159995 0 0 0 57721 1371 0 0 25 0 1 0 1795233072 660549632 159562 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161267 159562 1116 68 0 161199 0
[pid=8133] vsize: 645068
Current children cumulated CPU time (s) 590.92
Current children cumulated vsize (Kb) 645068

[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160058 0 0 0 58720 1372 0 0 25 0 1 0 1795233072 660819968 159625 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161333 159625 1116 68 0 161265 0
[pid=8133] vsize: 645332
Current children cumulated CPU time (s) 600.92
Current children cumulated vsize (Kb) 645332

[startup+630.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160138 0 0 0 59719 1373 0 0 25 0 1 0 1795233072 661155840 159696 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161415 159696 1116 68 0 161347 0
[pid=8133] vsize: 645660
Current children cumulated CPU time (s) 610.92
Current children cumulated vsize (Kb) 645660

[startup+640.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160194 0 0 0 60718 1373 0 0 25 0 1 0 1795233072 661426176 159752 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161481 159752 1116 68 0 161413 0
[pid=8133] vsize: 645924
Current children cumulated CPU time (s) 620.91
Current children cumulated vsize (Kb) 645924

[startup+650.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160246 0 0 0 61718 1373 0 0 25 0 1 0 1795233072 661561344 159804 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161514 159804 1116 68 0 161446 0
[pid=8133] vsize: 646056
Current children cumulated CPU time (s) 630.91
Current children cumulated vsize (Kb) 646056

[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160305 0 0 0 62716 1374 0 0 25 0 1 0 1795233072 661831680 159863 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161580 159863 1116 68 0 161512 0
[pid=8133] vsize: 646320
Current children cumulated CPU time (s) 640.9
Current children cumulated vsize (Kb) 646320

[startup+670.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160365 0 0 0 63715 1375 0 0 25 0 1 0 1795233072 662102016 159923 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161646 159923 1116 68 0 161578 0
[pid=8133] vsize: 646584
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 646584

[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160427 0 0 0 64714 1376 0 0 25 0 1 0 1795233072 662372352 159985 4294967295 134512640 134736556 3221224560 3221223212 134524324 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161712 159985 1116 68 0 161644 0
[pid=8133] vsize: 646848
Current children cumulated CPU time (s) 660.9
Current children cumulated vsize (Kb) 646848

[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160492 0 0 0 65713 1377 0 0 25 0 1 0 1795233072 662642688 160050 4294967295 134512640 134736556 3221224560 3221223220 134536526 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161778 160050 1116 68 0 161710 0
[pid=8133] vsize: 647112
Current children cumulated CPU time (s) 670.9
Current children cumulated vsize (Kb) 647112

[startup+700.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160611 0 0 0 66711 1378 0 0 25 0 1 0 1795233072 663048192 160169 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 161877 160169 1116 68 0 161809 0
[pid=8133] vsize: 647508
Current children cumulated CPU time (s) 680.89
Current children cumulated vsize (Kb) 647508

[startup+710.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 160746 0 0 0 67708 1379 0 0 25 0 1 0 1795233072 663592960 160304 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 162010 160304 1116 68 0 161942 0
[pid=8133] vsize: 648040
Current children cumulated CPU time (s) 690.87
Current children cumulated vsize (Kb) 648040

[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 162265 0 0 0 68674 1394 0 0 25 0 1 0 1795233072 669843456 161823 4294967295 134512640 134736556 3221224560 3221223104 134544572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 163536 161823 1116 68 0 163468 0
[pid=8133] vsize: 654144
Current children cumulated CPU time (s) 700.68
Current children cumulated vsize (Kb) 654144

[startup+730.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 163782 0 0 0 69645 1408 0 0 25 0 1 0 1795233072 676069376 163340 4294967295 134512640 134736556 3221224560 3221223072 134543134 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 165056 163340 1116 68 0 164988 0
[pid=8133] vsize: 660224
Current children cumulated CPU time (s) 710.53
Current children cumulated vsize (Kb) 660224

[startup+740.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 164823 0 0 0 70627 1416 0 0 25 0 1 0 1795233072 680386560 164380 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 166110 164380 1116 68 0 166042 0
[pid=8133] vsize: 664440
Current children cumulated CPU time (s) 720.43
Current children cumulated vsize (Kb) 664440

[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 169071 0 0 0 71567 1444 0 0 25 0 1 0 1795233072 697696256 168628 4294967295 134512640 134736556 3221224560 3221223032 134717565 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 170336 168628 1116 68 0 170268 0
[pid=8133] vsize: 681344
Current children cumulated CPU time (s) 730.11
Current children cumulated vsize (Kb) 681344

[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 173964 0 0 0 72501 1475 0 0 25 0 1 0 1795233072 717705216 173521 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 175221 173521 1116 68 0 175153 0
[pid=8133] vsize: 700884
Current children cumulated CPU time (s) 739.76
Current children cumulated vsize (Kb) 700884

[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 181091 0 0 0 73400 1522 0 0 25 0 1 0 1795233072 747106304 180646 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/8133/statm): 182399 180646 1116 68 0 182331 0
[pid=8133] vsize: 729596
Current children cumulated CPU time (s) 749.22
Current children cumulated vsize (Kb) 729596

[startup+780.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 187658 0 0 0 74321 1560 0 0 25 0 1 0 1795233072 774049792 187211 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 188977 187211 1116 68 0 188909 0
[pid=8133] vsize: 755908
Current children cumulated CPU time (s) 758.81
Current children cumulated vsize (Kb) 755908

[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 189318 0 0 0 75298 1570 0 0 25 0 1 0 1795233072 780955648 188869 4294967295 134512640 134736556 3221224560 3221223224 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 190663 188869 1116 68 0 190595 0
[pid=8133] vsize: 762652
Current children cumulated CPU time (s) 768.68
Current children cumulated vsize (Kb) 762652

[startup+800.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 191614 0 0 0 76261 1587 0 0 25 0 1 0 1795233072 790294528 191162 4294967295 134512640 134736556 3221224560 3221223280 134529464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 192943 191162 1116 68 0 192875 0
[pid=8133] vsize: 771772
Current children cumulated CPU time (s) 778.48
Current children cumulated vsize (Kb) 771772

[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 198808 0 0 0 77163 1631 0 0 25 0 1 0 1795233072 819847168 198345 4294967295 134512640 134736556 3221224560 3221223096 1077377612 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8133/statm): 200158 198345 1116 68 0 200090 0
[pid=8133] vsize: 800632
Current children cumulated CPU time (s) 787.94
Current children cumulated vsize (Kb) 800632

[startup+820.047 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 205394 0 0 0 78081 1670 0 0 25 0 1 0 1795233072 846942208 204928 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 206773 204928 1116 68 0 206705 0
[pid=8133] vsize: 827092
Current children cumulated CPU time (s) 797.51
Current children cumulated vsize (Kb) 827092

[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 211709 0 0 0 79004 1703 0 0 25 0 1 0 1795233072 873009152 211236 4294967295 134512640 134736556 3221224560 3221223096 1077377571 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 213137 211237 1116 68 0 213069 0
[pid=8133] vsize: 852548
Current children cumulated CPU time (s) 807.07
Current children cumulated vsize (Kb) 852548

[startup+840.047 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 219475 0 0 0 79913 1747 0 0 25 0 1 0 1795233072 905039872 218978 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 220957 218978 1116 68 0 220889 0
[pid=8133] vsize: 883828
Current children cumulated CPU time (s) 816.6
Current children cumulated vsize (Kb) 883828

[startup+850.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) R 8132 8133 8263 0 -1 0 226754 0 0 0 80828 1787 0 0 25 0 1 0 1795233072 934854656 226252 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8133/statm): 228236 226253 1116 68 0 228168 0
[pid=8133] vsize: 912944
Current children cumulated CPU time (s) 826.15
Current children cumulated vsize (Kb) 912944



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+853.307 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 8133
Raw data (/proc/8133/stat): 8133 (bsolo) T 8132 8133 8263 0 -1 0 228881 0 0 0 81129 1800 0 0 25 0 1 0 1795233072 943771648 228367 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8133/statm): 230413 228367 1116 68 0 230345 0
[pid=8133] vsize: 921652
Current children cumulated CPU time (s) 829.29
Current children cumulated vsize (Kb) 921652

Sending SIGTERM to -8133
Sleeping 2 seconds
Sending SIGKILL to -8133
One traced child (pid=8133) 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): 855.729
CPU time (s): 829.724
CPU user time (s): 811.3
CPU system time (s): 18.4242
CPU usage (%): 96.9611
Max. virtual memory (cumulated for all children) (Kb): 921652

Verifier Data

ERROR: no interpretation found !