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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
MD5SUM52ee1c9a03c9aae47fd9a079818acfac
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 58949212683404800
Optimality of the best value was proved NO
Number of terms in the objective function 41560
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 6649307310053731437
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 6777307310053731437
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.49
Number of variables41560
Total number of constraints10029
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8381
Number of constraints which are nor clauses,nor cardinality constraints1648
Minimum length of a constraint1
Maximum length of a constraint41560

Trace number 5372

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        875920 kB
Buffers:         33152 kB
Cached:         100024 kB
SwapCached:        784 kB
Active:          55804 kB
Inactive:        80036 kB
HighTotal:      131008 kB
HighFree:        29596 kB
LowTotal:       903652 kB
LowFree:        846324 kB
SwapTotal:     2097136 kB
SwapFree:      2095880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5756 kB
Slab:            17344 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 01:12:53 (client local time) WITH STATUS 0 IN 739.291 SECONDS
stats: 1144 7 739.291 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 41560 variables and 3284 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 100.88
c After prepocess the problem consists of 29812 variables and 3282 constraints.
c Initial Lower Bound: 256636928000
c Restart #1 #Var: 29812 #Dec: 23601 LB: 256636928000 @ 104.92
c Restart #2 #Var: 29812 #Dec: 47964 LB: 256636928000 @ 112.39
c Restart #3 #Var: 29812 #Dec: 72559 LB: 256636928000 @ 124.52
c Restart #4 #Var: 29812 #Dec: 100531 LB: 256636928000 @ 145.01
c Restart #5 #Var: 29812 #Dec: 127396 LB: 256636928000 @ 167.33
c Restart #6 #Var: 29812 #Dec: 151930 LB: 256636928000 @ 198.68
c Restart #7 #Var: 29812 #Dec: 189203 LB: 256636928000 @ 215.1
c Restart #8 #Var: 29812 #Dec: 222674 LB: 256636928000 @ 222.67
c Restart #9 #Var: 29812 #Dec: 489104 LB: 256636928000 @ 244.4
c Restart #10 #Var: 29812 #Dec: 495318 LB: 256636928000 @ 246.24
c Restart #11 #Var: 29812 #Dec: 504479 LB: 256636928000 @ 248.63
c Restart #12 #Var: 29812 #Dec: 507007 LB: 256636928000 @ 250.38
c Restart #13 #Var: 29812 #Dec: 540420 LB: 256636928000 @ 254.67
c Restart #14 #Var: 29812 #Dec: 543251 LB: 256636928000 @ 257.45
c Restart #15 #Var: 29812 #Dec: 555368 LB: 256636928000 @ 260.33
c Restart #16 #Var: 29812 #Dec: 558638 LB: 256636928000 @ 263.25
c Restart #17 #Var: 29812 #Dec: 562075 LB: 256636928000 @ 265.64
c Restart #18 #Var: 29812 #Dec: 565693 LB: 256636928000 @ 268.33
c Restart #19 #Var: 29812 #Dec: 569614 LB: 256636928000 @ 271.43
c Restart #20 #Var: 29812 #Dec: 573695 LB: 256636928000 @ 276.73
c Restart #21 #Var: 29812 #Dec: 577929 LB: 256636928000 @ 282.89
c Restart #22 #Var: 29812 #Dec: 620814 LB: 256636928000 @ 292.97
c Restart #23 #Var: 29812 #Dec: 625430 LB: 256636928000 @ 298.02
c Restart #24 #Var: 29812 #Dec: 631531 LB: 256636928000 @ 304.97
c Restart #25 #Var: 29812 #Dec: 636563 LB: 256636928000 @ 311.53
c Restart #26 #Var: 29812 #Dec: 646068 LB: 256636928000 @ 318.4
c Restart #27 #Var: 29812 #Dec: 651537 LB: 256636928000 @ 326.75
c Restart #28 #Var: 29812 #Dec: 657172 LB: 256636928000 @ 333.82
c Restart #29 #Var: 29812 #Dec: 667803 LB: 256636928000 @ 342.45
c Restart #30 #Var: 29812 #Dec: 673888 LB: 256636928000 @ 352.93
c Restart #31 #Var: 29812 #Dec: 680121 LB: 256636928000 @ 363.72
c Restart #32 #Var: 29812 #Dec: 686552 LB: 256636928000 @ 372.94
c Restart #33 #Var: 29812 #Dec: 693182 LB: 256636928000 @ 386.22
c Restart #34 #Var: 29812 #Dec: 700016 LB: 256636928000 @ 400.8
c Restart #35 #Var: 29812 #Dec: 707051 LB: 256636928000 @ 412.85
c Restart #36 #Var: 29812 #Dec: 714286 LB: 256636928000 @ 425.02
c Restart #37 #Var: 29812 #Dec: 721718 LB: 256636928000 @ 439.67
c Restart #38 #Var: 29812 #Dec: 729348 LB: 256636928000 @ 450.22
c Restart #39 #Var: 29812 #Dec: 737184 LB: 256636928000 @ 463.8
c Restart #40 #Var: 29812 #Dec: 745221 LB: 256636928000 @ 474.82
c Restart #41 #Var: 29812 #Dec: 753457 LB: 256636928000 @ 486.56
c Restart #42 #Var: 29812 #Dec: 761894 LB: 256636928000 @ 500.07
c Restart #43 #Var: 29812 #Dec: 770531 LB: 256636928000 @ 512.34
c Restart #44 #Var: 29812 #Dec: 779369 LB: 256636928000 @ 527.82
c Restart #45 #Var: 29812 #Dec: 788405 LB: 256636928000 @ 540.88
c Restart #46 #Var: 29812 #Dec: 797639 LB: 256636928000 @ 556.79
c Restart #47 #Var: 29812 #Dec: 807074 LB: 256636928000 @ 572.24
c Restart #48 #Var: 29812 #Dec: 816705 LB: 256636928000 @ 588.19
c CHANGE Heuristic... 
c Restart #0 #Var: 29812 #Dec: 826539 LB: 256636928000 @ 605.9
c Restart #1 #Var: 29812 #Dec: 827262 LB: 256636928000 @ 661.67
c Restart #2 #Var: 29812 #Dec: 828112 LB: 256636928000 @ 662.15
c Restart #3 #Var: 29812 #Dec: 829779 LB: 256636928000 @ 662.7
c Restart #4 #Var: 29812 #Dec: 831363 LB: 256636928000 @ 663.44
c Restart #5 #Var: 29812 #Dec: 833696 LB: 256636928000 @ 664.5
c Restart #6 #Var: 29812 #Dec: 835337 LB: 256636928000 @ 667.21
c Restart #7 #Var: 29812 #Dec: 837549 LB: 256636928000 @ 668.44
c Restart #8 #Var: 29812 #Dec: 840146 LB: 256636928000 @ 669.94
c Restart #9 #Var: 29812 #Dec: 844998 LB: 256636928000 @ 672.23
c Restart #10 #Var: 29812 #Dec: 847021 LB: 256636928000 @ 673.94
c Restart #11 #Var: 29812 #Dec: 849243 LB: 256636928000 @ 676
c Restart #12 #Var: 29812 #Dec: 851666 LB: 256636928000 @ 678.24
c Restart #13 #Var: 29812 #Dec: 854290 LB: 256636928000 @ 681.26
c Restart #14 #Var: 29812 #Dec: 857115 LB: 256636928000 @ 683.89
c Restart #15 #Var: 29812 #Dec: 860136 LB: 256636928000 @ 687.82
c Restart #16 #Var: 29812 #Dec: 863360 LB: 256636928000 @ 690.87
c Restart #17 #Var: 29812 #Dec: 866777 LB: 256636928000 @ 695.39
c Restart #18 #Var: 29812 #Dec: 870401 LB: 256636928000 @ 699.22
c Restart #19 #Var: 29812 #Dec: 874222 LB: 256636928000 @ 704.23
c Restart #20 #Var: 29812 #Dec: 878248 LB: 256636928000 @ 708.76
c Restart #21 #Var: 29812 #Dec: 882469 LB: 256636928000 @ 714.79
c Restart #22 #Var: 29812 #Dec: 886893 LB: 256636928000 @ 719.86
c Restart #23 #Var: 29812 #Dec: 891513 LB: 256636928000 @ 726.49
c Restart #24 #Var: 29812 #Dec: 896335 LB: 256636928000 @ 732.71
c Restart #25 #Var: 29812 #Dec: 901360 LB: 256636928000 @ 737.75
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/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782614789 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 107 3 90 68 0 39 0
[pid=17705] 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/wulflinc8/normalized-mps-v2-13-7-dc1c.opb

