Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.26 | 1799.4 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb |
MD5SUM | a8a51c2e735c1a05850a59dcf05a69f7 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.027995 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1165 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.19 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.19 c no version file found!!! 0.19 c sun.arch.data.model 32 0.19 c java.version 1.5.0_06 0.19 c os.name Linux 0.19 c os.version 2.6.9-22.EL.rootsmp 0.19 c os.arch i386 0.19 c Free memory 1548419056 0.19 c Max memory 1551040512 0.19 c Total memory 1551040512 0.19 c Number of processors 2 0.26 c Cutting planes based inference 0.26 c --- Begin Solver configuration --- 0.26 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.26 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.26 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.26 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.26 c VSIDS like heuristics from MiniSAT using a heap 0.26 c No reason simplification 0.26 c --- End Solver configuration --- 0.26 c solving ROOT/tmp/node58/42084-1149212412/instance-42084-1149212412.opb 0.26 c reading problem ... 0.39 c ... done. Time 0.133 ms. 0.39 c #vars 169 0.39 c #constraints 101 1799.32 c starts : 5 1799.32 c conflicts : 888 1799.32 c decisions : 5160 1799.32 c propagations : 24843 1799.32 c inspects : 785847 1799.32 c learnt literals : 0 1799.32 c learnt binary clauses : 0 1799.32 c learnt ternary clauses : 0 1799.32 c learnt clauses : 887 1799.32 c root simplifications : 0 1799.32 c removed literals (reason simplification) : 0 1799.32 c reason swapping (by a shorter reason) : 0 1799.33 c Calls to reduceDB : 0 1799.33 c speed (decisions/second) : 2.8683669708655075 1799.33 c non guided choices 38 1799.33 s UNKNOWN 1799.33 c Total wall clock time (ms): 1799.068
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/node58/watcher-42084-1149212412 -o ROOT/results/node58/solver-42084-1149212412 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/42084-1149212412/instance-42084-1149212412.opb 891366462 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.74 0.92 0.89 3/64 21306 /proc/meminfo: memFree=1539184/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1784 CPUtime=0 /proc/21306/stat : 21306 (java) D 21304 21306 21261 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 23288126 1826816 146 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/21306/statm: 446 146 111 14 0 91 0 [startup+10.0024 s] /proc/loadavg: 0.78 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1376056/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=11.18 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 47270 0 1 0 1098 20 0 0 25 0 13 0 23288126 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071605080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 42578 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.11 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 3142 0 0 0 10 1 0 0 16 0 13 0 23288130 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.11 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 3218 0 0 0 10 1 0 0 16 0 13 0 23288130 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713448 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713448 CPUtime=0.77 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2527 0 0 0 77 0 0 0 16 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713448 CPUtime=0.8 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 80 0 0 0 16 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 23288166 1754570752 42578 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (Kb) 1713448 [startup+20.0093 s] /proc/loadavg: 0.81 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1354680/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=21.22 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 53070 0 1 0 2099 23 0 0 25 0 13 0 23288126 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071383157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 47920 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.14 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 4653 0 0 0 13 1 0 0 16 0 13 0 23288130 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.13 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 5289 0 0 0 11 2 0 0 16 0 13 0 23288130 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713448 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713448 CPUtime=0.77 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2527 0 0 0 77 0 0 0 16 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713448 CPUtime=0.8 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 80 0 0 0 16 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 23288166 1754570752 47920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.22 Current children cumulated vsize (Kb) 1713448 [startup+30.0162 s] /proc/loadavg: 0.84 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1348216/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=31.24 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 54777 0 1 0 3100 24 0 0 25 0 13 0 23288126 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071605153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 49539 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.15 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 5495 0 0 0 14 1 0 0 16 0 13 0 23288130 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.15 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 6151 0 0 0 12 3 0 0 16 0 13 0 23288130 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713448 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713448 CPUtime=0.77 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2527 0 0 0 77 0 0 0 16 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713448 CPUtime=0.8 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 80 0 0 0 16 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 23288166 1754570752 49539 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.24 Current children cumulated vsize (Kb) 1713448 [startup+40.0232 s] /proc/loadavg: 0.86 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1345208/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=41.25 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 56210 0 1 0 4100 25 0 0 25 0 13 0 23288126 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 50248 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.16 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 6146 0 0 0 14 2 0 0 16 0 13 0 23288130 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.15 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 6932 0 0 0 12 3 0 0 16 0 13 0 23288130 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713448 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713448 CPUtime=0.77 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2527 0 0 0 77 0 0 0 16 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713448 CPUtime=0.8 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 80 0 0 0 16 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754570752 50248 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.25 Current children cumulated vsize (Kb) 1713448 [startup+50.0301 s] /proc/loadavg: 0.88 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1345464/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=51.25 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 56392 0 1 0 5100 25 0 0 25 0 13 0 23288126 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 50188 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.16 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 6224 0 0 0 14 2 0 0 16 0 13 0 23288130 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.15 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 7035 0 0 0 12 3 0 0 16 0 13 0 23288130 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713448 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713448 CPUtime=0.77 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2527 0 0 0 77 0 0 0 16 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713448 CPUtime=0.8 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 80 0 0 0 16 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754570752 50188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.25 Current children cumulated vsize (Kb) 1713448 [startup+60.037 s] /proc/loadavg: 0.90 0.93 0.90 2/76 21318 /proc/meminfo: memFree=1346488/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713448 CPUtime=61.25 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 56400 0 1 0 6100 25 0 0 25 0 13 0 23288126 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071607860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428362 49923 1907 14 0 415109 0 [pid=21306/tid=21307] ppid=21304 vsize=1713448 CPUtime=0.17 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 6225 0 0 0 15 2 0 0 16 0 13 0 23288130 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713448 CPUtime=0.16 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 7041 0 0 0 13 3 0 0 16 0 13 0 23288130 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 23288132 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713448 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754570752 49923 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (Kb) 1713408 [startup+1796.3 s] /proc/loadavg: 1.00 1.00 0.92 2/76 21991 /proc/meminfo: memFree=1311608/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713408 CPUtime=1797.15 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 77251 0 1 0 179671 44 0 0 25 0 13 0 23288126 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071587656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428352 58304 1907 14 0 415099 0 [pid=21306/tid=21307] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 16676 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 17374 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713408 CPUtime=0.02 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 23288132 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (Kb) 1713408 [startup+1797.31 s] /proc/loadavg: 1.00 1.00 0.92 2/76 21991 /proc/meminfo: memFree=1311608/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713408 CPUtime=1798.15 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 77251 0 1 0 179771 44 0 0 25 0 13 0 23288126 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071605184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428352 58304 1907 14 0 415099 0 [pid=21306/tid=21307] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 16676 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 17374 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713408 CPUtime=0.02 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 23288132 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (Kb) 1713408 [startup+1798.31 s] /proc/loadavg: 1.00 1.00 0.92 2/76 21991 /proc/meminfo: memFree=1311608/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713408 CPUtime=1799.16 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 77251 0 1 0 179872 44 0 0 25 0 13 0 23288126 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428352 58304 1907 14 0 415099 0 [pid=21306/tid=21307] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 16676 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 17374 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713408 CPUtime=0.02 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 23288132 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.16 Current children cumulated vsize (Kb) 1713408 [startup+1799.32 s] /proc/loadavg: 1.00 1.00 0.92 2/76 21991 /proc/meminfo: memFree=1311544/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713408 CPUtime=1800.16 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 77251 0 1 0 179972 44 0 0 25 0 13 0 23288126 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428352 58304 1907 14 0 415099 0 [pid=21306/tid=21307] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 16676 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 17374 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713408 CPUtime=0.02 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 23288132 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (Kb) 1713408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.32 s] /proc/loadavg: 1.00 1.00 0.92 2/76 21991 /proc/meminfo: memFree=1311544/2055920 swapFree=4192956/4192956 [pid=21306] ppid=21304 vsize=1713408 CPUtime=1800.17 /proc/21306/stat : 21306 (java) R 21304 21306 21261 0 -1 0 77251 0 1 0 179973 44 0 0 25 0 13 0 23288126 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071383066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21306/statm: 428352 58304 1907 14 0 415099 0 [pid=21306/tid=21307] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21307/stat : 21307 (java) S 21304 21306 21261 0 -1 64 16676 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21308] ppid=21304 vsize=1713408 CPUtime=0.38 /proc/21306/task/21308/stat : 21308 (java) S 21304 21306 21261 0 -1 64 17374 0 0 0 30 8 0 0 16 0 13 0 23288130 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21309] ppid=21304 vsize=1713408 CPUtime=0.02 /proc/21306/task/21309/stat : 21309 (java) S 21304 21306 21261 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 23288132 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21310] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21310/stat : 21310 (java) S 21304 21306 21261 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21311] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21311/stat : 21311 (java) S 21304 21306 21261 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23288133 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21312] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21312/stat : 21312 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21313] ppid=21304 vsize=1713408 CPUtime=0.01 /proc/21306/task/21313/stat : 21313 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21306/tid=21314] ppid=21304 vsize=1713408 CPUtime=0.82 /proc/21306/task/21314/stat : 21314 (java) S 21304 21306 21261 0 -1 64 2532 0 0 0 82 0 0 0 17 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21315] ppid=21304 vsize=1713408 CPUtime=0.81 /proc/21306/task/21315/stat : 21315 (java) S 21304 21306 21261 0 -1 64 1808 0 0 0 81 0 0 0 16 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21316] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21316/stat : 21316 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21317] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21317/stat : 21317 (java) S 21304 21306 21261 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23288140 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21306/tid=21318] ppid=21304 vsize=1713408 CPUtime=0 /proc/21306/task/21318/stat : 21318 (java) S 21304 21306 21261 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 23288166 1754529792 58304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (Kb) 1713408 Sending SIGTERM to -21306 Sleeping 2 seconds Child status: 143 Real time (s): 1799.4 CPU time (s): 1800.26 CPU user time (s): 1799.78 CPU system time (s): 0.483926 CPU usage (%): 100.048 Max. virtual memory (cumulated for all children) (Kb): 1713448
Begin job on node58 on Fri Jun 2 01:40:12 UTC 2006 FILE ID= 42084-1149212412 PBS_JOBID= 294298 BENCH NAME= ROOT/tmp/node58/42084-1149212412/instance-42084-1149212412.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/42084-1149212412/instance-42084-1149212412.opb 891366462 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-42084-1149212412 -o ROOT/results/node58/solver-42084-1149212412 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/42084-1149212412/instance-42084-1149212412.opb 891366462 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= a8a51c2e735c1a05850a59dcf05a69f7 RANDOM SEED= 891366462 /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.276 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.276 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: 1539392 kB Buffers: 25268 kB Cached: 414692 kB SwapCached: 0 kB Active: 68548 kB Inactive: 385932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539392 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 168 kB Writeback: 0 kB Mapped: 24916 kB Slab: 48084 kB Committed_AS: 98204 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Fri Jun 2 02:10:12 UTC 2006