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/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
MD5SUMfca009b84c2f2c99c6eab1b54cde16f4
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 6144
Biggest coefficient in the objective function 409031671808
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 143020903040784
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 524288000000
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 143020903040784
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables10704
Total number of constraints1560
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1392
Minimum length of a constraint2
Maximum length of a constraint211

Trace number 5243

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-19 23:47:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1017 boxname=wulflinc25 idbench=1017 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  fca009b84c2f2c99c6eab1b54cde16f4  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-gesa3_o.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-gesa3_o.opb
IDLAUNCH: 1017
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922980 kB
Buffers:         14580 kB
Cached:          67716 kB
SwapCached:        868 kB
Active:          19380 kB
Inactive:        65576 kB
HighTotal:      131008 kB
HighFree:        59584 kB
LowTotal:       903652 kB
LowFree:        863396 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            20952 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:57:59 (client local time) WITH STATUS 0 IN 612.471 SECONDS
stats: 1017 7 612.471 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 10704 variables and 1536 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 4.376
c After prepocess the problem consists of 7416 variables and 1536 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 7416 #Dec: 33993 LB: 0 @ 6.712
c Restart #2 #Var: 7416 #Dec: 98491 LB: 0 @ 11.281
c Restart #3 #Var: 7416 #Dec: 190605 LB: 0 @ 18.006
c Restart #4 #Var: 7416 #Dec: 329515 LB: 0 @ 27.557
c Restart #5 #Var: 7416 #Dec: 542282 LB: 0 @ 41.344
c Restart #6 #Var: 7416 #Dec: 607501 LB: 0 @ 46.556
c Restart #7 #Var: 7416 #Dec: 628356 LB: 0 @ 48.942
c Restart #8 #Var: 7416 #Dec: 629968 LB: 0 @ 50.039
c Restart #9 #Var: 7416 #Dec: 631798 LB: 0 @ 51.515
c Restart #10 #Var: 7416 #Dec: 633817 LB: 0 @ 52.92
c Restart #11 #Var: 7416 #Dec: 636033 LB: 0 @ 54.761
c Restart #12 #Var: 7416 #Dec: 638451 LB: 0 @ 56.694
c Restart #13 #Var: 7416 #Dec: 641077 LB: 0 @ 58.819
c Restart #14 #Var: 7415 #Dec: 649615 LB: 0 @ 61.305
c Restart #15 #Var: 7415 #Dec: 652644 LB: 0 @ 63.496
c Restart #16 #Var: 7415 #Dec: 655927 LB: 0 @ 67.482
c Restart #17 #Var: 7415 #Dec: 659348 LB: 0 @ 70.245
c Restart #18 #Var: 7415 #Dec: 662972 LB: 0 @ 72.963
c Restart #19 #Var: 7415 #Dec: 666827 LB: 0 @ 77.073
c Restart #20 #Var: 7415 #Dec: 670855 LB: 0 @ 81.661
c Restart #21 #Var: 7414 #Dec: 675165 LB: 0 @ 87.258
c Restart #22 #Var: 7414 #Dec: 679586 LB: 0 @ 91.226
c Restart #23 #Var: 7414 #Dec: 684205 LB: 0 @ 96.09
c Restart #24 #Var: 7414 #Dec: 689021 LB: 0 @ 100.75
c Restart #25 #Var: 7414 #Dec: 694087 LB: 0 @ 104.96
c Restart #26 #Var: 7413 #Dec: 699598 LB: 0 @ 112.06
c Restart #27 #Var: 7413 #Dec: 705015 LB: 0 @ 117.37
c Restart #28 #Var: 7413 #Dec: 710634 LB: 0 @ 123.38
c Restart #29 #Var: 7413 #Dec: 716458 LB: 0 @ 129.2
c Restart #30 #Var: 7413 #Dec: 722497 LB: 0 @ 134.53
c Restart #31 #Var: 7413 #Dec: 728737 LB: 0 @ 139.49
c Restart #32 #Var: 7413 #Dec: 735197 LB: 0 @ 144.79
c Restart #33 #Var: 7413 #Dec: 741820 LB: 0 @ 150.5
c Restart #34 #Var: 7413 #Dec: 748665 LB: 0 @ 158.18
c Restart #35 #Var: 7413 #Dec: 755702 LB: 0 @ 165.16
c Restart #36 #Var: 7413 #Dec: 762955 LB: 0 @ 176.25
c Restart #37 #Var: 7413 #Dec: 770376 LB: 0 @ 183.47
c Restart #38 #Var: 7412 #Dec: 778365 LB: 0 @ 191.39
c Restart #39 #Var: 7412 #Dec: 786179 LB: 0 @ 203.94
c Restart #40 #Var: 7412 #Dec: 794208 LB: 0 @ 211.65
c Restart #41 #Var: 7412 #Dec: 802433 LB: 0 @ 219.13
c Restart #42 #Var: 7412 #Dec: 810853 LB: 0 @ 236.76
c Restart #43 #Var: 7412 #Dec: 819495 LB: 0 @ 247.8
c Restart #44 #Var: 7412 #Dec: 828322 LB: 0 @ 255.93
c Restart #45 #Var: 7412 #Dec: 837336 LB: 0 @ 267.56
c Restart #46 #Var: 7412 #Dec: 846557 LB: 0 @ 279.9
c Restart #47 #Var: 7412 #Dec: 855982 LB: 0 @ 288.86
c Restart #48 #Var: 7411 #Dec: 865896 LB: 0 @ 301.3
c Restart #49 #Var: 7411 #Dec: 875749 LB: 0 @ 347.58
c Restart #50 #Var: 7411 #Dec: 885785 LB: 0 @ 358.28
c Restart #51 #Var: 7411 #Dec: 896013 LB: 0 @ 368.93
c Restart #52 #Var: 7411 #Dec: 906441 LB: 0 @ 386.77
c Restart #53 #Var: 7411 #Dec: 917066 LB: 0 @ 402.07
c Restart #54 #Var: 7411 #Dec: 927895 LB: 0 @ 418.08
c Restart #55 #Var: 7411 #Dec: 938920 LB: 0 @ 433.07
c Restart #56 #Var: 7409 #Dec: 950306 LB: 0 @ 448.69
c Restart #57 #Var: 7409 #Dec: 961734 LB: 0 @ 461.88
c Restart #58 #Var: 7409 #Dec: 973402 LB: 0 @ 481.19
c Restart #59 #Var: 7409 #Dec: 985236 LB: 0 @ 499.21
c Restart #60 #Var: 7409 #Dec: 997254 LB: 0 @ 516.9
c Restart #61 #Var: 7409 #Dec: 1009478 LB: 0 @ 531.19
c Restart #62 #Var: 7409 #Dec: 1021918 LB: 0 @ 544.17
c Restart #63 #Var: 7409 #Dec: 1034544 LB: 0 @ 557.59
c Restart #64 #Var: 7409 #Dec: 1047365 LB: 0 @ 571.57
c CHANGE Heuristic... 
c Restart #0 #Var: 7409 #Dec: 1060386 LB: 0 @ 597.42
c Restart #1 #Var: 7401 #Dec: 1063191 LB: 0 @ 598.82
c Restart #2 #Var: 7400 #Dec: 1063945 LB: 0 @ 599.05
c Restart #3 #Var: 7399 #Dec: 1065162 LB: 0 @ 599.39
c Restart #4 #Var: 7398 #Dec: 1066634 LB: 0 @ 599.99
c Restart #5 #Var: 7397 #Dec: 1067914 LB: 0 @ 600.63
c Restart #6 #Var: 7391 #Dec: 1071679 LB: 0 @ 602.11
c Restart #7 #Var: 7391 #Dec: 1073190 LB: 0 @ 603.08
c Restart #8 #Var: 7391 #Dec: 1074804 LB: 0 @ 604.19
c Restart #9 #Var: 7391 #Dec: 1076621 LB: 0 @ 605.55
c Restart #10 #Var: 7391 #Dec: 1078638 LB: 0 @ 607.06
c Restart #11 #Var: 7391 #Dec: 1080857 LB: 0 @ 609.12
c Restart #12 #Var: 7391 #Dec: 1083276 LB: 0 @ 611.39
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/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853997698 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 107 3 90 68 0 39 0
[pid=25018] 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/wulflinc25/normalized-mps-v2-13-7-gesa3_o.opb

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.96 0.98 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 13457 0 0 0 722 109 0 0 18 0 1 0 1853997698 58576896 13368 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 14301 13368 1116 68 0 14233 0
[pid=25018] vsize: 57204
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (Kb) 57204

