0.00/0.00 c solving HOME/instance-4458230-1721871680.opb (Picat 3.6#12)
0.00/0.09 o 0
80.00/80.23 s OPTIMUM FOUND
80.00/80.23 v x512 x199 x452 x418 ~x465 x256 x312 x190 x258 x228
80.00/80.23 v x270 x440 ~x503 x397 x443 ~x409 ~x456 x214 x51 x597
80.00/80.23 v x250 x201 x262 x205 x4 x389 x434 x192 ~x447 x196
80.00/80.23 v x42 x588 x242 x183 x254 x187 x33 x381 x425 x174
80.00/80.23 v ~x438 x178 x24 x579 x234 x165 x246 x169 x14 x373
80.00/80.23 v x416 x156 ~x429 x160 x431 x570 x226 x147 x238 x394
80.00/80.23 v x239 x118 ~x407 x138 ~x420 x594 x422 x109 x181 x129
80.00/80.23 v x212 x386 x231 x100 x172 x581 x203 x585 x413 x308
80.00/80.23 v x163 x374 x194 x378 x223 x498 x154 x572 x185 x576
80.00/80.23 v ~x404 x300 x145 x366 x176 x370 x151 x489 x136 x563
80.00/80.23 v x167 x567 x142 x292 x127 x358 x158 x362 x133 x480
80.00/80.23 v x561 x554 x149 x558 x124 x218 x356 x350 x140 x354
80.00/80.23 v x531 x209 x552 x545 x392 x549 x329 x200 x348 x342
80.00/80.23 v ~x592 x346 x522 x398 x543 x536 x384 x540 x321 x598
80.00/80.23 v x340 x334 ~x583 x115 x513 x390 x534 x527 x376 x106
80.00/80.23 v x313 x589 x332 x326 ~x574 x97 ~x504 x382 x525 x518
80.00/80.23 v x368 x88 x61 x601 x580 x324 x318 ~x565 x79 x5
80.00/80.23 v x621 x119 x516 ~x509 x360 x70 x52 ~x602 x110 x316
80.00/80.23 v x111 ~x556 x305 x43 ~x622 x309 ~x507 x10 x352 x495
80.00/80.23 v x34 ~x603 x499 x91 x102 ~x547 x297 x25 ~x623 x301
80.00/80.23 v x8 x93 x344 x486 x15 ~x604 x490 x82 x84 ~x538
80.00/80.23 v x441 ~x624 x219 x73 x75 x336 x248 x289 ~x605 x210
80.00/80.23 v x64 x66 ~x529 x432 x477 ~x625 x399 x55 x57 x328
80.00/80.23 v x240 x281 ~x606 x599 x46 x48 ~x520 x423 x468 ~x626
80.00/80.23 v x391 x37 x39 x113 x232 x273 ~x607 x590 x28 x30
80.00/80.23 v x104 x414 x459 ~x627 x120 x18 x20 x95 x224 x265
80.00/80.23 v ~x608 x310 x471 x491 x86 ~x405 x450 ~x628 x500 x275
80.00/80.23 v x293 x77 x161 x215 ~x609 x220 x462 x482 x68 x152
80.00/80.23 v x206 ~x629 x400 x267 x285 x59 x143 x197 ~x610 x600
80.00/80.23 v x453 x473 x50 x134 x188 ~x630 x259 x277 x303 x125
80.00/80.23 v x179 ~x611 x444 x464 x493 x541 x170 ~x631 x251 x269
80.00/80.23 v x295 x338 x395 x612 x435 x455 x484 x532 x595 x632
80.00/80.23 v x243 x261 x287 x330 x387 x613 x426 x446 x475 x523
80.00/80.23 v x586 x633 x235 x253 x279 x322 x379 x614 x417 x437
80.00/80.23 v x466 x514 x577 x634 x227 x245 x271 x314 x371 x615
80.00/80.23 v ~x408 x428 x457 ~x505 x568 x635 x191 x237 x263 x363
80.00/80.23 v x616 x182 x419 x448 x559 x636 x71 x173 x229 x255
80.00/80.23 v x355 x617 x6 x164 ~x410 x439 x550 x637 x62 x155
80.00/80.23 v x211 x247 x116 x618 x53 x146 x202 x430 x107 x638
80.00/80.23 v x44 x137 x193 x213 x98 x619 x35 x128 x184 x204
80.00/80.23 v x89 x639 x26 x571 x175 x195 x80 x620 x16 x365
80.00/80.23 v x166 x186 x306 x640 x451 x562 x157 x177 x496 x257
80.00/80.23 v x357 x148 x168 x298 x442 x553 x139 x159 x487 x249
80.00/80.23 v x349 x130 x150 x290 x433 x544 x591 x21 x393 x478
80.00/80.23 v x241 x341 x383 x1 x593 x282 x424 x535 x582 x11
80.00/80.23 v x385 x469 x233 x333 x375 x401 x584 x274 x415 x526
80.00/80.23 v x573 x121 x377 x460 x225 x325 x367 x501 x575 x216
80.00/80.23 v ~x406 x517 x564 x31 x369 x207 x171 x317 x359 x2
80.00/80.23 v x566 x198 x162 ~x508 x555 x22 x361 x189 x153 x101
80.00/80.23 v x351 x12 x557 x180 x144 x9 x546 x411 x353 x396
80.00/80.23 v x135 x92 x343 x221 x548 x596 x126 x537 x345 ~x402
80.00/80.23 v x388 x551 x83 x335 x539 x131 x587 x347 x74 x528
80.00/80.23 v x122 x337 x380 x542 x65 x327 x511 x530 x578 x339
80.00/80.23 v x56 x519 x311 x114 x372 x533 x47 x319 ~x502 x105
80.00/80.23 v x569 x331 x38 ~x510 x41 x96 x364 x524 x29 x112
80.00/80.23 v x3 x87 x560 x323 x19 x103 x32 x78 x117 x515
80.00/80.23 v x481 x94 x23 x69 x108 x315 x284 x85 x13 x60
80.00/80.23 v x99 ~x506 x472 x76 x304 x90 x81 x276 x67 x494
80.00/80.23 v x421 x307 x7 x463 x58 x296 x230 x497 x72 x268
80.00/80.23 v x49 x485 x412 x299 x63 x454 x40 x288 x222 x488
80.00/80.23 v x54 x260 x302 x476 ~x403 x291 x45 x445 ~x492 x280
80.00/80.23 v x141 x479 x36 x252 x294 x467 x132 x283 x27 x436
80.00/80.23 v ~x483 x272 x123 x470 x17 x244 x286 x458 x521 x217
80.00/80.23 v x461 x427 ~x474 x264 x320 x208 x266 x236 x278 x449
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: 64096 MiB (61298 MiB free)
memory of node 1: 64473 MiB (62228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458230-1721871680/watcher-4458230-1721871680 -o /tmp/evaluation-result-4458230-1721871680/solver-4458230-1721871680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198166 --watchdog 3760 pb_picat HOME/instance-4458230-1721871680.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=202115, runsolver pid=202112
[startup+0.100097 s]*
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126475848/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2041968 memory=21440 CPUtime=0.1 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 1252 0 0 0 10 0 0 0 20 0 1 0 23157296 2090975232 5360 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 510492 5360 1721 439 0 505921 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041968 KiB
Current children cumulated memory: 21440 KiB
[startup+0.212167 s]*
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126473156/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2042040 memory=21420 CPUtime=0.21 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 1346 0 0 0 21 0 0 0 20 0 1 0 23157296 2091048960 5355 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 510510 5355 1721 439 0 505939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2042040 KiB
Current children cumulated memory: 21420 KiB
[startup+0.312593 s]*
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126469556/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2042688 memory=22212 CPUtime=0.31 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 1542 0 0 0 31 0 0 0 20 0 1 0 23157296 2091712512 5553 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 510672 5553 1721 439 0 506101 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042688 KiB
Current children cumulated memory: 22212 KiB
[startup+0.700261 s]
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126461764/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2043120 memory=22592 CPUtime=0.68 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 1834 0 0 0 68 0 0 0 20 0 1 0 23157296 2092154880 5648 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 510780 5648 1737 439 0 506209 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043120 KiB
Current children cumulated memory: 22592 KiB
[startup+1.50027 s]
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126451696/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2043772 memory=23200 CPUtime=1.48 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 2700 0 0 0 148 0 0 0 20 0 1 0 23157296 2092822528 5800 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 510943 5800 1737 439 0 506372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043772 KiB
Current children cumulated memory: 23200 KiB
[startup+3.11341 s]
/proc/loadavg: 4.08 4.21 4.23 5/242 202116
/proc/meminfo: memFree=126423680/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2044284 memory=23372 CPUtime=3.1 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 4746 0 0 0 309 1 0 0 20 0 1 0 23157296 2093346816 5843 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511071 5843 1737 439 0 506500 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2044284 KiB
Current children cumulated memory: 23372 KiB
[startup+6.30025 s]
/proc/loadavg: 4.07 4.21 4.22 5/242 202118
/proc/meminfo: memFree=126381684/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2045568 memory=24312 CPUtime=6.28 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 9142 0 0 0 626 2 0 0 20 0 1 0 23157296 2094661632 6078 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511392 6078 1737 439 0 506821 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2045568 KiB
Current children cumulated memory: 24312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.22 4.23 5/242 202119
/proc/meminfo: memFree=126431500/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2045716 memory=24104 CPUtime=12.66 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 15956 0 0 0 1263 3 0 0 20 0 1 0 23157296 2094813184 6026 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511429 6026 1737 439 0 506858 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2045716 KiB
Current children cumulated memory: 24104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.21 4.22 5/242 202122
/proc/meminfo: memFree=126414464/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=24296 CPUtime=25.43 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 31565 0 0 0 2537 6 0 0 20 0 1 0 23157296 2095284224 6074 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6074 1737 439 0 506973 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 24296 KiB
[startup+51.1125 s]
/proc/loadavg: 4.14 4.21 4.22 5/242 202125
/proc/meminfo: memFree=126430500/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2049248 memory=26344 CPUtime=50.98 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 51922 0 0 0 5088 10 0 0 20 0 1 0 23157296 2098429952 6586 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 512312 6586 1737 439 0 507741 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2049248 KiB
Current children cumulated memory: 26344 KiB
[startup+80.2372 s]
# the end of solver process 202115 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=79.9056 s, system=0.141665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.14 4.21 4.22 5/242 202125
/proc/meminfo: memFree=126430500/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2049248 memory=26604 CPUtime=51.07 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 51962 0 0 0 5097 10 0 0 20 0 1 0 23157296 2098429952 6651 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 512312 6651 1737 439 0 507741 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2049248 KiB
Current children cumulated memory: 26604 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.17 4.21 4.22 5/242 202129
/proc/meminfo: memFree=126456532/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=25144 CPUtime=63.85 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 59963 0 0 0 6374 11 0 0 20 0 1 0 23157296 2095284224 6286 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6286 1737 439 0 506973 0
Current children cumulated CPU time: 63.85 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 25144 KiB
[startup+70.4002 s]
/proc/loadavg: 4.16 4.21 4.22 5/242 202130
/proc/meminfo: memFree=126422948/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=24648 CPUtime=70.22 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 65634 0 0 0 7010 12 0 0 20 0 1 0 23157296 2095284224 6162 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6162 1737 439 0 506973 0
Current children cumulated CPU time: 70.22 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 24648 KiB
[startup+76.8003 s]
/proc/loadavg: 4.15 4.20 4.22 5/242 202131
/proc/meminfo: memFree=126406748/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2047200 memory=24900 CPUtime=76.61 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 70743 0 0 0 7648 13 0 0 20 0 1 0 23157296 2096332800 6225 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511800 6225 1737 439 0 507229 0
Current children cumulated CPU time: 76.61 s
Current children cumulated vsize: 2047200 KiB
Current children cumulated memory: 24900 KiB
[startup+78.4002 s]
/proc/loadavg: 4.15 4.20 4.22 5/242 202131
/proc/meminfo: memFree=126457392/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=25316 CPUtime=78.2 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 72017 0 0 0 7807 13 0 0 20 0 1 0 23157296 2095284224 6329 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6329 1737 439 0 506973 0
Current children cumulated CPU time: 78.2 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 25316 KiB
[startup+79.2002 s]
/proc/loadavg: 4.13 4.20 4.22 5/242 202131
/proc/meminfo: memFree=126441440/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=25280 CPUtime=79 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 72285 0 0 0 7887 13 0 0 20 0 1 0 23157296 2095284224 6320 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6320 1737 439 0 506973 0
Current children cumulated CPU time: 79 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 25280 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.13 4.20 4.22 5/242 202131
/proc/meminfo: memFree=126431004/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=24704 CPUtime=79.82 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 73320 0 0 0 7968 14 0 0 20 0 1 0 23157296 2095284224 6176 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6176 1737 439 0 506973 0
Current children cumulated CPU time: 79.82 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 24704 KiB
[startup+80.2002 s]
/proc/loadavg: 4.13 4.20 4.22 5/242 202131
/proc/meminfo: memFree=126431004/131655788 swapFree=131056320/131071996
[pid=202115] ppid=202112 vsize=2046176 memory=25156 CPUtime=80 cores=5,7
/proc/202115/stat : 202115 (pb_picat) R 202112 202115 198153 0 -1 4194304 73426 0 0 0 7986 14 0 0 20 0 1 0 23157296 2095284224 6289 134679101440 4194304 5989780 140730787059920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 42336256 140730787062809 140730787062885 140730787062885 140730787069900 0
/proc/202115/statm: 511544 6289 1737 439 0 506973 0
Current children cumulated CPU time: 80 s
Current children cumulated vsize: 2046176 KiB
Current children cumulated memory: 25156 KiB
Child status: 0
Real time (s): 80.2372
CPU time (s): 80.0472
CPU user time (s): 79.9056
CPU system time (s): 0.141665
CPU usage (%): 99.7632
Max. virtual memory (cumulated for all children) (KiB): 2051296
Max. memory (cumulated for all children) (KiB): 28944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.9056
system time used= 0.141665
maximum resident set size= 29088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73452
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= 4
involuntary context switches= 111
# summary of solver processes directly reported to runsolver:
# pid: 202115
# total CPU time (s): 80.0472
# total CPU user time (s): 79.9056
# total CPU system time (s): 0.141665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.402406 second user time and 0.797881 second system time
The end
Begin job on nodeC006 at 2024-07-25 03:41:20
IDJOB=4458230
IDBENCH=177184
IDSOLVER=3068
FILE ID=nodeC006/4458230-1721871680
RUNJOBID= nodeC006-1721865128-198166
SLURM_JOB_ID= 8089207
Free space on /tmp= 723772 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458230-1721871680/watcher-4458230-1721871680 -o /tmp/evaluation-result-4458230-1721871680/solver-4458230-1721871680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198166 --watchdog 3760 pb_picat HOME/instance-4458230-1721871680.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=459545784
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3674.096
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3675.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.278
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3674.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.563
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.309
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126491456 kB
MemAvailable: 129647308 kB
Buffers: 299036 kB
Cached: 3466836 kB
SwapCached: 244 kB
Active: 1973456 kB
Inactive: 2270908 kB
Active(anon): 1736 kB
Inactive(anon): 522012 kB
Active(file): 1971720 kB
Inactive(file): 1748896 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 3632 kB
Writeback: 0 kB
AnonPages: 476080 kB
Mapped: 102680 kB
Shmem: 45244 kB
KReclaimable: 497144 kB
Slab: 607140 kB
SReclaimable: 497144 kB
SUnreclaim: 109996 kB
KernelStack: 3920 kB
PageTables: 10600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6971712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 309248 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: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC006 at 2024-07-25 03:42:41