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 (61763 MiB free)
memory of node 1: 64473 MiB (61132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458262-1721872335/watcher-4458262-1721872335 -o /tmp/evaluation-result-4458262-1721872335/solver-4458262-1721872335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210076 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=175421340 HOME/instance-4458262-1721872335.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=214629, runsolver pid=214626
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.09 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125839876/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=28532 memory=8908 CPUtime=0.1 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 995 0 0 0 10 0 0 0 20 0 1 0 23763240 29216768 2227 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 7133 2227 851 746 0 6197 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28532 KiB
Current children cumulated memory: 8908 KiB
[startup+0.205331 s]*
/proc/loadavg: 4.08 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125839876/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=28532 memory=8908 CPUtime=0.2 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 1026 0 0 0 20 0 0 0 20 0 1 0 23763240 29216768 2227 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 7133 2227 851 746 0 6197 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28532 KiB
Current children cumulated memory: 8908 KiB
[startup+0.304729 s]*
/proc/loadavg: 4.08 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125839540/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=28664 memory=9172 CPUtime=0.3 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 1060 0 0 0 30 0 0 0 20 0 1 0 23763240 29351936 2293 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 7166 2293 851 746 0 6230 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 9172 KiB
[startup+0.700153 s]
/proc/loadavg: 4.08 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125836428/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=29668 memory=12056 CPUtime=0.69 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 1307 0 0 0 69 0 0 0 20 0 1 0 23763240 30380032 3014 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 7417 3014 851 746 0 6481 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29668 KiB
Current children cumulated memory: 12056 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125835392/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=31260 memory=13640 CPUtime=1.49 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 1694 0 0 0 149 0 0 0 20 0 1 0 23763240 32010240 3410 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 7815 3410 851 746 0 6879 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31260 KiB
Current children cumulated memory: 13640 KiB
[startup+3.1056 s]
/proc/loadavg: 4.08 4.14 4.11 5/256 214630
/proc/meminfo: memFree=125829392/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=32584 memory=19036 CPUtime=3.09 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 2019 0 0 0 309 0 0 0 20 0 1 0 23763240 33366016 4759 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 8146 4759 851 746 0 7210 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 19036 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.16 4.11 5/256 214632
/proc/meminfo: memFree=125828384/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=33124 memory=19732 CPUtime=6.27 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 2208 0 0 0 627 0 0 0 20 0 1 0 23763240 33918976 4933 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 8281 4933 851 746 0 7345 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33124 KiB
Current children cumulated memory: 19732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 214678
/proc/meminfo: memFree=125945988/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=35176 memory=23752 CPUtime=12.66 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 2742 0 0 0 1266 0 0 0 20 0 1 0 23763240 36020224 5938 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 8794 5938 851 746 0 7858 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 35176 KiB
Current children cumulated memory: 23752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.11 5/256 214681
/proc/meminfo: memFree=125927208/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=36648 memory=29412 CPUtime=25.42 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 3688 0 0 0 2542 0 0 0 20 0 1 0 23763240 37527552 7353 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 9162 7353 851 746 0 8226 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 36648 KiB
Current children cumulated memory: 29412 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 214684
/proc/meminfo: memFree=125920704/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=39044 memory=31312 CPUtime=50.96 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 4956 0 0 0 5096 0 0 0 20 0 1 0 23763240 39981056 7828 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 9761 7828 851 746 0 8825 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 31312 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/256 214692
/proc/meminfo: memFree=125907036/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=42756 memory=37032 CPUtime=102.03 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 7255 0 0 0 10202 1 0 0 20 0 1 0 23763240 43782144 9258 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 10689 9258 851 746 0 9753 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 42756 KiB
Current children cumulated memory: 37032 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 214703
/proc/meminfo: memFree=125899176/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=56960 memory=40572 CPUtime=161.88 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 8777 0 0 0 16186 2 0 0 20 0 1 0 23763240 58327040 10143 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 14240 10143 851 746 0 13304 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 56960 KiB
Current children cumulated memory: 40572 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 215097
/proc/meminfo: memFree=125891396/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=58744 memory=42028 CPUtime=221.73 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 9193 0 0 0 22171 2 0 0 20 0 1 0 23763240 60153856 10507 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 14686 10507 851 746 0 13750 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 58744 KiB
Current children cumulated memory: 42028 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 215107
/proc/meminfo: memFree=125880980/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=63096 memory=45660 CPUtime=281.58 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 10099 0 0 0 28156 2 0 0 20 0 1 0 23763240 64610304 11415 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 15774 11415 851 746 0 14838 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 63096 KiB
Current children cumulated memory: 45660 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 215118
/proc/meminfo: memFree=125876552/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=64200 memory=46716 CPUtime=341.44 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 10359 0 0 0 34142 2 0 0 20 0 1 0 23763240 65740800 11679 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 16050 11679 851 746 0 15114 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 64200 KiB
Current children cumulated memory: 46716 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 215297
/proc/meminfo: memFree=125872184/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=64780 memory=49224 CPUtime=401.3 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 10532 0 0 0 40127 3 0 0 20 0 1 0 23763240 66334720 12306 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 16195 12306 851 746 0 15259 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 64780 KiB
Current children cumulated memory: 49224 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 215308
/proc/meminfo: memFree=125864500/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=65412 memory=55452 CPUtime=461.15 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 10709 0 0 0 46112 3 0 0 20 0 1 0 23763240 66981888 13863 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 16353 13863 851 746 0 15417 0
################
# More data... #
################
Current children cumulated memory: 70600 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/254 216506
/proc/meminfo: memFree=125289260/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78468 memory=70600 CPUtime=2854.57 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14665 0 0 0 285454 3 0 0 20 0 1 0 23763240 80351232 17650 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19617 17650 851 746 0 18681 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 78468 KiB
Current children cumulated memory: 70600 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/257 216521
/proc/meminfo: memFree=125283552/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78468 memory=70600 CPUtime=2914.41 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14695 0 0 0 291438 3 0 0 20 0 1 0 23763240 80351232 17650 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19617 17650 851 746 0 18681 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 78468 KiB
Current children cumulated memory: 70600 KiB
[startup+2982.3 s]
/proc/loadavg: 4.51 4.25 4.16 5/257 216533
/proc/meminfo: memFree=125274444/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78468 memory=70600 CPUtime=2974.21 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14727 0 0 0 297418 3 0 0 20 0 1 0 23763240 80351232 17650 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19617 17650 851 746 0 18681 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 78468 KiB
Current children cumulated memory: 70600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.26 4.17 5/257 216544
/proc/meminfo: memFree=125265340/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78612 memory=70600 CPUtime=3034.01 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14757 0 0 0 303398 3 0 0 20 0 1 0 23763240 80498688 17650 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19653 17650 851 746 0 18717 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 78612 KiB
Current children cumulated memory: 70600 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.22 4.16 5/257 216554
/proc/meminfo: memFree=125259668/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78948 memory=70872 CPUtime=3093.81 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14890 0 0 0 309378 3 0 0 20 0 1 0 23763240 80842752 17718 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19737 17718 851 746 0 18801 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 78948 KiB
Current children cumulated memory: 70872 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/257 216564
/proc/meminfo: memFree=125242940/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78948 memory=71016 CPUtime=3153.61 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14914 0 0 0 315358 3 0 0 20 0 1 0 23763240 80842752 17754 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19737 17754 851 746 0 18801 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 78948 KiB
Current children cumulated memory: 71016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/254 216574
/proc/meminfo: memFree=125217604/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=78948 memory=71016 CPUtime=3213.41 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 14953 0 0 0 321338 3 0 0 20 0 1 0 23763240 80842752 17754 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19737 17754 851 746 0 18801 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 78948 KiB
Current children cumulated memory: 71016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/256 216589
/proc/meminfo: memFree=125216000/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=79092 memory=71048 CPUtime=3273.21 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15001 0 0 0 327318 3 0 0 20 0 1 0 23763240 80990208 17762 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19773 17762 851 746 0 18837 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 71048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/256 216599
/proc/meminfo: memFree=125210120/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=79764 memory=71872 CPUtime=3333.03 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15201 0 0 0 333300 3 0 0 20 0 1 0 23763240 81678336 17968 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19941 17968 851 746 0 19005 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 79764 KiB
Current children cumulated memory: 71872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/256 216610
/proc/meminfo: memFree=125207020/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=79988 memory=71948 CPUtime=3392.87 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15275 0 0 0 339284 3 0 0 20 0 1 0 23763240 81907712 17987 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19997 17987 851 746 0 19061 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 79988 KiB
Current children cumulated memory: 71948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/256 216621
/proc/meminfo: memFree=125201284/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=79988 memory=72156 CPUtime=3452.72 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15328 0 0 0 345269 3 0 0 20 0 1 0 23763240 81907712 18039 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 19997 18039 851 746 0 19061 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 79988 KiB
Current children cumulated memory: 72156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/257 216635
/proc/meminfo: memFree=125195896/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=80132 memory=72252 CPUtime=3512.56 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15366 0 0 0 351253 3 0 0 20 0 1 0 23763240 82055168 18063 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 20033 18063 851 746 0 19097 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 80132 KiB
Current children cumulated memory: 72252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/255 216648
/proc/meminfo: memFree=125189924/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=80132 memory=72252 CPUtime=3572.41 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15410 0 0 0 357238 3 0 0 20 0 1 0 23763240 82055168 18063 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 20033 18063 851 746 0 19097 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 80132 KiB
Current children cumulated memory: 72252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.13 4.14 4.14 5/255 216652
/proc/meminfo: memFree=125189044/131524600 swapFree=131055836/131071996
[pid=214629] ppid=214626 vsize=80340 memory=72332 CPUtime=3600.04 cores=1,3
/proc/214629/stat : 214629 (Exact_nosoplex) R 214626 214629 210064 0 -1 4194304 15451 0 0 0 360001 3 0 0 20 0 1 0 23763240 82268160 18083 134679101440 4194304 7248369 140730019271216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 34455552 140730019279789 140730019279967 140730019279967 140730019286982 0
/proc/214629/statm: 20085 18083 851 746 0 19149 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 80340 KiB
Current children cumulated memory: 72332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 214629 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.02 s, system=0.039904 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3600.02
CPU system time (s): 0.039904
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 80340
Max. memory (cumulated for all children) (KiB): 72332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.02
system time used= 0.039904
maximum resident set size= 72332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15453
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= 21
involuntary context switches= 1819
# summary of solver processes directly reported to runsolver:
# pid: 214629
# total CPU time (s): 3600.06
# total CPU user time (s): 3600.02
# total CPU system time (s): 0.039904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59933 second user time and 15.2708 second system time
The end
Begin job on nodeC033 at 2024-07-25 03:52:15
IDJOB=4458262
IDBENCH=177189
IDSOLVER=3061
FILE ID=nodeC033/4458262-1721872335
RUNJOBID= nodeC033-1721865115-210076
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_18.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-4458262-1721872335/watcher-4458262-1721872335 -o /tmp/evaluation-result-4458262-1721872335/solver-4458262-1721872335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210076 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=175421340 HOME/instance-4458262-1721872335.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=175421340
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 : 3665.639
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 : 3655.633
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 : 3600.343
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 : 3656.446
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 : 3665.634
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 : 3673.771
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 : 3600.179
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.605
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: 125846208 kB
MemAvailable: 129499140 kB
Buffers: 284768 kB
Cached: 4166344 kB
SwapCached: 300 kB
Active: 2426016 kB
Inactive: 2593304 kB
Active(anon): 2268 kB
Inactive(anon): 619324 kB
Active(file): 2423748 kB
Inactive(file): 1973980 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 4556 kB
Writeback: 0 kB
AnonPages: 566264 kB
Mapped: 118680 kB
Shmem: 53064 kB
KReclaimable: 190052 kB
Slab: 306028 kB
SReclaimable: 190052 kB
SUnreclaim: 115976 kB
KernelStack: 4208 kB
PageTables: 10216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1229132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 493568 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= 890064 MiB
End job on nodeC033 at 2024-07-25 04:52:26