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

Nameweb/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
MD5SUM2c5a7201629b1cd5d5ba35fb6df6518e
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.55446
Number of variables20445
Total number of constraints58444
Number of constraints which are clauses56420
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2024
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 335

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931208 kB
Buffers:         37732 kB
Cached:          26392 kB
SwapCached:        544 kB
Active:          55152 kB
Inactive:        21200 kB
HighTotal:      131008 kB
HighFree:       104580 kB
LowTotal:       903652 kB
LowFree:        826628 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            21540 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 09:32:17 (client local time) WITH STATUS 20 IN 191.117 SECONDS
stats: 318 7 191.117 20

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 20445 variables and 58444 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 13.636
c After prepocess the problem consists of 20415 variables and 58253 constraints.
c Restart #1 #Var: 19992 #Dec: 3248 LB: 0 @ 36.043
c Restart #2 #Var: 19944 #Dec: 10099 LB: 0 @ 95.199
c Restart #3 #Var: 14684 #Dec: 21636 LB: 0 @ 129.78
c Restart #4 #Var: 14564 #Dec: 31793 LB: 0 @ 175.2
s UNSATISFIABLE
c Exit Code: 20
c Total time: 191.08 s

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/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1781940301 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 107 3 90 68 0 39 0
[pid=10522] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-elf.rf9.ucl.opb

[startup+10.0029 s]
Raw data (loadavg): 0.82 0.93 0.90 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 9954 0 0 0 920 39 0 0 22 0 1 0 1781940301 35102720 7689 4294967295 134512640 134736556 3221224576 3221222868 1077314226 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 8570 7689 1116 68 0 8502 0
[pid=10522] vsize: 34280
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (Kb) 34280

[startup+20.0038 s]
Raw data (loadavg): 0.85 0.93 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17076 0 0 0 1873 63 0 0 25 0 1 0 1781940301 52129792 11709 4294967295 134512640 134736556 3221224576 3221223264 134529245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10522/statm): 12727 11709 1116 68 0 12659 0
[pid=10522] vsize: 50908
Current children cumulated CPU time (s) 19.36
Current children cumulated vsize (Kb) 50908

[startup+30.0046 s]
Raw data (loadavg): 0.87 0.93 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17105 0 0 0 2866 66 0 0 25 0 1 0 1781940301 52264960 11738 4294967295 134512640 134736556 3221224576 3221223216 134543725 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12760 11738 1116 68 0 12692 0
[pid=10522] vsize: 51040
Current children cumulated CPU time (s) 29.32
Current children cumulated vsize (Kb) 51040

[startup+40.0045 s]
Raw data (loadavg): 0.89 0.93 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17116 0 0 0 3857 70 0 0 25 0 1 0 1781940301 52264960 11749 4294967295 134512640 134736556 3221224576 3221223168 134543993 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12760 11749 1116 68 0 12692 0
[pid=10522] vsize: 51040
Current children cumulated CPU time (s) 39.27
Current children cumulated vsize (Kb) 51040

[startup+50.0053 s]
Raw data (loadavg): 0.90 0.93 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17135 0 0 0 4850 73 0 0 25 0 1 0 1781940301 52400128 11768 4294967295 134512640 134736556 3221224576 3221223200 134537433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12793 11768 1116 68 0 12725 0
[pid=10522] vsize: 51172
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 51172

[startup+60.0052 s]
Raw data (loadavg): 0.92 0.93 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17162 0 0 0 5841 77 0 0 25 0 1 0 1781940301 52535296 11795 4294967295 134512640 134736556 3221224576 3221223136 134543219 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12826 11795 1116 68 0 12758 0
[pid=10522] vsize: 51304
Current children cumulated CPU time (s) 59.18
Current children cumulated vsize (Kb) 51304

[startup+70.006 s]
Raw data (loadavg): 0.93 0.94 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17168 0 0 0 6836 78 0 0 25 0 1 0 1781940301 52535296 11801 4294967295 134512640 134736556 3221224576 3221223120 134540198 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12826 11801 1116 68 0 12758 0
[pid=10522] vsize: 51304
Current children cumulated CPU time (s) 69.14
Current children cumulated vsize (Kb) 51304

[startup+80.0069 s]
Raw data (loadavg): 0.94 0.94 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17168 0 0 0 7833 80 0 0 25 0 1 0 1781940301 52535296 11801 4294967295 134512640 134736556 3221224576 3221223288 134694605 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12826 11801 1116 68 0 12758 0
[pid=10522] vsize: 51304
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (Kb) 51304

