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 (59615 MiB free)
memory of node 1: 64510 MiB (52973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458261-1721868820/watcher-4458261-1721868820 -o /tmp/evaluation-result-4458261-1721868820/solver-4458261-1721868820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218438 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1578613371 HOME/instance-4458261-1721868820.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=221141, runsolver pid=221138
[startup+0.100406 s]*
/proc/loadavg: 4.16 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115283152/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=33816 memory=11664 CPUtime=0.09 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 2344 0 0 0 9 0 0 0 20 0 1 0 23405587 34627584 2916 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 8454 2916 1060 1005 0 7217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33816 KiB
Current children cumulated memory: 11664 KiB
[startup+0.205466 s]*
/proc/loadavg: 4.16 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115282544/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=33816 memory=12432 CPUtime=0.19 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 2435 0 0 0 19 0 0 0 20 0 1 0 23405587 34627584 3108 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 8454 3108 1124 1005 0 7217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33816 KiB
Current children cumulated memory: 12432 KiB
[startup+0.305538 s]*
/proc/loadavg: 4.16 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115280300/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=33816 memory=14480 CPUtime=0.29 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 2468 0 0 0 29 0 0 0 20 0 1 0 23405587 34627584 3620 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 8454 3620 1124 1005 0 7217 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33816 KiB
Current children cumulated memory: 14480 KiB
[startup+0.700227 s]
/proc/loadavg: 4.16 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115279832/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=34348 memory=15004 CPUtime=0.68 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 2578 0 0 0 68 0 0 0 20 0 1 0 23405587 35172352 3751 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 8587 3751 1124 1005 0 7350 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34348 KiB
Current children cumulated memory: 15004 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115277000/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=35752 memory=18420 CPUtime=1.48 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 2913 0 0 0 147 1 0 0 20 0 1 0 23405587 36610048 4605 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 8938 4605 1140 1005 0 7701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35752 KiB
Current children cumulated memory: 18420 KiB
[startup+3.10554 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115272916/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=37268 memory=21764 CPUtime=3.08 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 3275 0 0 0 306 2 0 0 20 0 1 0 23405587 38162432 5441 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 9317 5441 1140 1005 0 8080 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 21764 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 221144
/proc/meminfo: memFree=115266148/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=39680 memory=28444 CPUtime=6.27 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 3896 0 0 0 623 4 0 0 20 0 1 0 23405587 40632320 7111 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 9920 7111 1140 1005 0 8683 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39680 KiB
Current children cumulated memory: 28444 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.06 5/257 221144
/proc/meminfo: memFree=115264748/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=41764 memory=30504 CPUtime=12.65 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 4429 0 0 0 1256 9 0 0 20 0 1 0 23405587 42766336 7626 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 10441 7626 1140 1005 0 9204 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 30504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 221148
/proc/meminfo: memFree=115251320/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=58988 memory=42684 CPUtime=25.4 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 5652 0 0 0 2526 14 0 0 20 0 1 0 23405587 60403712 10671 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 14747 10671 1140 1005 0 13510 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 58988 KiB
Current children cumulated memory: 42684 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.06 5/257 221151
/proc/meminfo: memFree=115242480/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=65476 memory=51228 CPUtime=50.93 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 7246 0 0 0 5063 30 0 0 20 0 1 0 23405587 67047424 12807 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 16369 12807 1198 1005 0 15132 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 65476 KiB
Current children cumulated memory: 51228 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 221545
/proc/meminfo: memFree=115326516/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=77516 memory=63264 CPUtime=101.97 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 10291 0 0 0 10135 62 0 0 20 0 1 0 23405587 79376384 15816 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 19379 15816 1198 1005 0 18142 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 63264 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.18 4.09 5/256 221601
/proc/meminfo: memFree=115434100/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=83480 memory=75132 CPUtime=161.77 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 11788 0 0 0 16073 104 0 0 20 0 1 0 23405587 85483520 18783 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 20870 18783 1198 1005 0 19633 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 83480 KiB
Current children cumulated memory: 75132 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.19 4.09 5/255 221612
/proc/meminfo: memFree=115401184/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=86636 memory=80552 CPUtime=221.58 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 12621 0 0 0 22012 146 0 0 20 0 1 0 23405587 88715264 20138 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 21659 20138 1198 1005 0 20422 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 80552 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/257 221838
/proc/meminfo: memFree=115528600/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=89668 memory=83964 CPUtime=281.39 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 13468 0 0 0 27954 185 0 0 20 0 1 0 23405587 91820032 20991 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 22417 20991 1198 1005 0 21180 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 89668 KiB
Current children cumulated memory: 83964 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/257 221849
/proc/meminfo: memFree=115494616/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=90512 memory=84692 CPUtime=341.2 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 13689 0 0 0 33899 221 0 0 20 0 1 0 23405587 92684288 21173 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 22628 21173 1198 1005 0 21391 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 84692 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.22 4.12 5/259 221863
/proc/meminfo: memFree=115484004/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=116920 memory=92104 CPUtime=400.97 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 15362 0 0 0 39833 264 0 0 20 0 1 0 23405587 119726080 23026 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 29230 23026 1198 1005 0 27993 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 116920 KiB
Current children cumulated memory: 92104 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.20 4.11 5/260 221886
/proc/meminfo: memFree=115448980/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=122160 memory=99352 CPUtime=460.76 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 16690 0 0 0 45779 297 0 0 20 0 1 0 23405587 125091840 24838 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 30540 24838 1198 1005 0 29303 0
################
# More data... #
################
Current children cumulated memory: 156140 KiB
[startup+2922.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/259 223086
/proc/meminfo: memFree=115297200/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=167036 memory=156600 CPUtime=2912.43 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 29605 0 0 0 289590 1653 0 0 20 0 1 0 23405587 171044864 39150 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 41759 39150 1198 1005 0 40522 0
Current children cumulated CPU time: 2912.43 s
Current children cumulated vsize: 167036 KiB
Current children cumulated memory: 156600 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/259 223097
/proc/meminfo: memFree=115294628/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=167992 memory=157704 CPUtime=2972.25 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 29921 0 0 0 295536 1689 0 0 20 0 1 0 23405587 172023808 39426 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 41998 39426 1198 1005 0 40761 0
Current children cumulated CPU time: 2972.25 s
Current children cumulated vsize: 167992 KiB
Current children cumulated memory: 157704 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 223107
/proc/meminfo: memFree=115293008/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=168200 memory=157852 CPUtime=3032.06 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30023 0 0 0 301486 1720 0 0 20 0 1 0 23405587 172236800 39463 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42050 39463 1198 1005 0 40813 0
Current children cumulated CPU time: 3032.06 s
Current children cumulated vsize: 168200 KiB
Current children cumulated memory: 157852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 223118
/proc/meminfo: memFree=115287932/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=168940 memory=160640 CPUtime=3091.87 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30307 0 0 0 307441 1746 0 0 20 0 1 0 23405587 172994560 40160 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42235 40160 1198 1005 0 40998 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 168940 KiB
Current children cumulated memory: 160640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 223129
/proc/meminfo: memFree=115283820/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=169072 memory=160848 CPUtime=3151.67 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30398 0 0 0 313377 1790 0 0 20 0 1 0 23405587 173129728 40212 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42268 40212 1198 1005 0 41031 0
Current children cumulated CPU time: 3151.67 s
Current children cumulated vsize: 169072 KiB
Current children cumulated memory: 160848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 223139
/proc/meminfo: memFree=115282672/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=169072 memory=160860 CPUtime=3211.48 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30473 0 0 0 319330 1818 0 0 20 0 1 0 23405587 173129728 40215 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42268 40215 1198 1005 0 41031 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 169072 KiB
Current children cumulated memory: 160860 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 223152
/proc/meminfo: memFree=115278152/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=169236 memory=161040 CPUtime=3271.28 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30583 0 0 0 325275 1853 0 0 20 0 1 0 23405587 173297664 40260 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42309 40260 1198 1005 0 41072 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 169236 KiB
Current children cumulated memory: 161040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 223163
/proc/meminfo: memFree=115256860/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=169236 memory=161040 CPUtime=3331.09 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 30642 0 0 0 331212 1897 0 0 20 0 1 0 23405587 173297664 40260 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 42309 40260 1198 1005 0 41072 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 169236 KiB
Current children cumulated memory: 161040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 223179
/proc/meminfo: memFree=115249568/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=175756 memory=167208 CPUtime=3390.89 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 31763 0 0 0 337189 1900 0 0 20 0 1 0 23405587 179974144 41802 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 43939 41802 1198 1005 0 42702 0
Current children cumulated CPU time: 3390.89 s
Current children cumulated vsize: 175756 KiB
Current children cumulated memory: 167208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 223206
/proc/meminfo: memFree=115246360/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=177416 memory=169560 CPUtime=3450.69 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 32409 0 0 0 343119 1950 0 0 20 0 1 0 23405587 181673984 42390 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 44354 42390 1198 1005 0 43117 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 177416 KiB
Current children cumulated memory: 169560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 223217
/proc/meminfo: memFree=115243424/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=177416 memory=169560 CPUtime=3510.49 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 32487 0 0 0 349085 1964 0 0 20 0 1 0 23405587 181673984 42390 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 44354 42390 1198 1005 0 43117 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 177416 KiB
Current children cumulated memory: 169560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 223227
/proc/meminfo: memFree=115241544/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=177416 memory=169584 CPUtime=3570.3 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 32555 0 0 0 355025 2005 0 0 20 0 1 0 23405587 181673984 42396 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 44354 42396 1198 1005 0 43117 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 177416 KiB
Current children cumulated memory: 169584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 223233
/proc/meminfo: memFree=115240648/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=177416 memory=169584 CPUtime=3600.01 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 32559 0 0 0 357978 2023 0 0 20 0 1 0 23405587 181673984 42396 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 44354 42396 1198 1005 0 43117 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 177416 KiB
Current children cumulated memory: 169584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.11 s]
# the end of solver process 221141 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3579.79 s, system=20.2321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 223233
/proc/meminfo: memFree=115240648/131524600 swapFree=131056796/131071996
[pid=221141] ppid=221138 vsize=177416 memory=169584 CPUtime=3600.01 cores=0,2
/proc/221141/stat : 221141 (Exact) R 221138 221141 218428 0 -1 4194304 32559 0 0 0 357978 2023 0 0 20 0 1 0 23405587 181673984 42396 134679101440 4194304 8309489 140727603007216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19947520 140727603008446 140727603008616 140727603008616 140727603015631 0
/proc/221141/statm: 44354 42396 1198 1005 0 43117 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 177416 KiB
Current children cumulated memory: 169584 KiB
Child status: 10
Real time (s): 3612.11
CPU time (s): 3600.02
CPU user time (s): 3579.79
CPU system time (s): 20.2321
CPU usage (%): 99.6654
Max. virtual memory (cumulated for all children) (KiB): 177416
Max. memory (cumulated for all children) (KiB): 169584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.79
system time used= 20.2321
maximum resident set size= 169584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32559
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= 41
involuntary context switches= 24669
# summary of solver processes directly reported to runsolver:
# pid: 221141
# total CPU time (s): 3600.02
# total CPU user time (s): 3579.79
# total CPU system time (s): 20.2321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74858 second user time and 17.4005 second system time
The end
Begin job on nodeC032 at 2024-07-25 02:53:40
IDJOB=4458261
IDBENCH=177189
IDSOLVER=3060
FILE ID=nodeC032/4458261-1721868820
RUNJOBID= nodeC032-1721865115-218438
SLURM_JOB_ID= 8089190
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458261-1721868820/watcher-4458261-1721868820 -o /tmp/evaluation-result-4458261-1721868820/solver-4458261-1721868820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218438 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1578613371 HOME/instance-4458261-1721868820.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=1578613371
nodeC032.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 : 3655.282
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.31
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 : 3684.516
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.79
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 : 3654.965
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.31
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.937
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.79
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 : 3669.672
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.31
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 : 3684.539
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.79
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 : 3605.648
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.31
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.795
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115291332 kB
MemAvailable: 129196264 kB
Buffers: 272436 kB
Cached: 14420620 kB
SwapCached: 140 kB
Active: 2578384 kB
Inactive: 12973752 kB
Active(anon): 2184 kB
Inactive(anon): 909928 kB
Active(file): 2576200 kB
Inactive(file): 12063824 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 6060 kB
Writeback: 0 kB
AnonPages: 858968 kB
Mapped: 129244 kB
Shmem: 53052 kB
KReclaimable: 209108 kB
Slab: 327760 kB
SReclaimable: 209108 kB
SUnreclaim: 118652 kB
KernelStack: 4144 kB
PageTables: 11160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1520332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 710656 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: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC032 at 2024-07-25 03:53:52