Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.61 | 1782.41 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb |
MD5SUM | 92f66beef1a16468af1cdeb8f0308249 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 411.582 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.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-34.ELsmp 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.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node82/42107-1149214638/instance-42107-1149214638.opb 0.22 c reading problem ... 0.65 c ... done. Time 0.437 ms. 0.65 c #vars 231 0.65 c #constraints 2707 1782.32 c starts : 13 1782.32 c conflicts : 37357 1782.32 c decisions : 137654 1782.32 c propagations : 1072707 1782.32 c inspects : 564200973 1782.32 c learnt literals : 0 1782.32 c learnt binary clauses : 0 1782.32 c learnt ternary clauses : 9 1782.32 c learnt clauses : 37357 1782.32 c root simplifications : 0 1782.32 c removed literals (reason simplification) : 0 1782.32 c reason swapping (by a shorter reason) : 0 1782.32 c Calls to reduceDB : 0 1782.32 c speed (decisions/second) : 77.26143803689246 1782.32 c non guided choices 227 1782.32 s UNKNOWN 1782.32 c Total wall clock time (ms): 1782.104
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/node82/watcher-42107-1149214638 -o ROOT/results/node82/solver-42107-1149214638 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node82/42107-1149214638/instance-42107-1149214638.opb 165483144 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/68 11347 /proc/meminfo: memFree=1195320/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1508 CPUtime=0 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 90 0 0 0 0 0 0 0 19 0 1 0 178653086 1544192 70 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7681750 0 0 4096 0 0 0 0 17 1 0 0 /proc/11347/statm: 364 64 48 14 0 8 0 [startup+10.002 s] /proc/loadavg: 0.93 0.97 0.91 2/80 11359 /proc/meminfo: memFree=1004696/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=11.2 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 52115 0 1 0 1094 26 0 0 22 0 13 0 178653086 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071452453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 49440 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.18 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 4919 0 0 0 16 2 0 0 16 0 13 0 178653089 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.17 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 5263 0 0 0 15 2 0 0 16 0 13 0 178653089 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.75 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1258 0 0 0 75 0 0 0 17 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.73 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1175 0 0 0 73 0 0 0 16 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 49440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.2 Current children cumulated vsize (Kb) 1711680 [startup+20.009 s] /proc/loadavg: 0.94 0.97 0.91 2/80 11359 /proc/meminfo: memFree=998424/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=21.27 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 55163 0 1 0 2100 27 0 0 25 0 13 0 178653086 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071321817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 50962 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.24 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 6413 0 0 0 22 2 0 0 16 0 13 0 178653089 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.24 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 6803 0 0 0 22 2 0 0 16 0 13 0 178653089 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.75 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1258 0 0 0 75 0 0 0 17 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.73 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1175 0 0 0 73 0 0 0 16 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 50962 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.27 Current children cumulated vsize (Kb) 1711680 [startup+30.0159 s] /proc/loadavg: 0.95 0.97 0.91 2/80 11359 /proc/meminfo: memFree=999128/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=31.35 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 57116 0 1 0 3107 28 0 0 19 0 13 0 178653086 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 50800 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.32 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 7442 0 0 0 29 3 0 0 16 0 13 0 178653089 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.31 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 7717 0 0 0 28 3 0 0 16 0 13 0 178653089 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.75 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1258 0 0 0 75 0 0 0 17 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.74 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1175 0 0 0 74 0 0 0 17 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 50800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.35 Current children cumulated vsize (Kb) 1711680 [startup+40.0228 s] /proc/loadavg: 0.96 0.97 0.91 2/80 11359 /proc/meminfo: memFree=1000280/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=41.41 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 58706 0 1 0 4112 29 0 0 25 0 13 0 178653086 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071462498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 50525 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.38 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 8315 0 0 0 35 3 0 0 16 0 13 0 178653089 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.37 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 8426 0 0 0 34 3 0 0 16 0 13 0 178653089 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.75 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1258 0 0 0 75 0 0 0 17 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.74 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1175 0 0 0 74 0 0 0 17 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.41 Current children cumulated vsize (Kb) 1711680 [startup+50.0297 s] /proc/loadavg: 0.96 0.97 0.91 2/80 11359 /proc/meminfo: memFree=1001752/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=51.48 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 59996 0 1 0 5119 29 0 0 25 0 13 0 178653086 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071525346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 50139 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.44 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 8879 0 0 0 41 3 0 0 17 0 13 0 178653089 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.43 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 9144 0 0 0 40 3 0 0 16 0 13 0 178653089 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.01 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 178653092 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.76 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1258 0 0 0 76 0 0 0 17 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.75 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1175 0 0 0 75 0 0 0 16 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 50139 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.48 Current children cumulated vsize (Kb) 1711680 [startup+60.0366 s] /proc/loadavg: 0.97 0.97 0.91 2/80 11359 /proc/meminfo: memFree=1001496/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=61.56 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 61409 0 1 0 6125 31 0 0 25 0 13 0 178653086 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071444822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 50217 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=0.5 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 9589 0 0 0 46 4 0 0 16 0 13 0 178653089 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=0.49 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 9838 0 0 0 46 3 0 0 17 0 13 0 178653089 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.02 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 31 0 0 0 1 1 0 0 15 0 13 0 178653092 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 50217 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 1711680 [startup+1779.3 s] /proc/loadavg: 1.02 1.01 0.93 2/80 11359 /proc/meminfo: memFree=684120/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=1797.46 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 201663 0 1 0 179643 103 0 0 25 0 13 0 178653086 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 129278 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=17.84 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 52400 0 0 0 1758 26 0 0 17 0 13 0 178653089 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=17.82 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 52264 0 0 0 1759 23 0 0 16 0 13 0 178653089 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.25 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 182 0 0 0 15 10 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 1711680 [startup+1780.3 s] /proc/loadavg: 1.02 1.01 0.93 2/80 11359 /proc/meminfo: memFree=684120/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=1798.47 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 201663 0 1 0 179744 103 0 0 25 0 13 0 178653086 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071525352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 129278 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=17.84 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 52400 0 0 0 1758 26 0 0 17 0 13 0 178653089 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=17.82 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 52264 0 0 0 1759 23 0 0 16 0 13 0 178653089 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.25 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 182 0 0 0 15 10 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129278 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 1711680 [startup+1781.31 s] /proc/loadavg: 1.02 1.01 0.93 2/80 11359 /proc/meminfo: memFree=683800/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=1799.51 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 201738 0 1 0 179848 103 0 0 25 0 13 0 178653086 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 129346 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=17.88 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 52457 0 0 0 1762 26 0 0 17 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=17.85 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 52281 0 0 0 1762 23 0 0 16 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.25 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 182 0 0 0 15 10 0 0 15 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 1711680 [startup+1782.32 s] /proc/loadavg: 1.02 1.01 0.93 2/80 11359 /proc/meminfo: memFree=683800/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=1800.51 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 201738 0 1 0 179948 103 0 0 25 0 13 0 178653086 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 129346 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=17.88 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 52457 0 0 0 1762 26 0 0 17 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=17.85 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 52281 0 0 0 1762 23 0 0 16 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.25 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 182 0 0 0 15 10 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 1711680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.32 s] /proc/loadavg: 1.02 1.01 0.93 2/80 11359 /proc/meminfo: memFree=683800/2055892 swapFree=4087504/4096564 [pid=11347] ppid=11345 vsize=1711680 CPUtime=1800.52 /proc/11347/stat : 11347 (java) R 11345 11347 11302 0 -1 0 201738 0 1 0 179949 103 0 0 25 0 13 0 178653086 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071444914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11347/statm: 427920 129346 1911 14 0 414666 0 [pid=11347/tid=11348] ppid=11345 vsize=1711680 CPUtime=17.88 /proc/11347/task/11348/stat : 11348 (java) S 11345 11347 11302 0 -1 64 52457 0 0 0 1762 26 0 0 17 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11349] ppid=11345 vsize=1711680 CPUtime=17.85 /proc/11347/task/11349/stat : 11349 (java) S 11345 11347 11302 0 -1 64 52281 0 0 0 1762 23 0 0 16 0 13 0 178653089 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11350] ppid=11345 vsize=1711680 CPUtime=0.25 /proc/11347/task/11350/stat : 11350 (java) S 11345 11347 11302 0 -1 64 182 0 0 0 15 10 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11351] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11351/stat : 11351 (java) S 11345 11347 11302 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11352] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11352/stat : 11352 (java) S 11345 11347 11302 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 178653092 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11353] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11353/stat : 11353 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11354] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11354/stat : 11354 (java) S 11345 11347 11302 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11355] ppid=11345 vsize=1711680 CPUtime=0.8 /proc/11347/task/11355/stat : 11355 (java) S 11345 11347 11302 0 -1 64 1259 0 0 0 80 0 0 0 16 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11356] ppid=11345 vsize=1711680 CPUtime=0.83 /proc/11347/task/11356/stat : 11356 (java) S 11345 11347 11302 0 -1 64 1180 0 0 0 83 0 0 0 17 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11357] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11357/stat : 11357 (java) S 11345 11347 11302 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11347/tid=11358] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11358/stat : 11358 (java) S 11345 11347 11302 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 178653096 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11347/tid=11359] ppid=11345 vsize=1711680 CPUtime=0 /proc/11347/task/11359/stat : 11359 (java) S 11345 11347 11302 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 178653152 1752760320 129346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 1711680 Sending SIGTERM to -11347 Sleeping 2 seconds Child status: 143 Real time (s): 1782.41 CPU time (s): 1800.61 CPU user time (s): 1799.5 CPU system time (s): 1.11283 CPU usage (%): 101.021 Max. virtual memory (cumulated for all children) (Kb): 1711680
Begin job on node82 on Fri Jun 2 02:17:18 UTC 2006 FILE ID= 42107-1149214638 PBS_JOBID= 294596 BENCH NAME= ROOT/tmp/node82/42107-1149214638/instance-42107-1149214638.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node82/42107-1149214638/instance-42107-1149214638.opb 165483144 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-42107-1149214638 -o ROOT/results/node82/solver-42107-1149214638 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node82/42107-1149214638/instance-42107-1149214638.opb 165483144 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 92f66beef1a16468af1cdeb8f0308249 RANDOM SEED= 165483144 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1195528 kB Buffers: 44104 kB Cached: 738788 kB SwapCached: 2848 kB Active: 117272 kB Inactive: 674344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1195528 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14532 kB Slab: 55088 kB Committed_AS: 206120 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 02:47:01 UTC 2006