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/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUMc84a64f67029a09ef823a1b3017b5713
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.550915
Number of variables900
Total number of constraints673
Number of constraints which are clauses624
Number of constraints which are cardinality constraints (but not clauses)49
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint12
Maximum length of a constraint25

Trace number 896

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-18 12:52:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3556 boxname=wulflinc25 idbench=40 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc25/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 3556
/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:        937860 kB
Buffers:         34432 kB
Cached:          35664 kB
SwapCached:        896 kB
Active:          57252 kB
Inactive:        15472 kB
HighTotal:      131008 kB
HighFree:        93968 kB
LowTotal:       903652 kB
LowFree:        843892 kB
SwapTotal:     2097892 kB
SwapFree:      2096496 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            18568 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:55:40 (client local time) WITH STATUS 10 IN 205.755 SECONDS
stats: 3556 0 205.755 10

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-fpga25_24_sat_pb.cnf.cr.opb ......
c 23240Verifying Solution successful.
c PB Clauses are true, Verifying PB solution successful.
s SATISFIABLE
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 -v841 -v842 -v843 -v844 -v845 v846 -v847 -v848 -v849 -v85 -v850 -v851 -v852 v853 -v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 -v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 -v87 -v870 -v871 -v872 -v873 -v874 -v875 -v876 -v877 -v878 v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 -v894 -v895 -v896 v897 -v898 -v899 -v9 -v90 -v900 -v91 v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 
c Done, CPU Time=205.538

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/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1841425555 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7452/statm): 239 2 232 232 0 7 0
[pid=7452] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-fpga25_24_sat_pb.cnf.cr.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-fpga25_24_sat_pb.cnf.cr.opb

[startup+10.0022 s]
Raw data (loadavg): 0.84 0.93 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 1560 0 0 0 905 33 0 0 25 0 1 0 1841425555 10735616 1543 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7452/statm): 2621 1543 232 232 0 2389 0
[pid=7452] vsize: 10484
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (Kb) 10484

[startup+20.0028 s]
Raw data (loadavg): 0.87 0.93 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 2655 0 0 0 1864 48 0 0 25 0 1 0 1841425555 19886080 2638 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7452/statm): 4855 2638 232 232 0 4623 0
[pid=7452] vsize: 19420
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (Kb) 19420

[startup+30.0035 s]
Raw data (loadavg): 0.89 0.93 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 3533 0 0 0 2826 61 0 0 25 0 1 0 1841425555 20606976 3516 4294967295 134512640 135450776 3221224560 3221223360 134538136 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7452/statm): 5031 3516 232 232 0 4799 0
[pid=7452] vsize: 20124
Current children cumulated CPU time (s) 28.87
Current children cumulated vsize (Kb) 20124

[startup+40.003 s]
Raw data (loadavg): 0.90 0.93 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 3698 0 0 0 3804 68 0 0 25 0 1 0 1841425555 21069824 3632 4294967295 134512640 135450776 3221224560 3221223360 134537382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5144 3632 232 232 0 4912 0
[pid=7452] vsize: 20576
Current children cumulated CPU time (s) 38.72
Current children cumulated vsize (Kb) 20576

[startup+50.0036 s]
Raw data (loadavg): 0.92 0.94 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 3934 0 0 0 4769 81 0 0 25 0 1 0 1841425555 21999616 3771 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5371 3771 232 232 0 5139 0
[pid=7452] vsize: 21484
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (Kb) 21484

[startup+60.0033 s]
Raw data (loadavg): 0.93 0.94 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4052 0 0 0 5735 92 0 0 25 0 1 0 1841425555 22269952 3889 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7452/statm): 5437 3889 232 232 0 5205 0
[pid=7452] vsize: 21748
Current children cumulated CPU time (s) 58.27
Current children cumulated vsize (Kb) 21748

[startup+70.0049 s]
Raw data (loadavg): 0.94 0.94 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4152 0 0 0 6701 104 0 0 25 0 1 0 1841425555 22675456 3989 4294967295 134512640 135450776 3221224560 3221223280 134539544 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5536 3989 232 232 0 5304 0
[pid=7452] vsize: 22144
Current children cumulated CPU time (s) 68.05
Current children cumulated vsize (Kb) 22144

[startup+80.0055 s]
Raw data (loadavg): 1.02 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4231 0 0 0 7674 113 0 0 25 0 1 0 1841425555 22802432 4068 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7452/statm): 5567 4068 232 232 0 5335 0
[pid=7452] vsize: 22268
Current children cumulated CPU time (s) 77.87
Current children cumulated vsize (Kb) 22268

