Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | OPTIMUM | 9.65107 | 6.71813 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo |
| MD5SUM | bde05d98e9c3034ba9efb528ac470ce1 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.135723 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1202 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.12 c See www.sat4j.org for details. 0.12/0.13 c version CUSTOM.v20240707 0.12/0.15 c java.runtime.name OpenJDK Runtime Environment 0.12/0.15 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.16 c java.vm.version 22.0.1+8-16 0.12/0.16 c java.vm.vendor Oracle Corporation 0.12/0.16 c sun.arch.data.model 64 0.12/0.16 c java.version 22.0.1 0.12/0.16 c os.name Linux 0.12/0.16 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.16 c os.arch amd64 0.12/0.16 c Free memory 2115194816 0.12/0.16 c Max memory 16282288128 0.12/0.17 c Total memory 2122317824 0.12/0.17 c Number of processors 2 0.26/0.25 --- Begin Solver configuration --- 0.26/0.25 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.26/0.25 Learn all clauses as in MiniSAT 0.26/0.25 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.26/0.25 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.26/0.25 No reason simplification 0.26/0.25 Glucose 2.1 dynamic restart strategy 0.26/0.25 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.26/0.25 timeout=2147483s 0.26/0.25 DB Simplification allowed=false 0.26/0.25 Listener: none 0.26/0.25 --- End Solver configuration --- 0.26/0.26 c Pseudo Boolean Optimization by upper bound 0.26/0.26 c --- Begin Solver configuration --- 0.26/0.26 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.26/0.26 c Learn all clauses as in MiniSAT 0.26/0.26 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.26/0.26 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.26/0.26 c No reason simplification 0.26/0.26 c Glucose 2.1 dynamic restart strategy 0.26/0.26 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.26/0.26 c timeout=2147483s 0.26/0.26 c DB Simplification allowed=false 0.26/0.26 c Listener: none 0.26/0.26 c --- End Solver configuration --- 0.26/0.26 c solving HOME/instance-4424841-1720881491.wbo 0.26/0.26 c reading problem ... 0.42/0.32 c ... done. Wall clock time 0.053s. 0.42/0.32 c declared #vars 169 0.42/0.32 c internal #vars 233 0.42/0.32 c #constraints 102 0.42/0.32 c constraints type 0.42/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30 0.42/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41 0.42/0.32 c org.sat4j.specs.Constr$1 => 1 0.42/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.42/0.32 c 102 constraints processed. 0.42/0.34 c objective function length is 64 literals 0.42/0.38 c SATISFIABLE 0.42/0.38 c OPTIMIZING... 0.42/0.38 c Got one! Elapsed wall clock time (in seconds):0.127 0.42/0.39 o 785 0.78/0.52 c Got one! Elapsed wall clock time (in seconds):0.254 0.78/0.52 o 587 0.78/0.53 c Got one! Elapsed wall clock time (in seconds):0.261 0.78/0.53 o 570 0.78/0.53 c Got one! Elapsed wall clock time (in seconds):0.275 0.78/0.54 o 538 1.55/0.94 c cleaning 3148 clauses out of 6306 with flag 17160/6306 1.55/0.96 c Got one! Elapsed wall clock time (in seconds):0.699 1.55/0.96 o 480 1.55/0.97 c Got one! Elapsed wall clock time (in seconds):0.705 1.55/0.97 o 469 1.55/0.97 c Got one! Elapsed wall clock time (in seconds):0.709 1.55/0.97 o 467 1.55/0.98 c Got one! Elapsed wall clock time (in seconds):0.712 1.55/0.98 o 429 1.55/0.98 c Got one! Elapsed wall clock time (in seconds):0.717 1.55/0.98 o 424 1.55/0.99 c Got one! Elapsed wall clock time (in seconds):0.723 1.55/0.99 o 384 1.74/1.02 c Got one! Elapsed wall clock time (in seconds):0.761 1.74/1.02 o 373 1.74/1.03 c Got one! Elapsed wall clock time (in seconds):0.765 1.74/1.03 o 322 1.74/1.03 c Got one! Elapsed wall clock time (in seconds):0.772 1.74/1.03 o 321 1.74/1.03 c Got one! Elapsed wall clock time (in seconds):0.775 1.74/1.03 o 319 1.74/1.05 c Got one! Elapsed wall clock time (in seconds):0.781 1.74/1.05 o 315 1.74/1.05 c Got one! Elapsed wall clock time (in seconds):0.786 1.74/1.05 o 314 1.74/1.05 c Got one! Elapsed wall clock time (in seconds):0.791 1.74/1.05 o 305 1.74/1.09 c Got one! Elapsed wall clock time (in seconds):0.819 1.74/1.09 o 302 1.74/1.09 c Got one! Elapsed wall clock time (in seconds):0.835 1.74/1.09 o 297 1.74/1.10 c Got one! Elapsed wall clock time (in seconds):0.842 1.74/1.10 o 287 1.95/1.12 c Got one! Elapsed wall clock time (in seconds):0.856 1.95/1.12 o 286 1.95/1.12 c Got one! Elapsed wall clock time (in seconds):0.866 1.95/1.12 o 285 1.95/1.14 c Got one! Elapsed wall clock time (in seconds):0.882 1.95/1.14 o 265 1.95/1.16 c Got one! Elapsed wall clock time (in seconds):0.902 1.95/1.16 o 261 1.95/1.18 c Got one! Elapsed wall clock time (in seconds):0.92 1.95/1.18 o 254 2.06/1.20 c Got one! Elapsed wall clock time (in seconds):0.942 2.06/1.20 o 239 2.06/1.21 c Got one! Elapsed wall clock time (in seconds):0.952 2.06/1.21 o 238 2.06/1.22 c Got one! Elapsed wall clock time (in seconds):0.96 2.06/1.22 o 229 2.06/1.25 c Got one! Elapsed wall clock time (in seconds):0.997 2.06/1.25 o 228 2.06/1.27 c Got one! Elapsed wall clock time (in seconds):1.013 2.06/1.27 o 219 2.16/1.37 c Got one! Elapsed wall clock time (in seconds):1.107 2.16/1.37 o 217 2.16/1.39 c Got one! Elapsed wall clock time (in seconds):1.134 2.16/1.39 o 209 2.41/1.51 c cleaning 8283 clauses out of 16571 with flag 7185/19719 2.41/1.56 c Got one! Elapsed wall clock time (in seconds):1.302 2.41/1.56 o 200 2.41/1.58 c Got one! Elapsed wall clock time (in seconds):1.317 2.41/1.58 o 191 2.57/1.69 c cleaning 7275 clauses out of 14571 with flag 13289/26002 2.68/1.73 c Got one! Elapsed wall clock time (in seconds):1.47 2.68/1.73 o 188 2.68/1.75 c Got one! Elapsed wall clock time (in seconds):1.492 2.68/1.75 o 186 2.68/1.75 c Got one! Elapsed wall clock time (in seconds):1.495 2.68/1.75 o 185 2.68/1.75 c Got one! Elapsed wall clock time (in seconds):1.497 2.68/1.76 o 175 2.79/1.82 c Got one! Elapsed wall clock time (in seconds):1.563 2.79/1.82 o 171 2.79/1.85 c Got one! Elapsed wall clock time (in seconds):1.593 2.79/1.85 o 168 2.79/1.88 c Got one! Elapsed wall clock time (in seconds):1.622 2.79/1.88 o 165 2.89/1.95 c cleaning 8022 clauses out of 16045 with flag 7703/34751 3.07/2.09 c Got one! Elapsed wall clock time (in seconds):1.836 3.07/2.09 o 164 3.27/2.12 c Got one! Elapsed wall clock time (in seconds):1.854 3.27/2.12 o 163 3.27/2.12 c Got one! Elapsed wall clock time (in seconds):1.858 3.27/2.12 o 157 3.27/2.14 c Got one! Elapsed wall clock time (in seconds):1.885 3.27/2.14 o 148 3.27/2.16 c Got one! Elapsed wall clock time (in seconds):1.891 3.27/2.16 o 138 3.27/2.18 c Got one! Elapsed wall clock time (in seconds):1.914 3.27/2.18 o 124 3.27/2.19 c Got one! Elapsed wall clock time (in seconds):1.922 3.27/2.19 o 114 3.45/2.23 c Got one! Elapsed wall clock time (in seconds):1.962 3.45/2.23 o 113 3.45/2.25 c Got one! Elapsed wall clock time (in seconds):1.99 3.45/2.25 o 108 3.79/2.41 c cleaning 11105 clauses out of 22215 with flag 15729/48943 3.99/2.60 c cleaning 8554 clauses out of 17110 with flag 44444/54943 3.99/2.62 c Got one! Elapsed wall clock time (in seconds):2.359 3.99/2.62 o 103 4.09/2.74 c Got one! Elapsed wall clock time (in seconds):2.487 4.09/2.74 o 102 4.09/2.75 c Got one! Elapsed wall clock time (in seconds):2.491 4.09/2.75 o 97 4.09/2.76 c Got one! Elapsed wall clock time (in seconds):2.495 4.09/2.76 o 90 4.09/2.77 c Got one! Elapsed wall clock time (in seconds):2.506 4.09/2.77 o 88 4.25/2.81 c cleaning 7698 clauses out of 15406 with flag 5021/61793 4.25/2.89 c Got one! Elapsed wall clock time (in seconds):2.626 4.25/2.89 o 84 4.25/2.89 c Got one! Elapsed wall clock time (in seconds):2.632 4.25/2.89 o 82 4.45/2.91 c Got one! Elapsed wall clock time (in seconds):2.64 4.45/2.91 o 81 4.45/2.91 c Got one! Elapsed wall clock time (in seconds):2.646 4.45/2.91 o 72 4.45/2.96 c Got one! Elapsed wall clock time (in seconds):2.705 4.45/2.96 o 71 4.61/3.05 c cleaning 7097 clauses out of 14206 with flag 11161/68291 4.61/3.05 c Got one! Elapsed wall clock time (in seconds):2.797 4.61/3.05 o 66 4.71/3.19 c cleaning 6233 clauses out of 12479 with flag 24256/73661 4.91/3.33 c cleaning 6121 clauses out of 12245 with flag 55340/79660 5.01/3.48 c cleaning 6562 clauses out of 13124 with flag 88884/86660 5.11/3.58 c Got one! Elapsed wall clock time (in seconds):3.323 5.11/3.58 o 65 5.21/3.62 c cleaning 6071 clauses out of 12142 with flag 5487/92240 5.21/3.62 c Got one! Elapsed wall clock time (in seconds):3.36 5.21/3.62 o 64 5.31/3.75 c cleaning 5586 clauses out of 11173 with flag 28706/97342 5.31/3.77 c Got one! Elapsed wall clock time (in seconds):3.514 5.31/3.77 o 32 5.42/3.81 c Got one! Elapsed wall clock time (in seconds):3.553 5.42/3.81 o 30 5.52/3.90 c cleaning 5776 clauses out of 11554 with flag 12591/103309 5.64/4.07 c cleaning 5886 clauses out of 11778 with flag 38961/109309 5.78/4.12 c Got one! Elapsed wall clock time (in seconds):3.861 5.78/4.12 o 29 5.78/4.19 c cleaning 5639 clauses out of 11287 with flag 11684/114704 6.03/4.36 c cleaning 5825 clauses out of 11651 with flag 34769/120707 6.03/4.39 c Got one! Elapsed wall clock time (in seconds):4.127 6.03/4.39 o 28 6.41/4.54 c cleaning 5662 clauses out of 11328 with flag 16431/126210 6.80/4.72 c cleaning 5832 clauses out of 11666 with flag 41025/132210 7.22/4.94 c cleaning 6414 clauses out of 12834 with flag 69170/139211 7.22/4.96 c Got one! Elapsed wall clock time (in seconds):4.696 7.22/4.96 o 25 7.41/5.10 c cleaning 6068 clauses out of 12140 with flag 21817/144931 7.79/5.26 c cleaning 6030 clauses out of 12071 with flag 48042/150931 7.97/5.38 c Got one! Elapsed wall clock time (in seconds):5.121 7.97/5.39 o 24 8.29/5.53 c cleaning 8205 clauses out of 16428 with flag 21513/161320 8.46/5.68 c cleaning 7108 clauses out of 14222 with flag 47860/167319 8.70/5.84 c cleaning 7053 clauses out of 14112 with flag 78084/174319 8.92/6.02 c cleaning 7526 clauses out of 15059 with flag 111754/182320 9.02/6.12 c Got one! Elapsed wall clock time (in seconds):5.863 9.02/6.12 o 20 9.02/6.16 c cleaning 6523 clauses out of 13062 with flag 4440/187851 9.11/6.28 c Got one! Elapsed wall clock time (in seconds):6.021 9.11/6.28 o 17 9.21/6.36 c Got one! Elapsed wall clock time (in seconds):6.098 9.21/6.36 o 6 9.21/6.37 c Got one! Elapsed wall clock time (in seconds):6.111 9.21/6.37 o 3 9.32/6.48 c cleaning 9125 clauses out of 18254 with flag 14299/199571 9.42/6.51 c Got one! Elapsed wall clock time (in seconds):6.249 9.42/6.51 o 2 9.52/6.65 c cleaning 7105 clauses out of 14216 with flag 20394/204663 9.52/6.69 c starts : 176 9.52/6.69 c conflicts : 205495 9.52/6.69 c decisions : 327166 9.52/6.69 c propagations : 4926866 9.52/6.69 c inspects : 51645030 9.52/6.69 c shortcuts : 0 9.52/6.69 c learnt literals : 26 9.52/6.69 c learnt binary clauses : 7 9.52/6.69 c learnt ternary clauses : 332 9.52/6.69 c learnt constraints : 205468 9.52/6.69 c ignored constraints : 0 9.52/6.69 c root simplifications : 0 9.52/6.69 c removed literals (reason simplification) : 0 9.52/6.69 c reason swapping (by a shorter reason) : 0 9.52/6.69 c Calls to reduceDB : 29 9.52/6.69 c Number of update (reduction) of LBD : 54913 9.52/6.69 c Imported unit clauses : 0 9.52/6.69 c No decision after first conflict : false 9.52/6.69 c number of reductions to clauses (during analyze) : 0 9.52/6.69 c number of learned constraints concerned by reduction : 0 9.52/6.69 c number of learning phase by resolution : 0 9.52/6.69 c number of learning phase by cutting planes : 0 9.52/6.69 c number of rounding to 1 operations : 0 9.52/6.69 c number of easy rounding to 1 operations (no literal elimination needed) : 0 9.52/6.69 c number of reductions of the coefficients by power 2 : 0 9.52/6.69 c number of right shift for reduction by power 2 : 0 9.52/6.69 c number of reductions of the coefficients by GCD over coefficients : 0 9.52/6.69 c number of ending skipping : 0 9.52/6.69 c number of internal skipping : 0 9.52/6.69 c number of derivation steps : 0 9.52/6.69 c number of skipped derivation steps : 0 9.52/6.69 c number of remaining unassigned : 0 9.52/6.69 c number of remaining assigned : 0 9.52/6.69 c number of falsified literals weakened from reason : 0 9.52/6.69 c number of falsified literals weakened from conflict : 0 9.52/6.69 c time for arithmetic operations : 0 9.52/6.69 c minimum degree of deleted constraints : null 9.52/6.69 c maximum degree of deleted constraints : null 9.52/6.69 c number of deleted constraints : 0 9.52/6.69 c speed (assignments/second) : 776985.6489512695 9.52/6.69 c non guided choices : 2872 9.52/6.69 s OPTIMUM FOUND 9.52/6.69 c Found 74 solution(s) 9.52/6.69 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 9.52/6.69 c objective function=2 9.52/6.69 c Total wall clock time (in seconds): 6.43
OK 2
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: 64096 MiB (59476 MiB free)
memory of node 1: 64473 MiB (60959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424841-1720881491/watcher-4424841-1720881491 -o /tmp/evaluation-result-4424841-1720881491/solver-4424841-1720881491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424841-1720881491.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=702874, runsolver pid=702871
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 3.91 2.41 1.67 5/318 702892
/proc/meminfo: memFree=123288372/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=18975048 memory=58244 CPUtime=0.12 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 6594 0 0 0 10 2 0 0 20 0 18 0 140305012 19430449152 14561 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4743762 14561 5584 1 0 550909 0
[pid=702874/tid=702876] ppid=702871 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 5504 0 0 0 7 1 0 0 20 0 18 0 140305012 19430449152 14561 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140305015 19430449152 14561 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140305016 19430449152 14561 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58244 KiB
[startup+0.205639 s]*
/proc/loadavg: 3.91 2.41 1.67 5/318 702892
/proc/meminfo: memFree=123279344/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=18975048 memory=66948 CPUtime=0.26 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 7232 0 0 0 23 3 0 0 20 0 18 0 140305012 19430449152 16737 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4743762 16737 5588 1 0 551432 0
[pid=702874/tid=702876] ppid=702871 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 5744 0 0 0 17 2 0 0 20 0 18 0 140305012 19430449152 16737 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=18975048 memory=3715 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140305015 19430449152 16737 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140305016 19430449152 16737 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66948 KiB
[startup+0.308136 s]*
/proc/loadavg: 3.91 2.41 1.67 7/318 702892
/proc/meminfo: memFree=123276064/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=18975048 memory=70872 CPUtime=0.42 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 7555 0 0 0 39 3 0 0 20 0 18 0 140305012 19430449152 17718 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4743762 17718 5779 1 0 551626 0
[pid=702874/tid=702876] ppid=702871 vsize=18975048 memory=-9103571906033263292 CPUtime=0.29 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 5908 0 0 0 27 2 0 0 20 0 18 0 140305012 19430449152 17718 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140305015 19430449152 17718 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140305016 19430449152 17718 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70872 KiB
[startup+0.701127 s]
/proc/loadavg: 4.08 2.47 1.69 7/319 702893
/proc/meminfo: memFree=123269988/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=87468 CPUtime=1.16 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 12131 0 0 0 112 4 0 0 20 0 19 0 140305012 19498610688 21867 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 21867 5870 1 0 554823 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=5476 CPUtime=0.66 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 6052 0 0 0 64 2 0 0 20 0 19 0 140305012 19498610688 21867 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 21867 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 21867 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 21867 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87468 KiB
[startup+1.50912 s]
/proc/loadavg: 4.08 2.47 1.69 5/319 702893
/proc/meminfo: memFree=123253968/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=99712 CPUtime=2.41 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 16214 0 0 0 237 4 0 0 20 0 19 0 140305012 19498610688 24928 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 24928 5870 1 0 555618 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=12320 CPUtime=1.46 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 6652 0 0 0 144 2 0 0 20 0 19 0 140305012 19498610688 24928 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 24928 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 24928 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=281423437276432 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 24928 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99712 KiB
[startup+3.11138 s]
/proc/loadavg: 4.08 2.47 1.69 5/319 702893
/proc/meminfo: memFree=123226552/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=122592 CPUtime=4.71 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 18554 0 0 0 466 5 0 0 20 0 19 0 140305012 19498610688 30648 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 30648 5870 1 0 555639 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=0 CPUtime=3.06 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 7115 0 0 0 303 3 0 0 20 0 19 0 140305012 19498610688 30648 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 30648 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 30648 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 30648 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122592 KiB
[startup+6.30042 s]
/proc/loadavg: 4.15 2.52 1.71 5/319 702893
/proc/meminfo: memFree=123142896/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=183612 CPUtime=9.21 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 27649 0 0 0 912 9 0 0 20 0 19 0 140305012 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 45903 5880 1 0 558714 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=12320 CPUtime=6.24 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 7687 0 0 0 620 4 0 0 20 0 19 0 140305012 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=101900 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 183612 KiB
[startup+6.71805 s]
# the end of solver process 702874 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=9.5479 s, system=0.103169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40054 s]
/proc/loadavg: 4.15 2.52 1.71 5/319 702893
/proc/meminfo: memFree=123142896/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=183612 CPUtime=9.32 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 27651 0 0 0 923 9 0 0 20 0 19 0 140305012 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 45903 5880 1 0 558714 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=0 CPUtime=6.34 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 7687 0 0 0 630 4 0 0 20 0 19 0 140305012 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=224194199869 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=37200 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 45903 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 9.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 183612 KiB
[startup+6.6004 s]
/proc/loadavg: 4.15 2.52 1.71 5/319 702893
/proc/meminfo: memFree=123142896/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19041612 memory=185660 CPUtime=9.52 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 27653 0 0 0 943 9 0 0 20 0 19 0 140305012 19498610688 46415 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4760403 46415 5880 1 0 558714 0
[pid=702874/tid=702876] ppid=702871 vsize=19041612 memory=5476 CPUtime=6.53 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) R 702871 702874 698245 0 -1 4194368 7689 0 0 0 649 4 0 0 20 0 19 0 140305012 19498610688 46415 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19041612 memory=-9103571906033263292 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140305015 19498610688 46415 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140305016 19498610688 46415 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702893] ppid=702871 vsize=19041612 memory=19428 CPUtime=0 cores=5,7
/proc/702874/task/702893/stat : 702893 (Timer-0) S 702871 702874 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140305047 19498610688 46415 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 185660 KiB
[startup+6.70038 s]
/proc/loadavg: 4.15 2.52 1.71 5/319 702893
/proc/meminfo: memFree=123142896/131655788 swapFree=131071996/131071996
[pid=702874] ppid=702871 vsize=19241304 memory=194664 CPUtime=9.63 cores=5,7
/proc/702874/stat : 702874 (java) S 702871 702874 698245 0 -1 1077936128 29527 0 0 0 954 9 0 0 20 0 14 0 140305012 19703095296 48666 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
/proc/702874/statm: 4810326 48666 5910 1 0 559605 0
[pid=702874/tid=702876] ppid=702871 vsize=19241304 memory=12320 CPUtime=6.59 cores=5,7
/proc/702874/task/702876/stat : 702876 (java) S 702871 702874 698245 0 -1 1077936192 8342 0 0 0 655 4 0 0 20 0 14 0 140305012 19703095296 48666 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702885] ppid=702871 vsize=19241304 memory=0 CPUtime=0 cores=5,7
/proc/702874/task/702885/stat : 702885 (Finalizer) S 702871 702874 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 14 0 140305015 19703095296 48666 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
[pid=702874/tid=702892] ppid=702871 vsize=19241304 memory=101900 CPUtime=0 cores=5,7
/proc/702874/task/702892/stat : 702892 (Common-Cleaner) S 702871 702874 698245 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 14 0 140305016 19703095296 48666 134679101440 94668627492864 94668627496560 140736303623584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668627504376 94668627505168 94668636307456 140736303629293 140736303629383 140736303629383 140736303636424 0
Current children cumulated CPU time: 9.63 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 194664 KiB
Child status: 30
Real time (s): 6.71813
CPU time (s): 9.65107
CPU user time (s): 9.5479
CPU system time (s): 0.103169
CPU usage (%): 143.657
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 194664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.5479
system time used= 0.103169
maximum resident set size= 195856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1190
involuntary context switches= 239
# summary of solver processes directly reported to runsolver:
# pid: 702874
# total CPU time (s): 9.65107
# total CPU user time (s): 9.5479
# total CPU system time (s): 0.103169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043313 second user time and 0.094676 second system time
The end
Begin job on nodeC004 at 2024-07-13 16:38:24 IDJOB=4424841 IDBENCH=143679 IDSOLVER=3037 FILE ID=nodeC004/4424841-1720881491 RUNJOBID= nodeC004-1720881342-702392 SLURM_JOB_ID= 7483752 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424841-1720881491/watcher-4424841-1720881491 -o /tmp/evaluation-result-4424841-1720881491/solver-4424841-1720881491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424841-1720881491.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bde05d98e9c3034ba9efb528ac470ce1 RANDOM SEED=1684417843 nodeC004.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 : 0xb00001f cpu MHz : 3604.633 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 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 : 0xb00001f cpu MHz : 3553.537 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.396 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 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 : 0xb00001f cpu MHz : 1596.529 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 3505.115 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 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 : 0xb00001f cpu MHz : 1197.313 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.441 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 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 : 0xb00001f cpu MHz : 3607.986 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123326368 kB MemAvailable: 123225472 kB Buffers: 323020 kB Cached: 425696 kB SwapCached: 0 kB Active: 479812 kB Inactive: 7338700 kB Active(anon): 3352 kB Inactive(anon): 7104168 kB Active(file): 476460 kB Inactive(file): 234532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1004 kB Writeback: 0 kB AnonPages: 7069484 kB Mapped: 122016 kB Shmem: 37700 kB KReclaimable: 56624 kB Slab: 146024 kB SReclaimable: 56624 kB SUnreclaim: 89400 kB KernelStack: 4896 kB PageTables: 23592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10999192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45920 kB HardwareCorrupted: 0 kB AnonHugePages: 6717440 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: 166728 kB DirectMap2M: 7077888 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723780 MiB End job on nodeC004 at 2024-07-13 16:38:31