Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.22 | 1785.45 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb |
MD5SUM | c918ba57e672047ee392792cccc2b48f |
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 | 34451 |
Total number of constraints | 102181 |
Number of constraints which are clauses | 102180 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 34060 |
Number of terms in the objective function | 131 |
Biggest coefficient in the objective function | 1361129467683753853853498429727072845824 |
Number of bits for the biggest coefficient in the objective function | 131 |
Sum of the numbers in the objective function | 2722258935367507707706996859454145691647 |
Number of bits of the sum of numbers in the objective function | 131 |
Biggest number in a constraint | 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818112 |
Number of bits of the biggest number in a constraint | 390 |
Biggest sum of numbers in a constraint | 5043456793138493339171717132818382567049488946071148219999644591778013249122585915275136925506681211892051858120822619 |
Number of bits of the biggest sum of numbers | 391 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node27/50717-1154117845/instance-50717-1154117845.opb 0.20 c reading problem ... 72.64 c ... done. Time 72.441 ms. 72.65 c #vars 34451 72.65 c #constraints 102182 1785.39 c starts : 1 1785.39 c conflicts : 11 1785.39 c decisions : 383 1785.39 c propagations : 53186 1785.39 c inspects : 255641 1785.39 c learnt literals : 0 1785.39 c learnt binary clauses : 0 1785.39 c learnt ternary clauses : 0 1785.39 c learnt clauses : 10 1785.39 c root simplifications : 0 1785.39 c removed literals (reason simplification) : 0 1785.39 c reason swapping (by a shorter reason) : 0 1785.39 c Calls to reduceDB : 0 1785.39 c speed (decisions/second) : 0.22363448665667027 1785.39 c non guided choices 2 1785.39 s UNKNOWN 1785.39 c Total wall clock time (ms): 1785.188
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node27/watcher-50717-1154117845 -o ROOT/results/node27/solver-50717-1154117845 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node27/50717-1154117845/instance-50717-1154117845.opb 747144550 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.97 2/64 28301 /proc/meminfo: memFree=1127280/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1784 CPUtime=0 /proc/28301/stat : 28301 (java) D 28299 28301 28252 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 90652700 1826816 146 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/28301/statm: 446 146 111 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=963928/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=10.46 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 43980 0 1 0 1028 18 0 0 25 0 12 0 90652700 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071346641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 42584 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.04 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 1223 0 0 0 4 0 0 0 16 0 12 0 90652703 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.04 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 1306 0 0 0 4 0 0 0 16 0 12 0 90652703 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 90652706 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.35 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 600 0 0 0 35 0 0 0 17 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 16 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 90652710 1750736896 42584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.46 Current children cumulated vsize (Kb) 1709704 [startup+20.0105 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=968344/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=20.51 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 44563 0 1 0 2032 19 0 0 25 0 12 0 90652700 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071344719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 41505 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.08 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 1508 0 0 0 8 0 0 0 15 0 12 0 90652703 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.08 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 1572 0 0 0 8 0 0 0 16 0 12 0 90652703 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 90652706 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.36 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 601 0 0 0 36 0 0 0 16 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 17 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 90652710 1750736896 41505 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.51 Current children cumulated vsize (Kb) 1709704 [startup+30.0175 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=968536/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=30.57 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 45108 0 1 0 3036 21 0 0 17 0 12 0 90652700 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071438947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 41492 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.13 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 1791 0 0 0 13 0 0 0 16 0 12 0 90652703 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.14 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 1797 0 0 0 13 1 0 0 16 0 12 0 90652703 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 1 0 0 0 16 0 12 0 90652706 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.36 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 601 0 0 0 36 0 0 0 16 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 17 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 90652710 1750736896 41492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.57 Current children cumulated vsize (Kb) 1709704 [startup+40.0246 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=967832/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=40.62 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 45672 0 1 0 4040 22 0 0 25 0 12 0 90652700 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071438947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 41671 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.18 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 2128 0 0 0 18 0 0 0 15 0 12 0 90652703 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.2 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 1985 0 0 0 19 1 0 0 16 0 12 0 90652703 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0.02 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 1 1 0 0 16 0 12 0 90652706 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.36 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 601 0 0 0 36 0 0 0 16 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 17 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 90652710 1750736896 41671 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.62 Current children cumulated vsize (Kb) 1709704 [startup+50.0316 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=966424/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=50.68 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 46156 0 1 0 5045 23 0 0 25 0 12 0 90652700 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071438949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 42040 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 2297 0 0 0 25 0 0 0 15 0 12 0 90652703 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.26 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 2255 0 0 0 25 1 0 0 16 0 12 0 90652703 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0.04 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 3 1 0 0 16 0 12 0 90652706 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.36 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 601 0 0 0 36 0 0 0 16 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 17 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 90652710 1750736896 42040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (Kb) 1709704 [startup+60.0386 s] /proc/loadavg: 1.00 0.99 0.97 2/75 28312 /proc/meminfo: memFree=965976/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1709704 CPUtime=60.77 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 46757 0 1 0 6052 25 0 0 17 0 12 0 90652700 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071438943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28301/statm: 427426 42150 1874 14 0 414173 0 [pid=28301/tid=28302] ppid=28299 vsize=1709704 CPUtime=0.34 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 2510 0 0 0 33 1 0 0 16 0 12 0 90652703 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1709704 CPUtime=0.35 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 2593 0 0 0 33 2 0 0 16 0 12 0 90652703 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1709704 CPUtime=0.05 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 30 0 0 0 3 2 0 0 15 0 12 0 90652706 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 90652707 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 90652707 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 90652710 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 90652710 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1709704 CPUtime=0.36 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 601 0 0 0 36 0 0 0 16 0 12 0 90652710 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1709704 CPUtime=0.25 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 342 0 0 0 25 0 0 0 17 0 12 0 90652710 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1709704 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 90652710 1750736896 42150 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1709704 CPUtime=0 ################ # More data... # ################ /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (Kb) 1726112 [startup+1782.35 s] /proc/loadavg: 1.06 1.02 1.00 2/76 28315 /proc/meminfo: memFree=863312/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1726112 CPUtime=1797.09 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 111466 0 1 0 179382 327 0 0 24 0 13 0 90652700 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071785897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28301/statm: 431528 67555 1911 14 0 418275 0 [pid=28301/tid=28302] ppid=28299 vsize=1726112 CPUtime=12.75 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 17034 0 0 0 1142 133 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1726112 CPUtime=12.81 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 16603 0 0 0 1186 95 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1726112 CPUtime=1.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 109 0 0 0 57 44 0 0 16 0 13 0 90652706 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.09 Current children cumulated vsize (Kb) 1726112 [startup+1783.36 s] /proc/loadavg: 1.06 1.02 1.00 2/76 28315 /proc/meminfo: memFree=863312/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1726112 CPUtime=1798.1 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 111469 0 1 0 179483 327 0 0 25 0 13 0 90652700 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071793764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28301/statm: 431528 67555 1911 14 0 418275 0 [pid=28301/tid=28302] ppid=28299 vsize=1726112 CPUtime=12.76 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 17034 0 0 0 1143 133 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1726112 CPUtime=12.81 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 16603 0 0 0 1186 95 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1726112 CPUtime=1.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 109 0 0 0 57 44 0 0 16 0 13 0 90652706 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (Kb) 1726112 [startup+1784.36 s] /proc/loadavg: 1.06 1.02 1.00 2/76 28315 /proc/meminfo: memFree=863312/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1726112 CPUtime=1799.12 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 111472 0 1 0 179585 327 0 0 25 0 13 0 90652700 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071766221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28301/statm: 431528 67555 1911 14 0 418275 0 [pid=28301/tid=28302] ppid=28299 vsize=1726112 CPUtime=12.77 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 17034 0 0 0 1144 133 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1726112 CPUtime=12.82 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 16603 0 0 0 1187 95 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1726112 CPUtime=1.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 109 0 0 0 57 44 0 0 16 0 13 0 90652706 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.12 Current children cumulated vsize (Kb) 1726112 [startup+1785.37 s] /proc/loadavg: 1.06 1.02 1.00 2/76 28315 /proc/meminfo: memFree=863312/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1726112 CPUtime=1800.13 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 111474 0 1 0 179686 327 0 0 17 0 13 0 90652700 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071413098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28301/statm: 431528 67555 1911 14 0 418275 0 [pid=28301/tid=28302] ppid=28299 vsize=1726112 CPUtime=12.78 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 17034 0 0 0 1145 133 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1726112 CPUtime=12.83 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 16603 0 0 0 1188 95 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1726112 CPUtime=1.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 109 0 0 0 57 44 0 0 16 0 13 0 90652706 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 1726112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.38 s] /proc/loadavg: 1.06 1.02 1.00 2/76 28315 /proc/meminfo: memFree=863312/2055920 swapFree=4183212/4192956 [pid=28301] ppid=28299 vsize=1726112 CPUtime=1800.13 /proc/28301/stat : 28301 (java) R 28299 28301 28252 0 -1 0 111474 0 1 0 179686 327 0 0 17 0 13 0 90652700 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071494129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28301/statm: 431528 67555 1911 14 0 418275 0 [pid=28301/tid=28302] ppid=28299 vsize=1726112 CPUtime=12.78 /proc/28301/task/28302/stat : 28302 (java) S 28299 28301 28252 0 -1 64 17034 0 0 0 1145 133 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28303] ppid=28299 vsize=1726112 CPUtime=12.83 /proc/28301/task/28303/stat : 28303 (java) S 28299 28301 28252 0 -1 64 16603 0 0 0 1188 95 0 0 16 0 13 0 90652703 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28304] ppid=28299 vsize=1726112 CPUtime=1.01 /proc/28301/task/28304/stat : 28304 (java) S 28299 28301 28252 0 -1 64 109 0 0 0 57 44 0 0 16 0 13 0 90652706 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28305] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28305/stat : 28305 (java) S 28299 28301 28252 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28306] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28306/stat : 28306 (java) S 28299 28301 28252 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 90652707 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28307] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28307/stat : 28307 (java) S 28299 28301 28252 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28308] ppid=28299 vsize=1726112 CPUtime=0.01 /proc/28301/task/28308/stat : 28308 (java) S 28299 28301 28252 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28309] ppid=28299 vsize=1726112 CPUtime=1.4 /proc/28301/task/28309/stat : 28309 (java) S 28299 28301 28252 0 -1 64 2122 0 0 0 140 0 0 0 17 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28310] ppid=28299 vsize=1726112 CPUtime=2.06 /proc/28301/task/28310/stat : 28310 (java) S 28299 28301 28252 0 -1 64 7978 0 0 0 202 4 0 0 16 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28301/tid=28311] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28311/stat : 28311 (java) S 28299 28301 28252 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28312] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28312/stat : 28312 (java) S 28299 28301 28252 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 90652710 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28301/tid=28313] ppid=28299 vsize=1726112 CPUtime=0 /proc/28301/task/28313/stat : 28313 (java) S 28299 28301 28252 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 90659979 1767538688 67555 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 1726112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1785.45 CPU time (s): 1800.22 CPU user time (s): 1796.89 CPU system time (s): 3.32249 CPU usage (%): 100.827 Max. virtual memory (cumulated for all children) (Kb): 1726112 The end
Begin job on node27 on Fri Jul 28 20:17:25 UTC 2006 FILE ID= 50717-1154117845 PBS_JOBID= 886804 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node27/50717-1154117845/instance-50717-1154117845.opb 747144550 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-50717-1154117845 -o ROOT/results/node27/solver-50717-1154117845 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node27/50717-1154117845/instance-50717-1154117845.opb 747144550 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= c918ba57e672047ee392792cccc2b48f RANDOM SEED= 747144550 TIMEOUT= 1800 seconds /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.222 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.222 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: 1127488 kB Buffers: 31488 kB Cached: 820092 kB SwapCached: 3452 kB Active: 88052 kB Inactive: 772040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1127488 kB SwapTotal: 4192956 kB SwapFree: 4183212 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14492 kB Slab: 54364 kB Committed_AS: 276440 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jul 28 20:47:11 UTC 2006