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 (63050 MiB free)
memory of node 1: 64510 MiB (62390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445230-1721318023/watcher-4445230-1721318023 -o /tmp/evaluation-result-4445230-1721318023/solver-4445230-1721318023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721317952-963713 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445230-1721318023.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
Current StackSize limit: 8192 KiB
solver pid=965447, runsolver pid=965444
[startup+0.100091 s]*
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128449632/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=37664 memory=8392 CPUtime=0.1 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 524 0 0 0 9 1 0 0 20 0 1 0 183960306 38567936 2098 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 9416 2098 1793 922 0 1368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 8392 KiB
[startup+0.212712 s]*
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128448792/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=38068 memory=8920 CPUtime=0.22 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 674 0 0 0 20 2 0 0 20 0 1 0 183960306 38981632 2230 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 9517 2230 1793 922 0 1469 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8920 KiB
[startup+0.311961 s]*
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128448344/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=38204 memory=9448 CPUtime=0.31 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 757 0 0 0 28 3 0 0 20 0 1 0 183960306 39120896 2362 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 9551 2362 1793 922 0 1503 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38204 KiB
Current children cumulated memory: 9448 KiB
[startup+0.70023 s]
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128447532/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=38760 memory=10240 CPUtime=0.69 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 983 0 0 0 65 4 0 0 20 0 1 0 183960306 39690240 2560 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 9690 2560 1793 922 0 1642 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38760 KiB
Current children cumulated memory: 10240 KiB
[startup+1.50025 s]
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128446292/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=39168 memory=10964 CPUtime=1.49 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 1187 0 0 0 142 7 0 0 20 0 1 0 183960306 40108032 2741 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 9792 2741 1793 922 0 1744 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 10964 KiB
[startup+3.1121 s]
/proc/loadavg: 3.69 3.76 3.98 5/244 965448
/proc/meminfo: memFree=128442572/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=40016 memory=14120 CPUtime=3.09 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 1429 0 0 0 295 14 0 0 20 0 1 0 183960306 40976384 3530 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 10004 3530 1809 922 0 1956 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40016 KiB
Current children cumulated memory: 14120 KiB
[startup+6.30023 s]
/proc/loadavg: 3.71 3.76 3.99 5/244 965448
/proc/meminfo: memFree=128440076/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=41280 memory=15172 CPUtime=6.27 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 1716 0 0 0 605 22 0 0 20 0 1 0 183960306 42270720 3793 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 10320 3793 1809 922 0 2272 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41280 KiB
Current children cumulated memory: 15172 KiB
[startup+12.7002 s]
/proc/loadavg: 3.74 3.77 3.99 5/244 965449
/proc/meminfo: memFree=128434388/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=45600 memory=19984 CPUtime=12.66 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 2351 0 0 0 1233 33 0 0 20 0 1 0 183960306 46694400 4996 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 11400 4996 1809 922 0 3352 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 19984 KiB
[startup+25.5003 s]
/proc/loadavg: 3.79 3.78 3.99 5/244 965451
/proc/meminfo: memFree=128425504/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=49156 memory=22792 CPUtime=25.42 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 2966 0 0 0 2480 62 0 0 20 0 1 0 183960306 50335744 5698 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 12289 5698 1927 922 0 4241 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 49156 KiB
Current children cumulated memory: 22792 KiB
[startup+51.1129 s]
/proc/loadavg: 3.94 3.81 4.00 5/244 965455
/proc/meminfo: memFree=128405888/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=64872 memory=31100 CPUtime=50.94 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 4570 0 0 0 4999 95 0 0 20 0 1 0 183960306 66428928 7775 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 16218 7775 1927 922 0 8170 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 64872 KiB
Current children cumulated memory: 31100 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.86 4.00 5/244 965465
/proc/meminfo: memFree=128396800/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=65856 memory=34980 CPUtime=101.93 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 5011 0 0 0 10057 136 0 0 20 0 1 0 183960306 67436544 8745 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 16464 8745 1927 922 0 8416 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 34980 KiB
[startup+162.3 s]
/proc/loadavg: 4.89 4.10 4.07 5/244 965860
/proc/meminfo: memFree=128367064/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=68628 memory=36552 CPUtime=161.69 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 5404 0 0 0 15968 201 0 0 20 0 1 0 183960306 70275072 9138 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 17157 9138 1927 922 0 9109 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 68628 KiB
Current children cumulated memory: 36552 KiB
[startup+222.3 s]
/proc/loadavg: 5.11 4.32 4.15 5/244 965871
/proc/meminfo: memFree=128343400/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=72324 memory=42852 CPUtime=221.46 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 6076 0 0 0 21912 234 0 0 20 0 1 0 183960306 74059776 10713 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 18081 10713 1927 922 0 10033 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 72324 KiB
Current children cumulated memory: 42852 KiB
[startup+282.3 s]
/proc/loadavg: 4.80 4.37 4.18 5/243 965881
/proc/meminfo: memFree=128341596/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=72548 memory=43112 CPUtime=281.23 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 6155 0 0 0 27834 289 0 0 20 0 1 0 183960306 74289152 10778 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 18137 10778 1927 922 0 10089 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 43112 KiB
[startup+342.3 s]
/proc/loadavg: 4.70 4.41 4.20 5/244 966062
/proc/meminfo: memFree=128340432/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=72548 memory=43112 CPUtime=340.99 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 6173 0 0 0 33742 357 0 0 20 0 1 0 183960306 74289152 10778 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 18137 10778 1927 922 0 10089 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 43112 KiB
[startup+402.3 s]
/proc/loadavg: 4.74 4.47 4.24 5/244 966072
/proc/meminfo: memFree=128333252/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=73796 memory=43744 CPUtime=400.76 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 6405 0 0 0 39674 402 0 0 20 0 1 0 183960306 75567104 10936 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 18449 10936 1927 922 0 10401 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 73796 KiB
Current children cumulated memory: 43744 KiB
[startup+462.3 s]
/proc/loadavg: 4.65 4.49 4.26 5/244 966097
/proc/meminfo: memFree=128316120/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=74820 memory=46784 CPUtime=460.54 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 6613 0 0 0 45609 445 0 0 20 0 1 0 183960306 76615680 11696 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 18705 11696 1927 922 0 10657 0
################
# More data... #
################
Current children cumulated memory: 82552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/242 967391
/proc/meminfo: memFree=128076128/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=126824 memory=82552 CPUtime=2911.61 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13431 0 0 0 289725 1436 0 0 20 0 1 0 183960306 129867776 20638 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31706 20638 1927 922 0 23658 0
Current children cumulated CPU time: 2911.61 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 82552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 967401
/proc/meminfo: memFree=128073216/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=126824 memory=82552 CPUtime=2971.42 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13462 0 0 0 295681 1461 0 0 20 0 1 0 183960306 129867776 20638 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31706 20638 1927 922 0 23658 0
Current children cumulated CPU time: 2971.42 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 82552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 967412
/proc/meminfo: memFree=128071300/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=126824 memory=82572 CPUtime=3031.23 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13495 0 0 0 301635 1488 0 0 20 0 1 0 183960306 129867776 20643 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31706 20643 1927 922 0 23658 0
Current children cumulated CPU time: 3031.23 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 82572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/242 967424
/proc/meminfo: memFree=128061212/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=126824 memory=82572 CPUtime=3091.01 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13534 0 0 0 307588 1513 0 0 20 0 1 0 183960306 129867776 20643 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31706 20643 1927 922 0 23658 0
Current children cumulated CPU time: 3091.01 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 82572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 967435
/proc/meminfo: memFree=128053700/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127136 memory=83024 CPUtime=3150.79 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13645 0 0 0 313545 1534 0 0 20 0 1 0 183960306 130187264 20756 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31784 20756 1927 922 0 23736 0
Current children cumulated CPU time: 3150.79 s
Current children cumulated vsize: 127136 KiB
Current children cumulated memory: 83024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/241 967446
/proc/meminfo: memFree=128045620/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127392 memory=83196 CPUtime=3210.56 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13736 0 0 0 319513 1543 0 0 20 0 1 0 183960306 130449408 20799 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31848 20799 1927 922 0 23800 0
Current children cumulated CPU time: 3210.56 s
Current children cumulated vsize: 127392 KiB
Current children cumulated memory: 83196 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 967456
/proc/meminfo: memFree=128034816/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127392 memory=85364 CPUtime=3270.32 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13784 0 0 0 325472 1560 0 0 20 0 1 0 183960306 130449408 21341 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31848 21341 1927 922 0 23800 0
Current children cumulated CPU time: 3270.32 s
Current children cumulated vsize: 127392 KiB
Current children cumulated memory: 85364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 967469
/proc/meminfo: memFree=128033180/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127392 memory=85440 CPUtime=3330.08 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13836 0 0 0 331430 1578 0 0 20 0 1 0 183960306 130449408 21360 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31848 21360 1927 922 0 23800 0
Current children cumulated CPU time: 3330.08 s
Current children cumulated vsize: 127392 KiB
Current children cumulated memory: 85440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 967480
/proc/meminfo: memFree=128028156/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127392 memory=87580 CPUtime=3389.85 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 13895 0 0 0 337392 1593 0 0 20 0 1 0 183960306 130449408 21895 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31848 21895 1927 922 0 23800 0
Current children cumulated CPU time: 3389.85 s
Current children cumulated vsize: 127392 KiB
Current children cumulated memory: 87580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 967495
/proc/meminfo: memFree=128026272/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127720 memory=87992 CPUtime=3449.61 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 14024 0 0 0 343360 1601 0 0 20 0 1 0 183960306 130785280 21998 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31930 21998 1927 922 0 23882 0
Current children cumulated CPU time: 3449.61 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 87992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 967507
/proc/meminfo: memFree=128022240/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127720 memory=87992 CPUtime=3509.38 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 14053 0 0 0 349323 1615 0 0 20 0 1 0 183960306 130785280 21998 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31930 21998 1927 922 0 23882 0
Current children cumulated CPU time: 3509.38 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 87992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/238 967598
/proc/meminfo: memFree=127997488/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127720 memory=87992 CPUtime=3569.13 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 14083 0 0 0 355271 1642 0 0 20 0 1 0 183960306 130785280 21998 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31930 21998 1927 922 0 23882 0
Current children cumulated CPU time: 3569.13 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 87992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/244 967614
/proc/meminfo: memFree=127862008/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127720 memory=87992 CPUtime=3600.01 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 14083 0 0 0 358345 1656 0 0 20 0 1 0 183960306 130785280 21998 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31930 21998 1927 922 0 23882 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 87992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.3 s]
# the end of solver process 965447 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3583.46 s, system=16.5694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/244 967614
/proc/meminfo: memFree=127862008/131655788 swapFree=131071996/131071996
[pid=965447] ppid=965444 vsize=127720 memory=87992 CPUtime=3600.01 cores=0,2
/proc/965447/stat : 965447 (roundingsat) R 965444 965447 963703 0 -1 4194304 14083 0 0 0 358345 1656 0 0 20 0 1 0 183960306 130785280 21998 134679101440 4194304 7968869 140732828788448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 26935296 140732828795837 140732828796001 140732828796001 140732828803017 0
/proc/965447/statm: 31930 21998 1927 922 0 23882 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 87992 KiB
Child status: 1
Real time (s): 3613.3
CPU time (s): 3600.03
CPU user time (s): 3583.46
CPU system time (s): 16.5694
CPU usage (%): 99.6325
Max. virtual memory (cumulated for all children) (KiB): 127720
Max. memory (cumulated for all children) (KiB): 87992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.46
system time used= 16.5694
maximum resident set size= 87992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14091
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= 32
involuntary context switches= 24684
# summary of solver processes directly reported to runsolver:
# pid: 965447
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.46
# total CPU system time (s): 16.5694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3057 second user time and 34.689 second system time
The end
Begin job on nodeC002 at 2024-07-18 17:53:55
IDJOB=4445230
IDBENCH=148104
IDSOLVER=3051
FILE ID=nodeC002/4445230-1721318023
RUNJOBID= nodeC002-1721317952-963713
SLURM_JOB_ID= 7542670
Free space on /tmp= 723768 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445230-1721318023/watcher-4445230-1721318023 -o /tmp/evaluation-result-4445230-1721318023/solver-4445230-1721318023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721317952-963713 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445230-1721318023.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=2126586861
nodeC002.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 : 3491.723
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.38
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 : 3649.976
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.154
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.38
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.298
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 : 3654.545
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.38
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 : 3649.994
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.295
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.38
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.215
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: 128451816 kB
MemAvailable: 129851536 kB
Buffers: 522084 kB
Cached: 1705256 kB
SwapCached: 0 kB
Active: 933872 kB
Inactive: 1697168 kB
Active(anon): 2692 kB
Inactive(anon): 438720 kB
Active(file): 931180 kB
Inactive(file): 1258448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16000 kB
Writeback: 36 kB
AnonPages: 403480 kB
Mapped: 116164 kB
Shmem: 37704 kB
KReclaimable: 100244 kB
Slab: 203496 kB
SReclaimable: 100244 kB
SUnreclaim: 103252 kB
KernelStack: 3920 kB
PageTables: 9888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 754352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC002 at 2024-07-18 18:54:09