Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.23 | 1729.98 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo |
MD5SUM | 94413eaf3e98de59f2ecdb125fc71636 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 313.541 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 961 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.07 c See www.sat4j.org for details. 0.03/0.07 c version 2.2.0.v20100526 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.03/0.07 c java.vm.version 11.2-b01 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 32 0.03/0.07 c java.version 1.6.0_12 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch i386 0.03/0.07 c Free memory 1393557488 0.03/0.07 c Max memory 1395916800 0.03/0.07 c Total memory 1395916800 0.03/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2692114-1277901312.wbo 0.11/0.10 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.192s. 0.27/0.29 c #vars 1192 0.27/0.29 c #constraints 2707 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 146 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1593 0.27/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 967 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.22/0.92 c SATISFIABLE 2.22/0.92 c OPTIMIZING... 2.22/0.92 c Got one! Elapsed wall clock time (in seconds):0.818 2.22/0.92 o 353 3.00/1.42 c Got one! Elapsed wall clock time (in seconds):1.318 3.00/1.42 o 313 4.61/2.70 c Got one! Elapsed wall clock time (in seconds):2.604 4.61/2.70 o 246 5.35/3.49 c Got one! Elapsed wall clock time (in seconds):3.387 5.35/3.49 o 232 11.03/8.91 c Got one! Elapsed wall clock time (in seconds):8.808 11.03/8.91 o 195 34.11/31.58 c Got one! Elapsed wall clock time (in seconds):31.475 34.11/31.58 o 165 73.47/70.01 c Got one! Elapsed wall clock time (in seconds):69.907 73.47/70.01 o 138 81.54/78.00 c cleaning 0 clauses out of 5000 with flag 0/5000 187.84/181.58 c Got one! Elapsed wall clock time (in seconds):181.48 187.84/181.58 o 132 317.08/306.57 c Got one! Elapsed wall clock time (in seconds):306.472 317.08/306.57 o 129 437.70/422.59 c cleaning 0 clauses out of 11000 with flag 0/11000 1237.21/1189.95 c Got one! Elapsed wall clock time (in seconds):1189.85 1237.21/1189.95 o 113 1444.45/1391.12 c Got one! Elapsed wall clock time (in seconds):1391.02 1444.45/1391.12 o 106 1657.11/1595.83 c cleaning 0 clauses out of 18002 with flag 0/18002 1800.06/1729.92 c starts : 55 1800.06/1729.92 c conflicts : 18539 1800.06/1729.92 c decisions : 61499 1800.06/1729.92 c propagations : 2331960 1800.06/1729.92 c inspects : 1408495478 1800.06/1729.92 c learnt literals : 0 1800.06/1729.92 c learnt binary clauses : 0 1800.06/1729.92 c learnt ternary clauses : 0 1800.06/1729.92 c learnt clauses : 18539 1800.06/1729.92 c ignored clauses : 0 1800.06/1729.92 c root simplifications : 0 1800.06/1729.92 c removed literals (reason simplification) : 0 1800.06/1729.92 c reason swapping (by a shorter reason) : 0 1800.06/1729.92 c Calls to reduceDB : 3 1800.06/1729.92 c number of reductions to clauses (during analyze) : 0 1800.06/1729.92 c number of learned constraints concerned by reduction : 0 1800.06/1729.92 c number of learning phase by resolution : 0 1800.06/1729.92 c number of learning phase by cutting planes : 0 1800.06/1729.92 c speed (assignments/second) : 6883.059767353311 1800.06/1729.92 c non guided choices 1411 1800.06/1729.93 c learnt constraints type 1800.06/1729.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 127 1800.06/1729.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 19 1800.06/1729.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 18393 1800.06/1729.93 c constraints type 1800.06/1729.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 146 1800.06/1729.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1593 1800.06/1729.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 967 1800.06/1729.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.06/1729.93 s SATISFIABLE 1800.06/1729.93 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 -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 -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 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.06/1729.93 c objective function=106 1800.06/1729.93 c Total wall clock time (in seconds): 1729.834
OK 106
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692114-1277901312/watcher-2692114-1277901312 -o /tmp/evaluation-result-2692114-1277901312/solver-2692114-1277901312 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692114-1277901312.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.00 3/200 13266 /proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=13436 CPUtime=0 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 1045 0 0 0 0 0 0 0 22 0 2 0 131427378 13758464 529 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 3359 540 231 10 0 1202 0 [pid=13266/tid=13267] ppid=13264 vsize=13440 CPUtime=0 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 19 0 0 0 0 0 0 0 23 0 2 0 131427379 13762560 544 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 7 0 0 0 [startup+0.0485731 s] /proc/loadavg: 2.04 2.03 2.00 3/200 13266 /proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1527548 CPUtime=0.03 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 3960 0 1 0 2 1 0 0 22 0 18 0 131427378 1564209152 3399 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 381887 3399 1073 10 0 379189 0 [pid=13266/tid=13267] ppid=13264 vsize=1527548 CPUtime=0.02 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 2873 0 1 0 2 0 0 0 25 0 18 0 131427379 1564209152 3399 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1527548 [startup+0.100578 s] /proc/loadavg: 2.04 2.03 2.00 3/200 13266 /proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1529860 CPUtime=0.11 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 5188 0 1 0 10 1 0 0 22 0 18 0 131427378 1566576640 4625 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 382465 4626 1347 10 0 379767 0 [pid=13266/tid=13267] ppid=13264 vsize=1529860 CPUtime=0.08 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 3514 0 1 0 7 1 0 0 18 0 18 0 131427379 1566576640 4626 4089446400 134512640 134550932 4289762464 18446744073709551615 4109441908 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529860 [startup+0.300491 s] /proc/loadavg: 2.04 2.03 2.00 3/200 13266 /proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1531936 CPUtime=0.5 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 7439 0 1 0 48 2 0 0 22 0 18 0 131427378 1568702464 6835 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 382984 6835 1411 10 0 380286 0 [pid=13266/tid=13267] ppid=13264 vsize=1531936 CPUtime=0.27 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 5122 0 1 0 26 1 0 0 18 0 18 0 131427379 1568702464 6835 4089446400 134512640 134550932 4289762464 18446744073709551615 4109448453 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531936 [startup+0.700424 s] /proc/loadavg: 2.04 2.03 2.00 3/200 13266 /proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547772 CPUtime=1.63 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 19271 0 1 0 160 3 0 0 22 0 19 0 131427378 1584918528 16181 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386943 16183 1419 10 0 384245 0 [pid=13266/tid=13267] ppid=13264 vsize=1547772 CPUtime=0.67 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 10731 0 1 0 65 2 0 0 18 0 19 0 131427379 1584918528 16184 4089446400 134512640 134550932 4289762464 18446744073709551615 4109846104 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 1547772 [startup+1.50131 s] /proc/loadavg: 2.04 2.03 2.00 5/219 13285 /proc/meminfo: memFree=31031000/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547632 CPUtime=3.24 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 43770 0 1 0 317 7 0 0 22 0 19 0 131427378 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386908 39030 1444 10 0 384210 0 [pid=13266/tid=13267] ppid=13264 vsize=1547632 CPUtime=1.47 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 32088 0 1 0 142 5 0 0 18 0 19 0 131427379 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4109846219 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 231 0 0 0 0 0 0 0 16 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 131427380 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547632 CPUtime=0.82 /proc/13266/task/13281/stat : 13281 (java) R 13264 13266 12161 0 -1 4202560 3950 0 0 0 82 0 0 0 16 0 19 0 131427383 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 105580672 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547632 CPUtime=0.91 /proc/13266/task/13282/stat : 13282 (java) R 13264 13266 12161 0 -1 4202560 5421 0 0 0 91 0 0 0 22 0 19 0 131427383 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 105499362 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131427383 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547632 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1584775168 39030 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.24 Current children cumulated vsize (KiB) 1547632 [startup+3.10104 s] /proc/loadavg: 2.04 2.03 2.00 3/219 13285 /proc/meminfo: memFree=30990828/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547928 CPUtime=5.04 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 52137 0 1 0 496 8 0 0 22 0 19 0 131427378 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386982 47123 1444 10 0 384284 0 [pid=13266/tid=13267] ppid=13264 vsize=1547928 CPUtime=3.04 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 36564 0 1 0 299 5 0 0 21 0 19 0 131427379 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4109877497 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 595 0 0 0 0 0 0 0 16 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1547928 CPUtime=0.01 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 1132 0 0 0 1 0 0 0 16 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1547928 CPUtime=0.01 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 887 0 0 0 1 0 0 0 16 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 555 0 0 0 0 0 0 0 15 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547928 CPUtime=0.01 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 943 0 0 0 1 0 0 0 16 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 131427380 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547928 CPUtime=0.88 /proc/13266/task/13281/stat : 13281 (java) R 13264 13266 12161 0 -1 4202560 4167 0 0 0 88 0 0 0 15 0 19 0 131427383 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 106262421 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547928 CPUtime=1 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5485 0 0 0 100 0 0 0 15 0 19 0 131427383 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131427383 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547928 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1585078272 47123 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.04 Current children cumulated vsize (KiB) 1547928 [startup+6.30145 s] /proc/loadavg: 2.04 2.03 2.00 3/219 13285 /proc/meminfo: memFree=30957348/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1544892 CPUtime=8.4 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 54198 0 1 0 831 9 0 0 22 0 19 0 131427378 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386223 48195 1444 10 0 383525 0 [pid=13266/tid=13267] ppid=13264 vsize=1544892 CPUtime=6.22 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 36575 0 1 0 617 5 0 0 25 0 19 0 131427379 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4109877600 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1544892 CPUtime=0.01 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 925 0 0 0 1 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1544892 CPUtime=0.02 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 1535 0 0 0 2 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1544892 CPUtime=0.01 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 469 0 0 0 1 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1544892 CPUtime=0.01 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 1132 0 0 0 1 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1544892 CPUtime=0.01 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 671 0 0 0 1 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1544892 CPUtime=0.02 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 1256 0 0 0 2 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1544892 CPUtime=0.01 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 507 0 0 0 1 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 131427380 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1544892 CPUtime=0.95 /proc/13266/task/13281/stat : 13281 (java) S 13264 13266 12161 0 -1 4202560 4171 0 0 0 94 1 0 0 15 0 19 0 131427383 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1544892 CPUtime=1.07 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5492 0 0 0 107 0 0 0 15 0 19 0 131427383 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131427383 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1544892 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1581969408 48195 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.4 Current children cumulated vsize (KiB) 1544892 ################ # More data... # ################ [pid=13266/tid=13274] ppid=13264 vsize=1547964 CPUtime=9.37 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 9479 0 0 0 830 107 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547964 CPUtime=9.88 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 9919 0 0 0 879 109 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547964 CPUtime=10.08 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 8361 0 0 0 884 124 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547964 CPUtime=1.44 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 244 0 0 0 106 38 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547964 CPUtime=1.08 /proc/13266/task/13281/stat : 13281 (java) S 13264 13266 12161 0 -1 4202560 4176 0 0 0 107 1 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547964 CPUtime=1.1 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5496 0 0 0 110 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1727.63 Current children cumulated vsize (KiB) 1547964 [startup+1722.3 s] /proc/loadavg: 2.16 2.44 2.42 3/219 13445 /proc/meminfo: memFree=30955792/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547964 CPUtime=1791.99 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 120694 0 1 0 178117 1082 0 0 22 0 19 0 131427378 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386991 109127 1450 10 0 384293 0 [pid=13266/tid=13267] ppid=13264 vsize=1547964 CPUtime=1704.51 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 39029 0 1 0 170439 12 0 0 25 0 19 0 131427379 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4109846361 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1547964 CPUtime=10.6 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 8182 0 0 0 927 133 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1547964 CPUtime=10.65 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 8331 0 0 0 929 136 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1547964 CPUtime=10.17 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 9138 0 0 0 885 132 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1547964 CPUtime=10.43 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 7991 0 0 0 920 123 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1547964 CPUtime=10.57 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 9178 0 0 0 930 127 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1547964 CPUtime=9.99 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 9479 0 0 0 882 117 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547964 CPUtime=10.56 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 9919 0 0 0 935 121 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547964 CPUtime=10.75 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 8361 0 0 0 941 134 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547964 CPUtime=1.47 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 248 0 0 0 107 40 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547964 CPUtime=1.08 /proc/13266/task/13281/stat : 13281 (java) S 13264 13266 12161 0 -1 4202560 4176 0 0 0 107 1 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547964 CPUtime=1.1 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5496 0 0 0 110 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1791.99 Current children cumulated vsize (KiB) 1547964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1729.9 s] /proc/loadavg: 2.14 2.43 2.41 3/219 13445 /proc/meminfo: memFree=30955660/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547964 CPUtime=1800.06 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 120703 0 1 0 178913 1093 0 0 22 0 19 0 131427378 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386991 109127 1450 10 0 384293 0 [pid=13266/tid=13267] ppid=13264 vsize=1547964 CPUtime=1712.03 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 39038 0 1 0 171191 12 0 0 25 0 19 0 131427379 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4109941660 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1547964 CPUtime=10.68 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 8182 0 0 0 934 134 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1547964 CPUtime=10.71 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 8331 0 0 0 933 138 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1547964 CPUtime=10.25 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 9138 0 0 0 891 134 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1547964 CPUtime=10.5 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 7991 0 0 0 925 125 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1547964 CPUtime=10.66 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 9178 0 0 0 937 129 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1547964 CPUtime=10.03 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 9479 0 0 0 885 118 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547964 CPUtime=10.64 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 9919 0 0 0 942 122 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547964 CPUtime=10.81 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 8361 0 0 0 946 135 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547964 CPUtime=1.47 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 248 0 0 0 107 40 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547964 CPUtime=1.08 /proc/13266/task/13281/stat : 13281 (java) S 13264 13266 12161 0 -1 4202560 4176 0 0 0 107 1 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547964 CPUtime=1.1 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5496 0 0 0 110 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1547964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1729.9 s] /proc/loadavg: 2.14 2.43 2.41 3/219 13445 /proc/meminfo: memFree=30955660/32951124 swapFree=67111528/67111528 [pid=13266] ppid=13264 vsize=1547964 CPUtime=1800.06 /proc/13266/stat : 13266 (java) S 13264 13266 12161 0 -1 4202496 120703 0 1 0 178913 1093 0 0 22 0 19 0 131427378 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13266/statm: 386991 109127 1450 10 0 384293 0 [pid=13266/tid=13267] ppid=13264 vsize=1547964 CPUtime=1712.03 /proc/13266/task/13267/stat : 13267 (java) R 13264 13266 12161 0 -1 4202560 39038 0 1 0 171191 12 0 0 25 0 19 0 131427379 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4109941660 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13266/tid=13269] ppid=13264 vsize=1547964 CPUtime=10.68 /proc/13266/task/13269/stat : 13269 (java) S 13264 13266 12161 0 -1 4202560 8182 0 0 0 934 134 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 4 0 0 0 [pid=13266/tid=13270] ppid=13264 vsize=1547964 CPUtime=10.71 /proc/13266/task/13270/stat : 13270 (java) S 13264 13266 12161 0 -1 4202560 8331 0 0 0 933 138 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13271] ppid=13264 vsize=1547964 CPUtime=10.25 /proc/13266/task/13271/stat : 13271 (java) S 13264 13266 12161 0 -1 4202560 9138 0 0 0 891 134 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13272] ppid=13264 vsize=1547964 CPUtime=10.5 /proc/13266/task/13272/stat : 13272 (java) S 13264 13266 12161 0 -1 4202560 7991 0 0 0 925 125 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13273] ppid=13264 vsize=1547964 CPUtime=10.66 /proc/13266/task/13273/stat : 13273 (java) S 13264 13266 12161 0 -1 4202560 9178 0 0 0 937 129 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13274] ppid=13264 vsize=1547964 CPUtime=10.03 /proc/13266/task/13274/stat : 13274 (java) S 13264 13266 12161 0 -1 4202560 9479 0 0 0 885 118 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0 [pid=13266/tid=13275] ppid=13264 vsize=1547964 CPUtime=10.64 /proc/13266/task/13275/stat : 13275 (java) S 13264 13266 12161 0 -1 4202560 9919 0 0 0 942 122 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13276] ppid=13264 vsize=1547964 CPUtime=10.81 /proc/13266/task/13276/stat : 13276 (java) S 13264 13266 12161 0 -1 4202560 8361 0 0 0 946 135 0 0 16 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13277] ppid=13264 vsize=1547964 CPUtime=1.47 /proc/13266/task/13277/stat : 13277 (java) S 13264 13266 12161 0 -1 4202560 248 0 0 0 107 40 0 0 15 0 19 0 131427380 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0 [pid=13266/tid=13278] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13278/stat : 13278 (java) S 13264 13266 12161 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13279] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13279/stat : 13279 (java) S 13264 13266 12161 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131427381 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0 [pid=13266/tid=13280] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13280/stat : 13280 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 2 0 0 0 [pid=13266/tid=13281] ppid=13264 vsize=1547964 CPUtime=1.08 /proc/13266/task/13281/stat : 13281 (java) S 13264 13266 12161 0 -1 4202560 4176 0 0 0 107 1 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0 [pid=13266/tid=13282] ppid=13264 vsize=1547964 CPUtime=1.1 /proc/13266/task/13282/stat : 13282 (java) S 13264 13266 12161 0 -1 4202560 5496 0 0 0 110 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13283] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13283/stat : 13283 (java) S 13264 13266 12161 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 6 0 0 0 [pid=13266/tid=13284] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13284/stat : 13284 (java) S 13264 13266 12161 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 131427383 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 [pid=13266/tid=13285] ppid=13264 vsize=1547964 CPUtime=0 /proc/13266/task/13285/stat : 13285 (java) S 13264 13266 12161 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131427411 1585115136 109127 4089446400 134512640 134550932 4289762464 18446744073709551615 4294960144 0 4 0 16800975 18446604454223473344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1547964 Child status: 143 Real time (s): 1729.98 CPU time (s): 1800.23 CPU user time (s): 1789.27 CPU system time (s): 10.9603 CPU usage (%): 104.061 Max. virtual memory (cumulated for all children) (KiB): 1549628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.27 system time used= 10.9603 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120729 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= 106127 involuntary context switches= 3103697 runsolver used 3.00954 second user time and 6.66499 second system time The end
Begin job on node134 at 2010-06-30 14:35:12 IDJOB=2692114 IDBENCH=78890 IDSOLVER=1203 FILE ID=node134/2692114-1277901312 PBS_JOBID= 11197163 Free space on /tmp= 74212 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692114-1277901312/watcher-2692114-1277901312 -o /tmp/evaluation-result-2692114-1277901312/solver-2692114-1277901312 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692114-1277901312.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 94413eaf3e98de59f2ecdb125fc71636 RANDOM SEED=1436312705 node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7397.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31146124 kB Buffers: 186712 kB Cached: 1087552 kB SwapCached: 0 kB Active: 977068 kB Inactive: 684724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31146124 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 412 kB Writeback: 0 kB AnonPages: 388188 kB Mapped: 20480 kB Slab: 78944 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655648 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74212 MiB End job on node134 at 2010-06-30 15:04:04