420.83/421.99 s SATISFIABLE
420.83/421.99 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60484 MiB free)
memory of node 1: 64510 MiB (60234 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445147-1721317982/watcher-4445147-1721317982 -o /tmp/evaluation-result-4445147-1721317982/solver-4445147-1721317982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721317550-983921 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1539647551 HOME/instance-4445147-1721317982.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
Current StackSize limit: 8192 KiB
solver pid=985666, runsolver pid=985663
[startup+0.100806 s]*
/proc/loadavg: 4.14 3.65 3.07 5/257 985667
/proc/meminfo: memFree=123614504/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=26024 memory=4752 CPUtime=0.1 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 480 0 0 0 10 0 0 0 20 0 1 0 183967906 26648576 1188 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 6506 1188 851 746 0 5570 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26024 KiB
Current children cumulated memory: 4752 KiB
[startup+0.205417 s]*
/proc/loadavg: 4.14 3.65 3.07 5/257 985667
/proc/meminfo: memFree=123613240/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=26452 memory=5544 CPUtime=0.2 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 689 0 0 0 20 0 0 0 20 0 1 0 183967906 27086848 1386 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 6613 1386 851 746 0 5677 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26452 KiB
Current children cumulated memory: 5544 KiB
[startup+0.305479 s]*
/proc/loadavg: 4.14 3.65 3.07 5/257 985667
/proc/meminfo: memFree=123610772/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=26736 memory=7856 CPUtime=0.3 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 756 0 0 0 30 0 0 0 20 0 1 0 183967906 27377664 1964 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 6684 1964 851 746 0 5748 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26736 KiB
Current children cumulated memory: 7856 KiB
[startup+0.700154 s]
/proc/loadavg: 4.14 3.65 3.07 5/257 985667
/proc/meminfo: memFree=123610588/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=26876 memory=8116 CPUtime=0.69 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 814 0 0 0 69 0 0 0 20 0 1 0 183967906 27521024 2029 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 6719 2029 851 746 0 5783 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26876 KiB
Current children cumulated memory: 8116 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 3.65 3.07 5/257 985667
/proc/meminfo: memFree=123610640/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=27012 memory=8380 CPUtime=1.49 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 843 0 0 0 149 0 0 0 20 0 1 0 183967906 27660288 2095 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 6753 2095 851 746 0 5817 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27012 KiB
Current children cumulated memory: 8380 KiB
[startup+3.10534 s]
/proc/loadavg: 4.14 3.65 3.07 5/257 985669
/proc/meminfo: memFree=123607576/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=28260 memory=11212 CPUtime=3.09 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 1075 0 0 0 309 0 0 0 20 0 1 0 183967906 28938240 2803 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 7065 2803 851 746 0 6129 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28260 KiB
Current children cumulated memory: 11212 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 3.65 3.08 6/257 985669
/proc/meminfo: memFree=123604524/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=29524 memory=14188 CPUtime=6.28 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 1359 0 0 0 628 0 0 0 20 0 1 0 183967906 30232576 3547 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 7381 3547 851 746 0 6445 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 14188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 3.66 3.08 5/257 985670
/proc/meminfo: memFree=123600988/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=30356 memory=17088 CPUtime=12.66 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 1575 0 0 0 1266 0 0 0 20 0 1 0 183967906 31084544 4272 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 7589 4272 851 746 0 6653 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 30356 KiB
Current children cumulated memory: 17088 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 3.68 3.10 5/257 985672
/proc/meminfo: memFree=123599716/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=31316 memory=18156 CPUtime=25.43 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 1865 0 0 0 2543 0 0 0 20 0 1 0 183967906 32067584 4539 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 7829 4539 851 746 0 6893 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 31316 KiB
Current children cumulated memory: 18156 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 3.72 3.13 5/257 985675
/proc/meminfo: memFree=123595056/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=35148 memory=21208 CPUtime=50.97 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 2747 0 0 0 5097 0 0 0 20 0 1 0 183967906 35991552 5302 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 8787 5302 851 746 0 7851 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 35148 KiB
Current children cumulated memory: 21208 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.78 3.18 5/257 985868
/proc/meminfo: memFree=123593012/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=35252 memory=21580 CPUtime=102.03 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 3427 0 0 0 10203 0 0 0 20 0 1 0 183967906 36098048 5395 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 8813 5395 851 746 0 7877 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 21580 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.85 3.25 6/257 986263
/proc/meminfo: memFree=123589540/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=35776 memory=21912 CPUtime=161.89 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 5362 0 0 0 16188 1 0 0 20 0 1 0 183967906 36634624 5478 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 8944 5478 851 746 0 8008 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 21912 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.90 3.30 5/256 986273
/proc/meminfo: memFree=123587708/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36020 memory=22252 CPUtime=221.74 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 6911 0 0 0 22173 1 0 0 20 0 1 0 183967906 36884480 5563 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9005 5563 851 746 0 8069 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 36020 KiB
Current children cumulated memory: 22252 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.94 3.35 5/257 986284
/proc/meminfo: memFree=123583460/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36148 memory=23620 CPUtime=281.57 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 8956 0 0 0 28156 1 0 0 20 0 1 0 183967906 37015552 5905 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9037 5905 851 746 0 8101 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 36148 KiB
Current children cumulated memory: 23620 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.98 3.41 5/259 986465
/proc/meminfo: memFree=123581212/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36340 memory=23812 CPUtime=341.43 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 11101 0 0 0 34141 2 0 0 20 0 1 0 183967906 37212160 5953 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9085 5953 851 746 0 8149 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 36340 KiB
Current children cumulated memory: 23812 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.00 3.45 5/259 986476
/proc/meminfo: memFree=123578904/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=401.28 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 40126 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+421.996 s]
# the end of solver process 985666 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=420.915 s, system=0.027941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.08 4.00 3.46 5/259 986476
/proc/meminfo: memFree=123578820/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=408.56 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 40854 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 408.56 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+416 s]*
/proc/loadavg: 4.08 4.00 3.46 5/259 986478
/proc/meminfo: memFree=123578488/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=414.95 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 41493 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 414.95 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+419.2 s]
/proc/loadavg: 4.23 4.03 3.48 5/259 986478
/proc/meminfo: memFree=123578460/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=418.14 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 41812 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 418.14 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+420.8 s]
/proc/loadavg: 4.23 4.03 3.48 5/259 986478
/proc/meminfo: memFree=123578392/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=419.74 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 41972 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 419.74 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+421.6 s]
/proc/loadavg: 4.23 4.03 3.48 5/259 986478
/proc/meminfo: memFree=123578400/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=420.54 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 42052 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 420.54 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+421.8 s]
/proc/loadavg: 4.23 4.03 3.48 5/259 986478
/proc/meminfo: memFree=123578400/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=420.73 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 42071 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 420.73 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
[startup+421.9 s]
/proc/loadavg: 4.23 4.03 3.48 5/259 986478
/proc/meminfo: memFree=123578400/131524600 swapFree=131071996/131071996
[pid=985666] ppid=985663 vsize=36876 memory=24136 CPUtime=420.83 cores=1,3
/proc/985666/stat : 985666 (Exact_nosoplex) R 985663 985666 983909 0 -1 4194304 12273 0 0 0 42081 2 0 0 20 0 1 0 183967906 37761024 6034 134679101440 4194304 7248369 140729644879344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 35790848 140729644884907 140729644885086 140729644885086 140729644892102 0
/proc/985666/statm: 9219 6034 851 746 0 8283 0
Current children cumulated CPU time: 420.83 s
Current children cumulated vsize: 36876 KiB
Current children cumulated memory: 24136 KiB
Child status: 30
Real time (s): 421.996
CPU time (s): 420.943
CPU user time (s): 420.915
CPU system time (s): 0.027941
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 36876
Max. memory (cumulated for all children) (KiB): 24136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.915
system time used= 0.027941
maximum resident set size= 24136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12275
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= 418
# summary of solver processes directly reported to runsolver:
# pid: 985666
# total CPU time (s): 420.943
# total CPU user time (s): 420.915
# total CPU system time (s): 0.027941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.722637 second user time and 1.81892 second system time
The end
Begin job on nodeC033 at 2024-07-18 17:53:14
IDJOB=4445147
IDBENCH=148101
IDSOLVER=3061
FILE ID=nodeC033/4445147-1721317982
RUNJOBID= nodeC033-1721317550-983921
SLURM_JOB_ID= 7542664
Free space on /tmp= 890060 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob5.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-4445147-1721317982/watcher-4445147-1721317982 -o /tmp/evaluation-result-4445147-1721317982/solver-4445147-1721317982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721317550-983921 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1539647551 HOME/instance-4445147-1721317982.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4201f1ef8f74939600eabb6a2266017
RANDOM SEED=1539647551
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 : 3664.183
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.50
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 : 3661.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3599.899
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.50
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 : 3661.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3664.177
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.50
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 : 3664.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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.056
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.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123616348 kB
MemAvailable: 129513428 kB
Buffers: 524428 kB
Cached: 6135252 kB
SwapCached: 0 kB
Active: 971732 kB
Inactive: 6166468 kB
Active(anon): 1572 kB
Inactive(anon): 514332 kB
Active(file): 970160 kB
Inactive(file): 5652136 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4556 kB
Writeback: 0 kB
AnonPages: 475596 kB
Mapped: 116664 kB
Shmem: 37716 kB
KReclaimable: 228860 kB
Slab: 355636 kB
SReclaimable: 228860 kB
SUnreclaim: 126776 kB
KernelStack: 4092 kB
PageTables: 10164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 890412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 331776 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-18 18:00:16