3599.93/3608.97 c Filename:instance-4446248-1721336327.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.93/3608.97 c Use Presolve
3599.93/3608.97 c Parse finsih
3599.93/3608.97 c Start Presolve
3599.93/3608.97 c After Reduce Vars: 55296 Clauses: 1284718 Top clause weight: 1 Hard Clauses: 1284718
3599.93/3608.97 c Use LS-small
3599.93/3608.97 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: 64096 MiB (59140 MiB free)
memory of node 1: 64473 MiB (61748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446248-1721336327/watcher-4446248-1721336327 -o /tmp/evaluation-result-4446248-1721336327/solver-4446248-1721336327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721329122-967348 --watchdog 3760 ./LS-MabP -f HOME/instance-4446248-1721336327.opb -t 3600 -s 2089480799 --no-s
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=971392, runsolver pid=971389
[startup+0.100657 s]*
/proc/loadavg: 4.18 4.21 4.15 5/244 971393
/proc/meminfo: memFree=123719532/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=83608 memory=71332 CPUtime=0.1 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 3080 0 0 0 8 2 0 0 20 0 1 0 185788533 85614592 17833 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 20902 17833 1073 2753 0 17555 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 71332 KiB
[startup+0.212845 s]*
/proc/loadavg: 4.18 4.21 4.15 5/244 971393
/proc/meminfo: memFree=123711648/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=87708 memory=73844 CPUtime=0.21 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 4209 0 0 0 19 2 0 0 20 0 1 0 185788533 89812992 18461 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 21927 18461 1073 2753 0 18580 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 87708 KiB
Current children cumulated memory: 73844 KiB
[startup+0.312563 s]*
/proc/loadavg: 4.18 4.21 4.15 5/244 971393
/proc/meminfo: memFree=123703320/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=91936 memory=77692 CPUtime=0.31 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 4649 0 0 0 29 2 0 0 20 0 1 0 185788533 94142464 19423 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 22984 19423 1073 2753 0 19637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91936 KiB
Current children cumulated memory: 77692 KiB
[startup+0.700359 s]
/proc/loadavg: 4.18 4.21 4.15 5/244 971393
/proc/meminfo: memFree=123595468/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=100260 memory=83952 CPUtime=0.69 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 5224 0 0 0 66 3 0 0 20 0 1 0 185788533 102666240 20988 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 25065 20988 1073 2753 0 21718 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100260 KiB
Current children cumulated memory: 83952 KiB
[startup+1.50033 s]
/proc/loadavg: 4.18 4.21 4.15 5/244 971393
/proc/meminfo: memFree=123563836/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=117172 memory=100816 CPUtime=1.48 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 5866 0 0 0 144 4 0 0 20 0 1 0 185788533 119984128 25204 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 29293 25204 1073 2753 0 25946 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117172 KiB
Current children cumulated memory: 100816 KiB
[startup+3.11241 s]
/proc/loadavg: 4.25 4.22 4.16 5/240 971430
/proc/meminfo: memFree=124186660/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=150732 memory=134472 CPUtime=3.09 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 6648 0 0 0 303 6 0 0 20 0 1 0 185788533 154349568 33618 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 37683 33618 1073 2753 0 34336 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 150732 KiB
Current children cumulated memory: 134472 KiB
[startup+6.30031 s]
/proc/loadavg: 4.25 4.22 4.16 5/244 971441
/proc/meminfo: memFree=123352684/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=217984 memory=195476 CPUtime=6.27 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 7670 0 0 0 618 9 0 0 20 0 1 0 185788533 223215616 48869 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 54496 48869 1073 2753 0 51149 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 217984 KiB
Current children cumulated memory: 195476 KiB
[startup+12.7003 s]
/proc/loadavg: 4.44 4.27 4.17 5/244 971444
/proc/meminfo: memFree=122564052/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=927056 memory=805192 CPUtime=12.66 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 28134 0 0 0 1228 38 0 0 20 0 1 0 185788533 949305344 201298 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 231764 201298 1105 2753 0 228417 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 927056 KiB
Current children cumulated memory: 805192 KiB
[startup+25.5003 s]
/proc/loadavg: 4.52 4.29 4.18 5/244 971445
/proc/meminfo: memFree=122287316/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=967144 memory=845668 CPUtime=25.43 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 29133 0 0 0 2504 39 0 0 20 0 1 0 185788533 990355456 211417 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 241786 211417 1153 2753 0 238439 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 967144 KiB
Current children cumulated memory: 845668 KiB
[startup+51.1128 s]
/proc/loadavg: 4.75 4.37 4.21 5/244 971448
/proc/meminfo: memFree=121846256/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=967144 memory=845668 CPUtime=50.99 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 29476 0 0 0 5060 39 0 0 20 0 1 0 185788533 990355456 211417 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 241786 211417 1153 2753 0 238439 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 967144 KiB
Current children cumulated memory: 845668 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.38 4.22 5/244 971463
/proc/meminfo: memFree=118281384/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=102.07 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117478 0 0 0 10140 67 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.32 4.21 5/245 971485
/proc/meminfo: memFree=118280740/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=161.92 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117568 0 0 0 16110 82 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.31 4.21 5/245 971496
/proc/meminfo: memFree=118272788/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=221.79 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117638 0 0 0 22084 95 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.28 4.20 5/244 971506
/proc/meminfo: memFree=116845140/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=281.65 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117703 0 0 0 28055 110 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.26 4.20 5/244 971516
/proc/meminfo: memFree=116842704/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=341.51 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117793 0 0 0 34025 126 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.24 4.19 5/242 971527
/proc/meminfo: memFree=116842324/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=401.38 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117863 0 0 0 40000 138 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1099468 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/241 971538
/proc/meminfo: memFree=116842144/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1099468 CPUtime=461.25 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 117928 0 0 0 45973 152 0 0 20 0 1 0 185788533 1309601792 274867 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 274867 1153 2753 0 316380 0
################
# More data... #
################
Current children cumulated memory: 1121672 KiB
[startup+2862.3 s]
/proc/loadavg: 4.68 4.31 4.16 5/241 972584
/proc/meminfo: memFree=116783020/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=2855.32 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 129842 0 0 0 284848 684 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+2922.3 s]
/proc/loadavg: 4.54 4.35 4.18 5/241 972594
/proc/meminfo: memFree=116782852/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=2915.15 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 130236 0 0 0 290821 694 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.31 4.18 5/241 972604
/proc/meminfo: memFree=116782692/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=2975 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 130615 0 0 0 296791 709 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.27 4.17 5/241 972616
/proc/meminfo: memFree=116782292/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3034.84 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 130932 0 0 0 302763 721 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3034.84 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.23 4.17 5/243 972630
/proc/meminfo: memFree=116782060/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3094.68 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 131326 0 0 0 308733 735 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.22 4.17 5/243 972640
/proc/meminfo: memFree=116781748/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3154.51 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 131705 0 0 0 314704 747 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/243 972651
/proc/meminfo: memFree=116781424/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3214.36 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 132022 0 0 0 320678 758 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.20 4.17 5/243 972661
/proc/meminfo: memFree=116780920/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3274.2 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 132416 0 0 0 326651 769 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.20 4.17 5/244 972673
/proc/meminfo: memFree=116780136/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3334.04 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 132795 0 0 0 332621 783 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/244 973067
/proc/meminfo: memFree=116777696/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3393.87 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 133112 0 0 0 338594 793 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.17 5/244 973077
/proc/meminfo: memFree=116777288/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3453.72 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 133506 0 0 0 344562 810 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/244 973088
/proc/meminfo: memFree=116777324/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3513.56 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 133885 0 0 0 350534 822 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/244 973266
/proc/meminfo: memFree=116776988/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3573.4 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 134202 0 0 0 356503 837 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.03 4.14 4.16 3/230 973331
/proc/meminfo: memFree=117922864/131655788 swapFree=131071996/131071996
[pid=971392] ppid=971389 vsize=1278908 memory=1121672 CPUtime=3600.04 cores=1,3
/proc/971392/stat : 971392 (LS-MabP) R 971389 971392 967336 0 -1 4194304 134380 0 0 0 359162 842 0 0 20 0 1 0 185788533 1309601792 280418 134679101440 4194304 15467897 140727986589216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28135424 140727986590745 140727986590854 140727986590854 140727986597870 0
/proc/971392/statm: 319727 280418 1153 2753 0 316380 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1121672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 971392 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.64 s, system=8.43163 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.03
CPU time (s): 3600.07
CPU user time (s): 3591.64
CPU system time (s): 8.43163
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 1278908
Max. memory (cumulated for all children) (KiB): 1121672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.64
system time used= 8.43163
maximum resident set size= 1121672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134434
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= 56
involuntary context switches= 1019
# summary of solver processes directly reported to runsolver:
# pid: 971392
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.64
# total CPU system time (s): 8.43163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9157 second user time and 35.5393 second system time
The end
Begin job on nodeC004 at 2024-07-18 22:58:59
IDJOB=4446248
IDBENCH=155547
IDSOLVER=3049
FILE ID=nodeC004/4446248-1721336327
RUNJOBID= nodeC004-1721329122-967348
SLURM_JOB_ID= 7542693
Free space on /tmp= 723580 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-121.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446248-1721336327/watcher-4446248-1721336327 -o /tmp/evaluation-result-4446248-1721336327/solver-4446248-1721336327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721329122-967348 --watchdog 3760 ./LS-MabP -f HOME/instance-4446248-1721336327.opb -t 3600 -s 2089480799 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 385cc980e0c43194d9e7f2f21b5d5aa0
RANDOM SEED=2089480799
nodeC004.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 : 3636.977
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 : 6984.29
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 : 3492.148
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.37
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.474
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 : 6984.29
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.320
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.37
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 : 3673.552
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 : 6984.29
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 : 3355.829
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.37
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.444
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 : 6984.29
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.352
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123794756 kB
MemAvailable: 128727508 kB
Buffers: 516636 kB
Cached: 5199052 kB
SwapCached: 0 kB
Active: 1137140 kB
Inactive: 6051056 kB
Active(anon): 3344 kB
Inactive(anon): 1506860 kB
Active(file): 1133796 kB
Inactive(file): 4544196 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 157892 kB
Writeback: 4 kB
AnonPages: 1472244 kB
Mapped: 119468 kB
Shmem: 37700 kB
KReclaimable: 189920 kB
Slab: 302440 kB
SReclaimable: 189920 kB
SUnreclaim: 112520 kB
KernelStack: 3920 kB
PageTables: 12120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2102488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1292288 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: 213832 kB
DirectMap2M: 23808000 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 723392 MiB
End job on nodeC004 at 2024-07-18 23:59:09