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_25_sat_pb.cnf.cr.opb
MD5SUM54139ff5e28c6041ec6c692b0d10f866
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.352946
Number of variables938
Total number of constraints700
Number of constraints which are clauses650
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint12
Maximum length of a constraint25

Trace number 899

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-18 12:52:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3557 boxname=wulflinc21 idbench=41 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc21/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 3557
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        921440 kB
Buffers:         33644 kB
Cached:          52488 kB
SwapCached:        908 kB
Active:          66156 kB
Inactive:        22676 kB
HighTotal:      131008 kB
HighFree:        82012 kB
LowTotal:       903652 kB
LowFree:        839428 kB
SwapTotal:     2097892 kB
SwapFree:      2096472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            18868 kB
Committed_AS:    64340 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:59:24 (client local time) WITH STATUS 10 IN 407.969 SECONDS
stats: 3557 0 407.969 10

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-fpga25_25_sat_pb.cnf.cr.opb ......
c 21090Verifying 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 -v901 -v902 -v903 -v904 -v905 -v906 -v907 -v908 v909 -v91 -v910 -v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 -v92 -v920 v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v93 -v930 -v931 -v932 v933 -v934 -v935 -v936 -v937 -v938 -v94 -v95 -v96 -v97 -v98 -v99 
c Done, CPU Time=407.735

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

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) T 22683 22684 20602 0 -1 0 1299 0 0 0 938 20 0 0 25 0 1 0 1718669994 5857280 1282 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22684/statm): 1430 1282 232 232 0 1198 0
[pid=22684] vsize: 5720
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (Kb) 5720

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 2497 0 0 0 1889 38 0 0 25 0 1 0 1718669994 11272192 2480 4294967295 134512640 135450776 3221224560 3221223376 134550616 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 2752 2480 232 232 0 2520 0
[pid=22684] vsize: 11008
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 11008

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 3490 0 0 0 2848 55 0 0 25 0 1 0 1718669994 20553728 3473 4294967295 134512640 135450776 3221224560 3221223376 134550627 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5018 3473 232 232 0 4786 0
[pid=22684] vsize: 20072
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (Kb) 20072

