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-6pb.opb
MD5SUMc12951e903009dc00793ce72594cf3ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 66
Optimality of the best value was proved YES
Number of terms in the objective function 624
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 624
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 624
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark47.9037
Number of variables624
Total number of constraints1884
Number of constraints which are clauses1860
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 constraint26

Trace number 256

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        950164 kB
Buffers:         33116 kB
Cached:          24284 kB
SwapCached:        536 kB
Active:          53232 kB
Inactive:         6752 kB
HighTotal:      131008 kB
HighFree:       104720 kB
LowTotal:       903652 kB
LowFree:        845444 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            18912 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 09:05:46 (client local time) WITH STATUS 30 IN 158.243 SECONDS
stats: 241 0 158.243 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 624 variables and 1884 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.363
c After prepocess the problem consists of 624 variables and 1884 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 624 #Dec: 457 LB: 0 @ 0.75
c Restart #2 #Var: 624 #Dec: 1007 LB: 0 @ 1.629
c Restart #3 #Var: 624 #Dec: 2422 LB: 0 @ 3.177
c Restart #4 #Var: 624 #Dec: 3766 LB: 0 @ 5.301
c Restart #5 #Var: 624 #Dec: 8436 LB: 0 @ 9.013
c Restart #6 #Var: 624 #Dec: 12566 LB: 0 @ 13.134
c Restart #7 #Var: 624 #Dec: 16748 LB: 0 @ 18.649
c Restart #8 #Var: 622 #Dec: 20276 LB: 0 @ 26.367
c Restart #9 #Var: 622 #Dec: 24351 LB: 0 @ 36.781
c NEW SOLUTION FOUND: 72 @ 47.35 @ #Dec. 28505
c NEW SOLUTION FOUND: 70 @ 47.421 @ #Dec. 28526
c NEW SOLUTION FOUND: 68 @ 55.831 @ #Dec. 31997
c Restart #10 #Var: 602 #Dec: 35027 LB: 1 @ 67.124
c Restart #11 #Var: 602 #Dec: 40125 LB: 1 @ 84.566
c Restart #12 #Var: 592 #Dec: 44379 LB: 3 @ 104.94
c Restart #13 #Var: 579 #Dec: 48096 LB: 3 @ 128.3
c CHANGE to LPR mode... 	UB: 68	MIS: 45	LPR: 65 (0.687)	Diff: 0.69231
c Restart #0 #Var: 577 #Dec: 51914 LB: 3 @ 155.61
c NEW SOLUTION FOUND: 66 @ 156.91 @ #Dec. 51916
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 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v451 v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v460 -v461 -v462 -v463 v464 -v465 -v466 -v467 -v468 -v469 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484 v485 -v486 -v487 -v488 -v489 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v510 v511 v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v530 -v531 v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v590 v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v610 -v611 -v612 -v613 -v614 v615 -v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 
c Cost: 66
c Exit Code: 30
c Total time: 158.22 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/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840024399 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 107 3 90 68 0 39 0
[pid=22270] 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/wulflinc22/normalized-s4-4-3-6pb.opb

[startup+10.003 s]
Raw data (loadavg): 0.92 0.95 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 1658 0 0 0 940 25 0 0 25 0 1 0 1840024399 9826304 1569 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 2399 1569 1116 68 0 2331 0
[pid=22270] vsize: 9596
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (Kb) 9596

