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 (62360 MiB free)
memory of node 1: 64473 MiB (62292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454148-1721491734/watcher-4454148-1721491734 -o /tmp/evaluation-result-4454148-1721491734/solver-4454148-1721491734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721488136-1065208 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4454148-1721491734.opb -total-t=3600 -no-par -v0
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=1067187, runsolver pid=1067184
[startup+0.100763 s]*
/proc/loadavg: 4.14 4.13 4.12 5/254 1067188
/proc/meminfo: memFree=127641824/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=21844 memory=7792 CPUtime=0.1 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 1020 0 0 0 10 0 0 0 20 0 1 0 201340028 22368256 1948 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 5461 1948 1146 2726 0 2209 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21844 KiB
Current children cumulated memory: 7792 KiB
[startup+0.205481 s]*
/proc/loadavg: 4.14 4.13 4.12 5/254 1067188
/proc/meminfo: memFree=127639992/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=22008 memory=8124 CPUtime=0.2 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 1139 0 0 0 20 0 0 0 20 0 1 0 201340028 22536192 2031 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 5502 2031 1146 2726 0 2250 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22008 KiB
Current children cumulated memory: 8124 KiB
[startup+0.305402 s]*
/proc/loadavg: 4.14 4.13 4.12 5/254 1067188
/proc/meminfo: memFree=127639472/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=22084 memory=8168 CPUtime=0.3 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 1398 0 0 0 30 0 0 0 20 0 1 0 201340028 22614016 2042 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 5521 2042 1146 2726 0 2269 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22084 KiB
Current children cumulated memory: 8168 KiB
[startup+0.70017 s]
/proc/loadavg: 4.14 4.13 4.12 4/252 1067188
/proc/meminfo: memFree=127941528/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=22692 memory=8912 CPUtime=0.69 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 1939 0 0 0 69 0 0 0 20 0 1 0 201340028 23236608 2228 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 5673 2228 1146 2726 0 2421 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22692 KiB
Current children cumulated memory: 8912 KiB
[startup+1.50015 s]
/proc/loadavg: 4.14 4.13 4.12 5/254 1067234
/proc/meminfo: memFree=127935504/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=24640 memory=10612 CPUtime=1.48 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 2767 0 0 0 148 0 0 0 20 0 1 0 201340028 25231360 2653 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 6160 2653 1146 2726 0 2908 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24640 KiB
Current children cumulated memory: 10612 KiB
[startup+3.10501 s]
/proc/loadavg: 4.05 4.11 4.12 5/254 1067280
/proc/meminfo: memFree=128270868/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=25772 memory=11864 CPUtime=3.08 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 4359 0 0 0 308 0 0 0 20 0 1 0 201340028 26390528 2966 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 6443 2966 1146 2726 0 3191 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25772 KiB
Current children cumulated memory: 11864 KiB
[startup+6.30017 s]
/proc/loadavg: 4.05 4.11 4.12 5/254 1067282
/proc/meminfo: memFree=128258244/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=27460 memory=13540 CPUtime=6.27 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 7537 0 0 0 626 1 0 0 20 0 1 0 201340028 28119040 3385 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 6865 3385 1146 2726 0 3613 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 27460 KiB
Current children cumulated memory: 13540 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 4.11 4.12 5/254 1067282
/proc/meminfo: memFree=128241124/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=31872 memory=17744 CPUtime=12.65 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 9714 0 0 0 1264 1 0 0 20 0 1 0 201340028 32636928 4436 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 7968 4436 1146 2726 0 4716 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 17744 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.10 4.11 5/254 1067285
/proc/meminfo: memFree=128215052/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=35728 memory=21744 CPUtime=25.41 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 16040 0 0 0 2539 2 0 0 20 0 1 0 201340028 36585472 5436 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 8932 5436 1146 2726 0 5680 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35728 KiB
Current children cumulated memory: 21744 KiB
[startup+51.1056 s]
/proc/loadavg: 4.02 4.09 4.11 5/254 1067288
/proc/meminfo: memFree=128167700/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=38356 memory=24432 CPUtime=50.94 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 19924 0 0 0 5091 3 0 0 20 0 1 0 201340028 39276544 6108 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 9589 6108 1146 2726 0 6337 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 24432 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/257 1067301
/proc/meminfo: memFree=128110032/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=53288 memory=39288 CPUtime=102 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 25658 0 0 0 10196 4 0 0 20 0 1 0 201340028 54566912 9822 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 13322 9822 1146 2726 0 10070 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 53288 KiB
Current children cumulated memory: 39288 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/257 1067313
/proc/meminfo: memFree=128059008/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=65776 memory=51696 CPUtime=161.85 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 28468 0 0 0 16180 5 0 0 20 0 1 0 201340028 67354624 12924 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 16444 12924 1146 2726 0 13192 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 65776 KiB
Current children cumulated memory: 51696 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/257 1067323
/proc/meminfo: memFree=128019276/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=67520 memory=53540 CPUtime=221.69 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 30701 0 0 0 22163 6 0 0 20 0 1 0 201340028 69140480 13385 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 16880 13385 1146 2726 0 13628 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 53540 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1067334
/proc/meminfo: memFree=127988568/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=68308 memory=54256 CPUtime=281.53 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 30914 0 0 0 28147 6 0 0 20 0 1 0 201340028 69947392 13564 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 17077 13564 1146 2726 0 13825 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 68308 KiB
Current children cumulated memory: 54256 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1067345
/proc/meminfo: memFree=127961988/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=77856 memory=63920 CPUtime=341.37 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 32483 0 0 0 34131 6 0 0 20 0 1 0 201340028 79724544 15980 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 19464 15980 1146 2726 0 16212 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 77856 KiB
Current children cumulated memory: 63920 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1067356
/proc/meminfo: memFree=127983192/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=65908 memory=52028 CPUtime=401.22 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 34868 0 0 0 40115 7 0 0 20 0 1 0 201340028 67489792 13007 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 16477 13007 1146 2726 0 13225 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 52028 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1067366
/proc/meminfo: memFree=127988664/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=77184 memory=63212 CPUtime=461.06 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 36769 0 0 0 46098 8 0 0 20 0 1 0 201340028 79036416 15803 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 19296 15803 1146 2726 0 16044 0
Current children cumulated CPU time: 461.06 s
Current children cumulated vsize: 77184 KiB
Current children cumulated memory: 63212 KiB
[startup+522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 1067377
/proc/meminfo: memFree=127957240/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=86264 memory=72368 CPUtime=520.91 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 38996 0 0 0 52082 9 0 0 20 0 1 0 201340028 88334336 18092 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 21566 18092 1146 2726 0 18314 0
Current children cumulated CPU time: 520.91 s
Current children cumulated vsize: 86264 KiB
Current children cumulated memory: 72368 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 1067387
/proc/meminfo: memFree=127991372/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=55808 memory=42056 CPUtime=580.75 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 39298 0 0 0 58066 9 0 0 20 0 1 0 201340028 57147392 10514 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 13952 10514 1146 2726 0 10700 0
Current children cumulated CPU time: 580.75 s
Current children cumulated vsize: 55808 KiB
Current children cumulated memory: 42056 KiB
[startup+629.861 s]
# the end of solver process 1067187 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=628.099 s, system=0.104479 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 1067388
/proc/meminfo: memFree=127986860/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=55808 memory=42056 CPUtime=587.24 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 39300 0 0 0 58715 9 0 0 20 0 1 0 201340028 57147392 10514 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 13952 10514 1146 2726 0 10700 0
Current children cumulated CPU time: 587.24 s
Current children cumulated vsize: 55808 KiB
Current children cumulated memory: 42056 KiB
[startup+614.4 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 1067392
/proc/meminfo: memFree=128022924/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=61452 memory=47468 CPUtime=612.77 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41021 0 0 0 61267 10 0 0 20 0 1 0 201340028 62926848 11867 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15363 11867 1146 2726 0 12111 0
Current children cumulated CPU time: 612.77 s
Current children cumulated vsize: 61452 KiB
Current children cumulated memory: 47468 KiB
[startup+620.8 s]
/proc/loadavg: 4.23 4.12 4.10 5/255 1067394
/proc/meminfo: memFree=128008328/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=619.16 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 61906 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 619.16 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
[startup+624 s]*
/proc/loadavg: 4.21 4.12 4.10 5/255 1067394
/proc/meminfo: memFree=127998264/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=622.35 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 62225 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 622.35 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
[startup+627.2 s]
/proc/loadavg: 4.21 4.12 4.10 5/255 1067395
/proc/meminfo: memFree=127997788/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=625.54 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 62544 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 625.54 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
[startup+628.8 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 1067395
/proc/meminfo: memFree=128001516/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=627.14 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 62704 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 627.14 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
[startup+629.6 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 1067395
/proc/meminfo: memFree=127992604/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=627.93 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 62783 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 627.93 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
[startup+629.8 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 1067395
/proc/meminfo: memFree=127992604/131524600 swapFree=131071996/131071996
[pid=1067187] ppid=1067184 vsize=63620 memory=49572 CPUtime=628.13 cores=5,7
/proc/1067187/stat : 1067187 (CASHWMaxSAT-Dis) R 1067184 1067187 1065195 0 -1 4194304 41563 0 0 0 62803 10 0 0 20 0 1 0 201340028 65146880 12393 134679101440 4194304 15356333 140733004347744 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 27721728 140733004354529 140733004354645 140733004354645 140733004361662 0
/proc/1067187/statm: 15905 12393 1146 2726 0 12653 0
Current children cumulated CPU time: 628.13 s
Current children cumulated vsize: 63620 KiB
Current children cumulated memory: 49572 KiB
Child status: 20
Real time (s): 629.861
CPU time (s): 628.203
CPU user time (s): 628.099
CPU system time (s): 0.104479
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 87872
Max. memory (cumulated for all children) (KiB): 73936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 628.099
system time used= 0.104479
maximum resident set size= 73936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41563
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= 14
involuntary context switches= 395
# summary of solver processes directly reported to runsolver:
# pid: 1067187
# total CPU time (s): 628.203
# total CPU user time (s): 628.099
# total CPU system time (s): 0.104479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15172 second user time and 2.84131 second system time
The end
Begin job on nodeC027 at 2024-07-20 18:09:06
IDJOB=4454148
IDBENCH=176067
IDSOLVER=3074
FILE ID=nodeC027/4454148-1721491734
RUNJOBID= nodeC027-1721488136-1065208
SLURM_JOB_ID= 7545779
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_less.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454148-1721491734/watcher-4454148-1721491734 -o /tmp/evaluation-result-4454148-1721491734/solver-4454148-1721491734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721488136-1065208 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4454148-1721491734.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 835882185b05cb50ca6c38d629f5e937
RANDOM SEED=1565331835
nodeC027.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 : 3671.186
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 : 7000.36
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 : 3667.514
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 : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.598
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 : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.369
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 : 7006.29
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 : 3671.306
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 : 7000.36
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 : 3668.767
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 : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.438
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 : 7000.36
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 : 3663.828
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 : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127645892 kB
MemAvailable: 129058060 kB
Buffers: 552200 kB
Cached: 1703124 kB
SwapCached: 0 kB
Active: 1068780 kB
Inactive: 2191524 kB
Active(anon): 1552 kB
Inactive(anon): 1049316 kB
Active(file): 1067228 kB
Inactive(file): 1142208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28876 kB
Writeback: 48 kB
AnonPages: 1004008 kB
Mapped: 121392 kB
Shmem: 45912 kB
KReclaimable: 85108 kB
Slab: 197540 kB
SReclaimable: 85108 kB
SUnreclaim: 112432 kB
KernelStack: 4096 kB
PageTables: 11320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1546024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 858112 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: 193236 kB
DirectMap2M: 15308800 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC027 at 2024-07-20 18:19:36