Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.7 | 1785.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-dano3mip.opb |
MD5SUM | 97b175564b36442f64835a62ac7058b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399966 |
Total number of constraints | 3226 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 67108864000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node21/43353-1149316879/instance-43353-1149316879.opb 0.21 c reading problem ... 61.39 c ... done. Time 61.183 ms. 61.39 c #vars 399966 61.39 c #constraints 4450 1785.35 c starts : 1 1785.35 c conflicts : 99 1785.35 c decisions : 55889 1785.35 c propagations : 347578 1785.35 c inspects : 1601814 1785.35 c learnt literals : 0 1785.35 c learnt binary clauses : 0 1785.35 c learnt ternary clauses : 0 1785.35 c learnt clauses : 98 1785.35 c root simplifications : 0 1785.35 c removed literals (reason simplification) : 0 1785.35 c reason swapping (by a shorter reason) : 0 1785.35 c Calls to reduceDB : 0 1785.35 c speed (decisions/second) : 32.42084624041396 1785.35 c non guided choices 42486 1785.35 s UNKNOWN 1785.35 c Total wall clock time (ms): 1785.136
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-43353-1149316879 -o ROOT/results/node21/solver-43353-1149316879 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/43353-1149316879/instance-43353-1149316879.opb 630769280 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.02 1.00 2/64 460 /proc/meminfo: memFree=1394472/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=18540 CPUtime=0 /proc/460/stat : 460 (runsolver) R 458 460 414 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 197351023 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 221236489511 0 0 4096 24578 0 0 0 17 1 0 0 /proc/460/statm: 0 0 0 0 0 0 0 [startup+10.0027 s] /proc/loadavg: 1.22 1.05 1.01 2/75 471 /proc/meminfo: memFree=1129184/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713576 CPUtime=11.63 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 72583 0 1 0 1128 35 0 0 22 0 12 0 197351023 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071343516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 428394 68054 1882 14 0 415141 0 [pid=460/tid=461] ppid=458 vsize=1713576 CPUtime=1.09 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 15671 0 0 0 101 8 0 0 16 0 12 0 197351026 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1713576 CPUtime=1.09 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 18258 0 0 0 99 10 0 0 16 0 12 0 197351026 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 197351029 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=464] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713576 CPUtime=0.38 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1568 0 0 0 38 0 0 0 16 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=469] ppid=458 vsize=1713576 CPUtime=0.35 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 806 0 0 0 35 0 0 0 16 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713576 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754701824 68054 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.63 Current children cumulated vsize (Kb) 1713576 [startup+20.0098 s] /proc/loadavg: 1.18 1.05 1.01 2/75 471 /proc/meminfo: memFree=1054304/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713544 CPUtime=22.34 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 93172 0 1 0 2187 47 0 0 25 0 12 0 197351023 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071399147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 428386 86844 1883 14 0 415133 0 [pid=460/tid=461] ppid=458 vsize=1713544 CPUtime=1.78 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 25719 0 0 0 164 14 0 0 16 0 12 0 197351026 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=462] ppid=458 vsize=1713544 CPUtime=1.78 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 28771 0 0 0 162 16 0 0 16 0 12 0 197351026 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=463] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 21 0 0 0 0 0 0 0 16 0 12 0 197351029 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713544 CPUtime=0.38 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1568 0 0 0 38 0 0 0 16 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=469] ppid=458 vsize=1713544 CPUtime=0.38 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 808 0 0 0 38 0 0 0 17 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754669056 86844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.34 Current children cumulated vsize (Kb) 1713544 [startup+30.0169 s] /proc/loadavg: 1.15 1.05 1.01 2/75 471 /proc/meminfo: memFree=1031840/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713544 CPUtime=32.7 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 99289 0 1 0 3219 51 0 0 24 0 12 0 197351023 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071230831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 428386 92481 1887 14 0 415133 0 [pid=460/tid=461] ppid=458 vsize=1713544 CPUtime=2.05 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 29176 0 0 0 190 15 0 0 17 0 12 0 197351026 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=462] ppid=458 vsize=1713544 CPUtime=2.04 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 31404 0 0 0 187 17 0 0 16 0 12 0 197351026 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=463] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 21 0 0 0 0 0 0 0 15 0 12 0 197351029 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=464] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713544 CPUtime=0.42 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1569 0 0 0 42 0 0 0 16 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=469] ppid=458 vsize=1713544 CPUtime=0.43 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 810 0 0 0 43 0 0 0 17 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754669056 92481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.7 Current children cumulated vsize (Kb) 1713544 [startup+40.023 s] /proc/loadavg: 1.13 1.05 1.01 2/75 471 /proc/meminfo: memFree=1014752/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713544 CPUtime=42.93 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 103831 0 1 0 4238 55 0 0 25 0 12 0 197351023 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071346431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 428386 96754 1887 14 0 415133 0 [pid=460/tid=461] ppid=458 vsize=1713544 CPUtime=2.27 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 31025 0 0 0 211 16 0 0 16 0 12 0 197351026 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=462] ppid=458 vsize=1713544 CPUtime=2.27 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 34079 0 0 0 208 19 0 0 16 0 12 0 197351026 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=463] ppid=458 vsize=1713544 CPUtime=0.01 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 21 0 0 0 1 0 0 0 16 0 12 0 197351029 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713544 CPUtime=0.42 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1569 0 0 0 42 0 0 0 16 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1713544 CPUtime=0.43 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 810 0 0 0 43 0 0 0 17 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754669056 96754 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.93 Current children cumulated vsize (Kb) 1713544 [startup+50.0301 s] /proc/loadavg: 1.11 1.04 1.01 2/75 471 /proc/meminfo: memFree=971296/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713544 CPUtime=53.39 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 116104 0 1 0 5280 59 0 0 25 0 12 0 197351023 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/460/statm: 428386 107597 1887 14 0 415133 0 [pid=460/tid=461] ppid=458 vsize=1713544 CPUtime=2.75 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 37070 0 0 0 257 18 0 0 16 0 12 0 197351026 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=462] ppid=458 vsize=1713544 CPUtime=2.75 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 40290 0 0 0 254 21 0 0 16 0 12 0 197351026 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=463] ppid=458 vsize=1713544 CPUtime=0.01 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 21 0 0 0 1 0 0 0 15 0 12 0 197351029 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=464] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713544 CPUtime=0.42 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1569 0 0 0 42 0 0 0 16 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1713544 CPUtime=0.43 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 810 0 0 0 43 0 0 0 17 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754669056 107597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 53.39 Current children cumulated vsize (Kb) 1713544 [startup+60.0372 s] /proc/loadavg: 1.09 1.04 1.01 2/75 471 /proc/meminfo: memFree=895584/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1713544 CPUtime=64.24 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 137595 0 1 0 6352 72 0 0 25 0 12 0 197351023 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071341351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 428386 126489 1887 14 0 415133 0 [pid=460/tid=461] ppid=458 vsize=1713544 CPUtime=3.56 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 46405 0 0 0 332 24 0 0 17 0 12 0 197351026 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=462] ppid=458 vsize=1713544 CPUtime=3.56 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 52425 0 0 0 329 27 0 0 16 0 12 0 197351026 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=463] ppid=458 vsize=1713544 CPUtime=0.01 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 23 0 0 0 1 0 0 0 15 0 12 0 197351029 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=464] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197351030 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1713544 CPUtime=0.42 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1569 0 0 0 42 0 0 0 16 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1713544 CPUtime=0.48 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 815 0 0 0 48 0 0 0 17 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=470] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1713544 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197351033 1754669056 126489 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 1716108 [startup+1782.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 667 /proc/meminfo: memFree=625696/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1716108 CPUtime=1797.41 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 255837 0 1 0 179425 316 0 0 25 0 13 0 197351023 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071745850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 429027 193643 1910 14 0 415774 0 [pid=460/tid=461] ppid=458 vsize=1716108 CPUtime=14.14 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 82957 0 0 0 1301 113 0 0 16 0 13 0 197351026 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1716108 CPUtime=14.09 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 86600 0 0 0 1259 150 0 0 17 0 13 0 197351026 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1716108 CPUtime=0.16 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 147 0 0 0 8 8 0 0 16 0 13 0 197351029 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 193643 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 1716108 [startup+1783.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 667 /proc/meminfo: memFree=622240/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1716108 CPUtime=1798.47 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 256710 0 1 0 179530 317 0 0 24 0 13 0 197351023 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071745843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 429027 194504 1910 14 0 415774 0 [pid=460/tid=461] ppid=458 vsize=1716108 CPUtime=14.18 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 83741 0 0 0 1305 113 0 0 17 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1716108 CPUtime=14.13 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 86688 0 0 0 1263 150 0 0 16 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1716108 CPUtime=0.16 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 147 0 0 0 8 8 0 0 16 0 13 0 197351029 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 1716108 [startup+1784.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 667 /proc/meminfo: memFree=622240/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1716108 CPUtime=1799.47 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 256710 0 1 0 179630 317 0 0 25 0 13 0 197351023 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071746018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 429027 194504 1910 14 0 415774 0 [pid=460/tid=461] ppid=458 vsize=1716108 CPUtime=14.18 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 83741 0 0 0 1305 113 0 0 17 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1716108 CPUtime=14.13 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 86688 0 0 0 1263 150 0 0 16 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1716108 CPUtime=0.16 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 147 0 0 0 8 8 0 0 16 0 13 0 197351029 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 1716108 [startup+1785.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 667 /proc/meminfo: memFree=622240/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1716108 CPUtime=1800.47 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 256710 0 1 0 179730 317 0 0 25 0 13 0 197351023 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071660200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 429027 194504 1910 14 0 415774 0 [pid=460/tid=461] ppid=458 vsize=1716108 CPUtime=14.18 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 83741 0 0 0 1305 113 0 0 17 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1716108 CPUtime=14.13 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 86688 0 0 0 1263 150 0 0 16 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1716108 CPUtime=0.16 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 147 0 0 0 8 8 0 0 16 0 13 0 197351029 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 1716108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 667 /proc/meminfo: memFree=622240/2055920 swapFree=4181452/4192956 [pid=460] ppid=458 vsize=1716108 CPUtime=1800.48 /proc/460/stat : 460 (java) R 458 460 414 0 -1 0 256710 0 1 0 179731 317 0 0 25 0 13 0 197351023 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/460/statm: 429027 194504 1910 14 0 415774 0 [pid=460/tid=461] ppid=458 vsize=1716108 CPUtime=14.18 /proc/460/task/461/stat : 461 (java) S 458 460 414 0 -1 64 83741 0 0 0 1305 113 0 0 17 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=462] ppid=458 vsize=1716108 CPUtime=14.13 /proc/460/task/462/stat : 462 (java) S 458 460 414 0 -1 64 86688 0 0 0 1263 150 0 0 16 0 13 0 197351026 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=463] ppid=458 vsize=1716108 CPUtime=0.16 /proc/460/task/463/stat : 463 (java) S 458 460 414 0 -1 64 147 0 0 0 8 8 0 0 16 0 13 0 197351029 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=464] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/464/stat : 464 (java) S 458 460 414 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=465] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/465/stat : 465 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197351030 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=466] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/466/stat : 466 (java) S 458 460 414 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=467] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/467/stat : 467 (java) S 458 460 414 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=468] ppid=458 vsize=1716108 CPUtime=0.74 /proc/460/task/468/stat : 468 (java) S 458 460 414 0 -1 64 1615 0 0 0 74 0 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=469] ppid=458 vsize=1716108 CPUtime=1.33 /proc/460/task/469/stat : 469 (java) S 458 460 414 0 -1 64 4572 0 0 0 131 2 0 0 16 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=470] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/470/stat : 470 (java) S 458 460 414 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=460/tid=471] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/471/stat : 471 (java) S 458 460 414 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197351033 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=460/tid=472] ppid=458 vsize=1716108 CPUtime=0 /proc/460/task/472/stat : 472 (java) S 458 460 414 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197357284 1757294592 194504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 1716108 Sending SIGTERM to -460 Sleeping 2 seconds Child status: 143 Real time (s): 1785.53 CPU time (s): 1800.7 CPU user time (s): 1797.41 CPU system time (s): 3.2935 CPU usage (%): 100.85 Max. virtual memory (cumulated for all children) (Kb): 1717132
Begin job on node21 on Sat Jun 3 06:41:19 UTC 2006 FILE ID= 43353-1149316879 PBS_JOBID= 308407 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/43353-1149316879/instance-43353-1149316879.opb 630769280 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-43353-1149316879 -o ROOT/results/node21/solver-43353-1149316879 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/43353-1149316879/instance-43353-1149316879.opb 630769280 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 97b175564b36442f64835a62ac7058b3 RANDOM SEED= 630769280 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1394616 kB Buffers: 36416 kB Cached: 550720 kB SwapCached: 3308 kB Active: 157612 kB Inactive: 438332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1394616 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14740 kB Slab: 51360 kB Committed_AS: 318352 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jun 3 07:11:05 UTC 2006