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-9pb.opb
MD5SUM7d64f372313e74de659e9e56ab2d9bab
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
Optimality of the best value was proved YES
Number of terms in the objective function 840
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 840
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 840
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 benchmark19.651
Number of variables840
Total number of constraints2526
Number of constraints which are clauses2502
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 constraint35

Trace number 2364

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-18 19:27:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3759 boxname=wulflinc4 idbench=243 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7d64f372313e74de659e9e56ab2d9bab  /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-9pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-9pb.opb
IDLAUNCH: 3759
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        920440 kB
Buffers:         34940 kB
Cached:          55424 kB
SwapCached:        960 kB
Active:          64872 kB
Inactive:        28144 kB
HighTotal:      131008 kB
HighFree:        73220 kB
LowTotal:       903652 kB
LowFree:        847220 kB
SwapTotal:     2097136 kB
SwapFree:      2095628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            15512 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 19:33:19 (client local time) WITH STATUS 30 IN 318.401 SECONDS
stats: 3759 0 318.401 30

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-9pb.opb ......
c The optimum solution is:68
s OPTIMUM FOUND
v -v1 -v10 -v100 -v101 -v102 -v103 -v104 v105 -v106 -v107 -v108 -v109 -v11 -v110 -v111 -v112 -v113 -v114 -v115 v116 -v117 -v118 -v119 v12 -v120 -v121 -v122 -v123 -v124 -v125 -v126 -v127 -v128 -v129 -v13 -v130 -v131 -v132 -v133 v134 -v135 -v136 -v137 -v138 -v139 -v14 -v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 -v148 -v149 -v15 -v150 -v151 v152 v153 -v154 -v155 -v156 -v157 -v158 -v159 -v16 -v160 -v161 -v162 -v163 -v164 -v165 v166 -v167 -v168 v169 -v17 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v18 -v180 -v181 v182 -v183 -v184 -v185 v186 -v187 -v188 -v189 -v19 v190 -v191 -v192 -v193 -v194 -v195 -v196 -v197 -v198 -v199 -v2 -v20 -v200 -v201 v202 -v203 -v204 v205 -v206 -v207 -v208 v209 -v21 -v210 -v211 -v212 v213 -v214 -v215 -v216 -v217 -v218 -v219 -v22 v220 -v221 -v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 v23 -v230 -v231 -v232 -v233 v234 -v235 -v236 -v237 -v238 -v239 v24 -v240 -v241 -v242 -v243 -v244 -v245 -v246 -v247 -v248 -v249 -v25 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 v258 -v259 -v26 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 v27 -v270 -v271 -v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 v28 -v280 -v281 -v282 v283 -v284 -v285 -v286 -v287 -v288 -v289 v29 -v290 -v291 -v292 -v293 -v294 v295 v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 -v304 -v305 -v306 v307 -v308 -v309 -v31 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 v324 -v325 -v326 -v327 -v328 -v329 -v33 -v330 -v331 -v332 -v333 -v334 -v335 v336 -v337 -v338 v339 -v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v35 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 -v358 -v359 -v36 -v360 -v361 -v362 -v363 -v364 -v365 -v366 -v367 -v368 -v369 -v37 -v370 -v371 -v372 -v373 -v374 v375 -v376 -v377 -v378 v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 v39 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v4 -v40 -v400 -v401 -v402 -v403 -v404 v405 -v406 -v407 -v408 -v409 v41 v410 -v411 -v412 -v413 v414 -v415 -v416 -v417 -v418 -v419 -v42 v420 -v421 -v422 v423 -v424 -v425 -v426 -v427 v428 -v429 -v43 -v430 -v431 v432 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v45 -v450 -v451 -v452 v453 -v454 -v455 -v456 -v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 -v472 -v473 -v474 -v475 v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 v484 -v485 -v486 -v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 v526 -v527 -v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 -v537 -v538 v539 -v54 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 v577 v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 -v644 -v645 -v646 v647 -v648 -v649 v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 v682 v683 -v684 -v685 -v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 v719 -v72 -v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 v73 v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 v74 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 -v749 v75 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v76 v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 -v771 -v772 v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 -v805 -v806 -v807 v808 -v809 -v81 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v83 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v84 -v840 -v85 -v86 -v87 -v88 -v89 -v9 -v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 
c Done, CPU Time=318.257

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/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1785531611 978944 2 4294967295 134512640 135450776 3221224576 3221224576 134512960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 239 2 232 232 0 7 0
[pid=16700] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-9pb.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-9pb.opb

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.96 0.93 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 827 0 0 0 888 35 0 0 25 0 1 0 1785531611 4464640 761 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 1090 761 232 232 0 858 0
[pid=16700] vsize: 4360
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (Kb) 4360

[startup+20.0034 s]
Raw data (loadavg): 0.94 0.96 0.93 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 1359 0 0 0 1809 62 0 0 25 0 1 0 1785531611 7495680 1196 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 1830 1196 232 232 0 1598 0
[pid=16700] vsize: 7320
Current children cumulated CPU time (s) 18.71
Current children cumulated vsize (Kb) 7320

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.96 0.93 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 1707 0 0 0 2746 84 0 0 25 0 1 0 1785531611 7905280 1544 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 1930 1544 232 232 0 1698 0
[pid=16700] vsize: 7720
Current children cumulated CPU time (s) 28.3
Current children cumulated vsize (Kb) 7720