[startup+20.0038 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 2094 0 0 0 1898 40 0 0 25 0 1 0 1840024399 11718656 2005 4294967295 134512640 134736556 3221224576 3221223200 134524626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 2861 2005 1116 68 0 2793 0
[pid=22270] vsize: 11444
Current children cumulated CPU time (s) 19.38
Current children cumulated vsize (Kb) 11444

[startup+30.0045 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 2385 0 0 0 2874 47 0 0 25 0 1 0 1840024399 12800000 2296 4294967295 134512640 134736556 3221224576 3221223152 134550251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 3125 2296 1116 68 0 3057 0
[pid=22270] vsize: 12500
Current children cumulated CPU time (s) 29.21
Current children cumulated vsize (Kb) 12500

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 2659 0 0 0 3853 55 0 0 25 0 1 0 1840024399 14016512 2570 4294967295 134512640 134736556 3221224576 3221223120 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 3422 2570 1116 68 0 3354 0
[pid=22270] vsize: 13688
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (Kb) 13688

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 3120 0 0 0 4829 63 0 0 25 0 1 0 1840024399 15908864 3031 4294967295 134512640 134736556 3221224576 3221223232 134534801 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 3884 3031 1116 68 0 3816 0
[pid=22270] vsize: 15536
Current children cumulated CPU time (s) 48.92
Current children cumulated vsize (Kb) 15536

[startup+60.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 3995 0 0 0 5807 74 0 0 25 0 1 0 1840024399 19423232 3906 4294967295 134512640 134736556 3221224576 3221223100 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 4742 3906 1116 68 0 4674 0
[pid=22270] vsize: 18968
Current children cumulated CPU time (s) 58.81
Current children cumulated vsize (Kb) 18968

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 4639 0 0 0 6788 82 0 0 25 0 1 0 1840024399 22126592 4550 4294967295 134512640 134736556 3221224576 3221223124 134544543 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 5402 4550 1116 68 0 5334 0
[pid=22270] vsize: 21608
Current children cumulated CPU time (s) 68.7
Current children cumulated vsize (Kb) 21608

[startup+80.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 4920 0 0 0 7768 90 0 0 25 0 1 0 1840024399 23207936 4831 4294967295 134512640 134736556 3221224576 3221223200 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 5666 4831 1116 68 0 5598 0
[pid=22270] vsize: 22664
Current children cumulated CPU time (s) 78.58
Current children cumulated vsize (Kb) 22664

[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 5223 0 0 0 8752 97 0 0 25 0 1 0 1840024399 24424448 5134 4294967295 134512640 134736556 3221224576 3221223160 134543967 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 5963 5134 1116 68 0 5895 0
[pid=22270] vsize: 23852
Current children cumulated CPU time (s) 88.49
Current children cumulated vsize (Kb) 23852

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 5484 0 0 0 9740 102 0 0 25 0 1 0 1840024399 25505792 5395 4294967295 134512640 134736556 3221224576 3221223300 134529474 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22270/statm): 6227 5395 1116 68 0 6159 0
[pid=22270] vsize: 24908
Current children cumulated CPU time (s) 98.42
Current children cumulated vsize (Kb) 24908

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 1/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) T 22269 22270 21452 0 -1 0 5799 0 0 0 10727 109 0 0 25 0 1 0 1840024399 26857472 5710 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22270/statm): 6557 5710 1116 68 0 6489 0
[pid=22270] vsize: 26228
Current children cumulated CPU time (s) 108.36
Current children cumulated vsize (Kb) 26228

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 6111 0 0 0 11714 114 0 0 25 0 1 0 1840024399 28069888 6022 4294967295 134512640 134736556 3221224576 3221223312 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 6853 6022 1116 68 0 6785 0
[pid=22270] vsize: 27412
Current children cumulated CPU time (s) 118.28
Current children cumulated vsize (Kb) 27412

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 6435 0 0 0 12703 119 0 0 25 0 1 0 1840024399 29421568 6346 4294967295 134512640 134736556 3221224576 3221223136 134551147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 7183 6346 1116 68 0 7115 0
[pid=22270] vsize: 28732
Current children cumulated CPU time (s) 128.22
Current children cumulated vsize (Kb) 28732

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 6780 0 0 0 13691 125 0 0 25 0 1 0 1840024399 30912512 6691 4294967295 134512640 134736556 3221224576 3221223152 134543982 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 7547 6691 1116 68 0 7479 0
[pid=22270] vsize: 30188
Current children cumulated CPU time (s) 138.16
Current children cumulated vsize (Kb) 30188

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 7093 0 0 0 14680 129 0 0 25 0 1 0 1840024399 32129024 7004 4294967295 134512640 134736556 3221224576 3221223136 134543554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 7844 7004 1116 68 0 7776 0
[pid=22270] vsize: 31376
Current children cumulated CPU time (s) 148.09
Current children cumulated vsize (Kb) 31376

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22270
Raw data (/proc/22270/stat): 22270 (bsolo) R 22269 22270 21452 0 -1 0 9378 0 0 0 15662 137 0 0 25 0 1 0 1840024399 37011456 8126 4294967295 134512640 134736556 3221224576 3221220748 1076111372 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22270/statm): 9036 8126 1116 68 0 8968 0
[pid=22270] vsize: 36144
Current children cumulated CPU time (s) 157.99
Current children cumulated vsize (Kb) 36144
One traced child (pid=22270) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 160.255
CPU time (s): 158.243
CPU user time (s): 156.842
CPU system time (s): 1.40079
CPU usage (%): 98.7448
Max. virtual memory (cumulated for all children) (Kb): 36144

Verifier Data

Verifier:	OK	66