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/routing/normalized-s4-4-3-8pb.opb
MD5SUM2bf0a3299a380a62e2f4aaf6d6f8fe18
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
Optimality of the best value was proved YES
Number of terms in the objective function 432
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 432
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 432
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 benchmark19.0001
Number of variables432
Total number of constraints1304
Number of constraints which are clauses1280
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18

Trace number 259

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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:        948232 kB
Buffers:         34196 kB
Cached:          23452 kB
SwapCached:        832 kB
Active:          53316 kB
Inactive:         7008 kB
HighTotal:      131008 kB
HighFree:       103852 kB
LowTotal:       903652 kB
LowFree:        844380 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20376 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 09:06:52 (client local time) WITH STATUS 30 IN 186.803 SECONDS
stats: 242 0 186.803 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 432 variables and 1304 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.251
c After prepocess the problem consists of 432 variables and 1304 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 432 #Dec: 366 LB: 0 @ 0.534
c Restart #2 #Var: 432 #Dec: 912 LB: 0 @ 1.205
c Restart #3 #Var: 432 #Dec: 1769 LB: 0 @ 2.42
c Restart #4 #Var: 432 #Dec: 3045 LB: 0 @ 4.237
c Restart #5 #Var: 432 #Dec: 5240 LB: 0 @ 6.787
c Restart #6 #Var: 432 #Dec: 7874 LB: 0 @ 10.247
c NEW SOLUTION FOUND: 68 @ 11.109 @ #Dec. 8928
c NEW SOLUTION FOUND: 64 @ 11.113 @ #Dec. 8933
c NEW SOLUTION FOUND: 62 @ 11.332 @ #Dec. 9168
c NEW SOLUTION FOUND: 60 @ 11.511 @ #Dec. 9332
c NEW SOLUTION FOUND: 58 @ 12.335 @ #Dec. 10174
c NEW SOLUTION FOUND: 56 @ 13.496 @ #Dec. 11094
c Restart #7 #Var: 432 #Dec: 12501 LB: 0 @ 16.123
c Restart #8 #Var: 432 #Dec: 16999 LB: 0 @ 25.003
c Restart #9 #Var: 432 #Dec: 20111 LB: 0 @ 30.727
c NEW SOLUTION FOUND: 54 @ 37.906 @ #Dec. 23442
c Restart #10 #Var: 432 #Dec: 25469 LB: 0 @ 43.372
c Restart #11 #Var: 432 #Dec: 30147 LB: 0 @ 61.841
c NEW SOLUTION FOUND: 52 @ 71.771 @ #Dec. 33282
c NEW SOLUTION FOUND: 50 @ 72.041 @ #Dec. 33379
c Restart #12 #Var: 432 #Dec: 35786 LB: 0 @ 79.046
c Restart #13 #Var: 432 #Dec: 40106 LB: 0 @ 111.02
c Restart #14 #Var: 432 #Dec: 47104 LB: 0 @ 138.1
c Restart #15 #Var: 432 #Dec: 50272 LB: 0 @ 153.5
c CHANGE to LPR mode... 	UB: 50	MIS: 0	LPR: 36 (0.38)	Diff: 0
c Restart #0 #Var: 432 #Dec: 56205 LB: 0 @ 184.64
c NEW SOLUTION FOUND: 36 @ 185.69 @ #Dec. 56208
s OPTIMUM FOUND
v -v1 -v2 -v3 -v4 -v5 -v6 v7 v8 -v9 -v10 -v11 -v12 -v13 -v14 v15 -v16 -v17 -v18 v19 -v20 -v21 -v22 -v23 -v24 -v25 -v26 -v27 -v28 -v29 -v30 v31 v32 -v33 -v34 -v35 -v36 v37 -v38 -v39 -v40 v41 -v42 -v43 -v44 -v45 -v46 -v47 -v48 -v49 v50 -v51 -v52 -v53 -v54 -v55 -v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82 -v83 -v84 -v85 v86 -v87 -v88 -v89 v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 v113 -v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 v124 v125 -v126 -v127 -v128 -v129 -v130 -v131 -v132 -v133 -v134 v135 -v136 -v137 -v138 -v139 -v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 -v148 v149 -v150 -v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 v169 v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v180 -v181 -v182 v183 -v184 -v185 -v186 v187 -v188 -v189 -v190 -v191 -v192 -v193 v194 -v195 v196 -v197 -v198 -v199 -v200 -v201 -v202 -v203 -v204 -v205 v206 -v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 v221 -v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v240 -v241 -v242 -v243 -v244 -v245 -v246 -v247 v248 -v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259 -v260 -v261 -v262 -v263 -v264 v265 -v266 -v267 -v268 -v269 -v270 -v271 -v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 v289 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v300 v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 v319 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 v329 -v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v350 -v351 -v352 -v353 v354 -v355 -v356 -v357 -v358 -v359 -v360 -v361 -v362 -v363 v364 -v365 -v366 -v367 -v368 -v369 -v370 -v371 -v372 v373 -v374 -v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v400 -v401 v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v420 -v421 -v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 -v430 -v431 -v432 
c Cost: 36
c Exit Code: 30
c Total time: 186.75 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/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840027548 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3382/statm): 107 3 90 68 0 39 0
[pid=3382] 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/wulflinc20/normalized-s4-4-3-8pb.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 1811 0 0 0 945 19 0 0 25 0 1 0 1840027548 10510336 1722 4294967295 134512640 134736556 3221224576 3221223216 134544649 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3382/statm): 2566 1722 1116 68 0 2498 0
[pid=3382] vsize: 10264
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 10264

