Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.77 | 1786.49 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc06.opb |
MD5SUM | 0662414c0fee45075e37f5c5e2481506 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 51018 |
Total number of constraints | 820 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 820 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 13471 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 211324891222433894400 |
Number of bits of the biggest number in a constraint | 68 |
Biggest sum of numbers in a constraint | 23205541583449342163452 |
Number of bits of the biggest sum of numbers | 75 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node52/44724-1149313073/instance-44724-1149313073.opb 0.21 c reading problem ... 4.26 c ... done. Time 4.051 ms. 4.26 c #vars 51018 4.26 c #constraints 1070 1786.35 c starts : 4 1786.35 c conflicts : 665 1786.35 c decisions : 111808 1786.35 c propagations : 185740 1786.35 c inspects : 2849620 1786.35 c learnt literals : 0 1786.35 c learnt binary clauses : 0 1786.35 c learnt ternary clauses : 0 1786.35 c learnt clauses : 664 1786.35 c root simplifications : 0 1786.35 c removed literals (reason simplification) : 0 1786.35 c reason swapping (by a shorter reason) : 0 1786.35 c Calls to reduceDB : 0 1786.35 c speed (decisions/second) : 62.74178831604784 1786.35 c non guided choices 52 1786.35 s UNKNOWN 1786.35 c Total wall clock time (ms): 1786.145
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/node52/watcher-44724-1149313073 -o ROOT/results/node52/solver-44724-1149313073 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/44724-1149313073/instance-44724-1149313073.opb 492823012 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.02 1.00 2/64 1186 /proc/meminfo: memFree=1640196/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=172 CPUtime=0 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 201 0 0 0 0 0 0 0 19 0 1 0 196975080 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 0 0 0 /proc/1186/statm: 43 24 18 14 0 3 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1431732/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713772 CPUtime=11.76 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 56564 0 1 0 1150 26 0 0 19 0 13 0 196975080 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428443 53879 1906 14 0 415190 0 [pid=1186/tid=1187] ppid=1184 vsize=1713772 CPUtime=0.61 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 10516 0 0 0 56 5 0 0 16 0 13 0 196975083 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713772 CPUtime=0.59 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 6552 0 0 0 57 2 0 0 17 0 13 0 196975083 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 15 0 0 0 0 0 0 0 17 0 13 0 196975086 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713772 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713772 CPUtime=0.72 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 651 0 0 0 72 0 0 0 16 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713772 CPUtime=0.82 /proc/1186/task/1195/stat : 1195 (java) R 1184 1186 1138 0 -1 64 2264 0 0 0 81 1 0 0 17 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151722833 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713772 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 196975527 1754902528 53879 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.76 Current children cumulated vsize (Kb) 1713772 [startup+20.0101 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1415988/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=22.06 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 61687 0 1 0 2176 30 0 0 21 0 13 0 196975080 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 57897 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=0.73 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 13204 0 0 0 67 6 0 0 15 0 13 0 196975083 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=0.72 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 8959 0 0 0 68 4 0 0 16 0 13 0 196975083 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.82 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 82 0 0 0 16 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=0.92 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2272 0 0 0 91 1 0 0 16 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 196975527 1754869760 57897 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.06 Current children cumulated vsize (Kb) 1713740 [startup+30.0176 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1454132/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=32.08 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 61787 0 1 0 3177 31 0 0 25 0 13 0 196975080 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071445650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 48324 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=0.75 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 13258 0 0 0 69 6 0 0 15 0 13 0 196975083 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=0.74 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 8987 0 0 0 70 4 0 0 17 0 13 0 196975083 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 17 0 0 0 0 0 0 0 17 0 13 0 196975086 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.82 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 82 0 0 0 16 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=0.92 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2272 0 0 0 91 1 0 0 16 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 196975527 1754869760 48324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.08 Current children cumulated vsize (Kb) 1713740 [startup+40.0241 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1474100/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=42.1 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 61901 0 1 0 4178 32 0 0 25 0 13 0 196975080 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 43349 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=0.78 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 13315 0 0 0 72 6 0 0 15 0 13 0 196975083 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=0.76 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 9026 0 0 0 72 4 0 0 16 0 13 0 196975083 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.02 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 17 0 0 0 1 1 0 0 17 0 13 0 196975086 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.82 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 82 0 0 0 16 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=0.92 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2272 0 0 0 91 1 0 0 16 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 43349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.1 Current children cumulated vsize (Kb) 1713740 [startup+50.0306 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1455156/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=52.23 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 67329 0 1 0 5188 35 0 0 25 0 13 0 196975080 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 48134 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=0.85 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 14114 0 0 0 78 7 0 0 16 0 13 0 196975083 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=0.82 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 9702 0 0 0 78 4 0 0 16 0 13 0 196975083 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.02 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 40 0 0 0 1 1 0 0 15 0 13 0 196975086 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.82 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 82 0 0 0 16 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=0.98 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2277 0 0 0 97 1 0 0 17 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 48134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.23 Current children cumulated vsize (Kb) 1713740 [startup+60.0371 s] /proc/loadavg: 1.00 1.02 1.00 2/76 1198 /proc/meminfo: memFree=1454644/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=62.27 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 67680 0 1 0 6190 37 0 0 25 0 13 0 196975080 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071445783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 48207 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=0.89 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 14281 0 0 0 81 8 0 0 16 0 13 0 196975083 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=0.86 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 9863 0 0 0 81 5 0 0 15 0 13 0 196975083 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.03 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 40 0 0 0 1 2 0 0 16 0 13 0 196975086 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 48207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 1713740 [startup+1783.33 s] /proc/loadavg: 1.02 1.02 1.00 2/76 1395 /proc/meminfo: memFree=1024948/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=1797.58 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 316412 0 1 0 179456 302 0 0 18 0 13 0 196975080 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 155255 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=14.07 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 78229 0 0 0 1307 100 0 0 16 0 13 0 196975083 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=14.09 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 75043 0 0 0 1322 87 0 0 16 0 13 0 196975083 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.63 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 447 0 0 0 31 32 0 0 15 0 13 0 196975086 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1713740 [startup+1784.33 s] /proc/loadavg: 1.02 1.02 1.00 2/76 1395 /proc/meminfo: memFree=1025076/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=1798.59 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 316413 0 1 0 179557 302 0 0 21 0 13 0 196975080 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 155191 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=14.08 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 78229 0 0 0 1308 100 0 0 16 0 13 0 196975083 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=14.09 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 75043 0 0 0 1322 87 0 0 16 0 13 0 196975083 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.63 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 447 0 0 0 31 32 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1713740 [startup+1785.34 s] /proc/loadavg: 1.02 1.02 1.00 2/76 1395 /proc/meminfo: memFree=1025076/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=1799.6 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 316414 0 1 0 179658 302 0 0 22 0 13 0 196975080 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071613491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 155191 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=14.09 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 78229 0 0 0 1309 100 0 0 16 0 13 0 196975083 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=14.1 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 75043 0 0 0 1323 87 0 0 16 0 13 0 196975083 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.63 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 447 0 0 0 31 32 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1713740 [startup+1786.34 s] /proc/loadavg: 1.01 1.01 1.00 2/76 1395 /proc/meminfo: memFree=1025332/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=1800.62 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 316415 0 1 0 179760 302 0 0 23 0 13 0 196975080 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 155127 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=14.1 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 78229 0 0 0 1310 100 0 0 16 0 13 0 196975083 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=14.11 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 75043 0 0 0 1324 87 0 0 16 0 13 0 196975083 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.63 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 447 0 0 0 31 32 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1713740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.35 s] /proc/loadavg: 1.01 1.01 1.00 2/76 1395 /proc/meminfo: memFree=1025332/2055920 swapFree=4181360/4192956 [pid=1186] ppid=1184 vsize=1713740 CPUtime=1800.62 /proc/1186/stat : 1186 (java) R 1184 1186 1138 0 -1 0 316415 0 1 0 179760 302 0 0 23 0 13 0 196975080 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071623429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1186/statm: 428435 155127 1907 14 0 415182 0 [pid=1186/tid=1187] ppid=1184 vsize=1713740 CPUtime=14.1 /proc/1186/task/1187/stat : 1187 (java) S 1184 1186 1138 0 -1 64 78229 0 0 0 1310 100 0 0 16 0 13 0 196975083 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1188] ppid=1184 vsize=1713740 CPUtime=14.11 /proc/1186/task/1188/stat : 1188 (java) S 1184 1186 1138 0 -1 64 75043 0 0 0 1324 87 0 0 16 0 13 0 196975083 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1189] ppid=1184 vsize=1713740 CPUtime=0.63 /proc/1186/task/1189/stat : 1189 (java) S 1184 1186 1138 0 -1 64 447 0 0 0 31 32 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1190] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1190/stat : 1190 (java) S 1184 1186 1138 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1191] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1191/stat : 1191 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975086 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1192] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1192/stat : 1192 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1193] ppid=1184 vsize=1713740 CPUtime=0.01 /proc/1186/task/1193/stat : 1193 (java) S 1184 1186 1138 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1194] ppid=1184 vsize=1713740 CPUtime=0.83 /proc/1186/task/1194/stat : 1194 (java) S 1184 1186 1138 0 -1 64 656 0 0 0 83 0 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1195] ppid=1184 vsize=1713740 CPUtime=1.02 /proc/1186/task/1195/stat : 1195 (java) S 1184 1186 1138 0 -1 64 2279 0 0 0 101 1 0 0 17 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1196] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1196/stat : 1196 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1186/tid=1197] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1197/stat : 1197 (java) S 1184 1186 1138 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196975090 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1186/tid=1198] ppid=1184 vsize=1713740 CPUtime=0 /proc/1186/task/1198/stat : 1198 (java) S 1184 1186 1138 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196975527 1754869760 155127 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1713740 Sending SIGTERM to -1186 Sleeping 2 seconds Child status: 143 Real time (s): 1786.49 CPU time (s): 1800.77 CPU user time (s): 1797.65 CPU system time (s): 3.11653 CPU usage (%): 100.799 Max. virtual memory (cumulated for all children) (Kb): 1713772
Begin job on node52 on Sat Jun 3 05:37:53 UTC 2006 FILE ID= 44724-1149313073 PBS_JOBID= 308168 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/44724-1149313073/instance-44724-1149313073.opb 492823012 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-44724-1149313073 -o ROOT/results/node52/solver-44724-1149313073 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/44724-1149313073/instance-44724-1149313073.opb 492823012 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 0662414c0fee45075e37f5c5e2481506 RANDOM SEED= 492823012 /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.263 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.263 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: 1640468 kB Buffers: 24956 kB Cached: 327788 kB SwapCached: 3508 kB Active: 54880 kB Inactive: 306796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1640468 kB SwapTotal: 4192956 kB SwapFree: 4181360 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14916 kB Slab: 39764 kB Committed_AS: 344304 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Sat Jun 3 06:07:40 UTC 2006