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-1pb.opb
MD5SUM9f27aad2edb50c2232eec4dba5ec2271
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of terms in the objective function 672
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 672
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 672
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 benchmark229.103
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
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 constraint28

Trace number 271

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-18 09:01:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=236 boxname=wulflinc25 idbench=236 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc25/normalized-s4-4-3-1pb.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc25/normalized-s4-4-3-1pb.opb
IDLAUNCH: 236
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        950184 kB
Buffers:         34096 kB
Cached:          23556 kB
SwapCached:        896 kB
Active:          53308 kB
Inactive:         6996 kB
HighTotal:      131008 kB
HighFree:       106036 kB
LowTotal:       903652 kB
LowFree:        844148 kB
SwapTotal:     2097892 kB
SwapFree:      2096496 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            18572 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 09:11:22 (client local time) WITH STATUS 30 IN 613.784 SECONDS
stats: 236 0 613.784 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 672 variables and 2028 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.391
c After prepocess the problem consists of 672 variables and 2028 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 672 #Dec: 645 LB: 0 @ 0.924
c Restart #2 #Var: 672 #Dec: 2075 LB: 0 @ 2.379
c Restart #3 #Var: 672 #Dec: 4634 LB: 0 @ 4.304
c Restart #4 #Var: 672 #Dec: 7360 LB: 0 @ 7.515
c Restart #5 #Var: 672 #Dec: 9975 LB: 0 @ 12.04
c Restart #6 #Var: 672 #Dec: 13023 LB: 0 @ 18.657
c Restart #7 #Var: 672 #Dec: 16650 LB: 0 @ 25.08
c Restart #8 #Var: 671 #Dec: 20622 LB: 0 @ 33.233
c Restart #9 #Var: 671 #Dec: 22947 LB: 0 @ 42.46
c Restart #10 #Var: 671 #Dec: 25720 LB: 0 @ 51.302
c Restart #11 #Var: 671 #Dec: 29706 LB: 0 @ 66.822
c Restart #12 #Var: 671 #Dec: 33656 LB: 0 @ 86.81
c Restart #13 #Var: 671 #Dec: 37921 LB: 0 @ 112.75
c Restart #14 #Var: 671 #Dec: 42421 LB: 0 @ 143.33
c Restart #15 #Var: 671 #Dec: 47655 LB: 0 @ 182.23
c Restart #16 #Var: 671 #Dec: 53992 LB: 0 @ 214.33
c Restart #17 #Var: 669 #Dec: 60872 LB: 0 @ 255.91
c NEW SOLUTION FOUND: 72 @ 263.6 @ #Dec. 62349
c NEW SOLUTION FOUND: 70 @ 266.49 @ #Dec. 63091
c NEW SOLUTION FOUND: 68 @ 268.49 @ #Dec. 63769
c Restart #18 #Var: 669 #Dec: 69286 LB: 0 @ 302.9
c Restart #19 #Var: 669 #Dec: 78386 LB: 0 @ 351.89
c Restart #20 #Var: 669 #Dec: 84514 LB: 0 @ 413.5
c Restart #21 #Var: 665 #Dec: 91358 LB: 0 @ 497.87
c CHANGE to LPR mode... 	UB: 68	MIS: 44	LPR: 62 (0.48425)	Diff: 0.70968
c Restart #0 #Var: 665 #Dec: 101474 LB: 0 @ 603.55
c NEW SOLUTION FOUND: 64 @ 608.76 @ #Dec. 101479
c NEW SOLUTION FOUND: 62 @ 612.69 @ #Dec. 101479
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 -v625 -v626 v627 -v628 -v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v650 v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v670 -v671 -v672 
c Cost: 62
c Exit Code: 30
c Total time: 613.74 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/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1840038751 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 107 3 90 68 0 39 0
[pid=5334] 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/wulflinc25/normalized-s4-4-3-1pb.opb

[startup+10.0037 s]
Raw data (loadavg): 0.82 0.93 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 1299 0 0 0 945 20 0 0 25 0 1 0 1840038751 8351744 1210 4294967295 134512640 134736556 3221224576 3221223124 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 2039 1210 1116 68 0 1971 0
[pid=5334] vsize: 8156
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (Kb) 8156

