Name | web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb |
MD5SUM | 6049145b9f1adfd7114adf044503d587 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2642 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 748 |
Biggest coefficient in the objective function | 240 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 33855 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 240 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 33855 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 965.053 |
Number of variables | 907 |
Total number of constraints | 1309 |
Number of constraints which are clauses | 126 |
Number of constraints which are cardinality constraints (but not clauses) | 1183 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 134 |
LAUNCH ON wulflinc20 THE 2005-09-18 23:43:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6244 boxname=wulflinc20 idbench=384 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6049145b9f1adfd7114adf044503d587 /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb IDLAUNCH: 6244 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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: 896360 kB Buffers: 35948 kB Cached: 73584 kB SwapCached: 832 kB Active: 70756 kB Inactive: 41452 kB HighTotal: 131008 kB HighFree: 54068 kB LowTotal: 903652 kB LowFree: 842292 kB SwapTotal: 2097892 kB SwapFree: 2096604 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20440 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 23:59:07 (client local time) WITH STATUS 30 IN 965.053 SECONDS stats: 6244 0 965.053 30
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb c reading problem ... done. Time 1.73 ms. c #vars 907 c #constraints 663 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 13382 Current CPU time: 4.94 ms c CURRENT OPTIMUM= 4981 Current CPU time: 8.92 ms c CURRENT OPTIMUM= 4865 Current CPU time: 23.59 ms c CURRENT OPTIMUM= 4358 Current CPU time: 45.69 ms c CURRENT OPTIMUM= 3558 Current CPU time: 74.58 ms c CURRENT OPTIMUM= 2954 Current CPU time: 128.40 ms c CURRENT OPTIMUM= 2855 Current CPU time: 251.23 ms c CURRENT OPTIMUM= 2853 Current CPU time: 310.51 ms c CURRENT OPTIMUM= 2847 Current CPU time: 381.69 ms c CURRENT OPTIMUM= 2846 Current CPU time: 417.82 ms c CURRENT OPTIMUM= 2651 Current CPU time: 462.82 ms c CURRENT OPTIMUM= 2650 Current CPU time: 553.95 ms c CURRENT OPTIMUM= 2648 Current CPU time: 701.46 ms c CURRENT OPTIMUM= 2642 Current CPU time: 812.66 ms c starts : 28 c conflicts : 2042 c decisions : 20546 c propagations : 68310 c inspects : 1761303 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 2041 c root simplifications : 30 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 16684 c speed (decisions/second) : 137.40110878535174 c non guided choices 6306 c random choices 0 s OPTIMUM FOUND v v1 -v127 -v505 v640 -v774 -v4 v256 v508 -v5 -v131 v257 -v383 -v509 -v6 -v132 v258 v510 v7 -v133 -v512 -v8 v134 v513 v388 -v516 v11 -v137 -v517 -v12 v138 v518 -v14 v392 v520 -v15 -v141 v267 -v521 -v16 v394 v522 v17 -v143 -v523 -v18 v396 v524 v19 -v525 v659 -v20 v146 -v526 -v21 v273 -v527 v22 -v528 v662 -v23 v149 v529 -v24 v150 v530 -v25 -v151 v403 v531 -v26 v152 v532 v27 -v153 -v533 -v28 v406 v534 -v29 v407 v535 v30 -v156 -v536 -v31 v157 v537 v32 -v158 -v672 v806 -v33 -v159 v285 -v539 -v34 v160 v540 v287 -v413 v36 -v162 -v542 -v37 v163 v543 -v38 v164 v544 v39 -v545 -v679 v813 -v40 v166 v546 -v41 v419 -v547 -v42 v168 v548 -v43 v421 v549 -v44 v170 v550 v551 v45 -v171 -v552 v686 v46 -v172 -v553 -v47 -v173 v425 v554 -v48 -v174 v426 v555 -v49 v175 v556 v428 -v51 v177 v558 v52 -v178 -v559 v431 -v694 v828 -v54 -v180 v432 v561 -v55 v433 v562 -v56 v308 -v563 v697 -v831 -v57 v435 v564 -v58 v436 -v565 v566 -v59 v185 v567 -v568 v60 -v569 v703 -v837 -v61 v187 v570 -v62 v314 -v440 -v571 v705 -v839 v63 -v189 -v572 -v64 v316 -v573 -v65 v317 -v574 -v66 v318 -v575 v67 -v193 -v576 v710 -v68 -v194 v320 -v577 -v711 v845 -v69 -v195 v447 -v578 -v70 v196 v579 v71 -v580 v714 -v72 v198 v581 v73 -v582 -v74 v200 -v583 v75 -v201 -v584 -v76 v202 -v585 -v78 -v204 v330 -v456 v587 -v79 v457 -v588 v722 -v589 -v81 -v207 v333 -v459 v590 -v82 v334 -v591 -v83 v335 -v461 -v592 v726 -v727 v861 v85 -v211 -v594 -v728 v862 -v86 -v212 v464 -v595 v87 -v213 -v596 v730 -v864 -v88 v214 v597 -v89 v467 -v598 v732 -v90 -v216 v468 v599 -v600 -v92 v218 v602 -v93 v219 v603 v94 -v220 -v604 -v738 v872 -v96 v222 v606 v349 -v475 v741 -v98 v224 -v608 -v99 v351 -v477 -v609 v743 -v877 v226 v744 -v878 v227 -v745 v879 -v102 -v228 v354 -v480 v612 -v103 -v229 v355 -v481 -v613 v104 -v614 v748 -v105 -v231 v357 -v483 -v615 v106 -v616 -v107 -v233 v485 -v617 -v108 v234 v618 v109 -v235 -v619 v753 -v110 -v236 v362 -v488 -v620 v754 -v888 v756 -v890 -v113 v365 v623 v240 -v115 -v241 v493 -v625 v759 -v116 v242 v626 -v627 -v761 v895 -v117 v495 v628 -v118 v370 -v630 v764 -v898 v119 -v631 v765 -v899 v120 -v246 -v632 v766 -v900 -v121 v373 v633 -v122 v374 -v500 -v634 v123 -v635 v903 -v124 -v376 v502 -v636 v770 -v904 -v771 v905 v126 -v638 v772 -v2 -v128 -v506 -v3 -v507 -v641 -v130 -v642 -v776 -v643 v777 -v384 -v644 -v778 -v645 v779 -v259 -v646 v780 -v260 -v386 -v647 -v781 -v261 -v387 -v136 -v389 -v264 -v390 -v652 -v786 -v654 -v788 -v655 v789 -v142 -v656 -v790 -v269 -v657 v791 -v270 -v658 -v792 -v145 -v271 -v272 -v398 -v660 v794 -v147 -v399 -v661 v795 -v148 -v400 -v275 -v663 -v797 -v276 -v402 -v664 -v798 -v277 -v665 -v799 -v278 -v404 -v666 -v800 -v279 -v405 -v667 v801 -v154 -v280 -v668 -v802 -v155 -v281 -v669 -v803 -v283 -v409 -v671 -v805 -v411 -v286 -v412 -v674 -v808 -v675 v809 -v289 -v415 -v677 -v811 -v290 -v416 -v678 -v812 -v165 -v291 -v417 -v292 -v680 -v814 -v294 -v420 -v682 -v816 -v169 -v683 -v817 -v296 -v422 -v684 -v818 -v685 -v819 -v297 -v423 -v820 -v299 -v688 -v822 -v300 -v689 -v823 -v301 -v427 -v690 -v824 -v50 -v176 -v302 -v557 -v691 v825 -v303 -v429 -v692 -v826 -v304 -v430 -v693 v827 -v53 -v179 -v305 -v560 -v306 -v695 -v829 -v181 -v696 -v830 -v182 -v434 -v183 -v309 -v698 -v832 -v184 -v310 -v700 -v834 -v311 -v437 -v701 -v835 v702 -v836 -v186 -v312 -v438 -v313 -v439 -v704 -v838 -v188 -v315 -v706 v840 -v190 -v442 -v707 v841 -v191 -v443 -v192 -v444 -v709 v843 -v319 -v445 -v844 -v446 -v321 -v846 -v322 -v448 -v713 -v847 -v197 -v323 -v449 -v324 -v450 -v715 -v849 -v325 -v716 v850 -v326 -v452 -v717 v851 -v327 -v453 -v718 v852 -v328 -v454 -v719 v853 -v721 -v855 -v205 -v331 -v856 -v206 -v724 -v858 -v208 -v460 -v337 -v463 -v338 v729 -v863 -v339 -v465 -v340 -v466 -v731 -v865 -v215 -v341 -v866 -v342 -v733 -v867 -v217 -v344 -v736 -v870 -v345 -v471 -v737 -v871 -v346 -v472 -v347 -v739 v873 -v348 -v740 -v874 -v350 -v476 v742 -v876 -v225 -v352 -v478 -v353 -v479 -v746 -v880 v747 -v881 v749 -v883 -v484 -v750 v884 -v359 -v360 -v486 -v752 -v886 -v361 -v487 -v887 -v755 v889 -v238 -v490 -v491 -v757 -v891 -v114 -v366 -v492 -v624 -v367 -v893 -v368 -v494 -v760 -v894 -v243 -v369 -v762 -v896 -v245 -v497 -v372 -v498 -v247 -v499 -v767 -v901 -v375 -v501 -v125 -v637 -v252 -v378 -v504 -v906 one v9 -v10 -v13 -v35 -v77 -v80 -v84 -v91 -v95 -v97 -v100 -v101 -v111 -v112 -v129 -v135 -v139 -v140 -v144 -v161 -v167 -v199 -v203 -v209 -v210 -v221 -v223 -v230 -v232 -v237 -v239 -v244 -v248 -v249 -v250 -v251 -v253 -v254 -v255 -v262 -v263 v265 -v266 -v268 -v274 -v282 -v284 -v288 -v293 -v295 -v298 -v307 -v329 v332 v336 v343 -v356 -v358 v363 v364 -v371 v377 -v379 v380 v381 -v382 -v385 -v391 -v393 -v395 -v397 -v401 -v408 -v410 -v414 -v418 -v424 -v441 -v451 v455 -v458 -v462 -v469 -v470 v473 -v474 -v482 -v489 -v496 -v503 -v511 -v514 -v515 -v519 -v538 -v541 v586 -v593 -v601 -v605 -v607 -v610 -v611 -v621 -v622 -v629 -v639 -v648 -v649 -v650 -v651 -v653 -v670 -v673 -v676 -v681 -v687 -v699 -v708 v712 -v720 -v723 -v725 v734 v735 v751 v758 v763 v768 -v769 v773 v775 v782 v783 v784 v785 v787 -v793 -v796 v804 v807 v810 v815 v821 v833 v842 -v848 -v854 v857 v859 -v860 -v868 -v869 -v875 -v882 -v885 -v892 -v897 -v902 c objective function=2642 c Total CPU time (ms) : 962.232
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/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845304247 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 39 3 38 16 0 23 0 [pid=18309] vsize: 156 open syscall for file /etc/ld.so.preload 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/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 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 /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 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/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 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 /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 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 /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/18309 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=18310 New thread pid=18311 New thread pid=18312 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=18313 New thread pid=18314 New thread pid=18315 New thread pid=18316 New thread pid=18317 New thread pid=18318 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb New thread pid=18319 One traced child (pid=18319) exited with status: 0 New thread pid=18320 [startup+10.0019 s] Raw data (loadavg): 1.09 1.02 1.01 2/66 18320 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18202 4 1 0 788 52 0 0 16 0 11 0 1845304247 856072192 21441 4294967295 134512640 134569956 3221224352 3221214672 1131409671 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209002 21441 13129 16 0 208986 0 [pid=18309] vsize: 836008 Current children cumulated CPU time (s) 8.4 Current children cumulated vsize (Kb) 836008 One traced child (pid=18320) exited with status: 0 New thread pid=18321 [startup+20.0027 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 18321 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18215 4 1 0 1709 53 0 0 23 0 11 0 1845304247 855851008 22466 4294967295 134512640 134569956 3221224352 3221214640 1131348950 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 22466 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 17.62 Current children cumulated vsize (Kb) 835792 One traced child (pid=18321) exited with status: 0 New thread pid=18322 [startup+30.0034 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 18322 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18225 4 1 0 2636 53 0 0 17 0 11 0 1845304247 855851008 23694 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 23694 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 26.89 Current children cumulated vsize (Kb) 835792 [startup+40.0041 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 18322 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18233 4 1 0 3560 53 0 0 17 0 11 0 1845304247 855851008 24788 4294967295 134512640 134569956 3221224352 3221214132 1131600288 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 24788 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 36.13 Current children cumulated vsize (Kb) 835792 One traced child (pid=18322) exited with status: 0 New thread pid=18323 [startup+50.0058 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 18323 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18238 4 1 0 4521 53 0 0 25 0 11 0 1845304247 855851008 25120 4294967295 134512640 134569956 3221224352 3221214752 1131439586 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 25120 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 45.74 Current children cumulated vsize (Kb) 835792 [startup+60.0056 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 18323 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18244 4 1 0 5474 53 0 0 23 0 11 0 1845304247 855851008 25120 4294967295 134512640 134569956 3221224352 3221214748 1131348896 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 25120 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 55.27 Current children cumulated vsize (Kb) 835792 [startup+70.0063 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 18323 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18248 4 1 0 6425 54 0 0 25 0 11 0 1845304247 855851008 25556 4294967295 134512640 134569956 3221224352 3221214704 1131516209 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 25556 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 64.79 Current children cumulated vsize (Kb) 835792 One traced child (pid=18323) exited with status: 0 New thread pid=18324 [startup+80.007 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18324 Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18253 4 1 0 7372 54 0 0 25 0 11 0 1845304247 855851008 25967 4294967295 134512640 134569956 3221224352 3221213296 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 25967 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 74.26 Current children cumulated vsize (Kb) 835792 [startup+90.0068 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18324 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18262 4 1 0 8292 54 0 0 23 0 11 0 1845304247 855851008 25967 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 25967 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 83.46 Current children cumulated vsize (Kb) 835792 [startup+100.007 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18324 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18271 4 1 0 9197 55 0 0 19 0 11 0 1845304247 855851008 26237 4294967295 134512640 134569956 3221224352 3221214656 1131410533 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 26237 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 92.52 Current children cumulated vsize (Kb) 835792 [startup+110.008 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18324 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18280 4 1 0 10121 55 0 0 22 0 11 0 1845304247 855851008 26764 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 26764 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 101.76 Current children cumulated vsize (Kb) 835792 [startup+120.009 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18324 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18289 4 1 0 11034 55 0 0 21 0 11 0 1845304247 855851008 26878 4294967295 134512640 134569956 3221224352 3221214656 1131409686 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 26878 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 110.89 Current children cumulated vsize (Kb) 835792 One traced child (pid=18324) exited with status: 0 New thread pid=18325 [startup+130.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18293 4 1 0 11992 56 0 0 22 0 11 0 1845304247 855851008 27035 4294967295 134512640 134569956 3221224352 3221214120 1131480168 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 27035 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 120.48 Current children cumulated vsize (Kb) 835792 [startup+140.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18300 4 1 0 12921 56 0 0 21 0 11 0 1845304247 855851008 27144 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 27144 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 129.77 Current children cumulated vsize (Kb) 835792 [startup+150.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18310 4 1 0 13835 56 0 0 20 0 11 0 1845304247 855851008 27425 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 27425 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 138.91 Current children cumulated vsize (Kb) 835792 [startup+160.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18319 4 1 0 14781 57 0 0 25 0 11 0 1845304247 855851008 27773 4294967295 134512640 134569956 3221224352 3221214656 1131410590 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 27773 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 148.38 Current children cumulated vsize (Kb) 835792 [startup+170.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18329 4 1 0 15745 57 0 0 25 0 11 0 1845304247 855851008 27940 4294967295 134512640 134569956 3221224352 3221214656 1131410520 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 27940 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 158.02 Current children cumulated vsize (Kb) 835792 [startup+180.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18339 4 1 0 16710 58 0 0 24 0 11 0 1845304247 855851008 28003 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 28003 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 167.68 Current children cumulated vsize (Kb) 835792 [startup+190.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18348 4 1 0 17677 58 0 0 25 0 11 0 1845304247 855851008 28058 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 28058 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 177.35 Current children cumulated vsize (Kb) 835792 [startup+200.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18358 4 1 0 18641 59 0 0 25 0 11 0 1845304247 855851008 28168 4294967295 134512640 134569956 3221224352 3221214656 1131409598 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 28168 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 187 Current children cumulated vsize (Kb) 835792 [startup+210.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18366 4 1 0 19612 59 0 0 25 0 11 0 1845304247 855851008 28232 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 208948 28232 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 196.71 Current children cumulated vsize (Kb) 835792 [startup+220.016 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18377 4 1 0 20575 59 0 0 16 0 11 0 1845304247 855851008 28309 4294967295 134512640 134569956 3221224352 3221214512 1131082397 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 208948 28309 13129 16 0 208932 0 [pid=18309] vsize: 835792 Current children cumulated CPU time (s) 206.34 Current children cumulated vsize (Kb) 835792 [startup+230.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18385 4 1 0 21536 60 0 0 25 0 11 0 1845304247 856899584 28474 4294967295 134512640 134569956 3221224352 3221214640 1131483097 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209204 28474 13129 16 0 209188 0 [pid=18309] vsize: 836816 Current children cumulated CPU time (s) 215.96 Current children cumulated vsize (Kb) 836816 [startup+240.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18391 4 1 0 22495 60 0 0 25 0 11 0 1845304247 857948160 28757 4294967295 134512640 134569956 3221224352 3221214080 1131479100 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 28757 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 225.55 Current children cumulated vsize (Kb) 837840 [startup+250.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18325 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18394 4 1 0 23469 60 0 0 25 0 11 0 1845304247 857948160 28757 4294967295 134512640 134569956 3221224352 3221214080 1131479048 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 28757 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 235.29 Current children cumulated vsize (Kb) 837840 One traced child (pid=18325) exited with status: 0 New thread pid=18326 [startup+260.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18399 4 1 0 24408 61 0 0 25 0 11 0 1845304247 857948160 29198 4294967295 134512640 134569956 3221224352 3221214504 1131602916 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 29198 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 244.69 Current children cumulated vsize (Kb) 837840 [startup+270.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18406 4 1 0 25333 62 0 0 19 0 11 0 1845304247 857948160 29242 4294967295 134512640 134569956 3221224352 3221214552 1131381554 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 29242 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 253.95 Current children cumulated vsize (Kb) 837840 [startup+280.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18414 4 1 0 26263 62 0 0 20 0 11 0 1845304247 857948160 29782 4294967295 134512640 134569956 3221224352 3221214752 1131439635 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 29782 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 263.25 Current children cumulated vsize (Kb) 837840 [startup+290.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18420 4 1 0 27220 63 0 0 25 0 11 0 1845304247 857948160 29782 4294967295 134512640 134569956 3221224352 3221214640 1131506407 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 29782 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 272.83 Current children cumulated vsize (Kb) 837840 [startup+300.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18426 4 1 0 28157 63 0 0 22 0 11 0 1845304247 857948160 30066 4294967295 134512640 134569956 3221224352 3221214648 1131381684 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 30066 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (Kb) 837840 [startup+310.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18326 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18428 4 1 0 29132 63 0 0 25 0 11 0 1845304247 857948160 30268 4294967295 134512640 134569956 3221224352 3221214752 1131439169 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 30268 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 291.95 Current children cumulated vsize (Kb) 837840 One traced child (pid=18326) exited with status: 0 New thread pid=18327 [startup+320.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18433 4 1 0 30081 63 0 0 25 0 11 0 1845304247 857948160 30268 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 30268 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 301.44 Current children cumulated vsize (Kb) 837840 [startup+330.022 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18440 4 1 0 30995 63 0 0 25 0 11 0 1845304247 857948160 30407 4294967295 134512640 134569956 3221224352 3221213296 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 30407 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 310.58 Current children cumulated vsize (Kb) 837840 [startup+340.023 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18446 4 1 0 31941 63 0 0 21 0 11 0 1845304247 857948160 30521 4294967295 134512640 134569956 3221224352 3221214752 1131439289 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 30521 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 320.04 Current children cumulated vsize (Kb) 837840 [startup+350.024 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18454 4 1 0 32858 64 0 0 25 0 11 0 1845304247 857948160 30640 4294967295 134512640 134569956 3221224352 3221214032 1131600412 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 30640 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 329.22 Current children cumulated vsize (Kb) 837840 [startup+360.024 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18455 4 1 0 33844 64 0 0 25 0 11 0 1845304247 857948160 30758 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 30758 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 339.08 Current children cumulated vsize (Kb) 837840 [startup+370.024 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18458 4 1 0 34804 64 0 0 25 0 11 0 1845304247 857948160 31248 4294967295 134512640 134569956 3221224352 3221214264 1085806237 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 31248 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 348.68 Current children cumulated vsize (Kb) 837840 [startup+380.025 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 18327 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18464 4 1 0 35746 64 0 0 25 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 358.1 Current children cumulated vsize (Kb) 837840 One traced child (pid=18327) exited with status: 0 New thread pid=18328 [startup+390.024 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 18328 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18466 4 1 0 36729 64 0 0 25 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214304 1131600412 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 367.93 Current children cumulated vsize (Kb) 837840 [startup+400.025 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18328 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18471 4 1 0 37678 64 0 0 20 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214408 1131479100 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 377.42 Current children cumulated vsize (Kb) 837840 [startup+410.026 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18328 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18474 4 1 0 38641 64 0 0 24 0 11 0 1845304247 857948160 32065 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 32065 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 387.05 Current children cumulated vsize (Kb) 837840 One traced child (pid=18328) exited with status: 0 New thread pid=18329 [startup+420.026 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 18329 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18480 4 1 0 39570 65 0 0 25 0 11 0 1845304247 857948160 32516 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 32516 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 396.35 Current children cumulated vsize (Kb) 837840 [startup+430.025 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18329 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18484 4 1 0 40527 65 0 0 25 0 11 0 1845304247 857948160 32601 4294967295 134512640 134569956 3221224352 3221214240 1131373753 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 32601 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 405.92 Current children cumulated vsize (Kb) 837840 [startup+440.026 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18329 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18488 4 1 0 41475 65 0 0 25 0 11 0 1845304247 857948160 33274 4294967295 134512640 134569956 3221224352 3221214752 1131438977 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 33274 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 415.4 Current children cumulated vsize (Kb) 837840 [startup+450.027 s] Raw data (loadavg): 1.01 1.00 1.00 3/66 18329 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18491 4 1 0 42438 65 0 0 21 0 11 0 1845304247 857948160 33606 4294967295 134512640 134569956 3221224352 3221214656 1131410583 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 33606 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 425.03 Current children cumulated vsize (Kb) 837840 [startup+460.028 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 18329 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18497 4 1 0 43376 66 0 0 17 0 11 0 1845304247 857948160 33635 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 33635 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 434.42 Current children cumulated vsize (Kb) 837840 One traced child (pid=18329) exited with status: 0 New thread pid=18330 [startup+470.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18505 4 1 0 44294 67 0 0 18 0 11 0 1845304247 857948160 33776 4294967295 134512640 134569956 3221224352 3221214656 1131409978 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 33776 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 443.61 Current children cumulated vsize (Kb) 837840 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18513 4 1 0 45215 68 0 0 24 0 11 0 1845304247 857948160 33776 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 33776 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 452.83 Current children cumulated vsize (Kb) 837840 [startup+490.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18522 4 1 0 46125 68 0 0 18 0 11 0 1845304247 857948160 34415 4294967295 134512640 134569956 3221224352 3221214656 1131410064 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 34415 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 461.93 Current children cumulated vsize (Kb) 837840 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18531 4 1 0 47053 68 0 0 16 0 11 0 1845304247 857948160 34524 4294967295 134512640 134569956 3221224352 3221214752 1131440601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 34524 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 471.21 Current children cumulated vsize (Kb) 837840 [startup+510.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18539 4 1 0 47976 69 0 0 21 0 11 0 1845304247 857948160 34560 4294967295 134512640 134569956 3221224352 3221214656 1131410569 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 34560 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 480.45 Current children cumulated vsize (Kb) 837840 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18543 4 1 0 48932 70 0 0 25 0 11 0 1845304247 857948160 34612 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 34612 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 490.02 Current children cumulated vsize (Kb) 837840 [startup+530.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18547 4 1 0 49891 70 0 0 25 0 11 0 1845304247 857948160 34748 4294967295 134512640 134569956 3221224352 3221213256 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 34748 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 499.61 Current children cumulated vsize (Kb) 837840 [startup+540.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18552 4 1 0 50816 70 0 0 25 0 11 0 1845304247 857948160 35811 4294967295 134512640 134569956 3221224352 3221214456 1131601941 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 35811 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 508.86 Current children cumulated vsize (Kb) 837840 [startup+550.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18330 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18560 4 1 0 51761 71 0 0 25 0 11 0 1845304247 857948160 36431 4294967295 134512640 134569956 3221224352 3221214748 1131381363 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 36431 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 518.32 Current children cumulated vsize (Kb) 837840 One traced child (pid=18330) exited with status: 0 New thread pid=18331 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18568 4 1 0 52712 71 0 0 25 0 11 0 1845304247 857948160 36432 4294967295 134512640 134569956 3221224352 3221214608 1131373250 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 36432 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 527.83 Current children cumulated vsize (Kb) 837840 [startup+570.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18578 4 1 0 53648 72 0 0 24 0 11 0 1845304247 857948160 36432 4294967295 134512640 134569956 3221224352 3221214624 1131410201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 36432 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 537.2 Current children cumulated vsize (Kb) 837840 [startup+580.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18587 4 1 0 54599 72 0 0 25 0 11 0 1845304247 857948160 36844 4294967295 134512640 134569956 3221224352 3221214656 1131410119 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 36844 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 546.71 Current children cumulated vsize (Kb) 837840 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18597 4 1 0 55553 73 0 0 25 0 11 0 1845304247 857948160 36876 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 36876 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 556.26 Current children cumulated vsize (Kb) 837840 [startup+600.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18606 4 1 0 56502 73 0 0 21 0 11 0 1845304247 857948160 36887 4294967295 134512640 134569956 3221224352 3221214744 1131466632 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 36887 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 565.75 Current children cumulated vsize (Kb) 837840 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18613 4 1 0 57459 74 0 0 25 0 11 0 1845304247 857948160 36977 4294967295 134512640 134569956 3221224352 3221214024 1131479100 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 36977 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 575.33 Current children cumulated vsize (Kb) 837840 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18623 4 1 0 58405 75 0 0 25 0 11 0 1845304247 857948160 37139 4294967295 134512640 134569956 3221224352 3221214640 1131348939 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37139 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 584.8 Current children cumulated vsize (Kb) 837840 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18630 4 1 0 59379 75 0 0 25 0 11 0 1845304247 857948160 37262 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37262 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 594.54 Current children cumulated vsize (Kb) 837840 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18632 4 1 0 60371 75 0 0 25 0 11 0 1845304247 857948160 37263 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37263 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 604.46 Current children cumulated vsize (Kb) 837840 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18637 4 1 0 61350 76 0 0 25 0 11 0 1845304247 857948160 37365 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37365 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 614.26 Current children cumulated vsize (Kb) 837840 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18642 4 1 0 62316 76 0 0 25 0 11 0 1845304247 857948160 37396 4294967295 134512640 134569956 3221224352 3221214352 1131479100 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 37396 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 623.92 Current children cumulated vsize (Kb) 837840 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18648 4 1 0 63257 76 0 0 25 0 11 0 1845304247 857948160 37452 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37452 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 633.33 Current children cumulated vsize (Kb) 837840 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18655 4 1 0 64192 76 0 0 25 0 11 0 1845304247 857948160 37455 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 37455 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 642.68 Current children cumulated vsize (Kb) 837840 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18662 4 1 0 65118 76 0 0 25 0 11 0 1845304247 857948160 37776 4294967295 134512640 134569956 3221224352 3221214656 1131410618 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 37776 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 651.94 Current children cumulated vsize (Kb) 837840 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18331 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18670 4 1 0 66042 77 0 0 21 0 11 0 1845304247 857948160 37776 4294967295 134512640 134569956 3221224352 3221214752 1131440039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 37776 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 661.19 Current children cumulated vsize (Kb) 837840 One traced child (pid=18331) exited with status: 0 New thread pid=18332 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18677 4 1 0 66989 77 0 0 23 0 11 0 1845304247 857948160 38200 4294967295 134512640 134569956 3221224352 3221214656 1131409831 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38200 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 670.66 Current children cumulated vsize (Kb) 837840 [startup+720.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18686 4 1 0 67939 78 0 0 25 0 11 0 1845304247 857948160 38204 4294967295 134512640 134569956 3221224352 3221214808 1131546687 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38204 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 680.17 Current children cumulated vsize (Kb) 837840 [startup+730.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18696 4 1 0 68908 78 0 0 22 0 11 0 1845304247 857948160 38547 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38547 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 689.86 Current children cumulated vsize (Kb) 837840 [startup+740.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18707 4 1 0 69887 79 0 0 25 0 11 0 1845304247 857948160 38587 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38587 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 699.66 Current children cumulated vsize (Kb) 837840 [startup+750.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18717 4 1 0 70873 80 0 0 25 0 11 0 1845304247 857948160 38608 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38608 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 709.53 Current children cumulated vsize (Kb) 837840 [startup+760.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18727 4 1 0 71860 80 0 0 19 0 11 0 1845304247 857948160 38615 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38615 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 719.4 Current children cumulated vsize (Kb) 837840 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18737 4 1 0 72845 80 0 0 17 0 11 0 1845304247 857948160 38621 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38621 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 729.25 Current children cumulated vsize (Kb) 837840 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18747 4 1 0 73825 81 0 0 24 0 11 0 1845304247 857948160 38628 4294967295 134512640 134569956 3221224352 3221214640 1131348927 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38628 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 739.06 Current children cumulated vsize (Kb) 837840 [startup+790.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18757 4 1 0 74802 81 0 0 25 0 11 0 1845304247 857948160 38635 4294967295 134512640 134569956 3221224352 3221214640 1131348984 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38635 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 748.83 Current children cumulated vsize (Kb) 837840 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18766 4 1 0 75783 82 0 0 25 0 11 0 1845304247 857948160 38660 4294967295 134512640 134569956 3221224352 3221214768 1131689567 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38660 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 758.65 Current children cumulated vsize (Kb) 837840 [startup+810.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18332 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18770 4 1 0 76771 82 0 0 25 0 11 0 1845304247 857948160 38662 4294967295 134512640 134569956 3221224352 3221214464 1131478956 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38662 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 768.53 Current children cumulated vsize (Kb) 837840 One traced child (pid=18332) exited with status: 0 New thread pid=18333 [startup+820.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18774 4 1 0 77761 82 0 0 25 0 11 0 1845304247 857948160 38681 4294967295 134512640 134569956 3221224352 3221214716 1131057275 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38681 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 778.43 Current children cumulated vsize (Kb) 837840 [startup+830.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18777 4 1 0 78748 82 0 0 25 0 11 0 1845304247 857948160 38681 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38681 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 788.3 Current children cumulated vsize (Kb) 837840 [startup+840.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18783 4 1 0 79709 82 0 0 25 0 11 0 1845304247 857948160 38703 4294967295 134512640 134569956 3221224352 3221214640 1131349039 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 38703 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 797.91 Current children cumulated vsize (Kb) 837840 [startup+850.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18787 4 1 0 80663 83 0 0 25 0 11 0 1845304247 857948160 38853 4294967295 134512640 134569956 3221224352 3221214656 1131409598 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 38853 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 807.46 Current children cumulated vsize (Kb) 837840 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18795 4 1 0 81569 83 0 0 17 0 11 0 1845304247 857948160 39030 4294967295 134512640 134569956 3221224352 3221214416 1131500610 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 39030 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 816.52 Current children cumulated vsize (Kb) 837840 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18798 4 1 0 82518 84 0 0 21 0 11 0 1845304247 857948160 40599 4294967295 134512640 134569956 3221224352 3221214296 1131479092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 40599 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 826.02 Current children cumulated vsize (Kb) 837840 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18802 4 1 0 83478 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 835.62 Current children cumulated vsize (Kb) 837840 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18809 4 1 0 84415 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 844.99 Current children cumulated vsize (Kb) 837840 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18817 4 1 0 85342 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131440520 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 854.26 Current children cumulated vsize (Kb) 837840 [startup+910.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18825 4 1 0 86275 85 0 0 24 0 11 0 1845304247 857948160 40953 4294967295 134512640 134569956 3221224352 3221214656 1131409997 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 40953 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 863.6 Current children cumulated vsize (Kb) 837840 [startup+920.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18831 4 1 0 87212 85 0 0 25 0 11 0 1845304247 857948160 41520 4294967295 134512640 134569956 3221224352 3221214656 1131410205 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 41520 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 872.97 Current children cumulated vsize (Kb) 837840 [startup+930.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18837 4 1 0 88171 85 0 0 25 0 11 0 1845304247 857948160 41667 4294967295 134512640 134569956 3221224352 3221214640 1131348931 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18309/statm): 209460 41667 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 882.56 Current children cumulated vsize (Kb) 837840 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18844 4 1 0 89106 85 0 0 19 0 11 0 1845304247 857948160 41672 4294967295 134512640 134569956 3221224352 3221214752 1131439393 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 41672 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 891.91 Current children cumulated vsize (Kb) 837840 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18850 4 1 0 90035 86 0 0 25 0 11 0 1845304247 857948160 41976 4294967295 134512640 134569956 3221224352 3221214616 1131433756 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 41976 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 901.21 Current children cumulated vsize (Kb) 837840 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18333 Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18857 4 1 0 90962 86 0 0 16 0 11 0 1845304247 857948160 41976 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18309/statm): 209460 41976 13129 16 0 209444 0 [pid=18309] vsize: 837840 Current children cumulated CPU time (s) 910.48 Current children cumulated vsize (Kb) 837840 New thread pid=18334 One traced child (pid=18333) exited with status: 0 One traced child (pid=18334) exited with status: 0 One traced child (pid=18318) exited with status: 0 One traced child (pid=18313) exited with status: 0 One traced child (pid=18310) exited with status: 30 One traced child (pid=18315) exited with status: 30 One traced child (pid=18314) exited with status: 30 One traced child (pid=18311) exited with status: 30 One traced child (pid=18317) exited with status: 30 One traced child (pid=18312) exited with status: 30 One traced child (pid=18316) exited with status: 30 One traced child (pid=18309) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 963.629 CPU time (s): 965.053 CPU user time (s): 963.325 CPU system time (s): 1.72874 CPU usage (%): 100.148 Max. virtual memory (cumulated for all children) (Kb): 837840
Verifier: OK 2642