runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (58113 MiB free)
memory of node 1: 64473 MiB (47239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463116-1722348076/watcher-4463116-1722348076 -o /tmp/evaluation-result-4463116-1722348076/solver-4463116-1722348076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6808 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463116-1722348076 --lp-cut-gomory=0 HOME/instance-4463116-1722348076.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=11459, runsolver pid=11456
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.17 4.19 4.17 3/245 11460
/proc/meminfo: memFree=107875512/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/11459/stat : 11459 (roundingsat) D 11456 11459 6796 0 -1 1078198272 212 0 0 0 0 0 0 0 20 0 1 0 1404814 38273024 619 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.206066 s]*
/proc/loadavg: 4.17 4.19 4.17 3/245 11460
/proc/meminfo: memFree=107872292/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/11459/stat : 11459 (roundingsat) D 11456 11459 6796 0 -1 1078198272 212 0 0 0 0 0 0 0 20 0 1 0 1404814 38273024 619 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.306135 s]*
/proc/loadavg: 4.17 4.19 4.17 3/245 11460
/proc/meminfo: memFree=107867808/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/11459/stat : 11459 (roundingsat) D 11456 11459 6796 0 -1 1078198272 212 0 0 0 0 0 0 0 20 0 1 0 1404814 38273024 619 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700197 s]
/proc/loadavg: 4.17 4.19 4.17 3/245 11460
/proc/meminfo: memFree=107862448/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/11459/stat : 11459 (roundingsat) D 11456 11459 6796 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1404814 38273024 619 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50033 s]
/proc/loadavg: 4.17 4.19 4.17 3/245 11460
/proc/meminfo: memFree=107850428/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=89120 memory=59064 CPUtime=0.42 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 12064 0 0 0 38 4 0 0 20 0 1 0 1404814 91258880 14766 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 22280 14766 1349 992 0 14138 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 59064 KiB
[startup+3.11284 s]
/proc/loadavg: 4.17 4.19 4.17 6/245 11460
/proc/meminfo: memFree=114874004/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=460760 memory=365372 CPUtime=2.02 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 31520 0 0 0 181 21 0 0 20 0 1 0 1404814 471818240 91343 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 115190 91343 1349 992 0 107048 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 460760 KiB
Current children cumulated memory: 365372 KiB
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 4.24 4.20 4.18 4/251 11482
/proc/meminfo: memFree=123252664/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=520700 memory=484344 CPUtime=5.21 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 38963 0 0 0 487 34 0 0 20 0 1 0 1404814 533196800 121086 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 130175 121086 1349 992 0 122033 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 520700 KiB
Current children cumulated memory: 484344 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.22 4.18 5/251 11529
/proc/meminfo: memFree=121883548/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=1844316 memory=1743620 CPUtime=11.59 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 101677 0 0 0 1063 96 0 0 20 0 1 0 1404814 1888579584 435905 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 461079 435905 1700 992 0 452937 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 1844316 KiB
Current children cumulated memory: 1743620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.21 4.18 5/251 11531
/proc/meminfo: memFree=121642344/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2086560 memory=1916104 CPUtime=24.35 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 106094 0 0 0 2159 276 0 0 20 0 1 0 1404814 2136637440 479026 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 521640 479026 1730 992 0 513498 0
Current children cumulated CPU time: 24.35 s
Current children cumulated vsize: 2086560 KiB
Current children cumulated memory: 1916104 KiB
[startup+51.113 s]
/proc/loadavg: 4.21 4.20 4.18 5/251 11535
/proc/meminfo: memFree=121160176/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2433744 memory=2141312 CPUtime=49.89 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 107467 0 0 0 4424 565 0 0 20 0 1 0 1404814 2492153856 535328 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 608436 535328 1745 992 0 600294 0
Current children cumulated CPU time: 49.89 s
Current children cumulated vsize: 2433744 KiB
Current children cumulated memory: 2141312 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/251 11546
/proc/meminfo: memFree=120909920/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2459576 memory=2203696 CPUtime=100.92 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 109970 0 0 0 9300 792 0 0 20 0 1 0 1404814 2518605824 550924 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 614894 550924 1839 992 0 606752 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 2459576 KiB
Current children cumulated memory: 2203696 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/249 11556
/proc/meminfo: memFree=120150072/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2469816 memory=2282652 CPUtime=160.74 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 111791 0 0 0 15261 813 0 0 20 0 1 0 1404814 2529091584 570663 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 617454 570663 1839 992 0 609312 0
Current children cumulated CPU time: 160.74 s
Current children cumulated vsize: 2469816 KiB
Current children cumulated memory: 2282652 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/250 11569
/proc/meminfo: memFree=119244256/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2469816 memory=2282944 CPUtime=220.56 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 112123 0 0 0 21243 813 0 0 20 0 1 0 1404814 2529091584 570736 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 617454 570736 1839 992 0 609312 0
Current children cumulated CPU time: 220.56 s
Current children cumulated vsize: 2469816 KiB
Current children cumulated memory: 2282944 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/247 11580
/proc/meminfo: memFree=117903092/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2819064 memory=2408584 CPUtime=280.4 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 113492 0 0 0 27053 987 0 0 20 0 1 0 1404814 2886721536 602146 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 704766 602146 1839 992 0 696624 0
Current children cumulated CPU time: 280.4 s
Current children cumulated vsize: 2819064 KiB
Current children cumulated memory: 2408584 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/247 11591
/proc/meminfo: memFree=115910028/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2864952 memory=2619840 CPUtime=340.21 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 123752 0 0 0 32697 1324 0 0 20 0 1 0 1404814 2933710848 654960 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 716238 654960 1839 992 0 708096 0
Current children cumulated CPU time: 340.21 s
Current children cumulated vsize: 2864952 KiB
Current children cumulated memory: 2619840 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/247 11603
/proc/meminfo: memFree=115103364/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2864952 memory=2619904 CPUtime=400.05 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 124065 0 0 0 38680 1325 0 0 20 0 1 0 1404814 2933710848 654976 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 716238 654976 1839 992 0 708096 0
Current children cumulated CPU time: 400.05 s
Current children cumulated vsize: 2864952 KiB
Current children cumulated memory: 2619904 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/247 11614
/proc/meminfo: memFree=114256948/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=2864952 memory=2619920 CPUtime=459.88 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 124331 0 0 0 44662 1326 0 0 20 0 1 0 1404814 2933710848 654980 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
################
# More data... #
################
/proc/11459/statm: 1219672 1066703 1839 992 0 1211530 0
Current children cumulated CPU time: 2911.34 s
Current children cumulated vsize: 4878688 KiB
Current children cumulated memory: 4266812 KiB
[startup+2982.3 s]
/proc/loadavg: 4.49 4.38 4.35 5/249 12856
/proc/meminfo: memFree=73148760/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4878688 memory=4266816 CPUtime=2971.11 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 249386 0 0 0 294546 2565 0 0 20 0 1 0 1404814 4995776512 1066704 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219672 1066704 1839 992 0 1211530 0
Current children cumulated CPU time: 2971.11 s
Current children cumulated vsize: 4878688 KiB
Current children cumulated memory: 4266816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.32 4.34 4.34 5/250 12868
/proc/meminfo: memFree=72191712/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4878688 memory=4266816 CPUtime=3030.9 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 249810 0 0 0 300524 2566 0 0 20 0 1 0 1404814 4995776512 1066704 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219672 1066704 1839 992 0 1211530 0
Current children cumulated CPU time: 3030.9 s
Current children cumulated vsize: 4878688 KiB
Current children cumulated memory: 4266816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.29 4.33 5/250 12880
/proc/meminfo: memFree=71445472/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4878688 memory=4266828 CPUtime=3090.67 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 250222 0 0 0 306499 2568 0 0 20 0 1 0 1404814 4995776512 1066707 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219672 1066707 1839 992 0 1211530 0
Current children cumulated CPU time: 3090.67 s
Current children cumulated vsize: 4878688 KiB
Current children cumulated memory: 4266828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.25 4.31 5/251 12892
/proc/meminfo: memFree=70396048/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4878688 memory=4266832 CPUtime=3150.44 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 250549 0 0 0 312474 2570 0 0 20 0 1 0 1404814 4995776512 1066708 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219672 1066708 1839 992 0 1211530 0
Current children cumulated CPU time: 3150.44 s
Current children cumulated vsize: 4878688 KiB
Current children cumulated memory: 4266832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.22 4.29 5/251 12902
/proc/meminfo: memFree=69068568/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266868 CPUtime=3210.24 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 250933 0 0 0 318452 2572 0 0 20 0 1 0 1404814 4996321280 1066717 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066717 1839 992 0 1211663 0
Current children cumulated CPU time: 3210.24 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.27 4.30 5/254 13299
/proc/meminfo: memFree=68129400/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266868 CPUtime=3270.03 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 251379 0 0 0 324429 2574 0 0 20 0 1 0 1404814 4996321280 1066717 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066717 1839 992 0 1211663 0
Current children cumulated CPU time: 3270.03 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.23 4.28 5/254 13309
/proc/meminfo: memFree=67151264/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266868 CPUtime=3329.84 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 251657 0 0 0 330408 2576 0 0 20 0 1 0 1404814 4996321280 1066717 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066717 1839 992 0 1211663 0
Current children cumulated CPU time: 3329.84 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.20 4.27 5/254 13320
/proc/meminfo: memFree=66418056/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266868 CPUtime=3389.64 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 252107 0 0 0 336387 2577 0 0 20 0 1 0 1404814 4996321280 1066717 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066717 1839 992 0 1211663 0
Current children cumulated CPU time: 3389.64 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.27 4.29 5/253 13499
/proc/meminfo: memFree=65157108/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266868 CPUtime=3449.42 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 252509 0 0 0 342363 2579 0 0 20 0 1 0 1404814 4996321280 1066717 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066717 1839 992 0 1211663 0
Current children cumulated CPU time: 3449.42 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.24 4.27 5/253 13511
/proc/meminfo: memFree=63971856/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266872 CPUtime=3509.19 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 252804 0 0 0 348338 2581 0 0 20 0 1 0 1404814 4996321280 1066718 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066718 1839 992 0 1211663 0
Current children cumulated CPU time: 3509.19 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.22 4.26 5/253 13527
/proc/meminfo: memFree=63136804/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4879220 memory=4266872 CPUtime=3568.97 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 253194 0 0 0 354315 2582 0 0 20 0 1 0 1404814 4996321280 1066718 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1219805 1066718 1839 992 0 1211663 0
Current children cumulated CPU time: 3568.97 s
Current children cumulated vsize: 4879220 KiB
Current children cumulated memory: 4266872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 3.96 4.17 4.24 4/245 13574
/proc/meminfo: memFree=88690900/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4881908 memory=4269728 CPUtime=3600.05 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 258223 0 0 0 357265 2740 0 0 20 0 1 0 1404814 4999073792 1067432 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1220477 1067432 1839 992 0 1212335 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4881908 KiB
Current children cumulated memory: 4269728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.05 s]
# the end of solver process 11459 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.08 s, system=27.4754 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 3.96 4.17 4.24 4/245 13574
/proc/meminfo: memFree=88690900/131655788 swapFree=131071996/131071996
[pid=11459] ppid=11456 vsize=4406516 memory=3795376 CPUtime=3600.09 cores=0,2
/proc/11459/stat : 11459 (roundingsat) R 11456 11459 6796 0 -1 4194304 258237 0 0 0 357268 2741 0 0 20 0 1 0 1404814 4512272384 948844 134679101440 4194304 8255733 140734176835632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 8 0 0 9037040 9046032 22720512 140734176838494 140734176838756 140734176838756 140734176845769 0
/proc/11459/statm: 1101629 948844 1925 992 0 1093487 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4406516 KiB
Current children cumulated memory: 3795376 KiB
[startup+3614 s]*
/proc/loadavg: 3.96 4.17 4.24 4/246 13575
/proc/meminfo: memFree=89686416/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3614.05
CPU time (s): 3600.55
CPU user time (s): 3573.08
CPU system time (s): 27.4754
CPU usage (%): 99.6264
Max. virtual memory (cumulated for all children) (KiB): 4881908
Max. memory (cumulated for all children) (KiB): 4269728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.08
system time used= 27.4754
maximum resident set size= 4269728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4399312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1428
involuntary context switches= 25426
# summary of solver processes directly reported to runsolver:
# pid: 11459
# total CPU time (s): 3600.55
# total CPU user time (s): 3573.08
# total CPU system time (s): 27.4754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5196 second user time and 37.0354 second system time
The end
Begin job on nodeC005 at 2024-07-30 16:01:18
IDJOB=4463116
IDBENCH=160496
IDSOLVER=3089
FILE ID=nodeC005/4463116-1722348076
RUNJOBID= nodeC005-1722340763-6808
SLURM_JOB_ID= 8248985
Free space on /tmp= 723632 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463116-1722348076/watcher-4463116-1722348076 -o /tmp/evaluation-result-4463116-1722348076/solver-4463116-1722348076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6808 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463116-1722348076 --lp-cut-gomory=0 HOME/instance-4463116-1722348076.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e33a6540182d2687f15b6bd9bbee190
RANDOM SEED=1778411649
nodeC005.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.540
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.72
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.433
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2993.339
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.72
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.342
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.013
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.72
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 : 3674.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.413
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.72
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.553
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 107882852 kB
MemAvailable: 128129824 kB
Buffers: 53072 kB
Cached: 21008076 kB
SwapCached: 0 kB
Active: 199844 kB
Inactive: 23097276 kB
Active(anon): 1452 kB
Inactive(anon): 2255888 kB
Active(file): 198392 kB
Inactive(file): 20841388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 225120 kB
Writeback: 0 kB
AnonPages: 2233516 kB
Mapped: 94096 kB
Shmem: 21320 kB
KReclaimable: 94780 kB
Slab: 173220 kB
SReclaimable: 94780 kB
SUnreclaim: 78440 kB
KernelStack: 3952 kB
PageTables: 13540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2687600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1562624 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: 160584 kB
DirectMap2M: 6035456 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC005 at 2024-07-30 17:01:32