Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | OPT | 2 | 1423.84 | 1415.5 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=6.opb |
| MD5SUM | 452542b5617bc71813112a35665296a2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 4.31016 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 148 |
| Total number of constraints | 1760 |
| Number of constraints which are clauses | 1752 |
| Number of constraints which are cardinality constraints (but not clauses) | 8 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 9 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 8 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 10 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: ASSIGNED 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Armin Biere (Picosat) restarts strategy 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ASSIGNED 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4449675-1721488152.opb 0.13/0.15 c reading problem ... 0.13/0.15 c objective function found 0.34/0.22 c ... done. Wall clock time 0.07s. 0.34/0.22 c declared #vars 148 0.34/0.22 c #constraints 1760 0.34/0.22 c constraints type 0.34/0.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8 0.34/0.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1752 0.34/0.22 c 1760 constraints processed. 0.34/0.24 c objective function length is 8 literals 0.34/0.30 c SATISFIABLE 0.34/0.30 c OPTIMIZING... 0.34/0.30 c Got one! Elapsed wall clock time (in seconds):0.152 0.34/0.30 o 8 0.52/0.36 c Got one! Elapsed wall clock time (in seconds):0.209 0.52/0.37 o 7 0.52/0.40 c Got one! Elapsed wall clock time (in seconds):0.246 0.52/0.40 o 6 1.26/0.79 c Got one! Elapsed wall clock time (in seconds):0.639 1.26/0.79 o 5 1.45/0.88 c Got one! Elapsed wall clock time (in seconds):0.729 1.45/0.88 o 4 1.86/1.06 c Got one! Elapsed wall clock time (in seconds):0.903 1.86/1.06 o 3 2.64/1.44 c cleaning 1864 clauses out of 6059 with flag 0/6059 2.64/1.47 c Got one! Elapsed wall clock time (in seconds):1.317 2.64/1.47 o 2 5.62/2.92 c cleaning 2342 clauses out of 9453 with flag 0/11317 7.05/4.13 c cleaning 2208 clauses out of 13112 with flag 0/17318 10.40/7.30 c cleaning 3913 clauses out of 17903 with flag 0/24317 15.02/11.82 c cleaning 4609 clauses out of 21990 with flag 0/32317 20.59/17.38 c cleaning 5313 clauses out of 26380 with flag 0/41316 27.38/24.04 c cleaning 5709 clauses out of 31067 with flag 0/51316 35.10/31.77 c cleaning 6127 clauses out of 36358 with flag 0/62316 45.47/42.09 c cleaning 6688 clauses out of 42232 with flag 0/74317 59.18/55.61 c cleaning 7593 clauses out of 48544 with flag 0/87317 74.77/71.03 c cleaning 8004 clauses out of 54950 with flag 0/101316 92.99/89.07 c cleaning 8499 clauses out of 61947 with flag 0/116317 111.78/107.71 c cleaning 8961 clauses out of 69447 with flag 0/132316 137.07/132.81 c cleaning 9515 clauses out of 77487 with flag 0/149317 170.02/165.55 c cleaning 10285 clauses out of 85971 with flag 0/167316 204.23/199.55 c cleaning 10920 clauses out of 94686 with flag 0/186316 243.17/238.46 c cleaning 11441 clauses out of 103766 with flag 0/206316 290.16/285.39 c cleaning 12178 clauses out of 113325 with flag 0/227316 347.84/342.72 c cleaning 13088 clauses out of 123148 with flag 0/249317 405.79/400.45 c cleaning 13299 clauses out of 133060 with flag 0/272317 468.12/462.50 c cleaning 13912 clauses out of 143761 with flag 0/296317 544.97/539.06 c cleaning 14497 clauses out of 154849 with flag 0/321317 627.02/620.77 c cleaning 15268 clauses out of 166354 with flag 0/347319 716.39/709.91 c cleaning 15945 clauses out of 178083 with flag 0/374316 820.31/813.57 c cleaning 16937 clauses out of 190139 with flag 0/402317 931.86/924.91 c cleaning 17015 clauses out of 202201 with flag 0/431316 1056.38/1049.42 c cleaning 17840 clauses out of 215186 with flag 0/461316 1186.75/1179.31 c cleaning 18090 clauses out of 228348 with flag 0/492318 1333.37/1325.58 c cleaning 19341 clauses out of 242257 with flag 0/524317 1423.73/1415.44 c starts : 160 1423.73/1415.44 c conflicts : 548529 1423.73/1415.44 c decisions : 729926 1423.73/1415.44 c propagations : 10245720 1423.73/1415.44 c inspects : 3137696518 1423.73/1415.44 c shortcuts : 0 1423.73/1415.44 c learnt literals : 1 1423.73/1415.44 c learnt binary clauses : 2 1423.73/1415.44 c learnt ternary clauses : 4 1423.73/1415.44 c learnt constraints : 548527 1423.73/1415.44 c ignored constraints : 0 1423.73/1415.44 c root simplifications : 0 1423.73/1415.44 c removed literals (reason simplification) : 0 1423.73/1415.44 c reason swapping (by a shorter reason) : 0 1423.73/1415.44 c Calls to reduceDB : 29 1423.73/1415.44 c Number of update (reduction) of LBD : 1939 1423.73/1415.44 c Imported unit clauses : 0 1423.73/1415.44 c No decision after first conflict : false 1423.73/1415.44 c number of reductions to clauses (during analyze) : 0 1423.73/1415.44 c number of learned constraints concerned by reduction : 0 1423.73/1415.44 c number of learning phase by resolution : 0 1423.73/1415.44 c number of learning phase by cutting planes : 0 1423.73/1415.44 c number of rounding to 1 operations : 588656 1423.73/1415.44 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1423.73/1415.44 c number of reductions of the coefficients by power 2 : 0 1423.73/1415.44 c number of right shift for reduction by power 2 : 0 1423.73/1415.44 c number of reductions of the coefficients by GCD over coefficients : 0 1423.73/1415.44 c number of ending skipping : 0 1423.73/1415.44 c number of internal skipping : 0 1423.73/1415.44 c number of derivation steps : 6604437 1423.73/1415.44 c number of skipped derivation steps : 0 1423.73/1415.44 c number of remaining unassigned : 10968 1423.73/1415.44 c number of remaining assigned : 10124304 1423.73/1415.44 c number of falsified literals weakened from reason : 0 1423.73/1415.44 c number of falsified literals weakened from conflict : 0 1423.73/1415.44 c time for arithmetic operations : 687008401 1423.73/1415.47 c minimum degree of deleted constraints : 4 1423.73/1415.47 c maximum degree of deleted constraints : 6671812 1423.73/1415.47 c number of deleted constraints : 301401 1423.73/1415.47 c speed (assignments/second) : 7239.645455419071 1423.73/1415.47 c non guided choices : 696 1423.73/1415.47 s OPTIMUM FOUND 1423.73/1415.47 c Found 7 solution(s) 1423.73/1415.47 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 1423.73/1415.47 c objective function=2 1423.73/1415.47 c Total wall clock time (in seconds): 1415.318
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: 63931 MiB (58787 MiB free)
memory of node 1: 64510 MiB (61214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449675-1721488152/watcher-4449675-1721488152 -o /tmp/evaluation-result-4449675-1721488152/solver-4449675-1721488152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721488150-1093488 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4449675-1721488152.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1094073, runsolver pid=1094070
[startup+0.100414 s]*
/proc/loadavg: 4.33 4.20 4.12 7/329 1094091
/proc/meminfo: memFree=122839428/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=18975048 memory=63768 CPUtime=0.13 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 7243 0 0 0 11 2 0 0 20 0 18 0 200977025 19430449152 15942 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4743762 15942 5757 1 0 549358 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 5759 0 0 0 7 1 0 0 20 0 18 0 200977025 19430449152 15942 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 200977028 19430449152 15942 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 200977028 19430449152 15942 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63768 KiB
[startup+0.206754 s]*
/proc/loadavg: 4.33 4.20 4.12 7/329 1094091
/proc/meminfo: memFree=122816680/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=18975048 memory=72264 CPUtime=0.34 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 7808 0 0 0 31 3 0 0 20 0 18 0 200977025 19430449152 18066 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4743762 18066 5860 1 0 549719 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 6033 0 0 0 16 2 0 0 20 0 18 0 200977025 19430449152 18066 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=18975048 memory=15975 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 200977028 19430449152 18066 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 200977028 19430449152 18066 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72264 KiB
[startup+0.306754 s]*
/proc/loadavg: 4.33 4.20 4.12 7/330 1094092
/proc/meminfo: memFree=122759452/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19041612 memory=84460 CPUtime=0.52 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 8351 0 0 0 49 3 0 0 20 0 19 0 200977025 19498610688 21115 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4760403 21115 5898 1 0 550256 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19041612 memory=-7522521535128888423 CPUtime=0.27 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 6185 0 0 0 25 2 0 0 20 0 19 0 200977025 19498610688 21115 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200977028 19498610688 21115 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200977028 19498610688 21115 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200977049 19498610688 21115 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84460 KiB
[startup+0.700755 s]
/proc/loadavg: 4.33 4.20 4.12 7/330 1094092
/proc/meminfo: memFree=122571668/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=169940 CPUtime=1.26 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 11516 0 0 0 121 5 0 0 20 0 20 0 200977025 19566772224 42485 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 42485 5898 1 0 552285 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=13196 CPUtime=0.6 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 6238 0 0 0 57 3 0 0 20 0 20 0 200977025 19566772224 42485 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 42485 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 42485 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=2028 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 42485 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169940 KiB
[startup+1.50375 s]
/proc/loadavg: 4.33 4.20 4.12 6/331 1094093
/proc/meminfo: memFree=122547272/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=319360 CPUtime=2.85 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 19276 0 0 0 276 9 0 0 20 0 20 0 200977025 19566772224 79840 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 79840 5914 1 0 554115 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=13196 CPUtime=1.37 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 7563 0 0 0 131 6 0 0 20 0 20 0 200977025 19566772224 79840 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 79840 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 79840 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 79840 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 319360 KiB
[startup+3.10578 s]
/proc/loadavg: 4.46 4.23 4.13 6/331 1094093
/proc/meminfo: memFree=121656628/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=1012752 CPUtime=5.93 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 26490 0 0 0 569 24 0 0 20 0 20 0 200977025 19566772224 253188 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 253188 5930 1 0 557770 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=0 CPUtime=2.94 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 8756 0 0 0 275 19 0 0 20 0 20 0 200977025 19566772224 253188 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 253188 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=504452 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 253188 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 253188 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1012752 KiB
[startup+6.3003 s]
/proc/loadavg: 4.46 4.23 4.13 5/331 1094093
/proc/meminfo: memFree=121115896/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=1324856 CPUtime=9.37 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 27394 0 0 0 906 31 0 0 20 0 20 0 200977025 19566772224 331214 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 331214 5930 1 0 557772 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=13196 CPUtime=6.11 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 9139 0 0 0 585 26 0 0 20 0 20 0 200977025 19566772224 331214 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 331214 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=7454126308354911840 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 331214 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 331214 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324856 KiB
[startup+12.7003 s]
/proc/loadavg: 4.47 4.24 4.14 5/331 1094095
/proc/meminfo: memFree=121058000/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=1335700 CPUtime=16 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 34486 0 0 0 1568 32 0 0 20 0 20 0 200977025 19566772224 333925 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 333925 5930 1 0 557830 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=0 CPUtime=12.4 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 10727 0 0 0 1214 26 0 0 20 0 20 0 200977025 19566772224 333925 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=1335372 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 333925 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 333925 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 333925 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1335700 KiB
[startup+25.5003 s]
/proc/loadavg: 4.39 4.23 4.14 5/331 1094096
/proc/meminfo: memFree=120391680/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=1768772 CPUtime=28.9 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 38581 0 0 0 2848 42 0 0 20 0 20 0 200977025 19566772224 442193 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 442193 5941 1 0 664346 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=1335372 CPUtime=24.95 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 12609 0 0 0 2460 35 0 0 20 0 20 0 200977025 19566772224 442193 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 442193 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=1341848 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 442193 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 442193 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1768772 KiB
[startup+51.1061 s]
/proc/loadavg: 4.26 4.21 4.13 5/333 1094105
/proc/meminfo: memFree=119780120/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=1777324 CPUtime=54.67 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 43868 0 0 0 5423 44 0 0 20 0 20 0 200977025 19566772224 444331 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 444331 5941 1 0 664357 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=1775276 CPUtime=50.03 cores=5,7
################
# More data... #
################
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1370.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3063592 KiB
[startup+1415.5 s]
# the end of solver process 1094073 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1422.29 s, system=1.55137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 4.67 4.52 4.35 5/333 1095027
/proc/meminfo: memFree=108490188/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3063592 CPUtime=1390.39 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 143870 0 0 0 138888 151 0 0 20 0 20 0 200977025 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 765898 5956 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=13196 CPUtime=1360.46 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 74780 0 0 0 135991 55 0 0 20 0 20 0 200977025 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=2028 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1390.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3063592 KiB
[startup+1395.2 s]
/proc/loadavg: 4.80 4.55 4.36 5/334 1095030
/proc/meminfo: memFree=108490000/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3063592 CPUtime=1403.22 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 144180 0 0 0 140170 152 0 0 20 0 20 0 200977025 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 765898 5956 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=3063592 CPUtime=1373.12 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 75014 0 0 0 137257 55 0 0 20 0 20 0 200977025 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=-7522521535128888423 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=3063592 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 765898 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1403.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3063592 KiB
[startup+1408 s]*
/proc/loadavg: 4.62 4.53 4.36 5/334 1095033
/proc/meminfo: memFree=108488008/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3063692 CPUtime=1416.08 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 145903 0 0 0 141455 153 0 0 20 0 20 0 200977025 19566772224 765923 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 765923 5971 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=-7522521535128560742 CPUtime=1385.74 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76081 0 0 0 138519 55 0 0 20 0 20 0 200977025 19566772224 765923 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=4864 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765923 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=1709568 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765923 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 765923 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1416.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3063692 KiB
[startup+1411.2 s]
/proc/loadavg: 4.62 4.53 4.36 5/334 1095033
/proc/meminfo: memFree=108487980/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3063716 CPUtime=1419.29 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 146141 0 0 0 141776 153 0 0 20 0 20 0 200977025 19566772224 765929 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 765929 5971 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=16192 CPUtime=1388.9 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76213 0 0 0 138835 55 0 0 20 0 20 0 200977025 19566772224 765929 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=3063656 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765929 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 765929 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=-7522521535128888423 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 765929 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1419.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3063716 KiB
[startup+1412.8 s]
/proc/loadavg: 4.65 4.53 4.36 6/334 1095033
/proc/meminfo: memFree=108486048/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3065628 CPUtime=1421.1 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 151928 0 0 0 141957 153 0 0 20 0 20 0 200977025 19566772224 766407 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 766407 5971 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=3063716 CPUtime=1390.49 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76341 0 0 0 138994 55 0 0 20 0 20 0 200977025 19566772224 766407 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=3065628 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766407 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=2660 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766407 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=3063692 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 766407 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1421.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3065628 KiB
[startup+1414.4 s]
/proc/loadavg: 4.65 4.53 4.36 6/334 1095033
/proc/meminfo: memFree=108486048/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3065680 CPUtime=1422.72 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 151984 0 0 0 142119 153 0 0 20 0 20 0 200977025 19566772224 766420 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 766420 5971 1 0 791781 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=11544 CPUtime=1392.09 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76350 0 0 0 139154 55 0 0 20 0 20 0 200977025 19566772224 766420 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=49576 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766420 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=3063656 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766420 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 766420 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1422.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3065680 KiB
[startup+1415.2 s]
/proc/loadavg: 4.65 4.53 4.36 7/334 1095033
/proc/meminfo: memFree=108486040/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3065692 CPUtime=1423.53 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 151990 0 0 0 142200 153 0 0 20 0 20 0 200977025 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 766423 5971 1 0 791797 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=3063716 CPUtime=1392.89 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76351 0 0 0 139234 55 0 0 20 0 20 0 200977025 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=3063656 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=3063692 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=3065680 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1423.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3065692 KiB
[startup+1415.4 s]
/proc/loadavg: 4.65 4.53 4.36 7/334 1095033
/proc/meminfo: memFree=108486040/131524600 swapFree=131071996/131071996
[pid=1094073] ppid=1094070 vsize=19108176 memory=3065692 CPUtime=1423.73 cores=5,7
/proc/1094073/stat : 1094073 (java) S 1094070 1094073 1093475 0 -1 1077936128 151991 0 0 0 142220 153 0 0 20 0 20 0 200977025 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
/proc/1094073/statm: 4777044 766423 5971 1 0 791797 0
[pid=1094073/tid=1094075] ppid=1094070 vsize=19108176 memory=49576 CPUtime=1393.09 cores=5,7
/proc/1094073/task/1094075/stat : 1094075 (java) R 1094070 1094073 1093475 0 -1 4194368 76351 0 0 0 139254 55 0 0 20 0 20 0 200977025 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094084] ppid=1094070 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/1094073/task/1094084/stat : 1094084 (Finalizer) S 1094070 1094073 1093475 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094091] ppid=1094070 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/1094073/task/1094091/stat : 1094091 (Common-Cleaner) S 1094070 1094073 1093475 0 -1 1077936192 1816 0 0 0 0 0 0 0 20 0 20 0 200977028 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
[pid=1094073/tid=1094092] ppid=1094070 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/1094073/task/1094092/stat : 1094092 (Timer-0) S 1094070 1094073 1093475 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200977049 19566772224 766423 134679101440 94330166022144 94330166025840 140737373454128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94330166033656 94330166034448 94330174341120 140737373455342 140737373455455 140737373455455 140737373462472 0
Current children cumulated CPU time: 1423.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3065692 KiB
Child status: 30
Real time (s): 1415.5
CPU time (s): 1423.84
CPU user time (s): 1422.29
CPU system time (s): 1.55137
CPU usage (%): 100.59
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3065692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1422.29
system time used= 1.55137
maximum resident set size= 3067072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62657
involuntary context switches= 4435
# summary of solver processes directly reported to runsolver:
# pid: 1094073
# total CPU time (s): 1423.84
# total CPU user time (s): 1422.29
# total CPU system time (s): 1.55137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.26206 second user time and 7.49103 second system time
The end
Begin job on nodeC017 at 2024-07-20 17:09:24 IDJOB=4449675 IDBENCH=176095 IDSOLVER=3046 FILE ID=nodeC017/4449675-1721488152 RUNJOBID= nodeC017-1721488150-1093488 SLURM_JOB_ID= 7545780 Free space on /tmp= 890072 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=6.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449675-1721488152/watcher-4449675-1721488152 -o /tmp/evaluation-result-4449675-1721488152/solver-4449675-1721488152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721488150-1093488 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4449675-1721488152.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 452542b5617bc71813112a35665296a2 RANDOM SEED=1096290932 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.925 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.896 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.922 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.523 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.069 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3609.288 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.921 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.332 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122882132 kB MemAvailable: 125380208 kB Buffers: 615444 kB Cached: 2707956 kB SwapCached: 0 kB Active: 1329480 kB Inactive: 6641352 kB Active(anon): 1544 kB Inactive(anon): 4691784 kB Active(file): 1327936 kB Inactive(file): 1949568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 964 kB Writeback: 0 kB AnonPages: 4647472 kB Mapped: 128272 kB Shmem: 45912 kB KReclaimable: 120436 kB Slab: 237264 kB SReclaimable: 120436 kB SUnreclaim: 116828 kB KernelStack: 5024 kB PageTables: 19328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9372220 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72992 kB HardwareCorrupted: 0 kB AnonHugePages: 4337664 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: 305876 kB DirectMap2M: 43507712 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890072 MiB End job on nodeC017 at 2024-07-20 17:33:00