Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 43 | 1800.09 | 1797.54 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb |
| MD5SUM | e4d0ce6c299ae1a05f607b170c68aad6 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 1796.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 33 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15670 |
| Sum of products size (including duplicates) | 31340 |
| Number of different products | 15670 |
| Sum of products size | 31340 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 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 2.3.2.v20120418 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.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3688631-1337886017.opb 0.10/0.11 c reading problem ... 1.35/0.60 c ... done. Wall clock time 0.495s. 1.35/0.60 c declared #vars 500 1.35/0.60 c internal #vars 16170 1.35/0.60 c #constraints 31840 1.35/0.60 c constraints type 1.35/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170 1.35/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670 1.35/0.60 c 31840 constraints processed. 1.35/0.60 c objective function length is 500 literals 1.65/0.75 c SATISFIABLE 1.65/0.75 c OPTIMIZING... 1.65/0.76 c Got one! Elapsed wall clock time (in seconds):0.646 1.65/0.76 o 45 2.64/1.50 c Got one! Elapsed wall clock time (in seconds):1.386 2.64/1.50 o 44 17.24/15.97 c cleaning 2659 clauses out of 5318 with flag 5002/5318 30.28/28.81 c cleaning 4300 clauses out of 8657 with flag 11000/11316 45.20/43.72 c cleaning 5670 clauses out of 11357 with flag 18000/18316 63.05/61.51 c cleaning 6834 clauses out of 13690 with flag 26003/26319 83.75/82.24 c cleaning 7918 clauses out of 15854 with flag 35001/35317 107.07/105.57 c cleaning 8968 clauses out of 17935 with flag 45000/45316 132.27/130.73 c cleaning 9984 clauses out of 19967 with flag 56000/56316 160.49/158.96 c cleaning 10972 clauses out of 21983 with flag 68000/68316 189.50/187.93 c cleaning 11999 clauses out of 24011 with flag 81000/81316 221.02/219.40 c cleaning 12986 clauses out of 26012 with flag 95000/95316 254.55/252.97 c cleaning 13996 clauses out of 28026 with flag 110000/110316 291.29/289.65 c cleaning 15010 clauses out of 30030 with flag 126000/126316 330.49/328.86 c cleaning 16002 clauses out of 32023 with flag 143003/143319 372.78/371.16 c cleaning 17008 clauses out of 34024 with flag 161006/161322 416.41/414.74 c cleaning 17997 clauses out of 36010 with flag 180000/180316 456.42/454.74 c Got one! Elapsed wall clock time (in seconds):454.629 456.42/454.74 o 43 457.32/455.66 c cleaning 20200 clauses out of 40411 with flag 5000/202714 458.53/456.85 c cleaning 13100 clauses out of 26211 with flag 11000/208714 469.46/467.74 c cleaning 10039 clauses out of 20112 with flag 18001/215715 486.97/485.20 c cleaning 9023 clauses out of 18074 with flag 26002/223716 506.99/505.21 c cleaning 9013 clauses out of 18049 with flag 35000/232714 529.61/527.80 c cleaning 9511 clauses out of 19039 with flag 45003/242717 554.42/552.69 c cleaning 10236 clauses out of 20526 with flag 56001/253715 580.07/578.29 c cleaning 11125 clauses out of 22290 with flag 68001/265715 609.20/607.31 c cleaning 12055 clauses out of 24164 with flag 81000/278714 640.32/638.46 c cleaning 13024 clauses out of 26111 with flag 95002/292716 673.43/671.54 c cleaning 14011 clauses out of 28085 with flag 110000/307714 709.37/707.42 c cleaning 15034 clauses out of 30074 with flag 126000/323714 748.18/746.27 c cleaning 16033 clauses out of 32077 with flag 143037/340751 789.30/787.36 c cleaning 16989 clauses out of 34009 with flag 161002/358716 831.73/829.74 c cleaning 17974 clauses out of 36018 with flag 180000/377714 875.47/873.45 c cleaning 19017 clauses out of 38044 with flag 200000/397714 924.17/922.18 c cleaning 19978 clauses out of 40027 with flag 221000/418714 974.29/972.27 c cleaning 20995 clauses out of 42049 with flag 243000/440714 1026.63/1024.54 c cleaning 22010 clauses out of 44054 with flag 266000/463714 1080.07/1077.94 c cleaning 23020 clauses out of 46044 with flag 290000/487714 1138.08/1135.93 c cleaning 23981 clauses out of 48025 with flag 315001/512715 1197.02/1194.86 c cleaning 24991 clauses out of 50043 with flag 341000/538714 1258.47/1256.28 c cleaning 25997 clauses out of 52054 with flag 368002/565716 1321.40/1319.12 c cleaning 27020 clauses out of 54056 with flag 396001/593715 1387.84/1385.59 c cleaning 28015 clauses out of 56036 with flag 425001/622715 1456.79/1454.48 c cleaning 29010 clauses out of 58022 with flag 455002/652716 1527.72/1525.31 c cleaning 29988 clauses out of 60014 with flag 486004/683718 1599.45/1597.00 c cleaning 30986 clauses out of 62022 with flag 518000/715714 1673.59/1671.11 c cleaning 31988 clauses out of 64041 with flag 551005/748719 1747.34/1744.89 c cleaning 33005 clauses out of 66048 with flag 585000/782714 1800.09/1797.51 c starts : 174 1800.09/1797.51 c conflicts : 806297 1800.09/1797.51 c decisions : 3850749 1800.09/1797.51 c propagations : 3291111574 1800.09/1797.51 c inspects : 15912062392 1800.09/1797.51 c shortcuts : 0 1800.09/1797.51 c learnt literals : 0 1800.09/1797.51 c learnt binary clauses : 0 1800.09/1797.51 c learnt ternary clauses : 0 1800.09/1797.51 c learnt constraints : 806297 1800.09/1797.51 c ignored constraints : 0 1800.09/1797.51 c root simplifications : 0 1800.09/1797.51 c removed literals (reason simplification) : 0 1800.09/1797.51 c reason swapping (by a shorter reason) : 0 1800.09/1797.51 c Calls to reduceDB : 45 1800.09/1797.51 c number of reductions to clauses (during analyze) : 0 1800.09/1797.51 c number of learned constraints concerned by reduction : 0 1800.09/1797.51 c number of learning phase by resolution : 0 1800.09/1797.51 c number of learning phase by cutting planes : 0 1800.09/1797.51 c speed (assignments/second) : 1831574.150915255 1800.09/1797.51 c non guided choices 0 1800.09/1797.54 c learnt constraints type 1800.09/1797.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 56630 1800.09/1797.54 c constraints type 1800.09/1797.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170 1800.09/1797.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1797.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670 1800.09/1797.54 c 31841 constraints processed. 1800.09/1797.54 s SATISFIABLE 1800.09/1797.54 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 x232 -x233 -x234 x235 -x236 x237 x238 -x239 -x240 x241 x242 -x243 -x244 x245 x246 -x247 -x248 x249 x250 -x251 -x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 x474 x475 -x476 -x477 x478 x479 x480 -x481 -x482 x483 x484 -x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 x497 -x498 -x499 -x500 1800.09/1797.54 c objective function=43 1800.09/1797.54 c Total wall clock time (in seconds): 1797.428
OK 43
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3688631-1337886017/watcher-3688631-1337886017 -o /tmp/evaluation-result-3688631-1337886017/solver-3688631-1337886017 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688631-1337886017.opb 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.00 2.00 2.00 3/197 23865 /proc/meminfo: memFree=28918884/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/23865/stat : 23865 (java) R 23863 23865 21531 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 254727026 23793664 708 33554432000 1073741824 1073778376 140735027614144 140735027603208 273579817040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 5809 709 523 9 0 128 0 [startup+0.016001 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23865 /proc/meminfo: memFree=28918884/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9014776 CPUtime=0 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 2164 0 1 0 0 0 0 0 20 0 10 0 254727026 9231130624 1845 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2253694 1846 1015 9 0 2244803 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9014776 [startup+0.100274 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23865 /proc/meminfo: memFree=28918884/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 4411 0 1 0 10 0 0 0 20 0 18 0 254727026 9787813888 5100 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2389603 5101 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300195 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23865 /proc/meminfo: memFree=28918884/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9558412 CPUtime=0.47 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 5439 0 1 0 46 1 0 0 20 0 18 0 254727026 9787813888 7272 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2389603 7272 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.700203 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23865 /proc/meminfo: memFree=28918884/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=1.65 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 13793 0 1 0 162 3 0 0 20 0 19 0 254727026 9855975424 20308 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 20308 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 9624976 [startup+1.50071 s] /proc/loadavg: 2.00 2.00 2.00 3/216 23884 /proc/meminfo: memFree=28844100/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=2.74 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 14446 0 1 0 270 4 0 0 20 0 19 0 254727026 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 20868 2260 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=1.47 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2529 0 1 0 147 0 0 0 20 0 19 0 254727027 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140234032189816 140233971971934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.62 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) R 23863 23865 21531 0 -1 4202560 5247 0 0 0 60 2 0 0 20 0 19 0 254727032 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592410549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.61 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) R 23863 23865 21531 0 -1 4202560 5471 0 0 0 60 1 0 0 20 0 19 0 254727032 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233851033920 140234035209056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 20868 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 9624976 [startup+3.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/216 23884 /proc/meminfo: memFree=28844224/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=4.39 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 14635 0 1 0 435 4 0 0 20 0 19 0 254727026 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 20874 2260 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=3.07 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2530 0 1 0 307 0 0 0 20 0 19 0 254727027 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140234032189984 140233972793160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.62 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5247 0 0 0 60 2 0 0 20 0 19 0 254727032 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.64 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5658 0 0 0 63 1 0 0 20 0 19 0 254727032 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 20874 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 9624976 [startup+6.30081 s] /proc/loadavg: 2.08 2.02 2.01 3/216 23884 /proc/meminfo: memFree=28841804/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=7.63 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 14756 0 1 0 759 4 0 0 20 0 19 0 254727026 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 21265 2261 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=6.26 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2533 0 1 0 626 0 0 0 20 0 19 0 254727027 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140234032187840 140233972826670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254727028 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.63 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5247 0 0 0 61 2 0 0 20 0 19 0 254727032 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.68 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5776 0 0 0 67 1 0 0 20 0 19 0 254727032 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 21265 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.63 Current children cumulated vsize (KiB) 9624976 [startup+12.7008 s] ################ # More data... # ################ [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5263 0 0 0 65 2 0 0 20 0 19 0 254727032 9855975424 38500 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5789 0 0 0 73 1 0 0 20 0 19 0 254727032 9855975424 38500 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 38500 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 99 0 0 0 26 27 0 0 20 0 19 0 254727032 9855975424 38500 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 38500 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1724.82 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/215 24034 /proc/meminfo: memFree=28737236/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=1784.86 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 15169 0 1 0 178443 43 0 0 20 0 19 0 254727026 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 39012 2286 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=1774.26 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2582 0 1 0 177399 27 0 0 20 0 19 0 254727027 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140234032189712 140233972557095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0.11 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 10 0 0 0 11 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0.17 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 23 0 0 0 17 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0.16 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 16 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 13 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=3.02 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 127 0 0 0 300 2 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5263 0 0 0 65 2 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5789 0 0 0 73 1 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 103 0 0 0 27 28 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1784.86 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.5 s] /proc/loadavg: 2.13 2.03 2.01 3/216 24037 /proc/meminfo: memFree=28736732/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 15169 0 1 0 179965 44 0 0 20 0 19 0 254727026 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 39012 2286 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=1789.43 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2582 0 1 0 178915 28 0 0 20 0 19 0 254727027 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140234032189712 140233972744816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0.11 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 10 0 0 0 11 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0.17 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 23 0 0 0 17 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0.16 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 16 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 13 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=3.02 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 127 0 0 0 300 2 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5263 0 0 0 65 2 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5789 0 0 0 73 1 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 103 0 0 0 27 28 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.5 s] /proc/loadavg: 2.13 2.03 2.01 3/216 24037 /proc/meminfo: memFree=28736732/32873844 swapFree=6584/6584 [pid=23865] ppid=23863 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7 /proc/23865/stat : 23865 (java) S 23863 23865 21531 0 -1 4202496 15169 0 1 0 179965 44 0 0 20 0 19 0 254727026 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140735027605280 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23865/statm: 2406244 39012 2286 9 0 2396937 0 [pid=23865/tid=23867] ppid=23863 vsize=9624976 CPUtime=1789.43 cores=1,3,5,7 /proc/23865/task/23867/stat : 23867 (java) R 23863 23865 21531 0 -1 4202560 2582 0 1 0 178915 28 0 0 20 0 19 0 254727027 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140234032189712 140233972744816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23868] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23868/stat : 23868 (java) S 23863 23865 21531 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233875864488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23869] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23869/stat : 23869 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233874811944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23870] ppid=23863 vsize=9624976 CPUtime=0.11 cores=1,3,5,7 /proc/23865/task/23870/stat : 23870 (java) S 23863 23865 21531 0 -1 4202560 10 0 0 0 11 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233873758888 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23871] ppid=23863 vsize=9624976 CPUtime=0.17 cores=1,3,5,7 /proc/23865/task/23871/stat : 23871 (java) S 23863 23865 21531 0 -1 4202560 23 0 0 0 17 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233872706344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23872] ppid=23863 vsize=9624976 CPUtime=0.16 cores=1,3,5,7 /proc/23865/task/23872/stat : 23872 (java) S 23863 23865 21531 0 -1 4202560 15 0 0 0 16 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233871653288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23873] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23873/stat : 23873 (java) S 23863 23865 21531 0 -1 4202560 13 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233870600744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23874] ppid=23863 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/23865/task/23874/stat : 23874 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233869547688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23875] ppid=23863 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/23865/task/23875/stat : 23875 (java) S 23863 23865 21531 0 -1 4202560 11 0 0 0 13 0 0 0 20 0 19 0 254727028 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233868495144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23865/tid=23876] ppid=23863 vsize=9624976 CPUtime=3.02 cores=1,3,5,7 /proc/23865/task/23876/stat : 23876 (java) S 23863 23865 21531 0 -1 4202560 127 0 0 0 300 2 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233856297832 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23877] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23877/stat : 23877 (java) S 23863 23865 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233855244152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23878] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23878/stat : 23878 (java) S 23863 23865 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254727029 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233854190984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23879] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23879/stat : 23879 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233853139728 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23880] ppid=23863 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/23865/task/23880/stat : 23880 (java) S 23863 23865 21531 0 -1 4202560 5263 0 0 0 65 2 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233852086584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23865/tid=23881] ppid=23863 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/23865/task/23881/stat : 23881 (java) S 23863 23865 21531 0 -1 4202560 5789 0 0 0 73 1 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233851034040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23882] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23882/stat : 23882 (java) S 23863 23865 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233849981176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23865/tid=23883] ppid=23863 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/23865/task/23883/stat : 23883 (java) S 23863 23865 21531 0 -1 4202560 103 0 0 0 27 28 0 0 20 0 19 0 254727032 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233848928840 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23865/tid=23884] ppid=23863 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/23865/task/23884/stat : 23884 (java) S 23863 23865 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254727090 9855975424 39012 33554432000 1073741824 1073778376 140735027614144 140233847875112 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23865 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=60109 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=750885 # CPU time returned by wait4() is 1795.81 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1797.54 CPU time (s): 1800.09 CPU user time (s): 1799.65 CPU system time (s): 0.44 CPU usage (%): 100.142 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 0.750885 maximum resident set size= 158216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15204 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39218 involuntary context switches= 5698 runsolver used 6.00209 second user time and 15.6416 second system time The end
Begin job on node132 at 2012-05-24 21:00:17 IDJOB=3688631 IDBENCH=48140 IDSOLVER=2269 FILE ID=node132/3688631-1337886017 RUNJOBID= node132-1337871880-21548 PBS_JOBID= 14620072 Free space on /tmp= 71632 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688631-1337886017/watcher-3688631-1337886017 -o /tmp/evaluation-result-3688631-1337886017/solver-3688631-1337886017 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688631-1337886017.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED=1379821960 node132.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.832 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 : 5333.66 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.832 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.832 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.56 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.832 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.56 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.832 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.832 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.56 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.832 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.55 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.832 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: 32873844 kB MemFree: 28919264 kB Buffers: 219344 kB Cached: 2713252 kB SwapCached: 0 kB Active: 916248 kB Inactive: 2268080 kB Active(anon): 254448 kB Inactive(anon): 0 kB Active(file): 661800 kB Inactive(file): 2268080 kB Unevictable: 6584 kB Mlocked: 6584 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 624 kB Writeback: 0 kB AnonPages: 274312 kB Mapped: 22652 kB Shmem: 212 kB Slab: 628676 kB SReclaimable: 70720 kB SUnreclaim: 557956 kB KernelStack: 1784 kB PageTables: 4664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 823964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71636 MiB End job on node132 at 2012-05-24 21:30:17