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-7pb.opb
MD5SUM24909033929a72aa74b2fd8b12f27bce
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
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 benchmark16.5375
Number of variables672
Total number of constraints2030
Number of constraints which are clauses2006
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 281

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-18 09:05:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=245 boxname=wulflinc23 idbench=245 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  24909033929a72aa74b2fd8b12f27bce  /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-7pb.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-7pb.opb
IDLAUNCH: 245
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        950168 kB
Buffers:         33860 kB
Cached:          23596 kB
SwapCached:        820 kB
Active:          53340 kB
Inactive:         6800 kB
HighTotal:      131008 kB
HighFree:       104020 kB
LowTotal:       903652 kB
LowFree:        846148 kB
SwapTotal:     2097136 kB
SwapFree:      2095864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            18756 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 09:13:28 (client local time) WITH STATUS 30 IN 502.538 SECONDS
stats: 245 0 502.538 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 672 variables and 2030 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.382
c After prepocess the problem consists of 672 variables and 2030 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 672 #Dec: 565 LB: 0 @ 0.786
c Restart #2 #Var: 672 #Dec: 2098 LB: 0 @ 2.374
c Restart #3 #Var: 672 #Dec: 5597 LB: 0 @ 4.992
c Restart #4 #Var: 672 #Dec: 7648 LB: 0 @ 7.804
c Restart #5 #Var: 672 #Dec: 9178 LB: 0 @ 10.816
c Restart #6 #Var: 672 #Dec: 13026 LB: 0 @ 16.457
c Restart #7 #Var: 668 #Dec: 16580 LB: 0 @ 22.447
c Restart #8 #Var: 667 #Dec: 21379 LB: 0 @ 31.293
c Restart #9 #Var: 661 #Dec: 26233 LB: 1 @ 40.207
c Restart #10 #Var: 659 #Dec: 29368 LB: 1 @ 49.713
c Restart #11 #Var: 653 #Dec: 35225 LB: 1 @ 63.684
c Restart #12 #Var: 651 #Dec: 39760 LB: 1 @ 77.177
c Restart #13 #Var: 644 #Dec: 44406 LB: 2 @ 94.394
c Restart #14 #Var: 644 #Dec: 48520 LB: 2 @ 120.78
c Restart #15 #Var: 641 #Dec: 52248 LB: 3 @ 148.79
c Restart #16 #Var: 641 #Dec: 56622 LB: 3 @ 180.57
c Restart #17 #Var: 641 #Dec: 61267 LB: 3 @ 212.91
c NEW SOLUTION FOUND: 70 @ 220.37 @ #Dec. 62055
c NEW SOLUTION FOUND: 68 @ 220.46 @ #Dec. 62083
c Restart #18 #Var: 641 #Dec: 66312 LB: 3 @ 244.93
c Restart #19 #Var: 641 #Dec: 72460 LB: 3 @ 314.41
c Restart #20 #Var: 639 #Dec: 77982 LB: 4 @ 357.7
c Restart #21 #Var: 639 #Dec: 85271 LB: 4 @ 423.71
c CHANGE to LPR mode... 	UB: 68	MIS: 48	LPR: 64 (0.646)	Diff: 0.75
c Restart #0 #Var: 635 #Dec: 92323 LB: 5 @ 496.08
c NEW SOLUTION FOUND: 66 @ 496.88 @ #Dec. 92324
c NEW SOLUTION FOUND: 64 @ 501.75 @ #Dec. 92327
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: 64
c Exit Code: 30
c Total time: 502.49 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/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840046136 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6515/statm): 107 3 90 68 0 39 0
[pid=6515] 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/wulflinc23/normalized-s4-4-3-7pb.opb

[startup+10.0031 s]
Raw data (loadavg): 0.87 0.93 0.90 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 1358 0 0 0 943 21 0 0 25 0 1 0 1840046136 8626176 1269 4294967295 134512640 134736556 3221224576 3221223148 134634440 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 2106 1269 1116 68 0 2038 0
[pid=6515] vsize: 8424
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 8424

[startup+20.0038 s]
Raw data (loadavg): 0.89 0.93 0.90 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 1664 0 0 0 1911 33 0 0 25 0 1 0 1840046136 9842688 1575 4294967295 134512640 134736556 3221224576 3221223136 134543703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6515/statm): 2403 1575 1116 68 0 2335 0
[pid=6515] vsize: 9612
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (Kb) 9612

