0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
204.97/205.58 c SCIP found optimal solution
204.97/205.58 d SOLVEDBY scip
204.97/205.58 o -30
204.97/205.58 s OPTIMUM FOUND
205.07/205.62 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 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
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 (61269 MiB free)
memory of node 1: 64473 MiB (59625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435517-1721062525/watcher-4435517-1721062525 -o /tmp/evaluation-result-4435517-1721062525/solver-4435517-1721062525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435517-1721062525.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=811348, runsolver pid=811345
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.11 4.12 4.09 7/253 811355
/proc/meminfo: memFree=123761824/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=115924 memory=47636 CPUtime=0.09 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 9641 0 0 0 8 1 0 0 20 0 1 0 158417461 118706176 11909 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 28981 11909 3747 3002 0 12732 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115924 KiB
Current children cumulated memory: 47636 KiB
[startup+0.205564 s]*
/proc/loadavg: 4.11 4.12 4.09 4/250 811366
/proc/meminfo: memFree=123772628/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=127492 memory=59284 CPUtime=0.2 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 13538 0 0 0 18 2 0 0 20 0 1 0 158417461 130551808 14821 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 31873 14821 3779 3002 0 15624 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127492 KiB
Current children cumulated memory: 59284 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.11 4.12 4.09 7/256 811381
/proc/meminfo: memFree=123730460/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=153748 memory=83228 CPUtime=0.29 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 20382 0 0 0 27 2 0 0 20 0 1 0 158417461 157437952 20807 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 38437 20807 3857 3002 0 22188 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153748 KiB
Current children cumulated memory: 83228 KiB
[startup+0.700227 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123681532/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=165652 memory=92884 CPUtime=0.69 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 22700 0 0 0 66 3 0 0 20 0 1 0 158417461 169627648 23221 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 41413 23221 4001 3002 0 25164 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165652 KiB
Current children cumulated memory: 92884 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123643536/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=170976 memory=94996 CPUtime=1.48 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 23204 0 0 0 145 3 0 0 20 0 1 0 158417461 175079424 23749 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 42744 23749 4001 3002 0 26495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170976 KiB
Current children cumulated memory: 94996 KiB
[startup+3.10536 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123637080/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=179516 memory=97108 CPUtime=3.09 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 23754 0 0 0 306 3 0 0 20 0 1 0 158417461 183824384 24277 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 44879 24277 4001 3002 0 28630 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 179516 KiB
Current children cumulated memory: 97108 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123574028/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=230128 memory=125160 CPUtime=6.27 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 30732 0 0 0 623 4 0 0 20 0 1 0 158417461 235651072 31290 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 57532 31290 4024 3002 0 41283 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 230128 KiB
Current children cumulated memory: 125160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811384
/proc/meminfo: memFree=123573252/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=230128 memory=125292 CPUtime=12.65 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 30827 0 0 0 1261 4 0 0 20 0 1 0 158417461 235651072 31323 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 57532 31323 4024 3002 0 41283 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 230128 KiB
Current children cumulated memory: 125292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 811385
/proc/meminfo: memFree=123563896/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=252120 memory=127908 CPUtime=25.42 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 31681 0 0 0 2537 5 0 0 20 0 1 0 158417461 258170880 31977 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 63030 31977 4024 3002 0 46781 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 252120 KiB
Current children cumulated memory: 127908 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 811390
/proc/meminfo: memFree=123472376/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=303788 memory=172500 CPUtime=50.96 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 43597 0 0 0 5089 7 0 0 20 0 1 0 158417461 311078912 43125 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 75947 43125 4024 3002 0 59698 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 303788 KiB
Current children cumulated memory: 172500 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 811398
/proc/meminfo: memFree=123347560/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=374020 memory=230400 CPUtime=102.03 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 59737 0 0 0 10193 10 0 0 20 0 1 0 158417461 382996480 57600 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 93505 57600 4153 3002 0 77256 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 374020 KiB
Current children cumulated memory: 230400 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811577
/proc/meminfo: memFree=123235412/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=440200 memory=284260 CPUtime=161.88 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 69646 0 0 0 16177 11 0 0 20 0 1 0 158417461 450764800 71065 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 110050 71065 4153 3002 0 93801 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 440200 KiB
Current children cumulated memory: 284260 KiB
[startup+205.631 s]
# the end of solver process 811348 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=204.966 s, system=0.145441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 811580
/proc/meminfo: memFree=123209012/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=452200 memory=301496 CPUtime=178.74 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 73139 0 0 0 17862 12 0 0 20 0 1 0 158417461 463052800 75374 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 113050 75374 4153 3002 0 96801 0
Current children cumulated CPU time: 178.74 s
Current children cumulated vsize: 452200 KiB
Current children cumulated memory: 301496 KiB
[startup+192 s]*
/proc/loadavg: 4.11 4.11 4.09 5/257 811583
/proc/meminfo: memFree=123207952/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=452200 memory=301496 CPUtime=191.51 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 73139 0 0 0 19139 12 0 0 20 0 1 0 158417461 463052800 75374 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 113050 75374 4153 3002 0 96801 0
Current children cumulated CPU time: 191.51 s
Current children cumulated vsize: 452200 KiB
Current children cumulated memory: 301496 KiB
[startup+198.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 811585
/proc/meminfo: memFree=123195884/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=465332 memory=313636 CPUtime=197.89 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76128 0 0 0 19776 13 0 0 20 0 1 0 158417461 476499968 78409 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 116333 78409 4153 3002 0 100084 0
Current children cumulated CPU time: 197.89 s
Current children cumulated vsize: 465332 KiB
Current children cumulated memory: 313636 KiB
[startup+201.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 811585
/proc/meminfo: memFree=123189352/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=471380 memory=318068 CPUtime=201.08 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76726 0 0 0 20095 13 0 0 20 0 1 0 158417461 482693120 79517 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 117845 79517 4153 3002 0 101596 0
Current children cumulated CPU time: 201.08 s
Current children cumulated vsize: 471380 KiB
Current children cumulated memory: 318068 KiB
[startup+203.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811585
/proc/meminfo: memFree=123189324/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=471380 memory=318068 CPUtime=202.68 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76726 0 0 0 20255 13 0 0 20 0 1 0 158417461 482693120 79517 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 117845 79517 4153 3002 0 101596 0
Current children cumulated CPU time: 202.68 s
Current children cumulated vsize: 471380 KiB
Current children cumulated memory: 318068 KiB
[startup+204.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811585
/proc/meminfo: memFree=123189324/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=471380 memory=318068 CPUtime=204.27 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76726 0 0 0 20414 13 0 0 20 0 1 0 158417461 482693120 79517 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 117845 79517 4153 3002 0 101596 0
Current children cumulated CPU time: 204.27 s
Current children cumulated vsize: 471380 KiB
Current children cumulated memory: 318068 KiB
[startup+205.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811585
/proc/meminfo: memFree=123189352/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=471380 memory=318068 CPUtime=204.67 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76726 0 0 0 20454 13 0 0 20 0 1 0 158417461 482693120 79517 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 117845 79517 4153 3002 0 101596 0
Current children cumulated CPU time: 204.67 s
Current children cumulated vsize: 471380 KiB
Current children cumulated memory: 318068 KiB
[startup+205.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811585
/proc/meminfo: memFree=123189352/131524600 swapFree=131071996/131071996
[pid=811348] ppid=811345 vsize=471380 memory=318068 CPUtime=205.07 cores=4,6
/proc/811348/stat : 811348 (mixed-bag) R 811345 811348 809284 0 -1 4194304 76726 0 0 0 20494 13 0 0 20 0 1 0 158417461 482693120 79517 134679101440 4194304 16487941 140722620130128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26288128 140722620138519 140722620138596 140722620138596 140722620145611 0
/proc/811348/statm: 117845 79517 4153 3002 0 101596 0
Current children cumulated CPU time: 205.07 s
Current children cumulated vsize: 471380 KiB
Current children cumulated memory: 318068 KiB
Child status: 0
Real time (s): 205.631
CPU time (s): 205.111
CPU user time (s): 204.966
CPU system time (s): 0.145441
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 471380
Max. memory (cumulated for all children) (KiB): 318068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.966
system time used= 0.145441
maximum resident set size= 318068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76739
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= 16
involuntary context switches= 210
# summary of solver processes directly reported to runsolver:
# pid: 811348
# total CPU time (s): 205.111
# total CPU user time (s): 204.966
# total CPU system time (s): 0.145441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.517666 second user time and 0.850207 second system time
The end
Begin job on nodeC023 at 2024-07-15 18:55:38
IDJOB=4435517
IDBENCH=146688
IDSOLVER=3066
FILE ID=nodeC023/4435517-1721062525
RUNJOBID= nodeC023-1721058927-809295
SLURM_JOB_ID= 7505494
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435517-1721062525/watcher-4435517-1721062525 -o /tmp/evaluation-result-4435517-1721062525/solver-4435517-1721062525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435517-1721062525.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039
RANDOM SEED=1954165438
nodeC023.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 : 3674.678
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.61
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 : 3673.372
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.48
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 : 3619.032
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.61
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.828
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.48
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 : 3659.886
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.61
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 : 3673.384
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.48
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 : 3666.184
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.61
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 : 3599.817
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123795324 kB
MemAvailable: 125153392 kB
Buffers: 374748 kB
Cached: 1811692 kB
SwapCached: 0 kB
Active: 722156 kB
Inactive: 6387492 kB
Active(anon): 1564 kB
Inactive(anon): 4959412 kB
Active(file): 720592 kB
Inactive(file): 1428080 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16956 kB
Writeback: 0 kB
AnonPages: 4923428 kB
Mapped: 127392 kB
Shmem: 37720 kB
KReclaimable: 98440 kB
Slab: 204300 kB
SReclaimable: 98440 kB
SUnreclaim: 105860 kB
KernelStack: 4076 kB
PageTables: 19140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5800792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3360768 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: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC023 at 2024-07-15 18:59:03