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 (59569 MiB free)
memory of node 1: 64510 MiB (53228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458183-1721865843/watcher-4458183-1721865843 -o /tmp/evaluation-result-4458183-1721865843/solver-4458183-1721865843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218440 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1578613371 HOME/instance-4458183-1721865843.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=219888, runsolver pid=219885
[startup+0.100872 s]*
/proc/loadavg: 4.11 3.81 2.33 5/255 219889
/proc/meminfo: memFree=115494388/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=36792 memory=14680 CPUtime=0.09 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3175 0 0 0 9 0 0 0 20 0 1 0 23107893 37675008 3670 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9198 3670 1060 1005 0 7961 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36792 KiB
Current children cumulated memory: 14680 KiB
[startup+0.205436 s]*
/proc/loadavg: 4.11 3.81 2.33 5/255 219889
/proc/meminfo: memFree=115493844/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=36936 memory=15448 CPUtime=0.2 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3296 0 0 0 19 1 0 0 20 0 1 0 23107893 37822464 3862 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9234 3862 1124 1005 0 7997 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36936 KiB
Current children cumulated memory: 15448 KiB
[startup+0.305393 s]*
/proc/loadavg: 4.11 3.81 2.33 6/255 219889
/proc/meminfo: memFree=115491516/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=36936 memory=17496 CPUtime=0.3 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3328 0 0 0 29 1 0 0 20 0 1 0 23107893 37822464 4374 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9234 4374 1124 1005 0 7997 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36936 KiB
Current children cumulated memory: 17496 KiB
[startup+0.700245 s]
/proc/loadavg: 4.11 3.81 2.33 5/255 219889
/proc/meminfo: memFree=115491048/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=37436 memory=18020 CPUtime=0.69 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3426 0 0 0 68 1 0 0 20 0 1 0 23107893 38334464 4505 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9359 4505 1124 1005 0 8122 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37436 KiB
Current children cumulated memory: 18020 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 3.81 2.33 5/255 219889
/proc/meminfo: memFree=115490828/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=38436 memory=20856 CPUtime=1.48 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3643 0 0 0 147 1 0 0 20 0 1 0 23107893 39358464 5214 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9609 5214 1124 1005 0 8372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 20856 KiB
[startup+3.10537 s]
/proc/loadavg: 4.10 3.82 2.34 5/255 219890
/proc/meminfo: memFree=115482156/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=39648 memory=26320 CPUtime=3.09 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 3956 0 0 0 307 2 0 0 20 0 1 0 23107893 40599552 6580 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 9912 6580 1140 1005 0 8675 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 26320 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 3.82 2.34 5/255 219890
/proc/meminfo: memFree=115478772/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=40956 memory=27628 CPUtime=6.27 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 4301 0 0 0 623 4 0 0 20 0 1 0 23107893 41938944 6907 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 10239 6907 1140 1005 0 9002 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 27628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 3.84 2.35 5/255 219892
/proc/meminfo: memFree=115467252/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=45256 memory=36164 CPUtime=12.66 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 5385 0 0 0 1259 7 0 0 20 0 1 0 23107893 46342144 9041 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 11314 9041 1140 1005 0 10077 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45256 KiB
Current children cumulated memory: 36164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.84 2.38 5/255 219893
/proc/meminfo: memFree=115453000/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=64136 memory=48348 CPUtime=25.42 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 7137 0 0 0 2529 13 0 0 20 0 1 0 23107893 65675264 12087 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 16034 12087 1198 1005 0 14797 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 64136 KiB
Current children cumulated memory: 48348 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 3.86 2.43 5/255 219896
/proc/meminfo: memFree=115438660/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=69724 memory=58180 CPUtime=50.96 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 8558 0 0 0 5070 26 0 0 20 0 1 0 23107893 71397376 14545 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 17431 14545 1198 1005 0 16194 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 69724 KiB
Current children cumulated memory: 58180 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.90 2.52 5/254 219906
/proc/meminfo: memFree=115420300/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=74448 memory=64876 CPUtime=102.03 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 9775 0 0 0 10156 47 0 0 20 0 1 0 23107893 76234752 16219 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 18612 16219 1198 1005 0 17375 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74448 KiB
Current children cumulated memory: 64876 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.94 2.62 5/254 219916
/proc/meminfo: memFree=115410004/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=77880 memory=70480 CPUtime=161.89 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 10664 0 0 0 16110 79 0 0 20 0 1 0 23107893 79749120 17620 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 19470 17620 1198 1005 0 18233 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 77880 KiB
Current children cumulated memory: 70480 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.03 2.74 5/254 219929
/proc/meminfo: memFree=115364972/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=105704 memory=85412 CPUtime=221.74 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 12282 0 0 0 22064 110 0 0 20 0 1 0 23107893 108240896 21353 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 26426 21353 1198 1005 0 25189 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 105704 KiB
Current children cumulated memory: 85412 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.04 2.82 5/254 219939
/proc/meminfo: memFree=115352268/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=106400 memory=86220 CPUtime=281.59 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 12485 0 0 0 28028 131 0 0 20 0 1 0 23107893 108953600 21555 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 26600 21555 1198 1005 0 25363 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 86220 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.04 2.91 5/254 219949
/proc/meminfo: memFree=115347956/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=106700 memory=86924 CPUtime=341.45 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 12588 0 0 0 33988 157 0 0 20 0 1 0 23107893 109260800 21731 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 26675 21731 1198 1005 0 25438 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 106700 KiB
Current children cumulated memory: 86924 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.08 2.99 5/256 219964
/proc/meminfo: memFree=115335540/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=107056 memory=87172 CPUtime=401.31 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 12719 0 0 0 39948 183 0 0 20 0 1 0 23107893 109625344 21793 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 26764 21793 1198 1005 0 25527 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 107056 KiB
Current children cumulated memory: 87172 KiB
[startup+462.3 s]
/proc/loadavg: 4.39 4.17 3.10 5/256 219975
/proc/meminfo: memFree=115319256/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=109308 memory=89540 CPUtime=461.17 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 13312 0 0 0 45907 210 0 0 20 0 1 0 23107893 111931392 22385 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 27327 22385 1198 1005 0 26090 0
################
# More data... #
################
Current children cumulated memory: 161056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 221041
/proc/meminfo: memFree=115115852/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=168576 memory=161088 CPUtime=2915.31 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 30180 0 0 0 290190 1341 0 0 20 0 1 0 23107893 172621824 40272 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 42144 40272 1198 1005 0 40907 0
Current children cumulated CPU time: 2915.31 s
Current children cumulated vsize: 168576 KiB
Current children cumulated memory: 161088 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 221144
/proc/meminfo: memFree=115267132/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=168576 memory=161088 CPUtime=2975.16 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 30243 0 0 0 296151 1365 0 0 20 0 1 0 23107893 172621824 40272 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 42144 40272 1198 1005 0 40907 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 168576 KiB
Current children cumulated memory: 161088 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 221155
/proc/meminfo: memFree=115232772/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=168576 memory=161088 CPUtime=3035.03 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 30306 0 0 0 302112 1391 0 0 20 0 1 0 23107893 172621824 40272 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 42144 40272 1198 1005 0 40907 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 168576 KiB
Current children cumulated memory: 161088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/256 221550
/proc/meminfo: memFree=115315108/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=170452 memory=162888 CPUtime=3094.9 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 30856 0 0 0 308078 1412 0 0 20 0 1 0 23107893 174542848 40722 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 42613 40722 1198 1005 0 41376 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 170452 KiB
Current children cumulated memory: 162888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.40 4.20 4.09 5/255 221606
/proc/meminfo: memFree=115411684/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=171156 memory=163668 CPUtime=3154.71 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 31093 0 0 0 314027 1444 0 0 20 0 1 0 23107893 175263744 40917 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 42789 40917 1198 1005 0 41552 0
Current children cumulated CPU time: 3154.71 s
Current children cumulated vsize: 171156 KiB
Current children cumulated memory: 163668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/255 221617
/proc/meminfo: memFree=115395452/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=175376 memory=167884 CPUtime=3214.55 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 32224 0 0 0 319987 1468 0 0 20 0 1 0 23107893 179585024 41971 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 43844 41971 1198 1005 0 42607 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 175376 KiB
Current children cumulated memory: 167884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/257 221843
/proc/meminfo: memFree=115507928/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=175880 memory=168436 CPUtime=3274.37 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 32423 0 0 0 325940 1497 0 0 20 0 1 0 23107893 180101120 42109 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 43970 42109 1198 1005 0 42733 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 175880 KiB
Current children cumulated memory: 168436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.19 4.10 5/257 221854
/proc/meminfo: memFree=115491136/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=176200 memory=168740 CPUtime=3334.2 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 32571 0 0 0 331894 1526 0 0 20 0 1 0 23107893 180428800 42185 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44050 42185 1198 1005 0 42813 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 168740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.21 4.11 5/259 221868
/proc/meminfo: memFree=115465452/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=176992 memory=169404 CPUtime=3394.07 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 32822 0 0 0 337854 1553 0 0 20 0 1 0 23107893 181239808 42351 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44248 42351 1198 1005 0 43011 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 176992 KiB
Current children cumulated memory: 169404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.11 5/260 221891
/proc/meminfo: memFree=115438400/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=177392 memory=169848 CPUtime=3453.93 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 32990 0 0 0 343810 1583 0 0 20 0 1 0 23107893 181649408 42462 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44348 42462 1198 1005 0 43111 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 177392 KiB
Current children cumulated memory: 169848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.11 5/260 221903
/proc/meminfo: memFree=115417300/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=177392 memory=169848 CPUtime=3513.79 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 33068 0 0 0 349769 1610 0 0 20 0 1 0 23107893 181649408 42462 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44348 42462 1198 1005 0 43111 0
Current children cumulated CPU time: 3513.79 s
Current children cumulated vsize: 177392 KiB
Current children cumulated memory: 169848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/257 221913
/proc/meminfo: memFree=115411692/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=177392 memory=169916 CPUtime=3573.66 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 33159 0 0 0 355728 1638 0 0 20 0 1 0 23107893 181649408 42479 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44348 42479 1198 1005 0 43111 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 177392 KiB
Current children cumulated memory: 169916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.09 4.16 4.10 5/257 221916
/proc/meminfo: memFree=115410760/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=177556 memory=169916 CPUtime=3600 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 33202 0 0 0 358350 1650 0 0 20 0 1 0 23107893 181817344 42479 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44389 42479 1198 1005 0 43152 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 177556 KiB
Current children cumulated memory: 169916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 219888 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3583.51 s, system=16.5006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.09 4.16 4.10 5/257 221916
/proc/meminfo: memFree=115410760/131524600 swapFree=131056796/131071996
[pid=219888] ppid=219885 vsize=177556 memory=169916 CPUtime=3600 cores=1,3
/proc/219888/stat : 219888 (Exact) R 219885 219888 218428 0 -1 4194304 33202 0 0 0 358350 1650 0 0 20 0 1 0 23107893 181817344 42479 134679101440 4194304 8309489 140732398760928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16748544 140732398769086 140732398769256 140732398769256 140732398776271 0
/proc/219888/statm: 44389 42479 1198 1005 0 43152 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 177556 KiB
Current children cumulated memory: 169916 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.01
CPU user time (s): 3583.51
CPU system time (s): 16.5006
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 177556
Max. memory (cumulated for all children) (KiB): 169916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.51
system time used= 16.5006
maximum resident set size= 169916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33202
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= 47
involuntary context switches= 1883
# summary of solver processes directly reported to runsolver:
# pid: 219888
# total CPU time (s): 3600.01
# total CPU user time (s): 3583.51
# total CPU system time (s): 16.5006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67725 second user time and 15.8642 second system time
The end
Begin job on nodeC032 at 2024-07-25 02:04:03
IDJOB=4458183
IDBENCH=177178
IDSOLVER=3060
FILE ID=nodeC032/4458183-1721865843
RUNJOBID= nodeC032-1721865115-218440
SLURM_JOB_ID= 8089190
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458183-1721865843/watcher-4458183-1721865843 -o /tmp/evaluation-result-4458183-1721865843/solver-4458183-1721865843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218440 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1578613371 HOME/instance-4458183-1721865843.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=1578613371
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.942
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.970
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115505644 kB
MemAvailable: 129372844 kB
Buffers: 269976 kB
Cached: 14385388 kB
SwapCached: 140 kB
Active: 2575952 kB
Inactive: 12762120 kB
Active(anon): 2184 kB
Inactive(anon): 733572 kB
Active(file): 2573768 kB
Inactive(file): 12028548 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 5864 kB
Writeback: 0 kB
AnonPages: 682408 kB
Mapped: 129196 kB
Shmem: 53052 kB
KReclaimable: 209060 kB
Slab: 327844 kB
SReclaimable: 209060 kB
SUnreclaim: 118784 kB
KernelStack: 4112 kB
PageTables: 10816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1149428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 487424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC032 at 2024-07-25 03:04:12