658.39/660.39 c Filename:instance-4446126-1721339210.opb, Cutoff_time:3600, memory_limit_gb:500000
658.39/660.39 c Use Presolve
658.39/660.39 c Parse finsih
658.39/660.39 c Start Presolve
658.39/660.39 c After Reduce Vars: 12587 Clauses: 284398 Top clause weight: 1 Hard Clauses: 284398
3599.90/3608.89 c Use LS-small
3599.90/3608.89 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 (62676 MiB free)
memory of node 1: 64510 MiB (61385 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446126-1721339210/watcher-4446126-1721339210 -o /tmp/evaluation-result-4446126-1721339210/solver-4446126-1721339210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446126-1721339210.opb -t 3600 -s 126343809
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=971476, runsolver pid=971473
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.10 1.14 1.83 5/243 971477
/proc/meminfo: memFree=127008636/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=34464 memory=21688 CPUtime=0.1 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 2684 0 0 0 9 1 0 0 20 0 1 0 186077647 35291136 5422 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 8616 5422 1073 2753 0 5269 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34464 KiB
Current children cumulated memory: 21688 KiB
[startup+0.213219 s]*
/proc/loadavg: 1.10 1.14 1.83 5/243 971477
/proc/meminfo: memFree=127001176/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=35488 memory=22460 CPUtime=0.22 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 3157 0 0 0 21 1 0 0 20 0 1 0 186077647 36339712 5615 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 8872 5615 1073 2753 0 5525 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 35488 KiB
Current children cumulated memory: 22460 KiB
[startup+0.312927 s]*
/proc/loadavg: 1.10 1.14 1.83 5/243 971477
/proc/meminfo: memFree=127000232/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=37536 memory=24460 CPUtime=0.31 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 3598 0 0 0 30 1 0 0 20 0 1 0 186077647 38436864 6115 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 9384 6115 1073 2753 0 6037 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37536 KiB
Current children cumulated memory: 24460 KiB
[startup+0.700282 s]
/proc/loadavg: 1.10 1.14 1.83 5/243 971477
/proc/meminfo: memFree=126992888/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=41764 memory=28560 CPUtime=0.68 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 4125 0 0 0 67 1 0 0 20 0 1 0 186077647 42766336 7140 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 10441 7140 1073 2753 0 7094 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 28560 KiB
[startup+1.50028 s]
/proc/loadavg: 1.41 1.21 1.85 5/243 971477
/proc/meminfo: memFree=126968492/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=50220 memory=37112 CPUtime=1.48 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 4778 0 0 0 146 2 0 0 20 0 1 0 186077647 51425280 9278 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 12555 9278 1073 2753 0 9208 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50220 KiB
Current children cumulated memory: 37112 KiB
[startup+3.11337 s]
/proc/loadavg: 1.41 1.21 1.85 5/243 971479
/proc/meminfo: memFree=126333020/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=261952 memory=220120 CPUtime=3.09 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 15538 0 0 0 299 10 0 0 20 0 1 0 186077647 268238848 55030 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 65488 55030 1105 2753 0 62141 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 261952 KiB
Current children cumulated memory: 220120 KiB
[startup+6.30033 s]
/proc/loadavg: 1.62 1.26 1.86 5/243 971479
/proc/meminfo: memFree=126332408/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=261952 memory=220416 CPUtime=6.27 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 15583 0 0 0 617 10 0 0 20 0 1 0 186077647 268238848 55104 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 65488 55104 1153 2753 0 62141 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 261952 KiB
Current children cumulated memory: 220416 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.30 1.87 5/243 971479
/proc/meminfo: memFree=126332488/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=261952 memory=220416 CPUtime=12.66 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 15659 0 0 0 1256 10 0 0 20 0 1 0 186077647 268238848 55104 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 65488 55104 1153 2753 0 62141 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 261952 KiB
Current children cumulated memory: 220416 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 1.39 1.89 5/243 971482
/proc/meminfo: memFree=123424424/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1562920 memory=1428084 CPUtime=25.42 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 237188 0 0 0 2491 51 0 0 20 0 1 0 186077647 1600430080 357021 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 390730 357021 2737 2753 0 387383 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1562920 KiB
Current children cumulated memory: 1428084 KiB
[startup+51.113 s]
/proc/loadavg: 2.95 1.66 1.97 5/243 971485
/proc/meminfo: memFree=121367992/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1749908 memory=1607436 CPUtime=50.96 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 263831 0 0 0 5039 57 0 0 20 0 1 0 186077647 1791905792 401859 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 437477 401859 2833 2753 0 434130 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1749908 KiB
Current children cumulated memory: 1607436 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.05 2.09 5/243 971493
/proc/meminfo: memFree=121239616/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1867180 memory=1664424 CPUtime=102.02 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 272631 0 0 0 10142 60 0 0 20 0 1 0 186077647 1911992320 416106 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 466795 416106 2849 2753 0 463448 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1867180 KiB
Current children cumulated memory: 1664424 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.42 2.22 5/243 971505
/proc/meminfo: memFree=121183648/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1897852 memory=1668808 CPUtime=161.86 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 273294 0 0 0 16125 61 0 0 20 0 1 0 186077647 1943400448 417202 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 474463 417202 2849 2753 0 471116 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1897852 KiB
Current children cumulated memory: 1668808 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.74 2.34 5/246 971520
/proc/meminfo: memFree=120832344/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1931808 memory=1680760 CPUtime=221.7 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 274327 0 0 0 22107 63 0 0 20 0 1 0 186077647 1978171392 420190 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 482952 420190 2849 2753 0 479605 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1931808 KiB
Current children cumulated memory: 1680760 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.99 2.45 5/246 971530
/proc/meminfo: memFree=120831724/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1931808 memory=1680864 CPUtime=281.52 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 274351 0 0 0 28089 63 0 0 20 0 1 0 186077647 1978171392 420216 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 482952 420216 2849 2753 0 479605 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1931808 KiB
Current children cumulated memory: 1680864 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.19 2.56 5/245 971541
/proc/meminfo: memFree=120808868/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1958100 memory=1680924 CPUtime=341.35 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 274438 0 0 0 34071 64 0 0 20 0 1 0 186077647 2005094400 420231 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 489525 420231 2849 2753 0 486178 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1958100 KiB
Current children cumulated memory: 1680924 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.66 5/245 971551
/proc/meminfo: memFree=120478132/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=2006308 memory=1702932 CPUtime=401.17 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 274893 0 0 0 40052 65 0 0 20 0 1 0 186077647 2054459392 425733 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 501577 425733 2849 2753 0 498230 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2006308 KiB
Current children cumulated memory: 1702932 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.50 2.75 5/245 971562
/proc/meminfo: memFree=120474512/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=2032600 memory=1702944 CPUtime=460.98 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 274968 0 0 0 46032 66 0 0 20 0 1 0 186077647 2081382400 425736 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 508150 425736 2849 2753 0 504803 0
################
# More data... #
################
Current children cumulated memory: 1904340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/242 973714
/proc/meminfo: memFree=120116852/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=2914.78 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415670 0 0 0 290795 683 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/242 973725
/proc/meminfo: memFree=120116556/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=2974.66 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415709 0 0 0 296753 713 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/242 973736
/proc/meminfo: memFree=120109640/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3034.53 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415761 0 0 0 302709 744 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/242 973746
/proc/meminfo: memFree=120109380/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3094.41 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415813 0 0 0 308665 776 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/242 973757
/proc/meminfo: memFree=120108596/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3154.29 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415865 0 0 0 314624 805 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/245 973772
/proc/meminfo: memFree=120108156/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3214.17 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415917 0 0 0 320583 834 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/245 973782
/proc/meminfo: memFree=120107140/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3274.05 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 415969 0 0 0 326538 867 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 973793
/proc/meminfo: memFree=120105060/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3333.93 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416021 0 0 0 332490 903 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/245 973803
/proc/meminfo: memFree=120103808/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3393.81 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416073 0 0 0 338451 930 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/246 973814
/proc/meminfo: memFree=120096816/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3453.69 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416125 0 0 0 344410 959 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/246 973825
/proc/meminfo: memFree=120084632/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3513.57 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416177 0 0 0 350364 993 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 973836
/proc/meminfo: memFree=120084400/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3573.45 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416229 0 0 0 356322 1023 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 973841
/proc/meminfo: memFree=120084360/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3600 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416256 0 0 0 358963 1037 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.96 s]
# the end of solver process 971476 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3589.64 s, system=10.4305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 973841
/proc/meminfo: memFree=120084360/131655788 swapFree=131071996/131071996
[pid=971476] ppid=971473 vsize=1985972 memory=1904340 CPUtime=3600 cores=5,7
/proc/971476/stat : 971476 (LS-MabSP) R 971473 971476 971403 0 -1 4194304 416256 0 0 0 358963 1037 0 0 20 0 1 0 186077647 2033635328 476085 134679101440 4194304 15467897 140728281546208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31932416 140728281547807 140728281547909 140728281547909 140728281554925 0
/proc/971476/statm: 496493 476085 2849 2753 0 493146 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1985972 KiB
Current children cumulated memory: 1904340 KiB
Child status: 10
Real time (s): 3608.96
CPU time (s): 3600.07
CPU user time (s): 3589.64
CPU system time (s): 10.4305
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 2691620
Max. memory (cumulated for all children) (KiB): 2202112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.64
system time used= 10.4305
maximum resident set size= 2202112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416535
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= 2
involuntary context switches= 1222
# summary of solver processes directly reported to runsolver:
# pid: 971476
# total CPU time (s): 3600.07
# total CPU user time (s): 3589.64
# total CPU system time (s): 10.4305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0036 second user time and 35.695 second system time
The end
Begin job on nodeC007 at 2024-07-18 23:47:02
IDJOB=4446126
IDBENCH=155459
IDSOLVER=3047
FILE ID=nodeC007/4446126-1721339210
RUNJOBID= nodeC007-1721339222-971416
SLURM_JOB_ID= 7542716
Free space on /tmp= 723708 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-96.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-4446126-1721339210/watcher-4446126-1721339210 -o /tmp/evaluation-result-4446126-1721339210/solver-4446126-1721339210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446126-1721339210.opb -t 3600 -s 126343809
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=126343809
nodeC007.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 : 1197.130
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.25
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 : 1197.389
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.30
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.143
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.25
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.130
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.30
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 : 1197.323
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.25
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 : 1197.481
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.30
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.130
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.25
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.129
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127049152 kB
MemAvailable: 129899676 kB
Buffers: 510216 kB
Cached: 3170920 kB
SwapCached: 0 kB
Active: 1056940 kB
Inactive: 2986228 kB
Active(anon): 1364 kB
Inactive(anon): 398368 kB
Active(file): 1055576 kB
Inactive(file): 2587860 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 104216 kB
Writeback: 12 kB
AnonPages: 362412 kB
Mapped: 114960 kB
Shmem: 37704 kB
KReclaimable: 94236 kB
Slab: 196052 kB
SReclaimable: 94236 kB
SUnreclaim: 101816 kB
KernelStack: 3812 kB
PageTables: 10120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 675892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723680 MiB
End job on nodeC007 at 2024-07-19 00:47:12