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 (61891 MiB free)
memory of node 1: 64473 MiB (61111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458301-1721872347/watcher-4458301-1721872347 -o /tmp/evaluation-result-4458301-1721872347/solver-4458301-1721872347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210074 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1888144523 HOME/instance-4458301-1721872347.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=214677, runsolver pid=214674
[startup+0.100581 s]*
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125949604/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=30064 memory=8708 CPUtime=0.1 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 1467 0 0 0 10 0 0 0 20 0 1 0 23764395 30785536 2177 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7516 2177 851 746 0 6580 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30064 KiB
Current children cumulated memory: 8708 KiB
[startup+0.20537 s]*
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125949044/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=30196 memory=9236 CPUtime=0.2 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 1602 0 0 0 20 0 0 0 20 0 1 0 23764395 30920704 2309 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7549 2309 851 746 0 6613 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30196 KiB
Current children cumulated memory: 9236 KiB
[startup+0.304868 s]*
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125946128/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=30396 memory=12144 CPUtime=0.3 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 1816 0 0 0 30 0 0 0 20 0 1 0 23764395 31125504 3036 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7599 3036 851 746 0 6663 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30396 KiB
Current children cumulated memory: 12144 KiB
[startup+0.700163 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125945988/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=30528 memory=12144 CPUtime=0.69 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 1839 0 0 0 69 0 0 0 20 0 1 0 23764395 31260672 3036 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7632 3036 851 746 0 6696 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30528 KiB
Current children cumulated memory: 12144 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125945344/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=30660 memory=12144 CPUtime=1.48 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 1875 0 0 0 148 0 0 0 20 0 1 0 23764395 31395840 3036 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7665 3036 851 746 0 6729 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30660 KiB
Current children cumulated memory: 12144 KiB
[startup+3.10541 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 214679
/proc/meminfo: memFree=125937152/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=31716 memory=17280 CPUtime=3.08 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 2123 0 0 0 308 0 0 0 20 0 1 0 23764395 32477184 4320 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 7929 4320 851 746 0 6993 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31716 KiB
Current children cumulated memory: 17280 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.15 4.11 5/256 214679
/proc/meminfo: memFree=125930992/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=32788 memory=20632 CPUtime=6.27 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 2544 0 0 0 627 0 0 0 20 0 1 0 23764395 33574912 5158 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 8197 5158 851 746 0 7261 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32788 KiB
Current children cumulated memory: 20632 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.11 5/256 214681
/proc/meminfo: memFree=125929872/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=34132 memory=21704 CPUtime=12.64 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 3076 0 0 0 1264 0 0 0 20 0 1 0 23764395 34951168 5426 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 8533 5426 851 746 0 7597 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 21704 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.11 5/256 214682
/proc/meminfo: memFree=125922752/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=35276 memory=27196 CPUtime=25.4 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 3891 0 0 0 2540 0 0 0 20 0 1 0 23764395 36122624 6799 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 8819 6799 851 746 0 7883 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 27196 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 214685
/proc/meminfo: memFree=125914816/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=36400 memory=30372 CPUtime=50.93 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 4913 0 0 0 5092 1 0 0 20 0 1 0 23764395 37273600 7593 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 9100 7593 851 746 0 8164 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 36400 KiB
Current children cumulated memory: 30372 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/256 214695
/proc/meminfo: memFree=125905164/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=52328 memory=35972 CPUtime=101.96 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 6372 0 0 0 10194 2 0 0 20 0 1 0 23764395 53583872 8993 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 13082 8993 851 746 0 12146 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 52328 KiB
Current children cumulated memory: 35972 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/258 215090
/proc/meminfo: memFree=125897936/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=53200 memory=38432 CPUtime=161.77 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 6627 0 0 0 16175 2 0 0 20 0 1 0 23764395 54476800 9608 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 13300 9608 851 746 0 12364 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 53200 KiB
Current children cumulated memory: 38432 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 215100
/proc/meminfo: memFree=125888360/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=53808 memory=40912 CPUtime=221.58 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 6793 0 0 0 22156 2 0 0 20 0 1 0 23764395 55099392 10228 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 13452 10228 851 746 0 12516 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 53808 KiB
Current children cumulated memory: 40912 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 215110
/proc/meminfo: memFree=125880284/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=60236 memory=46984 CPUtime=281.39 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 8287 0 0 0 28137 2 0 0 20 0 1 0 23764395 61681664 11746 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 15059 11746 851 746 0 14123 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 60236 KiB
Current children cumulated memory: 46984 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 215290
/proc/meminfo: memFree=125875432/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=60720 memory=49492 CPUtime=341.19 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 8425 0 0 0 34117 2 0 0 20 0 1 0 23764395 62177280 12373 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 15180 12373 851 746 0 14244 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 60720 KiB
Current children cumulated memory: 49492 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 215300
/proc/meminfo: memFree=125867044/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=60720 memory=49628 CPUtime=401 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 8478 0 0 0 40098 2 0 0 20 0 1 0 23764395 62177280 12407 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 15180 12407 851 746 0 14244 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 60720 KiB
Current children cumulated memory: 49628 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 215315
/proc/meminfo: memFree=125863996/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=61800 memory=50644 CPUtime=460.81 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 8757 0 0 0 46078 3 0 0 20 0 1 0 23764395 63283200 12661 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 15450 12661 851 746 0 14514 0
################
# More data... #
################
Current children cumulated memory: 70412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/257 216514
/proc/meminfo: memFree=125286596/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=75148 memory=70460 CPUtime=2852.92 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 12832 0 0 0 285279 13 0 0 20 0 1 0 23764395 76951552 17615 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 18787 17615 851 746 0 17851 0
Current children cumulated CPU time: 2852.92 s
Current children cumulated vsize: 75148 KiB
Current children cumulated memory: 70460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/257 216525
/proc/meminfo: memFree=125280532/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=75324 memory=70460 CPUtime=2912.73 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 12890 0 0 0 291260 13 0 0 20 0 1 0 23764395 77131776 17615 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 18831 17615 851 746 0 17895 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 75324 KiB
Current children cumulated memory: 70460 KiB
[startup+2982.3 s]
/proc/loadavg: 4.67 4.29 4.17 5/257 216536
/proc/meminfo: memFree=125270904/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=75324 memory=70588 CPUtime=2972.55 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 12925 0 0 0 297241 14 0 0 20 0 1 0 23764395 77131776 17647 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 18831 17647 851 746 0 17895 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 75324 KiB
Current children cumulated memory: 70588 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.25 4.16 5/257 216547
/proc/meminfo: memFree=125262896/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73128 CPUtime=3032.35 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13474 0 0 0 303220 15 0 0 20 0 1 0 23764395 100626432 18282 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18282 851 746 0 23631 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.23 4.16 5/257 216557
/proc/meminfo: memFree=125257340/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73128 CPUtime=3092.16 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13506 0 0 0 309200 16 0 0 20 0 1 0 23764395 100626432 18282 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18282 851 746 0 23631 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73128 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/257 216567
/proc/meminfo: memFree=125233544/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73152 CPUtime=3151.97 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13528 0 0 0 315181 16 0 0 20 0 1 0 23764395 100626432 18288 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18288 851 746 0 23631 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/256 216582
/proc/meminfo: memFree=125216452/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73152 CPUtime=3211.77 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13574 0 0 0 321160 17 0 0 20 0 1 0 23764395 100626432 18288 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18288 851 746 0 23631 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/256 216592
/proc/meminfo: memFree=125214752/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73216 CPUtime=3271.58 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13606 0 0 0 327141 17 0 0 20 0 1 0 23764395 100626432 18304 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18304 851 746 0 23631 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/256 216602
/proc/meminfo: memFree=125209544/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73216 CPUtime=3331.39 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13644 0 0 0 333122 17 0 0 20 0 1 0 23764395 100626432 18304 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18304 851 746 0 23631 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/256 216613
/proc/meminfo: memFree=125206492/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98268 memory=73248 CPUtime=3391.2 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13672 0 0 0 339102 18 0 0 20 0 1 0 23764395 100626432 18312 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24567 18312 851 746 0 23631 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 73248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/257 216627
/proc/meminfo: memFree=125197680/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98412 memory=73400 CPUtime=3451.01 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13733 0 0 0 345083 18 0 0 20 0 1 0 23764395 100773888 18350 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24603 18350 851 746 0 23667 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 98412 KiB
Current children cumulated memory: 73400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/257 216639
/proc/meminfo: memFree=125195052/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=98544 memory=73448 CPUtime=3510.82 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 13780 0 0 0 351064 18 0 0 20 0 1 0 23764395 100909056 18362 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 24636 18362 851 746 0 23700 0
Current children cumulated CPU time: 3510.82 s
Current children cumulated vsize: 98544 KiB
Current children cumulated memory: 73448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/255 216651
/proc/meminfo: memFree=125189468/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=100764 memory=75160 CPUtime=3570.64 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 14255 0 0 0 357045 19 0 0 20 0 1 0 23764395 103182336 18790 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 25191 18790 851 746 0 24255 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 100764 KiB
Current children cumulated memory: 75160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 3.95 4.10 4.12 4/248 216685
/proc/meminfo: memFree=125264404/131524600 swapFree=131055836/131071996
[pid=214677] ppid=214674 vsize=100764 memory=75160 CPUtime=3600.04 cores=0,2
/proc/214677/stat : 214677 (Exact_nosoplex) R 214674 214677 210064 0 -1 4194304 14263 0 0 0 359985 19 0 0 20 0 1 0 23764395 103182336 18790 134679101440 4194304 7248369 140731861368320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 23293952 140731861369772 140731861369951 140731861369951 140731861376966 0
/proc/214677/statm: 25191 18790 851 746 0 24255 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 100764 KiB
Current children cumulated memory: 75160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 214677 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.86 s, system=0.192186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.8
CPU time (s): 3600.05
CPU user time (s): 3599.86
CPU system time (s): 0.192186
CPU usage (%): 99.6745
Max. virtual memory (cumulated for all children) (KiB): 100764
Max. memory (cumulated for all children) (KiB): 75160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.192186
maximum resident set size= 100964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14265
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= 19
involuntary context switches= 25201
# summary of solver processes directly reported to runsolver:
# pid: 214677
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.86
# total CPU system time (s): 0.192186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24144 second user time and 16.6236 second system time
The end
Begin job on nodeC033 at 2024-07-25 03:52:27
IDJOB=4458301
IDBENCH=177198
IDSOLVER=3061
FILE ID=nodeC033/4458301-1721872347
RUNJOBID= nodeC033-1721865115-210074
SLURM_JOB_ID= 8089192
Free space on /tmp= 890068 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458301-1721872347/watcher-4458301-1721872347 -o /tmp/evaluation-result-4458301-1721872347/solver-4458301-1721872347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210074 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1888144523 HOME/instance-4458301-1721872347.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=1888144523
nodeC033.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 : 3651.009
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.99
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 : 3682.446
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.76
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.259
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.99
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.453
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.76
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.849
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.99
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 : 3682.492
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.76
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 : 3606.105
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.99
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.258
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.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125955464 kB
MemAvailable: 129608348 kB
Buffers: 284808 kB
Cached: 4165964 kB
SwapCached: 300 kB
Active: 2425760 kB
Inactive: 2483812 kB
Active(anon): 2244 kB
Inactive(anon): 509640 kB
Active(file): 2423516 kB
Inactive(file): 1974172 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 4752 kB
Writeback: 0 kB
AnonPages: 456596 kB
Mapped: 118564 kB
Shmem: 53064 kB
KReclaimable: 190036 kB
Slab: 305884 kB
SReclaimable: 190036 kB
SUnreclaim: 115848 kB
KernelStack: 4144 kB
PageTables: 9980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1080596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 313344 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-25 04:52:39