Name | web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f82b685b64af240616b701a750c82883 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1226.18 |
Number of variables | 934 |
Total number of constraints | 1996 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 1117 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
LAUNCH ON wulflinc20 THE 2005-09-18 23:59:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6263 boxname=wulflinc20 idbench=403 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f82b685b64af240616b701a750c82883 /oldhome/oroussel/tmp/wulflinc20/normalized-10:20:4.5:0.95:100.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-10:20:4.5:0.95:100.opb IDLAUNCH: 6263 /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: 896180 kB Buffers: 35964 kB Cached: 73636 kB SwapCached: 832 kB Active: 70784 kB Inactive: 41476 kB HighTotal: 131008 kB HighFree: 54040 kB LowTotal: 903652 kB LowFree: 842140 kB SwapTotal: 2097892 kB SwapFree: 2096604 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20548 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 00:19:33 (client local time) WITH STATUS 143 IN 1226.18 SECONDS stats: 6263 0 1226.18 143
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-10:20:4.5:0.95:100.opb c reading problem ... done. Time 1.886 ms. c #vars 934 c #constraints 1063 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 21 Current CPU time: 2.40 ms c CURRENT OPTIMUM= 19 Current CPU time: 4.79 ms c CURRENT OPTIMUM= 18 Current CPU time: 12.14 ms c CURRENT OPTIMUM= 17 Current CPU time: 19.49 ms c CURRENT OPTIMUM= 14 Current CPU time: 82.61 ms c CURRENT OPTIMUM= 11 Current CPU time: 185.05 ms c starts : 7 c conflicts : 59 c decisions : 13098 c propagations : 26911 c inspects : 451560 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 59 c root simplifications : 30 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 12.670448389543253 c non guided choices 2746 c random choices 0 s SATISFIABLE v v853 v782 -v197 v102 -v21 -v2 -v855 v103 v1 -v785 -v384 -v272 -v196 v20 v3 -v856 -v786 v76 -v55 v23 v4 -v383 -v275 -v202 v75 v54 -v11 -v763 -v387 -v276 -v200 v56 -v24 v5 v762 -v247 -v150 v77 v57 -v26 -v6 v764 -v613 -v388 -v201 v79 v58 -v39 -v27 -v7 v765 -v612 -v513 -v250 -v205 -v149 v65 -v38 v766 -v618 -v251 v80 v59 -v40 -v773 v617 -v512 -v326 v155 -v125 -v82 v60 -v41 v767 v619 -v153 -v83 -v61 v42 v768 v623 -v593 -v573 -v518 -v128 v49 v769 v622 -v577 -v516 -v154 -v129 v43 -v729 -v620 v596 v576 -v158 v44 -v621 v597 -v517 v45 -v881 v728 -v521 v852 v781 -v192 v104 -v17 -v857 -v787 -v537 -v468 -v271 v198 v22 -v14 -v541 -v71 v25 -v15 -v859 -v385 -v277 v203 -v108 -v70 v29 -v10 -v860 -v389 v28 -v790 -v246 -v206 -v145 v78 v68 -v8 -v204 v81 v69 -v811 v776 -v638 -v508 -v391 -v322 -v280 -v252 v151 v85 -v64 v777 -v642 v614 -v392 -v84 -v772 v615 -v514 -v325 v156 -v124 -v62 v52 v616 v53 -v770 v627 -v592 -v519 -v255 -v159 v130 v48 -v572 -v157 -v877 v598 v574 -v522 -v46 v578 -v520 -v880 v730 -v133 -v601 v854 v783 -v464 -v267 v105 -v13 v858 -v379 -v191 -v16 -v12 v862 v788 -v536 -v488 -v467 -v378 -v273 -v193 -v109 v18 v861 -v540 -v492 v199 -v107 v19 -v791 -v386 v278 -v242 v195 -v67 v33 -v789 v390 v207 -v72 -v66 -v807 -v775 v394 -v301 v281 -v248 v73 -v9 -v774 v393 -v279 -v144 v74 -v810 -v637 -v321 v253 v146 -v120 v89 -v51 -v641 -v507 v152 -v50 -v630 -v588 -v509 v327 v256 v148 -v126 -v63 -v631 v515 -v254 v160 -v771 v626 -v594 v511 v131 -v725 v523 -v876 -v724 -v709 -v624 v599 -v330 v134 -v47 v575 -v132 -v882 v731 -v602 v586 -v600 v582 -v900 v732 v581 -v904 v733 v851 -v779 -v463 v422 v106 v850 v784 -v426 -v266 v110 v866 v780 -v662 -v538 -v487 -v469 v268 -v177 -v36 -v792 -v666 v542 -v491 -v380 -v274 v194 -v37 -v381 -v297 v270 -v222 v215 -v32 v382 v282 -v241 -v226 v211 -v806 -v544 -v472 v398 -v317 -v300 v243 v210 v92 -v30 -v545 v249 v93 -v812 -v639 -v629 v323 v245 -v88 -v643 -v628 v257 v147 -v119 -v913 -v836 v328 v168 -v121 -v86 -v917 -v587 -v510 v164 v127 -v872 -v815 -v705 -v645 v589 -v531 -v347 v331 -v163 v123 -v646 v595 v527 -v351 -v329 v135 -v878 -v708 -v625 v591 -v583 v526 v726 v603 v585 -v95 v883 v727 -v94 -v899 v884 v737 -v579 v903 -v885 v869 -v533 -v465 v421 -v173 v118 -v35 v870 v778 -v425 v114 -v34 -v865 v800 -v661 v539 -v489 -v470 -v212 -v176 -v113 v796 -v665 v543 -v493 v269 -v214 -v863 -v802 -v795 v547 v473 -v450 -v401 -v296 v290 -v221 -v91 -v633 -v546 -v471 v402 v286 -v225 -v90 -v808 -v632 -v495 v397 -v302 v285 -v208 -v31 -v496 -v316 v244 -v832 v813 -v752 v640 -v395 -v318 v265 -v209 -v165 v644 v324 v261 -v167 -v912 -v835 -v816 v648 -v528 v320 -v305 v260 -v87 -v916 -v814 v647 -v530 v332 v122 -v704 -v346 -v161 v143 -v871 v590 -v584 -v350 v139 v873 -v710 v611 -v524 -v162 v138 v879 v607 v875 v740 v606 -v561 -v525 v886 v741 -v565 v96 -v901 v736 -v713 -v580 v97 v905 -v867 -v797 v484 -v461 v423 -v172 v117 v799 -v532 v466 -v427 -v213 -v663 -v534 v490 v462 -v446 -v400 -v292 -v287 -v178 -v111 -v667 v535 v494 v474 -v399 -v289 -v864 -v793 v551 v498 -v449 -v429 -v298 -v223 -v112 -v801 v497 -v430 v227 v803 -v794 -v748 -v687 -v669 v303 -v283 -v262 -v181 v809 -v691 -v670 v634 v264 -v166 -v831 v805 -v751 v635 -v396 -v306 -v284 -v229 -v817 v636 -v529 v319 -v304 -v230 -v914 v837 -v700 v652 v340 -v258 -v140 v918 v336 -v142 v706 -v608 v348 -v335 -v259 -v610 v352 -v920 -v840 -v739 v711 -v412 -v371 -v136 -v921 -v896 v874 v738 -v375 -v895 v894 v714 -v604 -v560 -v354 -v137 v890 -v712 -v564 -v355 v902 v889 v734 -v605 -v100 v906 v101 -v868 -v798 -v658 v424 -v174 v115 v483 v460 v428 -v288 -v217 -v664 v554 v485 -v482 -v445 v432 -v216 -v179 v668 v555 v486 -v478 -v431 -v291 v672 -v550 v502 -v477 -v451 -v293 v224 -v182 v671 -v299 -v263 v228 -v180 -v827 -v747 -v686 -v548 v295 v232 -v908 v804 -v690 -v307 v231 -v907 -v833 v825 v753 v655 -v454 -v337 v821 v656 -v342 v339 -v141 v915 v838 -v820 -v651 -v341 v919 -v699 -v609 v923 -v841 -v756 v701 -v649 -v408 v349 -v333 v922 -v839 v707 v353 -v891 v703 v411 -v370 v357 -v334 v893 v715 -v374 v356 v562 -v99 v897 -v566 -v98 v898 v887 v735 -v553 -v479 v441 -v420 v170 -v116 -v657 -v552 -v481 v419 v175 v659 -v505 -v447 v436 v171 v660 -v506 -v218 v183 -v743 v676 -v501 -v475 v452 v219 v294 v220 -v822 -v749 -v688 -v654 -v549 -v499 -v476 v455 v315 v236 -v826 v824 -v692 -v653 -v453 -v338 v311 v828 v754 -v310 -v909 v834 v910 v830 -v818 v757 -v694 v911 v842 -v755 -v695 v343 v927 -v819 -v650 -v407 v344 -v892 v702 -v557 v345 v723 -v556 v413 -v372 v361 -v719 v376 -v718 v563 v567 -v888 v568 -v416 v569 -v504 -v480 v437 -v503 v440 v439 v169 v679 v442 -v435 v190 -v682 v680 v448 v187 -v681 v675 v444 -v433 -v312 v239 -v186 -v823 -v742 v456 -v314 v240 -v744 -v689 v673 -v500 v235 v750 v693 v746 v697 -v308 -v233 v829 v758 v696 -v930 v849 v405 -v309 v931 v846 -v367 v926 v845 -v720 v409 -v366 v364 -v722 v365 -v924 v414 v373 v360 v558 v377 v932 -v716 v559 v417 -v358 -v415 -v717 v678 v438 -v189 v677 -v188 v238 v443 -v313 v237 v459 -v434 -v184 -v683 v457 v684 v674 v458 -v185 v745 v685 -v929 v848 v761 v698 -v234 -v928 v847 v759 v760 -v363 -v721 v404 v362 v843 v403 v410 -v368 -v925 v844 v406 v369 v418 v571 v933 -v359 v570 one c objective function=11 c Total CPU time (ms) : 1218.842
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/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845401287 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 39 3 38 16 0 23 0 [pid=18430] 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/18430 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=18431 New thread pid=18432 New thread pid=18433 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=18434 New thread pid=18435 New thread pid=18436 New thread pid=18437 New thread pid=18438 New thread pid=18439 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-10:20:4.5:0.95:100.opb New thread pid=18440 One traced child (pid=18440) exited with status: 0 New thread pid=18441 One traced child (pid=18441) exited with status: 0 New thread pid=18442 [startup+10.0024 s] Raw data (loadavg): 1.17 1.03 1.01 2/66 18442 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18177 3 1 0 718 49 0 0 24 0 11 0 1845401287 858783744 20242 4294967295 134512640 134569956 3221224336 3221214576 1131368564 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209664 20242 13129 16 0 209648 0 [pid=18430] vsize: 838656 Current children cumulated CPU time (s) 7.67 Current children cumulated vsize (Kb) 838656 One traced child (pid=18442) exited with status: 0 New thread pid=18443 [startup+20.0031 s] Raw data (loadavg): 1.14 1.03 1.01 2/66 18443 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18187 3 1 0 1662 50 0 0 18 0 11 0 1845401287 858554368 20305 4294967295 134512640 134569956 3221224336 3221214552 1131515696 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209608 20305 13129 16 0 209592 0 [pid=18430] vsize: 838432 Current children cumulated CPU time (s) 17.12 Current children cumulated vsize (Kb) 838432 One traced child (pid=18443) exited with status: 0 New thread pid=18444 [startup+30.0039 s] Raw data (loadavg): 1.12 1.03 1.01 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18198 3 1 0 2611 51 0 0 25 0 11 0 1845401287 859426816 20592 4294967295 134512640 134569956 3221224336 3221214532 1131057275 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209821 20592 13129 16 0 209805 0 [pid=18430] vsize: 839284 Current children cumulated CPU time (s) 26.62 Current children cumulated vsize (Kb) 839284 [startup+40.0046 s] Raw data (loadavg): 1.10 1.03 1.01 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18207 3 1 0 3552 51 0 0 25 0 11 0 1845401287 861421568 21339 4294967295 134512640 134569956 3221224336 3221214464 1131575601 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 210308 21339 13129 16 0 210292 0 [pid=18430] vsize: 841232 Current children cumulated CPU time (s) 36.03 Current children cumulated vsize (Kb) 841232 [startup+50.0053 s] Raw data (loadavg): 1.08 1.03 1.01 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18218 3 1 0 4496 52 0 0 21 0 11 0 1845401287 858472448 21308 4294967295 134512640 134569956 3221224336 3221214664 1131413441 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21308 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 45.48 Current children cumulated vsize (Kb) 838352 [startup+60.0061 s] Raw data (loadavg): 1.07 1.03 1.01 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18228 3 1 0 5438 52 0 0 25 0 11 0 1845401287 858472448 21394 4294967295 134512640 134569956 3221224336 3221214704 1131373016 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21394 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 54.9 Current children cumulated vsize (Kb) 838352 [startup+70.0068 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18238 3 1 0 6386 53 0 0 25 0 11 0 1845401287 858472448 21444 4294967295 134512640 134569956 3221224336 3221214664 1131412859 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21444 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 64.39 Current children cumulated vsize (Kb) 838352 [startup+80.0085 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 18444 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18248 3 1 0 7353 53 0 0 18 0 11 0 1845401287 858472448 21777 4294967295 134512640 134569956 3221224336 3221214760 1131424520 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21777 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 74.06 Current children cumulated vsize (Kb) 838352 One traced child (pid=18444) exited with status: 0 New thread pid=18445 [startup+90.0092 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18259 3 1 0 8342 54 0 0 25 0 11 0 1845401287 858472448 21850 4294967295 134512640 134569956 3221224336 3221214660 1131368096 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21850 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 83.96 Current children cumulated vsize (Kb) 838352 [startup+100.009 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18270 3 1 0 9331 54 0 0 25 0 11 0 1845401287 858472448 21857 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21857 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 93.85 Current children cumulated vsize (Kb) 838352 [startup+110.012 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18280 3 1 0 10319 55 0 0 25 0 11 0 1845401287 858472448 21863 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21863 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 103.74 Current children cumulated vsize (Kb) 838352 [startup+120.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18290 3 1 0 11308 55 0 0 25 0 11 0 1845401287 858472448 21890 4294967295 134512640 134569956 3221224336 3221214704 1131372889 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21890 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 113.63 Current children cumulated vsize (Kb) 838352 [startup+130.013 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18302 3 1 0 12297 56 0 0 25 0 11 0 1845401287 858472448 21893 4294967295 134512640 134569956 3221224336 3221214704 1131373020 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21893 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 123.53 Current children cumulated vsize (Kb) 838352 [startup+140.014 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18312 3 1 0 13287 57 0 0 21 0 11 0 1845401287 858472448 21896 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21896 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 133.44 Current children cumulated vsize (Kb) 838352 [startup+150.015 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18323 3 1 0 14277 58 0 0 25 0 11 0 1845401287 858472448 21918 4294967295 134512640 134569956 3221224336 3221214664 1131413287 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21918 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 143.35 Current children cumulated vsize (Kb) 838352 [startup+160.015 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18334 3 1 0 15264 58 0 0 25 0 11 0 1845401287 858472448 21919 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21919 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 153.22 Current children cumulated vsize (Kb) 838352 [startup+170.016 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18344 3 1 0 16251 58 0 0 23 0 11 0 1845401287 858472448 21919 4294967295 134512640 134569956 3221224336 3221214760 1131424182 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21919 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 163.09 Current children cumulated vsize (Kb) 838352 [startup+180.017 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18445 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18355 3 1 0 17237 59 0 0 20 0 11 0 1845401287 858472448 21972 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21972 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 172.96 Current children cumulated vsize (Kb) 838352 One traced child (pid=18445) exited with status: 0 New thread pid=18446 [startup+190.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18365 3 1 0 18230 59 0 0 25 0 11 0 1845401287 858472448 21974 4294967295 134512640 134569956 3221224336 3221214664 1131413103 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21974 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 182.89 Current children cumulated vsize (Kb) 838352 [startup+200.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18376 3 1 0 19219 60 0 0 18 0 11 0 1845401287 858472448 21974 4294967295 134512640 134569956 3221224336 3221214664 1131413715 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21974 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 192.79 Current children cumulated vsize (Kb) 838352 [startup+210.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18386 3 1 0 20209 60 0 0 25 0 11 0 1845401287 858472448 21975 4294967295 134512640 134569956 3221224336 3221214736 1131441009 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21975 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 202.69 Current children cumulated vsize (Kb) 838352 [startup+220.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18397 3 1 0 21198 61 0 0 17 0 11 0 1845401287 858472448 21999 4294967295 134512640 134569956 3221224336 3221214664 1131412833 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21999 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 212.59 Current children cumulated vsize (Kb) 838352 [startup+230.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18407 3 1 0 22188 61 0 0 25 0 11 0 1845401287 858472448 21999 4294967295 134512640 134569956 3221224336 3221214664 1131412867 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 21999 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 222.49 Current children cumulated vsize (Kb) 838352 [startup+240.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18417 3 1 0 23176 61 0 0 25 0 11 0 1845401287 858472448 21999 4294967295 134512640 134569956 3221224336 3221214760 1131424040 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 21999 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 232.37 Current children cumulated vsize (Kb) 838352 [startup+250.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18428 3 1 0 24164 62 0 0 19 0 11 0 1845401287 858472448 22037 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22037 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 242.26 Current children cumulated vsize (Kb) 838352 [startup+260.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18438 3 1 0 25159 62 0 0 24 0 11 0 1845401287 858472448 22040 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22040 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 252.21 Current children cumulated vsize (Kb) 838352 [startup+270.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18449 3 1 0 26149 63 0 0 17 0 11 0 1845401287 858472448 22041 4294967295 134512640 134569956 3221224336 3221214760 1131424037 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22041 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 262.12 Current children cumulated vsize (Kb) 838352 [startup+280.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18459 3 1 0 27140 63 0 0 25 0 11 0 1845401287 858472448 22041 4294967295 134512640 134569956 3221224336 3221214664 1131412765 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22041 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 272.03 Current children cumulated vsize (Kb) 838352 [startup+290.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18470 3 1 0 28130 63 0 0 18 0 11 0 1845401287 858472448 22041 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22041 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 281.93 Current children cumulated vsize (Kb) 838352 [startup+300.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18480 3 1 0 29124 64 0 0 25 0 11 0 1845401287 858472448 22064 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22064 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 291.88 Current children cumulated vsize (Kb) 838352 [startup+310.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18491 3 1 0 30115 64 0 0 17 0 11 0 1845401287 858472448 22065 4294967295 134512640 134569956 3221224336 3221214664 1131412919 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22065 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 301.79 Current children cumulated vsize (Kb) 838352 [startup+320.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18501 3 1 0 31106 65 0 0 22 0 11 0 1845401287 858472448 22065 4294967295 134512640 134569956 3221224336 3221214664 1131413763 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22065 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 311.71 Current children cumulated vsize (Kb) 838352 [startup+330.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18512 3 1 0 32095 66 0 0 18 0 11 0 1845401287 858472448 22065 4294967295 134512640 134569956 3221224336 3221214664 1131413308 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22065 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 321.61 Current children cumulated vsize (Kb) 838352 [startup+340.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18522 3 1 0 33088 66 0 0 25 0 11 0 1845401287 858472448 22087 4294967295 134512640 134569956 3221224336 3221214800 1131375193 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22087 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 331.54 Current children cumulated vsize (Kb) 838352 [startup+350.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18533 3 1 0 34081 66 0 0 18 0 11 0 1845401287 858472448 22089 4294967295 134512640 134569956 3221224336 3221214664 1131414004 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22089 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 341.47 Current children cumulated vsize (Kb) 838352 [startup+360.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18543 3 1 0 35072 67 0 0 25 0 11 0 1845401287 858472448 22089 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22089 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 351.39 Current children cumulated vsize (Kb) 838352 [startup+370.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18554 3 1 0 36061 68 0 0 18 0 11 0 1845401287 858472448 22089 4294967295 134512640 134569956 3221224336 3221214704 1131372889 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22089 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 361.29 Current children cumulated vsize (Kb) 838352 [startup+380.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18564 3 1 0 37052 68 0 0 25 0 11 0 1845401287 858472448 22110 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22110 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 371.2 Current children cumulated vsize (Kb) 838352 [startup+390.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18575 3 1 0 38046 68 0 0 25 0 11 0 1845401287 858472448 22112 4294967295 134512640 134569956 3221224336 3221214664 1131412802 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22112 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 381.14 Current children cumulated vsize (Kb) 838352 [startup+400.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18585 3 1 0 39038 69 0 0 24 0 11 0 1845401287 858472448 22112 4294967295 134512640 134569956 3221224336 3221214664 1131413681 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22112 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 391.07 Current children cumulated vsize (Kb) 838352 [startup+410.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18596 3 1 0 40028 69 0 0 19 0 11 0 1845401287 858472448 22113 4294967295 134512640 134569956 3221224336 3221214664 1131413157 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22113 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 400.97 Current children cumulated vsize (Kb) 838352 [startup+420.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18607 3 1 0 41018 70 0 0 16 0 11 0 1845401287 858472448 22113 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22113 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 410.88 Current children cumulated vsize (Kb) 838352 [startup+430.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18617 3 1 0 42011 70 0 0 25 0 11 0 1845401287 858472448 22135 4294967295 134512640 134569956 3221224336 3221214664 1131413298 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22135 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 420.81 Current children cumulated vsize (Kb) 838352 [startup+440.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18628 3 1 0 43004 71 0 0 25 0 11 0 1845401287 858472448 22137 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22137 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 430.75 Current children cumulated vsize (Kb) 838352 [startup+450.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18638 3 1 0 43995 71 0 0 21 0 11 0 1845401287 858472448 22137 4294967295 134512640 134569956 3221224336 3221214704 1131372881 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22137 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 440.66 Current children cumulated vsize (Kb) 838352 [startup+460.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18649 3 1 0 44984 71 0 0 25 0 11 0 1845401287 858472448 22137 4294967295 134512640 134569956 3221224336 3221214664 1131413433 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22137 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 450.55 Current children cumulated vsize (Kb) 838352 [startup+470.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18659 3 1 0 45975 72 0 0 25 0 11 0 1845401287 858472448 22158 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22158 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 460.47 Current children cumulated vsize (Kb) 838352 [startup+480.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18670 3 1 0 46969 72 0 0 25 0 11 0 1845401287 858472448 22160 4294967295 134512640 134569956 3221224336 3221214664 1131413859 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22160 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 470.41 Current children cumulated vsize (Kb) 838352 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18680 3 1 0 47961 73 0 0 25 0 11 0 1845401287 858472448 22161 4294967295 134512640 134569956 3221224336 3221214760 1131424185 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22161 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 480.34 Current children cumulated vsize (Kb) 838352 [startup+500.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18691 3 1 0 48950 73 0 0 25 0 11 0 1845401287 858472448 22161 4294967295 134512640 134569956 3221224336 3221214664 1131413329 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22161 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 490.23 Current children cumulated vsize (Kb) 838352 [startup+510.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18701 3 1 0 49941 73 0 0 21 0 11 0 1845401287 858472448 22161 4294967295 134512640 134569956 3221224336 3221214664 1131413720 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22161 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 500.14 Current children cumulated vsize (Kb) 838352 [startup+520.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18712 3 1 0 50933 73 0 0 18 0 11 0 1845401287 858472448 22183 4294967295 134512640 134569956 3221224336 3221214664 1131413069 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22183 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 510.06 Current children cumulated vsize (Kb) 838352 [startup+530.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18723 3 1 0 51927 73 0 0 25 0 11 0 1845401287 858472448 22185 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22185 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 838352 [startup+540.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18733 3 1 0 52915 74 0 0 18 0 11 0 1845401287 858472448 22185 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22185 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 529.89 Current children cumulated vsize (Kb) 838352 [startup+550.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18743 3 1 0 53902 75 0 0 25 0 11 0 1845401287 858472448 22185 4294967295 134512640 134569956 3221224336 3221214664 1131412773 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22185 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 539.77 Current children cumulated vsize (Kb) 838352 [startup+560.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18754 3 1 0 54889 75 0 0 18 0 11 0 1845401287 858472448 22186 4294967295 134512640 134569956 3221224336 3221214664 1131413201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22186 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 549.64 Current children cumulated vsize (Kb) 838352 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18764 3 1 0 55882 75 0 0 25 0 11 0 1845401287 858472448 22241 4294967295 134512640 134569956 3221224336 3221214664 1131413700 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22241 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 559.57 Current children cumulated vsize (Kb) 838352 [startup+580.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18775 3 1 0 56875 76 0 0 25 0 11 0 1845401287 858472448 22244 4294967295 134512640 134569956 3221224336 3221214664 1131413283 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22244 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 569.51 Current children cumulated vsize (Kb) 838352 [startup+590.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18785 3 1 0 57865 76 0 0 25 0 11 0 1845401287 858472448 22244 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22244 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 579.41 Current children cumulated vsize (Kb) 838352 [startup+600.052 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18796 3 1 0 58853 77 0 0 25 0 11 0 1845401287 858472448 22244 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22244 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 589.3 Current children cumulated vsize (Kb) 838352 [startup+610.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18806 3 1 0 59842 77 0 0 23 0 11 0 1845401287 858472448 22245 4294967295 134512640 134569956 3221224336 3221214664 1131412915 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22245 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 599.19 Current children cumulated vsize (Kb) 838352 [startup+620.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18817 3 1 0 60835 77 0 0 25 0 11 0 1845401287 858472448 22271 4294967295 134512640 134569956 3221224336 3221214664 1131413441 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22271 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 609.12 Current children cumulated vsize (Kb) 838352 [startup+630.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18828 3 1 0 61829 78 0 0 17 0 11 0 1845401287 858472448 22272 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22272 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 619.07 Current children cumulated vsize (Kb) 838352 [startup+640.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18838 3 1 0 62818 78 0 0 19 0 11 0 1845401287 858472448 22272 4294967295 134512640 134569956 3221224336 3221214756 1131412755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22272 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 628.96 Current children cumulated vsize (Kb) 838352 [startup+650.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18848 3 1 0 63807 78 0 0 25 0 11 0 1845401287 858472448 22273 4294967295 134512640 134569956 3221224336 3221214664 1131413150 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22273 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 638.85 Current children cumulated vsize (Kb) 838352 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18859 3 1 0 64796 78 0 0 19 0 11 0 1845401287 858472448 22273 4294967295 134512640 134569956 3221224336 3221214760 1131424422 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22273 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 648.74 Current children cumulated vsize (Kb) 838352 [startup+670.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18870 3 1 0 65789 79 0 0 17 0 11 0 1845401287 858472448 22299 4294967295 134512640 134569956 3221224336 3221214576 1131368132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22299 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 658.68 Current children cumulated vsize (Kb) 838352 [startup+680.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18880 3 1 0 66784 79 0 0 22 0 11 0 1845401287 858472448 22301 4294967295 134512640 134569956 3221224336 3221214664 1131413268 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22301 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 668.63 Current children cumulated vsize (Kb) 838352 [startup+690.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18891 3 1 0 67772 80 0 0 16 0 11 0 1845401287 858472448 22301 4294967295 134512640 134569956 3221224336 3221214664 1131412885 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22301 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 678.52 Current children cumulated vsize (Kb) 838352 [startup+700.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18901 3 1 0 68761 81 0 0 20 0 11 0 1845401287 858472448 22302 4294967295 134512640 134569956 3221224336 3221214664 1131413802 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22302 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 688.42 Current children cumulated vsize (Kb) 838352 [startup+710.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18912 3 1 0 69749 81 0 0 25 0 11 0 1845401287 858472448 22303 4294967295 134512640 134569956 3221224336 3221214664 1131413339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22303 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 698.3 Current children cumulated vsize (Kb) 838352 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18922 3 1 0 70744 81 0 0 25 0 11 0 1845401287 858472448 22327 4294967295 134512640 134569956 3221224336 3221214664 1131413150 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22327 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 708.25 Current children cumulated vsize (Kb) 838352 [startup+730.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18933 3 1 0 71738 81 0 0 25 0 11 0 1845401287 858472448 22328 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22328 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 718.19 Current children cumulated vsize (Kb) 838352 [startup+740.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18943 3 1 0 72728 82 0 0 25 0 11 0 1845401287 858472448 22329 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22329 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 728.1 Current children cumulated vsize (Kb) 838352 [startup+750.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18954 3 1 0 73714 83 0 0 25 0 11 0 1845401287 858472448 22329 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22329 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 737.97 Current children cumulated vsize (Kb) 838352 [startup+760.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18964 3 1 0 74703 83 0 0 21 0 11 0 1845401287 858472448 22331 4294967295 134512640 134569956 3221224336 3221214664 1131412915 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22331 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 747.86 Current children cumulated vsize (Kb) 838352 [startup+770.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18975 3 1 0 75695 83 0 0 17 0 11 0 1845401287 858472448 22362 4294967295 134512640 134569956 3221224336 3221214664 1131413459 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22362 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 757.78 Current children cumulated vsize (Kb) 838352 [startup+780.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18985 3 1 0 76689 84 0 0 25 0 11 0 1845401287 858472448 22363 4294967295 134512640 134569956 3221224336 3221214664 1131413770 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22363 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 767.73 Current children cumulated vsize (Kb) 838352 [startup+790.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 18996 3 1 0 77679 84 0 0 25 0 11 0 1845401287 858472448 22365 4294967295 134512640 134569956 3221224336 3221214704 1131372861 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22365 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 777.63 Current children cumulated vsize (Kb) 838352 [startup+800.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19006 3 1 0 78658 84 0 0 25 0 11 0 1845401287 858472448 22365 4294967295 134512640 134569956 3221224336 3221214760 1131424536 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22365 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 787.42 Current children cumulated vsize (Kb) 838352 [startup+810.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19016 3 1 0 79637 85 0 0 25 0 11 0 1845401287 858472448 22366 4294967295 134512640 134569956 3221224336 3221214664 1131413733 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22366 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 797.22 Current children cumulated vsize (Kb) 838352 [startup+820.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19027 3 1 0 80613 86 0 0 25 0 11 0 1845401287 858472448 22483 4294967295 134512640 134569956 3221224336 3221214664 1131412782 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22483 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 806.99 Current children cumulated vsize (Kb) 838352 [startup+830.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19037 3 1 0 81606 86 0 0 25 0 11 0 1845401287 858472448 22490 4294967295 134512640 134569956 3221224336 3221214760 1131424500 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22490 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 816.92 Current children cumulated vsize (Kb) 838352 [startup+840.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19048 3 1 0 82599 86 0 0 25 0 11 0 1845401287 858472448 22498 4294967295 134512640 134569956 3221224336 3221214760 1131425063 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22498 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 826.85 Current children cumulated vsize (Kb) 838352 [startup+850.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19058 3 1 0 83590 87 0 0 24 0 11 0 1845401287 858472448 22505 4294967295 134512640 134569956 3221224336 3221214664 1131413700 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22505 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 836.77 Current children cumulated vsize (Kb) 838352 [startup+860.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19069 3 1 0 84577 87 0 0 25 0 11 0 1845401287 858472448 22511 4294967295 134512640 134569956 3221224336 3221214664 1131412799 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209588 22511 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 846.64 Current children cumulated vsize (Kb) 838352 [startup+870.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19079 3 1 0 85565 87 0 0 24 0 11 0 1845401287 858472448 22518 4294967295 134512640 134569956 3221224336 3221214704 1131372864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22518 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 856.52 Current children cumulated vsize (Kb) 838352 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19090 3 1 0 86555 88 0 0 19 0 11 0 1845401287 858472448 22547 4294967295 134512640 134569956 3221224336 3221214664 1131413138 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22547 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 866.43 Current children cumulated vsize (Kb) 838352 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19101 3 1 0 87549 88 0 0 25 0 11 0 1845401287 858472448 22549 4294967295 134512640 134569956 3221224336 3221214664 1131413481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22549 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 876.37 Current children cumulated vsize (Kb) 838352 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19111 3 1 0 88543 88 0 0 22 0 11 0 1845401287 858472448 22551 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209588 22551 13129 16 0 209572 0 [pid=18430] vsize: 838352 Current children cumulated CPU time (s) 886.31 Current children cumulated vsize (Kb) 838352 [startup+910.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19122 3 1 0 89534 89 0 0 25 0 11 0 1845401287 859136000 22710 4294967295 134512640 134569956 3221224336 3221214664 1131413164 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22710 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 896.23 Current children cumulated vsize (Kb) 839000 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19132 3 1 0 90524 89 0 0 25 0 11 0 1845401287 859136000 22711 4294967295 134512640 134569956 3221224336 3221214664 1131413201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22711 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 906.13 Current children cumulated vsize (Kb) 839000 [startup+930.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19143 3 1 0 91511 90 0 0 25 0 11 0 1845401287 859136000 22713 4294967295 134512640 134569956 3221224336 3221214664 1131413181 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22713 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 916.01 Current children cumulated vsize (Kb) 839000 [startup+940.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19153 3 1 0 92502 90 0 0 25 0 11 0 1845401287 859136000 22737 4294967295 134512640 134569956 3221224336 3221214664 1131412839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22737 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 925.92 Current children cumulated vsize (Kb) 839000 [startup+950.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19164 3 1 0 93496 91 0 0 25 0 11 0 1845401287 859136000 22740 4294967295 134512640 134569956 3221224336 3221214760 1131424373 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22740 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 935.87 Current children cumulated vsize (Kb) 839000 [startup+960.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19174 3 1 0 94490 91 0 0 23 0 11 0 1845401287 859136000 22741 4294967295 134512640 134569956 3221224336 3221214664 1131413177 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22741 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 945.81 Current children cumulated vsize (Kb) 839000 [startup+970.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19185 3 1 0 95482 92 0 0 25 0 11 0 1845401287 859136000 22743 4294967295 134512640 134569956 3221224336 3221214664 1131413275 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22743 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 955.74 Current children cumulated vsize (Kb) 839000 [startup+980.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19195 3 1 0 96471 92 0 0 25 0 11 0 1845401287 859136000 22743 4294967295 134512640 134569956 3221224336 3221214664 1131413737 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22743 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 965.63 Current children cumulated vsize (Kb) 839000 [startup+990.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19206 3 1 0 97459 92 0 0 25 0 11 0 1845401287 859136000 22744 4294967295 134512640 134569956 3221224336 3221214664 1131412765 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22744 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 975.51 Current children cumulated vsize (Kb) 839000 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19216 3 1 0 98450 92 0 0 25 0 11 0 1845401287 859136000 22767 4294967295 134512640 134569956 3221224336 3221214704 1131372881 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22767 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 985.42 Current children cumulated vsize (Kb) 839000 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19227 3 1 0 99444 93 0 0 19 0 11 0 1845401287 859136000 22769 4294967295 134512640 134569956 3221224336 3221214800 1131375193 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22769 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 995.37 Current children cumulated vsize (Kb) 839000 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19238 3 1 0 100438 94 0 0 25 0 11 0 1845401287 859136000 22770 4294967295 134512640 134569956 3221224336 3221214664 1131412765 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22770 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1005.32 Current children cumulated vsize (Kb) 839000 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19248 3 1 0 101431 94 0 0 25 0 11 0 1845401287 859136000 22772 4294967295 134512640 134569956 3221224336 3221214664 1131413720 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22772 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1015.25 Current children cumulated vsize (Kb) 839000 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19258 3 1 0 102420 94 0 0 24 0 11 0 1845401287 859136000 22772 4294967295 134512640 134569956 3221224336 3221214664 1131412802 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22772 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1025.14 Current children cumulated vsize (Kb) 839000 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19269 3 1 0 103408 95 0 0 25 0 11 0 1845401287 859136000 22772 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22772 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1035.03 Current children cumulated vsize (Kb) 839000 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19279 3 1 0 104398 95 0 0 25 0 11 0 1845401287 859136000 22795 4294967295 134512640 134569956 3221224336 3221214664 1131412852 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22795 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1044.93 Current children cumulated vsize (Kb) 839000 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19290 3 1 0 105391 96 0 0 25 0 11 0 1845401287 859136000 22797 4294967295 134512640 134569956 3221224336 3221214664 1131413188 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22797 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1054.87 Current children cumulated vsize (Kb) 839000 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19301 3 1 0 106386 96 0 0 18 0 11 0 1845401287 859136000 22798 4294967295 134512640 134569956 3221224336 3221214664 1131413737 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22798 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1064.82 Current children cumulated vsize (Kb) 839000 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19311 3 1 0 107380 96 0 0 21 0 11 0 1845401287 859136000 22799 4294967295 134512640 134569956 3221224336 3221214664 1131412987 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22799 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1074.76 Current children cumulated vsize (Kb) 839000 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19322 3 1 0 108368 97 0 0 17 0 11 0 1845401287 859136000 22800 4294967295 134512640 134569956 3221224336 3221214664 1131412765 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22800 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1084.65 Current children cumulated vsize (Kb) 839000 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19332 3 1 0 109358 97 0 0 21 0 11 0 1845401287 859136000 22800 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22800 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1094.55 Current children cumulated vsize (Kb) 839000 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19343 3 1 0 110346 98 0 0 25 0 11 0 1845401287 859136000 22822 4294967295 134512640 134569956 3221224336 3221214664 1131413844 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22822 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1104.44 Current children cumulated vsize (Kb) 839000 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19353 3 1 0 111341 98 0 0 25 0 11 0 1845401287 859136000 22824 4294967295 134512640 134569956 3221224336 3221214704 1131372881 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22824 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1114.39 Current children cumulated vsize (Kb) 839000 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19364 3 1 0 112335 99 0 0 25 0 11 0 1845401287 859136000 22826 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22826 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1124.34 Current children cumulated vsize (Kb) 839000 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19375 3 1 0 113329 100 0 0 17 0 11 0 1845401287 859136000 22827 4294967295 134512640 134569956 3221224336 3221214664 1131412802 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22827 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1134.29 Current children cumulated vsize (Kb) 839000 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19385 3 1 0 114319 101 0 0 25 0 11 0 1845401287 859136000 22827 4294967295 134512640 134569956 3221224336 3221214664 1131413201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22827 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1144.2 Current children cumulated vsize (Kb) 839000 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19395 3 1 0 115308 101 0 0 25 0 11 0 1845401287 859136000 22828 4294967295 134512640 134569956 3221224336 3221214664 1131413197 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22828 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1154.09 Current children cumulated vsize (Kb) 839000 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19406 3 1 0 116297 101 0 0 25 0 11 0 1845401287 859136000 22828 4294967295 134512640 134569956 3221224336 3221214704 1131372889 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22828 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1163.98 Current children cumulated vsize (Kb) 839000 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19416 3 1 0 117290 101 0 0 25 0 11 0 1845401287 859136000 22852 4294967295 134512640 134569956 3221224336 3221214664 1131413271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/18430/statm): 209750 22852 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1173.91 Current children cumulated vsize (Kb) 839000 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19427 3 1 0 118284 102 0 0 25 0 11 0 1845401287 859136000 22853 4294967295 134512640 134569956 3221224336 3221214664 1131412769 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22853 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1183.86 Current children cumulated vsize (Kb) 839000 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19438 3 1 0 119277 102 0 0 25 0 11 0 1845401287 859136000 22855 4294967295 134512640 134569956 3221224336 3221214704 1131372940 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22855 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1193.79 Current children cumulated vsize (Kb) 839000 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19448 3 1 0 120269 102 0 0 25 0 11 0 1845401287 859136000 22855 4294967295 134512640 134569956 3221224336 3221214664 1131413692 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22855 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1203.71 Current children cumulated vsize (Kb) 839000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 18446 Raw data (/proc/18430/stat): 18430 (java) R 18429 18430 2660 0 -1 0 19448 3 1 0 120269 102 0 0 25 0 11 0 1845401287 859136000 22855 4294967295 134512640 134569956 3221224336 3221214664 1131413692 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/18430/statm): 209750 22855 13129 16 0 209734 0 [pid=18430] vsize: 839000 Current children cumulated CPU time (s) 1203.71 Current children cumulated vsize (Kb) 839000 Sending SIGTERM to -18430 Sleeping 2 seconds New thread pid=18448 New thread pid=18449 One traced child (pid=18449) exited with status: 0 One traced child (pid=18439) exited with status: 0 One traced child (pid=18434) exited with status: 0 One traced child (pid=18431) exited with status: 143 One traced child (pid=18432) exited with status: 143 One traced child (pid=18433) exited with status: 143 One traced child (pid=18435) exited with status: 143 One traced child (pid=18438) exited with status: 143 One traced child (pid=18436) exited with status: 143 One traced child (pid=18437) exited with status: 143 One traced child (pid=18446) exited with status: 143 One traced child (pid=18448) exited with status: 143 One traced child (pid=18430) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1220.23 CPU time (s): 1226.18 CPU user time (s): 1224.13 CPU system time (s): 2.04569 CPU usage (%): 100.488 Max. virtual memory (cumulated for all children) (Kb): 841232
Verifier: OK 11