Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | OPTIMUM | 14.1608 | 12.7551 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo |
| MD5SUM | cd14c84645c681c9a9ce76500d94ff11 |
| 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 | 19 |
| Best CPU time to get the best result obtained on this benchmark | 4.82227 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 42 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 1838 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 1837 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1270 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Glucose 2.1 dynamic restart strategy 0.10/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-4109412-1466343636.wbo 0.10/0.10 c reading problem ... 0.10/0.16 c ... done. Wall clock time 0.053s. 0.10/0.16 c declared #vars 169 0.10/0.16 c internal #vars 211 0.10/0.16 c #constraints 101 0.10/0.16 c constraints type 0.10/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.10/0.16 c org.sat4j.minisat.constraints.card.MinWatchCard => 41 0.10/0.16 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.10/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30 0.10/0.16 c 101 constraints processed. 0.10/0.16 c objective function length is 42 literals 0.27/0.27 c SATISFIABLE 0.27/0.27 c OPTIMIZING... 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.165 0.27/0.27 o 822 0.56/0.31 c Got one! Elapsed wall clock time (in seconds):0.207 0.56/0.31 o 816 0.56/0.32 c Got one! Elapsed wall clock time (in seconds):0.216 0.56/0.32 o 804 0.56/0.33 c Got one! Elapsed wall clock time (in seconds):0.225 0.56/0.33 o 782 0.56/0.35 c Got one! Elapsed wall clock time (in seconds):0.243 0.56/0.35 o 781 0.56/0.36 c Got one! Elapsed wall clock time (in seconds):0.259 0.56/0.36 o 765 0.69/0.40 c Got one! Elapsed wall clock time (in seconds):0.296 0.69/0.40 o 759 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.324 0.69/0.43 o 755 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.327 0.69/0.43 o 520 0.69/0.44 c Got one! Elapsed wall clock time (in seconds):0.335 0.69/0.44 o 519 0.69/0.45 c Got one! Elapsed wall clock time (in seconds):0.348 0.69/0.45 o 516 0.69/0.46 c Got one! Elapsed wall clock time (in seconds):0.351 0.69/0.46 o 515 0.69/0.46 c Got one! Elapsed wall clock time (in seconds):0.357 0.69/0.46 o 508 0.69/0.49 c Got one! Elapsed wall clock time (in seconds):0.388 0.69/0.49 o 503 0.84/0.51 c Got one! Elapsed wall clock time (in seconds):0.403 0.84/0.51 o 500 0.84/0.53 c Got one! Elapsed wall clock time (in seconds):0.428 0.84/0.53 o 497 0.84/0.55 c Got one! Elapsed wall clock time (in seconds):0.45 0.84/0.55 o 493 0.84/0.56 c Got one! Elapsed wall clock time (in seconds):0.461 0.84/0.56 o 488 0.84/0.57 c Got one! Elapsed wall clock time (in seconds):0.464 0.84/0.57 o 485 0.84/0.57 c Got one! Elapsed wall clock time (in seconds):0.467 0.84/0.57 o 450 0.84/0.57 c Got one! Elapsed wall clock time (in seconds):0.469 0.84/0.57 o 424 0.84/0.58 c Got one! Elapsed wall clock time (in seconds):0.474 0.84/0.58 o 419 0.84/0.58 c Got one! Elapsed wall clock time (in seconds):0.478 0.84/0.58 o 413 0.84/0.59 c Got one! Elapsed wall clock time (in seconds):0.482 0.84/0.59 o 406 0.84/0.59 c Got one! Elapsed wall clock time (in seconds):0.484 0.84/0.59 o 368 0.84/0.59 c Got one! Elapsed wall clock time (in seconds):0.487 0.84/0.59 o 346 0.95/0.60 c Got one! Elapsed wall clock time (in seconds):0.499 0.95/0.60 o 345 0.95/0.62 c Got one! Elapsed wall clock time (in seconds):0.517 0.95/0.62 o 340 0.95/0.63 c Got one! Elapsed wall clock time (in seconds):0.522 0.95/0.63 o 339 0.95/0.64 c Got one! Elapsed wall clock time (in seconds):0.534 0.95/0.64 o 321 0.95/0.66 c Got one! Elapsed wall clock time (in seconds):0.552 0.95/0.66 o 316 0.95/0.67 c Got one! Elapsed wall clock time (in seconds):0.563 0.95/0.67 o 314 0.95/0.67 c Got one! Elapsed wall clock time (in seconds):0.57 0.95/0.67 o 313 0.95/0.69 c Got one! Elapsed wall clock time (in seconds):0.586 0.95/0.69 o 309 1.10/0.70 c Got one! Elapsed wall clock time (in seconds):0.593 1.10/0.70 o 305 1.10/0.75 c Got one! Elapsed wall clock time (in seconds):0.647 1.10/0.75 o 294 1.10/0.76 c Got one! Elapsed wall clock time (in seconds):0.661 1.10/0.76 o 293 1.10/0.77 c Got one! Elapsed wall clock time (in seconds):0.666 1.10/0.77 o 283 1.20/0.82 c Got one! Elapsed wall clock time (in seconds):0.715 1.20/0.82 o 280 1.20/0.83 c Got one! Elapsed wall clock time (in seconds):0.725 1.20/0.83 o 276 1.20/0.84 c Got one! Elapsed wall clock time (in seconds):0.734 1.20/0.84 o 251 1.20/0.84 c Got one! Elapsed wall clock time (in seconds):0.741 1.20/0.84 o 248 1.32/0.97 c cleaning 8462 clauses out of 16928 with flag 5917/16928 1.32/0.97 c Got one! Elapsed wall clock time (in seconds):0.864 1.32/0.97 o 241 1.55/1.15 c cleaning 6747 clauses out of 13501 with flag 14483/21963 1.79/1.36 c cleaning 6378 clauses out of 12759 with flag 31685/27968 1.91/1.46 c Got one! Elapsed wall clock time (in seconds):1.352 1.91/1.46 o 240 1.91/1.47 c Got one! Elapsed wall clock time (in seconds):1.363 1.91/1.47 o 220 1.91/1.49 c Got one! Elapsed wall clock time (in seconds):1.39 1.91/1.49 o 218 2.01/1.58 c cleaning 6327 clauses out of 12657 with flag 6425/34244 2.11/1.61 c Got one! Elapsed wall clock time (in seconds):1.501 2.11/1.61 o 217 2.21/1.78 c cleaning 6101 clauses out of 12207 with flag 17513/40121 2.31/1.80 c Got one! Elapsed wall clock time (in seconds):1.7 2.31/1.80 o 215 2.31/1.82 c Got one! Elapsed wall clock time (in seconds):1.719 2.31/1.82 o 214 2.47/1.91 c Got one! Elapsed wall clock time (in seconds):1.808 2.47/1.91 o 210 2.47/1.91 c Got one! Elapsed wall clock time (in seconds):1.81 2.47/1.91 o 209 2.47/1.99 c Got one! Elapsed wall clock time (in seconds):1.884 2.47/1.99 o 208 2.57/2.07 c cleaning 6996 clauses out of 13997 with flag 6265/48012 2.67/2.13 c Got one! Elapsed wall clock time (in seconds):2.026 2.67/2.13 o 200 2.67/2.14 c Got one! Elapsed wall clock time (in seconds):2.037 2.67/2.14 o 196 2.67/2.14 c Got one! Elapsed wall clock time (in seconds):2.04 2.67/2.14 o 190 2.67/2.15 c Got one! Elapsed wall clock time (in seconds):2.046 2.67/2.15 o 185 2.67/2.16 c Got one! Elapsed wall clock time (in seconds):2.054 2.67/2.16 o 180 2.90/2.30 c cleaning 6851 clauses out of 13719 with flag 12869/54730 2.99/2.48 c Got one! Elapsed wall clock time (in seconds):2.372 2.99/2.48 o 177 2.99/2.49 c Got one! Elapsed wall clock time (in seconds):2.39 2.99/2.49 o 175 3.09/2.51 c Got one! Elapsed wall clock time (in seconds):2.402 3.09/2.51 o 168 3.09/2.52 c Got one! Elapsed wall clock time (in seconds):2.413 3.09/2.52 o 167 3.34/2.74 c cleaning 9268 clauses out of 18541 with flag 18401/66403 3.64/3.00 c cleaning 7634 clauses out of 15273 with flag 40029/72403 3.64/3.00 c Got one! Elapsed wall clock time (in seconds):2.895 3.64/3.00 o 165 3.74/3.17 c cleaning 6337 clauses out of 12678 with flag 18122/77442 3.95/3.39 c Got one! Elapsed wall clock time (in seconds):3.284 3.95/3.39 o 155 4.05/3.49 c Got one! Elapsed wall clock time (in seconds):3.389 4.05/3.49 o 150 4.26/3.68 c cleaning 8653 clauses out of 17310 with flag 11999/88411 4.83/3.94 c cleaning 7323 clauses out of 14656 with flag 33246/94411 4.99/4.07 c Got one! Elapsed wall clock time (in seconds):3.962 4.99/4.07 o 138 5.09/4.16 c cleaning 6517 clauses out of 13049 with flag 6591/100127 5.09/4.19 c Got one! Elapsed wall clock time (in seconds):4.09 5.09/4.19 o 135 5.24/4.27 c Got one! Elapsed wall clock time (in seconds):4.17 5.24/4.27 o 115 5.45/4.36 c cleaning 6058 clauses out of 12130 with flag 7117/105725 5.86/4.58 c cleaning 6026 clauses out of 12072 with flag 28758/111725 6.15/4.84 c cleaning 6523 clauses out of 13049 with flag 54544/118728 6.25/4.97 c Got one! Elapsed wall clock time (in seconds):4.868 6.25/4.97 o 111 6.35/5.04 c Got one! Elapsed wall clock time (in seconds):4.938 6.35/5.04 o 110 6.35/5.09 c cleaning 6514 clauses out of 13029 with flag 4012/125232 6.45/5.14 c Got one! Elapsed wall clock time (in seconds):5.036 6.45/5.14 o 105 6.45/5.17 c Got one! Elapsed wall clock time (in seconds):5.062 6.45/5.17 o 104 6.65/5.32 c cleaning 6512 clauses out of 13025 with flag 15344/131742 6.65/5.34 c Got one! Elapsed wall clock time (in seconds):5.236 6.65/5.34 o 102 6.86/5.53 c cleaning 6076 clauses out of 12153 with flag 19469/137382 7.05/5.74 c cleaning 6033 clauses out of 12080 with flag 41975/143385 7.15/5.83 c Got one! Elapsed wall clock time (in seconds):5.723 7.15/5.83 o 99 7.26/5.94 c cleaning 5806 clauses out of 11634 with flag 12437/148972 7.46/6.12 c Got one! Elapsed wall clock time (in seconds):6.012 7.46/6.12 o 98 7.46/6.16 c cleaning 5730 clauses out of 11466 with flag 4145/154610 7.66/6.38 c cleaning 5863 clauses out of 11735 with flag 28408/160609 7.97/6.66 c cleaning 6430 clauses out of 12872 with flag 55074/167609 8.36/7.00 c cleaning 7217 clauses out of 14442 with flag 89179/175609 8.36/7.04 c Got one! Elapsed wall clock time (in seconds):6.937 8.36/7.04 o 96 8.57/7.21 c cleaning 6313 clauses out of 12645 with flag 16159/181030 8.57/7.23 c Got one! Elapsed wall clock time (in seconds):7.123 8.57/7.23 o 95 8.57/7.27 c Got one! Elapsed wall clock time (in seconds):7.165 8.57/7.27 o 93 8.77/7.42 c cleaning 6120 clauses out of 12246 with flag 16026/186944 8.87/7.50 c Got one! Elapsed wall clock time (in seconds):7.395 8.87/7.50 o 88 8.97/7.62 c cleaning 5697 clauses out of 11405 with flag 13220/192223 9.18/7.83 c cleaning 5851 clauses out of 11709 with flag 39474/198224 9.27/7.92 c Got one! Elapsed wall clock time (in seconds):7.815 9.27/7.92 o 67 9.27/7.94 c Got one! Elapsed wall clock time (in seconds):7.833 9.27/7.94 o 65 9.27/7.94 c Got one! Elapsed wall clock time (in seconds):7.837 9.27/7.94 o 58 9.37/8.07 c cleaning 6073 clauses out of 12160 with flag 12934/204526 9.57/8.29 c cleaning 6036 clauses out of 12086 with flag 38008/210525 9.87/8.55 c cleaning 6521 clauses out of 13049 with flag 66192/217524 10.18/8.84 c cleaning 7262 clauses out of 14527 with flag 98102/225524 10.57/9.20 c cleaning 8129 clauses out of 16265 with flag 135741/234524 10.97/9.61 c cleaning 9064 clauses out of 18136 with flag 177743/244524 11.38/10.07 c cleaning 10029 clauses out of 20070 with flag 224721/255524 11.97/10.65 c cleaning 11014 clauses out of 22039 with flag 279080/267524 12.17/10.84 c Got one! Elapsed wall clock time (in seconds):10.732 12.17/10.84 o 51 12.17/10.89 c cleaning 8286 clauses out of 16582 with flag 4822/273081 12.48/11.13 c cleaning 7147 clauses out of 14296 with flag 30739/279081 12.77/11.41 c cleaning 7072 clauses out of 14147 with flag 61760/286081 12.87/11.55 c Got one! Elapsed wall clock time (in seconds):11.445 12.87/11.55 o 48 12.87/11.60 c cleaning 6154 clauses out of 12330 with flag 4413/291337 12.98/11.61 c Got one! Elapsed wall clock time (in seconds):11.503 12.98/11.61 o 35 13.09/11.79 c cleaning 5746 clauses out of 11498 with flag 23741/296659 13.38/12.00 c cleaning 5867 clauses out of 11749 with flag 50891/302659 13.59/12.24 c cleaning 6435 clauses out of 12880 with flag 80675/309661 13.89/12.55 c cleaning 7213 clauses out of 14438 with flag 115883/317660 13.89/12.58 c Got one! Elapsed wall clock time (in seconds):12.474 13.89/12.58 o 29 13.99/12.62 c Got one! Elapsed wall clock time (in seconds):12.516 13.99/12.62 o 26 13.99/12.68 c Got one! Elapsed wall clock time (in seconds):12.579 13.99/12.68 o 20 14.09/12.74 c Got one! Elapsed wall clock time (in seconds):12.635 14.09/12.74 o 19 14.09/12.75 c starts : 523 14.09/12.75 c conflicts : 322560 14.09/12.75 c decisions : 519177 14.09/12.75 c propagations : 8527097 14.09/12.75 c inspects : 160203550 14.09/12.75 c shortcuts : 0 14.09/12.75 c learnt literals : 33 14.09/12.75 c learnt binary clauses : 9 14.09/12.75 c learnt ternary clauses : 468 14.09/12.75 c learnt constraints : 322527 14.09/12.75 c ignored constraints : 0 14.09/12.75 c root simplifications : 0 14.09/12.75 c removed literals (reason simplification) : 0 14.09/12.75 c reason swapping (by a shorter reason) : 0 14.09/12.75 c Calls to reduceDB : 45 14.09/12.75 c Number of update (reduction) of LBD : 82458 14.09/12.75 c Imported unit clauses : 0 14.09/12.75 c number of reductions to clauses (during analyze) : 0 14.09/12.75 c number of learned constraints concerned by reduction : 0 14.09/12.75 c number of learning phase by resolution : 0 14.09/12.75 c number of learning phase by cutting planes : 0 14.09/12.75 c speed (assignments/second) : 677560.3496225665 14.09/12.75 c non guided choices 3088 14.09/12.75 c learnt constraints type 14.09/12.75 s OPTIMUM FOUND 14.09/12.75 c Found 88 solution(s) 14.09/12.75 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 14.09/12.75 c objective function=19 14.09/12.75 c Total wall clock time (in seconds): 12.644
OK 19
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109412-1466343636/watcher-4109412-1466343636 -o /tmp/evaluation-result-4109412-1466343636/solver-4109412-1466343636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466341814-20471 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109412-1466343636.wbo pid=21016 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.43 2.21 1.88 4/195 21019 /proc/meminfo: memFree=30283556/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=23172 CPUtime=0 cores=1,3,5,7 /proc/21019/stat : 21019 (java) R 21016 21019 20454 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 1 0 36410399 23728128 858 33554432000 1073741824 1073778376 140736015643680 140736015632744 1073754112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 6050 866 654 9 0 385 0 [pid=21019/tid=21020] ppid=21016 vsize=89736 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 2 0 36410400 91889664 881 33554432000 1073741824 1073778376 140736015643680 140736015632744 214369445808 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.43 2.21 1.88 4/195 21019 /proc/meminfo: memFree=30283556/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 4434 0 1 0 9 1 0 0 20 0 18 0 36410399 9787879424 6064 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2389619 6066 2147 9 0 2380296 0 [pid=21019/tid=21020] ppid=21016 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2376 0 1 0 7 0 0 0 20 0 18 0 36410400 9787879424 6066 33554432000 1073741824 1073778376 140736015643680 140252842023840 140252844843078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200368 s] /proc/loadavg: 2.43 2.21 1.88 4/195 21019 /proc/meminfo: memFree=30283556/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 6616 0 1 0 26 1 0 0 20 0 19 0 36410399 9856040960 8648 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 8648 2231 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=0.17 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2408 0 1 0 17 0 0 0 20 0 19 0 36410400 9856040960 8648 33554432000 1073741824 1073778376 140736015643680 140252842025600 140252710764525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9625040 [startup+0.300381 s] /proc/loadavg: 2.43 2.21 1.88 4/195 21019 /proc/meminfo: memFree=30283556/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 7534 0 1 0 55 1 0 0 20 0 19 0 36410399 9856040960 8759 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 8759 2243 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 19 0 36410400 9856040960 8759 33554432000 1073741824 1073778376 140736015643680 140252842025600 140252711110928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9625040 [startup+0.700242 s] /proc/loadavg: 2.43 2.21 1.88 4/195 21019 /proc/meminfo: memFree=30283556/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=1.1 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 8503 0 1 0 108 2 0 0 20 0 19 0 36410399 9856040960 9306 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 9306 2254 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2409 0 1 0 66 1 0 0 20 0 19 0 36410400 9856040960 9306 33554432000 1073741824 1073778376 140736015643680 140252842017072 140252711225120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.43 2.21 1.88 3/214 21038 /proc/meminfo: memFree=30243696/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=2.01 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 9389 0 1 0 199 2 0 0 20 0 19 0 36410399 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 11076 2261 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2413 0 1 0 146 1 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252842025512 140252711135109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21022] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21022/stat : 21022 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252831087272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21023] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21023/stat : 21023 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252830034728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21024] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21024/stat : 21024 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252683123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21019/tid=21025] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21025/stat : 21025 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252682071080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21026] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21026/stat : 21026 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252681017512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21027] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21027/stat : 21027 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252679964968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21028] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21028/stat : 21028 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252678912424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21029] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21029/stat : 21029 (java) S 21016 21019 20454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252677859880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21030] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21030/stat : 21030 (java) S 21016 21019 20454 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410401 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252665662056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21031] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21031/stat : 21031 (java) S 21016 21019 20454 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252664608376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21032] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21032/stat : 21032 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252663555720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21033] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21033/stat : 21033 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252662504464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21034] ppid=21016 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/21019/task/21034/stat : 21034 (java) S 21016 21019 20454 0 -1 4202560 3112 0 0 0 26 0 0 0 20 0 19 0 36410404 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252661450808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21035] ppid=21016 vsize=9625040 CPUtime=0.24 cores=1,3,5,7 /proc/21019/task/21035/stat : 21035 (java) S 21016 21019 20454 0 -1 4202560 2592 0 0 0 24 0 0 0 20 0 19 0 36410404 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252660398264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21036] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21036/stat : 21036 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252659345912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21037] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21037/stat : 21037 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252658293576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21038] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21038/stat : 21038 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410415 9856040960 11076 33554432000 1073741824 1073778376 140736015643680 140252657239336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.01 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.43 2.21 1.88 3/214 21038 /proc/meminfo: memFree=30229808/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 10547 0 1 0 372 2 0 0 20 0 19 0 36410399 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 13643 2263 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2419 0 1 0 306 1 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252842017072 140252711140605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21022] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21022/stat : 21022 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252831087272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21023] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21023/stat : 21023 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252830034728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21024] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21024/stat : 21024 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252683123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21019/tid=21025] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21025/stat : 21025 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252682071080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21026] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21026/stat : 21026 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252681017512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21027] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21027/stat : 21027 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252679964968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21028] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21028/stat : 21028 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252678912424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21029] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21029/stat : 21029 (java) S 21016 21019 20454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252677859880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21030] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21030/stat : 21030 (java) S 21016 21019 20454 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410401 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252665662056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21031] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21031/stat : 21031 (java) S 21016 21019 20454 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252664608376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21032] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21032/stat : 21032 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252663555720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21033] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21033/stat : 21033 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252662504464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21034] ppid=21016 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/21019/task/21034/stat : 21034 (java) S 21016 21019 20454 0 -1 4202560 4264 0 0 0 37 0 0 0 20 0 19 0 36410404 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252661450808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21035] ppid=21016 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/21019/task/21035/stat : 21035 (java) S 21016 21019 20454 0 -1 4202560 2592 0 0 0 26 0 0 0 20 0 19 0 36410404 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252660398264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21036] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21036/stat : 21036 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252659345912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21037] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21037/stat : 21037 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252658293576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21038] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21038/stat : 21038 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410415 9856040960 13643 33554432000 1073741824 1073778376 140736015643680 140252657239336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.47 2.22 1.89 3/214 21038 /proc/meminfo: memFree=30183684/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=7.66 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 19635 0 1 0 763 3 0 0 20 0 19 0 36410399 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 21919 2264 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=6.27 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2435 0 1 0 626 1 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252842016464 140252711203636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21022] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21022/stat : 21022 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252831087272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21023] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21023/stat : 21023 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252830034728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21024] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21024/stat : 21024 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252683123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21019/tid=21025] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21025/stat : 21025 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252682071080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21026] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21026/stat : 21026 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252681017512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21027] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21027/stat : 21027 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252679964968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21028] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21028/stat : 21028 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252678912424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21029] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21029/stat : 21029 (java) S 21016 21019 20454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252677859880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21030] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21030/stat : 21030 (java) S 21016 21019 20454 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410401 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252665662056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21031] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21031/stat : 21031 (java) S 21016 21019 20454 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252664608376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21032] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21032/stat : 21032 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252663555720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21033] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21033/stat : 21033 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252662504464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21034] ppid=21016 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/21019/task/21034/stat : 21034 (java) S 21016 21019 20454 0 -1 4202560 13335 0 0 0 105 2 0 0 20 0 19 0 36410404 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252661450808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21035] ppid=21016 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/21019/task/21035/stat : 21035 (java) S 21016 21019 20454 0 -1 4202560 2592 0 0 0 28 0 0 0 20 0 19 0 36410404 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252660398264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21036] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21036/stat : 21036 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252659345912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21037] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21037/stat : 21037 (java) S 21016 21019 20454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252658293576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21038] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21038/stat : 21038 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410415 9856040960 21919 33554432000 1073741824 1073778376 140736015643680 140252657239336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.66 Current children cumulated vsize (KiB) 9625040 [startup+12.7007 s] /proc/loadavg: 2.52 2.24 1.89 3/214 21103 /proc/meminfo: memFree=30175460/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=14.09 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 19654 0 1 0 1404 5 0 0 20 0 19 0 36410399 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 27957 2264 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=12.68 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2454 0 1 0 1265 3 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252842016464 140252711161704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21022] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21022/stat : 21022 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252831087272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21023] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21023/stat : 21023 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252830034728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21024] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21024/stat : 21024 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252683123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21019/tid=21025] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21025/stat : 21025 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252682071080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21026] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21026/stat : 21026 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252681017512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21027] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21027/stat : 21027 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252679964968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21028] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21028/stat : 21028 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252678912424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21029] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21029/stat : 21029 (java) S 21016 21019 20454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252677859880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21030] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21030/stat : 21030 (java) S 21016 21019 20454 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410401 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252665662056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21031] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21031/stat : 21031 (java) S 21016 21019 20454 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252664608376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21032] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21032/stat : 21032 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252663555720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21033] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21033/stat : 21033 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252662504464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21034] ppid=21016 vsize=9625040 CPUtime=1.1 cores=1,3,5,7 /proc/21019/task/21034/stat : 21034 (java) S 21016 21019 20454 0 -1 4202560 13335 0 0 0 108 2 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252661450808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21035] ppid=21016 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/21019/task/21035/stat : 21035 (java) S 21016 21019 20454 0 -1 4202560 2592 0 0 0 28 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252660398264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21036] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21036/stat : 21036 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252659345912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21037] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21037/stat : 21037 (java) S 21016 21019 20454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252658293576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21038] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21038/stat : 21038 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410415 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252657239336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 14.09 Current children cumulated vsize (KiB) 9625040 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21019 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+12.7007 s] /proc/loadavg: 2.52 2.24 1.89 3/214 21103 /proc/meminfo: memFree=30175460/32872528 swapFree=1286400/1433568 [pid=21019] ppid=21016 vsize=9625040 CPUtime=14.09 cores=1,3,5,7 /proc/21019/stat : 21019 (java) S 21016 21019 20454 0 -1 4202496 19654 0 1 0 1404 5 0 0 20 0 19 0 36410399 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140736015634816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21019/statm: 2406260 27957 2264 9 0 2396937 0 [pid=21019/tid=21020] ppid=21016 vsize=9625040 CPUtime=12.68 cores=1,3,5,7 /proc/21019/task/21020/stat : 21020 (java) R 21016 21019 20454 0 -1 4202560 2454 0 1 0 1265 3 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252842016464 140252711161704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21022] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21022/stat : 21022 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252831087272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21023] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21023/stat : 21023 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252830034728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21024] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21024/stat : 21024 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252683123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21019/tid=21025] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21025/stat : 21025 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252682071080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21026] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21026/stat : 21026 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252681017512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21027] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21027/stat : 21027 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252679964968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21019/tid=21028] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21028/stat : 21028 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252678912424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21029] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21029/stat : 21029 (java) S 21016 21019 20454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410400 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252677859880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21030] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21030/stat : 21030 (java) S 21016 21019 20454 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410401 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252665662056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21031] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21031/stat : 21031 (java) S 21016 21019 20454 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252664608376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21032] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21032/stat : 21032 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410402 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252663555720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21033] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21033/stat : 21033 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252662504464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21034] ppid=21016 vsize=9625040 CPUtime=1.1 cores=1,3,5,7 /proc/21019/task/21034/stat : 21034 (java) S 21016 21019 20454 0 -1 4202560 13335 0 0 0 108 2 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252661450808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21035] ppid=21016 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/21019/task/21035/stat : 21035 (java) S 21016 21019 20454 0 -1 4202560 2592 0 0 0 28 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252660398264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21036] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21036/stat : 21036 (java) S 21016 21019 20454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252659345912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21019/tid=21037] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21037/stat : 21037 (java) S 21016 21019 20454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410404 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252658293576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21019/tid=21038] ppid=21016 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/21019/task/21038/stat : 21038 (java) S 21016 21019 20454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410415 9856040960 27957 33554432000 1073741824 1073778376 140736015643680 140252657239336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 14.09 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 12.7551 CPU time (s): 14.1608 CPU user time (s): 14.0799 CPU system time (s): 0.080987 CPU usage (%): 111.021 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.0799 system time used= 0.080987 maximum resident set size= 115988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19679 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 571 involuntary context switches= 97 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.034994 second user time and 0.06299 second system time The end
Begin job on node130 at 2016-06-19 15:40:36 IDJOB=4109412 IDBENCH=78802 IDSOLVER=2551 FILE ID=node130/4109412-1466343636 RUNJOBID= node130-1466341814-20471 PBS_JOBID= 19922023 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109412-1466343636/watcher-4109412-1466343636 -o /tmp/evaluation-result-4109412-1466343636/solver-4109412-1466343636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466341814-20471 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109412-1466343636.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cd14c84645c681c9a9ce76500d94ff11 RANDOM SEED=990663843 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30283812 kB Buffers: 95668 kB Cached: 258356 kB SwapCached: 1836 kB Active: 142416 kB Inactive: 266944 kB Active(anon): 54800 kB Inactive(anon): 2524 kB Active(file): 87616 kB Inactive(file): 264420 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099104 kB Dirty: 1272 kB Writeback: 0 kB AnonPages: 1491460 kB Mapped: 15344 kB Shmem: 0 kB Slab: 607196 kB SReclaimable: 50124 kB SUnreclaim: 557072 kB KernelStack: 1616 kB PageTables: 6996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2122484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node130 at 2016-06-19 15:40:49