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 (61795 MiB free)
memory of node 1: 64473 MiB (61096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458223-1721870640/watcher-4458223-1721870640 -o /tmp/evaluation-result-4458223-1721870640/solver-4458223-1721870640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210077 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=528744268 HOME/instance-4458223-1721870640.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=213646, runsolver pid=213643
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.13 4.11 4.09 5/259 213647
/proc/meminfo: memFree=125836880/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=26508 memory=6836 CPUtime=0.1 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 500 0 0 0 10 0 0 0 20 0 1 0 23593697 27144192 1709 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 6627 1709 851 746 0 5691 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26508 KiB
Current children cumulated memory: 6836 KiB
[startup+0.205287 s]*
/proc/loadavg: 4.13 4.11 4.09 5/259 213647
/proc/meminfo: memFree=125836712/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=26764 memory=7240 CPUtime=0.2 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 551 0 0 0 20 0 0 0 20 0 1 0 23593697 27406336 1810 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 6691 1810 851 746 0 5755 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26764 KiB
Current children cumulated memory: 7240 KiB
[startup+0.305154 s]*
/proc/loadavg: 4.20 4.13 4.10 6/259 213647
/proc/meminfo: memFree=125835900/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=26764 memory=7240 CPUtime=0.3 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 559 0 0 0 30 0 0 0 20 0 1 0 23593697 27406336 1810 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 6691 1810 851 746 0 5755 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26764 KiB
Current children cumulated memory: 7240 KiB
[startup+0.70015 s]
/proc/loadavg: 4.20 4.13 4.10 5/259 213647
/proc/meminfo: memFree=125835752/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=27028 memory=7240 CPUtime=0.69 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 613 0 0 0 69 0 0 0 20 0 1 0 23593697 27676672 1810 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 6757 1810 851 746 0 5821 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27028 KiB
Current children cumulated memory: 7240 KiB
[startup+1.50018 s]
/proc/loadavg: 4.20 4.13 4.10 5/259 213647
/proc/meminfo: memFree=125835220/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=27508 memory=10044 CPUtime=1.49 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 776 0 0 0 149 0 0 0 20 0 1 0 23593697 28168192 2511 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 6877 2511 851 746 0 5941 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27508 KiB
Current children cumulated memory: 10044 KiB
[startup+3.10572 s]
/proc/loadavg: 4.20 4.13 4.10 5/259 213648
/proc/meminfo: memFree=125831984/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=28104 memory=10676 CPUtime=3.09 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 963 0 0 0 309 0 0 0 20 0 1 0 23593697 28778496 2669 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7026 2669 851 746 0 6090 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28104 KiB
Current children cumulated memory: 10676 KiB
[startup+6.30015 s]
/proc/loadavg: 4.19 4.13 4.10 5/259 213648
/proc/meminfo: memFree=125829676/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=28576 memory=13012 CPUtime=6.28 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 1058 0 0 0 628 0 0 0 20 0 1 0 23593697 29261824 3253 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7144 3253 851 746 0 6208 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 28576 KiB
Current children cumulated memory: 13012 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.10 5/259 213649
/proc/meminfo: memFree=125828556/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=29020 memory=13560 CPUtime=12.66 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 1335 0 0 0 1266 0 0 0 20 0 1 0 23593697 29716480 3390 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7255 3390 851 746 0 6319 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29020 KiB
Current children cumulated memory: 13560 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 213651
/proc/meminfo: memFree=125828164/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=29340 memory=13892 CPUtime=25.43 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 1597 0 0 0 2543 0 0 0 20 0 1 0 23593697 30044160 3473 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7335 3473 851 746 0 6399 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 13892 KiB
[startup+51.1057 s]
/proc/loadavg: 4.20 4.14 4.10 5/259 213655
/proc/meminfo: memFree=125826788/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=29732 memory=14264 CPUtime=50.97 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 1986 0 0 0 5097 0 0 0 20 0 1 0 23593697 30445568 3566 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7433 3566 851 746 0 6497 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 29732 KiB
Current children cumulated memory: 14264 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 214047
/proc/meminfo: memFree=125824448/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=30124 memory=14664 CPUtime=102.04 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 2751 0 0 0 10204 0 0 0 20 0 1 0 23593697 30846976 3666 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7531 3666 851 746 0 6595 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 30124 KiB
Current children cumulated memory: 14664 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 214057
/proc/meminfo: memFree=125822652/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=30640 memory=14900 CPUtime=161.89 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 3672 0 0 0 16188 1 0 0 20 0 1 0 23593697 31375360 3725 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7660 3725 851 746 0 6724 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 30640 KiB
Current children cumulated memory: 14900 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 214068
/proc/meminfo: memFree=125817744/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=30768 memory=15312 CPUtime=221.74 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 4656 0 0 0 22173 1 0 0 20 0 1 0 23593697 31506432 3828 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7692 3828 851 746 0 6756 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 30768 KiB
Current children cumulated memory: 15312 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 214247
/proc/meminfo: memFree=125816200/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=30964 memory=15608 CPUtime=281.59 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 6040 0 0 0 28158 1 0 0 20 0 1 0 23593697 31707136 3902 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7741 3902 851 746 0 6805 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 30964 KiB
Current children cumulated memory: 15608 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 214258
/proc/meminfo: memFree=125815092/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=31208 memory=15852 CPUtime=341.46 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 7326 0 0 0 34144 2 0 0 20 0 1 0 23593697 31956992 3963 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7802 3963 851 746 0 6866 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 31208 KiB
Current children cumulated memory: 15852 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 214327
/proc/meminfo: memFree=125814148/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=31268 memory=15912 CPUtime=401.3 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 8578 0 0 0 40128 2 0 0 20 0 1 0 23593697 32018432 3978 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7817 3978 851 746 0 6881 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 31268 KiB
Current children cumulated memory: 15912 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/260 214340
/proc/meminfo: memFree=125811172/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=31768 memory=16100 CPUtime=461.17 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 10007 0 0 0 46114 3 0 0 20 0 1 0 23593697 32530432 4025 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 7942 4025 851 746 0 7006 0
################
# More data... #
################
Current children cumulated memory: 21000 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/258 215511
/proc/meminfo: memFree=125846368/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34324 memory=21016 CPUtime=2914.32 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 56942 0 0 0 291422 10 0 0 20 0 1 0 23593697 35147776 5254 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8581 5254 851 746 0 7645 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 34324 KiB
Current children cumulated memory: 21016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 215521
/proc/meminfo: memFree=125821968/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34356 memory=21048 CPUtime=2974.17 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 58068 0 0 0 297407 10 0 0 20 0 1 0 23593697 35180544 5262 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8589 5262 851 746 0 7653 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 34356 KiB
Current children cumulated memory: 21048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 215532
/proc/meminfo: memFree=125813444/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34356 memory=21048 CPUtime=3034.02 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 59076 0 0 0 303392 10 0 0 20 0 1 0 23593697 35180544 5262 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8589 5262 851 746 0 7653 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 34356 KiB
Current children cumulated memory: 21048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 215543
/proc/meminfo: memFree=125804156/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34420 memory=21112 CPUtime=3093.88 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 60203 0 0 0 309378 10 0 0 20 0 1 0 23593697 35246080 5278 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8605 5278 851 746 0 7669 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 34420 KiB
Current children cumulated memory: 21112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 215553
/proc/meminfo: memFree=125802084/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34420 memory=21112 CPUtime=3153.73 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 61212 0 0 0 315363 10 0 0 20 0 1 0 23593697 35246080 5278 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8605 5278 851 746 0 7669 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 34420 KiB
Current children cumulated memory: 21112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 215564
/proc/meminfo: memFree=125799808/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34420 memory=21112 CPUtime=3213.58 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 62320 0 0 0 321348 10 0 0 20 0 1 0 23593697 35246080 5278 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8605 5278 851 746 0 7669 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 34420 KiB
Current children cumulated memory: 21112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 215574
/proc/meminfo: memFree=125758756/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34452 memory=21144 CPUtime=3273.43 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 63351 0 0 0 327333 10 0 0 20 0 1 0 23593697 35278848 5286 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8613 5286 851 746 0 7677 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 34452 KiB
Current children cumulated memory: 21144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 215584
/proc/meminfo: memFree=125751940/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34468 memory=21160 CPUtime=3333.29 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 64485 0 0 0 333318 11 0 0 20 0 1 0 23593697 35295232 5290 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8617 5290 851 746 0 7681 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 34468 KiB
Current children cumulated memory: 21160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 215599
/proc/meminfo: memFree=125745860/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34564 memory=21256 CPUtime=3393.14 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 65633 0 0 0 339303 11 0 0 20 0 1 0 23593697 35393536 5314 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8641 5314 851 746 0 7705 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 34564 KiB
Current children cumulated memory: 21256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 215612
/proc/meminfo: memFree=125744532/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34612 memory=21304 CPUtime=3453 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 66669 0 0 0 345289 11 0 0 20 0 1 0 23593697 35442688 5326 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8653 5326 851 746 0 7717 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 34612 KiB
Current children cumulated memory: 21304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 215622
/proc/meminfo: memFree=125742016/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34644 memory=21336 CPUtime=3512.85 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 67705 0 0 0 351274 11 0 0 20 0 1 0 23593697 35475456 5334 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8661 5334 851 746 0 7725 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 34644 KiB
Current children cumulated memory: 21336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 215633
/proc/meminfo: memFree=125736944/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34644 memory=21336 CPUtime=3572.71 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 68835 0 0 0 357259 12 0 0 20 0 1 0 23593697 35475456 5334 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8661 5334 851 746 0 7725 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 34644 KiB
Current children cumulated memory: 21336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 215638
/proc/meminfo: memFree=125736268/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34644 memory=21336 CPUtime=3600.04 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 69345 0 0 0 359992 12 0 0 20 0 1 0 23593697 35475456 5334 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8661 5334 851 746 0 7725 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 34644 KiB
Current children cumulated memory: 21336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 213646 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.92 s, system=0.125678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 215638
/proc/meminfo: memFree=125736268/131524600 swapFree=131055836/131071996
[pid=213646] ppid=213643 vsize=34644 memory=21336 CPUtime=3600.04 cores=5,7
/proc/213646/stat : 213646 (Exact_nosoplex) R 213643 213646 210064 0 -1 4194304 69345 0 0 0 359992 12 0 0 20 0 1 0 23593697 35475456 5334 134679101440 4194304 7248369 140732730557824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39280640 140732730565549 140732730565727 140732730565727 140732730572742 0
/proc/213646/statm: 8661 5334 851 746 0 7725 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 34644 KiB
Current children cumulated memory: 21336 KiB
Child status: 10
Real time (s): 3609.7
CPU time (s): 3600.05
CPU user time (s): 3599.92
CPU system time (s): 0.125678
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 35084
Max. memory (cumulated for all children) (KiB): 21484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.92
system time used= 0.125678
maximum resident set size= 21596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69346
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= 6
involuntary context switches= 2322
# summary of solver processes directly reported to runsolver:
# pid: 213646
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.92
# total CPU system time (s): 0.125678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53621 second user time and 15.834 second system time
The end
Begin job on nodeC033 at 2024-07-25 03:24:00
IDJOB=4458223
IDBENCH=177184
IDSOLVER=3061
FILE ID=nodeC033/4458223-1721870640
RUNJOBID= nodeC033-1721865115-210077
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_10.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-4458223-1721870640/watcher-4458223-1721870640 -o /tmp/evaluation-result-4458223-1721870640/solver-4458223-1721870640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210077 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=528744268 HOME/instance-4458223-1721870640.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=528744268
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 : 3662.831
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 : 3669.488
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.331
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.380
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 : 3662.892
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 : 3654.276
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.223
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 : 3662.490
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: 125840876 kB
MemAvailable: 129472032 kB
Buffers: 282948 kB
Cached: 4146040 kB
SwapCached: 300 kB
Active: 2424204 kB
Inactive: 2599772 kB
Active(anon): 2256 kB
Inactive(anon): 645808 kB
Active(file): 2421948 kB
Inactive(file): 1953964 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 4952 kB
Writeback: 0 kB
AnonPages: 593532 kB
Mapped: 118696 kB
Shmem: 53064 kB
KReclaimable: 190132 kB
Slab: 305968 kB
SReclaimable: 190132 kB
SUnreclaim: 115836 kB
KernelStack: 4176 kB
PageTables: 10220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1005464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 444416 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:24:10