[startup+90.005 s]
Raw data (loadavg): 1.02 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 4520 0 0 0 8646 123 0 0 25 0 1 0 1841425555 23859200 4164 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5825 4164 232 232 0 5593 0
[pid=7452] vsize: 23300
Current children cumulated CPU time (s) 87.69
Current children cumulated vsize (Kb) 23300

[startup+100.006 s]
Raw data (loadavg): 1.02 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4595 0 0 0 9621 132 0 0 25 0 1 0 1841425555 24158208 4239 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5898 4239 232 232 0 5666 0
[pid=7452] vsize: 23592
Current children cumulated CPU time (s) 97.53
Current children cumulated vsize (Kb) 23592

[startup+110.006 s]
Raw data (loadavg): 1.01 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4784 0 0 0 10592 142 0 0 25 0 1 0 1841425555 24285184 4428 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5929 4428 232 232 0 5697 0
[pid=7452] vsize: 23716
Current children cumulated CPU time (s) 107.34
Current children cumulated vsize (Kb) 23716

[startup+120.007 s]
Raw data (loadavg): 1.01 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 4856 0 0 0 11568 150 0 0 25 0 1 0 1841425555 24555520 4500 4294967295 134512640 135450776 3221224560 3221223376 134550514 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 5995 4500 232 232 0 5763 0
[pid=7452] vsize: 23980
Current children cumulated CPU time (s) 117.18
Current children cumulated vsize (Kb) 23980

[startup+130.007 s]
Raw data (loadavg): 1.01 0.96 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 4934 0 0 0 12542 158 0 0 25 0 1 0 1841425555 24694784 4578 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6029 4578 232 232 0 5797 0
[pid=7452] vsize: 24116
Current children cumulated CPU time (s) 127
Current children cumulated vsize (Kb) 24116

[startup+140.007 s]
Raw data (loadavg): 1.01 0.96 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 5138 0 0 0 13520 166 0 0 25 0 1 0 1841425555 24834048 4782 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6063 4782 232 232 0 5831 0
[pid=7452] vsize: 24252
Current children cumulated CPU time (s) 136.86
Current children cumulated vsize (Kb) 24252

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 5239 0 0 0 14498 173 0 0 25 0 1 0 1841425555 24973312 4883 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6097 4883 232 232 0 5865 0
[pid=7452] vsize: 24388
Current children cumulated CPU time (s) 146.71
Current children cumulated vsize (Kb) 24388

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 5414 0 0 0 15474 183 0 0 25 0 1 0 1841425555 25231360 5058 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6160 5058 232 232 0 5928 0
[pid=7452] vsize: 24640
Current children cumulated CPU time (s) 156.57
Current children cumulated vsize (Kb) 24640

[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 5462 0 0 0 16452 190 0 0 25 0 1 0 1841425555 25403392 5106 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6202 5106 232 232 0 5970 0
[pid=7452] vsize: 24808
Current children cumulated CPU time (s) 166.42
Current children cumulated vsize (Kb) 24808

[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) T 7451 7452 4419 0 -1 0 5933 0 0 0 17427 200 0 0 25 0 1 0 1841425555 27283456 5192 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7452/statm): 6661 5192 232 232 0 6429 0
[pid=7452] vsize: 26644
Current children cumulated CPU time (s) 176.27
Current children cumulated vsize (Kb) 26644

[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 5967 0 0 0 18402 210 0 0 25 0 1 0 1841425555 27418624 5226 4294967295 134512640 135450776 3221224560 3221223360 134537389 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6694 5226 232 232 0 6462 0
[pid=7452] vsize: 26776
Current children cumulated CPU time (s) 186.12
Current children cumulated vsize (Kb) 26776

[startup+200.011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 7452
Raw data (/proc/7452/stat): 7452 (PBS4) R 7451 7452 4419 0 -1 0 6130 0 0 0 19377 219 0 0 25 0 1 0 1841425555 27557888 5389 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7452/statm): 6728 5389 232 232 0 6496 0
[pid=7452] vsize: 26912
Current children cumulated CPU time (s) 195.96
Current children cumulated vsize (Kb) 26912
One traced child (pid=7452) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 209.906
CPU time (s): 205.755
CPU user time (s): 203.467
CPU system time (s): 2.28765
CPU usage (%): 98.0222
Max. virtual memory (cumulated for all children) (Kb): 26912

Verifier Data

Verifier:	OK	0