[startup+90.0067 s]
Raw data (loadavg): 1.03 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17168 0 0 0 8831 81 0 0 25 0 1 0 1781940301 52535296 11801 4294967295 134512640 134736556 3221224576 3221223228 134524883 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12826 11801 1116 68 0 12758 0
[pid=10522] vsize: 51304
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (Kb) 51304

[startup+100.008 s]
Raw data (loadavg): 1.02 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17176 0 0 0 9825 83 0 0 25 0 1 0 1781940301 52535296 11809 4294967295 134512640 134736556 3221224576 3221223124 134544543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12826 11809 1116 68 0 12758 0
[pid=10522] vsize: 51304
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (Kb) 51304

[startup+110.008 s]
Raw data (loadavg): 1.02 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17190 0 0 0 10809 88 0 0 25 0 1 0 1781940301 52670464 11823 4294967295 134512640 134736556 3221224576 3221223052 134536684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12859 11823 1116 68 0 12791 0
[pid=10522] vsize: 51436
Current children cumulated CPU time (s) 108.97
Current children cumulated vsize (Kb) 51436

[startup+120.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17218 0 0 0 11793 94 0 0 25 0 1 0 1781940301 52805632 11851 4294967295 134512640 134736556 3221224576 3221223168 134716158 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12892 11851 1116 68 0 12824 0
[pid=10522] vsize: 51568
Current children cumulated CPU time (s) 118.87
Current children cumulated vsize (Kb) 51568

[startup+130.01 s]
Raw data (loadavg): 1.01 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17238 0 0 0 12778 99 0 0 25 0 1 0 1781940301 52805632 11871 4294967295 134512640 134736556 3221224576 3221223172 134540399 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12892 11871 1116 68 0 12824 0
[pid=10522] vsize: 51568
Current children cumulated CPU time (s) 128.77
Current children cumulated vsize (Kb) 51568

[startup+140.01 s]
Raw data (loadavg): 1.01 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17253 0 0 0 13764 104 0 0 25 0 1 0 1781940301 52944896 11886 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12926 11886 1116 68 0 12858 0
[pid=10522] vsize: 51704
Current children cumulated CPU time (s) 138.68
Current children cumulated vsize (Kb) 51704

[startup+150.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17283 0 0 0 14745 111 0 0 25 0 1 0 1781940301 53080064 11916 4294967295 134512640 134736556 3221224576 3221223120 134543661 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 12959 11916 1116 68 0 12891 0
[pid=10522] vsize: 51836
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (Kb) 51836

[startup+160.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17307 0 0 0 15739 113 0 0 25 0 1 0 1781940301 53080064 11940 4294967295 134512640 134736556 3221224576 3221223236 134536518 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10522/statm): 12959 11940 1116 68 0 12891 0
[pid=10522] vsize: 51836
Current children cumulated CPU time (s) 158.52
Current children cumulated vsize (Kb) 51836

[startup+170.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17351 0 0 0 16731 116 0 0 25 0 1 0 1781940301 53350400 11984 4294967295 134512640 134736556 3221224576 3221223340 134600556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 13025 11984 1116 68 0 12957 0
[pid=10522] vsize: 52100
Current children cumulated CPU time (s) 168.47
Current children cumulated vsize (Kb) 52100

[startup+180.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17412 0 0 0 17726 118 0 0 25 0 1 0 1781940301 53485568 12045 4294967295 134512640 134736556 3221224576 3221223088 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 13058 12045 1116 68 0 12990 0
[pid=10522] vsize: 52232
Current children cumulated CPU time (s) 178.44
Current children cumulated vsize (Kb) 52232

[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 10522
Raw data (/proc/10522/stat): 10522 (bsolo) R 10521 10522 8263 0 -1 0 17517 0 0 0 18719 121 0 0 25 0 1 0 1781940301 54026240 12150 4294967295 134512640 134736556 3221224576 3221223200 134544670 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10522/statm): 13190 12150 1116 68 0 13122 0
[pid=10522] vsize: 52760
Current children cumulated CPU time (s) 188.4
Current children cumulated vsize (Kb) 52760
One traced child (pid=10522) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 192.72
CPU time (s): 191.117
CPU user time (s): 189.871
CPU system time (s): 1.24581
CPU usage (%): 99.1681
Max. virtual memory (cumulated for all children) (Kb): 52760

Verifier Data

ERROR: no interpretation found !