674.98/676.78 s SATISFIABLE
674.98/676.78 v -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 x260 x261 -x262 -x263 x264 x265 -x266
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59909 MiB free)
memory of node 1: 64473 MiB (60520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443197-1721301743/watcher-4443197-1721301743 -o /tmp/evaluation-result-4443197-1721301743/solver-4443197-1721301743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721293766-954776 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1167143871 HOME/instance-4443197-1721301743.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=961234, runsolver pid=961231
[startup+0.100858 s]*
/proc/loadavg: 4.11 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123318316/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=26052 memory=4748 CPUtime=0.1 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 470 0 0 0 10 0 0 0 20 0 1 0 182344894 26677248 1187 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 6513 1187 851 746 0 5577 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26052 KiB
Current children cumulated memory: 4748 KiB
[startup+0.205747 s]*
/proc/loadavg: 4.11 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123317464/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=26316 memory=5540 CPUtime=0.2 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 689 0 0 0 20 0 0 0 20 0 1 0 182344894 26947584 1385 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 6579 1385 851 746 0 5643 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26316 KiB
Current children cumulated memory: 5540 KiB
[startup+0.305781 s]*
/proc/loadavg: 4.11 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123316652/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=26448 memory=6332 CPUtime=0.3 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 843 0 0 0 30 0 0 0 20 0 1 0 182344894 27082752 1583 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 6612 1583 851 746 0 5676 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26448 KiB
Current children cumulated memory: 6332 KiB
[startup+0.700235 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123314240/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=27004 memory=8904 CPUtime=0.69 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 974 0 0 0 69 0 0 0 20 0 1 0 182344894 27652096 2226 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 6751 2226 851 746 0 5815 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27004 KiB
Current children cumulated memory: 8904 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123311324/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=27716 memory=11532 CPUtime=1.48 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 1119 0 0 0 148 0 0 0 20 0 1 0 182344894 28381184 2883 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 6929 2883 851 746 0 5993 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 11532 KiB
[startup+3.10574 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 961235
/proc/meminfo: memFree=123305576/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=28852 memory=16664 CPUtime=3.08 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 1437 0 0 0 308 0 0 0 20 0 1 0 182344894 29544448 4166 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 7213 4166 851 746 0 6277 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 28852 KiB
Current children cumulated memory: 16664 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 961236
/proc/meminfo: memFree=123301292/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=31160 memory=18488 CPUtime=6.27 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 1943 0 0 0 627 0 0 0 20 0 1 0 182344894 31907840 4622 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 7790 4622 851 746 0 6854 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31160 KiB
Current children cumulated memory: 18488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 961236
/proc/meminfo: memFree=123298828/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=32504 memory=19768 CPUtime=12.65 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 2296 0 0 0 1265 0 0 0 20 0 1 0 182344894 33284096 4942 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 8126 4942 851 746 0 7190 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32504 KiB
Current children cumulated memory: 19768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 961239
/proc/meminfo: memFree=123292356/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=34168 memory=23444 CPUtime=25.42 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 2814 0 0 0 2541 1 0 0 20 0 1 0 182344894 34988032 5861 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 8542 5861 851 746 0 7606 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34168 KiB
Current children cumulated memory: 23444 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 961242
/proc/meminfo: memFree=123288736/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=35320 memory=24596 CPUtime=50.96 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 3269 0 0 0 5095 1 0 0 20 0 1 0 182344894 36167680 6149 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 8830 6149 851 746 0 7894 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 24596 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 961252
/proc/meminfo: memFree=123275336/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=36280 memory=25596 CPUtime=102.03 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 3966 0 0 0 10201 2 0 0 20 0 1 0 182344894 37150720 6399 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9070 6399 851 746 0 8134 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 36280 KiB
Current children cumulated memory: 25596 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 961263
/proc/meminfo: memFree=123268996/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=36728 memory=26108 CPUtime=161.88 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 4541 0 0 0 16186 2 0 0 20 0 1 0 182344894 37609472 6527 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9182 6527 851 746 0 8246 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 36728 KiB
Current children cumulated memory: 26108 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 961660
/proc/meminfo: memFree=123304992/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=37048 memory=27276 CPUtime=221.73 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 5114 0 0 0 22171 2 0 0 20 0 1 0 182344894 37937152 6819 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9262 6819 851 746 0 8326 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 37048 KiB
Current children cumulated memory: 27276 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 961670
/proc/meminfo: memFree=123299072/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=37568 memory=27596 CPUtime=281.57 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 5620 0 0 0 28155 2 0 0 20 0 1 0 182344894 38469632 6899 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9392 6899 851 746 0 8456 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 37568 KiB
Current children cumulated memory: 27596 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 961682
/proc/meminfo: memFree=123288256/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=37760 memory=29836 CPUtime=341.42 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 5773 0 0 0 34140 2 0 0 20 0 1 0 182344894 38666240 7459 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9440 7459 851 746 0 8504 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 29836 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 961862
/proc/meminfo: memFree=123281116/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=37952 memory=29964 CPUtime=401.27 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 6058 0 0 0 40125 2 0 0 20 0 1 0 182344894 38862848 7491 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9488 7491 851 746 0 8552 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 37952 KiB
Current children cumulated memory: 29964 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 961872
/proc/meminfo: memFree=123276580/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=37952 memory=29964 CPUtime=461.12 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 6068 0 0 0 46110 2 0 0 20 0 1 0 182344894 38862848 7491 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9488 7491 851 746 0 8552 0
Current children cumulated CPU time: 461.12 s
Current children cumulated vsize: 37952 KiB
Current children cumulated memory: 29964 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 961939
/proc/meminfo: memFree=123272540/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38008 memory=30284 CPUtime=520.97 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 6448 0 0 0 52095 2 0 0 20 0 1 0 182344894 38920192 7571 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9502 7571 851 746 0 8566 0
Current children cumulated CPU time: 520.97 s
Current children cumulated vsize: 38008 KiB
Current children cumulated memory: 30284 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 961951
/proc/meminfo: memFree=123249144/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38008 memory=30284 CPUtime=580.83 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 6856 0 0 0 58080 3 0 0 20 0 1 0 182344894 38920192 7571 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9502 7571 851 746 0 8566 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 38008 KiB
Current children cumulated memory: 30284 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 961962
/proc/meminfo: memFree=123241008/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38008 memory=30284 CPUtime=640.67 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7246 0 0 0 64064 3 0 0 20 0 1 0 182344894 38920192 7571 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9502 7571 851 746 0 8566 0
Current children cumulated CPU time: 640.67 s
Current children cumulated vsize: 38008 KiB
Current children cumulated memory: 30284 KiB
[startup+676.789 s]
# the end of solver process 961234 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=675.042 s, system=0.033922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 961964
/proc/meminfo: memFree=123238832/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=651.14 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7338 0 0 0 65111 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 651.14 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+665.6 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 961968
/proc/meminfo: memFree=123237988/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=663.91 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7434 0 0 0 66388 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 663.91 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+672 s]*
/proc/loadavg: 4.18 4.14 4.10 5/258 961968
/proc/meminfo: memFree=123236596/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=670.3 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7472 0 0 0 67027 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 670.3 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+675.2 s]
/proc/loadavg: 4.18 4.14 4.10 5/258 961969
/proc/meminfo: memFree=123236232/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=673.48 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7510 0 0 0 67345 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 673.48 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+676 s]*
/proc/loadavg: 4.17 4.13 4.10 5/259 961970
/proc/meminfo: memFree=123236232/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=674.29 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7510 0 0 0 67426 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 674.29 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+676.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 961970
/proc/meminfo: memFree=123236232/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=674.68 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7510 0 0 0 67465 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 674.68 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+676.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 961970
/proc/meminfo: memFree=123236232/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=674.88 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7510 0 0 0 67485 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 674.88 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
[startup+676.7 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 961970
/proc/meminfo: memFree=123236232/131524596 swapFree=131071996/131071996
[pid=961234] ppid=961231 vsize=38072 memory=30348 CPUtime=674.98 cores=5,7
/proc/961234/stat : 961234 (Exact_nosoplex) R 961231 961234 954763 0 -1 4194304 7510 0 0 0 67495 3 0 0 20 0 1 0 182344894 38985728 7587 134679101440 4194304 7248369 140727950352048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38166528 140727950353323 140727950353502 140727950353502 140727950360518 0
/proc/961234/statm: 9518 7587 851 746 0 8582 0
Current children cumulated CPU time: 674.98 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 30348 KiB
Child status: 30
Real time (s): 676.789
CPU time (s): 675.076
CPU user time (s): 675.042
CPU system time (s): 0.033922
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 38212
Max. memory (cumulated for all children) (KiB): 30348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.042
system time used= 0.033922
maximum resident set size= 30348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 624
# summary of solver processes directly reported to runsolver:
# pid: 961234
# total CPU time (s): 675.076
# total CPU user time (s): 675.042
# total CPU system time (s): 0.033922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49433 second user time and 2.98284 second system time
The end
Begin job on nodeC034 at 2024-07-18 13:22:36
IDJOB=4443197
IDBENCH=147866
IDSOLVER=3061
FILE ID=nodeC034/4443197-1721301743
RUNJOBID= nodeC034-1721293766-954776
SLURM_JOB_ID= 7542598
Free space on /tmp= 890056 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443197-1721301743/watcher-4443197-1721301743 -o /tmp/evaluation-result-4443197-1721301743/solver-4443197-1721301743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721293766-954776 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1167143871 HOME/instance-4443197-1721301743.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dccf1bd51baf1439f9e0744b31eb924b
RANDOM SEED=1167143871
nodeC034.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 : 3646.765
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.99
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 : 3659.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3600.307
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.99
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 : 3600.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3646.903
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.99
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 : 3652.435
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3600.047
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.99
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 : 3659.713
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 123320424 kB
MemAvailable: 128571660 kB
Buffers: 479376 kB
Cached: 5547160 kB
SwapCached: 0 kB
Active: 986456 kB
Inactive: 6469864 kB
Active(anon): 1524 kB
Inactive(anon): 1465972 kB
Active(file): 984932 kB
Inactive(file): 5003892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4680 kB
Writeback: 0 kB
AnonPages: 1429852 kB
Mapped: 115860 kB
Shmem: 37720 kB
KReclaimable: 204472 kB
Slab: 330224 kB
SReclaimable: 204472 kB
SUnreclaim: 125752 kB
KernelStack: 4192 kB
PageTables: 12400 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 1883396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1236992 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC034 at 2024-07-18 13:33:53