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: 63708 MiB (61925 MiB free)
memory of node 1: 64465 MiB (61087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528085-1752245962/watcher-4528085-1752245962 -o /tmp/evaluation-result-4528085-1752245962/solver-4528085-1752245962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141648 --watchdog 3760 pb_picat HOME/instance-4528085-1752245962.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=142004, runsolver pid=141997
[startup+0.10006 s]*
/proc/loadavg: 4.37 4.29 4.17 4/260 142021
/proc/meminfo: memFree=125974728/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2029388 memory=21772 CPUtime=0.08 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 1449 0 0 0 8 0 0 0 20 0 1 0 140274651 2078093312 5443 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507347 5443 1664 343 0 504411 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 21772 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.37 4.29 4.17 4/258 142036
/proc/meminfo: memFree=125980792/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2029388 memory=22156 CPUtime=0.18 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 1555 0 0 0 18 0 0 0 20 0 1 0 140274651 2078093312 5539 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507347 5539 1664 343 0 504411 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 22156 KiB
[startup+0.304836 s]*
/proc/loadavg: 4.37 4.29 4.17 3/260 142055
/proc/meminfo: memFree=125997092/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2029392 memory=22024 CPUtime=0.27 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 1734 0 0 0 27 0 0 0 20 0 1 0 140274651 2078097408 5506 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507348 5506 1664 343 0 504412 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2029392 KiB
Current children cumulated memory: 22024 KiB
[startup+0.700108 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2029920 memory=22032 CPUtime=0.66 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 2587 0 0 0 66 0 0 0 20 0 1 0 140274651 2078638080 5508 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507480 5508 1664 343 0 504544 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2029920 KiB
Current children cumulated memory: 22032 KiB
[startup+1.50011 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2030724 memory=22464 CPUtime=1.45 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 4437 0 0 0 145 0 0 0 20 0 1 0 140274651 2079461376 5616 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507681 5616 1664 343 0 504745 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2030724 KiB
Current children cumulated memory: 22464 KiB
[startup+3.10497 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125969452/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2031372 memory=23632 CPUtime=3.06 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 9009 0 0 0 305 1 0 0 20 0 1 0 140274651 2080124928 5908 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 507843 5908 1664 343 0 504907 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2031372 KiB
Current children cumulated memory: 23632 KiB
[startup+6.30012 s]
/proc/loadavg: 4.34 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125968348/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2036492 memory=26968 CPUtime=6.25 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 16892 0 0 0 623 2 0 0 20 0 1 0 140274651 2085367808 6742 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 509123 6742 1664 343 0 506187 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2036492 KiB
Current children cumulated memory: 26968 KiB
[startup+12.7001 s]
/proc/loadavg: 4.31 4.28 4.17 5/264 142069
/proc/meminfo: memFree=125956140/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2040204 memory=28444 CPUtime=12.63 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 33446 0 0 0 1259 4 0 0 20 0 1 0 140274651 2089168896 7111 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 510051 7111 1664 343 0 507115 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2040204 KiB
Current children cumulated memory: 28444 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.29 4.17 5/264 142069
/proc/meminfo: memFree=125959432/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2041164 memory=29804 CPUtime=25.4 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 60365 0 0 0 2531 9 0 0 20 0 1 0 140274651 2090151936 7451 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 510291 7451 1664 343 0 507355 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2041164 KiB
Current children cumulated memory: 29804 KiB
[startup+51.1053 s]
/proc/loadavg: 4.20 4.26 4.17 5/264 142069
/proc/meminfo: memFree=125942308/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2041296 memory=32272 CPUtime=50.94 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 101193 0 0 0 5076 18 0 0 20 0 1 0 140274651 2090287104 8068 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 510324 8068 1664 343 0 507388 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2041296 KiB
Current children cumulated memory: 32272 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/263 142082
/proc/meminfo: memFree=125930988/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2054240 memory=39548 CPUtime=102.01 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 162377 0 0 0 10168 33 0 0 20 0 1 0 140274651 2103541760 9887 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 513560 9887 1664 343 0 510624 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2054240 KiB
Current children cumulated memory: 39548 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/262 142084
/proc/meminfo: memFree=125925880/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062576 memory=48824 CPUtime=161.87 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 210368 0 0 0 16140 47 0 0 20 0 1 0 140274651 2112077824 12206 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515644 12206 1664 343 0 512708 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2062576 KiB
Current children cumulated memory: 48824 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/262 142086
/proc/meminfo: memFree=125920548/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062576 memory=46456 CPUtime=221.72 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 242600 0 0 0 22116 56 0 0 20 0 1 0 140274651 2112077824 11614 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515644 11614 1664 343 0 512708 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2062576 KiB
Current children cumulated memory: 46456 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/262 142089
/proc/meminfo: memFree=125915592/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2054520 memory=42312 CPUtime=281.58 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 272238 0 0 0 28093 65 0 0 20 0 1 0 140274651 2103828480 10578 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 513630 10578 1664 343 0 510694 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2054520 KiB
Current children cumulated memory: 42312 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/262 142091
/proc/meminfo: memFree=125908588/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=45704 CPUtime=341.43 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 297978 0 0 0 34070 73 0 0 20 0 1 0 140274651 2112360448 11426 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 11426 1664 343 0 512777 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 45704 KiB
[startup+390.126 s]
# the end of solver process 142004 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=388.354 s, system=0.793894 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.08 4.16 4.15 5/262 142091
/proc/meminfo: memFree=125907832/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=45320 CPUtime=357.49 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 304147 0 0 0 35674 75 0 0 20 0 1 0 140274651 2112360448 11330 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 11330 1664 343 0 512777 0
Current children cumulated CPU time: 357.49 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 45320 KiB
[startup+371.2 s]
/proc/loadavg: 4.14 4.16 4.15 5/263 142099
/proc/meminfo: memFree=125907472/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=49160 CPUtime=370.26 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 308910 0 0 0 36950 76 0 0 20 0 1 0 140274651 2112360448 12290 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 12290 1664 343 0 512777 0
Current children cumulated CPU time: 370.26 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 49160 KiB
[startup+377.6 s]
/proc/loadavg: 4.13 4.16 4.15 5/263 142099
/proc/meminfo: memFree=125905188/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=49160 CPUtime=376.64 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 312349 0 0 0 37587 77 0 0 20 0 1 0 140274651 2112360448 12290 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 12290 1664 343 0 512777 0
Current children cumulated CPU time: 376.64 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 49160 KiB
[startup+384 s]*
/proc/loadavg: 4.12 4.16 4.15 5/263 142100
/proc/meminfo: memFree=125907552/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=47000 CPUtime=383.03 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 315408 0 0 0 38225 78 0 0 20 0 1 0 140274651 2112360448 11750 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 11750 1664 343 0 512777 0
Current children cumulated CPU time: 383.03 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 47000 KiB
[startup+387.2 s]
/proc/loadavg: 4.11 4.16 4.15 5/263 142100
/proc/meminfo: memFree=125907560/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=46488 CPUtime=386.22 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 316254 0 0 0 38544 78 0 0 20 0 1 0 140274651 2112360448 11622 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 11622 1664 343 0 512777 0
Current children cumulated CPU time: 386.22 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 46488 KiB
[startup+388.8 s]
/proc/loadavg: 4.11 4.16 4.15 5/263 142100
/proc/meminfo: memFree=125907560/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2062852 memory=49176 CPUtime=387.81 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 316387 0 0 0 38703 78 0 0 20 0 1 0 140274651 2112360448 12294 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 515713 12294 1664 343 0 512777 0
Current children cumulated CPU time: 387.81 s
Current children cumulated vsize: 2062852 KiB
Current children cumulated memory: 49176 KiB
[startup+389.6 s]
/proc/loadavg: 4.11 4.16 4.15 5/263 142100
/proc/meminfo: memFree=125907560/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2079236 memory=54296 CPUtime=388.61 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 316645 0 0 0 38783 78 0 0 20 0 1 0 140274651 2129137664 13574 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 519809 13574 1664 343 0 516873 0
Current children cumulated CPU time: 388.61 s
Current children cumulated vsize: 2079236 KiB
Current children cumulated memory: 54296 KiB
[startup+390 s]*
/proc/loadavg: 4.10 4.15 4.15 5/263 142100
/proc/meminfo: memFree=125907560/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2054660 memory=45080 CPUtime=389.02 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 318098 0 0 0 38823 79 0 0 20 0 1 0 140274651 2103971840 11270 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 513665 11270 1664 343 0 510729 0
Current children cumulated CPU time: 389.02 s
Current children cumulated vsize: 2054660 KiB
Current children cumulated memory: 45080 KiB
[startup+390.105 s]
/proc/loadavg: 4.10 4.15 4.15 5/263 142100
/proc/meminfo: memFree=125907560/131249996 swapFree=33010160/33010684
[pid=142004] ppid=141997 vsize=2054660 memory=45080 CPUtime=389.12 cores=5,7
/proc/142004/stat : 142004 (pb_picat) R 141997 142004 116643 0 -1 4194304 318098 0 0 0 38833 79 0 0 20 0 1 0 140274651 2103971840 11270 18446744073709551615 94492166008832 94492167410413 140726872569200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94492167681840 94492169556080 94492178300928 140726872574364 140726872574440 140726872574440 140726872580044 0
/proc/142004/statm: 513665 11270 1664 343 0 510729 0
Current children cumulated CPU time: 389.12 s
Current children cumulated vsize: 2054660 KiB
Current children cumulated memory: 45080 KiB
Child status: 0
Real time (s): 390.126
CPU time (s): 389.147
CPU user time (s): 388.354
CPU system time (s): 0.793894
CPU usage (%): 99.7493
Max. virtual memory (cumulated for all children) (KiB): 2079236
Max. memory (cumulated for all children) (KiB): 57352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.354
system time used= 0.793894
maximum resident set size= 57352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318107
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= 94
involuntary context switches= 562
# summary of solver processes directly reported to runsolver:
# pid: 142004
# total CPU time (s): 389.147
# total CPU user time (s): 388.354
# total CPU system time (s): 0.793894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.667632 second user time and 1.61085 second system time
The end
Begin job on nodeC029 at 2025-07-11 16:59:22
IDJOB=4528085
IDBENCH=162346
IDSOLVER=3385
FILE ID=nodeC029/4528085-1752245962
RUNJOBID= nodeC029-1752242351-141648
SLURM_JOB_ID= 9682547
Free space on /tmp= 432192 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528085-1752245962/watcher-4528085-1752245962 -o /tmp/evaluation-result-4528085-1752245962/solver-4528085-1752245962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141648 --watchdog 3760 pb_picat HOME/instance-4528085-1752245962.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=363560380
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 0xb00002a
cpu MHz : 2203.629
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3599.727
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 2390.661
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3600.634
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3600.422
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3597.923
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3066.964
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 0xb00002a
cpu MHz : 3599.718
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125965764 kB
MemAvailable: 129635732 kB
Buffers: 2128 kB
Cached: 4457064 kB
SwapCached: 40 kB
Active: 571592 kB
Inactive: 4013832 kB
Active(anon): 139488 kB
Inactive(anon): 4764 kB
Active(file): 432104 kB
Inactive(file): 4009068 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3656 kB
Writeback: 16 kB
AnonPages: 128888 kB
Mapped: 110912 kB
Shmem: 18020 kB
KReclaimable: 136068 kB
Slab: 229636 kB
SReclaimable: 136068 kB
SUnreclaim: 93568 kB
KernelStack: 4188 kB
PageTables: 3496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2407208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432196 MiB
End job on nodeC029 at 2025-07-11 17:05:52