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: 63931 MiB (60226 MiB free)
memory of node 1: 64510 MiB (62962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443970-1721317559/watcher-4443970-1721317559 -o /tmp/evaluation-result-4443970-1721317559/solver-4443970-1721317559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721317352-992377 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4443970-1721317559.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=993119, runsolver pid=993116
[startup+0.100991 s]*
/proc/loadavg: 4.17 3.35 3.53 5/257 993120
/proc/meminfo: memFree=126139512/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=39184 memory=10800 CPUtime=0.09 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 1131 0 0 0 8 1 0 0 20 0 1 0 183917795 40124416 2700 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 9796 2700 1265 922 0 1748 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 10800 KiB
[startup+0.205617 s]*
/proc/loadavg: 4.17 3.35 3.53 5/257 993120
/proc/meminfo: memFree=126138364/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=40232 memory=11892 CPUtime=0.2 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 1452 0 0 0 15 5 0 0 20 0 1 0 183917795 41197568 2973 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 10058 2973 1265 922 0 2010 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 11892 KiB
[startup+0.305781 s]*
/proc/loadavg: 4.17 3.35 3.53 5/257 993120
/proc/meminfo: memFree=126135084/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=43084 memory=15028 CPUtime=0.29 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 1726 0 0 0 23 6 0 0 20 0 1 0 183917795 44118016 3757 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 10771 3757 1265 922 0 2723 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43084 KiB
Current children cumulated memory: 15028 KiB
[startup+0.700226 s]
/proc/loadavg: 4.17 3.35 3.53 5/257 993122
/proc/meminfo: memFree=126129652/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=59552 memory=24916 CPUtime=0.68 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 3856 0 0 0 51 17 0 0 20 0 1 0 183917795 60981248 6229 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 14888 6229 1265 922 0 6840 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59552 KiB
Current children cumulated memory: 24916 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 3.35 3.53 5/257 993122
/proc/meminfo: memFree=126117576/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=168120 memory=135060 CPUtime=1.48 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 28111 0 0 0 111 37 0 0 20 0 1 0 183917795 172154880 33765 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 42030 33765 1584 922 0 33982 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168120 KiB
Current children cumulated memory: 135060 KiB
[startup+3.10582 s]
/proc/loadavg: 4.17 3.35 3.53 5/257 993122
/proc/meminfo: memFree=125861576/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=322072 memory=288896 CPUtime=3.08 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 51781 0 0 0 259 49 0 0 20 0 1 0 183917795 329801728 72224 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 80518 72224 1600 922 0 72470 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 322072 KiB
Current children cumulated memory: 288896 KiB
[startup+6.30021 s]
/proc/loadavg: 4.16 3.36 3.54 5/257 993122
/proc/meminfo: memFree=125861376/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=322072 memory=289280 CPUtime=6.26 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 51857 0 0 0 576 50 0 0 20 0 1 0 183917795 329801728 72320 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 80518 72320 1696 922 0 72470 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 322072 KiB
Current children cumulated memory: 289280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 3.37 3.54 5/257 993169
/proc/meminfo: memFree=125983836/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=322072 memory=289280 CPUtime=12.63 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 51969 0 0 0 1212 51 0 0 20 0 1 0 183917795 329801728 72320 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 80518 72320 1696 922 0 72470 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 322072 KiB
Current children cumulated memory: 289280 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 3.42 3.55 5/255 993185
/proc/meminfo: memFree=127330284/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=322072 memory=289280 CPUtime=25.38 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 52055 0 0 0 2484 54 0 0 20 0 1 0 183917795 329801728 72320 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 80518 72320 1696 922 0 72470 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 322072 KiB
Current children cumulated memory: 289280 KiB
[startup+51.1058 s]
/proc/loadavg: 4.18 3.48 3.57 5/257 993221
/proc/meminfo: memFree=127315140/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=322072 memory=289472 CPUtime=50.86 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 52171 0 0 0 5031 55 0 0 20 0 1 0 183917795 329801728 72368 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 80518 72368 1742 922 0 72470 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 322072 KiB
Current children cumulated memory: 289472 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.58 3.60 5/255 993231
/proc/meminfo: memFree=127245044/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=367316 memory=334560 CPUtime=101.88 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 54456 0 0 0 10129 59 0 0 20 0 1 0 183917795 376131584 83640 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 91829 83640 1742 922 0 83781 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 367316 KiB
Current children cumulated memory: 334560 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.69 3.64 5/255 993241
/proc/meminfo: memFree=127210616/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=380844 memory=348604 CPUtime=161.67 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 57981 0 0 0 16104 63 0 0 20 0 1 0 183917795 389984256 87151 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 95211 87151 1742 922 0 87163 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 380844 KiB
Current children cumulated memory: 348604 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.76 3.67 5/255 993251
/proc/meminfo: memFree=127195348/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=381636 memory=349396 CPUtime=221.47 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 58347 0 0 0 22082 65 0 0 20 0 1 0 183917795 390795264 87349 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 95409 87349 1742 922 0 87361 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 381636 KiB
Current children cumulated memory: 349396 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.84 3.70 5/258 993267
/proc/meminfo: memFree=127156444/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=389948 memory=362056 CPUtime=281.27 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 69593 0 0 0 28054 73 0 0 20 0 1 0 183917795 399306752 90514 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 97487 90514 1804 922 0 89439 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 389948 KiB
Current children cumulated memory: 362056 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.89 3.73 5/258 993278
/proc/meminfo: memFree=127149128/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=389948 memory=362056 CPUtime=341.08 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 69673 0 0 0 34033 75 0 0 20 0 1 0 183917795 399306752 90514 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 97487 90514 1804 922 0 89439 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 389948 KiB
Current children cumulated memory: 362056 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.96 3.76 5/258 993288
/proc/meminfo: memFree=127129772/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=389948 memory=362056 CPUtime=400.88 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 69700 0 0 0 40010 78 0 0 20 0 1 0 183917795 399306752 90514 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 97487 90514 1804 922 0 89439 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 389948 KiB
Current children cumulated memory: 362056 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.98 3.79 5/258 993298
/proc/meminfo: memFree=127128812/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=389948 memory=362056 CPUtime=460.69 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 69795 0 0 0 45988 81 0 0 20 0 1 0 183917795 399306752 90514 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 97487 90514 1804 922 0 89439 0
################
# More data... #
################
Current children cumulated memory: 526880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.19 4.12 5/257 994917
/proc/meminfo: memFree=126856540/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=2912.73 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 129365 0 0 0 291019 254 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/254 994927
/proc/meminfo: memFree=126856460/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=2972.53 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 129498 0 0 0 296997 256 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 2972.53 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 994937
/proc/meminfo: memFree=126848044/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3032.34 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 129633 0 0 0 302976 258 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 994948
/proc/meminfo: memFree=126863428/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3092.14 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 129772 0 0 0 308955 259 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3092.14 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 994958
/proc/meminfo: memFree=126855136/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3151.95 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 129895 0 0 0 314933 262 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 994968
/proc/meminfo: memFree=126854744/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3211.75 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130044 0 0 0 320911 264 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3211.75 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 994984
/proc/meminfo: memFree=126854264/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3271.55 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130174 0 0 0 326889 266 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3271.55 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 994994
/proc/meminfo: memFree=126851816/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3331.36 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130280 0 0 0 332869 267 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3331.36 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/256 995004
/proc/meminfo: memFree=126850256/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3391.16 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130440 0 0 0 338847 269 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 995015
/proc/meminfo: memFree=126849692/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3450.97 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130570 0 0 0 344824 273 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 995027
/proc/meminfo: memFree=126849292/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3510.77 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130696 0 0 0 350802 275 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 995037
/proc/meminfo: memFree=126840008/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3570.57 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130835 0 0 0 356781 276 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 995087
/proc/meminfo: memFree=126224392/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3600.08 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130904 0 0 0 359730 278 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.9 s]
# the end of solver process 993119 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3597.31 s, system=2.78313 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 995087
/proc/meminfo: memFree=126224392/131524600 swapFree=131071996/131071996
[pid=993119] ppid=993116 vsize=622092 memory=528080 CPUtime=3600.08 cores=0,2
/proc/993119/stat : 993119 (roundingsat) R 993116 993119 992365 0 -1 4194304 130904 0 0 0 359730 278 0 0 20 0 1 0 183917795 637022208 132020 134679101440 4194304 7968869 140728755558240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 42004480 140728755565501 140728755565665 140728755565665 140728755572681 0
/proc/993119/statm: 155523 132020 1820 922 0 147475 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 528080 KiB
Child status: 1
Real time (s): 3611.9
CPU time (s): 3600.09
CPU user time (s): 3597.31
CPU system time (s): 2.78313
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 622092
Max. memory (cumulated for all children) (KiB): 528080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 2.78313
maximum resident set size= 528080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130936
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= 25197
# summary of solver processes directly reported to runsolver:
# pid: 993119
# total CPU time (s): 3600.09
# total CPU user time (s): 3597.31
# total CPU system time (s): 2.78313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74065 second user time and 16.9826 second system time
The end
Begin job on nodeC017 at 2024-07-18 17:46:12
IDJOB=4443970
IDBENCH=147892
IDSOLVER=3051
FILE ID=nodeC017/4443970-1721317559
RUNJOBID= nodeC017-1721317352-992377
SLURM_JOB_ID= 7542660
Free space on /tmp= 889948 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443970-1721317559/watcher-4443970-1721317559 -o /tmp/evaluation-result-4443970-1721317559/solver-4443970-1721317559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721317352-992377 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4443970-1721317559.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1079502006
nodeC017.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.962
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.46
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 : 3689.810
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.99
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 : 3638.715
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.866
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.99
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 : 3670.334
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.46
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 : 3689.834
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.99
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.747
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126145868 kB
MemAvailable: 128161296 kB
Buffers: 521736 kB
Cached: 2318588 kB
SwapCached: 0 kB
Active: 1303540 kB
Inactive: 3436296 kB
Active(anon): 1544 kB
Inactive(anon): 1935696 kB
Active(file): 1301996 kB
Inactive(file): 1500600 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48240 kB
Writeback: 0 kB
AnonPages: 1899492 kB
Mapped: 114776 kB
Shmem: 37720 kB
KReclaimable: 104956 kB
Slab: 217520 kB
SReclaimable: 104956 kB
SUnreclaim: 112564 kB
KernelStack: 4144 kB
PageTables: 13164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2330328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 913408 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: 279252 kB
DirectMap2M: 38291456 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889984 MiB
End job on nodeC017 at 2024-07-18 18:46:24