[startup+20.0032 s]
Raw data (loadavg): 1.02 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 13714 0 0 0 1320 244 0 0 16 0 1 0 1853997698 59658240 13625 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 14565 13625 1116 68 0 14497 0
[pid=25018] vsize: 58260
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (Kb) 58260

[startup+30.0038 s]
Raw data (loadavg): 1.01 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 13993 0 0 0 1918 375 0 0 18 0 1 0 1853997698 60739584 13904 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 14829 13904 1116 68 0 14761 0
[pid=25018] vsize: 59316
Current children cumulated CPU time (s) 22.93
Current children cumulated vsize (Kb) 59316

[startup+40.0044 s]
Raw data (loadavg): 1.01 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 14253 0 0 0 2506 515 0 0 18 0 1 0 1853997698 61820928 14164 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25018/statm): 15093 14164 1116 68 0 15025 0
[pid=25018] vsize: 60372
Current children cumulated CPU time (s) 30.21
Current children cumulated vsize (Kb) 60372

[startup+50.005 s]
Raw data (loadavg): 1.01 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 14452 0 0 0 3070 653 0 0 18 0 1 0 1853997698 62631936 14363 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 15291 14363 1116 68 0 15223 0
[pid=25018] vsize: 61164
Current children cumulated CPU time (s) 37.23
Current children cumulated vsize (Kb) 61164