[startup+20.0043 s]
Raw data (loadavg): 0.85 0.93 0.90 1/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) T 5333 5334 4419 0 -1 0 1583 0 0 0 1918 30 0 0 25 0 1 0 1840038751 9568256 1494 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5334/statm): 2336 1494 1116 68 0 2268 0
[pid=5334] vsize: 9344
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (Kb) 9344

[startup+30.0049 s]
Raw data (loadavg): 0.87 0.93 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 1946 0 0 0 2888 41 0 0 25 0 1 0 1840038751 11055104 1857 4294967295 134512640 134736556 3221224576 3221223112 134543871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 2699 1857 1116 68 0 2631 0
[pid=5334] vsize: 10796
Current children cumulated CPU time (s) 29.29
Current children cumulated vsize (Kb) 10796

[startup+40.0055 s]
Raw data (loadavg): 0.89 0.93 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 2234 0 0 0 3868 51 0 0 25 0 1 0 1840038751 12271616 2145 4294967295 134512640 134736556 3221224576 3221223168 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 2996 2145 1116 68 0 2928 0
[pid=5334] vsize: 11984
Current children cumulated CPU time (s) 39.19
Current children cumulated vsize (Kb) 11984

[startup+50.0061 s]
Raw data (loadavg): 0.90 0.93 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 2560 0 0 0 4849 58 0 0 25 0 1 0 1840038751 13623296 2471 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 3326 2471 1116 68 0 3258 0
[pid=5334] vsize: 13304
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (Kb) 13304

[startup+60.0068 s]
Raw data (loadavg): 0.92 0.93 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 2878 0 0 0 5828 66 0 0 25 0 1 0 1840038751 14839808 2789 4294967295 134512640 134736556 3221224576 3221223104 134716576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 3623 2789 1116 68 0 3555 0
[pid=5334] vsize: 14492
Current children cumulated CPU time (s) 58.94
Current children cumulated vsize (Kb) 14492

