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 (61341 MiB free)
memory of node 1: 64473 MiB (62199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458308-1721872347/watcher-4458308-1721872347 -o /tmp/evaluation-result-4458308-1721872347/solver-4458308-1721872347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198164 --watchdog 3760 pb_picat HOME/instance-4458308-1721872347.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
Current StackSize limit: 8192 KiB
solver pid=202329, runsolver pid=202326
[startup+0.100099 s]*
/proc/loadavg: 4.16 4.13 4.16 5/243 202330
/proc/meminfo: memFree=126484536/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2042568 memory=27616 CPUtime=0.1 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1256 0 0 0 9 1 0 0 20 0 1 0 23223999 2091589632 6904 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510642 6904 1765 439 0 506071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2042568 KiB
Current children cumulated memory: 27616 KiB
[startup+0.212973 s]*
/proc/loadavg: 4.16 4.13 4.16 5/243 202330
/proc/meminfo: memFree=126484032/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=27772 CPUtime=0.21 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1311 0 0 0 20 1 0 0 20 0 1 0 23223999 2092113920 6943 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 6943 1765 439 0 506199 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 27772 KiB
[startup+0.311862 s]*
/proc/loadavg: 4.16 4.13 4.16 5/243 202330
/proc/meminfo: memFree=126481760/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=0.31 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1345 0 0 0 30 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+0.700246 s]
/proc/loadavg: 4.16 4.13 4.16 5/243 202330
/proc/meminfo: memFree=126480864/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=0.69 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1345 0 0 0 68 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+1.50027 s]
/proc/loadavg: 4.16 4.13 4.16 6/243 202330
/proc/meminfo: memFree=126479448/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=1.48 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1345 0 0 0 147 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+3.11286 s]
/proc/loadavg: 4.14 4.13 4.16 6/243 202330
/proc/meminfo: memFree=126475600/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=3.09 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1346 0 0 0 308 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+6.30028 s]
/proc/loadavg: 4.14 4.13 4.16 6/240 202370
/proc/meminfo: memFree=126535628/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=6.28 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1347 0 0 0 627 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.16 6/243 202378
/proc/meminfo: memFree=126456024/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=12.67 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1349 0 0 0 1266 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.16 6/243 202425
/proc/meminfo: memFree=126384092/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=25.45 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1351 0 0 0 2544 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 202480
/proc/meminfo: memFree=126407192/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=51 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1354 0 0 0 5099 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/245 202533
/proc/meminfo: memFree=126326184/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=102.08 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1356 0 0 0 10207 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/243 202927
/proc/meminfo: memFree=126288596/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=161.94 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1358 0 0 0 16193 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/243 202937
/proc/meminfo: memFree=126275868/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2043080 memory=28092 CPUtime=221.81 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 1359 0 0 0 22180 1 0 0 20 0 1 0 23223999 2092113920 7023 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 510770 7023 1781 439 0 506199 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 28092 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 202947
/proc/meminfo: memFree=126296316/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2049176 memory=33000 CPUtime=281.67 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 27589 0 0 0 28160 7 0 0 20 0 1 0 23223999 2098356224 8250 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 512294 8250 1813 439 0 507723 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 2049176 KiB
Current children cumulated memory: 33000 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/246 203129
/proc/meminfo: memFree=126288420/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2052996 memory=34080 CPUtime=341.51 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 77915 0 0 0 34130 21 0 0 20 0 1 0 23223999 2102267904 8520 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 513249 8520 1813 439 0 508678 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 2052996 KiB
Current children cumulated memory: 34080 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/245 203139
/proc/meminfo: memFree=126279544/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2047376 memory=31552 CPUtime=401.34 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 117715 0 0 0 40103 31 0 0 20 0 1 0 23223999 2096513024 7888 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 511844 7888 1813 439 0 507273 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2047376 KiB
Current children cumulated memory: 31552 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/244 203152
/proc/meminfo: memFree=126274532/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2050448 memory=34124 CPUtime=461.17 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 156822 0 0 0 46075 42 0 0 20 0 1 0 23223999 2099658752 8531 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 512612 8531 1813 439 0 508041 0
################
# More data... #
################
Current children cumulated memory: 59652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.31 4.21 5/244 204224
/proc/meminfo: memFree=126100940/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2059288 memory=48400 CPUtime=2914.88 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 808059 0 0 0 291176 312 0 0 20 0 1 0 23223999 2108710912 12100 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 514822 12100 1813 439 0 510251 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 2059288 KiB
Current children cumulated memory: 48400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.29 4.20 5/245 204236
/proc/meminfo: memFree=126050320/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2087960 memory=73600 CPUtime=2974.74 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 813290 0 0 0 297158 316 0 0 20 0 1 0 23223999 2138071040 18400 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 521990 18400 1813 439 0 517419 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 2087960 KiB
Current children cumulated memory: 73600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.31 4.22 4/238 204277
/proc/meminfo: memFree=126128992/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2071576 memory=54440 CPUtime=3034.59 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 821803 0 0 0 303139 320 0 0 20 0 1 0 23223999 2121293824 13610 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 517894 13610 1813 439 0 513323 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 2071576 KiB
Current children cumulated memory: 54440 KiB
[startup+3102.3 s]
/proc/loadavg: 3.78 4.17 4.17 4/238 204287
/proc/meminfo: memFree=126153512/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2067480 memory=50040 CPUtime=3094.45 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 832620 0 0 0 309119 326 0 0 20 0 1 0 23223999 2117099520 12510 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 516870 12510 1813 439 0 512299 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 2067480 KiB
Current children cumulated memory: 50040 KiB
[startup+3162.3 s]
/proc/loadavg: 3.38 3.98 4.11 4/238 204298
/proc/meminfo: memFree=126150240/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2087960 memory=65172 CPUtime=3154.31 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 841207 0 0 0 315101 330 0 0 20 0 1 0 23223999 2138071040 16293 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 521990 16293 1813 439 0 517419 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 2087960 KiB
Current children cumulated memory: 65172 KiB
[startup+3222.3 s]
/proc/loadavg: 3.25 3.83 4.04 4/235 204309
/proc/meminfo: memFree=126112500/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2087960 memory=71564 CPUtime=3214.16 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 849585 0 0 0 321082 334 0 0 20 0 1 0 23223999 2138071040 17891 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 521990 17891 1813 439 0 517419 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 2087960 KiB
Current children cumulated memory: 71564 KiB
[startup+3282.3 s]
/proc/loadavg: 3.26 3.73 3.99 4/235 204319
/proc/meminfo: memFree=126114800/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2063520 memory=52696 CPUtime=3274.02 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 855349 0 0 0 327064 338 0 0 20 0 1 0 23223999 2113044480 13174 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 515880 13174 1813 439 0 511309 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 2063520 KiB
Current children cumulated memory: 52696 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.61 3.93 4/234 204329
/proc/meminfo: memFree=126145044/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2088096 memory=65236 CPUtime=3333.89 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 862317 0 0 0 333047 342 0 0 20 0 1 0 23223999 2138210304 16309 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 522024 16309 1813 439 0 517453 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 2088096 KiB
Current children cumulated memory: 65236 KiB
[startup+3402.3 s]
/proc/loadavg: 3.22 3.54 3.89 4/234 204340
/proc/meminfo: memFree=126123880/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2088096 memory=67468 CPUtime=3393.75 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 868065 0 0 0 339029 346 0 0 20 0 1 0 23223999 2138210304 16867 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 522024 16867 1813 439 0 517453 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 2088096 KiB
Current children cumulated memory: 67468 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.46 3.84 4/237 204357
/proc/meminfo: memFree=126083256/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2059424 memory=49344 CPUtime=3453.61 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 874900 0 0 0 345012 349 0 0 20 0 1 0 23223999 2108850176 12336 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 514856 12336 1813 439 0 510285 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 2059424 KiB
Current children cumulated memory: 49344 KiB
[startup+3522.3 s]
/proc/loadavg: 3.01 3.37 3.78 3/230 204398
/proc/meminfo: memFree=126313880/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2088096 memory=71916 CPUtime=3513.46 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 882410 0 0 0 350993 353 0 0 20 0 1 0 23223999 2138210304 17979 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 522024 17979 1813 439 0 517453 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 2088096 KiB
Current children cumulated memory: 71916 KiB
[startup+3582.3 s]
/proc/loadavg: 2.43 3.13 3.67 3/230 204410
/proc/meminfo: memFree=126330680/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2071712 memory=59640 CPUtime=3573.3 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 894158 0 0 0 356972 358 0 0 20 0 1 0 23223999 2121433088 14910 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 517928 14910 1813 439 0 513357 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 2071712 KiB
Current children cumulated memory: 59640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 2.33 3.04 3.62 3/230 204414
/proc/meminfo: memFree=126318112/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2059424 memory=49372 CPUtime=3600.04 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 896567 0 0 0 359644 360 0 0 20 0 1 0 23223999 2108850176 12343 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 514856 12343 1813 439 0 510285 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2059424 KiB
Current children cumulated memory: 49372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 202329 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.45 s, system=3.60842 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 2.33 3.04 3.62 3/230 204414
/proc/meminfo: memFree=126318112/131655788 swapFree=131056320/131071996
[pid=202329] ppid=202326 vsize=2059424 memory=49372 CPUtime=3600.04 cores=4,6
/proc/202329/stat : 202329 (pb_picat) R 202326 202329 198153 0 -1 4194304 896567 0 0 0 359644 360 0 0 20 0 1 0 23223999 2108850176 12343 134679101440 4194304 5989780 140732187825216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 40001536 140732187833369 140732187833445 140732187833445 140732187840460 0
/proc/202329/statm: 514856 12343 1813 439 0 510285 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2059424 KiB
Current children cumulated memory: 49372 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3596.45
CPU system time (s): 3.60842
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 2096288
Max. memory (cumulated for all children) (KiB): 79640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.45
system time used= 3.60842
maximum resident set size= 79640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 896567
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= 8
involuntary context switches= 4702
# summary of solver processes directly reported to runsolver:
# pid: 202329
# total CPU time (s): 3600.05
# total CPU user time (s): 3596.45
# total CPU system time (s): 3.60842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1309 second user time and 33.4831 second system time
The end
Begin job on nodeC006 at 2024-07-25 03:52:27
IDJOB=4458308
IDBENCH=177198
IDSOLVER=3068
FILE ID=nodeC006/4458308-1721872347
RUNJOBID= nodeC006-1721865128-198164
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_21.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458308-1721872347/watcher-4458308-1721872347 -o /tmp/evaluation-result-4458308-1721872347/solver-4458308-1721872347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198164 --watchdog 3760 pb_picat HOME/instance-4458308-1721872347.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
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 : 3651.328
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 : 3657.365
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.284
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.268
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 : 3491.561
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 : 3657.448
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.100
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.192
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: 126506092 kB
MemAvailable: 129666444 kB
Buffers: 299672 kB
Cached: 3470440 kB
SwapCached: 244 kB
Active: 1974484 kB
Inactive: 2255624 kB
Active(anon): 1744 kB
Inactive(anon): 503184 kB
Active(file): 1972740 kB
Inactive(file): 1752440 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 3828 kB
Writeback: 0 kB
AnonPages: 458620 kB
Mapped: 102712 kB
Shmem: 45244 kB
KReclaimable: 497080 kB
Slab: 607008 kB
SReclaimable: 497080 kB
SUnreclaim: 109928 kB
KernelStack: 3916 kB
PageTables: 10528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6956208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 290816 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= 723776 MiB
End job on nodeC006 at 2024-07-25 04:52:37