[startup+60.0046 s]
Raw data (loadavg): 1.01 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 14907 0 0 0 3665 791 0 0 18 0 1 0 1853997698 64528384 14818 4294967295 134512640 134736556 3221224560 3221223104 134716141 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 15754 14818 1116 68 0 15686 0
[pid=25018] vsize: 63016
Current children cumulated CPU time (s) 44.56
Current children cumulated vsize (Kb) 63016

[startup+70.0052 s]
Raw data (loadavg): 1.01 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 18390 0 0 0 4454 862 0 0 25 0 1 0 1853997698 78721024 18301 4294967295 134512640 134736556 3221224560 3221223296 134605561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 19219 18301 1116 68 0 19151 0
[pid=25018] vsize: 76876
Current children cumulated CPU time (s) 53.16
Current children cumulated vsize (Kb) 76876

[startup+80.0058 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 24543 0 0 0 5361 902 0 0 25 0 1 0 1853997698 103997440 24454 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 25390 24454 1116 68 0 25322 0
[pid=25018] vsize: 101560
Current children cumulated CPU time (s) 62.63
Current children cumulated vsize (Kb) 101560

[startup+90.0064 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 29730 0 0 0 6296 931 0 0 25 0 1 0 1853997698 125218816 29641 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 30571 29641 1116 68 0 30503 0
[pid=25018] vsize: 122284
Current children cumulated CPU time (s) 72.27
Current children cumulated vsize (Kb) 122284

[startup+100.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 34693 0 0 0 7238 958 0 0 25 0 1 0 1853997698 145494016 34604 4294967295 134512640 134736556 3221224560 3221223296 134529511 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 35521 34604 1116 68 0 35453 0
[pid=25018] vsize: 142084
Current children cumulated CPU time (s) 81.96
Current children cumulated vsize (Kb) 142084

[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 41874 0 0 0 8171 994 0 0 17 0 1 0 1853997698 174972928 41785 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 42718 41785 1116 68 0 42650 0
[pid=25018] vsize: 170872
Current children cumulated CPU time (s) 91.65
Current children cumulated vsize (Kb) 170872

[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 46844 0 0 0 9108 1026 0 0 25 0 1 0 1853997698 195387392 46755 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 47702 46755 1116 68 0 47634 0
[pid=25018] vsize: 190808
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (Kb) 190808

[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 52343 0 0 0 10042 1057 0 0 25 0 1 0 1853997698 217989120 52254 4294967295 134512640 134736556 3221224560 3221223096 1077377259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 53220 52254 1116 68 0 53152 0
[pid=25018] vsize: 212880
Current children cumulated CPU time (s) 110.99
Current children cumulated vsize (Kb) 212880

[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 59458 0 0 0 10975 1093 0 0 25 0 1 0 1853997698 247066624 59369 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 60319 59369 1116 68 0 60251 0
[pid=25018] vsize: 241276
Current children cumulated CPU time (s) 120.68
Current children cumulated vsize (Kb) 241276

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 63964 0 0 0 11914 1122 0 0 25 0 1 0 1853997698 265601024 63875 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 64844 63875 1116 68 0 64776 0
[pid=25018] vsize: 259376
Current children cumulated CPU time (s) 130.36
Current children cumulated vsize (Kb) 259376

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 68875 0 0 0 12843 1152 0 0 25 0 1 0 1853997698 285765632 68784 4294967295 134512640 134736556 3221224560 3221222328 134717501 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 69767 68784 1116 68 0 69699 0
[pid=25018] vsize: 279068
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 279068

[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 73538 0 0 0 13777 1182 0 0 25 0 1 0 1853997698 304840704 73445 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 74424 73445 1116 68 0 74356 0
[pid=25018] vsize: 297696
Current children cumulated CPU time (s) 149.59
Current children cumulated vsize (Kb) 297696

[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 77976 0 0 0 14717 1210 0 0 25 0 1 0 1853997698 322990080 77883 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 78855 77883 1116 68 0 78787 0
[pid=25018] vsize: 315420
Current children cumulated CPU time (s) 159.27
Current children cumulated vsize (Kb) 315420

[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 82371 0 0 0 15670 1231 0 0 25 0 1 0 1853997698 341110784 82276 4294967295 134512640 134736556 3221224560 3221223296 134529340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 83279 82276 1116 68 0 83211 0
[pid=25018] vsize: 333116
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (Kb) 333116

[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 87005 0 0 0 16618 1256 0 0 25 0 1 0 1853997698 360062976 86909 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 87906 86909 1116 68 0 87838 0
[pid=25018] vsize: 351624
Current children cumulated CPU time (s) 178.74
Current children cumulated vsize (Kb) 351624

[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 91514 0 0 0 17560 1284 0 0 25 0 1 0 1853997698 378720256 91414 4294967295 134512640 134736556 3221224560 3221223272 134694480 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 92461 91415 1116 68 0 92393 0
[pid=25018] vsize: 369844
Current children cumulated CPU time (s) 188.44
Current children cumulated vsize (Kb) 369844

[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 94794 0 0 0 18517 1304 0 0 25 0 1 0 1853997698 392142848 94693 4294967295 134512640 134736556 3221224560 3221223120 134550993 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 95738 94693 1116 68 0 95670 0
[pid=25018] vsize: 382952
Current children cumulated CPU time (s) 198.21
Current children cumulated vsize (Kb) 382952

[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 99021 0 0 0 19461 1332 0 0 25 0 1 0 1853997698 409456640 98920 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 99965 98920 1116 68 0 99897 0
[pid=25018] vsize: 399860
Current children cumulated CPU time (s) 207.93
Current children cumulated vsize (Kb) 399860

[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 103383 0 0 0 20394 1360 0 0 25 0 1 0 1853997698 427335680 103279 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 104330 103279 1116 68 0 104262 0
[pid=25018] vsize: 417320
Current children cumulated CPU time (s) 217.54
Current children cumulated vsize (Kb) 417320

[startup+250.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 105206 0 0 0 21364 1374 0 0 25 0 1 0 1853997698 434905088 105101 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 106178 105101 1116 68 0 106110 0
[pid=25018] vsize: 424712
Current children cumulated CPU time (s) 227.38
Current children cumulated vsize (Kb) 424712

[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 108470 0 0 0 22328 1390 0 0 25 0 1 0 1853997698 448286720 108365 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 109445 108365 1116 68 0 109377 0
[pid=25018] vsize: 437780
Current children cumulated CPU time (s) 237.18
Current children cumulated vsize (Kb) 437780

[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 112774 0 0 0 23276 1415 0 0 25 0 1 0 1853997698 465862656 112667 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 113736 112667 1116 68 0 113668 0
[pid=25018] vsize: 454944
Current children cumulated CPU time (s) 246.91
Current children cumulated vsize (Kb) 454944

[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 117130 0 0 0 24214 1442 0 0 25 0 1 0 1853997698 483713024 117019 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 118094 117019 1116 68 0 118026 0
[pid=25018] vsize: 472376
Current children cumulated CPU time (s) 256.56
Current children cumulated vsize (Kb) 472376

[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 121803 0 0 0 25161 1467 0 0 25 0 1 0 1853997698 502910976 121692 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 122781 121692 1116 68 0 122713 0
[pid=25018] vsize: 491124
Current children cumulated CPU time (s) 266.28
Current children cumulated vsize (Kb) 491124

[startup+300.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 124456 0 0 0 26122 1486 0 0 25 0 1 0 1853997698 513863680 124337 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 125455 124337 1116 68 0 125387 0
[pid=25018] vsize: 501820
Current children cumulated CPU time (s) 276.08
Current children cumulated vsize (Kb) 501820

[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 129370 0 0 0 27060 1512 0 0 25 0 1 0 1853997698 534020096 129250 4294967295 134512640 134736556 3221224560 3221223280 134605840 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 130376 129250 1116 68 0 130308 0
[pid=25018] vsize: 521504
Current children cumulated CPU time (s) 285.72
Current children cumulated vsize (Kb) 521504

[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 133685 0 0 0 28002 1538 0 0 25 0 1 0 1853997698 551763968 133564 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 134708 133564 1116 68 0 134640 0
[pid=25018] vsize: 538832
Current children cumulated CPU time (s) 295.4
Current children cumulated vsize (Kb) 538832

[startup+330.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 137835 0 0 0 28967 1558 0 0 25 0 1 0 1853997698 568758272 137703 4294967295 134512640 134736556 3221224560 3221223184 134524877 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 138857 137703 1116 68 0 138789 0
[pid=25018] vsize: 555428
Current children cumulated CPU time (s) 305.25
Current children cumulated vsize (Kb) 555428

[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 137969 0 0 0 29966 1559 0 0 25 0 1 0 1853997698 569434112 137837 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 139022 137837 1116 68 0 138954 0
[pid=25018] vsize: 556088
Current children cumulated CPU time (s) 315.25
Current children cumulated vsize (Kb) 556088

[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 139112 0 0 0 30955 1565 0 0 25 0 1 0 1853997698 574029824 138978 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 140144 138978 1116 68 0 140076 0
[pid=25018] vsize: 560576
Current children cumulated CPU time (s) 325.2
Current children cumulated vsize (Kb) 560576

[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 139903 0 0 0 31948 1569 0 0 25 0 1 0 1853997698 577302528 139767 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 140943 139767 1116 68 0 140875 0
[pid=25018] vsize: 563772
Current children cumulated CPU time (s) 335.17
Current children cumulated vsize (Kb) 563772

[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 141692 0 0 0 32917 1581 0 0 25 0 1 0 1853997698 584736768 141555 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 142758 141555 1116 68 0 142690 0
[pid=25018] vsize: 571032
Current children cumulated CPU time (s) 344.98
Current children cumulated vsize (Kb) 571032

[startup+380.013 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 145176 0 0 0 33864 1607 0 0 25 0 1 0 1853997698 598929408 145039 4294967295 134512640 134736556 3221224560 3221223280 134605838 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 146223 145039 1116 68 0 146155 0
[pid=25018] vsize: 584892
Current children cumulated CPU time (s) 354.71
Current children cumulated vsize (Kb) 584892

[startup+390.014 s]
Raw data (loadavg): 1.06 0.99 0.99 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 149254 0 0 0 34805 1632 0 0 25 0 1 0 1853997698 615559168 149116 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25018/statm): 150283 149116 1116 68 0 150215 0
[pid=25018] vsize: 601132
Current children cumulated CPU time (s) 364.37
Current children cumulated vsize (Kb) 601132

[startup+400.014 s]
Raw data (loadavg): 1.12 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 152229 0 0 0 35759 1654 0 0 25 0 1 0 1853997698 627924992 152091 4294967295 134512640 134736556 3221224560 3221223296 134605900 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 153302 152091 1116 68 0 153234 0
[pid=25018] vsize: 613208
Current children cumulated CPU time (s) 374.13
Current children cumulated vsize (Kb) 613208

[startup+410.014 s]
Raw data (loadavg): 1.11 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 154196 0 0 0 36719 1671 0 0 25 0 1 0 1853997698 636010496 154050 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 155276 154050 1116 68 0 155208 0
[pid=25018] vsize: 621104
Current children cumulated CPU time (s) 383.9
Current children cumulated vsize (Kb) 621104

[startup+420.014 s]
Raw data (loadavg): 1.09 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 156761 0 0 0 37680 1688 0 0 25 0 1 0 1853997698 646623232 156611 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 157867 156611 1116 68 0 157799 0
[pid=25018] vsize: 631468
Current children cumulated CPU time (s) 393.68
Current children cumulated vsize (Kb) 631468

[startup+430.015 s]
Raw data (loadavg): 1.15 1.02 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 160115 0 0 0 38633 1712 0 0 25 0 1 0 1853997698 660361216 159961 4294967295 134512640 134736556 3221224560 3221223284 134605913 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 161221 159961 1116 68 0 161153 0
[pid=25018] vsize: 644884
Current children cumulated CPU time (s) 403.45
Current children cumulated vsize (Kb) 644884

[startup+440.016 s]
Raw data (loadavg): 1.12 1.02 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 162251 0 0 0 39591 1729 0 0 17 0 1 0 1853997698 669147136 162097 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 163366 162097 1116 68 0 163298 0
[pid=25018] vsize: 653464
Current children cumulated CPU time (s) 413.2
Current children cumulated vsize (Kb) 653464

[startup+450.015 s]
Raw data (loadavg): 1.11 1.02 1.00 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 164719 0 0 0 40554 1746 0 0 25 0 1 0 1853997698 679174144 164563 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 165814 164563 1116 68 0 165746 0
[pid=25018] vsize: 663256
Current children cumulated CPU time (s) 423
Current children cumulated vsize (Kb) 663256

[startup+460.016 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 168700 0 0 0 41494 1773 0 0 25 0 1 0 1853997698 695537664 168544 4294967295 134512640 134736556 3221224560 3221223096 1077377659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 169809 168544 1116 68 0 169741 0
[pid=25018] vsize: 679236
Current children cumulated CPU time (s) 432.67
Current children cumulated vsize (Kb) 679236

[startup+470.016 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 171839 0 0 0 42450 1794 0 0 25 0 1 0 1853997698 708390912 171682 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 172947 171682 1116 68 0 172879 0
[pid=25018] vsize: 691788
Current children cumulated CPU time (s) 442.44
Current children cumulated vsize (Kb) 691788

[startup+480.016 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 175355 0 0 0 43405 1815 0 0 25 0 1 0 1853997698 722866176 175190 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 176481 175190 1116 68 0 176413 0
[pid=25018] vsize: 705924
Current children cumulated CPU time (s) 452.2
Current children cumulated vsize (Kb) 705924

[startup+490.017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 179744 0 0 0 44350 1840 0 0 25 0 1 0 1853997698 740831232 179571 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 180867 179571 1116 68 0 180799 0
[pid=25018] vsize: 723468
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (Kb) 723468

[startup+500.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 182305 0 0 0 45315 1858 0 0 25 0 1 0 1853997698 751538176 182120 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 183481 182120 1116 68 0 183413 0
[pid=25018] vsize: 733924
Current children cumulated CPU time (s) 471.73
Current children cumulated vsize (Kb) 733924

[startup+510.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 185197 0 0 0 46273 1877 0 0 25 0 1 0 1853997698 763383808 185007 4294967295 134512640 134736556 3221224560 3221223184 134537344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 186373 185007 1116 68 0 186305 0
[pid=25018] vsize: 745492
Current children cumulated CPU time (s) 481.5
Current children cumulated vsize (Kb) 745492

[startup+520.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 186822 0 0 0 47237 1892 0 0 25 0 1 0 1853997698 770007040 186632 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 187990 186632 1116 68 0 187922 0
[pid=25018] vsize: 751960
Current children cumulated CPU time (s) 491.29
Current children cumulated vsize (Kb) 751960

[startup+530.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 188582 0 0 0 48199 1909 0 0 25 0 1 0 1853997698 777170944 188392 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 189739 188392 1116 68 0 189671 0
[pid=25018] vsize: 758956
Current children cumulated CPU time (s) 501.08
Current children cumulated vsize (Kb) 758956

[startup+540.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 191558 0 0 0 49162 1925 0 0 25 0 1 0 1853997698 789336064 191368 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 192709 191369 1116 68 0 192641 0
[pid=25018] vsize: 770836
Current children cumulated CPU time (s) 510.87
Current children cumulated vsize (Kb) 770836

[startup+550.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 194190 0 0 0 50120 1943 0 0 25 0 1 0 1853997698 800149504 194000 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 195349 194000 1116 68 0 195281 0
[pid=25018] vsize: 781396
Current children cumulated CPU time (s) 520.63
Current children cumulated vsize (Kb) 781396

[startup+560.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 198538 0 0 0 51056 1974 0 0 25 0 1 0 1853997698 818020352 198348 4294967295 134512640 134736556 3221224560 3221223196 134553032 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 199712 198348 1116 68 0 199644 0
[pid=25018] vsize: 798848
Current children cumulated CPU time (s) 530.3
Current children cumulated vsize (Kb) 798848

[startup+570.017 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 201913 0 0 0 52005 1996 0 0 25 0 1 0 1853997698 831762432 201719 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25018/statm): 203067 201719 1116 68 0 202999 0
[pid=25018] vsize: 812268
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 812268

[startup+580.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 205504 0 0 0 52950 2020 0 0 19 0 1 0 1853997698 846630912 205301 4294967295 134512640 134736556 3221224560 3221223272 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 206697 205301 1116 68 0 206629 0
[pid=25018] vsize: 826788
Current children cumulated CPU time (s) 549.7
Current children cumulated vsize (Kb) 826788

[startup+590.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 208854 0 0 0 53901 2042 0 0 25 0 1 0 1853997698 860508160 208640 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 210085 208640 1116 68 0 210017 0
[pid=25018] vsize: 840340
Current children cumulated CPU time (s) 559.43
Current children cumulated vsize (Kb) 840340

[startup+600.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 212666 0 0 0 54844 2069 0 0 25 0 1 0 1853997698 876052480 212452 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 213880 212452 1116 68 0 213812 0
[pid=25018] vsize: 855520
Current children cumulated CPU time (s) 569.13
Current children cumulated vsize (Kb) 855520

[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 215201 0 0 0 55807 2086 0 0 25 0 1 0 1853997698 886525952 214981 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25018/statm): 216437 214981 1116 68 0 216369 0
[pid=25018] vsize: 865748
Current children cumulated CPU time (s) 578.93
Current children cumulated vsize (Kb) 865748

[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 218281 0 0 0 56767 2105 0 0 25 0 1 0 1853997698 899096576 218061 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 219506 218061 1116 68 0 219438 0
[pid=25018] vsize: 878024
Current children cumulated CPU time (s) 588.72
Current children cumulated vsize (Kb) 878024

[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) R 25017 25018 4419 0 -1 0 220724 0 0 0 57727 2124 0 0 25 0 1 0 1853997698 909012992 220489 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25018/statm): 221927 220489 1116 68 0 221859 0
[pid=25018] vsize: 887708
Current children cumulated CPU time (s) 598.51
Current children cumulated vsize (Kb) 887708

[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 226765 0 0 0 58633 2166 0 0 25 0 1 0 1853997698 933765120 226530 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 227970 226530 1116 68 0 227902 0
[pid=25018] vsize: 911880
Current children cumulated CPU time (s) 607.99
Current children cumulated vsize (Kb) 911880



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+644.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 25018
Raw data (/proc/25018/stat): 25018 (bsolo) T 25017 25018 4419 0 -1 0 229200 0 0 0 59024 2180 0 0 25 0 1 0 1853997698 943767552 228965 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/25018/statm): 230412 228965 1116 68 0 230344 0
[pid=25018] vsize: 921648
Current children cumulated CPU time (s) 612.04
Current children cumulated vsize (Kb) 921648

Sending SIGTERM to -25018
Sleeping 2 seconds
Sending SIGKILL to -25018
One traced child (pid=25018) 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): 646.633
CPU time (s): 612.471
CPU user time (s): 590.246
CPU system time (s): 22.2246
CPU usage (%): 94.717
Max. virtual memory (cumulated for all children) (Kb): 921648

Verifier Data

ERROR: no interpretation found !