[startup+70.0074 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 3158 0 0 0 6816 71 0 0 25 0 1 0 1840038751 16056320 3069 4294967295 134512640 134736556 3221224576 3221223176 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 3920 3069 1116 68 0 3852 0
[pid=5334] vsize: 15680
Current children cumulated CPU time (s) 68.87
Current children cumulated vsize (Kb) 15680

[startup+80.0079 s]
Raw data (loadavg): 0.94 0.94 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 3407 0 0 0 7803 77 0 0 25 0 1 0 1840038751 17002496 3318 4294967295 134512640 134736556 3221224576 3221223088 134543184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 4151 3318 1116 68 0 4083 0
[pid=5334] vsize: 16604
Current children cumulated CPU time (s) 78.8
Current children cumulated vsize (Kb) 16604

[startup+90.0085 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 3682 0 0 0 8791 82 0 0 25 0 1 0 1840038751 18219008 3593 4294967295 134512640 134736556 3221224576 3221223052 134536676 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 4448 3593 1116 68 0 4380 0
[pid=5334] vsize: 17792
Current children cumulated CPU time (s) 88.73
Current children cumulated vsize (Kb) 17792

[startup+100.008 s]
Raw data (loadavg): 0.96 0.94 0.90 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 3917 0 0 0 9777 88 0 0 25 0 1 0 1840038751 19165184 3828 4294967295 134512640 134736556 3221224576 3221223092 134716478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 4679 3828 1116 68 0 4611 0
[pid=5334] vsize: 18716
Current children cumulated CPU time (s) 98.65
Current children cumulated vsize (Kb) 18716

[startup+110.01 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 4128 0 0 0 10768 93 0 0 25 0 1 0 1840038751 19976192 4039 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 4877 4039 1116 68 0 4809 0
[pid=5334] vsize: 19508
Current children cumulated CPU time (s) 108.61
Current children cumulated vsize (Kb) 19508

[startup+120.011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 4299 0 0 0 11758 98 0 0 25 0 1 0 1840038751 20652032 4210 4294967295 134512640 134736556 3221224576 3221223296 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 5042 4210 1116 68 0 4974 0
[pid=5334] vsize: 20168
Current children cumulated CPU time (s) 118.56
Current children cumulated vsize (Kb) 20168

[startup+130.011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 4525 0 0 0 12749 101 0 0 25 0 1 0 1840038751 21598208 4436 4294967295 134512640 134736556 3221224576 3221223276 134537608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 5273 4436 1116 68 0 5205 0
[pid=5334] vsize: 21092
Current children cumulated CPU time (s) 128.5
Current children cumulated vsize (Kb) 21092

[startup+140.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 4755 0 0 0 13737 106 0 0 25 0 1 0 1840038751 22540288 4666 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 5503 4666 1116 68 0 5435 0
[pid=5334] vsize: 22012
Current children cumulated CPU time (s) 138.43
Current children cumulated vsize (Kb) 22012

[startup+150.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 4970 0 0 0 14726 111 0 0 25 0 1 0 1840038751 23486464 4881 4294967295 134512640 134736556 3221224576 3221223104 134716613 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 5734 4881 1116 68 0 5666 0
[pid=5334] vsize: 22936
Current children cumulated CPU time (s) 148.37
Current children cumulated vsize (Kb) 22936

[startup+160.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 5130 0 0 0 15716 115 0 0 25 0 1 0 1840038751 24027136 5041 4294967295 134512640 134736556 3221224576 3221223136 134550949 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5334/statm): 5866 5041 1116 68 0 5798 0
[pid=5334] vsize: 23464
Current children cumulated CPU time (s) 158.31
Current children cumulated vsize (Kb) 23464

[startup+170.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 5345 0 0 0 16707 118 0 0 25 0 1 0 1840038751 24973312 5256 4294967295 134512640 134736556 3221224576 3221223180 134537486 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 6097 5256 1116 68 0 6029 0
[pid=5334] vsize: 24388
Current children cumulated CPU time (s) 168.25
Current children cumulated vsize (Kb) 24388

[startup+180.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 5536 0 0 0 17699 122 0 0 25 0 1 0 1840038751 25784320 5447 4294967295 134512640 134736556 3221224576 3221223084 134540120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 6295 5447 1116 68 0 6227 0
[pid=5334] vsize: 25180
Current children cumulated CPU time (s) 178.21
Current children cumulated vsize (Kb) 25180

[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 5681 0 0 0 18690 125 0 0 25 0 1 0 1840038751 26324992 5592 4294967295 134512640 134736556 3221224576 3221223216 134543833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 6427 5592 1116 68 0 6359 0
[pid=5334] vsize: 25708
Current children cumulated CPU time (s) 188.15
Current children cumulated vsize (Kb) 25708

[startup+200.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 5895 0 0 0 19676 130 0 0 25 0 1 0 1840038751 27271168 5806 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 6658 5806 1116 68 0 6590 0
[pid=5334] vsize: 26632
Current children cumulated CPU time (s) 198.06
Current children cumulated vsize (Kb) 26632

[startup+210.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 6169 0 0 0 20665 135 0 0 25 0 1 0 1840038751 28352512 6080 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 6922 6080 1116 68 0 6854 0
[pid=5334] vsize: 27688
Current children cumulated CPU time (s) 208
Current children cumulated vsize (Kb) 27688

[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 6390 0 0 0 21653 140 0 0 25 0 1 0 1840038751 29294592 6301 4294967295 134512640 134736556 3221224576 3221223236 134536526 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 7152 6301 1116 68 0 7084 0
[pid=5334] vsize: 28608
Current children cumulated CPU time (s) 217.93
Current children cumulated vsize (Kb) 28608

[startup+230.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 6465 0 0 0 22643 142 0 0 25 0 1 0 1840038751 29564928 6376 4294967295 134512640 134736556 3221224576 3221223132 134537486 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 7218 6376 1116 68 0 7150 0
[pid=5334] vsize: 28872
Current children cumulated CPU time (s) 227.85
Current children cumulated vsize (Kb) 28872

[startup+240.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 6681 0 0 0 23633 146 0 0 25 0 1 0 1840038751 30511104 6592 4294967295 134512640 134736556 3221224576 3221223132 134544504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 7449 6592 1116 68 0 7381 0
[pid=5334] vsize: 29796
Current children cumulated CPU time (s) 237.79
Current children cumulated vsize (Kb) 29796

[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 7000 0 0 0 24623 149 0 0 25 0 1 0 1840038751 31727616 6911 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 7746 6911 1116 68 0 7678 0
[pid=5334] vsize: 30984
Current children cumulated CPU time (s) 247.72
Current children cumulated vsize (Kb) 30984

[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 7213 0 0 0 25616 153 0 0 25 0 1 0 1840038751 32673792 7124 4294967295 134512640 134736556 3221224576 3221223200 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 7977 7124 1116 68 0 7909 0
[pid=5334] vsize: 31908
Current children cumulated CPU time (s) 257.69
Current children cumulated vsize (Kb) 31908

[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 7450 0 0 0 26602 158 0 0 25 0 1 0 1840038751 33619968 7361 4294967295 134512640 134736556 3221224576 3221223232 134528771 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 8208 7361 1116 68 0 8140 0
[pid=5334] vsize: 32832
Current children cumulated CPU time (s) 267.6
Current children cumulated vsize (Kb) 32832

[startup+280.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 7953 0 0 0 27589 165 0 0 25 0 1 0 1840038751 35643392 7864 4294967295 134512640 134736556 3221224576 3221223180 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 8702 7864 1116 68 0 8634 0
[pid=5334] vsize: 34808
Current children cumulated CPU time (s) 277.54
Current children cumulated vsize (Kb) 34808

[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) T 5333 5334 4419 0 -1 0 8141 0 0 0 28582 168 0 0 25 0 1 0 1840038751 36454400 8052 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5334/statm): 8900 8052 1116 68 0 8832 0
[pid=5334] vsize: 35600
Current children cumulated CPU time (s) 287.5
Current children cumulated vsize (Kb) 35600

[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 8937 0 0 0 29568 174 0 0 25 0 1 0 1840038751 39702528 8848 4294967295 134512640 134736556 3221224576 3221223136 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 9693 8849 1116 68 0 9625 0
[pid=5334] vsize: 38772
Current children cumulated CPU time (s) 297.42
Current children cumulated vsize (Kb) 38772

[startup+310.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 9560 0 0 0 30553 180 0 0 25 0 1 0 1840038751 42274816 9471 4294967295 134512640 134736556 3221224576 3221223136 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10321 9471 1116 68 0 10253 0
[pid=5334] vsize: 41284
Current children cumulated CPU time (s) 307.33
Current children cumulated vsize (Kb) 41284

[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) T 5333 5334 4419 0 -1 0 9661 0 0 0 31540 186 0 0 25 0 1 0 1840038751 42680320 9572 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10420 9572 1116 68 0 10352 0
[pid=5334] vsize: 41680
Current children cumulated CPU time (s) 317.26
Current children cumulated vsize (Kb) 41680

[startup+330.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 9757 0 0 0 32529 190 0 0 25 0 1 0 1840038751 43085824 9668 4294967295 134512640 134736556 3221224576 3221223180 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10519 9668 1116 68 0 10451 0
[pid=5334] vsize: 42076
Current children cumulated CPU time (s) 327.19
Current children cumulated vsize (Kb) 42076

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 9874 0 0 0 33518 194 0 0 25 0 1 0 1840038751 43491328 9785 4294967295 134512640 134736556 3221224576 3221223188 134524344 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10618 9785 1116 68 0 10550 0
[pid=5334] vsize: 42472
Current children cumulated CPU time (s) 337.12
Current children cumulated vsize (Kb) 42472

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 10033 0 0 0 34509 198 0 0 25 0 1 0 1840038751 44167168 9944 4294967295 134512640 134736556 3221224576 3221223124 134551038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10783 9944 1116 68 0 10715 0
[pid=5334] vsize: 43132
Current children cumulated CPU time (s) 347.07
Current children cumulated vsize (Kb) 43132

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 10226 0 0 0 35501 202 0 0 25 0 1 0 1840038751 44982272 10137 4294967295 134512640 134736556 3221224576 3221223100 134540061 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 10982 10137 1116 68 0 10914 0
[pid=5334] vsize: 43928
Current children cumulated CPU time (s) 357.03
Current children cumulated vsize (Kb) 43928

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) T 5333 5334 4419 0 -1 0 10442 0 0 0 36493 206 0 0 25 0 1 0 1840038751 45797376 10353 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11181 10353 1116 68 0 11113 0
[pid=5334] vsize: 44724
Current children cumulated CPU time (s) 366.99
Current children cumulated vsize (Kb) 44724

[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 10691 0 0 0 37483 211 0 0 25 0 1 0 1840038751 46878720 10602 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11445 10602 1116 68 0 11377 0
[pid=5334] vsize: 45780
Current children cumulated CPU time (s) 376.94
Current children cumulated vsize (Kb) 45780

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 10831 0 0 0 38476 213 0 0 25 0 1 0 1840038751 47419392 10742 4294967295 134512640 134736556 3221224576 3221223200 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11577 10742 1116 68 0 11509 0
[pid=5334] vsize: 46308
Current children cumulated CPU time (s) 386.89
Current children cumulated vsize (Kb) 46308

[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 10951 0 0 0 39471 215 0 0 25 0 1 0 1840038751 47960064 10862 4294967295 134512640 134736556 3221224576 3221223264 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11709 10862 1116 68 0 11641 0
[pid=5334] vsize: 46836
Current children cumulated CPU time (s) 396.86
Current children cumulated vsize (Kb) 46836

[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11081 0 0 0 40465 217 0 0 25 0 1 0 1840038751 48500736 10992 4294967295 134512640 134736556 3221224576 3221223216 134553321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11841 10992 1116 68 0 11773 0
[pid=5334] vsize: 47364
Current children cumulated CPU time (s) 406.82
Current children cumulated vsize (Kb) 47364

[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11198 0 0 0 41457 221 0 0 25 0 1 0 1840038751 48906240 11109 4294967295 134512640 134736556 3221224576 3221223296 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 11940 11109 1116 68 0 11872 0
[pid=5334] vsize: 47760
Current children cumulated CPU time (s) 416.78
Current children cumulated vsize (Kb) 47760

[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11285 0 0 0 42446 224 0 0 25 0 1 0 1840038751 49311744 11196 4294967295 134512640 134736556 3221224576 3221223136 134550935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12039 11196 1116 68 0 11971 0
[pid=5334] vsize: 48156
Current children cumulated CPU time (s) 426.7
Current children cumulated vsize (Kb) 48156

[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11411 0 0 0 43439 226 0 0 25 0 1 0 1840038751 49852416 11322 4294967295 134512640 134736556 3221224576 3221223236 134528665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12171 11322 1116 68 0 12103 0
[pid=5334] vsize: 48684
Current children cumulated CPU time (s) 436.65
Current children cumulated vsize (Kb) 48684

[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11543 0 0 0 44435 228 0 0 25 0 1 0 1840038751 50393088 11454 4294967295 134512640 134736556 3221224576 3221223176 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12303 11454 1116 68 0 12235 0
[pid=5334] vsize: 49212
Current children cumulated CPU time (s) 446.63
Current children cumulated vsize (Kb) 49212

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11694 0 0 0 45431 231 0 0 25 0 1 0 1840038751 50929664 11605 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12434 11605 1116 68 0 12366 0
[pid=5334] vsize: 49736
Current children cumulated CPU time (s) 456.62
Current children cumulated vsize (Kb) 49736

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 11854 0 0 0 46426 233 0 0 25 0 1 0 1840038751 51605504 11765 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12599 11765 1116 68 0 12531 0
[pid=5334] vsize: 50396
Current children cumulated CPU time (s) 466.59
Current children cumulated vsize (Kb) 50396

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12020 0 0 0 47420 235 0 0 25 0 1 0 1840038751 52281344 11931 4294967295 134512640 134736556 3221224576 3221223300 134529471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12764 11931 1116 68 0 12696 0
[pid=5334] vsize: 51056
Current children cumulated CPU time (s) 476.55
Current children cumulated vsize (Kb) 51056

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) T 5333 5334 4419 0 -1 0 12204 0 0 0 48416 237 0 0 25 0 1 0 1840038751 53092352 12115 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5334/statm): 12962 12115 1116 68 0 12894 0
[pid=5334] vsize: 51848
Current children cumulated CPU time (s) 486.53
Current children cumulated vsize (Kb) 51848

[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12391 0 0 0 49411 239 0 0 25 0 1 0 1840038751 53899264 12302 4294967295 134512640 134736556 3221224576 3221223312 134529440 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13159 12302 1116 68 0 13091 0
[pid=5334] vsize: 52636
Current children cumulated CPU time (s) 496.5
Current children cumulated vsize (Kb) 52636

[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12459 0 0 0 50408 241 0 0 25 0 1 0 1840038751 54173696 12370 4294967295 134512640 134736556 3221224576 3221223200 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13226 12370 1116 68 0 13158 0
[pid=5334] vsize: 52904
Current children cumulated CPU time (s) 506.49
Current children cumulated vsize (Kb) 52904

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12562 0 0 0 51401 244 0 0 25 0 1 0 1840038751 54579200 12473 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13325 12473 1116 68 0 13257 0
[pid=5334] vsize: 53300
Current children cumulated CPU time (s) 516.45
Current children cumulated vsize (Kb) 53300

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12642 0 0 0 52391 247 0 0 25 0 1 0 1840038751 54849536 12553 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13391 12553 1116 68 0 13323 0
[pid=5334] vsize: 53564
Current children cumulated CPU time (s) 526.38
Current children cumulated vsize (Kb) 53564

[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12726 0 0 0 53385 249 0 0 25 0 1 0 1840038751 55255040 12637 4294967295 134512640 134736556 3221224576 3221223248 134528729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13490 12637 1116 68 0 13422 0
[pid=5334] vsize: 53960
Current children cumulated CPU time (s) 536.34
Current children cumulated vsize (Kb) 53960

[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12808 0 0 0 54378 252 0 0 25 0 1 0 1840038751 55525376 12719 4294967295 134512640 134736556 3221224576 3221223312 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13556 12719 1116 68 0 13488 0
[pid=5334] vsize: 54224
Current children cumulated CPU time (s) 546.3
Current children cumulated vsize (Kb) 54224

[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12889 0 0 0 55371 254 0 0 25 0 1 0 1840038751 55930880 12800 4294967295 134512640 134736556 3221224576 3221223152 134543977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13655 12800 1116 68 0 13587 0
[pid=5334] vsize: 54620
Current children cumulated CPU time (s) 556.25
Current children cumulated vsize (Kb) 54620

[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 12993 0 0 0 56365 257 0 0 25 0 1 0 1840038751 56332288 12904 4294967295 134512640 134736556 3221224576 3221223284 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13753 12904 1116 68 0 13685 0
[pid=5334] vsize: 55012
Current children cumulated CPU time (s) 566.22
Current children cumulated vsize (Kb) 55012

[startup+580.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 13051 0 0 0 57359 260 0 0 25 0 1 0 1840038751 56602624 12962 4294967295 134512640 134736556 3221224576 3221223296 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13819 12962 1116 68 0 13751 0
[pid=5334] vsize: 55276
Current children cumulated CPU time (s) 576.19
Current children cumulated vsize (Kb) 55276

[startup+590.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 13145 0 0 0 58354 262 0 0 25 0 1 0 1840038751 57008128 13056 4294967295 134512640 134736556 3221224576 3221223116 134544504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 13918 13056 1116 68 0 13850 0
[pid=5334] vsize: 55672
Current children cumulated CPU time (s) 586.16
Current children cumulated vsize (Kb) 55672

[startup+600.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 13251 0 0 0 59347 264 0 0 25 0 1 0 1840038751 57409536 13162 4294967295 134512640 134736556 3221224576 3221223184 134537370 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 14016 13162 1116 68 0 13948 0
[pid=5334] vsize: 56064
Current children cumulated CPU time (s) 596.11
Current children cumulated vsize (Kb) 56064

[startup+610.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 5334
Raw data (/proc/5334/stat): 5334 (bsolo) R 5333 5334 4419 0 -1 0 16504 0 0 0 60333 272 0 0 25 0 1 0 1840038751 63057920 14603 4294967295 134512640 134736556 3221224576 3221223172 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5334/statm): 15395 14603 1116 68 0 15327 0
[pid=5334] vsize: 61580
Current children cumulated CPU time (s) 606.05
Current children cumulated vsize (Kb) 61580
One traced child (pid=5334) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 617.802
CPU time (s): 613.784
CPU user time (s): 610.959
CPU system time (s): 2.82457
CPU usage (%): 99.3496
Max. virtual memory (cumulated for all children) (Kb): 61580

Verifier Data

Verifier:	OK	62