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

Namesubmitted/manquinho/logic-synthesis/normalized-9sym.b.opb
MD5SUM1457dc2646bff5e87c0f4b32dfb926ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of terms in the objective function 310
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 310
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 310
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark0.734888
Number of variables309
Total number of constraints976
Number of constraints which are clauses963
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint87

Trace number 1112

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-18 13:29:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5919 boxname=wulflinc13 idbench=59 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1457dc2646bff5e87c0f4b32dfb926ba  /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
IDLAUNCH: 5919
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900432 kB
Buffers:         33612 kB
Cached:          74208 kB
SwapCached:        708 kB
Active:          54480 kB
Inactive:        55940 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        816628 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18164 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 13:35:16 (client local time) WITH STATUS 30 IN 377.06 SECONDS
stats: 5919 0 377.06 30

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
c reading problem ... done. Time 3.046 ms.
c #vars     310
c #constraints  963
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  13 		Current CPU time: 3.70 ms
c CURRENT OPTIMUM=                  12 		Current CPU time: 3.96 ms
c CURRENT OPTIMUM=                  11 		Current CPU time: 4.14 ms
c CURRENT OPTIMUM=                  10 		Current CPU time: 4.36 ms
c CURRENT OPTIMUM=                   9 		Current CPU time: 4.49 ms
c CURRENT OPTIMUM=                   8 		Current CPU time: 5.69 ms
c CURRENT OPTIMUM=                   7 		Current CPU time: 24.84 ms
c CURRENT OPTIMUM=                   6 		Current CPU time: 33.83 ms
c CURRENT OPTIMUM=                   5 		Current CPU time: 179.90 ms
c starts		: 15
c conflicts		: 777
c decisions		: 20400
c propagations		: 43900
c inspects		: 382806
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 776
c root simplifications	: 64
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 10868
c speed (decisions/second)	: 108.24003820236642
c non guided choices	1442
c random choices	0
s OPTIMUM FOUND
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 
c objective function=5
c Total CPU time (ms) : 368.387

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/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783411918 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 39 3 38 16 0 23 0
[pid=3998] vsize: 156
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
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 /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
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/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
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 /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
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 /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/3998
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=3999
New thread pid=4000
New thread pid=4001
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=4002
New thread pid=4003
New thread pid=4004
New thread pid=4005
New thread pid=4006
New thread pid=4007
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
New thread pid=4008
One traced child (pid=4008) exited with status: 0
New thread pid=4009
One traced child (pid=4009) exited with status: 0
New thread pid=4010
One traced child (pid=4010) exited with status: 0
New thread pid=4011
One traced child (pid=4011) exited with status: 0
New thread pid=4012
One traced child (pid=4012) exited with status: 0
New thread pid=4013
One traced child (pid=4013) exited with status: 0
New thread pid=4014

