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 (46248 MiB free)
memory of node 1: 64510 MiB (55437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459141-1721880691/watcher-4459141-1721880691 -o /tmp/evaluation-result-4459141-1721880691/solver-4459141-1721880691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265039 --watchdog 3760 mixed-bag HOME/instance-4459141-1721880691.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=269496, runsolver pid=269493
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.26 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103834772/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=423680 memory=298992 CPUtime=0.1 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 8948 0 0 0 4 6 0 0 20 0 1 0 24058675 433848320 74748 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 105920 74748 1621 3002 0 90208 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 423680 KiB
Current children cumulated memory: 298992 KiB
[startup+0.205761 s]*
/proc/loadavg: 4.26 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103783388/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=458528 memory=352236 CPUtime=0.2 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 17671 0 0 0 12 8 0 0 20 0 1 0 24058675 469532672 88059 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 114632 88059 1621 3002 0 98920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 458528 KiB
Current children cumulated memory: 352236 KiB
[startup+0.305867 s]*
/proc/loadavg: 4.26 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103733684/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=491528 memory=401588 CPUtime=0.29 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 25930 0 0 0 19 10 0 0 20 0 1 0 24058675 503324672 100397 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 122882 100397 1621 3002 0 107170 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 491528 KiB
Current children cumulated memory: 401588 KiB
[startup+0.700344 s]
/proc/loadavg: 4.26 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103634804/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=719388 memory=623140 CPUtime=0.68 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 63398 0 0 0 48 20 0 0 20 0 1 0 24058675 736653312 155785 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 179880 155785 1637 3002 0 164168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 719388 KiB
Current children cumulated memory: 623140 KiB
[startup+1.50034 s]
/proc/loadavg: 4.26 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103286328/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=1014640 memory=926612 CPUtime=1.49 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 115245 0 0 0 116 33 0 0 20 0 1 0 24058675 1038991360 231653 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 253660 231653 1699 3002 0 237948 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1014640 KiB
Current children cumulated memory: 926612 KiB
[startup+3.11311 s]
/proc/loadavg: 4.24 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103114808/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=1112944 memory=1021920 CPUtime=3.09 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 116700 0 0 0 271 38 0 0 20 0 1 0 24058675 1139654656 255480 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 278236 255480 1699 3002 0 262524 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1112944 KiB
Current children cumulated memory: 1021920 KiB
[startup+6.30031 s]
/proc/loadavg: 4.24 4.19 4.18 5/243 269497
/proc/meminfo: memFree=103374208/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=1664352 memory=1234808 CPUtime=6.28 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 119770 0 0 0 576 52 0 0 20 0 1 0 24058675 1704296448 308702 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 416088 308702 1715 3002 0 400376 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1664352 KiB
Current children cumulated memory: 1234808 KiB
[startup+12.7003 s]
/proc/loadavg: 4.28 4.20 4.18 5/243 269499
/proc/meminfo: memFree=101802488/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=3265440 memory=2870388 CPUtime=12.66 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 147461 0 0 0 1151 115 0 0 20 0 1 0 24058675 3343810560 717597 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 816360 717597 1917 3002 0 800109 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3265440 KiB
Current children cumulated memory: 2870388 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.19 4.18 5/243 269501
/proc/meminfo: memFree=91325304/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=14034716 memory=13361764 CPUtime=25.43 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2629361 0 0 0 2059 484 0 0 20 0 1 0 24058675 14371549184 3340441 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 3508679 3340441 3836 3002 0 3492428 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 14034716 KiB
Current children cumulated memory: 13361764 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.18 4.17 5/243 269505
/proc/meminfo: memFree=89829720/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=15349424 memory=14710932 CPUtime=50.97 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2710988 0 0 0 4501 596 0 0 20 0 1 0 24058675 15717810176 3677733 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 3837356 3677733 3868 3002 0 3821105 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 15349424 KiB
Current children cumulated memory: 14710932 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/243 269515
/proc/meminfo: memFree=88891648/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=18124160 memory=15992092 CPUtime=102.02 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2735776 0 0 0 9572 630 0 0 20 0 1 0 24058675 18559139840 3998023 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4531040 3998023 3900 3002 0 4514789 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 18124160 KiB
Current children cumulated memory: 15992092 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/243 269525
/proc/meminfo: memFree=88380152/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=161.82 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778076 0 0 0 15485 697 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/243 269535
/proc/meminfo: memFree=88368392/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=221.62 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778100 0 0 0 21450 712 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/241 269591
/proc/meminfo: memFree=89732672/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=281.41 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778125 0 0 0 27414 727 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+342.3 s]
/proc/loadavg: 4.65 4.29 4.21 5/241 269602
/proc/meminfo: memFree=80760064/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=341.2 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778149 0 0 0 33378 742 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+402.3 s]
/proc/loadavg: 4.45 4.31 4.22 5/241 269613
/proc/meminfo: memFree=79619628/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=400.99 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778170 0 0 0 39342 757 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.26 4.21 5/241 269623
/proc/meminfo: memFree=79612096/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=460.77 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2778188 0 0 0 45305 772 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
################
# More data... #
################
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 2852.46 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/245 271367
/proc/meminfo: memFree=81536756/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=2912.24 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2782863 0 0 0 290090 1134 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 2912.24 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+2982.3 s]
/proc/loadavg: 4.68 4.27 4.16 5/243 271390
/proc/meminfo: memFree=80872916/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=2972.02 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2782900 0 0 0 296063 1139 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3042.3 s]
/proc/loadavg: 4.45 4.29 4.17 5/243 271402
/proc/meminfo: memFree=80870192/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3031.81 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2782936 0 0 0 302036 1145 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.25 4.17 5/243 271412
/proc/meminfo: memFree=81455816/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3091.59 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2782974 0 0 0 308009 1150 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/242 271422
/proc/meminfo: memFree=81350012/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3151.37 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2783010 0 0 0 313982 1155 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3151.37 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/244 271437
/proc/meminfo: memFree=81336760/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3211.15 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2783049 0 0 0 319955 1160 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3211.15 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.29 4.20 5/243 271447
/proc/meminfo: memFree=81284140/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3270.93 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2783291 0 0 0 325928 1165 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.76 4.42 4.25 5/243 271459
/proc/meminfo: memFree=81273672/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146548 CPUtime=3330.71 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2783843 0 0 0 331901 1170 0 0 20 0 1 0 24058675 18311630848 4036637 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036637 3900 3002 0 4454362 0
Current children cumulated CPU time: 3330.71 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.37 4.24 5/243 271469
/proc/meminfo: memFree=81253088/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146684 CPUtime=3390.5 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2784539 0 0 0 337875 1175 0 0 20 0 1 0 24058675 18311630848 4036671 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036671 3900 3002 0 4454362 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.33 4.24 5/243 271479
/proc/meminfo: memFree=81252612/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146684 CPUtime=3450.28 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2785374 0 0 0 343848 1180 0 0 20 0 1 0 24058675 18311630848 4036671 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036671 3900 3002 0 4454362 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.28 4.22 5/241 271490
/proc/meminfo: memFree=81227004/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146684 CPUtime=3510.07 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2785928 0 0 0 349822 1185 0 0 20 0 1 0 24058675 18311630848 4036671 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036671 3900 3002 0 4454362 0
Current children cumulated CPU time: 3510.07 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.26 4.22 5/243 271504
/proc/meminfo: memFree=81101596/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146684 CPUtime=3569.84 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2785963 0 0 0 355794 1190 0 0 20 0 1 0 24058675 18311630848 4036671 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036671 3900 3002 0 4454362 0
Current children cumulated CPU time: 3569.84 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.11 4.23 4.21 5/243 271509
/proc/meminfo: memFree=81101532/131655788 swapFree=131070704/131071996
[pid=269496] ppid=269493 vsize=17882452 memory=16146684 CPUtime=3600.03 cores=1,3
/proc/269496/stat : 269496 (mixed-bag) R 269493 269496 265027 0 -1 4194304 2785982 0 0 0 358811 1192 0 0 20 0 1 0 24058675 18311630848 4036671 134679101440 4194304 16488053 140724939964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43446272 140724939965463 140724939965540 140724939965540 140724939972555 0
/proc/269496/statm: 4470613 4036671 3900 3002 0 4454362 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 17882452 KiB
Current children cumulated memory: 16146684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 269496 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3588.13 s, system=12.1249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]*
/proc/loadavg: 4.10 4.23 4.21 5/243 271509
/proc/meminfo: memFree=89318544/131655788 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 3612.81
CPU time (s): 3600.26
CPU user time (s): 3588.13
CPU system time (s): 12.1249
CPU usage (%): 99.6525
Max. virtual memory (cumulated for all children) (KiB): 19551004
Max. memory (cumulated for all children) (KiB): 17524700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.13
system time used= 12.1249
maximum resident set size= 17565852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2786339
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= 21
involuntary context switches= 1079
# summary of solver processes directly reported to runsolver:
# pid: 269496
# total CPU time (s): 3600.26
# total CPU user time (s): 3588.13
# total CPU system time (s): 12.1249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2039 second user time and 36.2614 second system time
The end
Begin job on nodeC008 at 2024-07-25 06:11:33
IDJOB=4459141
IDBENCH=178517
IDSOLVER=3083
FILE ID=nodeC008/4459141-1721880691
RUNJOBID= nodeC008-1721875931-265039
SLURM_JOB_ID= 8089228
Free space on /tmp= 723580 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459141-1721880691/watcher-4459141-1721880691 -o /tmp/evaluation-result-4459141-1721880691/solver-4459141-1721880691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265039 --watchdog 3760 mixed-bag HOME/instance-4459141-1721880691.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=860744430
nodeC008.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 : 3623.930
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.19
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.156
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.33
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.267
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.19
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 : 2600.898
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.33
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 : 3661.667
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.19
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 : 3625.050
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.33
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.19
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.164
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 104126912 kB
MemAvailable: 124327876 kB
Buffers: 301476 kB
Cached: 20659040 kB
SwapCached: 732 kB
Active: 2762264 kB
Inactive: 24045444 kB
Active(anon): 1628 kB
Inactive(anon): 5899432 kB
Active(file): 2760636 kB
Inactive(file): 18146012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 128860 kB
Writeback: 0 kB
AnonPages: 5842648 kB
Mapped: 153468 kB
Shmem: 53860 kB
KReclaimable: 268696 kB
Slab: 389152 kB
SReclaimable: 268696 kB
SUnreclaim: 120456 kB
KernelStack: 3936 kB
PageTables: 21460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6870196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2779136 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723504 MiB
End job on nodeC008 at 2024-07-25 07:11:46