Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.51 | 1780.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb |
MD5SUM | 703150fc56665afb9da0b20e49208c25 |
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 | 41.5417 |
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 | 723 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.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/node66/42170-1149221749/instance-42170-1149221749.opb 0.22 c reading problem ... 0.69 c ... done. Time 0.468 ms. 0.69 c #vars 231 0.69 c #constraints 2707 1780.44 c starts : 14 1780.44 c conflicts : 39024 1780.44 c decisions : 144433 1780.44 c propagations : 1142881 1780.44 c inspects : 574859621 1780.44 c learnt literals : 0 1780.44 c learnt binary clauses : 0 1780.44 c learnt ternary clauses : 2 1780.44 c learnt clauses : 39024 1780.44 c root simplifications : 0 1780.44 c removed literals (reason simplification) : 0 1780.44 c reason swapping (by a shorter reason) : 0 1780.44 c Calls to reduceDB : 0 1780.44 c speed (decisions/second) : 81.15325921081316 1780.44 c non guided choices 262 1780.44 s UNKNOWN 1780.44 c Total wall clock time (ms): 1780.226
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/node66/watcher-42170-1149221749 -o ROOT/results/node66/solver-42170-1149221749 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node66/42170-1149221749/instance-42170-1149221749.opb 786959307 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.81 0.93 0.90 4/64 9714 /proc/meminfo: memFree=1495112/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1784 CPUtime=0 /proc/9714/stat : 9714 (java) D 9712 9714 9669 0 -1 0 170 0 0 0 0 0 0 0 20 0 1 0 187843032 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/9714/statm: 446 141 106 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 0.84 0.94 0.90 2/76 9726 /proc/meminfo: memFree=1304824/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=11.34 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 53386 0 1 0 1112 22 0 0 25 0 13 0 187843032 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 49348 1910 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.15 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 4486 0 0 0 14 1 0 0 15 0 13 0 187843035 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.16 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 4118 0 0 0 15 1 0 0 16 0 13 0 187843035 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 187843038 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.84 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2219 0 0 0 83 1 0 0 17 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.81 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1537 0 0 0 81 0 0 0 17 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 49348 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.34 Current children cumulated vsize (Kb) 1712484 [startup+20.0097 s] /proc/loadavg: 0.86 0.94 0.91 2/76 9726 /proc/meminfo: memFree=1295928/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=21.53 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 56992 0 1 0 2128 25 0 0 25 0 13 0 187843032 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 51528 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 6322 0 0 0 22 2 0 0 16 0 13 0 187843035 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.25 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 5866 0 0 0 23 2 0 0 16 0 13 0 187843035 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.86 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2221 0 0 0 85 1 0 0 17 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.88 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 88 0 0 0 17 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 51528 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.53 Current children cumulated vsize (Kb) 1712484 [startup+30.017 s] /proc/loadavg: 0.88 0.94 0.91 2/76 9726 /proc/meminfo: memFree=1298104/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=31.61 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 59072 0 1 0 3135 26 0 0 25 0 13 0 187843032 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071555559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 50967 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.33 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 7429 0 0 0 30 3 0 0 16 0 13 0 187843035 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.34 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 6828 0 0 0 31 3 0 0 16 0 13 0 187843035 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.86 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2221 0 0 0 85 1 0 0 16 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.89 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 89 0 0 0 17 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 50967 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.61 Current children cumulated vsize (Kb) 1712484 [startup+40.0242 s] /proc/loadavg: 0.90 0.94 0.91 2/76 9726 /proc/meminfo: memFree=1299384/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=41.67 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 60388 0 1 0 4141 26 0 0 25 0 13 0 187843032 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 50646 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.39 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 8178 0 0 0 36 3 0 0 16 0 13 0 187843035 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.39 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 7388 0 0 0 36 3 0 0 17 0 13 0 187843035 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.86 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2221 0 0 0 85 1 0 0 16 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.89 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 89 0 0 0 17 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 50646 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.67 Current children cumulated vsize (Kb) 1712484 [startup+50.0325 s] /proc/loadavg: 0.92 0.94 0.91 2/76 9726 /proc/meminfo: memFree=1300536/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=51.8 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 61688 0 1 0 5153 27 0 0 25 0 13 0 187843032 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 50369 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.45 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 8830 0 0 0 42 3 0 0 16 0 13 0 187843035 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.45 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 8026 0 0 0 42 3 0 0 16 0 13 0 187843035 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.01 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 187843038 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.87 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2222 0 0 0 86 1 0 0 16 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 95 0 0 0 16 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 50369 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.8 Current children cumulated vsize (Kb) 1712484 [startup+60.0397 s] /proc/loadavg: 0.93 0.94 0.91 2/76 9726 /proc/meminfo: memFree=1299256/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=61.89 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 63203 0 1 0 6161 28 0 0 25 0 13 0 187843032 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 50681 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=0.52 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 9665 0 0 0 49 3 0 0 17 0 13 0 187843035 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=0.52 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 8697 0 0 0 49 3 0 0 16 0 13 0 187843035 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.01 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 187843038 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 50681 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (Kb) 1712484 [startup+1777.38 s] /proc/loadavg: 1.08 1.02 0.94 2/76 9728 /proc/meminfo: memFree=984376/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=1797.25 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 189642 0 1 0 179630 95 0 0 25 0 13 0 187843032 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 129066 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=19.4 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 52661 0 0 0 1917 23 0 0 17 0 13 0 187843035 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=19.4 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 48988 0 0 0 1917 23 0 0 16 0 13 0 187843035 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 151 0 0 0 13 11 0 0 16 0 13 0 187843038 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.25 Current children cumulated vsize (Kb) 1712484 [startup+1778.39 s] /proc/loadavg: 1.07 1.02 0.94 2/76 9728 /proc/meminfo: memFree=984056/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=1798.29 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 189735 0 1 0 179734 95 0 0 18 0 13 0 187843032 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 129153 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 52703 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 49038 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 151 0 0 0 13 11 0 0 15 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.29 Current children cumulated vsize (Kb) 1712484 [startup+1779.39 s] /proc/loadavg: 1.07 1.02 0.94 2/76 9728 /proc/meminfo: memFree=984056/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=1799.3 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 189735 0 1 0 179835 95 0 0 25 0 13 0 187843032 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 129153 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 52703 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 49038 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 151 0 0 0 13 11 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.3 Current children cumulated vsize (Kb) 1712484 [startup+1780.4 s] /proc/loadavg: 1.07 1.02 0.94 2/76 9728 /proc/meminfo: memFree=984056/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=1800.3 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 189735 0 1 0 179935 95 0 0 25 0 13 0 187843032 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 129153 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 52703 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 49038 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 151 0 0 0 13 11 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (Kb) 1712484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.4 s] /proc/loadavg: 1.07 1.02 0.94 2/76 9728 /proc/meminfo: memFree=984056/2055920 swapFree=4182232/4192956 [pid=9714] ppid=9712 vsize=1712484 CPUtime=1800.31 /proc/9714/stat : 9714 (java) R 9712 9714 9669 0 -1 0 189735 0 1 0 179936 95 0 0 25 0 13 0 187843032 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9714/statm: 428121 129153 1911 14 0 414868 0 [pid=9714/tid=9715] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9715/stat : 9715 (java) S 9712 9714 9669 0 -1 64 52703 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9716] ppid=9712 vsize=1712484 CPUtime=19.44 /proc/9714/task/9716/stat : 9716 (java) S 9712 9714 9669 0 -1 64 49038 0 0 0 1921 23 0 0 17 0 13 0 187843035 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9717] ppid=9712 vsize=1712484 CPUtime=0.24 /proc/9714/task/9717/stat : 9717 (java) S 9712 9714 9669 0 -1 64 151 0 0 0 13 11 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9718] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9718/stat : 9718 (java) S 9712 9714 9669 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9719] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9719/stat : 9719 (java) S 9712 9714 9669 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187843038 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9720] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9720/stat : 9720 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9721] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9721/stat : 9721 (java) S 9712 9714 9669 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9722] ppid=9712 vsize=1712484 CPUtime=0.95 /proc/9714/task/9722/stat : 9722 (java) S 9712 9714 9669 0 -1 64 2227 0 0 0 94 1 0 0 17 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9723] ppid=9712 vsize=1712484 CPUtime=0.96 /proc/9714/task/9723/stat : 9723 (java) S 9712 9714 9669 0 -1 64 1543 0 0 0 96 0 0 0 16 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9724] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9724/stat : 9724 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9714/tid=9725] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9725/stat : 9725 (java) S 9712 9714 9669 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187843042 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9714/tid=9726] ppid=9712 vsize=1712484 CPUtime=0 /proc/9714/task/9726/stat : 9726 (java) S 9712 9714 9669 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187843101 1753583616 129153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (Kb) 1712484 Sending SIGTERM to -9714 Sleeping 2 seconds Child status: 143 Real time (s): 1780.57 CPU time (s): 1800.51 CPU user time (s): 1799.48 CPU system time (s): 1.03584 CPU usage (%): 101.12 Max. virtual memory (cumulated for all children) (Kb): 1712484
Begin job on node66 on Fri Jun 2 04:15:49 UTC 2006 FILE ID= 42170-1149221749 PBS_JOBID= 295425 BENCH NAME= ROOT/tmp/node66/42170-1149221749/instance-42170-1149221749.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node66/42170-1149221749/instance-42170-1149221749.opb 786959307 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-42170-1149221749 -o ROOT/results/node66/solver-42170-1149221749 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node66/42170-1149221749/instance-42170-1149221749.opb 786959307 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 703150fc56665afb9da0b20e49208c25 RANDOM SEED= 786959307 /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.225 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.225 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: 1495320 kB Buffers: 34944 kB Cached: 452596 kB SwapCached: 2536 kB Active: 107192 kB Inactive: 389192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1495320 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15184 kB Slab: 50240 kB Committed_AS: 206880 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Fri Jun 2 04:45:30 UTC 2006