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 (54771 MiB free)
memory of node 1: 64473 MiB (49886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449210-1721367232/watcher-4449210-1721367232 -o /tmp/evaluation-result-4449210-1721367232/solver-4449210-1721367232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721366782-1016778 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449210-1721367232.opb -total-t=3600 -no-par -v0
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=1017294, runsolver pid=1017291
[startup+0.100827 s]*
/proc/loadavg: 4.11 3.56 3.22 5/261 1017295
/proc/meminfo: memFree=107131232/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=58880 memory=38920 CPUtime=0.09 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 6465 0 0 0 8 1 0 0 20 0 1 0 188885587 60293120 9730 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 14720 9730 794 2550 0 11675 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58880 KiB
Current children cumulated memory: 38920 KiB
[startup+0.205657 s]*
/proc/loadavg: 4.11 3.56 3.22 5/261 1017295
/proc/meminfo: memFree=107114300/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=75904 memory=54916 CPUtime=0.2 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 10001 0 0 0 18 2 0 0 20 0 1 0 188885587 77725696 13729 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 18976 13729 794 2550 0 15931 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75904 KiB
Current children cumulated memory: 54916 KiB
[startup+0.305644 s]*
/proc/loadavg: 4.11 3.56 3.22 5/261 1017295
/proc/meminfo: memFree=107094012/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=97016 memory=71128 CPUtime=0.29 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 12990 0 0 0 27 2 0 0 20 0 1 0 188885587 99344384 17782 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 24254 17782 794 2550 0 21209 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97016 KiB
Current children cumulated memory: 71128 KiB
[startup+0.700223 s]
/proc/loadavg: 4.11 3.56 3.22 5/261 1017295
/proc/meminfo: memFree=107069484/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=118944 memory=94972 CPUtime=0.68 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 14921 0 0 0 65 3 0 0 20 0 1 0 188885587 121798656 23743 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 29736 23743 794 2550 0 26691 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118944 KiB
Current children cumulated memory: 94972 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 3.56 3.22 5/261 1017295
/proc/meminfo: memFree=107033448/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=347084 memory=304764 CPUtime=1.48 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 27654 0 0 0 137 11 0 0 20 0 1 0 188885587 355414016 76191 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 86771 76191 842 2550 0 83726 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347084 KiB
Current children cumulated memory: 304764 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 3.57 3.22 5/261 1017295
/proc/meminfo: memFree=107421720/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=347084 memory=305172 CPUtime=3.08 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 27687 0 0 0 297 11 0 0 20 0 1 0 188885587 355414016 76293 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 86771 76293 890 2550 0 83726 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 347084 KiB
Current children cumulated memory: 305172 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 3.57 3.22 4/255 1017328
/proc/meminfo: memFree=117196760/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=443828 memory=396304 CPUtime=6.27 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 50417 0 0 0 611 16 0 0 20 0 1 0 188885587 454479872 99076 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 110957 99076 922 2550 0 107912 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 443828 KiB
Current children cumulated memory: 396304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 3.59 3.23 5/261 1017343
/proc/meminfo: memFree=115498588/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=1078192 memory=986936 CPUtime=12.66 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 115259 0 0 0 1231 35 0 0 20 0 1 0 188885587 1104068608 246734 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 269548 246734 970 2550 0 266503 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1078192 KiB
Current children cumulated memory: 986936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 3.62 3.25 5/261 1017346
/proc/meminfo: memFree=111981076/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=2179056 memory=1909280 CPUtime=25.42 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 207216 0 0 0 2478 64 0 0 20 0 1 0 188885587 2231353344 477320 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 544764 477320 970 2550 0 541719 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2179056 KiB
Current children cumulated memory: 1909280 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 3.66 3.27 5/261 1017349
/proc/meminfo: memFree=109776496/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=3253072 memory=3039400 CPUtime=50.97 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 303093 0 0 0 4994 103 0 0 20 0 1 0 188885587 3331145728 759850 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 813268 759850 970 2550 0 810223 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3253072 KiB
Current children cumulated memory: 3039400 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.74 3.32 5/257 1017357
/proc/meminfo: memFree=104046876/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=4942512 memory=4715848 CPUtime=102.06 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 424094 0 0 0 10042 164 0 0 20 0 1 0 188885587 5061132288 1178962 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 1235628 1178962 970 2550 0 1232583 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 4942512 KiB
Current children cumulated memory: 4715848 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.82 3.38 5/260 1017373
/proc/meminfo: memFree=96910700/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=6221528 memory=5701764 CPUtime=161.92 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 542006 0 0 0 15990 202 0 0 20 0 1 0 188885587 6370844672 1425441 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 1555382 1425441 970 2550 0 1552337 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 6221528 KiB
Current children cumulated memory: 5701764 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.88 3.43 5/260 1017385
/proc/meminfo: memFree=91933368/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=7859904 memory=7645340 CPUtime=221.78 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 617171 0 0 0 21901 277 0 0 20 0 1 0 188885587 8048541696 1911335 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 1964976 1911335 970 2550 0 1961931 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 7859904 KiB
Current children cumulated memory: 7645340 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.94 3.48 5/257 1017395
/proc/meminfo: memFree=89192248/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9396708 memory=8346600 CPUtime=281.64 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 705517 0 0 0 27859 305 0 0 20 0 1 0 188885587 9622228992 2086650 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2349177 2086650 970 2550 0 2346132 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 9396708 KiB
Current children cumulated memory: 8346600 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.00 3.53 5/257 1017405
/proc/meminfo: memFree=84619400/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9705876 memory=8967944 CPUtime=341.51 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 778454 0 0 0 33820 331 0 0 20 0 1 0 188885587 9938817024 2241986 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2426469 2241986 970 2550 0 2423424 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 9705876 KiB
Current children cumulated memory: 8967944 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.03 3.57 5/258 1017463
/proc/meminfo: memFree=92794160/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9892732 memory=9354616 CPUtime=401.35 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 827558 0 0 0 39786 349 0 0 20 0 1 0 188885587 10130157568 2338654 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473183 2338654 1240 2550 0 2470138 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 9892732 KiB
Current children cumulated memory: 9354616 KiB
[startup+415.582 s]
# the end of solver process 1017294 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=410.937 s, system=3.66972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.18 4.03 3.57 5/258 1017463
/proc/meminfo: memFree=92783032/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9892732 memory=9354820 CPUtime=402.25 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 827686 0 0 0 39876 349 0 0 20 0 1 0 188885587 10130157568 2338705 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473183 2338705 1240 2550 0 2470138 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 9892732 KiB
Current children cumulated memory: 9354820 KiB
[startup+409.6 s]
/proc/loadavg: 4.24 4.04 3.58 5/258 1017466
/proc/meminfo: memFree=92721520/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9893000 memory=9354988 CPUtime=408.63 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 828050 0 0 0 40514 349 0 0 20 0 1 0 188885587 10130432000 2338747 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473250 2338747 1240 2550 0 2470205 0
Current children cumulated CPU time: 408.63 s
Current children cumulated vsize: 9893000 KiB
Current children cumulated memory: 9354988 KiB
[startup+412.8 s]
/proc/loadavg: 4.22 4.04 3.58 5/258 1017466
/proc/meminfo: memFree=92692244/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9893540 memory=9355504 CPUtime=411.83 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 828183 0 0 0 40833 350 0 0 20 0 1 0 188885587 10130984960 2338876 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473385 2338876 1240 2550 0 2470340 0
Current children cumulated CPU time: 411.83 s
Current children cumulated vsize: 9893540 KiB
Current children cumulated memory: 9355504 KiB
[startup+414.4 s]
/proc/loadavg: 4.22 4.04 3.58 5/258 1017467
/proc/meminfo: memFree=92681612/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9893808 memory=9355768 CPUtime=413.42 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 828266 0 0 0 40992 350 0 0 20 0 1 0 188885587 10131259392 2338942 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473452 2338942 1240 2550 0 2470407 0
Current children cumulated CPU time: 413.42 s
Current children cumulated vsize: 9893808 KiB
Current children cumulated memory: 9355768 KiB
[startup+415.2 s]
/proc/loadavg: 4.22 4.04 3.58 5/258 1017467
/proc/meminfo: memFree=92606060/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9894212 memory=9356268 CPUtime=414.22 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 828372 0 0 0 41072 350 0 0 20 0 1 0 188885587 10131673088 2339067 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473553 2339067 1240 2550 0 2470508 0
Current children cumulated CPU time: 414.22 s
Current children cumulated vsize: 9894212 KiB
Current children cumulated memory: 9356268 KiB
[startup+415.4 s]
/proc/loadavg: 4.22 4.04 3.58 5/258 1017467
/proc/meminfo: memFree=92606060/131524600 swapFree=131071216/131071996
[pid=1017294] ppid=1017291 vsize=9894212 memory=9356268 CPUtime=414.42 cores=4,6
/proc/1017294/stat : 1017294 (CASHWMaxSAT-Dis) R 1017291 1017294 1016767 0 -1 4194304 828372 0 0 0 41092 350 0 0 20 0 1 0 188885587 10131673088 2339067 134679101440 4194304 14636349 140722861848368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 46624768 140722861851617 140722861851733 140722861851733 140722861858750 0
/proc/1017294/statm: 2473553 2339067 1240 2550 0 2470508 0
Current children cumulated CPU time: 414.42 s
Current children cumulated vsize: 9894212 KiB
Current children cumulated memory: 9356268 KiB
[startup+415.5 s]*
/proc/loadavg: 4.22 4.04 3.58 5/258 1017467
/proc/meminfo: memFree=94893392/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 415.582
CPU time (s): 414.607
CPU user time (s): 410.937
CPU system time (s): 3.66972
CPU usage (%): 99.7655
Max. virtual memory (cumulated for all children) (KiB): 9894212
Max. memory (cumulated for all children) (KiB): 9356268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 410.937
system time used= 3.66972
maximum resident set size= 9356352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 828372
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= 2
involuntary context switches= 560
# summary of solver processes directly reported to runsolver:
# pid: 1017294
# total CPU time (s): 414.607
# total CPU user time (s): 410.937
# total CPU system time (s): 3.66972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.807444 second user time and 1.85749 second system time
The end
Begin job on nodeC018 at 2024-07-19 07:34:04
IDJOB=4449210
IDBENCH=160487
IDSOLVER=3076
FILE ID=nodeC018/4449210-1721367232
RUNJOBID= nodeC018-1721366782-1016778
SLURM_JOB_ID= 7542807
Free space on /tmp= 889944 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449210-1721367232/watcher-4449210-1721367232 -o /tmp/evaluation-result-4449210-1721367232/solver-4449210-1721367232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721366782-1016778 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449210-1721367232.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a83101891c756e818f261b20124136b
RANDOM SEED=1607316360
nodeC018.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 : 3666.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
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 : 3686.937
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3599.862
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
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.082
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3668.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
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 : 3686.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3644.085
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
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 : 3600.017
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 107170552 kB
MemAvailable: 111364544 kB
Buffers: 524484 kB
Cached: 4470168 kB
SwapCached: 148 kB
Active: 1149192 kB
Inactive: 22514908 kB
Active(anon): 1564 kB
Inactive(anon): 18713668 kB
Active(file): 1147628 kB
Inactive(file): 3801240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 29628 kB
Writeback: 0 kB
AnonPages: 18669300 kB
Mapped: 121216 kB
Shmem: 45784 kB
KReclaimable: 169892 kB
Slab: 273012 kB
SReclaimable: 169892 kB
SUnreclaim: 103120 kB
KernelStack: 4208 kB
PageTables: 46196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 20536328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10043392 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: 283348 kB
DirectMap2M: 28850176 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889744 MiB
End job on nodeC018 at 2024-07-19 07:41:00