Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM3275929be36299f0a23379c5fe15d197
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 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21960
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint372

Trace number 639

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-18 11:58:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=605 boxname=wulflinc4 idbench=605 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  3275929be36299f0a23379c5fe15d197  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 605
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        945340 kB
Buffers:         33808 kB
Cached:          31396 kB
SwapCached:        960 kB
Active:          53260 kB
Inactive:        14608 kB
HighTotal:      131008 kB
HighFree:        97160 kB
LowTotal:       903652 kB
LowFree:        848180 kB
SwapTotal:     2097136 kB
SwapFree:      2095628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            15676 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 12:11:00 (client local time) WITH STATUS 0 IN 693.292 SECONDS
stats: 605 7 693.292 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 21960 variables and 1110 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 5.602
c After prepocess the problem consists of 18180 variables and 1110 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 18180 #Dec: 44273 LB: 0 @ 19.24
c Restart #2 #Var: 18180 #Dec: 110331 LB: 0 @ 46.964
c Restart #3 #Var: 18180 #Dec: 223980 LB: 0 @ 108.61
c Restart #4 #Var: 18180 #Dec: 369366 LB: 0 @ 193.13
c Restart #5 #Var: 18180 #Dec: 464004 LB: 0 @ 300.53
c Restart #6 #Var: 18180 #Dec: 477184 LB: 0 @ 305.02
c Restart #7 #Var: 18180 #Dec: 527791 LB: 0 @ 311.3
c Restart #8 #Var: 18180 #Dec: 534373 LB: 0 @ 313.19
c Restart #9 #Var: 18180 #Dec: 542334 LB: 0 @ 314.99
c Restart #10 #Var: 18180 #Dec: 560573 LB: 0 @ 317.31
c Restart #11 #Var: 18180 #Dec: 562861 LB: 0 @ 319.21
c Restart #12 #Var: 18180 #Dec: 565319 LB: 0 @ 321.35
c Restart #13 #Var: 18180 #Dec: 567979 LB: 0 @ 324.42
c Restart #14 #Var: 18180 #Dec: 570828 LB: 0 @ 326.19
c Restart #15 #Var: 18180 #Dec: 573888 LB: 0 @ 328.66
c Restart #16 #Var: 18180 #Dec: 577142 LB: 0 @ 331.54
c Restart #17 #Var: 18180 #Dec: 580596 LB: 0 @ 334.84
c Restart #18 #Var: 18180 #Dec: 584253 LB: 0 @ 338.2
c Restart #19 #Var: 18180 #Dec: 588107 LB: 0 @ 342
c Restart #20 #Var: 18180 #Dec: 592167 LB: 0 @ 346.15
c Restart #21 #Var: 18180 #Dec: 596422 LB: 0 @ 351.54
c Restart #22 #Var: 18180 #Dec: 600882 LB: 0 @ 356.68
c Restart #23 #Var: 18180 #Dec: 605538 LB: 0 @ 361.43
c Restart #24 #Var: 18180 #Dec: 610396 LB: 0 @ 367.19
c Restart #25 #Var: 18180 #Dec: 615453 LB: 0 @ 372.34
c Restart #26 #Var: 18180 #Dec: 620709 LB: 0 @ 378.06
c Restart #27 #Var: 18180 #Dec: 626165 LB: 0 @ 384.01
c Restart #28 #Var: 18180 #Dec: 631824 LB: 0 @ 390.05
c Restart #29 #Var: 18180 #Dec: 637678 LB: 0 @ 395.84
c Restart #30 #Var: 18180 #Dec: 643738 LB: 0 @ 402.4
c Restart #31 #Var: 18180 #Dec: 649994 LB: 0 @ 408.72
c Restart #32 #Var: 18180 #Dec: 656451 LB: 0 @ 416.7
c Restart #33 #Var: 18180 #Dec: 663105 LB: 0 @ 424.73
c Restart #34 #Var: 18180 #Dec: 669961 LB: 0 @ 433.16
c Restart #35 #Var: 18180 #Dec: 677018 LB: 0 @ 442.02
c Restart #36 #Var: 18180 #Dec: 684273 LB: 0 @ 450.11
c Restart #37 #Var: 18180 #Dec: 691726 LB: 0 @ 459.26
c Restart #38 #Var: 18180 #Dec: 699381 LB: 0 @ 468.83
c Restart #39 #Var: 18180 #Dec: 707237 LB: 0 @ 480.65
c Restart #40 #Var: 18180 #Dec: 715292 LB: 0 @ 493.51
c Restart #41 #Var: 18180 #Dec: 723547 LB: 0 @ 503.62
c Restart #42 #Var: 18180 #Dec: 732004 LB: 0 @ 514.95
c Restart #43 #Var: 18180 #Dec: 740662 LB: 0 @ 524.72
c Restart #44 #Var: 18180 #Dec: 749520 LB: 0 @ 535.28
c Restart #45 #Var: 18180 #Dec: 758574 LB: 0 @ 546.55
c Restart #46 #Var: 18180 #Dec: 767832 LB: 0 @ 558.47
c Restart #47 #Var: 18180 #Dec: 777289 LB: 0 @ 570.63
c Restart #48 #Var: 18180 #Dec: 786945 LB: 0 @ 583.16
c Restart #49 #Var: 18180 #Dec: 796804 LB: 0 @ 596.25
c CHANGE Heuristic... 
c Restart #0 #Var: 18180 #Dec: 806859 LB: 0 @ 609.07
c Restart #1 #Var: 18162 #Dec: 812367 LB: 0 @ 610.86
c Restart #2 #Var: 18151 #Dec: 816321 LB: 1228800 @ 613.02
c Restart #3 #Var: 18151 #Dec: 821933 LB: 1228800 @ 616.75
c Restart #4 #Var: 18149 #Dec: 823579 LB: 1843200 @ 617.65
c Restart #5 #Var: 18145 #Dec: 827247 LB: 1843200 @ 621.54
c Restart #6 #Var: 18145 #Dec: 829633 LB: 1843200 @ 623.89
c Restart #7 #Var: 18144 #Dec: 835348 LB: 2048000 @ 627.26
c Restart #8 #Var: 18144 #Dec: 842436 LB: 2048000 @ 632.25
c Restart #9 #Var: 18143 #Dec: 850240 LB: 2867200 @ 636.55
c Restart #10 #Var: 18143 #Dec: 852440 LB: 2867200 @ 637.85
c Restart #11 #Var: 18143 #Dec: 854661 LB: 2867200 @ 639.05
c Restart #12 #Var: 18143 #Dec: 857090 LB: 2867200 @ 640.62
c Restart #13 #Var: 18143 #Dec: 859716 LB: 2867200 @ 642.05
c Restart #14 #Var: 18143 #Dec: 862540 LB: 2867200 @ 643.67
c Restart #15 #Var: 18143 #Dec: 867244 LB: 2867200 @ 647.1
c Restart #16 #Var: 18142 #Dec: 873014 LB: 3686400 @ 651.21
c Restart #17 #Var: 18142 #Dec: 876447 LB: 3686400 @ 653.25
c Restart #18 #Var: 18142 #Dec: 880072 LB: 3686400 @ 657.71
c Restart #19 #Var: 18142 #Dec: 883901 LB: 3686400 @ 659.94
c Restart #20 #Var: 18142 #Dec: 887922 LB: 3686400 @ 665.18
c Restart #21 #Var: 18142 #Dec: 892142 LB: 3686400 @ 668.09
c Restart #22 #Var: 18142 #Dec: 896564 LB: 3686400 @ 674.12
c Restart #23 #Var: 18142 #Dec: 901184 LB: 3686400 @ 677.06
c Restart #24 #Var: 18142 #Dec: 906009 LB: 3686400 @ 683.96
c Restart #25 #Var: 18142 #Dec: 911033 LB: 3686400 @ 688.25
c Restart #26 #Var: 18142 #Dec: 916272 LB: 3686400 @ 692.49
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/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782837441 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 107 3 90 68 0 39 0
[pid=8532] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-tr12-30.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17265 0 0 0 824 85 0 0 24 0 1 0 1782837441 74543104 17176 4294967295 134512640 134736556 3221224560 3221223136 134550875 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18199 17176 1116 68 0 18131 0
[pid=8532] vsize: 72796
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (Kb) 72796

