Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.76 | 1783.33 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb |
MD5SUM | 50ead5886965da8908c50d598d2024b3 |
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 | 39901 |
Total number of constraints | 118441 |
Number of constraints which are clauses | 118440 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 39480 |
Number of terms in the objective function | 141 |
Biggest coefficient in the objective function | 1393796574908163946345982392040522594123776 |
Number of bits for the biggest coefficient in the objective function | 141 |
Sum of the numbers in the objective function | 2787593149816327892691964784081045188247551 |
Number of bits of the sum of numbers in the objective function | 141 |
Biggest number in a constraint | 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 |
Number of bits of the biggest number in a constraint | 420 |
Biggest sum of numbers in a constraint | 5415370496329716522614090203404460358274290488264820097939793578523366423469831924776142526293328950606202579825495873831248858 |
Number of bits of the biggest sum of numbers | 421 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node29/50803-1154124351/instance-50803-1154124351.opb 0.21 c reading problem ... 97.22 c ... done. Time 97.012 ms. 97.22 c #vars 39901 97.22 c #constraints 118442 1783.26 c starts : 1 1783.26 c conflicts : 35 1783.26 c decisions : 202 1783.26 c propagations : 44592 1783.26 c inspects : 348333 1783.26 c learnt literals : 0 1783.26 c learnt binary clauses : 0 1783.26 c learnt ternary clauses : 0 1783.26 c learnt clauses : 34 1783.26 c root simplifications : 0 1783.26 c removed literals (reason simplification) : 0 1783.26 c reason swapping (by a shorter reason) : 0 1783.26 c Calls to reduceDB : 0 1783.26 c speed (decisions/second) : 0.1198133995272709 1783.26 c non guided choices 2 1783.26 s UNKNOWN 1783.26 c Total wall clock time (ms): 1783.055
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node29/watcher-50803-1154124351 -o ROOT/results/node29/solver-50803-1154124351 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node29/50803-1154124351/instance-50803-1154124351.opb 538861978 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.99 3/64 11006 /proc/meminfo: memFree=873736/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1784 CPUtime=0 /proc/11006/stat : 11006 (java) D 11004 11006 10957 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 159295040 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/11006/statm: 446 137 102 14 0 91 0 [startup+10.0018 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=711672/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=10.52 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 43848 0 1 0 1029 23 0 0 21 0 12 0 159295040 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071433738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 42253 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.04 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 1227 0 0 0 4 0 0 0 16 0 12 0 159295044 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.04 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 1283 0 0 0 4 0 0 0 16 0 12 0 159295044 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 159295046 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 568 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159295050 1750691840 42253 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.52 Current children cumulated vsize (Kb) 1709660 [startup+20.0092 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=717624/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=20.58 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 44385 0 1 0 2033 25 0 0 18 0 12 0 159295040 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071347519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 40828 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.07 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 1446 0 0 0 7 0 0 0 15 0 12 0 159295044 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.07 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 1569 0 0 0 7 0 0 0 16 0 12 0 159295044 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 159295046 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.32 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 569 0 0 0 32 0 0 0 16 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159295050 1750691840 40828 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.58 Current children cumulated vsize (Kb) 1709660 [startup+30.0166 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=717944/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=30.59 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 44864 0 1 0 3033 26 0 0 17 0 12 0 159295040 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071433727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 40749 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.11 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 1628 0 0 0 11 0 0 0 15 0 12 0 159295044 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.12 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 1829 0 0 0 11 1 0 0 16 0 12 0 159295044 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0.02 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 1 1 0 0 16 0 12 0 159295046 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.32 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 569 0 0 0 32 0 0 0 16 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159295050 1750691840 40749 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.59 Current children cumulated vsize (Kb) 1709660 [startup+40.0231 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=717496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=40.64 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 45427 0 1 0 4037 27 0 0 18 0 12 0 159295040 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071433499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 40894 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.16 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 1890 0 0 0 15 1 0 0 16 0 12 0 159295044 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.17 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 2091 0 0 0 16 1 0 0 15 0 12 0 159295044 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0.02 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 1 1 0 0 15 0 12 0 159295046 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.32 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 569 0 0 0 32 0 0 0 16 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159295050 1750691840 40894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.64 Current children cumulated vsize (Kb) 1709660 [startup+50.0305 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=716472/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=50.68 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 45854 0 1 0 5040 28 0 0 25 0 12 0 159295040 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071433491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 41192 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.22 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 2071 0 0 0 21 1 0 0 17 0 12 0 159295044 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.23 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 2294 0 0 0 22 1 0 0 16 0 12 0 159295044 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0.03 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 2 1 0 0 16 0 12 0 159295046 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.32 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 569 0 0 0 32 0 0 0 16 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159295050 1750691840 41192 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (Kb) 1709660 [startup+60.0369 s] /proc/loadavg: 0.99 1.00 0.99 2/75 11017 /proc/meminfo: memFree=714936/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1709660 CPUtime=60.75 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 46278 0 1 0 6046 29 0 0 18 0 12 0 159295040 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 427415 41564 1873 14 0 414162 0 [pid=11006/tid=11007] ppid=11004 vsize=1709660 CPUtime=0.28 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 2270 0 0 0 27 1 0 0 16 0 12 0 159295044 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1709660 CPUtime=0.28 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 2477 0 0 0 27 1 0 0 15 0 12 0 159295044 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1709660 CPUtime=0.03 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 28 0 0 0 2 1 0 0 16 0 12 0 159295046 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 159295047 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159295047 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159295050 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159295050 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1709660 CPUtime=0.32 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 569 0 0 0 32 0 0 0 16 0 12 0 159295050 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1709660 CPUtime=0.31 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 159295050 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1709660 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 159295050 1750691840 41564 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1709660 CPUtime=0 ################ # More data... # ################ /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 1719684 [startup+1780.22 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11018 /proc/meminfo: memFree=504496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1719684 CPUtime=1797.61 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 143945 0 1 0 179463 298 0 0 19 0 13 0 159295040 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071723799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 429921 93820 1911 14 0 416668 0 [pid=11006/tid=11007] ppid=11004 vsize=1719684 CPUtime=13.93 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 29744 0 0 0 1287 106 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1719684 CPUtime=13.97 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 29961 0 0 0 1286 111 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1719684 CPUtime=0.62 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 114 0 0 0 36 26 0 0 15 0 13 0 159295046 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 1719684 [startup+1781.23 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11018 /proc/meminfo: memFree=504496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1719684 CPUtime=1798.63 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 143947 0 1 0 179564 299 0 0 19 0 13 0 159295040 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 429921 93820 1911 14 0 416668 0 [pid=11006/tid=11007] ppid=11004 vsize=1719684 CPUtime=13.94 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 29744 0 0 0 1288 106 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1719684 CPUtime=13.98 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 29961 0 0 0 1287 111 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1719684 CPUtime=0.62 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 114 0 0 0 36 26 0 0 15 0 13 0 159295046 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 1719684 [startup+1782.23 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11018 /proc/meminfo: memFree=504496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1719684 CPUtime=1799.64 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 143949 0 1 0 179665 299 0 0 24 0 13 0 159295040 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 429921 93820 1911 14 0 416668 0 [pid=11006/tid=11007] ppid=11004 vsize=1719684 CPUtime=13.95 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 29744 0 0 0 1289 106 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1719684 CPUtime=13.99 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 29961 0 0 0 1288 111 0 0 15 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1719684 CPUtime=0.62 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 114 0 0 0 36 26 0 0 16 0 13 0 159295046 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 1719684 [startup+1783.24 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11018 /proc/meminfo: memFree=504496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1719684 CPUtime=1800.66 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 143951 0 1 0 179767 299 0 0 24 0 13 0 159295040 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071410256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 429921 93820 1911 14 0 416668 0 [pid=11006/tid=11007] ppid=11004 vsize=1719684 CPUtime=13.96 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 29744 0 0 0 1289 107 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1719684 CPUtime=14 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 29961 0 0 0 1289 111 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1719684 CPUtime=0.62 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 114 0 0 0 36 26 0 0 16 0 13 0 159295046 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 1719684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.25 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11018 /proc/meminfo: memFree=504496/2055920 swapFree=4170624/4192956 [pid=11006] ppid=11004 vsize=1719684 CPUtime=1800.66 /proc/11006/stat : 11006 (java) R 11004 11006 10957 0 -1 0 143951 0 1 0 179767 299 0 0 24 0 13 0 159295040 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11006/statm: 429921 93820 1911 14 0 416668 0 [pid=11006/tid=11007] ppid=11004 vsize=1719684 CPUtime=13.96 /proc/11006/task/11007/stat : 11007 (java) S 11004 11006 10957 0 -1 64 29744 0 0 0 1289 107 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11008] ppid=11004 vsize=1719684 CPUtime=14 /proc/11006/task/11008/stat : 11008 (java) S 11004 11006 10957 0 -1 64 29961 0 0 0 1289 111 0 0 16 0 13 0 159295044 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11009] ppid=11004 vsize=1719684 CPUtime=0.62 /proc/11006/task/11009/stat : 11009 (java) S 11004 11006 10957 0 -1 64 114 0 0 0 36 26 0 0 16 0 13 0 159295046 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11010] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11010/stat : 11010 (java) S 11004 11006 10957 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11011] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11011/stat : 11011 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159295047 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11012] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11012/stat : 11012 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11013] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11013/stat : 11013 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11006/tid=11014] ppid=11004 vsize=1719684 CPUtime=1.3 /proc/11006/task/11014/stat : 11014 (java) S 11004 11006 10957 0 -1 64 1884 0 0 0 129 1 0 0 16 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11015] ppid=11004 vsize=1719684 CPUtime=3.73 /proc/11006/task/11015/stat : 11015 (java) S 11004 11006 10957 0 -1 64 15514 0 0 0 366 7 0 0 17 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11016] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11016/stat : 11016 (java) S 11004 11006 10957 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11017] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11017/stat : 11017 (java) S 11004 11006 10957 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159295050 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11006/tid=11018] ppid=11004 vsize=1719684 CPUtime=0 /proc/11006/task/11018/stat : 11018 (java) S 11004 11006 10957 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 159304773 1760956416 93820 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 1719684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1783.33 CPU time (s): 1800.76 CPU user time (s): 1797.7 CPU system time (s): 3.05653 CPU usage (%): 100.977 Max. virtual memory (cumulated for all children) (Kb): 1735700 The end
Begin job on node29 on Fri Jul 28 22:05:52 UTC 2006 FILE ID= 50803-1154124351 PBS_JOBID= 887148 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node29/50803-1154124351/instance-50803-1154124351.opb 538861978 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-50803-1154124351 -o ROOT/results/node29/solver-50803-1154124351 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node29/50803-1154124351/instance-50803-1154124351.opb 538861978 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 50ead5886965da8908c50d598d2024b3 RANDOM SEED= 538861978 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.282 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.282 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: 873944 kB Buffers: 26636 kB Cached: 1086072 kB SwapCached: 16024 kB Active: 38344 kB Inactive: 1096228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 873944 kB SwapTotal: 4192956 kB SwapFree: 4170624 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14488 kB Slab: 33348 kB Committed_AS: 682316 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Fri Jul 28 22:35:35 UTC 2006