Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.26 | 1776.49 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb |
MD5SUM | 43d3150af29b8b449233a9299db57820 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.39657 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654811 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654811 |
Number of bits of the biggest sum of numbers | 20 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node63/43824-1149252700/instance-43824-1149252700.opb 0.20 c reading problem ... 36.42 c ... done. Time 36.213 ms. 36.42 c #vars 155000 36.42 c #constraints 5300 1776.36 c starts : 2 1776.36 c conflicts : 229 1776.36 c decisions : 175051 1776.36 c propagations : 490286 1776.36 c inspects : 777044 1776.36 c learnt literals : 0 1776.36 c learnt binary clauses : 0 1776.36 c learnt ternary clauses : 0 1776.36 c learnt clauses : 228 1776.36 c root simplifications : 0 1776.36 c removed literals (reason simplification) : 0 1776.36 c reason swapping (by a shorter reason) : 0 1776.36 c Calls to reduceDB : 0 1776.36 c speed (decisions/second) : 100.61200256112267 1776.36 c non guided choices 130740 1776.36 s UNKNOWN 1776.36 c Total wall clock time (ms): 1776.155
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/node63/watcher-43824-1149252700 -o ROOT/results/node63/solver-43824-1149252700 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/43824-1149252700/instance-43824-1149252700.opb 777809833 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 3/64 12912 /proc/meminfo: memFree=1422256/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1500 CPUtime=0 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 74 0 0 0 0 0 0 0 19 0 1 0 190837145 1536000 57 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 2934577 0 0 4096 0 0 0 0 17 1 0 0 /proc/12912/statm: 375 67 54 14 0 8 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.97 0.99 2/75 12923 /proc/meminfo: memFree=1169632/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1712968 CPUtime=11.57 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 69808 0 1 0 1119 38 0 0 18 0 12 0 190837145 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071443600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428242 64818 1885 14 0 414989 0 [pid=12912/tid=12913] ppid=12910 vsize=1712968 CPUtime=1.04 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 14935 0 0 0 92 12 0 0 16 0 12 0 190837148 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1712968 CPUtime=1.04 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 17365 0 0 0 94 10 0 0 17 0 12 0 190837148 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1712968 CPUtime=0.33 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 443 0 0 0 33 0 0 0 16 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1712968 CPUtime=0.42 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 541 0 0 0 42 0 0 0 16 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 190837154 1754079232 64818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.57 Current children cumulated vsize (Kb) 1712968 [startup+20.0105 s] /proc/loadavg: 0.94 0.97 0.99 2/75 12923 /proc/meminfo: memFree=1182176/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1712968 CPUtime=21.67 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 70803 0 1 0 2128 39 0 0 25 0 12 0 190837145 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071347701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428242 61762 1885 14 0 414989 0 [pid=12912/tid=12913] ppid=12910 vsize=1712968 CPUtime=1.14 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 15562 0 0 0 102 12 0 0 16 0 12 0 190837148 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1712968 CPUtime=1.13 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 17711 0 0 0 103 10 0 0 17 0 12 0 190837148 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 13 0 0 0 0 0 0 0 17 0 12 0 190837151 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1712968 CPUtime=0.34 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 444 0 0 0 34 0 0 0 16 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1712968 CPUtime=0.42 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 541 0 0 0 42 0 0 0 16 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 190837154 1754079232 61762 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.67 Current children cumulated vsize (Kb) 1712968 [startup+30.0185 s] /proc/loadavg: 0.95 0.97 0.99 2/75 12923 /proc/meminfo: memFree=1205664/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1712968 CPUtime=31.75 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 71795 0 1 0 3134 41 0 0 21 0 12 0 190837145 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152709502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428242 55906 1885 14 0 414989 0 [pid=12912/tid=12913] ppid=12910 vsize=1712968 CPUtime=1.23 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 16194 0 0 0 110 13 0 0 16 0 12 0 190837148 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1712968 CPUtime=1.21 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 18054 0 0 0 111 10 0 0 15 0 12 0 190837148 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 190837151 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190837151 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1712968 CPUtime=0.34 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 444 0 0 0 34 0 0 0 16 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1712968 CPUtime=0.42 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 541 0 0 0 42 0 0 0 16 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1712968 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 190837154 1754079232 55906 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.75 Current children cumulated vsize (Kb) 1712968 [startup+40.0246 s] /proc/loadavg: 0.96 0.97 0.99 2/76 12924 /proc/meminfo: memFree=1185688/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1713484 CPUtime=42.05 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 78499 0 1 0 4160 45 0 0 25 0 13 0 190837145 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071566595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428371 60967 1903 14 0 415118 0 [pid=12912/tid=12913] ppid=12910 vsize=1713484 CPUtime=1.3 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 16941 0 0 0 117 13 0 0 17 0 13 0 190837148 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1713484 CPUtime=1.3 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 19565 0 0 0 118 12 0 0 16 0 13 0 190837148 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1713484 CPUtime=0.01 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 25 0 0 0 0 1 0 0 16 0 13 0 190837151 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1713484 CPUtime=0.48 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 469 0 0 0 48 0 0 0 16 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1713484 CPUtime=0.55 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 552 0 0 0 55 0 0 0 16 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 190840806 1754607616 60967 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.05 Current children cumulated vsize (Kb) 1713484 [startup+50.0317 s] /proc/loadavg: 0.96 0.97 0.99 2/76 12924 /proc/meminfo: memFree=1179992/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1714508 CPUtime=52.2 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 80119 0 1 0 5175 45 0 0 25 0 13 0 190837145 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071566382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428627 62348 1904 14 0 415374 0 [pid=12912/tid=12913] ppid=12910 vsize=1714508 CPUtime=1.34 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 17901 0 0 0 121 13 0 0 16 0 13 0 190837148 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1714508 CPUtime=1.34 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 20028 0 0 0 122 12 0 0 16 0 13 0 190837148 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1714508 CPUtime=0.02 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 25 0 0 0 1 1 0 0 16 0 13 0 190837151 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1714508 CPUtime=0.56 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 650 0 0 0 56 0 0 0 17 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1714508 CPUtime=0.61 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 561 0 0 0 61 0 0 0 16 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1714508 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 190840806 1755656192 62348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.2 Current children cumulated vsize (Kb) 1714508 [startup+60.0388 s] /proc/loadavg: 0.97 0.97 0.99 2/76 12924 /proc/meminfo: memFree=1181016/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1713484 CPUtime=62.26 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 80534 0 1 0 6180 46 0 0 25 0 13 0 190837145 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071566797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 428371 62086 1904 14 0 415118 0 [pid=12912/tid=12913] ppid=12910 vsize=1713484 CPUtime=1.38 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 18012 0 0 0 124 14 0 0 16 0 13 0 190837148 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1713484 CPUtime=1.38 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 20325 0 0 0 126 12 0 0 16 0 13 0 190837148 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1713484 CPUtime=0.02 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 25 0 0 0 1 1 0 0 16 0 13 0 190837151 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1713484 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 190837154 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1713484 CPUtime=0.56 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 650 0 0 0 56 0 0 0 17 0 13 0 190837154 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1713484 CPUtime=0.63 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 562 0 0 0 63 0 0 0 16 0 13 0 190837154 1754607616 62086 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (Kb) 1716556 [startup+1773.33 s] /proc/loadavg: 1.01 1.01 1.00 2/76 13119 /proc/meminfo: memFree=801304/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1716556 CPUtime=1797.06 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 208331 0 1 0 179485 221 0 0 17 0 13 0 190837145 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 429139 156664 1908 14 0 415886 0 [pid=12912/tid=12913] ppid=12910 vsize=1716556 CPUtime=23.33 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 67786 0 0 0 2251 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1716556 CPUtime=23.41 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 71887 0 0 0 2259 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1716556 CPUtime=0.47 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 116 0 0 0 28 19 0 0 15 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (Kb) 1716556 [startup+1774.34 s] /proc/loadavg: 1.01 1.01 1.00 2/76 13119 /proc/meminfo: memFree=801304/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1716556 CPUtime=1798.08 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 208332 0 1 0 179587 221 0 0 20 0 13 0 190837145 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 429139 156664 1908 14 0 415886 0 [pid=12912/tid=12913] ppid=12910 vsize=1716556 CPUtime=23.34 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 67786 0 0 0 2252 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1716556 CPUtime=23.42 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 71887 0 0 0 2260 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1716556 CPUtime=0.47 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 116 0 0 0 28 19 0 0 15 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (Kb) 1716556 [startup+1775.34 s] /proc/loadavg: 1.01 1.01 1.00 2/76 13119 /proc/meminfo: memFree=801304/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1716556 CPUtime=1799.11 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 208334 0 1 0 179689 222 0 0 24 0 13 0 190837145 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 429139 156664 1908 14 0 415886 0 [pid=12912/tid=12913] ppid=12910 vsize=1716556 CPUtime=23.36 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 67786 0 0 0 2254 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1716556 CPUtime=23.44 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 71887 0 0 0 2262 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1716556 CPUtime=0.47 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 116 0 0 0 28 19 0 0 15 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (Kb) 1716556 [startup+1776.35 s] /proc/loadavg: 1.01 1.01 1.00 2/76 13119 /proc/meminfo: memFree=801304/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1716556 CPUtime=1800.12 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 208335 0 1 0 179790 222 0 0 19 0 13 0 190837145 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071473007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 429139 156664 1908 14 0 415886 0 [pid=12912/tid=12913] ppid=12910 vsize=1716556 CPUtime=23.37 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 67786 0 0 0 2255 82 0 0 15 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1716556 CPUtime=23.44 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 71887 0 0 0 2262 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1716556 CPUtime=0.47 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 116 0 0 0 28 19 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1716556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1776.36 s] /proc/loadavg: 1.01 1.01 1.00 2/76 13119 /proc/meminfo: memFree=801304/2055920 swapFree=4182328/4192956 [pid=12912] ppid=12910 vsize=1716556 CPUtime=1800.13 /proc/12912/stat : 12912 (java) R 12910 12912 12866 0 -1 0 208335 0 1 0 179791 222 0 0 19 0 13 0 190837145 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12912/statm: 429139 156664 1908 14 0 415886 0 [pid=12912/tid=12913] ppid=12910 vsize=1716556 CPUtime=23.37 /proc/12912/task/12913/stat : 12913 (java) S 12910 12912 12866 0 -1 64 67786 0 0 0 2255 82 0 0 15 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12914] ppid=12910 vsize=1716556 CPUtime=23.44 /proc/12912/task/12914/stat : 12914 (java) S 12910 12912 12866 0 -1 64 71887 0 0 0 2262 82 0 0 16 0 13 0 190837148 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12915] ppid=12910 vsize=1716556 CPUtime=0.47 /proc/12912/task/12915/stat : 12915 (java) S 12910 12912 12866 0 -1 64 116 0 0 0 28 19 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12916] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12916/stat : 12916 (java) S 12910 12912 12866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12917] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12917/stat : 12917 (java) S 12910 12912 12866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190837151 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12918] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12918/stat : 12918 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12919] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12919/stat : 12919 (java) S 12910 12912 12866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12920] ppid=12910 vsize=1716556 CPUtime=1 /proc/12912/task/12920/stat : 12920 (java) S 12910 12912 12866 0 -1 64 2535 0 0 0 100 0 0 0 16 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12921] ppid=12910 vsize=1716556 CPUtime=0.74 /proc/12912/task/12921/stat : 12921 (java) S 12910 12912 12866 0 -1 64 565 0 0 0 74 0 0 0 17 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12922] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12922/stat : 12922 (java) S 12910 12912 12866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12912/tid=12923] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12923/stat : 12923 (java) S 12910 12912 12866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 190837154 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12912/tid=12924] ppid=12910 vsize=1716556 CPUtime=0 /proc/12912/task/12924/stat : 12924 (java) S 12910 12912 12866 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 190840806 1757753344 156664 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 1716556 Sending SIGTERM to -12912 Sleeping 2 seconds Child status: 143 Real time (s): 1776.49 CPU time (s): 1800.26 CPU user time (s): 1797.94 CPU system time (s): 2.31365 CPU usage (%): 101.338 Max. virtual memory (cumulated for all children) (Kb): 1716556
Begin job on node63 on Fri Jun 2 12:51:40 UTC 2006 FILE ID= 43824-1149252700 PBS_JOBID= 298187 BENCH NAME= ROOT/tmp/node63/43824-1149252700/instance-43824-1149252700.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/43824-1149252700/instance-43824-1149252700.opb 777809833 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-43824-1149252700 -o ROOT/results/node63/solver-43824-1149252700 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/43824-1149252700/instance-43824-1149252700.opb 777809833 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 43d3150af29b8b449233a9299db57820 RANDOM SEED= 777809833 /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.228 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.228 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: 1422464 kB Buffers: 37748 kB Cached: 519680 kB SwapCached: 2824 kB Active: 120004 kB Inactive: 446584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1422464 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 204 kB Writeback: 0 kB Mapped: 15876 kB Slab: 52840 kB Committed_AS: 238844 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Fri Jun 2 13:21:17 UTC 2006