[startup+20.0037 s]
Raw data (loadavg): 0.94 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17342 0 0 0 1762 107 0 0 23 0 1 0 1782837441 74891264 17253 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18284 17253 1116 68 0 18216 0
[pid=8532] vsize: 73136
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (Kb) 73136

[startup+30.0056 s]
Raw data (loadavg): 0.95 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17344 0 0 0 2646 146 0 0 25 0 1 0 1782837441 74891264 17255 4294967295 134512640 134736556 3221224560 3221223136 134550882 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18284 17255 1116 68 0 18216 0
[pid=8532] vsize: 73136
Current children cumulated CPU time (s) 27.92
Current children cumulated vsize (Kb) 73136

[startup+40.0064 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17344 0 0 0 3569 171 0 0 24 0 1 0 1782837441 74891264 17255 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18284 17255 1116 68 0 18216 0
[pid=8532] vsize: 73136
Current children cumulated CPU time (s) 37.4
Current children cumulated vsize (Kb) 73136

[startup+50.0093 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17344 0 0 0 4498 193 0 0 25 0 1 0 1782837441 74891264 17255 4294967295 134512640 134736556 3221224560 3221223292 134537608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18284 17255 1116 68 0 18216 0
[pid=8532] vsize: 73136
Current children cumulated CPU time (s) 46.91
Current children cumulated vsize (Kb) 73136

[startup+60.0092 s]
Raw data (loadavg): 0.97 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17375 0 0 0 5368 236 0 0 25 0 1 0 1782837441 75026432 17286 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18317 17286 1116 68 0 18249 0
[pid=8532] vsize: 73268
Current children cumulated CPU time (s) 56.04
Current children cumulated vsize (Kb) 73268

[startup+70.01 s]
Raw data (loadavg): 0.97 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17405 0 0 0 6309 256 0 0 25 0 1 0 1782837441 75161600 17316 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18350 17316 1116 68 0 18282 0
[pid=8532] vsize: 73400
Current children cumulated CPU time (s) 65.65
Current children cumulated vsize (Kb) 73400

[startup+80.0109 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17405 0 0 0 7250 274 0 0 25 0 1 0 1782837441 75161600 17316 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18350 17316 1116 68 0 18282 0
[pid=8532] vsize: 73400
Current children cumulated CPU time (s) 75.24
Current children cumulated vsize (Kb) 73400

[startup+90.0117 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17420 0 0 0 8190 293 0 0 25 0 1 0 1782837441 75161600 17331 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18350 17331 1116 68 0 18282 0
[pid=8532] vsize: 73400
Current children cumulated CPU time (s) 84.83
Current children cumulated vsize (Kb) 73400

[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17420 0 0 0 9129 311 0 0 25 0 1 0 1782837441 75161600 17331 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18350 17331 1116 68 0 18282 0
[pid=8532] vsize: 73400
Current children cumulated CPU time (s) 94.4
Current children cumulated vsize (Kb) 73400

[startup+110.013 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17420 0 0 0 10069 329 0 0 25 0 1 0 1782837441 75161600 17331 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18350 17331 1116 68 0 18282 0
[pid=8532] vsize: 73400
Current children cumulated CPU time (s) 103.98
Current children cumulated vsize (Kb) 73400

[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17451 0 0 0 10945 367 0 0 25 0 1 0 1782837441 75063296 17303 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18326 17303 1116 68 0 18258 0
[pid=8532] vsize: 73304
Current children cumulated CPU time (s) 113.12
Current children cumulated vsize (Kb) 73304

[startup+130.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17482 0 0 0 11886 387 0 0 25 0 1 0 1782837441 75198464 17334 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18359 17334 1116 68 0 18291 0
[pid=8532] vsize: 73436
Current children cumulated CPU time (s) 122.73
Current children cumulated vsize (Kb) 73436

[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17497 0 0 0 12829 407 0 0 25 0 1 0 1782837441 75198464 17349 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18359 17349 1116 68 0 18291 0
[pid=8532] vsize: 73436
Current children cumulated CPU time (s) 132.36
Current children cumulated vsize (Kb) 73436

[startup+150.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17512 0 0 0 13774 426 0 0 25 0 1 0 1782837441 75333632 17364 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18392 17364 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 142
Current children cumulated vsize (Kb) 73568

[startup+160.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17512 0 0 0 14713 445 0 0 25 0 1 0 1782837441 75333632 17364 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18392 17364 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 151.58
Current children cumulated vsize (Kb) 73568

[startup+170.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17512 0 0 0 15652 465 0 0 25 0 1 0 1782837441 75333632 17364 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18392 17364 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (Kb) 73568

[startup+180.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17527 0 0 0 16593 483 0 0 25 0 1 0 1782837441 75333632 17379 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18392 17379 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 170.76
Current children cumulated vsize (Kb) 73568

[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17527 0 0 0 17536 501 0 0 25 0 1 0 1782837441 75333632 17379 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18392 17379 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 180.37
Current children cumulated vsize (Kb) 73568

[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17527 0 0 0 18478 520 0 0 25 0 1 0 1782837441 75333632 17379 4294967295 134512640 134736556 3221224560 3221223196 134553032 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18392 17379 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 73568

[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17527 0 0 0 19393 546 0 0 25 0 1 0 1782837441 75333632 17379 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18392 17379 1116 68 0 18324 0
[pid=8532] vsize: 73568
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 73568

[startup+220.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17620 0 0 0 20381 550 0 0 25 0 1 0 1782837441 75771904 17472 4294967295 134512640 134736556 3221224560 3221223232 134524977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18499 17472 1116 68 0 18431 0
[pid=8532] vsize: 73996
Current children cumulated CPU time (s) 209.31
Current children cumulated vsize (Kb) 73996

[startup+230.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17712 0 0 0 21331 566 0 0 25 0 1 0 1782837441 75874304 17492 4294967295 134512640 134736556 3221224560 3221223136 134550875 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18524 17492 1116 68 0 18456 0
[pid=8532] vsize: 74096
Current children cumulated CPU time (s) 218.97
Current children cumulated vsize (Kb) 74096

[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17714 0 0 0 22281 582 0 0 25 0 1 0 1782837441 75874304 17494 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18524 17494 1116 68 0 18456 0
[pid=8532] vsize: 74096
Current children cumulated CPU time (s) 228.63
Current children cumulated vsize (Kb) 74096

[startup+250.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 23232 596 0 0 25 0 1 0 1782837441 75964416 17536 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18546 17536 1116 68 0 18478 0
[pid=8532] vsize: 74184
Current children cumulated CPU time (s) 238.28
Current children cumulated vsize (Kb) 74184

[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 24180 614 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 247.94
Current children cumulated vsize (Kb) 74108

[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 25124 633 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 257.57
Current children cumulated vsize (Kb) 74108

[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 26110 638 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223216 134525084 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 267.48
Current children cumulated vsize (Kb) 74108

[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 27096 643 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 277.39
Current children cumulated vsize (Kb) 74108

[startup+300.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 28084 647 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 287.31
Current children cumulated vsize (Kb) 74108

[startup+310.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17756 0 0 0 29083 647 0 0 25 0 1 0 1782837441 75886592 17521 4294967295 134512640 134736556 3221224560 3221223172 134634182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 18527 17521 1116 68 0 18459 0
[pid=8532] vsize: 74108
Current children cumulated CPU time (s) 297.3
Current children cumulated vsize (Kb) 74108

[startup+320.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 17827 0 0 0 29961 685 0 0 20 0 1 0 1782837441 76193792 17570 4294967295 134512640 134736556 3221224560 3221223084 134634644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 18602 17570 1116 68 0 18534 0
[pid=8532] vsize: 74408
Current children cumulated CPU time (s) 306.46
Current children cumulated vsize (Kb) 74408

[startup+330.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 19241 0 0 0 30750 758 0 0 17 0 1 0 1782837441 81993728 18984 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 20018 18984 1116 68 0 19950 0
[pid=8532] vsize: 80072
Current children cumulated CPU time (s) 315.08
Current children cumulated vsize (Kb) 80072

[startup+340.028 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 27284 0 0 0 31621 814 0 0 25 0 1 0 1782837441 114843648 27025 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 28038 27025 1116 68 0 27970 0
[pid=8532] vsize: 112152
Current children cumulated CPU time (s) 324.35
Current children cumulated vsize (Kb) 112152

[startup+350.029 s]
Raw data (loadavg): 1.06 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 35771 0 0 0 32544 854 0 0 25 0 1 0 1782837441 149721088 35511 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 36553 35511 1116 68 0 36485 0
[pid=8532] vsize: 146212
Current children cumulated CPU time (s) 333.98
Current children cumulated vsize (Kb) 146212

[startup+360.03 s]
Raw data (loadavg): 1.05 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 42519 0 0 0 33473 889 0 0 17 0 1 0 1782837441 177340416 42256 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 43296 42256 1116 68 0 43228 0
[pid=8532] vsize: 173184
Current children cumulated CPU time (s) 343.62
Current children cumulated vsize (Kb) 173184

[startup+370.031 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 48130 0 0 0 34416 918 0 0 25 0 1 0 1782837441 200544256 47860 4294967295 134512640 134736556 3221224560 3221223200 134608199 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 48961 47860 1116 68 0 48893 0
[pid=8532] vsize: 195844
Current children cumulated CPU time (s) 353.34
Current children cumulated vsize (Kb) 195844

[startup+380.032 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 54355 0 0 0 35353 949 0 0 25 0 1 0 1782837441 225964032 54082 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 55167 54082 1116 68 0 55099 0
[pid=8532] vsize: 220668
Current children cumulated CPU time (s) 363.02
Current children cumulated vsize (Kb) 220668

[startup+390.033 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 60455 0 0 0 36293 977 0 0 25 0 1 0 1782837441 251215872 60164 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 61332 60164 1116 68 0 61264 0
[pid=8532] vsize: 245328
Current children cumulated CPU time (s) 372.7
Current children cumulated vsize (Kb) 245328

[startup+400.033 s]
Raw data (loadavg): 1.02 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 66718 0 0 0 37228 1009 0 0 25 0 1 0 1782837441 276852736 66416 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 67591 66416 1116 68 0 67523 0
[pid=8532] vsize: 270364
Current children cumulated CPU time (s) 382.37
Current children cumulated vsize (Kb) 270364

[startup+410.033 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 73045 0 0 0 38160 1041 0 0 25 0 1 0 1782837441 302882816 72738 4294967295 134512640 134736556 3221224560 3221223232 134524977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 73946 72738 1116 68 0 73878 0
[pid=8532] vsize: 295784
Current children cumulated CPU time (s) 392.01
Current children cumulated vsize (Kb) 295784

[startup+420.034 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 79596 0 0 0 39092 1072 0 0 25 0 1 0 1782837441 329768960 79280 4294967295 134512640 134736556 3221224560 3221223020 134554079 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 80510 79280 1116 68 0 80442 0
[pid=8532] vsize: 322040
Current children cumulated CPU time (s) 401.64
Current children cumulated vsize (Kb) 322040

[startup+430.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 85717 0 0 0 40027 1105 0 0 25 0 1 0 1782837441 355000320 85399 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 86670 85399 1116 68 0 86602 0
[pid=8532] vsize: 346680
Current children cumulated CPU time (s) 411.32
Current children cumulated vsize (Kb) 346680

[startup+440.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 91346 0 0 0 40971 1130 0 0 25 0 1 0 1782837441 378015744 91013 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 92289 91013 1116 68 0 92221 0
[pid=8532] vsize: 369156
Current children cumulated CPU time (s) 421.01
Current children cumulated vsize (Kb) 369156

[startup+450.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 97010 0 0 0 41914 1157 0 0 25 0 1 0 1782837441 401117184 96587 4294967295 134512640 134736556 3221224560 3221223464 134592069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 97929 96587 1116 68 0 97861 0
[pid=8532] vsize: 391716
Current children cumulated CPU time (s) 430.71
Current children cumulated vsize (Kb) 391716

[startup+460.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 102351 0 0 0 42862 1183 0 0 25 0 1 0 1782837441 423280640 101914 4294967295 134512640 134736556 3221224560 3221223156 1077374057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 103340 101914 1116 68 0 103272 0
[pid=8532] vsize: 413360
Current children cumulated CPU time (s) 440.45
Current children cumulated vsize (Kb) 413360

[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 108227 0 0 0 43805 1209 0 0 25 0 1 0 1782837441 447303680 107781 4294967295 134512640 134736556 3221224560 3221223112 134535729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 109205 107781 1116 68 0 109137 0
[pid=8532] vsize: 436820
Current children cumulated CPU time (s) 450.14
Current children cumulated vsize (Kb) 436820

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 113621 0 0 0 44754 1236 0 0 18 0 1 0 1782837441 469258240 113088 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 114565 113088 1116 68 0 114497 0
[pid=8532] vsize: 458260
Current children cumulated CPU time (s) 459.9
Current children cumulated vsize (Kb) 458260

[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 118946 0 0 0 45701 1261 0 0 25 0 1 0 1782837441 491085824 118411 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 119894 118411 1116 68 0 119826 0
[pid=8532] vsize: 479576
Current children cumulated CPU time (s) 469.62
Current children cumulated vsize (Kb) 479576

[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 123591 0 0 0 46650 1287 0 0 25 0 1 0 1782837441 510148608 123056 4294967295 134512640 134736556 3221224560 3221223140 134543974 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 124548 123056 1116 68 0 124480 0
[pid=8532] vsize: 498192
Current children cumulated CPU time (s) 479.37
Current children cumulated vsize (Kb) 498192

[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 128562 0 0 0 47600 1310 0 0 25 0 1 0 1782837441 530522112 128021 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 129522 128021 1116 68 0 129454 0
[pid=8532] vsize: 518088
Current children cumulated CPU time (s) 489.1
Current children cumulated vsize (Kb) 518088

[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 133041 0 0 0 48553 1333 0 0 25 0 1 0 1782837441 548917248 132493 4294967295 134512640 134736556 3221224560 3221223336 134605493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 134013 132493 1116 68 0 133945 0
[pid=8532] vsize: 536052
Current children cumulated CPU time (s) 498.86
Current children cumulated vsize (Kb) 536052

[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 138411 0 0 0 49496 1362 0 0 21 0 1 0 1782837441 571002880 137773 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 139405 137773 1116 68 0 139337 0
[pid=8532] vsize: 557620
Current children cumulated CPU time (s) 508.58
Current children cumulated vsize (Kb) 557620

[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 143527 0 0 0 50443 1386 0 0 25 0 1 0 1782837441 591822848 142889 4294967295 134512640 134736556 3221224560 3221223280 134605838 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 144488 142889 1116 68 0 144420 0
[pid=8532] vsize: 577952
Current children cumulated CPU time (s) 518.29
Current children cumulated vsize (Kb) 577952

[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 149326 0 0 0 51383 1413 0 0 25 0 1 0 1782837441 615256064 148522 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 150209 148522 1116 68 0 150141 0
[pid=8532] vsize: 600836
Current children cumulated CPU time (s) 527.96
Current children cumulated vsize (Kb) 600836

[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 155209 0 0 0 52324 1441 0 0 25 0 1 0 1782837441 638967808 154323 4294967295 134512640 134736556 3221224560 3221223152 134550949 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 155998 154323 1116 68 0 155930 0
[pid=8532] vsize: 623992
Current children cumulated CPU time (s) 537.65
Current children cumulated vsize (Kb) 623992

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 160674 0 0 0 53269 1466 0 0 25 0 1 0 1782837441 661184512 159625 4294967295 134512640 134736556 3221224560 3221223136 134551210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 161422 159625 1116 68 0 161354 0
[pid=8532] vsize: 645688
Current children cumulated CPU time (s) 547.35
Current children cumulated vsize (Kb) 645688

[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 166592 0 0 0 54208 1495 0 0 25 0 1 0 1782837441 685379584 165543 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 167329 165543 1116 68 0 167261 0
[pid=8532] vsize: 669316
Current children cumulated CPU time (s) 557.03
Current children cumulated vsize (Kb) 669316

[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 171761 0 0 0 55156 1521 0 0 25 0 1 0 1782837441 706465792 170712 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 172477 170712 1116 68 0 172409 0
[pid=8532] vsize: 689908
Current children cumulated CPU time (s) 566.77
Current children cumulated vsize (Kb) 689908

[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 176668 0 0 0 56105 1545 0 0 25 0 1 0 1782837441 726335488 175619 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 177328 175619 1116 68 0 177260 0
[pid=8532] vsize: 709312
Current children cumulated CPU time (s) 576.5
Current children cumulated vsize (Kb) 709312

[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 182247 0 0 0 57052 1573 0 0 25 0 1 0 1782837441 748732416 180872 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 182796 180872 1116 68 0 182728 0
[pid=8532] vsize: 731184
Current children cumulated CPU time (s) 586.25
Current children cumulated vsize (Kb) 731184

[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 187546 0 0 0 57999 1599 0 0 25 0 1 0 1782837441 770359296 186171 4294967295 134512640 134736556 3221224560 3221223232 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 188076 186171 1116 68 0 188008 0
[pid=8532] vsize: 752304
Current children cumulated CPU time (s) 595.98
Current children cumulated vsize (Kb) 752304

[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 192898 0 0 0 58944 1625 0 0 25 0 1 0 1782837441 792125440 191523 4294967295 134512640 134736556 3221224560 3221223200 134608199 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 193390 191523 1116 68 0 193322 0
[pid=8532] vsize: 773560
Current children cumulated CPU time (s) 605.69
Current children cumulated vsize (Kb) 773560

[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 194884 0 0 0 59876 1653 0 0 25 0 1 0 1782837441 799670272 193348 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 195232 193348 1116 68 0 195164 0
[pid=8532] vsize: 780928
Current children cumulated CPU time (s) 615.29
Current children cumulated vsize (Kb) 780928

[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 195809 0 0 0 60814 1676 0 0 25 0 1 0 1782837441 803446784 194273 4294967295 134512640 134736556 3221224560 3221223248 134536460 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8532/statm): 196154 194273 1116 68 0 196086 0
[pid=8532] vsize: 784616
Current children cumulated CPU time (s) 624.9
Current children cumulated vsize (Kb) 784616

[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 196672 0 0 0 61742 1701 0 0 25 0 1 0 1782837441 806952960 195136 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 197010 195136 1116 68 0 196942 0
[pid=8532] vsize: 788040
Current children cumulated CPU time (s) 634.43
Current children cumulated vsize (Kb) 788040

[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 203572 0 0 0 62644 1744 0 0 25 0 1 0 1782837441 835223552 202035 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 203912 202035 1116 68 0 203844 0
[pid=8532] vsize: 815648
Current children cumulated CPU time (s) 643.88
Current children cumulated vsize (Kb) 815648

[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 208459 0 0 0 63565 1777 0 0 25 0 1 0 1782837441 855252992 206922 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 208802 206922 1116 68 0 208734 0
[pid=8532] vsize: 835208
Current children cumulated CPU time (s) 653.42
Current children cumulated vsize (Kb) 835208

[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 213635 0 0 0 64501 1806 0 0 25 0 1 0 1782837441 876498944 212095 4294967295 134512640 134736556 3221224560 3221223068 134540125 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 213989 212095 1116 68 0 213921 0
[pid=8532] vsize: 855956
Current children cumulated CPU time (s) 663.07
Current children cumulated vsize (Kb) 855956

[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 218543 0 0 0 65440 1832 0 0 25 0 1 0 1782837441 896741376 216994 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 218931 216994 1116 68 0 218863 0
[pid=8532] vsize: 875724
Current children cumulated CPU time (s) 672.72
Current children cumulated vsize (Kb) 875724

[startup+710.049 s]
Raw data (loadavg): 1.08 1.02 0.99 2/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) R 8531 8532 6847 0 -1 0 223473 0 0 0 66378 1860 0 0 25 0 1 0 1782837441 917053440 221919 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8532/statm): 223890 221920 1116 68 0 223822 0
[pid=8532] vsize: 895560
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (Kb) 895560

[startup+720.05 s]
Raw data (loadavg): 1.07 1.02 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 229495 0 0 0 67309 1894 0 0 25 0 1 0 1782837441 941772800 227929 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8532/statm): 229925 227929 1116 68 0 229857 0
[pid=8532] vsize: 919700
Current children cumulated CPU time (s) 692.03
Current children cumulated vsize (Kb) 919700



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+720.914 s]
Raw data (loadavg): 1.06 1.02 0.99 1/56 8532
Raw data (/proc/8532/stat): 8532 (bsolo) T 8531 8532 6847 0 -1 0 229975 0 0 0 67389 1897 0 0 25 0 1 0 1782837441 943812608 228407 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8532/statm): 230423 228407 1116 68 0 230355 0
[pid=8532] vsize: 921692
Current children cumulated CPU time (s) 692.86
Current children cumulated vsize (Kb) 921692

Sending SIGTERM to -8532
Sleeping 2 seconds
Sending SIGKILL to -8532
One traced child (pid=8532) 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): 723.342
CPU time (s): 693.292
CPU user time (s): 673.898
CPU system time (s): 19.3941
CPU usage (%): 95.8456
Max. virtual memory (cumulated for all children) (Kb): 921692

Verifier Data

ERROR: no interpretation found !