Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.58 | 1779.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos6.opb |
MD5SUM | 2a04555106a68acba17fb5820db41df1 |
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 | 21720 |
Total number of constraints | 1036 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 755 |
Number of constraints which are nor clauses,nor cardinality constraints | 233 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 6690 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 239444426529 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 239444426529 |
Number of bits of the biggest sum of numbers | 38 |
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@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node21/44589-1149306001/instance-44589-1149306001.opb 0.21 c reading problem ... 3.06 c ... done. Time 2.85 ms. 3.06 c #vars 21720 3.06 c #constraints 1259 1779.41 c starts : 10 1779.41 c conflicts : 9220 1779.41 c decisions : 37995 1779.41 c propagations : 114140 1779.41 c inspects : 21986392 1779.41 c learnt literals : 0 1779.41 c learnt binary clauses : 0 1779.41 c learnt ternary clauses : 0 1779.41 c learnt clauses : 9219 1779.41 c root simplifications : 0 1779.41 c removed literals (reason simplification) : 0 1779.41 c reason swapping (by a shorter reason) : 0 1779.41 c Calls to reduceDB : 0 1779.41 c speed (decisions/second) : 21.389787284349904 1779.41 c non guided choices 23720 1779.41 s UNKNOWN 1779.41 c Total wall clock time (ms): 1779.208
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/node21/watcher-44589-1149306001 -o ROOT/results/node21/solver-44589-1149306001 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node21/44589-1149306001/instance-44589-1149306001.opb 304455702 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 3/64 31738 /proc/meminfo: memFree=1547880/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=168 CPUtime=0 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 196263196 172032 23 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0 /proc/31738/statm: 54 30 25 14 0 2 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1357776/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1713072 CPUtime=11.34 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 51100 0 1 0 1112 22 0 0 17 0 13 0 196263196 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071545598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428268 49339 1905 14 0 415015 0 [pid=31738/tid=31739] ppid=31736 vsize=1713072 CPUtime=0.37 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 5756 0 0 0 35 2 0 0 16 0 13 0 196263200 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1713072 CPUtime=0.37 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 6395 0 0 0 35 2 0 0 17 0 13 0 196263200 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 0 0 0 0 17 0 13 0 196263203 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196263207 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1713072 CPUtime=0.76 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 1608 0 0 0 76 0 0 0 16 0 13 0 196263207 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1713072 CPUtime=0.72 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 765 0 0 0 72 0 0 0 17 0 13 0 196263207 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1713072 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196263507 1754185728 49339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.34 Current children cumulated vsize (Kb) 1713072 [startup+20.0088 s] /proc/loadavg: 0.94 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1332560/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=22.15 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 61173 0 1 0 2187 28 0 0 25 0 13 0 196263196 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071568186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 55644 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=0.5 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 10074 0 0 0 46 4 0 0 16 0 13 0 196263200 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=0.5 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 9506 0 0 0 46 4 0 0 17 0 13 0 196263200 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 0 0 0 0 17 0 13 0 196263203 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.01 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 100 1 0 0 17 0 13 0 196263207 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.21 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 121 0 0 0 16 0 13 0 196263207 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196263507 1755545600 55644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.15 Current children cumulated vsize (Kb) 1714400 [startup+30.016 s] /proc/loadavg: 0.95 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1366992/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=32.19 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 61994 0 1 0 3190 29 0 0 25 0 13 0 196263196 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071702944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 47011 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=0.53 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 10416 0 0 0 49 4 0 0 16 0 13 0 196263200 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=0.54 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 9971 0 0 0 50 4 0 0 16 0 13 0 196263200 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.01 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 100 1 0 0 17 0 13 0 196263207 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.22 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 122 0 0 0 16 0 13 0 196263207 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196263507 1755545600 47011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.19 Current children cumulated vsize (Kb) 1714400 [startup+40.0231 s] /proc/loadavg: 0.95 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1387536/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=42.24 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 62741 0 1 0 4193 31 0 0 25 0 13 0 196263196 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071703477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 41923 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=0.57 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 10757 0 0 0 52 5 0 0 16 0 13 0 196263200 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=0.58 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 10364 0 0 0 53 5 0 0 16 0 13 0 196263200 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.02 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 1 1 0 0 16 0 13 0 196263203 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.02 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 101 1 0 0 16 0 13 0 196263207 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.22 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 122 0 0 0 16 0 13 0 196263207 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 41923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.24 Current children cumulated vsize (Kb) 1714400 [startup+50.0311 s] /proc/loadavg: 0.96 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1394000/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=52.28 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 63862 0 1 0 5197 31 0 0 25 0 13 0 196263196 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071443326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 40315 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=0.61 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 11195 0 0 0 56 5 0 0 16 0 13 0 196263200 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=0.63 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 11035 0 0 0 58 5 0 0 16 0 13 0 196263200 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.02 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 1 1 0 0 16 0 13 0 196263203 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.02 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 101 1 0 0 16 0 13 0 196263207 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.22 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 122 0 0 0 16 0 13 0 196263207 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 40315 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.28 Current children cumulated vsize (Kb) 1714400 [startup+60.0383 s] /proc/loadavg: 0.97 0.98 0.99 2/76 31750 /proc/meminfo: memFree=1392720/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=62.34 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 65511 0 1 0 6201 33 0 0 25 0 13 0 196263196 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071702927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 40638 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=0.67 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 12039 0 0 0 61 6 0 0 16 0 13 0 196263200 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=0.67 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 11827 0 0 0 62 5 0 0 16 0 13 0 196263200 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.02 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 12 0 0 0 1 1 0 0 16 0 13 0 196263203 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 40638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 219311 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (Kb) 1714400 [startup+1776.39 s] /proc/loadavg: 1.07 1.02 1.00 2/76 31945 /proc/meminfo: memFree=674960/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=1797.31 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 335008 0 1 0 179543 188 0 0 18 0 13 0 196263196 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071442487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 219603 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=20.29 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 106334 0 0 0 1978 51 0 0 17 0 13 0 196263200 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=20.4 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 110725 0 0 0 1988 52 0 0 17 0 13 0 196263200 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.51 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 233 0 0 0 27 24 0 0 15 0 13 0 196263203 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 219603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.31 Current children cumulated vsize (Kb) 1714400 [startup+1777.39 s] /proc/loadavg: 1.07 1.02 1.00 2/76 31945 /proc/meminfo: memFree=673808/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=1798.33 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 335313 0 1 0 179645 188 0 0 18 0 13 0 196263196 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071382894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 219878 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=20.32 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 106408 0 0 0 1981 51 0 0 16 0 13 0 196263200 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=20.42 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 110955 0 0 0 1990 52 0 0 16 0 13 0 196263200 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.51 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 233 0 0 0 27 24 0 0 16 0 13 0 196263203 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 219878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (Kb) 1714400 [startup+1778.4 s] /proc/loadavg: 1.06 1.02 1.00 2/76 31945 /proc/meminfo: memFree=673168/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=1799.37 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 335510 0 1 0 179749 188 0 0 24 0 13 0 196263196 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071703495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 220043 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=20.34 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 106473 0 0 0 1983 51 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=20.45 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 111086 0 0 0 1993 52 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.51 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 233 0 0 0 27 24 0 0 15 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (Kb) 1714400 [startup+1779.41 s] /proc/loadavg: 1.06 1.02 1.00 2/76 31945 /proc/meminfo: memFree=673168/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=1800.37 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 335510 0 1 0 179849 188 0 0 25 0 13 0 196263196 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071702939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 220043 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=20.34 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 106473 0 0 0 1983 51 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=20.45 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 111086 0 0 0 1993 52 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.51 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 233 0 0 0 27 24 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (Kb) 1714400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1779.41 s] /proc/loadavg: 1.06 1.02 1.00 2/76 31945 /proc/meminfo: memFree=673168/2055920 swapFree=4181452/4192956 [pid=31738] ppid=31736 vsize=1714400 CPUtime=1800.38 /proc/31738/stat : 31738 (java) R 31736 31738 31692 0 -1 0 335510 0 1 0 179850 188 0 0 25 0 13 0 196263196 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071703486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31738/statm: 428600 220043 1909 14 0 415347 0 [pid=31738/tid=31739] ppid=31736 vsize=1714400 CPUtime=20.34 /proc/31738/task/31739/stat : 31739 (java) S 31736 31738 31692 0 -1 64 106473 0 0 0 1983 51 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31738/tid=31740] ppid=31736 vsize=1714400 CPUtime=20.45 /proc/31738/task/31740/stat : 31740 (java) S 31736 31738 31692 0 -1 64 111086 0 0 0 1993 52 0 0 16 0 13 0 196263200 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31741] ppid=31736 vsize=1714400 CPUtime=0.51 /proc/31738/task/31741/stat : 31741 (java) S 31736 31738 31692 0 -1 64 233 0 0 0 27 24 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31742] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31742/stat : 31742 (java) S 31736 31738 31692 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31743] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31743/stat : 31743 (java) S 31736 31738 31692 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196263203 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31744] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31744/stat : 31744 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196263206 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31745] ppid=31736 vsize=1714400 CPUtime=0.01 /proc/31738/task/31745/stat : 31745 (java) S 31736 31738 31692 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31746] ppid=31736 vsize=1714400 CPUtime=1.04 /proc/31738/task/31746/stat : 31746 (java) S 31736 31738 31692 0 -1 64 2684 0 0 0 103 1 0 0 16 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31747] ppid=31736 vsize=1714400 CPUtime=1.24 /proc/31738/task/31747/stat : 31747 (java) S 31736 31738 31692 0 -1 64 2313 0 0 0 124 0 0 0 17 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31748] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31748/stat : 31748 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31749] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31749/stat : 31749 (java) S 31736 31738 31692 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196263207 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31738/tid=31750] ppid=31736 vsize=1714400 CPUtime=0 /proc/31738/task/31750/stat : 31750 (java) S 31736 31738 31692 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196263507 1755545600 220043 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (Kb) 1714400 Sending SIGTERM to -31738 Sleeping 2 seconds Child status: 143 Real time (s): 1779.6 CPU time (s): 1800.58 CPU user time (s): 1798.55 CPU system time (s): 2.02769 CPU usage (%): 101.179 Max. virtual memory (cumulated for all children) (Kb): 1714400
Begin job on node21 on Sat Jun 3 03:40:01 UTC 2006 FILE ID= 44589-1149306001 PBS_JOBID= 307630 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node21/44589-1149306001/instance-44589-1149306001.opb 304455702 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-44589-1149306001 -o ROOT/results/node21/solver-44589-1149306001 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node21/44589-1149306001/instance-44589-1149306001.opb 304455702 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 2a04555106a68acba17fb5820db41df1 RANDOM SEED= 304455702 /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.240 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.240 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: 1548280 kB Buffers: 36036 kB Cached: 397896 kB SwapCached: 3308 kB Active: 58928 kB Inactive: 383768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1548280 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14740 kB Slab: 50952 kB Committed_AS: 300736 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jun 3 04:09:41 UTC 2006