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 | 10.6902 | 7.49707 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo |
| MD5SUM | f3b20153a1a8190549e87197e657cd34 |
| Bench Category | SOFT-LIN (WBO, only soft 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.252433 |
| 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 | 101 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1192 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.10 c version CUSTOM.v20240707 0.11/0.12 c java.runtime.name OpenJDK Runtime Environment 0.11/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.12 c java.vm.version 22.0.1+8-16 0.11/0.12 c java.vm.vendor Oracle Corporation 0.11/0.12 c sun.arch.data.model 64 0.11/0.12 c java.version 22.0.1 0.11/0.12 c os.name Linux 0.11/0.12 c os.version 4.18.0-301.1.el8.x86_64 0.11/0.12 c os.arch amd64 0.11/0.13 c Free memory 2113181440 0.11/0.13 c Max memory 16282288128 0.11/0.13 c Total memory 2122317824 0.11/0.14 c Number of processors 2 0.11/0.19 --- Begin Solver configuration --- 0.11/0.19 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.11/0.19 Learn all clauses as in MiniSAT 0.11/0.19 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.19 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.19 No reason simplification 0.11/0.19 Glucose 2.1 dynamic restart strategy 0.11/0.19 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.11/0.19 timeout=2147483s 0.11/0.19 DB Simplification allowed=false 0.11/0.19 Listener: none 0.11/0.19 --- End Solver configuration --- 0.11/0.19 c Pseudo Boolean Optimization by upper bound 0.11/0.19 c --- Begin Solver configuration --- 0.11/0.19 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.11/0.19 c Learn all clauses as in MiniSAT 0.11/0.19 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.19 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.19 c No reason simplification 0.11/0.19 c Glucose 2.1 dynamic restart strategy 0.11/0.19 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.11/0.19 c timeout=2147483s 0.11/0.19 c DB Simplification allowed=false 0.11/0.19 c Listener: none 0.11/0.19 c --- End Solver configuration --- 0.11/0.19 c solving HOME/instance-4425062-1720879386.wbo 0.11/0.19 c reading problem ... 0.27/0.24 c ... done. Wall clock time 0.046s. 0.27/0.24 c declared #vars 169 0.27/0.24 c internal #vars 270 0.27/0.24 c #constraints 102 0.27/0.24 c constraints type 0.27/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.27/0.24 c org.sat4j.specs.Constr$1 => 1 0.27/0.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.27/0.24 c 102 constraints processed. 0.27/0.26 c objective function length is 101 literals 0.48/0.35 c SATISFIABLE 0.48/0.35 c OPTIMIZING... 0.48/0.35 c Got one! Elapsed wall clock time (in seconds):0.16 0.48/0.35 o 466 0.48/0.37 c Got one! Elapsed wall clock time (in seconds):0.174 0.48/0.37 o 449 0.48/0.38 c Got one! Elapsed wall clock time (in seconds):0.182 0.48/0.38 o 448 0.48/0.40 c Got one! Elapsed wall clock time (in seconds):0.21 0.48/0.40 o 447 0.66/0.45 c Got one! Elapsed wall clock time (in seconds):0.261 0.66/0.45 o 437 0.66/0.48 c Got one! Elapsed wall clock time (in seconds):0.283 0.66/0.48 o 431 0.66/0.49 c Got one! Elapsed wall clock time (in seconds):0.301 0.66/0.49 o 425 0.66/0.50 c Got one! Elapsed wall clock time (in seconds):0.31 0.66/0.50 o 423 0.85/0.53 c Got one! Elapsed wall clock time (in seconds):0.335 0.85/0.53 o 421 0.85/0.58 c Got one! Elapsed wall clock time (in seconds):0.386 0.85/0.58 o 418 1.01/0.68 c Got one! Elapsed wall clock time (in seconds):0.483 1.01/0.68 o 416 1.01/0.69 c Got one! Elapsed wall clock time (in seconds):0.49 1.01/0.69 o 397 1.19/0.72 c Got one! Elapsed wall clock time (in seconds):0.521 1.19/0.72 o 392 1.19/0.72 c Got one! Elapsed wall clock time (in seconds):0.525 1.19/0.72 o 268 1.19/0.76 c Got one! Elapsed wall clock time (in seconds):0.568 1.19/0.76 o 246 1.59/0.93 c Got one! Elapsed wall clock time (in seconds):0.737 1.59/0.93 o 244 1.59/0.94 c Got one! Elapsed wall clock time (in seconds):0.749 1.59/0.94 o 229 1.80/1.08 c cleaning 5105 clauses out of 10209 with flag 6282/10209 2.00/1.12 c Got one! Elapsed wall clock time (in seconds):0.921 2.00/1.12 o 228 2.00/1.13 c Got one! Elapsed wall clock time (in seconds):0.939 2.00/1.13 o 227 2.00/1.16 c Got one! Elapsed wall clock time (in seconds):0.963 2.00/1.16 o 225 2.00/1.18 c Got one! Elapsed wall clock time (in seconds):0.984 2.00/1.18 o 216 2.00/1.18 c Got one! Elapsed wall clock time (in seconds):0.993 2.00/1.18 o 215 2.16/1.28 c Got one! Elapsed wall clock time (in seconds):1.093 2.16/1.28 o 212 2.28/1.39 c cleaning 6897 clauses out of 13796 with flag 11161/18901 2.40/1.44 c Got one! Elapsed wall clock time (in seconds):1.238 2.40/1.44 o 211 2.40/1.45 c Got one! Elapsed wall clock time (in seconds):1.245 2.40/1.45 o 209 2.40/1.48 c Got one! Elapsed wall clock time (in seconds):1.292 2.40/1.48 o 206 2.56/1.50 c Got one! Elapsed wall clock time (in seconds):1.308 2.56/1.50 o 205 2.56/1.58 c Got one! Elapsed wall clock time (in seconds):1.384 2.56/1.58 o 204 2.67/1.62 c cleaning 6940 clauses out of 13885 with flag 3521/25887 2.67/1.68 c Got one! Elapsed wall clock time (in seconds):1.487 2.67/1.68 o 168 2.78/1.72 c Got one! Elapsed wall clock time (in seconds):1.525 2.78/1.72 o 167 2.78/1.76 c Got one! Elapsed wall clock time (in seconds):1.563 2.78/1.76 o 166 2.78/1.79 c cleaning 6329 clauses out of 12662 with flag 3733/31604 2.78/1.79 c Got one! Elapsed wall clock time (in seconds):1.603 2.89/1.80 o 164 2.89/1.80 c Got one! Elapsed wall clock time (in seconds):1.607 2.89/1.80 o 161 2.89/1.85 c Got one! Elapsed wall clock time (in seconds):1.661 2.89/1.85 o 157 2.89/1.86 c Got one! Elapsed wall clock time (in seconds):1.672 2.89/1.86 o 151 3.03/1.96 c Got one! Elapsed wall clock time (in seconds):1.768 3.03/1.96 o 148 3.03/1.98 c Got one! Elapsed wall clock time (in seconds):1.785 3.03/1.98 o 146 3.24/2.08 c cleaning 6782 clauses out of 13565 with flag 4247/38836 3.24/2.09 c Got one! Elapsed wall clock time (in seconds):1.892 3.24/2.09 o 145 3.44/2.13 c Got one! Elapsed wall clock time (in seconds):1.936 3.44/2.13 o 143 3.63/2.25 c Got one! Elapsed wall clock time (in seconds):2.055 3.63/2.25 o 142 3.83/2.30 c Got one! Elapsed wall clock time (in seconds):2.102 3.83/2.30 o 141 3.83/2.33 c Got one! Elapsed wall clock time (in seconds):2.136 3.83/2.33 o 140 3.83/2.35 c Got one! Elapsed wall clock time (in seconds):2.155 3.83/2.35 o 138 3.83/2.35 c Got one! Elapsed wall clock time (in seconds):2.161 3.83/2.35 o 133 3.83/2.37 c Got one! Elapsed wall clock time (in seconds):2.174 3.83/2.37 o 132 3.83/2.37 c Got one! Elapsed wall clock time (in seconds):2.178 3.83/2.37 o 120 3.83/2.38 c Got one! Elapsed wall clock time (in seconds):2.189 3.83/2.38 o 109 3.83/2.40 c Got one! Elapsed wall clock time (in seconds):2.2 3.83/2.40 o 107 4.03/2.41 c Got one! Elapsed wall clock time (in seconds):2.221 4.03/2.41 o 98 4.03/2.43 c Got one! Elapsed wall clock time (in seconds):2.24 4.03/2.43 o 94 4.22/2.54 c cleaning 8772 clauses out of 17543 with flag 3910/49596 4.22/2.59 c Got one! Elapsed wall clock time (in seconds):2.397 4.22/2.59 o 83 4.43/2.67 c Got one! Elapsed wall clock time (in seconds):2.482 4.43/2.67 o 82 4.62/2.76 c cleaning 7458 clauses out of 14931 with flag 8831/55756 4.82/2.83 c Got one! Elapsed wall clock time (in seconds):2.638 4.82/2.83 o 81 4.82/2.85 c Got one! Elapsed wall clock time (in seconds):2.658 4.82/2.85 o 80 4.82/2.86 c Got one! Elapsed wall clock time (in seconds):2.67 4.82/2.86 o 61 5.02/2.95 c cleaning 6964 clauses out of 13930 with flag 9660/62213 5.42/3.10 c cleaning 6477 clauses out of 12966 with flag 30437/68213 5.42/3.14 c Got one! Elapsed wall clock time (in seconds):2.952 5.42/3.14 o 57 5.42/3.18 c Got one! Elapsed wall clock time (in seconds):2.978 5.42/3.18 o 56 5.58/3.22 c cleaning 6068 clauses out of 12139 with flag 8473/73863 5.73/3.35 c cleaning 6032 clauses out of 12070 with flag 38805/79862 5.94/3.51 c Got one! Elapsed wall clock time (in seconds):3.316 5.94/3.51 o 50 5.94/3.54 c Got one! Elapsed wall clock time (in seconds):3.35 5.94/3.54 o 36 6.05/3.61 c Got one! Elapsed wall clock time (in seconds):3.417 6.05/3.61 o 31 6.05/3.68 c cleaning 9175 clauses out of 18357 with flag 6643/92181 6.15/3.71 c Got one! Elapsed wall clock time (in seconds):3.518 6.15/3.71 o 30 6.25/3.81 c cleaning 7216 clauses out of 14451 with flag 14509/97450 6.35/3.94 c cleaning 6616 clauses out of 13234 with flag 36687/103449 6.45/4.09 c cleaning 6807 clauses out of 13620 with flag 63370/110451 6.56/4.15 c Got one! Elapsed wall clock time (in seconds):3.96 6.56/4.15 o 29 6.56/4.20 c cleaning 6160 clauses out of 12320 with flag 7081/115958 6.87/4.32 c cleaning 6076 clauses out of 12158 with flag 28664/121956 6.97/4.45 c cleaning 6531 clauses out of 13082 with flag 52681/128956 7.07/4.50 c Got one! Elapsed wall clock time (in seconds):4.313 7.07/4.51 o 22 7.07/4.55 c cleaning 6097 clauses out of 12197 with flag 7031/134602 7.07/4.57 c Got one! Elapsed wall clock time (in seconds):4.377 7.07/4.57 o 16 7.18/4.68 c cleaning 6024 clauses out of 12071 with flag 18731/140573 7.38/4.80 c cleaning 6021 clauses out of 12050 with flag 42497/146576 7.48/4.95 c cleaning 6511 clauses out of 13026 with flag 70205/153573 7.68/5.12 c cleaning 7250 clauses out of 14515 with flag 102239/161573 7.87/5.31 c cleaning 8131 clauses out of 16266 with flag 138024/170574 8.07/5.54 c cleaning 9066 clauses out of 18137 with flag 180727/180576 8.07/5.54 c Got one! Elapsed wall clock time (in seconds):5.351 8.07/5.54 o 10 8.17/5.66 c cleaning 7053 clauses out of 14110 with flag 19869/185616 8.52/5.81 c cleaning 6526 clauses out of 13057 with flag 44980/191616 8.72/5.97 c cleaning 6767 clauses out of 13533 with flag 73290/198619 8.96/6.17 c cleaning 7380 clauses out of 14761 with flag 106474/206617 9.08/6.23 c Got one! Elapsed wall clock time (in seconds):6.041 9.08/6.23 o 9 9.08/6.29 c cleaning 6235 clauses out of 12471 with flag 9418/211708 9.39/6.42 c cleaning 6111 clauses out of 12237 with flag 35157/217709 9.57/6.57 c cleaning 6553 clauses out of 13125 with flag 65325/224708 9.76/6.69 c Got one! Elapsed wall clock time (in seconds):6.502 9.76/6.69 o 7 9.96/6.83 c cleaning 8712 clauses out of 17431 with flag 21312/235568 9.96/6.87 c Got one! Elapsed wall clock time (in seconds):6.679 9.96/6.87 o 5 10.06/6.95 c cleaning 6886 clauses out of 13777 with flag 13736/240627 10.16/7.09 c cleaning 6437 clauses out of 12886 with flag 39751/246626 10.35/7.25 c cleaning 6716 clauses out of 13443 with flag 69971/253626 10.35/7.26 c Got one! Elapsed wall clock time (in seconds):7.067 10.35/7.26 o 3 10.55/7.40 c cleaning 6177 clauses out of 12373 with flag 23599/259272 10.55/7.43 c Got one! Elapsed wall clock time (in seconds):7.241 10.55/7.43 o 2 10.55/7.44 c starts : 197 10.55/7.46 c conflicts : 261008 10.55/7.47 c decisions : 438703 10.55/7.47 c propagations : 6827649 10.55/7.47 c inspects : 56721876 10.55/7.47 c shortcuts : 0 10.55/7.47 c learnt literals : 18 10.55/7.47 c learnt binary clauses : 37 10.55/7.47 c learnt ternary clauses : 578 10.55/7.47 c learnt constraints : 260990 10.55/7.47 c ignored constraints : 0 10.55/7.47 c root simplifications : 0 10.55/7.47 c removed literals (reason simplification) : 0 10.55/7.47 c reason swapping (by a shorter reason) : 0 10.55/7.47 c Calls to reduceDB : 37 10.55/7.47 c Number of update (reduction) of LBD : 73329 10.55/7.47 c Imported unit clauses : 0 10.55/7.47 c No decision after first conflict : false 10.55/7.47 c number of reductions to clauses (during analyze) : 0 10.55/7.47 c number of learned constraints concerned by reduction : 0 10.55/7.47 c number of learning phase by resolution : 0 10.55/7.47 c number of learning phase by cutting planes : 0 10.55/7.47 c number of rounding to 1 operations : 0 10.55/7.47 c number of easy rounding to 1 operations (no literal elimination needed) : 0 10.55/7.47 c number of reductions of the coefficients by power 2 : 0 10.55/7.47 c number of right shift for reduction by power 2 : 0 10.55/7.47 c number of reductions of the coefficients by GCD over coefficients : 0 10.55/7.47 c number of ending skipping : 0 10.55/7.47 c number of internal skipping : 0 10.55/7.47 c number of derivation steps : 0 10.55/7.47 c number of skipped derivation steps : 0 10.55/7.47 c number of remaining unassigned : 0 10.55/7.47 c number of remaining assigned : 0 10.55/7.47 c number of falsified literals weakened from reason : 0 10.55/7.47 c number of falsified literals weakened from conflict : 0 10.55/7.47 c time for arithmetic operations : 0 10.55/7.48 c minimum degree of deleted constraints : null 10.55/7.48 c maximum degree of deleted constraints : null 10.55/7.48 c number of deleted constraints : 0 10.55/7.48 c speed (assignments/second) : 946181.9567627495 10.55/7.48 c non guided choices : 3405 10.55/7.48 s OPTIMUM FOUND 10.55/7.48 c Found 70 solution(s) 10.55/7.48 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 10.55/7.48 c objective function=2 10.55/7.48 c Total wall clock time (in seconds): 7.291
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: 64059 MiB (63200 MiB free)
memory of node 1: 64510 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425062-1720879386/watcher-4425062-1720879386 -o /tmp/evaluation-result-4425062-1720879386/solver-4425062-1720879386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701331 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425062-1720879386.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=701985, runsolver pid=701982
[startup+0.101653 s]*
/proc/loadavg: 3.19 1.62 1.87 9/317 702003
/proc/meminfo: memFree=129734812/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=18975048 memory=59616 CPUtime=0.11 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 6782 0 0 0 9 2 0 0 20 0 18 0 140097855 19430449152 14904 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4743762 14904 5717 1 0 551063 0
[pid=701985/tid=701987] ppid=701982 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 1077936192 5615 0 0 0 6 2 0 0 20 0 18 0 140097855 19430449152 14904 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140097858 19430449152 14904 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=18975048 memory=15823283178223670 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140097859 19430449152 14904 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59616 KiB
[startup+0.209816 s]*
/proc/loadavg: 3.19 1.62 1.87 8/317 702003
/proc/meminfo: memFree=129723148/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=18975048 memory=66980 CPUtime=0.27 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 7486 0 0 0 24 3 0 0 20 0 18 0 140097855 19430449152 16745 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4743762 16745 5848 1 0 551597 0
[pid=701985/tid=701987] ppid=701982 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 1077936192 5897 0 0 0 15 2 0 0 20 0 18 0 140097855 19430449152 16745 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=18975048 memory=1645 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140097858 19430449152 16745 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140097859 19430449152 16745 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66980 KiB
[startup+0.319384 s]*
/proc/loadavg: 3.19 1.62 1.87 9/318 702004
/proc/meminfo: memFree=129714996/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19041612 memory=72904 CPUtime=0.48 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 8451 0 0 0 44 4 0 0 20 0 19 0 140097855 19498610688 18226 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4760403 18226 5900 1 0 552222 0
[pid=701985/tid=701987] ppid=701982 vsize=19041612 memory=-9031231741801964220 CPUtime=0.28 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 6000 0 0 0 25 3 0 0 20 0 19 0 140097855 19498610688 18226 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140097858 19498610688 18226 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140097859 19498610688 18226 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140097882 19498610688 18226 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72904 KiB
[startup+0.700384 s]
/proc/loadavg: 3.19 1.62 1.87 9/318 702004
/proc/meminfo: memFree=129695824/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19041612 memory=82156 CPUtime=1.19 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 11184 0 0 0 115 4 0 0 20 0 19 0 140097855 19498610688 20539 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4760403 20539 5900 1 0 553945 0
[pid=701985/tid=701987] ppid=701982 vsize=19041612 memory=11948 CPUtime=0.63 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 6034 0 0 0 60 3 0 0 20 0 19 0 140097855 19498610688 20539 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19041612 memory=11948 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140097858 19498610688 20539 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140097859 19498610688 20539 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19041612 memory=32604 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140097882 19498610688 20539 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82156 KiB
[startup+1.50038 s]
/proc/loadavg: 3.19 1.62 1.87 7/318 702004
/proc/meminfo: memFree=129656436/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19041612 memory=99020 CPUtime=2.56 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 16009 0 0 0 251 5 0 0 20 0 19 0 140097855 19498610688 24755 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4760403 24755 5900 1 0 554992 0
[pid=701985/tid=701987] ppid=701982 vsize=19041612 memory=11948 CPUtime=1.41 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7056 0 0 0 138 3 0 0 20 0 19 0 140097855 19498610688 24755 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140097858 19498610688 24755 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140097859 19498610688 24755 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140097882 19498610688 24755 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99020 KiB
[startup+3.10638 s]
/proc/loadavg: 3.33 1.68 1.89 8/318 702006
/proc/meminfo: memFree=129545932/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19041612 memory=133732 CPUtime=5.42 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 23126 0 0 0 534 8 0 0 20 0 19 0 140097855 19498610688 33433 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4760403 33433 5900 1 0 558594 0
[pid=701985/tid=701987] ppid=701982 vsize=19041612 memory=0 CPUtime=3 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7668 0 0 0 296 4 0 0 20 0 19 0 140097855 19498610688 33433 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140097858 19498610688 33433 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19041612 memory=103116 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140097859 19498610688 33433 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19041612 memory=11948 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140097882 19498610688 33433 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133732 KiB
[startup+6.30039 s]
/proc/loadavg: 3.33 1.68 1.89 6/318 702073
/proc/meminfo: memFree=129550908/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19108176 memory=188696 CPUtime=9.21 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 25675 0 0 0 912 9 0 0 20 0 20 0 140097855 19566772224 47174 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4777044 47174 5916 1 0 559309 0
[pid=701985/tid=701987] ppid=701982 vsize=19108176 memory=11948 CPUtime=6.14 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7981 0 0 0 610 4 0 0 20 0 20 0 140097855 19566772224 47174 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140097858 19566772224 47174 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 140097859 19566772224 47174 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140097882 19566772224 47174 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188696 KiB
[startup+7.49703 s]
# the end of solver process 701985 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=10.5829 s, system=0.107242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40038 s]
/proc/loadavg: 3.33 1.68 1.89 6/318 702073
/proc/meminfo: memFree=129550908/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19108176 memory=188708 CPUtime=9.39 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 25872 0 0 0 930 9 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4777044 47177 5916 1 0 559309 0
[pid=701985/tid=701987] ppid=701982 vsize=19108176 memory=35256 CPUtime=6.24 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7981 0 0 0 620 4 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140097858 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19108176 memory=101068 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 140097859 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19108176 memory=228489168109 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140097882 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188708 KiB
[startup+7.20038 s]
/proc/loadavg: 3.79 1.80 1.93 9/297 702116
/proc/meminfo: memFree=129585556/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19108176 memory=188708 CPUtime=10.35 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 26403 0 0 0 1026 9 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4777044 47177 5916 1 0 559309 0
[pid=701985/tid=701987] ppid=701982 vsize=19108176 memory=35256 CPUtime=7.03 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7981 0 0 0 699 4 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140097858 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19108176 memory=-9031231741801964220 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 140097859 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19108176 memory=35256 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140097882 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188708 KiB
[startup+7.40039 s]
/proc/loadavg: 3.79 1.80 1.93 9/297 702116
/proc/meminfo: memFree=129585556/131655788 swapFree=131071996/131071996
[pid=701985] ppid=701982 vsize=19108176 memory=188708 CPUtime=10.55 cores=1,3
/proc/701985/stat : 701985 (java) S 701982 701985 696886 0 -1 1077936128 26406 0 0 0 1046 9 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
/proc/701985/statm: 4777044 47177 5916 1 0 559309 0
[pid=701985/tid=701987] ppid=701982 vsize=19108176 memory=139857087533871 CPUtime=7.23 cores=1,3
/proc/701985/task/701987/stat : 701987 (java) R 701982 701985 696886 0 -1 4194368 7981 0 0 0 719 4 0 0 20 0 20 0 140097855 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=701996] ppid=701982 vsize=19108176 memory=5301 CPUtime=0 cores=1,3
/proc/701985/task/701996/stat : 701996 (Finalizer) S 701982 701985 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140097858 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702003] ppid=701982 vsize=19108176 memory=2244 CPUtime=0 cores=1,3
/proc/701985/task/702003/stat : 702003 (Common-Cleaner) S 701982 701985 696886 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 140097859 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
[pid=701985/tid=702004] ppid=701982 vsize=19108176 memory=8550601598504884903 CPUtime=0 cores=1,3
/proc/701985/task/702004/stat : 702004 (Timer-0) S 701982 701985 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140097882 19566772224 47177 134679101440 94002154844160 94002154847856 140732955299760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002154855672 94002154856464 94002179629056 140732955304941 140732955305031 140732955305031 140732955312072 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188708 KiB
Child status: 30
Real time (s): 7.49707
CPU time (s): 10.6902
CPU user time (s): 10.5829
CPU system time (s): 0.107242
CPU usage (%): 142.591
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 188708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5829
system time used= 0.107242
maximum resident set size= 190684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27282
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= 1124
involuntary context switches= 319
# summary of solver processes directly reported to runsolver:
# pid: 701985
# total CPU time (s): 10.6902
# total CPU user time (s): 10.5829
# total CPU system time (s): 0.107242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030402 second user time and 0.08164 second system time
The end
Begin job on nodeC010 at 2024-07-13 16:03:18 IDJOB=4425062 IDBENCH=143294 IDSOLVER=3037 FILE ID=nodeC010/4425062-1720879386 RUNJOBID= nodeC010-1720879372-701331 SLURM_JOB_ID= 7483758 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425062-1720879386/watcher-4425062-1720879386 -o /tmp/evaluation-result-4425062-1720879386/solver-4425062-1720879386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701331 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425062-1720879386.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f3b20153a1a8190549e87197e657cd34 RANDOM SEED=81249306 nodeC010.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 : 3591.519 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 : 6983.51 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 : 3491.792 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.31 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.405 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 : 6983.51 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 : 1795.762 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.31 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 : 3292.226 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 : 6983.51 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.173 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.31 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 : 3391.990 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 : 6983.51 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 : 3292.225 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129776188 kB MemAvailable: 129663724 kB Buffers: 319376 kB Cached: 417072 kB SwapCached: 0 kB Active: 473504 kB Inactive: 906308 kB Active(anon): 1456 kB Inactive(anon): 679604 kB Active(file): 472048 kB Inactive(file): 226704 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4572 kB Writeback: 8 kB AnonPages: 643636 kB Mapped: 122056 kB Shmem: 37704 kB KReclaimable: 57632 kB Slab: 147124 kB SReclaimable: 57632 kB SUnreclaim: 89492 kB KernelStack: 4816 kB PageTables: 11708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7413520 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45728 kB HardwareCorrupted: 0 kB AnonHugePages: 376832 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: 162632 kB DirectMap2M: 9179136 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723776 MiB End job on nodeC010 at 2024-07-13 16:03:25