Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 262858 | 1800.24 | 1765.94 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262858 |
Best CPU time to get the best result obtained on this benchmark | 496.259 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262858 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 212 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 263 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524422 |
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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/351496-1176603295/instance-351496-1176603295.opb 0.20/0.20 c reading problem ... 0.98/0.72 c ... done. Wall clock time 0.521s. 0.98/0.72 c CPU time (experimental) 0.51s. 0.98/0.72 c #vars 290 0.98/0.72 c #constraints 247 4.54/2.74 c SATISFIABLE 4.54/2.74 c OPTIMIZING... 4.54/2.74 c Got one! Elapsed wall clock time (in seconds):2.542 4.54/2.75 o 263190 5.37/3.32 c Got one! Elapsed wall clock time (in seconds):3.115 5.37/3.32 o 263189 5.68/3.61 c Got one! Elapsed wall clock time (in seconds):3.412 5.68/3.61 o 263188 6.57/4.47 c Got one! Elapsed wall clock time (in seconds):4.266 6.57/4.47 o 263187 122.76/119.62 c Got one! Elapsed wall clock time (in seconds):119.419 122.76/119.62 o 263171 122.96/119.89 c Got one! Elapsed wall clock time (in seconds):119.682 122.96/119.89 o 263132 123.16/120.07 c Got one! Elapsed wall clock time (in seconds):119.862 123.16/120.07 o 263103 125.70/122.55 c Got one! Elapsed wall clock time (in seconds):122.342 125.70/122.55 o 263085 125.80/122.69 c Got one! Elapsed wall clock time (in seconds):122.484 125.80/122.69 o 263069 126.51/123.35 c Got one! Elapsed wall clock time (in seconds):123.146 126.51/123.35 o 263065 129.75/126.54 c Got one! Elapsed wall clock time (in seconds):126.341 129.75/126.54 o 263062 129.95/126.78 c Got one! Elapsed wall clock time (in seconds):126.575 129.95/126.78 o 263061 338.29/331.89 c Got one! Elapsed wall clock time (in seconds):331.689 338.29/331.89 o 263053 339.20/332.75 c Got one! Elapsed wall clock time (in seconds):332.545 339.20/332.75 o 262981 340.02/333.55 c Got one! Elapsed wall clock time (in seconds):333.346 340.02/333.55 o 262980 341.44/334.95 c Got one! Elapsed wall clock time (in seconds):334.75 341.44/334.95 o 262978 347.84/341.24 c Got one! Elapsed wall clock time (in seconds):341.037 347.84/341.24 o 262928 350.67/344.00 c Got one! Elapsed wall clock time (in seconds):343.801 350.67/344.00 o 262923 351.79/345.16 c Got one! Elapsed wall clock time (in seconds):344.961 351.79/345.16 o 262922 353.39/346.77 c Got one! Elapsed wall clock time (in seconds):346.567 353.39/346.77 o 262903 394.18/386.91 c Got one! Elapsed wall clock time (in seconds):386.702 394.18/386.91 o 262896 810.86/797.83 c Got one! Elapsed wall clock time (in seconds):797.629 810.86/797.83 o 262862 863.47/849.53 c Got one! Elapsed wall clock time (in seconds):849.327 863.47/849.53 o 262858 1800.10/1765.81 c starts : 34 1800.10/1765.81 c conflicts : 20243 1800.10/1765.81 c decisions : 43843 1800.10/1765.81 c propagations : 379090 1800.10/1765.81 c inspects : 301825278 1800.10/1765.81 c learnt literals : 0 1800.10/1765.81 c learnt binary clauses : 0 1800.10/1765.81 c learnt ternary clauses : 1 1800.10/1765.81 c learnt clauses : 20243 1800.10/1765.81 c root simplifications : 0 1800.10/1765.81 c removed literals (reason simplification) : 0 1800.10/1765.81 c reason swapping (by a shorter reason) : 0 1800.10/1765.81 c Calls to reduceDB : 0 1800.10/1765.81 c speed (decisions/second) : 47.84880637183749 1800.10/1765.81 c non guided choices 25 1800.10/1765.81 s SATISFIABLE 1800.10/1765.82 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.10/1765.82 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.10/1765.82 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.10/1765.82 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.10/1765.82 v -x106 -x107 -x108 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 1800.10/1765.82 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 1800.10/1765.82 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 x166 -x167 -x168 1800.10/1765.82 v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 -x192 1800.10/1765.82 v -x193 -x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 1800.10/1765.82 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.10/1765.82 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.10/1765.82 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.10/1765.82 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 1800.10/1765.82 c objective function=262858 1800.10/1765.82 c Total wall clock time (ms): 1765.612
OK 262858
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-351496-1176603295 -o ROOT/results/node33/solver-351496-1176603295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351496-1176603295/sat4jPseudoCP.jar /tmp/evaluation/351496-1176603295/instance-351496-1176603295.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27876 /proc/meminfo: memFree=1663096/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=152 CPUtime=0 /proc/27876/stat : 27876 (java) D 27874 27876 26332 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 108244958 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/27876/statm: 38 26 19 9 0 4 0 [startup+0.071799 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27876 /proc/meminfo: memFree=1663096/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1777708 CPUtime=0.05 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 3702 0 1 0 4 1 0 0 18 0 7 0 108244958 1820372992 3444 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 444427 3444 1081 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.102805 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27876 /proc/meminfo: memFree=1663096/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1780108 CPUtime=0.09 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 3975 0 1 0 7 2 0 0 18 0 12 0 108244958 1822830592 3716 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 445027 3716 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.30285 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27876 /proc/meminfo: memFree=1663096/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1782444 CPUtime=0.31 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 5148 0 1 0 28 3 0 0 18 0 12 0 108244958 1825222656 4886 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 445611 4886 1270 9 0 443223 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782444 [startup+0.701931 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27876 /proc/meminfo: memFree=1663096/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1785572 CPUtime=0.98 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 7774 0 1 0 94 4 0 0 18 0 12 0 108244958 1828425728 6719 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 446393 6720 1308 9 0 444005 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1785572 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 1.00 4/90 27889 /proc/meminfo: memFree=1638480/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794572 CPUtime=2.53 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 20049 0 1 0 243 10 0 0 18 0 13 0 108244958 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448643 16691 1321 9 0 446255 0 [pid=27876/tid=27878] ppid=27874 vsize=1794572 CPUtime=0.88 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 12795 0 1 0 82 6 0 0 18 0 13 0 108244960 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109661012 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 108244961 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 108244961 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108244963 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 108244964 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 108244964 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794572 CPUtime=0.95 /proc/27876/task/27885/stat : 27885 (java) R 27874 27876 26332 0 -1 64 4542 0 0 0 93 2 0 0 18 0 13 0 108244968 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 103314165 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794572 CPUtime=0.67 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 1987 0 0 0 67 0 0 0 16 0 13 0 108244968 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27889] ppid=27874 vsize=1794572 CPUtime=0 /proc/27876/task/27889/stat : 27889 (java) S 27874 27876 26332 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 108245032 1837641728 16691 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 1794572 [startup+3.10242 s] /proc/loadavg: 1.00 1.00 1.00 2/90 27889 /proc/meminfo: memFree=1545872/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794236 CPUtime=5.14 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 51441 0 1 0 492 22 0 0 18 0 13 0 108244958 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448559 42130 1332 9 0 446171 0 [pid=27876/tid=27878] ppid=27874 vsize=1794236 CPUtime=2.09 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 37749 0 1 0 193 16 0 0 20 0 13 0 108244960 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109748433 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 216 0 0 0 0 0 0 0 16 0 13 0 108244961 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 178 0 0 0 0 0 0 0 16 0 13 0 108244961 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 108244963 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108244964 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794236 CPUtime=1.71 /proc/27876/task/27885/stat : 27885 (java) R 27874 27876 26332 0 -1 64 8106 0 0 0 168 3 0 0 16 0 13 0 108244968 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 103316021 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794236 CPUtime=1.3 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4461 0 0 0 128 2 0 0 16 0 13 0 108244968 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794236 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837297664 42130 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.14 Current children cumulated vsize (KiB) 1794236 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 3/90 27893 /proc/meminfo: memFree=1496504/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=8.59 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 54191 0 1 0 836 23 0 0 18 0 13 0 108244958 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 43720 1333 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=5.13 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 37759 0 1 0 497 16 0 0 25 0 13 0 108244960 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109773474 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=0.05 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 1549 0 0 0 5 0 0 0 16 0 13 0 108244961 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=0.06 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 1370 0 0 0 6 0 0 0 17 0 13 0 108244961 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 108244963 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=1.91 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8292 0 0 0 188 3 0 0 16 0 13 0 108244968 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.39 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4464 0 0 0 137 2 0 0 16 0 13 0 108244968 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27893] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27893/stat : 27893 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 108245406 1837101056 43720 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.59 Current children cumulated vsize (KiB) 1794044 [startup+12.7024 s] /proc/loadavg: 1.00 1.00 1.00 2/90 27893 /proc/meminfo: memFree=1458296/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=15.06 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 63535 0 1 0 1479 27 0 0 18 0 13 0 108244958 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 52096 1334 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=11.46 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 43798 0 1 0 1128 18 0 0 18 0 13 0 108244960 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109772984 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=0.12 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 3324 0 0 0 11 1 0 0 16 0 13 0 108244961 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=0.12 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 2899 0 0 0 12 0 0 0 16 0 13 0 108244961 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 108244963 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=1.92 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8292 0 0 0 189 3 0 0 16 0 13 0 108244968 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.39 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4465 0 0 0 137 2 0 0 17 0 13 0 108244968 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27893] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27893/stat : 27893 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 108245406 1837101056 52096 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.06 Current children cumulated vsize (KiB) 1794044 [startup+25.503 s] /proc/loadavg: 1.00 1.00 1.00 2/90 27893 /proc/meminfo: memFree=1491512/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=27.9 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 64723 0 1 0 2762 28 0 0 18 0 13 0 108244958 1837101056 43539 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 43539 1334 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=24.18 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 43821 0 1 0 2400 18 0 0 19 0 13 0 108244960 1837101056 43539 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109773975 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=0.17 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 3927 0 0 0 16 1 0 0 16 0 13 0 108244961 1837101056 43539 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=0.17 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 3461 0 0 0 17 0 0 0 16 0 13 0 108244961 1837101056 43539 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 108244963 1837101056 43539 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0.31 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 93 0 0 0 18 13 0 0 16 0 13 0 108244963 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=2.04 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8301 0 0 0 201 3 0 0 17 0 13 0 108244968 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.5 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4471 0 0 0 148 2 0 0 17 0 13 0 108244968 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=30197] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/30197/stat : 30197 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108329912 1837101056 155562 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1572.04 Current children cumulated vsize (KiB) 1794044 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.02 2/90 30199 /proc/meminfo: memFree=995448/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=1633.28 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 201384 0 1 0 163203 125 0 0 18 0 13 0 108244958 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 157293 1336 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=1569.33 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 63364 0 1 0 156888 45 0 0 18 0 13 0 108244960 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109683072 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=30.05 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 68581 0 0 0 2973 32 0 0 16 0 13 0 108244961 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=29.99 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 55812 0 0 0 2972 27 0 0 17 0 13 0 108244961 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0.32 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 93 0 0 0 19 13 0 0 15 0 13 0 108244963 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=2.04 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8301 0 0 0 201 3 0 0 17 0 13 0 108244968 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.5 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4471 0 0 0 148 2 0 0 17 0 13 0 108244968 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=30197] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/30197/stat : 30197 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108329912 1837101056 157293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1633.28 Current children cumulated vsize (KiB) 1794044 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 1.02 4/90 30199 /proc/meminfo: memFree=988216/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=1694.49 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 203385 0 1 0 169323 126 0 0 18 0 13 0 108244958 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 159062 1336 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=1627.98 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 63391 0 1 0 162753 45 0 0 25 0 13 0 108244960 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109665914 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=31.33 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 70070 0 0 0 3100 33 0 0 16 0 13 0 108244961 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=31.27 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 56296 0 0 0 3100 27 0 0 16 0 13 0 108244961 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0.32 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 94 0 0 0 19 13 0 0 15 0 13 0 108244963 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=2.04 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8301 0 0 0 201 3 0 0 17 0 13 0 108244968 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.5 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4471 0 0 0 148 2 0 0 17 0 13 0 108244968 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=30197] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/30197/stat : 30197 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108329912 1837101056 159062 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1694.49 Current children cumulated vsize (KiB) 1794044 [startup+1722.3 s] /proc/loadavg: 1.09 1.03 1.02 2/90 30199 /proc/meminfo: memFree=981816/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=1755.7 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 205048 0 1 0 175443 127 0 0 18 0 13 0 108244958 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 160609 1336 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=1686.68 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 63417 0 1 0 168623 45 0 0 25 0 13 0 108244960 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109677419 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=32.58 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 70458 0 0 0 3225 33 0 0 17 0 13 0 108244961 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=32.52 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 57545 0 0 0 3225 27 0 0 16 0 13 0 108244961 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0.33 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 94 0 0 0 20 13 0 0 16 0 13 0 108244963 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=2.04 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8301 0 0 0 201 3 0 0 17 0 13 0 108244968 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.5 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4471 0 0 0 148 2 0 0 17 0 13 0 108244968 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=30197] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/30197/stat : 30197 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108329912 1837101056 160609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1755.7 Current children cumulated vsize (KiB) 1794044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1765.8 s] /proc/loadavg: 1.04 1.03 1.02 2/90 30199 /proc/meminfo: memFree=977080/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=1794044 CPUtime=1800.1 /proc/27876/stat : 27876 (java) S 27874 27876 26332 0 -1 0 206293 0 1 0 179883 127 0 0 18 0 13 0 108244958 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27876/statm: 448511 161774 1336 9 0 446123 0 [pid=27876/tid=27878] ppid=27874 vsize=1794044 CPUtime=1729.22 /proc/27876/task/27878/stat : 27878 (java) R 27874 27876 26332 0 -1 64 63436 0 1 0 172877 45 0 0 25 0 13 0 108244960 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109681575 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27879] ppid=27874 vsize=1794044 CPUtime=33.5 /proc/27876/task/27879/stat : 27879 (java) S 27874 27876 26332 0 -1 64 70676 0 0 0 3317 33 0 0 17 0 13 0 108244961 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27880] ppid=27874 vsize=1794044 CPUtime=33.46 /proc/27876/task/27880/stat : 27880 (java) S 27874 27876 26332 0 -1 64 58553 0 0 0 3318 28 0 0 16 0 13 0 108244961 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27881] ppid=27874 vsize=1794044 CPUtime=0.33 /proc/27876/task/27881/stat : 27881 (java) S 27874 27876 26332 0 -1 64 94 0 0 0 20 13 0 0 16 0 13 0 108244963 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27882] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27882/stat : 27882 (java) S 27874 27876 26332 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27883] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27883/stat : 27883 (java) S 27874 27876 26332 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 108244964 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27884] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27884/stat : 27884 (java) S 27874 27876 26332 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 108244968 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27885] ppid=27874 vsize=1794044 CPUtime=2.04 /proc/27876/task/27885/stat : 27885 (java) S 27874 27876 26332 0 -1 64 8301 0 0 0 201 3 0 0 17 0 13 0 108244968 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27886] ppid=27874 vsize=1794044 CPUtime=1.5 /proc/27876/task/27886/stat : 27886 (java) S 27874 27876 26332 0 -1 64 4471 0 0 0 148 2 0 0 17 0 13 0 108244968 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27876/tid=27887] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27887/stat : 27887 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108244968 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=27888] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/27888/stat : 27888 (java) S 27874 27876 26332 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108244968 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27876/tid=30197] ppid=27874 vsize=1794044 CPUtime=0 /proc/27876/task/30197/stat : 30197 (java) S 27874 27876 26332 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108329912 1837101056 161774 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1794044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1765.91 s] /proc/loadavg: 1.04 1.03 1.02 2/90 30199 /proc/meminfo: memFree=977080/2055920 swapFree=4149512/4192956 [pid=27876] ppid=27874 vsize=0 CPUtime=1800.21 /proc/27876/stat : 27876 (java) Z 27874 27876 26332 0 -1 1036 206308 0 1 0 179885 136 0 0 16 0 2 0 108244958 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27876/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1765.94 CPU time (s): 1800.24 CPU user time (s): 1798.86 CPU system time (s): 1.38279 CPU usage (%): 101.943 Max. virtual memory (cumulated for all children) (KiB): 1795980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.86 system time used= 1.38279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206308 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49130 involuntary context switches= 64739 runsolver used 2.05369 second user time and 5.68314 second system time The end
Begin job on node33 on Sun Apr 15 02:14:55 UTC 2007 IDJOB= 351496 IDBENCH= 1770 IDSOLVER= 160 FILE ID= node33/351496-1176603295 PBS_JOBID= 4556990 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351496-1176603295/sat4jPseudoCP.jar /tmp/evaluation/351496-1176603295/instance-351496-1176603295.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-351496-1176603295 -o ROOT/results/node33/solver-351496-1176603295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351496-1176603295/sat4jPseudoCP.jar /tmp/evaluation/351496-1176603295/instance-351496-1176603295.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 686024997 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.272 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.272 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: 1663440 kB Buffers: 33056 kB Cached: 95516 kB SwapCached: 2328 kB Active: 70256 kB Inactive: 228428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1663440 kB SwapTotal: 4192956 kB SwapFree: 4149512 kB Dirty: 3668 kB Writeback: 0 kB Mapped: 167340 kB Slab: 79072 kB Committed_AS: 579744 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node33 on Sun Apr 15 02:44:23 UTC 2007