269.32/270.15 c Filename:instance-4446217-1721340497.opb, Cutoff_time:3600, memory_limit_gb:500000
269.32/270.15 c Not use presolve
3599.91/3609.19 c Use LS-small
3599.91/3609.19 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 (61749 MiB free)
memory of node 1: 64510 MiB (60178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446217-1721340497/watcher-4446217-1721340497 -o /tmp/evaluation-result-4446217-1721340497/solver-4446217-1721340497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721340508-972842 --watchdog 3760 ./LS-MabS -f HOME/instance-4446217-1721340497.opb -t 3600 -s 633612622
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=973026, runsolver pid=973023
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 3.84 4.04 4.10 7/234 973055
/proc/meminfo: memFree=124822620/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=59320 memory=13080 CPUtime=0.11 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 2670 0 0 0 10 1 0 0 20 0 1 0 186208955 60743680 3270 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 14863 3270 749 2403 0 11973 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 13080 KiB
[startup+0.213868 s]*
/proc/loadavg: 3.84 4.04 4.10 6/233 973065
/proc/meminfo: memFree=124793880/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=63148 memory=17304 CPUtime=0.22 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 3734 0 0 0 21 1 0 0 20 0 1 0 186208955 64663552 4326 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 15787 4326 749 2403 0 12897 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 63148 KiB
Current children cumulated memory: 17304 KiB
[startup+0.313768 s]*
/proc/loadavg: 3.84 4.04 4.10 5/231 973065
/proc/meminfo: memFree=124777140/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=66844 memory=21528 CPUtime=0.31 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 4750 0 0 0 30 1 0 0 20 0 1 0 186208955 68448256 5382 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 16711 5382 749 2403 0 13821 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66844 KiB
Current children cumulated memory: 21528 KiB
[startup+0.700374 s]
/proc/loadavg: 3.84 4.04 4.10 5/229 973066
/proc/meminfo: memFree=124726072/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=99784 memory=57960 CPUtime=0.68 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 13867 0 0 0 63 5 0 0 20 0 1 0 186208955 102178816 14490 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 24946 14490 749 2403 0 22056 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99784 KiB
Current children cumulated memory: 57960 KiB
[startup+1.50033 s]
/proc/loadavg: 3.84 4.04 4.10 8/241 973087
/proc/meminfo: memFree=124424048/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=396836 memory=354500 CPUtime=1.49 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 87306 0 0 0 127 22 0 0 20 0 1 0 186208955 406360064 88625 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 99209 88625 2285 2403 0 96319 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 396836 KiB
Current children cumulated memory: 354500 KiB
[startup+3.11307 s]
/proc/loadavg: 3.93 4.06 4.10 5/245 973100
/proc/meminfo: memFree=123076684/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=522696 memory=479160 CPUtime=3.09 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 117885 0 0 0 281 28 0 0 20 0 1 0 186208955 535240704 119790 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 130674 119790 2333 2403 0 127784 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 522696 KiB
Current children cumulated memory: 479160 KiB
[startup+6.30033 s]
/proc/loadavg: 3.93 4.06 4.10 5/245 973100
/proc/meminfo: memFree=122638648/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=569476 memory=522456 CPUtime=6.27 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 126696 0 0 0 597 30 0 0 20 0 1 0 186208955 583143424 130614 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 142369 130614 2349 2403 0 139479 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 569476 KiB
Current children cumulated memory: 522456 KiB
[startup+12.7003 s]
/proc/loadavg: 4.02 4.07 4.11 5/245 973101
/proc/meminfo: memFree=121963596/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=582856 memory=535880 CPUtime=12.65 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 130037 0 0 0 1234 31 0 0 20 0 1 0 186208955 596844544 133970 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 145714 133970 2349 2403 0 142824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 582856 KiB
Current children cumulated memory: 535880 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.10 4.12 5/245 973103
/proc/meminfo: memFree=120427996/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=600168 memory=553868 CPUtime=25.41 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 134358 0 0 0 2509 32 0 0 20 0 1 0 186208955 614572032 138467 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 150042 138467 2349 2403 0 147152 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 600168 KiB
Current children cumulated memory: 553868 KiB
[startup+51.1129 s]
/proc/loadavg: 4.25 4.13 4.13 5/245 973106
/proc/meminfo: memFree=119854484/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1249464 memory=1126244 CPUtime=50.95 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 206648 0 0 0 5045 50 0 0 20 0 1 0 186208955 1279451136 281561 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 312366 281561 2461 2403 0 309476 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1249464 KiB
Current children cumulated memory: 1126244 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/245 973116
/proc/meminfo: memFree=119843796/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1307012 memory=1136440 CPUtime=102 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 208985 0 0 0 10147 53 0 0 20 0 1 0 186208955 1338380288 284110 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 326753 284110 2461 2403 0 323863 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1307012 KiB
Current children cumulated memory: 1136440 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/249 973420
/proc/meminfo: memFree=119893480/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1346624 memory=1143592 CPUtime=161.83 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 210033 0 0 0 16129 54 0 0 20 0 1 0 186208955 1378942976 285898 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 336656 285898 2461 2403 0 333766 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1346624 KiB
Current children cumulated memory: 1143592 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/249 973430
/proc/meminfo: memFree=119875076/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1392020 memory=1161020 CPUtime=221.64 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 213477 0 0 0 22109 55 0 0 20 0 1 0 186208955 1425428480 290255 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 348005 290255 2461 2403 0 345115 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1392020 KiB
Current children cumulated memory: 1161020 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/247 973440
/proc/meminfo: memFree=119696980/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1612768 memory=1338284 CPUtime=281.47 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 278734 0 0 0 28082 65 0 0 20 0 1 0 186208955 1651474432 334571 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 403192 334571 2477 2403 0 400302 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1612768 KiB
Current children cumulated memory: 1338284 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/245 973452
/proc/meminfo: memFree=119680936/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1628336 memory=1354236 CPUtime=341.32 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 282032 0 0 0 34065 67 0 0 20 0 1 0 186208955 1667416064 338559 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 407084 338559 2477 2403 0 404194 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1628336 KiB
Current children cumulated memory: 1354236 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/245 973462
/proc/meminfo: memFree=119680588/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1628336 memory=1354236 CPUtime=401.16 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 282223 0 0 0 40048 68 0 0 20 0 1 0 186208955 1667416064 338559 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 407084 338559 2477 2403 0 404194 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1628336 KiB
Current children cumulated memory: 1354236 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/241 973472
/proc/meminfo: memFree=119674732/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1628336 memory=1354260 CPUtime=460.99 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 282541 0 0 0 46031 68 0 0 20 0 1 0 186208955 1667416064 338565 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 407084 338565 2477 2403 0 404194 0
################
# More data... #
################
Current children cumulated memory: 1088520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/242 974900
/proc/meminfo: memFree=119858992/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1088520 CPUtime=2854.73 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 384661 0 0 0 284661 812 0 0 20 0 1 0 186208955 1663143936 272130 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272130 2508 2403 0 403151 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1088520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/242 974911
/proc/meminfo: memFree=119857236/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1090064 CPUtime=2914.6 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385119 0 0 0 290600 860 0 0 20 0 1 0 186208955 1663143936 272516 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272516 2508 2403 0 403151 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1090064 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/242 974921
/proc/meminfo: memFree=119856932/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1090064 CPUtime=2974.47 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385167 0 0 0 296545 902 0 0 20 0 1 0 186208955 1663143936 272516 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272516 2508 2403 0 403151 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1090064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/244 975102
/proc/meminfo: memFree=119856632/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1090064 CPUtime=3034.34 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385239 0 0 0 302497 937 0 0 20 0 1 0 186208955 1663143936 272516 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272516 2508 2403 0 403151 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1090064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/244 975112
/proc/meminfo: memFree=119856332/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1090064 CPUtime=3094.2 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385287 0 0 0 308445 975 0 0 20 0 1 0 186208955 1663143936 272516 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272516 2508 2403 0 403151 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1090064 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/244 975138
/proc/meminfo: memFree=119855756/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1090064 CPUtime=3154.08 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385335 0 0 0 314395 1013 0 0 20 0 1 0 186208955 1663143936 272516 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 272516 2508 2403 0 403151 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1090064 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 975148
/proc/meminfo: memFree=119852480/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1093132 CPUtime=3213.94 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385383 0 0 0 320346 1048 0 0 20 0 1 0 186208955 1663143936 273283 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 273283 2508 2403 0 403151 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1093132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 975159
/proc/meminfo: memFree=119850380/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1094792 CPUtime=3273.81 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385431 0 0 0 326295 1086 0 0 20 0 1 0 186208955 1663143936 273698 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 273698 2508 2403 0 403151 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1094792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 975170
/proc/meminfo: memFree=119844244/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1100944 CPUtime=3333.68 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385455 0 0 0 332239 1129 0 0 20 0 1 0 186208955 1663143936 275236 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 275236 2508 2403 0 403151 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1100944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 975180
/proc/meminfo: memFree=119831876/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1113084 CPUtime=3393.54 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385503 0 0 0 338189 1165 0 0 20 0 1 0 186208955 1663143936 278271 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 278271 2508 2403 0 403151 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1113084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/241 975191
/proc/meminfo: memFree=119820300/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1124436 CPUtime=3453.42 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385527 0 0 0 344134 1208 0 0 20 0 1 0 186208955 1663143936 281109 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 281109 2508 2403 0 403151 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1124436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 975201
/proc/meminfo: memFree=119814428/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1129952 CPUtime=3513.29 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385575 0 0 0 350084 1245 0 0 20 0 1 0 186208955 1663143936 282488 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 282488 2508 2403 0 403151 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1129952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/241 975211
/proc/meminfo: memFree=119814144/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1129976 CPUtime=3573.16 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385623 0 0 0 356029 1287 0 0 20 0 1 0 186208955 1663143936 282494 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 282494 2508 2403 0 403151 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1129976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/241 975215
/proc/meminfo: memFree=119807860/131655788 swapFree=131071996/131071996
[pid=973026] ppid=973023 vsize=1624164 memory=1136108 CPUtime=3600 cores=5,7
/proc/973026/stat : 973026 (LS-MabS) R 973023 973026 972800 0 -1 4194304 385626 0 0 0 358694 1306 0 0 20 0 1 0 186208955 1663143936 284027 134679101440 4194304 14036057 140732259449920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26841088 140732259451937 140732259452038 140732259452038 140732259459054 0
/proc/973026/statm: 406041 284027 2508 2403 0 403151 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1624164 KiB
Current children cumulated memory: 1136108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 973026 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3586.95 s, system=13.0806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.21
CPU time (s): 3600.03
CPU user time (s): 3586.95
CPU system time (s): 13.0806
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 2550584
Max. memory (cumulated for all children) (KiB): 1606008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.95
system time used= 13.0806
maximum resident set size= 1606008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385627
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= 53
involuntary context switches= 1366
# summary of solver processes directly reported to runsolver:
# pid: 973026
# total CPU time (s): 3600.03
# total CPU user time (s): 3586.95
# total CPU system time (s): 13.0806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9133 second user time and 34.4247 second system time
The end
Begin job on nodeC010 at 2024-07-19 00:08:28
IDJOB=4446217
IDBENCH=155538
IDSOLVER=3048
FILE ID=nodeC010/4446217-1721340497
RUNJOBID= nodeC010-1721340508-972842
SLURM_JOB_ID= 7542722
Free space on /tmp= 723740 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-35.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446217-1721340497/watcher-4446217-1721340497 -o /tmp/evaluation-result-4446217-1721340497/solver-4446217-1721340497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721340508-972842 --watchdog 3760 ./LS-MabS -f HOME/instance-4446217-1721340497.opb -t 3600 -s 633612622
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea9fbf307f3e38c641aeca63dc0ee32c
RANDOM SEED=633612622
nodeC010.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.174
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.51
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.174
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.31
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.180
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.51
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.195
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.31
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.178
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.51
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 : 1575.390
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.31
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.173
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.51
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.175
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124866432 kB
MemAvailable: 129831808 kB
Buffers: 509540 kB
Cached: 5236328 kB
SwapCached: 0 kB
Active: 1016728 kB
Inactive: 5095152 kB
Active(anon): 1340 kB
Inactive(anon): 402368 kB
Active(file): 1015388 kB
Inactive(file): 4692784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 78632 kB
Writeback: 0 kB
AnonPages: 366096 kB
Mapped: 106664 kB
Shmem: 37704 kB
KReclaimable: 194468 kB
Slab: 309208 kB
SReclaimable: 194468 kB
SUnreclaim: 114740 kB
KernelStack: 3836 kB
PageTables: 9852 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 774292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723324 MiB
End job on nodeC010 at 2024-07-19 01:08:38