Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.21 | 1684.6 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo |
MD5SUM | b6831e02f19f517e205ea45f0a3f162b |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 159.195 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 745 |
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.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.0.v20100526 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.07 c java.vm.version 11.2-b01 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 32 0.01/0.07 c java.version 1.6.0_12 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.18-164.el5 0.01/0.07 c os.arch i386 0.01/0.07 c Free memory 1393557488 0.01/0.07 c Max memory 1395916800 0.01/0.07 c Total memory 1395916800 0.01/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@1b16e52 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-2692111-1277901007.wbo 0.11/0.10 c reading problem ... 0.52/0.30 c ... done. Wall clock time 0.201s. 0.52/0.30 c #vars 2070 0.52/0.30 c #constraints 2707 0.52/0.30 c constraints type 0.52/0.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74 0.52/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 0.52/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1831 0.52/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.62/1.09 c SATISFIABLE 2.62/1.09 c OPTIMIZING... 2.62/1.09 c Got one! Elapsed wall clock time (in seconds):0.987 2.62/1.09 o 751 3.27/1.38 c Got one! Elapsed wall clock time (in seconds):1.277 3.27/1.38 o 719 3.89/1.80 c Got one! Elapsed wall clock time (in seconds):1.702 3.89/1.80 o 700 4.23/2.12 c Got one! Elapsed wall clock time (in seconds):2.024 4.23/2.12 o 678 4.76/2.64 c Got one! Elapsed wall clock time (in seconds):2.539 4.76/2.64 o 659 5.73/3.51 c Got one! Elapsed wall clock time (in seconds):3.41 5.73/3.51 o 642 6.17/3.93 c Got one! Elapsed wall clock time (in seconds):3.828 6.17/3.93 o 640 6.89/4.67 c Got one! Elapsed wall clock time (in seconds):4.57 6.89/4.67 o 594 8.14/5.88 c Got one! Elapsed wall clock time (in seconds):5.777 8.14/5.88 o 575 10.49/8.14 c Got one! Elapsed wall clock time (in seconds):8.044 10.49/8.14 o 567 11.30/8.93 c Got one! Elapsed wall clock time (in seconds):8.834 11.30/8.93 o 562 12.93/10.55 c Got one! Elapsed wall clock time (in seconds):10.447 12.93/10.55 o 504 15.17/12.71 c Got one! Elapsed wall clock time (in seconds):12.609 15.17/12.71 o 444 18.52/16.09 c Got one! Elapsed wall clock time (in seconds):15.992 18.52/16.09 o 437 24.03/21.45 c Got one! Elapsed wall clock time (in seconds):21.348 24.03/21.45 o 413 25.75/23.12 c Got one! Elapsed wall clock time (in seconds):23.017 25.75/23.12 o 385 58.65/55.14 c Got one! Elapsed wall clock time (in seconds):55.038 58.65/55.14 o 374 63.44/59.81 c Got one! Elapsed wall clock time (in seconds):59.716 63.44/59.81 o 318 84.28/80.10 c Got one! Elapsed wall clock time (in seconds):80.006 84.28/80.10 o 298 120.34/115.18 c cleaning 0 clauses out of 5002 with flag 0/5002 147.62/141.52 c Got one! Elapsed wall clock time (in seconds):141.42 147.62/141.52 o 297 179.40/172.50 c Got one! Elapsed wall clock time (in seconds):172.406 179.40/172.50 o 284 264.44/253.67 c Got one! Elapsed wall clock time (in seconds):253.574 264.44/253.67 o 234 397.42/379.98 c Got one! Elapsed wall clock time (in seconds):379.884 397.42/379.98 o 219 485.69/464.22 c Got one! Elapsed wall clock time (in seconds):464.12 485.69/464.22 o 216 561.25/537.52 c Got one! Elapsed wall clock time (in seconds):537.418 561.25/537.52 o 215 621.51/594.06 c Got one! Elapsed wall clock time (in seconds):593.966 621.51/594.06 o 213 684.99/653.99 c Got one! Elapsed wall clock time (in seconds):653.889 684.99/653.99 o 203 815.25/775.10 c cleaning 0 clauses out of 11001 with flag 0/11001 1191.69/1123.04 c Got one! Elapsed wall clock time (in seconds):1122.942 1191.69/1123.04 o 186 1800.09/1684.51 c starts : 64 1800.09/1684.51 c conflicts : 14419 1800.09/1684.51 c decisions : 225827 1800.09/1684.51 c propagations : 2927387 1800.09/1684.51 c inspects : 736009227 1800.09/1684.51 c learnt literals : 0 1800.09/1684.51 c learnt binary clauses : 0 1800.09/1684.51 c learnt ternary clauses : 0 1800.09/1684.51 c learnt clauses : 14418 1800.09/1684.51 c ignored clauses : 0 1800.09/1684.51 c root simplifications : 0 1800.09/1684.51 c removed literals (reason simplification) : 0 1800.09/1684.51 c reason swapping (by a shorter reason) : 0 1800.09/1684.51 c Calls to reduceDB : 2 1800.09/1684.51 c number of reductions to clauses (during analyze) : 0 1800.09/1684.51 c number of learned constraints concerned by reduction : 0 1800.09/1684.51 c number of learning phase by resolution : 0 1800.09/1684.51 c number of learning phase by cutting planes : 0 1800.09/1684.51 c speed (assignments/second) : 5213.818443470409 1800.09/1684.51 c non guided choices 2834 1800.09/1684.52 c learnt constraints type 1800.09/1684.52 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 11 1800.09/1684.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 1800.09/1684.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14403 1800.09/1684.52 c constraints type 1800.09/1684.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74 1800.09/1684.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 1800.09/1684.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1831 1800.09/1684.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.09/1684.52 s SATISFIABLE 1800.09/1684.52 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.09/1684.52 c objective function=186 1800.09/1684.52 c Total wall clock time (in seconds): 1684.424
OK 186
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692111-1277901007/watcher-2692111-1277901007 -o /tmp/evaluation-result-2692111-1277901007/solver-2692111-1277901007 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692111-1277901007.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: 1.99 1.97 1.98 3/178 10501 /proc/meminfo: memFree=31222392/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=13164 CPUtime=0 /proc/10501/stat : 10501 (java) R 10499 10501 9633 0 -1 4194304 809 0 0 0 0 0 0 0 21 0 1 0 131398269 13479936 362 4089446400 134512640 134550932 4286994144 18446744073709551615 4900485 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10501/statm: 3291 366 142 10 0 1121 0 [startup+0.0241301 s] /proc/loadavg: 1.99 1.97 1.98 3/178 10501 /proc/meminfo: memFree=31222392/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1524672 CPUtime=0.01 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 3520 0 1 0 1 0 0 0 21 0 11 0 131398269 1561264128 2963 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 381168 2964 989 10 0 378478 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1524672 [startup+0.101136 s] /proc/loadavg: 1.99 1.97 1.98 3/178 10501 /proc/meminfo: memFree=31222392/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1529904 CPUtime=0.11 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 5209 0 1 0 10 1 0 0 21 0 18 0 131398269 1566621696 4646 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 382476 4646 1347 10 0 379778 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529904 [startup+0.301081 s] /proc/loadavg: 1.99 1.97 1.98 3/178 10501 /proc/meminfo: memFree=31222392/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1531768 CPUtime=0.52 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 7572 0 1 0 50 2 0 0 21 0 18 0 131398269 1568530432 6919 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 382942 6919 1411 10 0 380244 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531768 [startup+0.70102 s] /proc/loadavg: 1.99 1.97 1.98 3/178 10501 /proc/meminfo: memFree=31222392/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1552388 CPUtime=1.7 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 21341 0 1 0 166 4 0 0 21 0 19 0 131398269 1589645312 17384 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 388097 17385 1420 10 0 385399 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1552388 [startup+1.50087 s] /proc/loadavg: 1.99 1.97 1.98 5/197 10520 /proc/meminfo: memFree=31104680/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1549924 CPUtime=3.54 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 44354 0 1 0 347 7 0 0 21 0 19 0 131398269 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387481 38951 1444 10 0 384783 0 [pid=10501/tid=10503] ppid=10499 vsize=1549924 CPUtime=1.47 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 32091 0 1 0 142 5 0 0 19 0 19 0 131398269 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4109638700 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 223 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 217 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 127 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 131398270 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 131398271 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549924 CPUtime=0.99 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4311 0 0 0 99 0 0 0 23 0 19 0 131398273 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549924 CPUtime=1.04 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6292 0 0 0 103 1 0 0 16 0 19 0 131398273 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131398273 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587122176 38951 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.54 Current children cumulated vsize (KiB) 1549924 [startup+3.10158 s] /proc/loadavg: 1.99 1.97 1.98 3/197 10520 /proc/meminfo: memFree=31066860/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1549924 CPUtime=5.31 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 48342 0 1 0 523 8 0 0 21 0 19 0 131398269 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387481 42927 1444 10 0 384783 0 [pid=10501/tid=10503] ppid=10499 vsize=1549924 CPUtime=3.06 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 32099 0 1 0 301 5 0 0 19 0 19 0 131398269 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4109647868 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 652 0 0 0 0 0 0 0 16 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 506 0 0 0 0 0 0 0 15 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1549924 CPUtime=0.01 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 1028 0 0 0 1 0 0 0 16 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1549924 CPUtime=0.01 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 635 0 0 0 1 0 0 0 16 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 592 0 0 0 0 0 0 0 16 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 478 0 0 0 0 0 0 0 16 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 600 0 0 0 0 0 0 0 15 0 19 0 131398270 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 131398271 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549924 CPUtime=1.05 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4322 0 0 0 105 0 0 0 15 0 19 0 131398273 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549924 CPUtime=1.1 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6296 0 0 0 109 1 0 0 15 0 19 0 131398273 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131398273 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549924 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587122176 42927 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.31 Current children cumulated vsize (KiB) 1549924 [startup+6.30104 s] /proc/loadavg: 1.99 1.97 1.98 3/197 10520 /proc/meminfo: memFree=31029376/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1548828 CPUtime=8.66 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 56360 0 1 0 855 11 0 0 21 0 19 0 131398269 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387207 50087 1444 10 0 384509 0 [pid=10501/tid=10503] ppid=10499 vsize=1548828 CPUtime=6.22 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 35382 0 1 0 617 5 0 0 18 0 19 0 131398269 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4109635526 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1548828 CPUtime=0.02 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 1158 0 0 0 2 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1548828 CPUtime=0.01 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 830 0 0 0 1 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1548828 CPUtime=0.03 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 1571 0 0 0 3 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1548828 CPUtime=0.02 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 1214 0 0 0 2 0 0 0 16 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1548828 CPUtime=0.02 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 1245 0 0 0 2 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1548828 CPUtime=0.03 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 1400 0 0 0 3 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1548828 CPUtime=0.01 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 672 0 0 0 1 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1548828 CPUtime=0.02 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 1170 0 0 0 2 0 0 0 15 0 19 0 131398270 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 131398271 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1548828 CPUtime=1.07 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4324 0 0 0 107 0 0 0 15 0 19 0 131398273 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1548828 CPUtime=1.1 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6296 0 0 0 109 1 0 0 15 0 19 0 131398273 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131398273 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1548828 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1585999872 50087 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.66 Current children cumulated vsize (KiB) 1548828 [startup+12.7009 s] /proc/loadavg: 1.99 1.97 1.98 3/197 10520 /proc/meminfo: memFree=31017716/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1548828 CPUtime=15.17 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 59433 0 1 0 1504 13 0 0 21 0 19 0 131398269 1585999872 52926 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387207 52926 1444 10 0 384509 0 [pid=10501/tid=10503] ppid=10499 vsize=1548828 CPUtime=12.58 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 35714 0 1 0 1253 5 0 0 21 0 19 0 131398269 1585999872 52926 4089446400 134512640 134550932 4286994144 18446744073709551615 4109638717 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1548828 CPUtime=0.03 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 1370 0 0 0 3 0 0 0 15 0 19 0 131398270 1585999872 52926 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=10501/tid=10509] ppid=10499 vsize=1549852 CPUtime=16.34 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 16602 0 0 0 1362 272 0 0 16 0 19 0 131398270 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549852 CPUtime=16.25 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 15572 0 0 0 1355 270 0 0 16 0 19 0 131398270 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549852 CPUtime=15.69 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 16656 0 0 0 1365 204 0 0 16 0 19 0 131398270 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549852 CPUtime=1.88 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 140 0 0 0 108 80 0 0 15 0 19 0 131398271 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549852 CPUtime=1.37 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4398 0 0 0 137 0 0 0 15 0 19 0 131398273 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549852 CPUtime=1.13 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6299 0 0 0 112 1 0 0 16 0 19 0 131398273 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 131398273 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587048448 167973 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1710.73 Current children cumulated vsize (KiB) 1549852 [startup+1662.3 s] /proc/loadavg: 3.13 2.40 2.14 4/218 10659 /proc/meminfo: memFree=30384152/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1549852 CPUtime=1775.93 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 190009 0 1 0 175527 2066 0 0 21 0 19 0 131398269 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387463 174665 1450 10 0 384765 0 [pid=10501/tid=10503] ppid=10499 vsize=1549852 CPUtime=1636.4 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 39933 0 1 0 163622 18 0 0 25 0 19 0 131398269 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4109706944 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1549852 CPUtime=16.78 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 17276 0 0 0 1460 218 0 0 16 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 7 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1549852 CPUtime=16.77 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 17079 0 0 0 1444 233 0 0 16 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1549852 CPUtime=16.69 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 17302 0 0 0 1416 253 0 0 16 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1549852 CPUtime=16.83 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 17341 0 0 0 1462 221 0 0 15 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1549852 CPUtime=17.11 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 17444 0 0 0 1449 262 0 0 16 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1549852 CPUtime=17.3 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 17568 0 0 0 1450 280 0 0 16 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549852 CPUtime=16.99 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 16424 0 0 0 1421 278 0 0 15 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549852 CPUtime=16.5 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 17639 0 0 0 1437 213 0 0 15 0 19 0 131398270 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549852 CPUtime=1.94 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 144 0 0 0 111 83 0 0 15 0 19 0 131398271 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549852 CPUtime=1.37 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4398 0 0 0 137 0 0 0 15 0 19 0 131398273 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549852 CPUtime=1.13 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6299 0 0 0 112 1 0 0 16 0 19 0 131398273 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 131398273 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587048448 174665 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1775.93 Current children cumulated vsize (KiB) 1549852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1684.5 s] /proc/loadavg: 3.03 2.42 2.15 11/218 10660 /proc/meminfo: memFree=30364912/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1549852 CPUtime=1800.09 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 192960 0 1 0 177921 2088 0 0 21 0 19 0 131398269 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387463 177464 1450 10 0 384765 0 [pid=10501/tid=10503] ppid=10499 vsize=1549852 CPUtime=1658.08 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 39999 0 1 0 165790 18 0 0 25 0 19 0 131398269 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4109642759 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1549852 CPUtime=17.05 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 17560 0 0 0 1484 221 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1549852 CPUtime=17.07 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 17459 0 0 0 1471 236 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1549852 CPUtime=17 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 17718 0 0 0 1444 256 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1549852 CPUtime=17.16 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 17729 0 0 0 1493 223 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1549852 CPUtime=17.38 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 17779 0 0 0 1473 265 0 0 15 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1549852 CPUtime=17.58 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 17946 0 0 0 1476 282 0 0 15 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549852 CPUtime=17.34 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 16731 0 0 0 1455 279 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549852 CPUtime=16.84 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 18036 0 0 0 1468 216 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549852 CPUtime=1.96 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 144 0 0 0 112 84 0 0 15 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549852 CPUtime=1.37 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4398 0 0 0 137 0 0 0 15 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549852 CPUtime=1.13 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6299 0 0 0 112 1 0 0 16 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1549852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1684.5 s] /proc/loadavg: 3.03 2.42 2.15 11/218 10660 /proc/meminfo: memFree=30364912/32951124 swapFree=67111528/67111528 [pid=10501] ppid=10499 vsize=1549852 CPUtime=1800.09 /proc/10501/stat : 10501 (java) S 10499 10501 9633 0 -1 4202496 192960 0 1 0 177921 2088 0 0 21 0 19 0 131398269 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10501/statm: 387463 177464 1450 10 0 384765 0 [pid=10501/tid=10503] ppid=10499 vsize=1549852 CPUtime=1658.08 /proc/10501/task/10503/stat : 10503 (java) R 10499 10501 9633 0 -1 4202560 39999 0 1 0 165790 18 0 0 25 0 19 0 131398269 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4109642759 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10501/tid=10504] ppid=10499 vsize=1549852 CPUtime=17.05 /proc/10501/task/10504/stat : 10504 (java) S 10499 10501 9633 0 -1 4202560 17560 0 0 0 1484 221 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10505] ppid=10499 vsize=1549852 CPUtime=17.07 /proc/10501/task/10505/stat : 10505 (java) S 10499 10501 9633 0 -1 4202560 17459 0 0 0 1471 236 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 2 0 0 0 [pid=10501/tid=10506] ppid=10499 vsize=1549852 CPUtime=17 /proc/10501/task/10506/stat : 10506 (java) S 10499 10501 9633 0 -1 4202560 17718 0 0 0 1444 256 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10507] ppid=10499 vsize=1549852 CPUtime=17.16 /proc/10501/task/10507/stat : 10507 (java) S 10499 10501 9633 0 -1 4202560 17729 0 0 0 1493 223 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10508] ppid=10499 vsize=1549852 CPUtime=17.38 /proc/10501/task/10508/stat : 10508 (java) S 10499 10501 9633 0 -1 4202560 17779 0 0 0 1473 265 0 0 15 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10509] ppid=10499 vsize=1549852 CPUtime=17.58 /proc/10501/task/10509/stat : 10509 (java) S 10499 10501 9633 0 -1 4202560 17946 0 0 0 1476 282 0 0 15 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10510] ppid=10499 vsize=1549852 CPUtime=17.34 /proc/10501/task/10510/stat : 10510 (java) S 10499 10501 9633 0 -1 4202560 16731 0 0 0 1455 279 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10511] ppid=10499 vsize=1549852 CPUtime=16.84 /proc/10501/task/10511/stat : 10511 (java) S 10499 10501 9633 0 -1 4202560 18036 0 0 0 1468 216 0 0 16 0 19 0 131398270 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10512] ppid=10499 vsize=1549852 CPUtime=1.96 /proc/10501/task/10512/stat : 10512 (java) S 10499 10501 9633 0 -1 4202560 144 0 0 0 112 84 0 0 15 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 0 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10513] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10513/stat : 10513 (java) S 10499 10501 9633 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 [pid=10501/tid=10514] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10514/stat : 10514 (java) S 10499 10501 9633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131398271 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 3 0 0 0 [pid=10501/tid=10515] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10515/stat : 10515 (java) S 10499 10501 9633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10516] ppid=10499 vsize=1549852 CPUtime=1.37 /proc/10501/task/10516/stat : 10516 (java) S 10499 10501 9633 0 -1 4202560 4398 0 0 0 137 0 0 0 15 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 4 0 0 0 [pid=10501/tid=10517] ppid=10499 vsize=1549852 CPUtime=1.13 /proc/10501/task/10517/stat : 10517 (java) S 10499 10501 9633 0 -1 4202560 6299 0 0 0 112 1 0 0 16 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 5 0 0 0 [pid=10501/tid=10518] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10518/stat : 10518 (java) S 10499 10501 9633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 6 0 0 0 [pid=10501/tid=10519] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10519/stat : 10519 (java) S 10499 10501 9633 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 131398273 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 0 0 0 0 [pid=10501/tid=10520] ppid=10499 vsize=1549852 CPUtime=0 /proc/10501/task/10520/stat : 10520 (java) S 10499 10501 9633 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131398304 1587048448 177464 4089446400 134512640 134550932 4286994144 18446744073709551615 4294960144 0 4 0 16800975 18446604471097180544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1549852 Child status: 143 Real time (s): 1684.6 CPU time (s): 1800.21 CPU user time (s): 1779.29 CPU system time (s): 20.9208 CPU usage (%): 106.863 Max. virtual memory (cumulated for all children) (KiB): 1552724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.29 system time used= 20.9208 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192984 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= 158335 involuntary context switches= 5127725 runsolver used 3.08953 second user time and 6.22005 second system time The end
Begin job on node107 at 2010-06-30 14:30:08 IDJOB=2692111 IDBENCH=78887 IDSOLVER=1203 FILE ID=node107/2692111-1277901007 PBS_JOBID= 11197168 Free space on /tmp= 74208 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.1900551347--soft-33-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-2692111-1277901007/watcher-2692111-1277901007 -o /tmp/evaluation-result-2692111-1277901007/solver-2692111-1277901007 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692111-1277901007.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b RANDOM SEED=1474355281 node107.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.849 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.69 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.849 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.849 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.82 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.849 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 : 5332.75 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.849 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.81 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.849 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.75 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.849 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.82 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.849 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31222904 kB Buffers: 183916 kB Cached: 1270304 kB SwapCached: 0 kB Active: 490904 kB Inactive: 1094640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31222904 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 420 kB Writeback: 0 kB AnonPages: 131220 kB Mapped: 17084 kB Slab: 78560 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 275344 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 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 node107 at 2010-06-30 14:58:14