[startup+10.0085 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 4014
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18084 3 98 0 611 53 0 0 25 0 11 0 1783411918 856264704 19668 4294967295 134512640 134569956 3221224352 3221214488 1131492661 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209049 19668 13129 16 0 209033 0
[pid=3998] vsize: 836196
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (Kb) 836196

[startup+20.0092 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 4014
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18093 3 98 0 1549 54 0 0 19 0 11 0 1783411918 857280512 21689 4294967295 134512640 134569956 3221224352 3221214768 1131512166 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209297 21689 13129 16 0 209281 0
[pid=3998] vsize: 837188
Current children cumulated CPU time (s) 16.03
Current children cumulated vsize (Kb) 837188
One traced child (pid=4014) exited with status: 0
New thread pid=4015

[startup+30.0108 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 4015
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18100 3 98 0 2518 54 0 0 17 0 11 0 1783411918 857280512 21707 4294967295 134512640 134569956 3221224352 3221214536 1131442888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209297 21707 13129 16 0 209281 0
[pid=3998] vsize: 837188
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (Kb) 837188
One traced child (pid=4015) exited with status: 0
New thread pid=4016

[startup+40.0115 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18107 3 98 0 3470 54 0 0 25 0 11 0 1783411918 856231936 21584 4294967295 134512640 134569956 3221224352 3221214640 1131524047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 21584 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 35.24
Current children cumulated vsize (Kb) 836164

[startup+50.0111 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18115 3 98 0 4399 55 0 0 17 0 11 0 1783411918 856231936 21908 4294967295 134512640 134569956 3221224352 3221214688 1131371970 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 21908 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (Kb) 836164

[startup+60.0118 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18121 3 98 0 5350 55 0 0 25 0 11 0 1783411918 856231936 21908 4294967295 134512640 134569956 3221224352 3221214668 1131492563 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 21908 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 54.05
Current children cumulated vsize (Kb) 836164

[startup+70.0115 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18127 3 98 0 6293 55 0 0 25 0 11 0 1783411918 856231936 21837 4294967295 134512640 134569956 3221224352 3221214612 1131460944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 21837 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 63.48
Current children cumulated vsize (Kb) 836164

[startup+80.0121 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18133 3 98 0 7239 56 0 0 25 0 11 0 1783411918 856231936 21992 4294967295 134512640 134569956 3221224352 3221214544 1131442976 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 21992 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 72.95
Current children cumulated vsize (Kb) 836164

[startup+90.0128 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18140 3 98 0 8194 56 0 0 25 0 11 0 1783411918 856231936 22251 4294967295 134512640 134569956 3221224352 3221214640 1131524035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 22251 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 82.5
Current children cumulated vsize (Kb) 836164

[startup+100.012 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18147 3 98 0 9151 56 0 0 25 0 11 0 1783411918 856231936 22536 4294967295 134512640 134569956 3221224352 3221214536 1131443210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 22536 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 92.07
Current children cumulated vsize (Kb) 836164

[startup+110.013 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18155 3 98 0 10115 56 0 0 25 0 11 0 1783411918 856231936 22644 4294967295 134512640 134569956 3221224352 3221214768 1131511864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 22644 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (Kb) 836164

[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18162 3 98 0 11068 56 0 0 17 0 11 0 1783411918 856231936 22686 4294967295 134512640 134569956 3221224352 3221214736 1131356654 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 22686 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 111.24
Current children cumulated vsize (Kb) 836164

[startup+130.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18168 3 98 0 12024 56 0 0 25 0 11 0 1783411918 856231936 22729 4294967295 134512640 134569956 3221224352 3221214576 1131376916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 22729 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 120.8
Current children cumulated vsize (Kb) 836164

[startup+140.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18175 3 98 0 12976 57 0 0 25 0 11 0 1783411918 856231936 22884 4294967295 134512640 134569956 3221224352 3221214600 1131460856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 22884 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 130.33
Current children cumulated vsize (Kb) 836164

[startup+150.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18182 3 98 0 13934 57 0 0 18 0 11 0 1783411918 856231936 23004 4294967295 134512640 134569956 3221224352 3221214632 1131588519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23004 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 139.91
Current children cumulated vsize (Kb) 836164

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18189 3 98 0 14893 58 0 0 18 0 11 0 1783411918 856231936 23182 4294967295 134512640 134569956 3221224352 3221214632 1131588997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23182 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 149.51
Current children cumulated vsize (Kb) 836164

[startup+170.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18195 3 98 0 15864 58 0 0 25 0 11 0 1783411918 856231936 23311 4294967295 134512640 134569956 3221224352 3221214536 1131443102 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23311 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 159.22
Current children cumulated vsize (Kb) 836164

[startup+180.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4016
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18202 3 98 0 16829 58 0 0 25 0 11 0 1783411918 856231936 23326 4294967295 134512640 134569956 3221224352 3221214680 1131497928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23326 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 168.87
Current children cumulated vsize (Kb) 836164
One traced child (pid=4016) exited with status: 0
New thread pid=4017

[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18210 3 98 0 17772 59 0 0 25 0 11 0 1783411918 856231936 23527 4294967295 134512640 134569956 3221224352 3221214632 1131492608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 23527 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 178.31
Current children cumulated vsize (Kb) 836164

[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18215 3 98 0 18739 59 0 0 25 0 11 0 1783411918 856231936 23608 4294967295 134512640 134569956 3221224352 3221214768 1131511864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23608 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 187.98
Current children cumulated vsize (Kb) 836164

[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18219 3 98 0 19712 59 0 0 25 0 11 0 1783411918 856231936 23662 4294967295 134512640 134569956 3221224352 3221214656 1131319510 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 23662 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 197.71
Current children cumulated vsize (Kb) 836164

[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18222 3 98 0 20688 59 0 0 25 0 11 0 1783411918 856231936 23725 4294967295 134512640 134569956 3221224352 3221214064 1085806289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 23725 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 207.47
Current children cumulated vsize (Kb) 836164

[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18227 3 98 0 21655 59 0 0 25 0 11 0 1783411918 856231936 23765 4294967295 134512640 134569956 3221224352 3221214056 1131681793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 23765 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 217.14
Current children cumulated vsize (Kb) 836164

[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18235 3 98 0 22603 59 0 0 25 0 11 0 1783411918 856231936 23882 4294967295 134512640 134569956 3221224352 3221214200 1085806301 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 23882 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 226.62
Current children cumulated vsize (Kb) 836164

[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18241 3 98 0 23552 60 0 0 20 0 11 0 1783411918 856231936 23977 4294967295 134512640 134569956 3221224352 3221214048 1085759249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 23977 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 236.12
Current children cumulated vsize (Kb) 836164

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18246 3 98 0 24508 60 0 0 25 0 11 0 1783411918 856231936 24075 4294967295 134512640 134569956 3221224352 3221214520 1131492737 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24075 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 245.68
Current children cumulated vsize (Kb) 836164

[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) S 3997 3998 1333 0 -1 0 18254 3 98 0 25451 60 0 0 25 0 11 0 1783411918 856231936 24223 4294967295 134512640 134569956 3221224352 3221213160 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24223 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 255.11
Current children cumulated vsize (Kb) 836164

[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18258 3 98 0 26421 61 0 0 25 0 11 0 1783411918 856231936 24427 4294967295 134512640 134569956 3221224352 3221214252 1085743744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 24427 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 264.82
Current children cumulated vsize (Kb) 836164

[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18264 3 98 0 27388 62 0 0 25 0 11 0 1783411918 856231936 24501 4294967295 134512640 134569956 3221224352 3221214720 1131514709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 24501 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 274.5
Current children cumulated vsize (Kb) 836164

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) S 3997 3998 1333 0 -1 0 18269 3 98 0 28360 62 0 0 17 0 11 0 1783411918 856231936 24584 4294967295 134512640 134569956 3221224352 3221213224 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24584 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 284.22
Current children cumulated vsize (Kb) 836164

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18276 3 98 0 29328 63 0 0 16 0 11 0 1783411918 856231936 24734 4294967295 134512640 134569956 3221224352 3221214720 1131511864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24734 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (Kb) 836164

[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18279 3 98 0 30315 63 0 0 25 0 11 0 1783411918 856231936 24774 4294967295 134512640 134569956 3221224352 3221214520 1131443037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 24774 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 303.78
Current children cumulated vsize (Kb) 836164

[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18284 3 98 0 31294 63 0 0 25 0 11 0 1783411918 856231936 24833 4294967295 134512640 134569956 3221224352 3221214296 1085806272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24833 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 313.57
Current children cumulated vsize (Kb) 836164

[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18288 3 98 0 32277 63 0 0 25 0 11 0 1783411918 856231936 24849 4294967295 134512640 134569956 3221224352 3221214744 1131711136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 24849 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 323.4
Current children cumulated vsize (Kb) 836164

[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18293 3 98 0 33254 64 0 0 25 0 11 0 1783411918 856231936 24891 4294967295 134512640 134569956 3221224352 3221214720 1131511929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 24891 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 333.18
Current children cumulated vsize (Kb) 836164

[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18300 3 98 0 34221 64 0 0 25 0 11 0 1783411918 856231936 24962 4294967295 134512640 134569956 3221224352 3221214512 1131442927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3998/statm): 209041 24962 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 342.85
Current children cumulated vsize (Kb) 836164

[startup+370.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4017
Raw data (/proc/3998/stat): 3998 (java) R 3997 3998 1333 0 -1 0 18307 3 98 0 35191 64 0 0 25 0 11 0 1783411918 856231936 25007 4294967295 134512640 134569956 3221224352 3221214512 1131442888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3998/statm): 209041 25007 13129 16 0 209025 0
[pid=3998] vsize: 836164
Current children cumulated CPU time (s) 352.55
Current children cumulated vsize (Kb) 836164
New thread pid=4018
One traced child (pid=4017) exited with status: 0
One traced child (pid=4018) exited with status: 0
One traced child (pid=4007) exited with status: 0
One traced child (pid=4002) exited with status: 0
One traced child (pid=3999) exited with status: 30
One traced child (pid=4001) exited with status: 30
One traced child (pid=4000) exited with status: 30
One traced child (pid=4006) exited with status: 30
One traced child (pid=4003) exited with status: 30
One traced child (pid=4005) exited with status: 30
One traced child (pid=4004) exited with status: 30
One traced child (pid=3998) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 371.389
CPU time (s): 377.06
CPU user time (s): 376.004
CPU system time (s): 1.05584
CPU usage (%): 101.527
Max. virtual memory (cumulated for all children) (Kb): 837188

Verifier Data

Verifier:	OK	5