3599.91/3607.98 c Filename:instance-4446366-1721341991.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.91/3607.98 c Use Presolve
3599.91/3607.98 c Parse finsih
3599.91/3607.98 c Start Presolve
3599.91/3607.98 c After Reduce Vars: 28342 Clauses: 633632 Top clause weight: 1 Hard Clauses: 633632
3599.91/3607.98 c Use LS-small
3599.91/3607.98 s UNKNOWN
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: 64059 MiB (58934 MiB free)
memory of node 1: 64510 MiB (61633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446366-1721341991/watcher-4446366-1721341991 -o /tmp/evaluation-result-4446366-1721341991/solver-4446366-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983767 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446366-1721341991.opb -t 3600 -s 466020673
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=983817, runsolver pid=983814
[startup+0.100633 s]*
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123402068/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=61900 memory=49256 CPUtime=0.1 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 3231 0 0 0 8 2 0 0 20 0 1 0 186357916 63385600 12314 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 15475 12314 1073 2753 0 12128 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61900 KiB
Current children cumulated memory: 49256 KiB
[startup+0.214239 s]*
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123382604/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=63176 memory=50416 CPUtime=0.21 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 3979 0 0 0 19 2 0 0 20 0 1 0 186357916 64692224 12604 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 15794 12604 1073 2753 0 12447 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63176 KiB
Current children cumulated memory: 50416 KiB
[startup+0.314132 s]*
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123366024/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=65224 memory=52304 CPUtime=0.31 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 4425 0 0 0 28 3 0 0 20 0 1 0 186357916 66789376 13076 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 16306 13076 1073 2753 0 12959 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65224 KiB
Current children cumulated memory: 52304 KiB
[startup+0.700369 s]
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123331024/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=69452 memory=56404 CPUtime=0.68 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 4960 0 0 0 65 3 0 0 20 0 1 0 186357916 71118848 14101 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 17363 14101 1073 2753 0 14016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69452 KiB
Current children cumulated memory: 56404 KiB
[startup+1.50033 s]
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123225612/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=94424 memory=69016 CPUtime=1.48 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 6087 0 0 0 144 4 0 0 20 0 1 0 186357916 96690176 17254 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 23606 17254 1073 2753 0 20259 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94424 KiB
Current children cumulated memory: 69016 KiB
[startup+3.11288 s]
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122504956/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=127984 memory=100440 CPUtime=3.09 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 6855 0 0 0 303 6 0 0 20 0 1 0 186357916 131055616 25110 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 31996 25110 1073 2753 0 28649 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127984 KiB
Current children cumulated memory: 100440 KiB
[startup+6.30031 s]
/proc/loadavg: 1.42 1.50 2.32 5/247 983829
/proc/meminfo: memFree=122269720/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=391336 memory=349468 CPUtime=6.27 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 10406 0 0 0 611 16 0 0 20 0 1 0 186357916 400728064 87367 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 97834 87367 1073 2753 0 94487 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 391336 KiB
Current children cumulated memory: 349468 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.56 2.33 5/247 983831
/proc/meminfo: memFree=121491552/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=590268 memory=548448 CPUtime=12.66 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 25902 0 0 0 1238 28 0 0 20 0 1 0 186357916 604434432 137112 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 147567 137112 1153 2753 0 144220 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 590268 KiB
Current children cumulated memory: 548448 KiB
[startup+25.5003 s]
/proc/loadavg: 2.51 1.74 2.38 5/245 983832
/proc/meminfo: memFree=119624772/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=590268 memory=548448 CPUtime=25.44 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 26062 0 0 0 2516 28 0 0 20 0 1 0 186357916 604434432 137112 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 147567 137112 1153 2753 0 144220 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 590268 KiB
Current children cumulated memory: 548448 KiB
[startup+51.113 s]
/proc/loadavg: 3.42 2.02 2.46 5/245 983837
/proc/meminfo: memFree=117523424/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635792 CPUtime=51 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77011 0 0 0 5060 40 0 0 20 0 1 0 186357916 716972032 158948 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158948 1153 2753 0 171695 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635792 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.37 2.55 5/245 983846
/proc/meminfo: memFree=115934476/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=102.08 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77057 0 0 0 10158 50 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.70 2.66 5/241 983857
/proc/meminfo: memFree=115718180/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=161.94 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77087 0 0 0 16132 62 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.97 2.75 5/241 983867
/proc/meminfo: memFree=115702972/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=221.8 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77114 0 0 0 22106 74 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 3.21 2.85 5/241 983877
/proc/meminfo: memFree=114079904/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=281.66 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77144 0 0 0 28080 86 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.37 2.93 5/241 983887
/proc/meminfo: memFree=114033792/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=341.52 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77171 0 0 0 34056 96 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.49 3.00 5/241 983898
/proc/meminfo: memFree=114028632/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=401.39 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77201 0 0 0 40032 107 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 635948 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.63 3.08 5/244 983913
/proc/meminfo: memFree=114021276/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=635948 CPUtime=461.24 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 77228 0 0 0 46004 120 0 0 20 0 1 0 186357916 716972032 158987 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 158987 1153 2753 0 171695 0
################
# More data... #
################
Current children cumulated memory: 652680 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.23 4.10 5/245 984917
/proc/meminfo: memFree=114058748/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=2855.81 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 79938 0 0 0 285037 544 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 2855.81 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.20 4.10 5/245 984927
/proc/meminfo: memFree=114058392/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=2915.69 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 80090 0 0 0 291016 553 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 2915.69 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.18 4.09 5/245 984938
/proc/meminfo: memFree=114058024/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=2975.57 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 80306 0 0 0 296994 563 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 2975.57 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.21 4.10 5/244 984948
/proc/meminfo: memFree=114057880/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3035.44 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 80458 0 0 0 302971 573 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3035.44 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.18 4.10 5/244 984959
/proc/meminfo: memFree=114057312/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3095.33 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 80676 0 0 0 308949 584 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3095.33 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/243 985353
/proc/meminfo: memFree=114056972/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3155.21 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 80827 0 0 0 314927 594 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3155.21 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/243 985363
/proc/meminfo: memFree=114056848/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3215.09 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81043 0 0 0 320905 604 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3215.09 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/243 985373
/proc/meminfo: memFree=114056460/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3274.97 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81193 0 0 0 326886 611 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3274.97 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/243 985551
/proc/meminfo: memFree=114056236/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3334.85 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81411 0 0 0 332866 619 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3334.85 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/243 985563
/proc/meminfo: memFree=114056036/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3394.73 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81563 0 0 0 338844 629 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.29 4.15 5/243 985630
/proc/meminfo: memFree=114055708/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3454.61 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81779 0 0 0 344823 638 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3454.61 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.56 4.34 4.18 5/243 985641
/proc/meminfo: memFree=114055436/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3514.49 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 81930 0 0 0 350803 646 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3514.49 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.31 4.18 5/243 985652
/proc/meminfo: memFree=114055112/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3574.37 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 82146 0 0 0 356783 654 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3574.37 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608 s]*
/proc/loadavg: 4.26 4.30 4.18 5/243 985657
/proc/meminfo: memFree=114054876/131655788 swapFree=131071996/131071996
[pid=983817] ppid=983814 vsize=700168 memory=652680 CPUtime=3600.02 cores=4,6
/proc/983817/stat : 983817 (LS-MabSP) R 983814 983817 983756 0 -1 4194304 82204 0 0 0 359344 658 0 0 20 0 1 0 186357916 716972032 163170 134679101440 4194304 15467897 140723568936016 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41058304 140723568940063 140723568940165 140723568940165 140723568947181 0
/proc/983817/statm: 175042 163170 1153 2753 0 171695 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 700168 KiB
Current children cumulated memory: 652680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.02 s]
# the end of solver process 983817 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3593.45 s, system=6.59014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.02
CPU time (s): 3600.04
CPU user time (s): 3593.45
CPU system time (s): 6.59014
CPU usage (%): 99.779
Max. virtual memory (cumulated for all children) (KiB): 700168
Max. memory (cumulated for all children) (KiB): 652680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.45
system time used= 6.59014
maximum resident set size= 652680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82206
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= 30
involuntary context switches= 936
# summary of solver processes directly reported to runsolver:
# pid: 983817
# total CPU time (s): 3600.04
# total CPU user time (s): 3593.45
# total CPU system time (s): 6.59014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.838 second user time and 36.075 second system time
The end
Begin job on nodeC006 at 2024-07-19 00:33:24
IDJOB=4446366
IDBENCH=155570
IDSOLVER=3047
FILE ID=nodeC006/4446366-1721341991
RUNJOBID= nodeC006-1721342003-983767
SLURM_JOB_ID= 7542736
Free space on /tmp= 723640 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446366-1721341991/watcher-4446366-1721341991 -o /tmp/evaluation-result-4446366-1721341991/solver-4446366-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983767 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446366-1721341991.opb -t 3600 -s 466020673
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9
RANDOM SEED=466020673
nodeC006.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 : 0xb00001f
cpu MHz : 1337.305
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1222.585
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.392
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1248.021
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1537.102
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.258
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123467792 kB
MemAvailable: 129800072 kB
Buffers: 512796 kB
Cached: 6580764 kB
SwapCached: 0 kB
Active: 992416 kB
Inactive: 6472628 kB
Active(anon): 1452 kB
Inactive(anon): 407756 kB
Active(file): 990964 kB
Inactive(file): 6064872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 168284 kB
Writeback: 4 kB
AnonPages: 371524 kB
Mapped: 114336 kB
Shmem: 37704 kB
KReclaimable: 232948 kB
Slab: 351592 kB
SReclaimable: 232948 kB
SUnreclaim: 118644 kB
KernelStack: 3904 kB
PageTables: 9800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 858116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723360 MiB
End job on nodeC006 at 2024-07-19 01:33:32