Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | OPTIMUM | 270.484 | 268.686 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo |
| MD5SUM | 3494b890a231ad778a05b94b9d7caa9e |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 14.0031 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 235 |
| Total number of constraints | 1227 |
| Number of soft constraints | 1180 |
| Number of constraints which are clauses | 1180 |
| Number of constraints which are cardinality constraints (but not clauses) | 47 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5 |
| Top cost | 237 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 1180 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 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 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4526612-1751634583.wbo 0.12/0.13 c reading problem ... 0.12/0.20 c ... done. Wall clock time 0.071s. 0.12/0.20 c declared #vars 235 0.12/0.20 c internal #vars 1415 0.12/0.20 c #constraints 1275 0.12/0.20 c constraints type 0.12/0.20 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48 0.12/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1227 0.12/0.20 c 1275 constraints processed. 0.32/0.21 c objective function length is 1180 literals 0.32/0.28 c SATISFIABLE 0.32/0.28 c OPTIMIZING... 0.32/0.28 c Got one! Elapsed wall clock time (in seconds):0.155 0.32/0.28 o 15 0.32/0.30 c Got one! Elapsed wall clock time (in seconds):0.177 0.32/0.30 o 6 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.189 0.52/0.32 o 2 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.199 0.52/0.33 o 1 1.27/0.77 c cleaning 2711 clauses out of 5433 with flag 28335/5433 2.12/1.29 c cleaning 4360 clauses out of 8725 with flag 71237/11436 2.89/1.92 c cleaning 5675 clauses out of 11362 with flag 125590/18433 3.79/2.70 c cleaning 6841 clauses out of 13688 with flag 186342/26434 4.86/3.70 c cleaning 7915 clauses out of 15847 with flag 255764/35434 5.92/4.77 c cleaning 8959 clauses out of 17931 with flag 330823/45433 7.43/6.20 c cleaning 9982 clauses out of 19974 with flag 411209/56435 8.93/7.71 c cleaning 10993 clauses out of 21991 with flag 502631/68434 10.78/9.44 c cleaning 11996 clauses out of 23998 with flag 605622/81434 12.69/11.32 c cleaning 12994 clauses out of 26002 with flag 722598/95434 14.98/13.62 c cleaning 13998 clauses out of 28007 with flag 844504/110433 17.48/16.11 c cleaning 15002 clauses out of 30010 with flag 980024/126434 20.60/19.23 c cleaning 15991 clauses out of 32008 with flag 1135208/143434 23.82/22.45 c cleaning 17001 clauses out of 34017 with flag 1298702/161434 27.11/25.76 c cleaning 18004 clauses out of 36016 with flag 1464832/180434 30.90/29.56 c cleaning 18992 clauses out of 38013 with flag 1652447/200435 35.42/34.03 c cleaning 20004 clauses out of 40022 with flag 1859742/221436 39.90/38.51 c cleaning 21002 clauses out of 42016 with flag 2073879/243434 44.29/42.94 c cleaning 21997 clauses out of 44013 with flag 2274425/266433 49.18/47.81 c cleaning 22999 clauses out of 46016 with flag 2495948/290433 54.86/53.52 c cleaning 24000 clauses out of 48020 with flag 2752308/315436 61.05/59.75 c cleaning 25006 clauses out of 50018 with flag 3020809/341434 67.53/66.29 c cleaning 26003 clauses out of 52012 with flag 3294628/368434 74.32/73.03 c cleaning 26994 clauses out of 54010 with flag 3565024/396435 81.50/80.27 c cleaning 28003 clauses out of 56015 with flag 3850657/425434 89.28/88.02 c cleaning 28998 clauses out of 58011 with flag 4172183/455433 98.28/97.03 c cleaning 29999 clauses out of 60013 with flag 4493683/486433 107.75/106.50 c cleaning 31005 clauses out of 62014 with flag 4812392/518433 117.82/116.68 c cleaning 32003 clauses out of 64011 with flag 5163421/551435 128.00/126.89 c cleaning 32999 clauses out of 66006 with flag 5518087/585433 140.38/138.83 c cleaning 33999 clauses out of 68007 with flag 5892904/620433 153.81/152.16 c cleaning 34994 clauses out of 70008 with flag 6309741/656433 167.27/165.62 c cleaning 36007 clauses out of 72014 with flag 6723336/693433 180.15/178.50 c cleaning 37003 clauses out of 74008 with flag 7109926/731434 194.30/192.44 c cleaning 37999 clauses out of 76004 with flag 7493914/770435 209.48/207.69 c cleaning 38996 clauses out of 78003 with flag 7912737/810434 227.54/225.78 c cleaning 39997 clauses out of 80007 with flag 8370416/851434 245.11/243.34 c cleaning 40995 clauses out of 82009 with flag 8846585/893433 261.88/260.14 c cleaning 41999 clauses out of 84014 with flag 9308530/936433 270.39/268.64 c starts : 617 270.39/268.64 c conflicts : 960704 270.39/268.64 c decisions : 1188179 270.39/268.64 c propagations : 32461758 270.39/268.64 c inspects : 4601796301 270.39/268.64 c shortcuts : 0 270.39/268.64 c learnt literals : 16 270.39/268.64 c learnt binary clauses : 88 270.39/268.64 c learnt ternary clauses : 294 270.39/268.64 c learnt constraints : 960687 270.39/268.64 c ignored constraints : 0 270.39/268.64 c root simplifications : 0 270.39/268.64 c removed literals (reason simplification) : 11970682 270.39/268.64 c reason swapping (by a shorter reason) : 0 270.39/268.64 c Calls to reduceDB : 39 270.39/268.64 c Number of update (reduction) of LBD : 427500 270.39/268.64 c Imported unit clauses : 0 270.39/268.64 c No decision after first conflict : false 270.39/268.64 c number of reductions to clauses (during analyze) : 0 270.39/268.64 c number of learned constraints concerned by reduction : 0 270.39/268.64 c number of learning phase by resolution : 0 270.39/268.64 c number of learning phase by cutting planes : 0 270.39/268.65 c number of rounding to 1 operations : 0 270.39/268.65 c number of easy rounding to 1 operations (no literal elimination needed) : 0 270.39/268.65 c number of reductions of the coefficients by power 2 : 0 270.39/268.65 c number of right shift for reduction by power 2 : 0 270.39/268.65 c number of reductions of the coefficients by GCD over coefficients : 0 270.39/268.65 c number of ending skipping : 0 270.39/268.65 c number of internal skipping : 0 270.39/268.65 c number of derivation steps : 0 270.39/268.65 c number of skipped derivation steps : 0 270.39/268.65 c number of remaining unassigned : 0 270.39/268.65 c number of remaining assigned : 0 270.39/268.65 c number of falsified literals weakened from reason : 0 270.39/268.65 c number of falsified literals weakened from conflict : 0 270.39/268.65 c time for arithmetic operations : 0 270.39/268.65 c minimum degree of deleted constraints : null 270.39/268.65 c maximum degree of deleted constraints : null 270.39/268.65 c number of deleted constraints : 0 270.39/268.65 c speed (assignments/second) : 120930.57858012986 270.39/268.65 c non guided choices : 353 270.39/268.65 s OPTIMUM FOUND 270.39/268.65 c Found 4 solution(s) 270.39/268.66 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 270.39/268.66 c objective function=1 270.39/268.66 c Total wall clock time (in seconds): 268.528
OK 1
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: 63708 MiB (60805 MiB free)
memory of node 1: 64465 MiB (63670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526612-1751634583/watcher-4526612-1751634583 -o /tmp/evaluation-result-4526612-1751634583/solver-4526612-1751634583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751630972-92820 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526612-1751634583.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=94175, runsolver pid=94172
[startup+0.100059 s]*
/proc/loadavg: 4.47 4.22 4.14 7/336 94193
/proc/meminfo: memFree=127453156/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18930384 memory=57688 CPUtime=0.12 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 6571 0 0 0 10 2 0 0 20 0 18 0 79136134 19384713216 14422 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4732596 14422 5335 1 0 547620 0
[pid=94175/tid=94177] ppid=94172 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 5075 0 0 0 6 1 0 0 20 0 18 0 79136135 19384713216 14422 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79136137 19384713216 14422 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79136138 19384713216 14422 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57688 KiB
[startup+0.205787 s]*
/proc/loadavg: 4.47 4.22 4.14 9/336 94193
/proc/meminfo: memFree=127438096/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18930384 memory=64340 CPUtime=0.32 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 7070 0 0 0 30 2 0 0 20 0 18 0 79136134 19384713216 16085 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4732596 16085 5463 1 0 547963 0
[pid=94175/tid=94177] ppid=94172 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 5324 0 0 0 15 1 0 0 20 0 18 0 79136135 19384713216 16085 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79136137 19384713216 16085 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79136138 19384713216 16085 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64340 KiB
[startup+0.305722 s]*
/proc/loadavg: 4.47 4.22 4.14 7/337 94194
/proc/meminfo: memFree=127421588/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=74872 CPUtime=0.52 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 10040 0 0 0 48 4 0 0 20 0 19 0 79136134 19452874752 18718 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 18718 5463 1 0 549844 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=-6000919498443024486 CPUtime=0.25 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 5400 0 0 0 23 2 0 0 20 0 19 0 79136135 19452874752 18718 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 18718 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 18718 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 18718 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74872 KiB
[startup+0.700208 s]
/proc/loadavg: 4.47 4.22 4.14 6/337 94194
/proc/meminfo: memFree=127406112/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=85088 CPUtime=1.27 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 12475 0 0 0 123 4 0 0 20 0 19 0 79136134 19452874752 21272 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 21272 5495 1 0 551628 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=14336 CPUtime=0.63 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 5409 0 0 0 61 2 0 0 20 0 19 0 79136135 19452874752 21272 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 21272 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 21272 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 21272 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85088 KiB
[startup+1.50021 s]
/proc/loadavg: 4.47 4.22 4.14 6/338 94195
/proc/meminfo: memFree=127351100/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=92676 CPUtime=2.49 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 16013 0 0 0 245 4 0 0 20 0 19 0 79136134 19452874752 23169 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 23169 5495 1 0 551908 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=10624 CPUtime=1.41 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 5790 0 0 0 139 2 0 0 20 0 19 0 79136135 19452874752 23169 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 23169 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 23169 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 23169 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92676 KiB
[startup+3.10567 s]
/proc/loadavg: 4.44 4.22 4.14 6/337 94261
/proc/meminfo: memFree=129391516/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=98948 CPUtime=4.27 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 17534 0 0 0 422 5 0 0 20 0 19 0 79136134 19452874752 24737 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 24737 5495 1 0 551926 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=10624 CPUtime=3 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 6077 0 0 0 298 2 0 0 20 0 19 0 79136135 19452874752 24737 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=-6000919498443024486 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 24737 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 24737 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 24737 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98948 KiB
[startup+6.30014 s]
/proc/loadavg: 4.44 4.22 4.14 5/337 94261
/proc/meminfo: memFree=129307364/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=104484 CPUtime=7.53 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 18070 0 0 0 747 6 0 0 20 0 19 0 79136134 19452874752 26121 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 26121 5495 1 0 551926 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=0 CPUtime=6.2 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 6416 0 0 0 617 3 0 0 20 0 19 0 79136135 19452874752 26121 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 26121 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 26121 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=92676 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 26121 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.21 4.13 5/338 94263
/proc/meminfo: memFree=128884032/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=122952 CPUtime=14.09 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 24452 0 0 0 1402 7 0 0 20 0 19 0 79136134 19452874752 30738 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 30738 5495 1 0 551942 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=92676 CPUtime=12.58 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 7325 0 0 0 1255 3 0 0 20 0 19 0 79136135 19452874752 30738 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 30738 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 30738 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=-6000919498443024486 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 30738 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.20 4.13 5/338 94263
/proc/meminfo: memFree=128081216/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=18996948 memory=149704 CPUtime=26.91 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 26606 0 0 0 2683 8 0 0 20 0 19 0 79136134 19452874752 37426 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4749237 37426 5527 1 0 551942 0
[pid=94175/tid=94177] ppid=94172 vsize=18996948 memory=-6000919498443024486 CPUtime=25.35 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 7779 0 0 0 2531 4 0 0 20 0 19 0 79136135 19452874752 37426 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=18996948 memory=14156 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136137 19452874752 37426 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=18996948 memory=87440 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79136138 19452874752 37426 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=18996948 memory=131144 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136156 19452874752 37426 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149704 KiB
[startup+51.1058 s]
/proc/loadavg: 4.20 4.18 4.13 5/340 94265
/proc/meminfo: memFree=126795844/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=180968 CPUtime=52.48 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 28089 0 0 0 5239 9 0 0 20 0 20 0 79136134 19521036288 45242 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 45242 5559 1 0 552231 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=180968 CPUtime=50.87 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 7845 0 0 0 5083 4 0 0 20 0 20 0 79136135 19521036288 45242 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
################
# More data... #
################
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 224.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211104 KiB
[startup+268.686 s]
# the end of solver process 94175 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=270.318 s, system=0.166918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.38 4.27 4.17 5/341 94280
/proc/meminfo: memFree=123691736/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211104 CPUtime=232.23 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42441 0 0 0 23209 14 0 0 20 0 20 0 79136134 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52776 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=14156 CPUtime=229.65 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10825 0 0 0 22960 5 0 0 20 0 20 0 79136135 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=191496 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=280560820622128 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 232.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211104 KiB
[startup+256 s]*
/proc/loadavg: 4.32 4.26 4.17 5/341 94282
/proc/meminfo: memFree=123601252/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211104 CPUtime=257.79 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42626 0 0 0 25764 15 0 0 20 0 20 0 79136134 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52776 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=254048 CPUtime=255.19 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10842 0 0 0 25514 5 0 0 20 0 20 0 79136135 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=3456 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=7224411101592591892 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 257.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211104 KiB
[startup+262.4 s]
/proc/loadavg: 4.30 4.26 4.17 5/341 94282
/proc/meminfo: memFree=123601252/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211104 CPUtime=264.18 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42663 0 0 0 26403 15 0 0 20 0 20 0 79136134 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52776 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=5148 CPUtime=261.57 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10854 0 0 0 26152 5 0 0 20 0 20 0 79136135 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=-6000919498443024486 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=2744 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=211104 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52776 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 264.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211104 KiB
[startup+265.6 s]
/proc/loadavg: 4.27 4.25 4.17 5/341 94282
/proc/meminfo: memFree=123601252/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211232 CPUtime=267.39 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42679 0 0 0 26724 15 0 0 20 0 20 0 79136134 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52808 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=211104 CPUtime=264.77 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10858 0 0 0 26472 5 0 0 20 0 20 0 79136135 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=211104 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 267.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211232 KiB
[startup+267.2 s]
/proc/loadavg: 4.27 4.25 4.17 5/341 94282
/proc/meminfo: memFree=123601252/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211232 CPUtime=268.99 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42681 0 0 0 26884 15 0 0 20 0 20 0 79136134 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52808 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=14156 CPUtime=266.36 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10859 0 0 0 26631 5 0 0 20 0 20 0 79136135 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=211232 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 268.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211232 KiB
[startup+268 s]*
/proc/loadavg: 4.25 4.25 4.17 5/341 94282
/proc/meminfo: memFree=123597156/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211232 CPUtime=269.8 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42681 0 0 0 26965 15 0 0 20 0 20 0 79136134 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52808 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=-6000919468445296742 CPUtime=267.17 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10859 0 0 0 26712 5 0 0 20 0 20 0 79136135 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=-4050210904893472660 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=5092 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=5452 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 269.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211232 KiB
[startup+268.4 s]
/proc/loadavg: 4.25 4.25 4.17 5/341 94282
/proc/meminfo: memFree=123597156/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211232 CPUtime=270.19 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42684 0 0 0 27004 15 0 0 20 0 20 0 79136134 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52808 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=-6000919498443024486 CPUtime=267.56 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10862 0 0 0 26751 5 0 0 20 0 20 0 79136135 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 270.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211232 KiB
[startup+268.6 s]
/proc/loadavg: 4.25 4.25 4.17 5/341 94282
/proc/meminfo: memFree=123597156/131249996 swapFree=33000896/33010684
[pid=94175] ppid=94172 vsize=19063512 memory=211232 CPUtime=270.39 cores=4,6
/proc/94175/stat : 94175 (java) S 94172 94175 89339 0 -1 4194304 42710 0 0 0 27024 15 0 0 20 0 20 0 79136134 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
/proc/94175/statm: 4765878 52808 5559 1 0 556020 0
[pid=94175/tid=94177] ppid=94172 vsize=19063512 memory=6768 CPUtime=267.76 cores=4,6
/proc/94175/task/94177/stat : 94177 (java) R 94172 94175 89339 0 -1 4194368 10885 0 0 0 26771 5 0 0 20 0 20 0 79136135 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94186] ppid=94172 vsize=19063512 memory=254048 CPUtime=0 cores=4,6
/proc/94175/task/94186/stat : 94186 (Finalizer) S 94172 94175 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136137 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94193] ppid=94172 vsize=19063512 memory=5134308 CPUtime=0 cores=4,6
/proc/94175/task/94193/stat : 94193 (Common-Cleaner) S 94172 94175 89339 0 -1 4194368 178 0 0 0 0 0 0 0 20 0 20 0 79136138 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
[pid=94175/tid=94194] ppid=94172 vsize=19063512 memory=3763039161985269786 CPUtime=0 cores=4,6
/proc/94175/task/94194/stat : 94194 (Timer-0) S 94172 94175 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136156 19521036288 52808 18446744073709551615 94747344158720 94747344162416 140733803824960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94747344170232 94747344171024 94747370889216 140733803833727 140733803833828 140733803833828 140733803839432 0
Current children cumulated CPU time: 270.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211232 KiB
Child status: 30
Real time (s): 268.686
CPU time (s): 270.484
CPU user time (s): 270.318
CPU system time (s): 0.166918
CPU usage (%): 100.669
Max. virtual memory (cumulated for all children) (KiB): 19066464
Max. memory (cumulated for all children) (KiB): 211232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.318
system time used= 0.166918
maximum resident set size= 212128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8930
involuntary context switches= 1098
# summary of solver processes directly reported to runsolver:
# pid: 94175
# total CPU time (s): 270.484
# total CPU user time (s): 270.318
# total CPU system time (s): 0.166918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.553713 second user time and 1.36088 second system time
The end
Begin job on nodeC023 at 2025-07-04 15:09:43 IDJOB=4526612 IDBENCH=144126 IDSOLVER=3380 FILE ID=nodeC023/4526612-1751634583 RUNJOBID= nodeC023-1751630972-92820 SLURM_JOB_ID= 9598950 Free space on /tmp= 431868 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-myciel5g-5_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526612-1751634583/watcher-4526612-1751634583 -o /tmp/evaluation-result-4526612-1751634583/solver-4526612-1751634583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751630972-92820 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526612-1751634583.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3494b890a231ad778a05b94b9d7caa9e RANDOM SEED=930254155 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.883 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.910 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3601.443 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.914 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3600.414 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.877 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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.889 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127463552 kB MemAvailable: 127244956 kB Buffers: 16 kB Cached: 523864 kB SwapCached: 2904 kB Active: 2688324 kB Inactive: 380356 kB Active(anon): 2503972 kB Inactive(anon): 53364 kB Active(file): 184352 kB Inactive(file): 326992 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3752 kB Writeback: 0 kB AnonPages: 2545032 kB Mapped: 117912 kB Shmem: 12532 kB KReclaimable: 218596 kB Slab: 310100 kB SReclaimable: 218596 kB SUnreclaim: 91504 kB KernelStack: 5184 kB PageTables: 8700 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7094524 kB VmallocTotal: 34359738367 kB VmallocUsed: 151384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2334720 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431868 MiB End job on nodeC023 at 2025-07-04 15:14:12