[startup+30.0055 s]
Raw data (loadavg): 0.90 0.93 0.90 1/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) T 6514 6515 5299 0 -1 0 1941 0 0 0 2878 45 0 0 25 0 1 0 1840046136 11059200 1852 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6515/statm): 2700 1852 1116 68 0 2632 0
[pid=6515] vsize: 10800
Current children cumulated CPU time (s) 29.23
Current children cumulated vsize (Kb) 10800

[startup+40.0061 s]
Raw data (loadavg): 0.92 0.93 0.90 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 2248 0 0 0 3852 55 0 0 25 0 1 0 1840046136 12275712 2159 4294967295 134512640 134736556 3221224576 3221223144 134537469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 2997 2159 1116 68 0 2929 0
[pid=6515] vsize: 11988
Current children cumulated CPU time (s) 39.07
Current children cumulated vsize (Kb) 11988

[startup+50.0058 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 2887 0 0 0 4832 63 0 0 25 0 1 0 1840046136 14843904 2798 4294967295 134512640 134736556 3221224576 3221223100 134540067 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 3624 2798 1116 68 0 3556 0
[pid=6515] vsize: 14496
Current children cumulated CPU time (s) 48.95
Current children cumulated vsize (Kb) 14496

[startup+60.0065 s]
Raw data (loadavg): 0.94 0.94 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 3160 0 0 0 5809 73 0 0 25 0 1 0 1840046136 16060416 3071 4294967295 134512640 134736556 3221224576 3221223132 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 3921 3071 1116 68 0 3853 0
[pid=6515] vsize: 15684
Current children cumulated CPU time (s) 58.82
Current children cumulated vsize (Kb) 15684

[startup+70.0061 s]
Raw data (loadavg): 0.95 0.94 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 3412 0 0 0 6787 82 0 0 25 0 1 0 1840046136 17006592 3323 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 4152 3323 1116 68 0 4084 0
[pid=6515] vsize: 16608
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (Kb) 16608

[startup+80.0068 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 3835 0 0 0 7766 91 0 0 25 0 1 0 1840046136 18763776 3746 4294967295 134512640 134736556 3221224576 3221223200 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 4581 3746 1116 68 0 4513 0
[pid=6515] vsize: 18324
Current children cumulated CPU time (s) 78.57
Current children cumulated vsize (Kb) 18324

[startup+90.0075 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 4152 0 0 0 8749 98 0 0 25 0 1 0 1840046136 20115456 4063 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 4911 4063 1116 68 0 4843 0
[pid=6515] vsize: 19644
Current children cumulated CPU time (s) 88.47
Current children cumulated vsize (Kb) 19644

[startup+100.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 4510 0 0 0 9733 105 0 0 25 0 1 0 1840046136 21602304 4421 4294967295 134512640 134736556 3221224576 3221223180 134537483 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 5274 4421 1116 68 0 5206 0
[pid=6515] vsize: 21096
Current children cumulated CPU time (s) 98.38
Current children cumulated vsize (Kb) 21096

[startup+110.008 s]
Raw data (loadavg): 0.97 0.94 0.91 1/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) T 6514 6515 5299 0 -1 0 4779 0 0 0 10722 110 0 0 25 0 1 0 1840046136 22679552 4690 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6515/statm): 5537 4690 1116 68 0 5469 0
[pid=6515] vsize: 22148
Current children cumulated CPU time (s) 108.32
Current children cumulated vsize (Kb) 22148

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 5037 0 0 0 11711 115 0 0 25 0 1 0 1840046136 23760896 4948 4294967295 134512640 134736556 3221224576 3221223156 134716328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 5801 4948 1116 68 0 5733 0
[pid=6515] vsize: 23204
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (Kb) 23204

[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 5368 0 0 0 12700 120 0 0 25 0 1 0 1840046136 25116672 5279 4294967295 134512640 134736556 3221224576 3221223184 134544564 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 6132 5279 1116 68 0 6064 0
[pid=6515] vsize: 24528
Current children cumulated CPU time (s) 128.2
Current children cumulated vsize (Kb) 24528

[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 5679 0 0 0 13691 125 0 0 25 0 1 0 1840046136 26324992 5590 4294967295 134512640 134736556 3221224576 3221223152 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 6427 5590 1116 68 0 6359 0
[pid=6515] vsize: 25708
Current children cumulated CPU time (s) 138.16
Current children cumulated vsize (Kb) 25708

[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 6059 0 0 0 14679 131 0 0 25 0 1 0 1840046136 27947008 5970 4294967295 134512640 134736556 3221224576 3221223188 134544531 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 6823 5970 1116 68 0 6755 0
[pid=6515] vsize: 27292
Current children cumulated CPU time (s) 148.1
Current children cumulated vsize (Kb) 27292

[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 6351 0 0 0 15666 137 0 0 25 0 1 0 1840046136 29028352 6262 4294967295 134512640 134736556 3221224576 3221223052 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 7087 6262 1116 68 0 7019 0
[pid=6515] vsize: 28348
Current children cumulated CPU time (s) 158.03
Current children cumulated vsize (Kb) 28348

[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 6617 0 0 0 16655 142 0 0 25 0 1 0 1840046136 30244864 6528 4294967295 134512640 134736556 3221224576 3221223120 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 7384 6528 1116 68 0 7316 0
[pid=6515] vsize: 29536
Current children cumulated CPU time (s) 167.97
Current children cumulated vsize (Kb) 29536

[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 6880 0 0 0 17647 146 0 0 25 0 1 0 1840046136 31326208 6791 4294967295 134512640 134736556 3221224576 3221223132 134543056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 7648 6791 1116 68 0 7580 0
[pid=6515] vsize: 30592
Current children cumulated CPU time (s) 177.93
Current children cumulated vsize (Kb) 30592

[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 7245 0 0 0 18634 152 0 0 25 0 1 0 1840046136 32813056 7156 4294967295 134512640 134736556 3221224576 3221223236 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 8011 7156 1116 68 0 7943 0
[pid=6515] vsize: 32044
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (Kb) 32044

[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 7577 0 0 0 19624 156 0 0 25 0 1 0 1840046136 34168832 7488 4294967295 134512640 134736556 3221224576 3221223132 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 8342 7488 1116 68 0 8274 0
[pid=6515] vsize: 33368
Current children cumulated CPU time (s) 197.8
Current children cumulated vsize (Kb) 33368

[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 7900 0 0 0 20614 160 0 0 25 0 1 0 1840046136 35385344 7811 4294967295 134512640 134736556 3221224576 3221223084 134540125 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 8639 7811 1116 68 0 8571 0
[pid=6515] vsize: 34556
Current children cumulated CPU time (s) 207.74
Current children cumulated vsize (Kb) 34556

[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 8140 0 0 0 21604 165 0 0 25 0 1 0 1840046136 36466688 8051 4294967295 134512640 134736556 3221224576 3221223248 134524345 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 8903 8051 1116 68 0 8835 0
[pid=6515] vsize: 35612
Current children cumulated CPU time (s) 217.69
Current children cumulated vsize (Kb) 35612

[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 8979 0 0 0 22588 173 0 0 25 0 1 0 1840046136 39845888 8890 4294967295 134512640 134736556 3221224576 3221223152 134716422 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 9728 8890 1116 68 0 9660 0
[pid=6515] vsize: 38912
Current children cumulated CPU time (s) 227.61
Current children cumulated vsize (Kb) 38912

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 9986 0 0 0 23574 180 0 0 25 0 1 0 1840046136 44036096 9897 4294967295 134512640 134736556 3221224576 3221223248 134528763 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 10751 9897 1116 68 0 10683 0
[pid=6515] vsize: 43004
Current children cumulated CPU time (s) 237.54
Current children cumulated vsize (Kb) 43004

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 10975 0 0 0 24558 189 0 0 25 0 1 0 1840046136 48091136 10886 4294967295 134512640 134736556 3221224576 3221223184 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 11741 10886 1116 68 0 11673 0
[pid=6515] vsize: 46964
Current children cumulated CPU time (s) 247.47
Current children cumulated vsize (Kb) 46964

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 11117 0 0 0 25548 193 0 0 25 0 1 0 1840046136 48631808 11028 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 11873 11028 1116 68 0 11805 0
[pid=6515] vsize: 47492
Current children cumulated CPU time (s) 257.41
Current children cumulated vsize (Kb) 47492

[startup+270.013 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) T 6514 6515 5299 0 -1 0 11281 0 0 0 26541 196 0 0 25 0 1 0 1840046136 49307648 11192 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12038 11192 1116 68 0 11970 0
[pid=6515] vsize: 48152
Current children cumulated CPU time (s) 267.37
Current children cumulated vsize (Kb) 48152

[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 11459 0 0 0 27536 199 0 0 25 0 1 0 1840046136 49983488 11370 4294967295 134512640 134736556 3221224576 3221223200 134537363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12203 11370 1116 68 0 12135 0
[pid=6515] vsize: 48812
Current children cumulated CPU time (s) 277.35
Current children cumulated vsize (Kb) 48812

[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 11605 0 0 0 28529 201 0 0 25 0 1 0 1840046136 50659328 11516 4294967295 134512640 134736556 3221224576 3221223200 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12368 11516 1116 68 0 12300 0
[pid=6515] vsize: 49472
Current children cumulated CPU time (s) 287.3
Current children cumulated vsize (Kb) 49472

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) T 6514 6515 5299 0 -1 0 11738 0 0 0 29524 204 0 0 25 0 1 0 1840046136 51200000 11649 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12500 11649 1116 68 0 12432 0
[pid=6515] vsize: 50000
Current children cumulated CPU time (s) 297.28
Current children cumulated vsize (Kb) 50000

[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 11883 0 0 0 30518 207 0 0 25 0 1 0 1840046136 51740672 11794 4294967295 134512640 134736556 3221224576 3221223076 134543905 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12632 11794 1116 68 0 12564 0
[pid=6515] vsize: 50528
Current children cumulated CPU time (s) 307.25
Current children cumulated vsize (Kb) 50528

[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 12124 0 0 0 31510 210 0 0 25 0 1 0 1840046136 52686848 12035 4294967295 134512640 134736556 3221224576 3221223504 134582880 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 12863 12035 1116 68 0 12795 0
[pid=6515] vsize: 51452
Current children cumulated CPU time (s) 317.2
Current children cumulated vsize (Kb) 51452

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 13293 0 0 0 32495 218 0 0 25 0 1 0 1840046136 57552896 13204 4294967295 134512640 134736556 3221224576 3221223180 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 14051 13204 1116 68 0 13983 0
[pid=6515] vsize: 56204
Current children cumulated CPU time (s) 327.13
Current children cumulated vsize (Kb) 56204

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 13492 0 0 0 33487 222 0 0 25 0 1 0 1840046136 58363904 13403 4294967295 134512640 134736556 3221224576 3221223100 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 14249 13403 1116 68 0 14181 0
[pid=6515] vsize: 56996
Current children cumulated CPU time (s) 337.09
Current children cumulated vsize (Kb) 56996

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 13733 0 0 0 34481 225 0 0 25 0 1 0 1840046136 59310080 13644 4294967295 134512640 134736556 3221224576 3221223224 134544625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 14480 13644 1116 68 0 14412 0
[pid=6515] vsize: 57920
Current children cumulated CPU time (s) 347.06
Current children cumulated vsize (Kb) 57920

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 14855 0 0 0 35469 232 0 0 25 0 1 0 1840046136 63905792 14766 4294967295 134512640 134736556 3221224576 3221223100 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 15602 14766 1116 68 0 15534 0
[pid=6515] vsize: 62408
Current children cumulated CPU time (s) 357.01
Current children cumulated vsize (Kb) 62408

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 15055 0 0 0 36455 236 0 0 25 0 1 0 1840046136 64716800 14966 4294967295 134512640 134736556 3221224576 3221223244 134553403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 15800 14966 1116 68 0 15732 0
[pid=6515] vsize: 63200
Current children cumulated CPU time (s) 366.91
Current children cumulated vsize (Kb) 63200

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 15271 0 0 0 37447 239 0 0 25 0 1 0 1840046136 65662976 15182 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 16031 15182 1116 68 0 15963 0
[pid=6515] vsize: 64124
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (Kb) 64124

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 15494 0 0 0 38438 243 0 0 25 0 1 0 1840046136 66613248 15405 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 16263 15405 1116 68 0 16195 0
[pid=6515] vsize: 65052
Current children cumulated CPU time (s) 386.81
Current children cumulated vsize (Kb) 65052

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 15700 0 0 0 39431 247 0 0 25 0 1 0 1840046136 67424256 15611 4294967295 134512640 134736556 3221224576 3221223180 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 16461 15611 1116 68 0 16393 0
[pid=6515] vsize: 65844
Current children cumulated CPU time (s) 396.78
Current children cumulated vsize (Kb) 65844

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 15902 0 0 0 40425 249 0 0 25 0 1 0 1840046136 68247552 15813 4294967295 134512640 134736556 3221224576 3221223272 134554006 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 16662 15813 1116 68 0 16594 0
[pid=6515] vsize: 66648
Current children cumulated CPU time (s) 406.74
Current children cumulated vsize (Kb) 66648

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 16117 0 0 0 41419 252 0 0 25 0 1 0 1840046136 69193728 16028 4294967295 134512640 134736556 3221224576 3221223240 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 16893 16028 1116 68 0 16825 0
[pid=6515] vsize: 67572
Current children cumulated CPU time (s) 416.71
Current children cumulated vsize (Kb) 67572

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 16321 0 0 0 42414 254 0 0 25 0 1 0 1840046136 70004736 16232 4294967295 134512640 134736556 3221224576 3221223124 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 17091 16232 1116 68 0 17023 0
[pid=6515] vsize: 68364
Current children cumulated CPU time (s) 426.68
Current children cumulated vsize (Kb) 68364

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 16496 0 0 0 43408 258 0 0 25 0 1 0 1840046136 70680576 16407 4294967295 134512640 134736556 3221224576 3221223312 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 17256 16407 1116 68 0 17188 0
[pid=6515] vsize: 69024
Current children cumulated CPU time (s) 436.66
Current children cumulated vsize (Kb) 69024

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 16633 0 0 0 44405 259 0 0 25 0 1 0 1840046136 71221248 16544 4294967295 134512640 134736556 3221224576 3221223248 134528799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 17388 16544 1116 68 0 17320 0
[pid=6515] vsize: 69552
Current children cumulated CPU time (s) 446.64
Current children cumulated vsize (Kb) 69552

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 16805 0 0 0 45401 261 0 0 25 0 1 0 1840046136 71897088 16716 4294967295 134512640 134736556 3221224576 3221223312 134529328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 17553 16716 1116 68 0 17485 0
[pid=6515] vsize: 70212
Current children cumulated CPU time (s) 456.62
Current children cumulated vsize (Kb) 70212

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 17217 0 0 0 46395 264 0 0 25 0 1 0 1840046136 73658368 17128 4294967295 134512640 134736556 3221224576 3221223232 134528776 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 17983 17128 1116 68 0 17915 0
[pid=6515] vsize: 71932
Current children cumulated CPU time (s) 466.59
Current children cumulated vsize (Kb) 71932

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 18091 0 0 0 47382 272 0 0 25 0 1 0 1840046136 77172736 18002 4294967295 134512640 134736556 3221224576 3221223176 134544000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 18841 18002 1116 68 0 18773 0
[pid=6515] vsize: 75364
Current children cumulated CPU time (s) 476.54
Current children cumulated vsize (Kb) 75364

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 18394 0 0 0 48370 276 0 0 25 0 1 0 1840046136 78528512 18305 4294967295 134512640 134736556 3221224576 3221223232 134536530 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 19172 18305 1116 68 0 19104 0
[pid=6515] vsize: 76688
Current children cumulated CPU time (s) 486.46
Current children cumulated vsize (Kb) 76688

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6515
Raw data (/proc/6515/stat): 6515 (bsolo) R 6514 6515 5299 0 -1 0 20359 0 0 0 49355 285 0 0 25 0 1 0 1840046136 84275200 19753 4294967295 134512640 134736556 3221224576 3221222896 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6515/statm): 20575 19753 1116 68 0 20507 0
[pid=6515] vsize: 82300
Current children cumulated CPU time (s) 496.4
Current children cumulated vsize (Kb) 82300
One traced child (pid=6515) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 506.207
CPU time (s): 502.538
CPU user time (s): 499.565
CPU system time (s): 2.97255
CPU usage (%): 99.2751
Max. virtual memory (cumulated for all children) (Kb): 82300

Verifier Data

Verifier:	OK	64