[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 4891 0 0 0 1897 42 0 0 25 0 1 0 1840027548 23080960 4802 4294967295 134512640 134736556 3221224576 3221223120 134543639 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 5635 4802 1116 68 0 5567 0
[pid=3382] vsize: 22540
Current children cumulated CPU time (s) 19.39
Current children cumulated vsize (Kb) 22540

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 5314 0 0 0 2869 54 0 0 25 0 1 0 1840027548 24838144 5225 4294967295 134512640 134736556 3221224576 3221222980 134717263 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3382/statm): 6064 5225 1116 68 0 5996 0
[pid=3382] vsize: 24256
Current children cumulated CPU time (s) 29.23
Current children cumulated vsize (Kb) 24256

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 7109 0 0 0 3836 69 0 0 25 0 1 0 1840027548 32137216 7020 4294967295 134512640 134736556 3221224576 3221223108 134716291 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 7846 7020 1116 68 0 7778 0
[pid=3382] vsize: 31384
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (Kb) 31384

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 8895 0 0 0 4814 81 0 0 25 0 1 0 1840027548 39440384 8806 4294967295 134512640 134736556 3221224576 3221223044 134536046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 9629 8806 1116 68 0 9561 0
[pid=3382] vsize: 38516
Current children cumulated CPU time (s) 48.95
Current children cumulated vsize (Kb) 38516

[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 9167 0 0 0 5800 86 0 0 25 0 1 0 1840027548 40656896 9078 4294967295 134512640 134736556 3221224576 3221223216 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3382/statm): 9926 9078 1116 68 0 9858 0
[pid=3382] vsize: 39704
Current children cumulated CPU time (s) 58.86
Current children cumulated vsize (Kb) 39704

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 9903 0 0 0 6778 95 0 0 25 0 1 0 1840027548 43634688 9814 4294967295 134512640 134736556 3221224576 3221223152 134543195 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 10653 9814 1116 68 0 10585 0
[pid=3382] vsize: 42612
Current children cumulated CPU time (s) 68.73
Current children cumulated vsize (Kb) 42612