[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.93 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 2221 0 0 0 3702 101 0 0 25 0 1 0 1785531611 13168640 1865 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3215 1865 232 232 0 2983 0
[pid=16700] vsize: 12860
Current children cumulated CPU time (s) 38.03
Current children cumulated vsize (Kb) 12860

[startup+50.005 s]
Raw data (loadavg): 1.12 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 2451 0 0 0 4653 118 0 0 25 0 1 0 1785531611 13316096 2095 4294967295 134512640 135450776 3221224576 3221223296 134539330 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 3251 2095 232 232 0 3019 0
[pid=16700] vsize: 13004
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (Kb) 13004

[startup+60.0049 s]
Raw data (loadavg): 1.10 0.99 0.94 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 2666 0 0 0 5618 131 0 0 25 0 1 0 1785531611 13742080 2310 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3355 2310 232 232 0 3123 0
[pid=16700] vsize: 13420
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (Kb) 13420

[startup+70.0047 s]
Raw data (loadavg): 1.09 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 2921 0 0 0 6589 142 0 0 25 0 1 0 1785531611 13877248 2565 4294967295 134512640 135450776 3221224576 3221222912 134533988 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3388 2565 232 232 0 3156 0
[pid=16700] vsize: 13552
Current children cumulated CPU time (s) 67.31
Current children cumulated vsize (Kb) 13552

[startup+80.0056 s]
Raw data (loadavg): 1.07 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 3036 0 0 0 7567 150 0 0 25 0 1 0 1785531611 14032896 2680 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3426 2680 232 232 0 3194 0
[pid=16700] vsize: 13704
Current children cumulated CPU time (s) 77.17
Current children cumulated vsize (Kb) 13704

[startup+90.0054 s]
Raw data (loadavg): 1.06 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 3144 0 0 0 8548 158 0 0 25 0 1 0 1785531611 14192640 2788 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3465 2788 232 232 0 3233 0
[pid=16700] vsize: 13860
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (Kb) 13860

[startup+100.006 s]
Raw data (loadavg): 1.05 0.99 0.94 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 3326 0 0 0 9525 167 0 0 25 0 1 0 1785531611 14356480 2970 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3505 2970 232 232 0 3273 0
[pid=16700] vsize: 14020
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (Kb) 14020

[startup+110.008 s]
Raw data (loadavg): 1.04 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 3495 0 0 0 10507 174 0 0 25 0 1 0 1785531611 14356480 3139 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3505 3139 232 232 0 3273 0
[pid=16700] vsize: 14020
Current children cumulated CPU time (s) 106.81
Current children cumulated vsize (Kb) 14020

[startup+120.008 s]
Raw data (loadavg): 1.04 0.99 0.94 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 3522 0 0 0 11493 179 0 0 25 0 1 0 1785531611 14356480 3166 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3505 3166 232 232 0 3273 0
[pid=16700] vsize: 14020
Current children cumulated CPU time (s) 116.72
Current children cumulated vsize (Kb) 14020

[startup+130.008 s]
Raw data (loadavg): 1.03 0.99 0.94 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 3694 0 0 0 12477 186 0 0 25 0 1 0 1785531611 14491648 3338 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 3538 3338 232 232 0 3306 0
[pid=16700] vsize: 14152
Current children cumulated CPU time (s) 126.63
Current children cumulated vsize (Kb) 14152

[startup+140.008 s]
Raw data (loadavg): 1.03 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4183 0 0 0 13463 191 0 0 25 0 1 0 1785531611 24584192 3442 4294967295 134512640 135450776 3221224576 3221223392 134550441 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6002 3442 232 232 0 5770 0
[pid=16700] vsize: 24008
Current children cumulated CPU time (s) 136.54
Current children cumulated vsize (Kb) 24008

[startup+150.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4359 0 0 0 14445 197 0 0 25 0 1 0 1785531611 24866816 3618 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6071 3618 232 232 0 5839 0
[pid=16700] vsize: 24284
Current children cumulated CPU time (s) 146.42
Current children cumulated vsize (Kb) 24284

[startup+160.008 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4414 0 0 0 15431 203 0 0 25 0 1 0 1785531611 25018368 3673 4294967295 134512640 135450776 3221224576 3221223296 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6108 3673 232 232 0 5876 0
[pid=16700] vsize: 24432
Current children cumulated CPU time (s) 156.34
Current children cumulated vsize (Kb) 24432

[startup+170.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4465 0 0 0 16412 210 0 0 25 0 1 0 1785531611 25161728 3724 4294967295 134512640 135450776 3221224576 3221223376 134538149 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6143 3724 232 232 0 5911 0
[pid=16700] vsize: 24572
Current children cumulated CPU time (s) 166.22
Current children cumulated vsize (Kb) 24572

[startup+180.009 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4502 0 0 0 17396 217 0 0 25 0 1 0 1785531611 25346048 3761 4294967295 134512640 135450776 3221224576 3221223296 134539413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6188 3761 232 232 0 5956 0
[pid=16700] vsize: 24752
Current children cumulated CPU time (s) 176.13
Current children cumulated vsize (Kb) 24752

[startup+190.01 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4518 0 0 0 18386 221 0 0 25 0 1 0 1785531611 25346048 3777 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6188 3777 232 232 0 5956 0
[pid=16700] vsize: 24752
Current children cumulated CPU time (s) 186.07
Current children cumulated vsize (Kb) 24752

[startup+200.011 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4551 0 0 0 19373 225 0 0 25 0 1 0 1785531611 25346048 3810 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6188 3810 232 232 0 5956 0
[pid=16700] vsize: 24752
Current children cumulated CPU time (s) 195.98
Current children cumulated vsize (Kb) 24752

[startup+210.012 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4592 0 0 0 20363 229 0 0 25 0 1 0 1785531611 25542656 3851 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6236 3851 232 232 0 6004 0
[pid=16700] vsize: 24944
Current children cumulated CPU time (s) 205.92
Current children cumulated vsize (Kb) 24944

[startup+220.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4662 0 0 0 21350 234 0 0 25 0 1 0 1785531611 25542656 3921 4294967295 134512640 135450776 3221224576 3221223296 134539618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6236 3921 232 232 0 6004 0
[pid=16700] vsize: 24944
Current children cumulated CPU time (s) 215.84
Current children cumulated vsize (Kb) 24944

[startup+230.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4703 0 0 0 22340 239 0 0 25 0 1 0 1785531611 25681920 3962 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6270 3962 232 232 0 6038 0
[pid=16700] vsize: 25080
Current children cumulated CPU time (s) 225.79
Current children cumulated vsize (Kb) 25080

[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4806 0 0 0 23331 242 0 0 25 0 1 0 1785531611 25841664 4065 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6309 4065 232 232 0 6077 0
[pid=16700] vsize: 25236
Current children cumulated CPU time (s) 235.73
Current children cumulated vsize (Kb) 25236

[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4854 0 0 0 24314 248 0 0 25 0 1 0 1785531611 25841664 4113 4294967295 134512640 135450776 3221224576 3221223296 134538944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6309 4113 232 232 0 6077 0
[pid=16700] vsize: 25236
Current children cumulated CPU time (s) 245.62
Current children cumulated vsize (Kb) 25236

[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4879 0 0 0 25305 251 0 0 25 0 1 0 1785531611 26001408 4138 4294967295 134512640 135450776 3221224576 3221223280 134536419 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6348 4138 232 232 0 6116 0
[pid=16700] vsize: 25392
Current children cumulated CPU time (s) 255.56
Current children cumulated vsize (Kb) 25392

[startup+270.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 4902 0 0 0 26295 255 0 0 25 0 1 0 1785531611 26001408 4161 4294967295 134512640 135450776 3221224576 3221223392 134550339 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6348 4161 232 232 0 6116 0
[pid=16700] vsize: 25392
Current children cumulated CPU time (s) 265.5
Current children cumulated vsize (Kb) 25392

[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 5026 0 0 0 27278 260 0 0 25 0 1 0 1785531611 26169344 4285 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16700/statm): 6389 4285 232 232 0 6157 0
[pid=16700] vsize: 25556
Current children cumulated CPU time (s) 275.38
Current children cumulated vsize (Kb) 25556

[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 5092 0 0 0 28263 266 0 0 25 0 1 0 1785531611 26447872 4351 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6457 4351 232 232 0 6225 0
[pid=16700] vsize: 25828
Current children cumulated CPU time (s) 285.29
Current children cumulated vsize (Kb) 25828

[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 5111 0 0 0 29249 270 0 0 25 0 1 0 1785531611 26447872 4370 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6457 4370 232 232 0 6225 0
[pid=16700] vsize: 25828
Current children cumulated CPU time (s) 295.19
Current children cumulated vsize (Kb) 25828

[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.94 1/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) T 16699 16700 6847 0 -1 0 5164 0 0 0 30228 278 0 0 25 0 1 0 1785531611 26624000 4423 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6500 4423 232 232 0 6268 0
[pid=16700] vsize: 26000
Current children cumulated CPU time (s) 305.06
Current children cumulated vsize (Kb) 26000

[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 16700
Raw data (/proc/16700/stat): 16700 (PBS4) R 16699 16700 6847 0 -1 0 5236 0 0 0 31207 285 0 0 25 0 1 0 1785531611 27000832 4495 4294967295 134512640 135450776 3221224576 3221223296 134539597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16700/statm): 6592 4495 232 232 0 6360 0
[pid=16700] vsize: 26368
Current children cumulated CPU time (s) 314.92
Current children cumulated vsize (Kb) 26368
One traced child (pid=16700) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 323.562
CPU time (s): 318.401
CPU user time (s): 315.513
CPU system time (s): 2.88756
CPU usage (%): 98.4047
Max. virtual memory (cumulated for all children) (Kb): 26368

Verifier Data

Verifier:	OK	68