[startup+10.0027 s]
Raw data (loadavg): 0.90 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 75064 0 0 0 798 167 0 0 25 0 1 0 1782614789 309682176 74666 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 75606 74666 1116 68 0 75538 0
[pid=17705] vsize: 302424
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (Kb) 302424

[startup+20.0044 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 77073 0 0 0 1789 173 0 0 25 0 1 0 1782614789 317952000 76674 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 77625 76674 1116 68 0 77557 0
[pid=17705] vsize: 310500
Current children cumulated CPU time (s) 19.62
Current children cumulated vsize (Kb) 310500

[startup+30.0052 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 78343 0 0 0 2783 178 0 0 25 0 1 0 1782614789 323297280 77937 4294967295 134512640 134736556 3221224560 3221222428 1076880035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 78930 77937 1116 68 0 78862 0
[pid=17705] vsize: 315720
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 315720

[startup+40.005 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80529 0 0 0 3773 185 0 0 25 0 1 0 1782614789 332283904 80117 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 81124 80117 1116 68 0 81056 0
[pid=17705] vsize: 324496
Current children cumulated CPU time (s) 39.58
Current children cumulated vsize (Kb) 324496

[startup+50.0068 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80676 0 0 0 4773 185 0 0 25 0 1 0 1782614789 333033472 80252 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81307 80252 1116 68 0 81239 0
[pid=17705] vsize: 325228
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (Kb) 325228

[startup+60.0066 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80731 0 0 0 5773 185 0 0 25 0 1 0 1782614789 333168640 80307 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81340 80307 1116 68 0 81272 0
[pid=17705] vsize: 325360
Current children cumulated CPU time (s) 59.58
Current children cumulated vsize (Kb) 325360

[startup+70.0074 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80777 0 0 0 6773 186 0 0 25 0 1 0 1782614789 333303808 80353 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81373 80353 1116 68 0 81305 0
[pid=17705] vsize: 325492
Current children cumulated CPU time (s) 69.59
Current children cumulated vsize (Kb) 325492

[startup+80.0081 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80951 0 0 0 7772 186 0 0 25 0 1 0 1782614789 334303232 80499 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81617 80499 1116 68 0 81549 0
[pid=17705] vsize: 326468
Current children cumulated CPU time (s) 79.58
Current children cumulated vsize (Kb) 326468

[startup+90.0079 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80959 0 0 0 8772 186 0 0 25 0 1 0 1782614789 334303232 80507 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81617 80507 1116 68 0 81549 0
[pid=17705] vsize: 326468
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (Kb) 326468

[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 80994 0 0 0 9773 186 0 0 25 0 1 0 1782614789 334438400 80542 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 81650 80542 1116 68 0 81582 0
[pid=17705] vsize: 326600
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (Kb) 326600

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85050 0 0 0 10577 259 0 0 25 0 1 0 1782614789 352071680 84598 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85955 84598 1116 68 0 85887 0
[pid=17705] vsize: 343820
Current children cumulated CPU time (s) 108.36
Current children cumulated vsize (Kb) 343820

[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85062 0 0 0 11480 291 0 0 25 0 1 0 1782614789 352182272 84610 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85982 84610 1116 68 0 85914 0
[pid=17705] vsize: 343928
Current children cumulated CPU time (s) 117.71
Current children cumulated vsize (Kb) 343928

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85062 0 0 0 12385 326 0 0 25 0 1 0 1782614789 352182272 84610 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 85982 84610 1116 68 0 85914 0
[pid=17705] vsize: 343928
Current children cumulated CPU time (s) 127.11
Current children cumulated vsize (Kb) 343928

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85062 0 0 0 13380 328 0 0 25 0 1 0 1782614789 352182272 84610 4294967295 134512640 134736556 3221224560 3221223216 134608226 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 85982 84610 1116 68 0 85914 0
[pid=17705] vsize: 343928
Current children cumulated CPU time (s) 137.08
Current children cumulated vsize (Kb) 343928

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85067 0 0 0 14270 363 0 0 20 0 1 0 1782614789 352182272 84615 4294967295 134512640 134736556 3221224560 3221223276 134560240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 85982 84615 1116 68 0 85914 0
[pid=17705] vsize: 343928
Current children cumulated CPU time (s) 146.33
Current children cumulated vsize (Kb) 343928

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85069 0 0 0 15254 369 0 0 25 0 1 0 1782614789 352182272 84617 4294967295 134512640 134736556 3221224560 3221223136 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85982 84617 1116 68 0 85914 0
[pid=17705] vsize: 343928
Current children cumulated CPU time (s) 156.23
Current children cumulated vsize (Kb) 343928

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85087 0 0 0 16250 371 0 0 25 0 1 0 1782614789 352210944 84635 4294967295 134512640 134736556 3221224560 3221223136 134550878 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85989 84635 1116 68 0 85921 0
[pid=17705] vsize: 343956
Current children cumulated CPU time (s) 166.21
Current children cumulated vsize (Kb) 343956

[startup+180.014 s]
Raw data (loadavg): 1.06 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85102 0 0 0 17158 400 0 0 25 0 1 0 1782614789 352223232 84639 4294967295 134512640 134736556 3221224560 3221223072 134543143 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85992 84639 1116 68 0 85924 0
[pid=17705] vsize: 343968
Current children cumulated CPU time (s) 175.58
Current children cumulated vsize (Kb) 343968

[startup+190.014 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85102 0 0 0 18155 402 0 0 25 0 1 0 1782614789 352223232 84639 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 85992 84639 1116 68 0 85924 0
[pid=17705] vsize: 343968
Current children cumulated CPU time (s) 185.57
Current children cumulated vsize (Kb) 343968

[startup+200.015 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85103 0 0 0 19151 403 0 0 25 0 1 0 1782614789 352358400 84640 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 86025 84640 1116 68 0 85957 0
[pid=17705] vsize: 344100
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (Kb) 344100

[startup+210.014 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 85103 0 0 0 20056 435 0 0 25 0 1 0 1782614789 352268288 84640 4294967295 134512640 134736556 3221224560 3221223136 134543107 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 86003 84640 1116 68 0 85935 0
[pid=17705] vsize: 344012
Current children cumulated CPU time (s) 204.91
Current children cumulated vsize (Kb) 344012

[startup+220.015 s]
Raw data (loadavg): 1.03 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 85328 0 0 0 21000 455 0 0 25 0 1 0 1782614789 353210368 84865 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 86233 84865 1116 68 0 86165 0
[pid=17705] vsize: 344932
Current children cumulated CPU time (s) 214.55
Current children cumulated vsize (Kb) 344932

[startup+230.016 s]
Raw data (loadavg): 1.03 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 85419 0 0 0 21821 514 0 0 19 0 1 0 1782614789 353615872 84956 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 86332 84956 1116 68 0 86264 0
[pid=17705] vsize: 345328
Current children cumulated CPU time (s) 223.35
Current children cumulated vsize (Kb) 345328

[startup+240.016 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 85453 0 0 0 22358 663 0 0 18 0 1 0 1782614789 353751040 84990 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/17705/statm): 86365 84990 1116 68 0 86297 0
[pid=17705] vsize: 345460
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (Kb) 345460

[startup+250.017 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 86002 0 0 0 23105 748 0 0 17 0 1 0 1782614789 355909632 85539 4294967295 134512640 134736556 3221224560 3221223280 134597473 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 86892 85539 1116 68 0 86824 0
[pid=17705] vsize: 347568
Current children cumulated CPU time (s) 238.53
Current children cumulated vsize (Kb) 347568

[startup+260.017 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 86632 0 0 0 23770 860 0 0 16 0 1 0 1782614789 358612992 86169 4294967295 134512640 134736556 3221224560 3221222484 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 87552 86169 1116 68 0 87484 0
[pid=17705] vsize: 350208
Current children cumulated CPU time (s) 246.3
Current children cumulated vsize (Kb) 350208

[startup+270.018 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 89881 0 0 0 24579 930 0 0 17 0 1 0 1782614789 371859456 89418 4294967295 134512640 134736556 3221224560 3221223000 134634650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 90786 89418 1116 68 0 90718 0
[pid=17705] vsize: 363144
Current children cumulated CPU time (s) 255.09
Current children cumulated vsize (Kb) 363144

[startup+280.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 94408 0 0 0 25478 968 0 0 18 0 1 0 1782614789 390397952 93945 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 95312 93945 1116 68 0 95244 0
[pid=17705] vsize: 381248
Current children cumulated CPU time (s) 264.46
Current children cumulated vsize (Kb) 381248

[startup+290.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 99246 0 0 0 26407 1001 0 0 18 0 1 0 1782614789 410284032 98783 4294967295 134512640 134736556 3221224560 3221223152 134540282 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 100167 98783 1116 68 0 100099 0
[pid=17705] vsize: 400668
Current children cumulated CPU time (s) 274.08
Current children cumulated vsize (Kb) 400668

[startup+300.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 102318 0 0 0 27346 1027 0 0 17 0 1 0 1782614789 422875136 101854 4294967295 134512640 134736556 3221224560 3221223088 134716576 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 103241 101854 1116 68 0 103173 0
[pid=17705] vsize: 412964
Current children cumulated CPU time (s) 283.73
Current children cumulated vsize (Kb) 412964

[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 103776 0 0 0 28189 1084 0 0 18 0 1 0 1782614789 428957696 103312 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 104726 103312 1116 68 0 104658 0
[pid=17705] vsize: 418904
Current children cumulated CPU time (s) 292.73
Current children cumulated vsize (Kb) 418904

[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 106997 0 0 0 29135 1108 0 0 25 0 1 0 1782614789 442109952 106532 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 107937 106532 1116 68 0 107869 0
[pid=17705] vsize: 431748
Current children cumulated CPU time (s) 302.43
Current children cumulated vsize (Kb) 431748

[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 110525 0 0 0 30079 1132 0 0 18 0 1 0 1782614789 456683520 110056 4294967295 134512640 134736556 3221224560 3221223284 134605611 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 111495 110056 1116 68 0 111427 0
[pid=17705] vsize: 445980
Current children cumulated CPU time (s) 312.11
Current children cumulated vsize (Kb) 445980

[startup+340.021 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 114223 0 0 0 31020 1160 0 0 20 0 1 0 1782614789 471830528 113753 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 115193 113753 1116 68 0 115125 0
[pid=17705] vsize: 460772
Current children cumulated CPU time (s) 321.8
Current children cumulated vsize (Kb) 460772

[startup+350.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 117756 0 0 0 31972 1184 0 0 25 0 1 0 1782614789 486371328 117281 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 118743 117281 1116 68 0 118675 0
[pid=17705] vsize: 474972
Current children cumulated CPU time (s) 331.56
Current children cumulated vsize (Kb) 474972

[startup+360.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 120919 0 0 0 32907 1214 0 0 18 0 1 0 1782614789 499257344 120439 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 121889 120440 1116 68 0 121821 0
[pid=17705] vsize: 487556
Current children cumulated CPU time (s) 341.21
Current children cumulated vsize (Kb) 487556

[startup+370.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 124121 0 0 0 33864 1235 0 0 25 0 1 0 1782614789 512503808 123639 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 125123 123639 1116 68 0 125055 0
[pid=17705] vsize: 500492
Current children cumulated CPU time (s) 350.99
Current children cumulated vsize (Kb) 500492

[startup+380.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 126760 0 0 0 34829 1252 0 0 25 0 1 0 1782614789 523354112 126271 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 127772 126271 1116 68 0 127704 0
[pid=17705] vsize: 511088
Current children cumulated CPU time (s) 360.81
Current children cumulated vsize (Kb) 511088

[startup+390.022 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 129775 0 0 0 35790 1269 0 0 23 0 1 0 1782614789 535797760 129281 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 130810 129281 1116 68 0 130742 0
[pid=17705] vsize: 523240
Current children cumulated CPU time (s) 370.59
Current children cumulated vsize (Kb) 523240

[startup+400.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 132825 0 0 0 36748 1289 0 0 25 0 1 0 1782614789 548438016 132317 4294967295 134512640 134736556 3221224560 3221223152 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 133896 132317 1116 68 0 133828 0
[pid=17705] vsize: 535584
Current children cumulated CPU time (s) 380.37
Current children cumulated vsize (Kb) 535584

[startup+410.023 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 135497 0 0 0 37715 1304 0 0 25 0 1 0 1782614789 559493120 134987 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 136595 134987 1116 68 0 136527 0
[pid=17705] vsize: 546380
Current children cumulated CPU time (s) 390.19
Current children cumulated vsize (Kb) 546380

[startup+420.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 137668 0 0 0 38687 1318 0 0 19 0 1 0 1782614789 568279040 137158 4294967295 134512640 134736556 3221224560 3221223152 134550999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 138740 137158 1116 68 0 138672 0
[pid=17705] vsize: 554960
Current children cumulated CPU time (s) 400.05
Current children cumulated vsize (Kb) 554960

[startup+430.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 141080 0 0 0 39640 1340 0 0 25 0 1 0 1782614789 582307840 140559 4294967295 134512640 134736556 3221224560 3221223116 134536684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 142165 140559 1116 68 0 142097 0
[pid=17705] vsize: 568660
Current children cumulated CPU time (s) 409.8
Current children cumulated vsize (Kb) 568660

[startup+440.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 143408 0 0 0 40609 1355 0 0 25 0 1 0 1782614789 592031744 142880 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 144539 142880 1116 68 0 144471 0
[pid=17705] vsize: 578156
Current children cumulated CPU time (s) 419.64
Current children cumulated vsize (Kb) 578156

[startup+450.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 146640 0 0 0 41567 1373 0 0 25 0 1 0 1782614789 605257728 146107 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 147768 146107 1116 68 0 147700 0
[pid=17705] vsize: 591072
Current children cumulated CPU time (s) 429.4
Current children cumulated vsize (Kb) 591072

[startup+460.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 149171 0 0 0 42532 1391 0 0 25 0 1 0 1782614789 615530496 148638 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 150276 148638 1116 68 0 150208 0
[pid=17705] vsize: 601104
Current children cumulated CPU time (s) 439.23
Current children cumulated vsize (Kb) 601104

[startup+470.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 152689 0 0 0 43487 1411 0 0 25 0 1 0 1782614789 629997568 152156 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 153808 152156 1116 68 0 153740 0
[pid=17705] vsize: 615232
Current children cumulated CPU time (s) 448.98
Current children cumulated vsize (Kb) 615232

[startup+480.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 155571 0 0 0 44450 1429 0 0 18 0 1 0 1782614789 641687552 155029 4294967295 134512640 134736556 3221224560 3221223152 134540266 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 156662 155029 1116 68 0 156594 0
[pid=17705] vsize: 626648
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (Kb) 626648

[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 159128 0 0 0 45409 1450 0 0 25 0 1 0 1782614789 656416768 158567 4294967295 134512640 134736556 3221224560 3221223152 134551197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 160258 158567 1116 68 0 160190 0
[pid=17705] vsize: 641032
Current children cumulated CPU time (s) 468.59
Current children cumulated vsize (Kb) 641032

[startup+500.027 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 162703 0 0 0 46360 1474 0 0 19 0 1 0 1782614789 671084544 162141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 163839 162141 1116 68 0 163771 0
[pid=17705] vsize: 655356
Current children cumulated CPU time (s) 478.34
Current children cumulated vsize (Kb) 655356

[startup+510.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 166232 0 0 0 47318 1494 0 0 19 0 1 0 1782614789 685617152 165665 4294967295 134512640 134736556 3221224560 3221223296 134529294 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 167387 165665 1116 68 0 167319 0
[pid=17705] vsize: 669548
Current children cumulated CPU time (s) 488.12
Current children cumulated vsize (Kb) 669548

[startup+520.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 169337 0 0 0 48277 1511 0 0 25 0 1 0 1782614789 698327040 168767 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 170490 168767 1116 68 0 170422 0
[pid=17705] vsize: 681960
Current children cumulated CPU time (s) 497.88
Current children cumulated vsize (Kb) 681960

[startup+530.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 172809 0 0 0 49232 1533 0 0 25 0 1 0 1782614789 712445952 172235 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 173937 172235 1116 68 0 173869 0
[pid=17705] vsize: 695748
Current children cumulated CPU time (s) 507.65
Current children cumulated vsize (Kb) 695748

[startup+540.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 176500 0 0 0 50186 1553 0 0 25 0 1 0 1782614789 727584768 175917 4294967295 134512640 134736556 3221224560 3221223272 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 177633 175917 1116 68 0 177565 0
[pid=17705] vsize: 710532
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (Kb) 710532

[startup+550.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 179195 0 0 0 51150 1572 0 0 25 0 1 0 1782614789 738594816 178610 4294967295 134512640 134736556 3221224560 3221223120 134543198 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 180321 178611 1116 68 0 180253 0
[pid=17705] vsize: 721284
Current children cumulated CPU time (s) 527.22
Current children cumulated vsize (Kb) 721284

[startup+560.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 182745 0 0 0 52106 1592 0 0 25 0 1 0 1782614789 753098752 182158 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 183862 182158 1116 68 0 183794 0
[pid=17705] vsize: 735448
Current children cumulated CPU time (s) 536.98
Current children cumulated vsize (Kb) 735448

[startup+570.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 185481 0 0 0 53070 1611 0 0 25 0 1 0 1782614789 764383232 184894 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 186617 184894 1116 68 0 186549 0
[pid=17705] vsize: 746468
Current children cumulated CPU time (s) 546.81
Current children cumulated vsize (Kb) 746468

[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 188913 0 0 0 54031 1629 0 0 25 0 1 0 1782614789 778481664 188238 4294967295 134512640 134736556 3221224560 3221223312 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 190059 188238 1116 68 0 189991 0
[pid=17705] vsize: 760236
Current children cumulated CPU time (s) 556.6
Current children cumulated vsize (Kb) 760236

[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 191891 0 0 0 54994 1648 0 0 20 0 1 0 1782614789 790712320 191210 4294967295 134512640 134736556 3221224560 3221223228 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 193045 191210 1116 68 0 192977 0
[pid=17705] vsize: 772180
Current children cumulated CPU time (s) 566.42
Current children cumulated vsize (Kb) 772180

[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 194860 0 0 0 55955 1666 0 0 25 0 1 0 1782614789 802942976 194177 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 196031 194177 1116 68 0 195963 0
[pid=17705] vsize: 784124
Current children cumulated CPU time (s) 576.21
Current children cumulated vsize (Kb) 784124

[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 198346 0 0 0 56913 1687 0 0 25 0 1 0 1782614789 817258496 197577 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 199526 197577 1116 68 0 199458 0
[pid=17705] vsize: 798104
Current children cumulated CPU time (s) 586
Current children cumulated vsize (Kb) 798104

[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 201104 0 0 0 57879 1702 0 0 25 0 1 0 1782614789 828542976 200329 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 202281 200329 1116 68 0 202213 0
[pid=17705] vsize: 809124
Current children cumulated CPU time (s) 595.81
Current children cumulated vsize (Kb) 809124

[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204088 0 0 0 58842 1721 0 0 25 0 1 0 1782614789 840974336 203302 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205316 203302 1116 68 0 205248 0
[pid=17705] vsize: 821264
Current children cumulated CPU time (s) 605.63
Current children cumulated vsize (Kb) 821264

[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204149 0 0 0 59840 1721 0 0 25 0 1 0 1782614789 840638464 203222 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205234 203222 1116 68 0 205166 0
[pid=17705] vsize: 820936
Current children cumulated CPU time (s) 615.61
Current children cumulated vsize (Kb) 820936

[startup+650.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204158 0 0 0 60840 1722 0 0 25 0 1 0 1782614789 840638464 203231 4294967295 134512640 134736556 3221224560 3221223272 134694480 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205234 203231 1116 68 0 205166 0
[pid=17705] vsize: 820936
Current children cumulated CPU time (s) 625.62
Current children cumulated vsize (Kb) 820936

[startup+660.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204164 0 0 0 61840 1722 0 0 25 0 1 0 1782614789 840638464 203237 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205234 203237 1116 68 0 205166 0
[pid=17705] vsize: 820936
Current children cumulated CPU time (s) 635.62
Current children cumulated vsize (Kb) 820936

[startup+670.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204164 0 0 0 62839 1722 0 0 25 0 1 0 1782614789 840638464 203237 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205234 203237 1116 68 0 205166 0
[pid=17705] vsize: 820936
Current children cumulated CPU time (s) 645.61
Current children cumulated vsize (Kb) 820936

[startup+680.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 204164 0 0 0 63839 1722 0 0 25 0 1 0 1782614789 840638464 203237 4294967295 134512640 134736556 3221224560 3221223136 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 205234 203237 1116 68 0 205166 0
[pid=17705] vsize: 820936
Current children cumulated CPU time (s) 655.61
Current children cumulated vsize (Kb) 820936

[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 205137 0 0 0 64804 1736 0 0 18 0 1 0 1782614789 844693504 204210 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 206224 204210 1116 68 0 206156 0
[pid=17705] vsize: 824896
Current children cumulated CPU time (s) 665.4
Current children cumulated vsize (Kb) 824896

[startup+700.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 208559 0 0 0 65724 1769 0 0 19 0 1 0 1782614789 858746880 207632 4294967295 134512640 134736556 3221224560 3221223184 134634273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 209655 207632 1116 68 0 209587 0
[pid=17705] vsize: 838620
Current children cumulated CPU time (s) 674.93
Current children cumulated vsize (Kb) 838620

[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 212155 0 0 0 66664 1797 0 0 25 0 1 0 1782614789 873492480 211228 4294967295 134512640 134736556 3221224560 3221223160 134554101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 213255 211228 1116 68 0 213187 0
[pid=17705] vsize: 853020
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (Kb) 853020

[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 215241 0 0 0 67608 1822 0 0 25 0 1 0 1782614789 886267904 214311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 216374 214311 1116 68 0 216306 0
[pid=17705] vsize: 865496
Current children cumulated CPU time (s) 694.3
Current children cumulated vsize (Kb) 865496

[startup+730.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 218267 0 0 0 68556 1845 0 0 21 0 1 0 1782614789 898719744 217332 4294967295 134512640 134736556 3221224560 3221223116 134536340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/17705/statm): 219414 217332 1116 68 0 219346 0
[pid=17705] vsize: 877656
Current children cumulated CPU time (s) 704.01
Current children cumulated vsize (Kb) 877656

[startup+740.039 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 221049 0 0 0 69503 1869 0 0 25 0 1 0 1782614789 910106624 220106 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 222194 220106 1116 68 0 222126 0
[pid=17705] vsize: 888776
Current children cumulated CPU time (s) 713.72
Current children cumulated vsize (Kb) 888776

[startup+750.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 224269 0 2 0 70445 1895 0 0 25 0 1 0 1782614789 923488256 223294 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 225461 223294 1116 68 0 225393 0
[pid=17705] vsize: 901844
Current children cumulated CPU time (s) 723.4
Current children cumulated vsize (Kb) 901844

[startup+760.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) R 17704 17705 27660 0 -1 0 227083 0 24 0 71390 1915 0 0 19 0 1 0 1782614789 933384192 225726 4294967295 134512640 134736556 3221224560 3221223272 134694474 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/17705/statm): 227877 225726 1116 68 0 227809 0
[pid=17705] vsize: 911508
Current children cumulated CPU time (s) 733.05
Current children cumulated vsize (Kb) 911508



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+767.231 s]
Raw data (loadavg): 1.00 0.99 0.99 3/56 17705
Raw data (/proc/17705/stat): 17705 (bsolo) T 17704 17705 27660 0 -1 0 231193 0 122 0 71949 1936 0 0 16 0 1 0 1782614789 943742976 228227 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/17705/statm): 230406 228227 1116 68 0 230338 0
[pid=17705] vsize: 921624
Current children cumulated CPU time (s) 738.85
Current children cumulated vsize (Kb) 921624

Sending SIGTERM to -17705
Sleeping 2 seconds
Sending SIGKILL to -17705
One traced child (pid=17705) 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): 769.659
CPU time (s): 739.291
CPU user time (s): 719.499
CPU system time (s): 19.792
CPU usage (%): 96.0543
Max. virtual memory (cumulated for all children) (Kb): 921624

Verifier Data

ERROR: no interpretation found !