Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 9466 | 3600.15 | 3582.17 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.14 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.14 - never skip resolution steps 0.13/0.14 - Auto-division on coefficients is disabled 0.13/0.14 - No postprocessing 0.13/0.14 - Conflict is considered as is when resolving 0.13/0.14 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.14 - Weaken first using unassigned literals 0.13/0.14 - Bump strategy: ALWAYS_ONE 0.13/0.14 - Bumper: ASSIGNED 0.13/0.14 --- Begin Solver configuration --- 0.13/0.14 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.14 Learn all clauses as in MiniSAT 0.13/0.14 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.14 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.14 No reason simplification 0.13/0.14 Armin Biere (Picosat) restarts strategy 0.13/0.14 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.14 timeout=2147483s 0.13/0.14 DB Simplification allowed=false 0.13/0.14 Listener: none 0.13/0.14 --- End Solver configuration --- 0.13/0.14 c Pseudo Boolean Optimization by upper bound 0.13/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.14 c - never skip resolution steps 0.13/0.14 c - Auto-division on coefficients is disabled 0.13/0.14 c - No postprocessing 0.13/0.14 c - Conflict is considered as is when resolving 0.13/0.14 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.14 c - Weaken first using unassigned literals 0.13/0.14 c - Bump strategy: ALWAYS_ONE 0.13/0.14 c - Bumper: ASSIGNED 0.13/0.14 c --- Begin Solver configuration --- 0.13/0.14 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.14 c Learn all clauses as in MiniSAT 0.13/0.14 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.14 c No reason simplification 0.13/0.14 c Armin Biere (Picosat) restarts strategy 0.13/0.14 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.14 c timeout=2147483s 0.13/0.14 c DB Simplification allowed=false 0.13/0.14 c Listener: none 0.13/0.14 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4427359-1720994536.opb 0.13/0.15 c reading problem ... 0.13/0.15 c objective function found 0.13/0.19 c ... done. Wall clock time 0.04s. 0.13/0.19 c declared #vars 548 0.13/0.19 c #constraints 166 0.13/0.19 c constraints type 0.13/0.19 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 40 0.13/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 0.13/0.19 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 103 0.13/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1 0.13/0.19 c 166 constraints processed. 0.13/0.20 c objective function length is 416 literals 0.53/0.34 c SATISFIABLE 0.53/0.35 c OPTIMIZING... 0.53/0.35 c Got one! Elapsed wall clock time (in seconds):0.197 0.53/0.35 o 44235 0.53/0.36 c Got one! Elapsed wall clock time (in seconds):0.217 0.53/0.36 o 10059 86.85/83.63 c cleaning 2542 clauses out of 5126 with flag 0/5126 270.12/266.31 c cleaning 4262 clauses out of 8585 with flag 0/11127 486.55/482.62 c cleaning 5647 clauses out of 11323 with flag 0/18127 668.16/663.35 c cleaning 6804 clauses out of 13676 with flag 0/26127 860.61/855.27 c cleaning 7926 clauses out of 15871 with flag 0/35126 1103.16/1096.89 c cleaning 8954 clauses out of 17948 with flag 0/45129 1528.59/1521.39 c cleaning 9977 clauses out of 19992 with flag 0/56127 2210.55/2203.69 c cleaning 10977 clauses out of 22014 with flag 0/68126 2801.85/2793.82 c cleaning 11994 clauses out of 24037 with flag 0/81126 2959.56/2951.34 c Got one! Elapsed wall clock time (in seconds):2951.2 2959.56/2951.34 o 9711 2960.36/2952.11 c Got one! Elapsed wall clock time (in seconds):2951.97 2960.36/2952.11 o 9483 2960.96/2952.75 c Got one! Elapsed wall clock time (in seconds):2952.609 2960.96/2952.75 o 9466 3322.30/3312.44 c cleaning 11403 clauses out of 22847 with flag 0/91930 3559.59/3544.77 c cleaning 8705 clauses out of 17444 with flag 0/97930 3600.04/3582.12 c starts : 71 3600.04/3582.12 c conflicts : 101111 3600.04/3582.12 c decisions : 248566 3600.04/3582.12 c propagations : 2211654 3600.04/3582.12 c inspects : 910423963 3600.04/3582.12 c shortcuts : 0 3600.04/3582.12 c learnt literals : 0 3600.04/3582.12 c learnt binary clauses : 0 3600.04/3582.12 c learnt ternary clauses : 0 3600.04/3582.12 c learnt constraints : 101111 3600.04/3582.12 c ignored constraints : 0 3600.04/3582.12 c root simplifications : 0 3600.04/3582.12 c removed literals (reason simplification) : 0 3600.04/3582.12 c reason swapping (by a shorter reason) : 0 3600.04/3582.12 c Calls to reduceDB : 11 3600.04/3582.12 c Number of update (reduction) of LBD : 0 3600.04/3582.12 c Imported unit clauses : 0 3600.04/3582.12 c No decision after first conflict : false 3600.04/3582.12 c number of reductions to clauses (during analyze) : 0 3600.04/3582.12 c number of learned constraints concerned by reduction : 0 3600.04/3582.12 c number of learning phase by resolution : 0 3600.04/3582.12 c number of learning phase by cutting planes : 0 3600.04/3582.12 c number of rounding to 1 operations : 503546 3600.04/3582.12 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3582.12 c number of reductions of the coefficients by power 2 : 0 3600.04/3582.12 c number of right shift for reduction by power 2 : 0 3600.04/3582.12 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3582.12 c number of ending skipping : 0 3600.04/3582.12 c number of internal skipping : 0 3600.04/3582.12 c number of derivation steps : 414154 3600.04/3582.12 c number of skipped derivation steps : 0 3600.04/3582.12 c number of remaining unassigned : 433318 3600.04/3582.12 c number of remaining assigned : 19798448 3600.04/3582.12 c number of falsified literals weakened from reason : 0 3600.04/3582.12 c number of falsified literals weakened from conflict : 0 3600.04/3582.12 c time for arithmetic operations : 1360618093 3600.04/3582.12 c minimum degree of deleted constraints : 64 3600.04/3582.12 c maximum degree of deleted constraints : 3938715767 3600.04/3582.12 c number of deleted constraints : 89191 3600.04/3582.13 c speed (assignments/second) : 617.4490629753907 3600.04/3582.13 c non guided choices : 363 3600.04/3582.13 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 26 3600.04/3582.13 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 11894 3600.04/3582.13 s SATISFIABLE 3600.04/3582.13 c Found 5 solution(s) 3600.04/3582.13 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 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 3600.04/3582.16 c objective function=9466 3600.04/3582.16 c Total wall clock time (in seconds): 3582.011
OK 9466
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62223 MiB free)
memory of node 1: 64473 MiB (61597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427359-1720994536/watcher-4427359-1720994536 -o /tmp/evaluation-result-4427359-1720994536/solver-4427359-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720994548-773382 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427359-1720994536.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=773441, runsolver pid=773428
[startup+0.100057 s]*
/proc/loadavg: 0.10 0.09 0.09 9/326 773512
/proc/meminfo: memFree=126619888/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=18975048 memory=66384 CPUtime=0.13 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 7304 0 0 0 11 2 0 0 20 0 18 0 151617427 19430449152 16596 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4743762 16596 5481 1 0 549356 0
[pid=773441/tid=773448] ppid=773428 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 5836 0 0 0 7 1 0 0 20 0 18 0 151617427 19430449152 16596 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=18975048 memory=3640 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151617430 19430449152 16596 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151617431 19430449152 16596 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66384 KiB
[startup+0.206491 s]*
/proc/loadavg: 0.10 0.09 0.09 15/328 773514
/proc/meminfo: memFree=126573852/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19041612 memory=74376 CPUtime=0.33 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 7930 0 0 0 31 2 0 0 20 0 19 0 151617427 19498610688 18594 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4760403 18594 5847 1 0 550074 0
[pid=773441/tid=773448] ppid=773428 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 6213 0 0 0 18 1 0 0 20 0 19 0 151617427 19498610688 18594 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19041612 memory=3640 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151617430 19498610688 18594 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19041612 memory=15819993166120615 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151617431 19498610688 18594 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (java) R 773428 773441 773369 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 151617447 19498610688 18594 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74376 KiB
[startup+0.306301 s]*
/proc/loadavg: 0.10 0.09 0.09 17/330 773516
/proc/meminfo: memFree=126397860/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19041612 memory=97584 CPUtime=0.53 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 9472 0 0 0 50 3 0 0 20 0 19 0 151617427 19498610688 24396 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4760403 24396 5847 1 0 551262 0
[pid=773441/tid=773448] ppid=773428 vsize=19041612 memory=-8672638110323352252 CPUtime=0.29 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 6263 0 0 0 27 2 0 0 20 0 19 0 151617427 19498610688 24396 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151617430 19498610688 24396 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151617431 19498610688 24396 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151617447 19498610688 24396 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97584 KiB
[startup+0.701394 s]
/proc/loadavg: 0.10 0.09 0.09 19/332 773518
/proc/meminfo: memFree=126217624/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=180480 CPUtime=1.27 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 14691 0 0 0 122 5 0 0 20 0 20 0 151617427 19566772224 45120 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 45120 5863 1 0 554587 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=39428 CPUtime=0.63 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 6317 0 0 0 60 3 0 0 20 0 20 0 151617427 19566772224 45120 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 45120 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 45120 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=26024 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 45120 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180480 KiB
[startup+1.50024 s]
/proc/loadavg: 0.10 0.09 0.09 15/334 773520
/proc/meminfo: memFree=126069124/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19109644 memory=188936 CPUtime=2.85 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 20644 0 0 0 279 6 0 0 20 0 20 0 151617427 19568275456 47234 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777411 47234 5880 1 0 555064 0
[pid=773441/tid=773448] ppid=773428 vsize=19109644 memory=12180 CPUtime=1.39 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) S 773428 773441 773369 0 -1 1077936192 6569 0 0 0 136 3 0 0 20 0 20 0 151617427 19568275456 47234 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19109644 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19568275456 47234 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19109644 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19568275456 47234 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19109644 memory=26024 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19568275456 47234 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19109644 KiB
Current children cumulated memory: 188936 KiB
[startup+3.10686 s]
/proc/loadavg: 0.10 0.09 0.09 10/334 773520
/proc/meminfo: memFree=123694040/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=402480 CPUtime=5.64 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 26281 0 0 0 553 11 0 0 20 0 20 0 151617427 19566772224 100620 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 100620 5882 1 0 557687 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=0 CPUtime=2.97 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 7069 0 0 0 289 8 0 0 20 0 20 0 151617427 19566772224 100620 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=-8600580516285424316 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 100620 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 100620 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 100620 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 402480 KiB
[startup+6.30023 s]
/proc/loadavg: 0.42 0.15 0.11 8/334 773520
/proc/meminfo: memFree=122802236/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=597048 CPUtime=9.11 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 26648 0 0 0 895 16 0 0 20 0 20 0 151617427 19566772224 149262 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 149262 5882 1 0 557688 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=12180 CPUtime=6.1 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 7370 0 0 0 598 12 0 0 20 0 20 0 151617427 19566772224 149262 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 149262 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 149262 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=190132 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 149262 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 597048 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.22 0.13 8/334 773522
/proc/meminfo: memFree=121610556/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=924780 CPUtime=15.62 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 32083 0 0 0 1540 22 0 0 20 0 20 0 151617427 19566772224 231195 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 231195 5882 1 0 557688 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=190132 CPUtime=12.48 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 8529 0 0 0 1230 18 0 0 20 0 20 0 151617427 19566772224 231195 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=814188 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 231195 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 231195 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 231195 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 924780 KiB
[startup+25.5003 s]
/proc/loadavg: 1.58 0.44 0.21 8/334 773524
/proc/meminfo: memFree=120947792/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=1107132 CPUtime=28.45 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 36918 0 0 0 2818 27 0 0 20 0 20 0 151617427 19566772224 276783 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 276783 5882 1 0 557688 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=1107132 CPUtime=25.19 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 9862 0 0 0 2498 21 0 0 20 0 20 0 151617427 19566772224 276783 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617428 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=-8600580516285424316 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 276783 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=6655300316396806240 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 276783 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=1107132 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 276783 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1107132 KiB
[startup+51.1067 s]
/proc/loadavg: 2.41 0.72 0.31 8/333 773529
/proc/meminfo: memFree=120584780/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=1359052 CPUtime=54.03 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 43325 0 0 0 5371 32 0 0 20 0 20 0 151617427 19566772224 339763 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 339763 5882 1 0 557688 0
################
# More data... #
################
/proc/meminfo: memFree=114685664/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189932 CPUtime=3232.05 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 221381 0 0 0 323033 172 0 0 20 0 20 0 151617427 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547483 5905 1 0 559859 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=2189712 CPUtime=3194.83 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 87376 0 0 0 319444 39 0 0 20 0 20 0 151617427 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2189712 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189712 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3348 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2189932 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3232.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.21 4.13 7/331 775720
/proc/meminfo: memFree=114684500/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189932 CPUtime=3292.16 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 223896 0 0 0 329042 174 0 0 20 0 20 0 151617427 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547483 5905 1 0 559859 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=2189932 CPUtime=3254.4 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 88724 0 0 0 325401 39 0 0 20 0 20 0 151617427 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189932 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3425 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=16020 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547483 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3292.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.13 9/333 775902
/proc/meminfo: memFree=114683352/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189956 CPUtime=3352.1 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 225429 0 0 0 335034 176 0 0 20 0 20 0 151617427 19566772224 547489 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547489 5905 1 0 559859 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=2189932 CPUtime=3313.72 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 89786 0 0 0 331333 39 0 0 20 0 20 0 151617427 19566772224 547489 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2189932 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547489 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=-7376747372159917434 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3461 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547489 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2196 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547489 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3352.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.14 7/333 775913
/proc/meminfo: memFree=114682568/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189964 CPUtime=3413.21 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 233114 0 0 0 341142 179 0 0 20 0 20 0 151617427 19566772224 547491 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547491 5905 1 0 559867 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=-7376747372159917434 CPUtime=3373.09 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 91725 0 0 0 337269 40 0 0 20 0 20 0 151617427 19566772224 547491 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547491 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3528 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547491 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2189960 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547491 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3413.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.20 4.14 7/336 775928
/proc/meminfo: memFree=114681920/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189972 CPUtime=3475.18 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 240958 0 0 0 347336 182 0 0 20 0 20 0 151617427 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547493 5905 1 0 559867 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=-7376747372159917434 CPUtime=3432.37 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 93790 0 0 0 343197 40 0 0 20 0 20 0 151617427 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189968 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3602 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=5496 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3475.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.21 4.14 7/335 776020
/proc/meminfo: memFree=115895148/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189972 CPUtime=3536.31 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 243685 0 0 0 353446 185 0 0 20 0 20 0 151617427 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547493 5905 1 0 559867 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=11560 CPUtime=3491.88 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 95399 0 0 0 349148 40 0 0 20 0 20 0 151617427 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189972 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3684 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=39896 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547493 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3536.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3582.11 s]
/proc/loadavg: 4.37 4.25 4.16 5/333 776164
/proc/meminfo: memFree=110463052/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189992 CPUtime=3600.04 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 256801 0 0 0 359812 192 0 0 20 0 20 0 151617427 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547498 5905 1 0 559880 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=2189972 CPUtime=3550.56 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 97542 0 0 0 355016 40 0 0 20 0 20 0 151617427 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189992 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3768 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3582.17 s]
# the end of solver process 773441 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.21 s, system=1.93607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3582.11 s]
/proc/loadavg: 4.37 4.25 4.16 5/333 776164
/proc/meminfo: memFree=110463052/131524600 swapFree=131071996/131071996
[pid=773441] ppid=773428 vsize=19108176 memory=2189992 CPUtime=3600.04 cores=5,7
/proc/773441/stat : 773441 (java) S 773428 773441 773369 0 -1 1077936128 256801 0 0 0 359812 192 0 0 20 0 20 0 151617427 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
/proc/773441/statm: 4777044 547498 5905 1 0 559880 0
[pid=773441/tid=773448] ppid=773428 vsize=19108176 memory=2189972 CPUtime=3550.56 cores=5,7
/proc/773441/task/773448/stat : 773448 (java) R 773428 773441 773369 0 -1 4194368 97542 0 0 0 355016 40 0 0 20 0 20 0 151617427 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 151617446 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773480] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773480/stat : 773480 (Finalizer) S 773428 773441 773369 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773509] ppid=773428 vsize=19108176 memory=2189992 CPUtime=0 cores=5,7
/proc/773441/task/773509/stat : 773509 (Common-Cleaner) S 773428 773441 773369 0 -1 1077936192 3768 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
[pid=773441/tid=773514] ppid=773428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/773441/task/773514/stat : 773514 (Timer-0) S 773428 773441 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617447 19566772224 547498 134679101440 94655031791616 94655031795312 140720546219712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94655031803128 94655031803920 94655061639168 140720546223088 140720546223201 140720546223201 140720546230216 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189992 KiB
Child status: 143
Real time (s): 3582.17
CPU time (s): 3600.15
CPU user time (s): 3598.21
CPU system time (s): 1.93607
CPU usage (%): 100.502
Max. virtual memory (cumulated for all children) (KiB): 19109644
Max. memory (cumulated for all children) (KiB): 2189992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 1.93607
maximum resident set size= 2191532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125558
involuntary context switches= 8504
# summary of solver processes directly reported to runsolver:
# pid: 773441
# total CPU time (s): 3600.15
# total CPU user time (s): 3598.21
# total CPU system time (s): 1.93607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07658 second user time and 19.8707 second system time
The end
Begin job on nodeC021 at 2024-07-15 00:02:28 IDJOB=4427359 IDBENCH=146905 IDSOLVER=3046 FILE ID=nodeC021/4427359-1720994536 RUNJOBID= nodeC021-1720994548-773382 SLURM_JOB_ID= 7505315 Free space on /tmp= 890084 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427359-1720994536/watcher-4427359-1720994536 -o /tmp/evaluation-result-4427359-1720994536/solver-4427359-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720994548-773382 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427359-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1909944225 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3428.289 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3570.617 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3490.248 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3417.250 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3512.044 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3571.912 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3484.297 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3385.761 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126795236 kB MemAvailable: 129698760 kB Buffers: 341532 kB Cached: 3367448 kB SwapCached: 0 kB Active: 536056 kB Inactive: 3537612 kB Active(anon): 1408 kB Inactive(anon): 400668 kB Active(file): 534648 kB Inactive(file): 3136944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2800 kB Writeback: 8 kB AnonPages: 363896 kB Mapped: 102064 kB Shmem: 37720 kB KReclaimable: 143508 kB Slab: 253648 kB SReclaimable: 143508 kB SUnreclaim: 110140 kB KernelStack: 3848 kB PageTables: 9532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 687596 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58496 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 232148 kB DirectMap2M: 17367040 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 889268 MiB End job on nodeC021 at 2024-07-15 01:02:11