[startup+40.0035 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 4181 0 0 0 3825 63 0 0 25 0 1 0 1718669994 20553728 4164 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 5018 4164 232 232 0 4786 0
[pid=22684] vsize: 20072
Current children cumulated CPU time (s) 38.88
Current children cumulated vsize (Kb) 20072

[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 4449 0 0 0 4815 68 0 0 25 0 1 0 1718669994 21032960 4383 4294967295 134512640 135450776 3221224560 3221223264 134536868 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5135 4383 232 232 0 4903 0
[pid=22684] vsize: 20540
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (Kb) 20540

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 4498 0 0 0 5805 71 0 0 25 0 1 0 1718669994 21168128 4432 4294967295 134512640 135450776 3221224560 3221223264 134536378 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5168 4432 232 232 0 4936 0
[pid=22684] vsize: 20672
Current children cumulated CPU time (s) 58.76
Current children cumulated vsize (Kb) 20672

[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 4581 0 0 0 6795 75 0 0 25 0 1 0 1718669994 21438464 4515 4294967295 134512640 135450776 3221224560 3221223264 134536619 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5234 4515 232 232 0 5002 0
[pid=22684] vsize: 20936
Current children cumulated CPU time (s) 68.7
Current children cumulated vsize (Kb) 20936

[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5317 0 0 0 7652 119 0 0 25 0 1 0 1718669994 22134784 5251 4294967295 134512640 135450776 3221224560 3221223280 134539524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5404 5251 232 232 0 5172 0
[pid=22684] vsize: 21616
Current children cumulated CPU time (s) 77.71
Current children cumulated vsize (Kb) 21616

[startup+90.0049 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5490 0 0 0 8585 140 0 0 25 0 1 0 1718669994 22794240 5327 4294967295 134512640 135450776 3221224560 3221223360 134537286 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5565 5327 232 232 0 5333 0
[pid=22684] vsize: 22260
Current children cumulated CPU time (s) 87.25
Current children cumulated vsize (Kb) 22260

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5557 0 0 0 9452 181 0 0 25 0 1 0 1718669994 23060480 5394 4294967295 134512640 135450776 3221224560 3221223280 134539515 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5630 5394 232 232 0 5398 0
[pid=22684] vsize: 22520
Current children cumulated CPU time (s) 96.33
Current children cumulated vsize (Kb) 22520

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5624 0 0 0 10384 204 0 0 25 0 1 0 1718669994 23195648 5461 4294967295 134512640 135450776 3221224560 3221223280 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5663 5461 232 232 0 5431 0
[pid=22684] vsize: 22652
Current children cumulated CPU time (s) 105.88
Current children cumulated vsize (Kb) 22652

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5678 0 0 0 11317 224 0 0 22 0 1 0 1718669994 23330816 5515 4294967295 134512640 135450776 3221224560 3221223280 134539325 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 5696 5515 232 232 0 5464 0
[pid=22684] vsize: 22784
Current children cumulated CPU time (s) 115.41
Current children cumulated vsize (Kb) 22784

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 5731 0 0 0 12265 243 0 0 25 0 1 0 1718669994 23461888 5568 4294967295 134512640 135450776 3221224560 3221223376 134550447 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5728 5568 232 232 0 5496 0
[pid=22684] vsize: 22912
Current children cumulated CPU time (s) 125.08
Current children cumulated vsize (Kb) 22912

[startup+140.006 s]
Raw data (loadavg): 1.06 0.99 0.99 1/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) T 22683 22684 20602 0 -1 0 5979 0 0 0 13204 262 0 0 24 0 1 0 1718669994 24383488 5623 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5953 5623 232 232 0 5721 0
[pid=22684] vsize: 23812
Current children cumulated CPU time (s) 134.66
Current children cumulated vsize (Kb) 23812

[startup+150.007 s]
Raw data (loadavg): 1.05 0.99 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6036 0 0 0 14166 274 0 0 25 0 1 0 1718669994 24559616 5680 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 5996 5680 232 232 0 5764 0
[pid=22684] vsize: 23984
Current children cumulated CPU time (s) 144.4
Current children cumulated vsize (Kb) 23984

[startup+160.008 s]
Raw data (loadavg): 1.04 0.99 0.99 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6063 0 0 0 15142 282 0 0 25 0 1 0 1718669994 24694784 5707 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6029 5707 232 232 0 5797 0
[pid=22684] vsize: 24116
Current children cumulated CPU time (s) 154.24
Current children cumulated vsize (Kb) 24116

[startup+170.007 s]
Raw data (loadavg): 1.11 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6104 0 0 0 16112 291 0 0 25 0 1 0 1718669994 24866816 5748 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6071 5748 232 232 0 5839 0
[pid=22684] vsize: 24284
Current children cumulated CPU time (s) 164.03
Current children cumulated vsize (Kb) 24284

[startup+180.008 s]
Raw data (loadavg): 1.09 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6147 0 0 0 17071 303 0 0 25 0 1 0 1718669994 24866816 5791 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6071 5791 232 232 0 5839 0
[pid=22684] vsize: 24284
Current children cumulated CPU time (s) 173.74
Current children cumulated vsize (Kb) 24284

[startup+190.009 s]
Raw data (loadavg): 1.08 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6195 0 0 0 18042 312 0 0 25 0 1 0 1718669994 25026560 5839 4294967295 134512640 135450776 3221224560 3221223376 134550447 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 6110 5839 232 232 0 5878 0
[pid=22684] vsize: 24440
Current children cumulated CPU time (s) 183.54
Current children cumulated vsize (Kb) 24440

[startup+200.008 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) T 22683 22684 20602 0 -1 0 6263 0 0 0 19014 322 0 0 25 0 1 0 1718669994 25227264 5907 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6159 5907 232 232 0 5927 0
[pid=22684] vsize: 24636
Current children cumulated CPU time (s) 193.36
Current children cumulated vsize (Kb) 24636

[startup+210.009 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6341 0 0 0 19987 331 0 0 25 0 1 0 1718669994 25370624 5985 4294967295 134512640 135450776 3221224560 3221223376 134550416 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6194 5985 232 232 0 5962 0
[pid=22684] vsize: 24776
Current children cumulated CPU time (s) 203.18
Current children cumulated vsize (Kb) 24776

[startup+220.01 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6383 0 0 0 20963 338 0 0 17 0 1 0 1718669994 25501696 6027 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 6226 6027 232 232 0 5994 0
[pid=22684] vsize: 24904
Current children cumulated CPU time (s) 213.01
Current children cumulated vsize (Kb) 24904

[startup+230.01 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6420 0 0 0 21937 348 0 0 25 0 1 0 1718669994 25501696 6064 4294967295 134512640 135450776 3221224560 3221223408 134540075 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6226 6064 232 232 0 5994 0
[pid=22684] vsize: 24904
Current children cumulated CPU time (s) 222.85
Current children cumulated vsize (Kb) 24904

[startup+240.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6869 0 0 0 22909 359 0 0 25 0 1 0 1718669994 27381760 6128 4294967295 134512640 135450776 3221224560 3221222976 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6685 6128 232 232 0 6453 0
[pid=22684] vsize: 26740
Current children cumulated CPU time (s) 232.68
Current children cumulated vsize (Kb) 26740

[startup+250.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6930 0 0 0 23883 368 0 0 25 0 1 0 1718669994 27508736 6189 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6716 6189 232 232 0 6484 0
[pid=22684] vsize: 26864
Current children cumulated CPU time (s) 242.51
Current children cumulated vsize (Kb) 26864

[startup+260.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 6973 0 0 0 24859 376 0 0 25 0 1 0 1718669994 27508736 6232 4294967295 134512640 135450776 3221224560 3221223360 134537379 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6716 6232 232 232 0 6484 0
[pid=22684] vsize: 26864
Current children cumulated CPU time (s) 252.35
Current children cumulated vsize (Kb) 26864

[startup+270.011 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7034 0 0 0 25833 387 0 0 25 0 1 0 1718669994 27676672 6293 4294967295 134512640 135450776 3221224560 3221223280 134539321 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6757 6293 232 232 0 6525 0
[pid=22684] vsize: 27028
Current children cumulated CPU time (s) 262.2
Current children cumulated vsize (Kb) 27028

[startup+280.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7069 0 0 0 26816 393 0 0 25 0 1 0 1718669994 27811840 6328 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 6790 6328 232 232 0 6558 0
[pid=22684] vsize: 27160
Current children cumulated CPU time (s) 272.09
Current children cumulated vsize (Kb) 27160

[startup+290.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7140 0 0 0 27794 401 0 0 25 0 1 0 1718669994 27951104 6399 4294967295 134512640 135450776 3221224560 3221223280 134539354 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6824 6399 232 232 0 6592 0
[pid=22684] vsize: 27296
Current children cumulated CPU time (s) 281.95
Current children cumulated vsize (Kb) 27296

[startup+300.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7185 0 0 0 28775 407 0 0 25 0 1 0 1718669994 28180480 6444 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6880 6444 232 232 0 6648 0
[pid=22684] vsize: 27520
Current children cumulated CPU time (s) 291.82
Current children cumulated vsize (Kb) 27520

[startup+310.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7233 0 0 0 29756 414 0 0 25 0 1 0 1718669994 28180480 6492 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6880 6492 232 232 0 6648 0
[pid=22684] vsize: 27520
Current children cumulated CPU time (s) 301.7
Current children cumulated vsize (Kb) 27520

[startup+320.014 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) T 22683 22684 20602 0 -1 0 7285 0 0 0 30736 420 0 0 25 0 1 0 1718669994 28315648 6544 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6913 6544 232 232 0 6681 0
[pid=22684] vsize: 27652
Current children cumulated CPU time (s) 311.56
Current children cumulated vsize (Kb) 27652

[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7318 0 0 0 31720 427 0 0 25 0 1 0 1718669994 28450816 6577 4294967295 134512640 135450776 3221224560 3221223456 134597975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6946 6577 232 232 0 6714 0
[pid=22684] vsize: 27784
Current children cumulated CPU time (s) 321.47
Current children cumulated vsize (Kb) 27784

[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7361 0 0 0 32699 433 0 0 25 0 1 0 1718669994 28450816 6620 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6946 6620 232 232 0 6714 0
[pid=22684] vsize: 27784
Current children cumulated CPU time (s) 331.32
Current children cumulated vsize (Kb) 27784

[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7388 0 0 0 33681 440 0 0 25 0 1 0 1718669994 28594176 6647 4294967295 134512640 135450776 3221224560 3221223336 134523505 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 6981 6647 232 232 0 6749 0
[pid=22684] vsize: 27924
Current children cumulated CPU time (s) 341.21
Current children cumulated vsize (Kb) 27924

[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7436 0 0 0 34657 448 0 0 25 0 1 0 1718669994 28721152 6695 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 7012 6695 232 232 0 6780 0
[pid=22684] vsize: 28048
Current children cumulated CPU time (s) 351.05
Current children cumulated vsize (Kb) 28048

[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7472 0 0 0 35629 457 0 0 24 0 1 0 1718669994 28721152 6731 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 7012 6731 232 232 0 6780 0
[pid=22684] vsize: 28048
Current children cumulated CPU time (s) 360.86
Current children cumulated vsize (Kb) 28048

[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7529 0 0 0 36597 468 0 0 25 0 1 0 1718669994 28999680 6788 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 7080 6788 232 232 0 6848 0
[pid=22684] vsize: 28320
Current children cumulated CPU time (s) 370.65
Current children cumulated vsize (Kb) 28320

[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7587 0 0 0 37568 477 0 0 25 0 1 0 1718669994 28999680 6846 4294967295 134512640 135450776 3221224560 3221223376 134550614 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 7080 6846 232 232 0 6848 0
[pid=22684] vsize: 28320
Current children cumulated CPU time (s) 380.45
Current children cumulated vsize (Kb) 28320

[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7652 0 0 0 38537 490 0 0 25 0 1 0 1718669994 29294592 6911 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22684/statm): 7152 6911 232 232 0 6920 0
[pid=22684] vsize: 28608
Current children cumulated CPU time (s) 390.27
Current children cumulated vsize (Kb) 28608

[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 22684
Raw data (/proc/22684/stat): 22684 (PBS4) R 22683 22684 20602 0 -1 0 7710 0 0 0 39514 499 0 0 25 0 1 0 1718669994 29433856 6969 4294967295 134512640 135450776 3221224560 3221223376 134550520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22684/statm): 7186 6969 232 232 0 6954 0
[pid=22684] vsize: 28744
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (Kb) 28744
One traced child (pid=22684) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 417.945
CPU time (s): 407.969
CPU user time (s): 402.918
CPU system time (s): 5.05123
CPU usage (%): 97.6131
Max. virtual memory (cumulated for all children) (Kb): 28744

Verifier Data

Verifier:	OK	0