[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 12448 0 0 0 7748 111 0 0 25 0 1 0 1840027548 54042624 12359 4294967295 134512640 134736556 3221224576 3221223064 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 13194 12359 1116 68 0 13126 0
[pid=3382] vsize: 52776
Current children cumulated CPU time (s) 78.59
Current children cumulated vsize (Kb) 52776

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 12760 0 0 0 8735 117 0 0 25 0 1 0 1840027548 55394304 12671 4294967295 134512640 134736556 3221224576 3221223200 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 13524 12671 1116 68 0 13456 0
[pid=3382] vsize: 54096
Current children cumulated CPU time (s) 88.52
Current children cumulated vsize (Kb) 54096

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 13651 0 0 0 9723 123 0 0 25 0 1 0 1840027548 59043840 13562 4294967295 134512640 134736556 3221224576 3221223264 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 14415 13562 1116 68 0 14347 0
[pid=3382] vsize: 57660
Current children cumulated CPU time (s) 98.46
Current children cumulated vsize (Kb) 57660

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) T 3381 3382 2660 0 -1 0 14342 0 0 0 10714 127 0 0 25 0 1 0 1840027548 61747200 14253 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/3382/statm): 15075 14253 1116 68 0 15007 0
[pid=3382] vsize: 60300
Current children cumulated CPU time (s) 108.41
Current children cumulated vsize (Kb) 60300

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 14674 0 0 0 11700 133 0 0 25 0 1 0 1840027548 63234048 14585 4294967295 134512640 134736556 3221224576 3221222960 134717526 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 15438 14585 1116 68 0 15370 0
[pid=3382] vsize: 61752
Current children cumulated CPU time (s) 118.33
Current children cumulated vsize (Kb) 61752

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 14813 0 0 0 12683 140 0 0 25 0 1 0 1840027548 63774720 14724 4294967295 134512640 134736556 3221224576 3221223152 134716390 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 15570 14724 1116 68 0 15502 0
[pid=3382] vsize: 62280
Current children cumulated CPU time (s) 128.23
Current children cumulated vsize (Kb) 62280

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 15089 0 0 0 13669 145 0 0 25 0 1 0 1840027548 64856064 15000 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 15834 15000 1116 68 0 15766 0
[pid=3382] vsize: 63336
Current children cumulated CPU time (s) 138.14
Current children cumulated vsize (Kb) 63336

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 16989 0 0 0 14648 157 0 0 25 0 1 0 1840027548 72699904 16900 4294967295 134512640 134736556 3221224576 3221223200 134528687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 17749 16900 1116 68 0 17681 0
[pid=3382] vsize: 70996
Current children cumulated CPU time (s) 148.05
Current children cumulated vsize (Kb) 70996

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 18117 0 0 0 15632 164 0 0 25 0 1 0 1840027548 77295616 18028 4294967295 134512640 134736556 3221224576 3221223240 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 18871 18028 1116 68 0 18803 0
[pid=3382] vsize: 75484
Current children cumulated CPU time (s) 157.96
Current children cumulated vsize (Kb) 75484

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) R 3381 3382 2660 0 -1 0 18237 0 0 0 16618 171 0 0 25 0 1 0 1840027548 77836288 18148 4294967295 134512640 134736556 3221224576 3221223204 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3382/statm): 19003 18148 1116 68 0 18935 0
[pid=3382] vsize: 76012
Current children cumulated CPU time (s) 167.89
Current children cumulated vsize (Kb) 76012

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 3382
Raw data (/proc/3382/stat): 3382 (bsolo) T 3381 3382 2660 0 -1 0 19543 0 0 0 17600 181 0 0 25 0 1 0 1840027548 83116032 19454 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/3382/statm): 20292 19454 1116 68 0 20224 0
[pid=3382] vsize: 81168
Current children cumulated CPU time (s) 177.81
Current children cumulated vsize (Kb) 81168
One traced child (pid=3382) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 189.066
CPU time (s): 186.803
CPU user time (s): 184.836
CPU system time (s): 1.9667
CPU usage (%): 98.8027
Max. virtual memory (cumulated for all children) (Kb): 81168

Verifier Data

Verifier:	OK	36