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 (62543 MiB free)
memory of node 1: 64465 MiB (60548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528063-1752245648/watcher-4528063-1752245648 -o /tmp/evaluation-result-4528063-1752245648/solver-4528063-1752245648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752245648-116291 --watchdog 3760 pb_picat HOME/instance-4528063-1752245648.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=116348, runsolver pid=116340
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.90 3.80 3.99 5/266 116353
/proc/meminfo: memFree=125923212/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2027148 memory=47508 CPUtime=0.09 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 1263 0 0 0 8 1 0 0 20 0 1 0 140239520 2075799552 11877 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 506787 11877 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 47508 KiB
[startup+0.205363 s]*
/proc/loadavg: 2.90 3.80 3.99 5/266 116353
/proc/meminfo: memFree=125800584/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2027148 memory=84436 CPUtime=0.19 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 1297 0 0 0 17 2 0 0 20 0 1 0 140239520 2075799552 21109 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 506787 21109 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 84436 KiB
[startup+0.305273 s]*
/proc/loadavg: 2.90 3.80 3.99 5/266 116353
/proc/meminfo: memFree=125681800/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2027148 memory=113108 CPUtime=0.29 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 1311 0 0 0 27 2 0 0 20 0 1 0 140239520 2075799552 28277 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 506787 28277 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 113108 KiB
[startup+0.700171 s]
/proc/loadavg: 3.07 3.82 4.00 5/266 116353
/proc/meminfo: memFree=125452172/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2027148 memory=231892 CPUtime=0.68 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 1369 0 0 0 63 5 0 0 20 0 1 0 140239520 2075799552 57973 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 506787 57973 1600 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 231892 KiB
[startup+1.50017 s]
/proc/loadavg: 3.07 3.82 4.00 5/266 116353
/proc/meminfo: memFree=124915348/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2042776 memory=449128 CPUtime=1.48 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 1512 0 0 0 139 9 0 0 20 0 1 0 140239520 2091802624 112282 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 510694 112282 1600 343 0 507758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 449128 KiB
[startup+3.10516 s]
/proc/loadavg: 3.07 3.82 4.00 5/266 116353
/proc/meminfo: memFree=123110872/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2058404 memory=820340 CPUtime=3.09 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 2475 0 0 0 293 16 0 0 20 0 1 0 140239520 2107805696 205085 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 514601 205085 1600 343 0 511665 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 820340 KiB
[startup+6.30016 s]
/proc/loadavg: 3.14 3.82 4.00 5/266 116353
/proc/meminfo: memFree=121220128/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=2854328 memory=1241776 CPUtime=6.27 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 8498 0 0 0 601 26 0 0 20 0 1 0 140239520 2922831872 310444 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 713582 310444 1600 343 0 710646 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2854328 KiB
Current children cumulated memory: 1241776 KiB
[startup+12.7002 s]
/proc/loadavg: 3.21 3.83 4.00 5/266 116353
/proc/meminfo: memFree=116793996/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=3179392 memory=1802696 CPUtime=12.65 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 11942 0 0 0 1221 44 0 0 20 0 1 0 140239520 3255697408 450674 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 794848 450674 1600 343 0 791912 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3179392 KiB
Current children cumulated memory: 1802696 KiB
[startup+25.5002 s]
/proc/loadavg: 3.33 3.83 4.00 5/266 116353
/proc/meminfo: memFree=113654116/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=3195016 memory=2621464 CPUtime=25.42 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 13100 0 0 0 2479 63 0 0 20 0 1 0 140239520 3271696384 655366 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 798754 655366 1600 343 0 795818 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3195016 KiB
Current children cumulated memory: 2621464 KiB
[startup+51.1051 s]
/proc/loadavg: 3.71 3.88 4.01 5/266 116353
/proc/meminfo: memFree=108995728/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=4641860 memory=3516284 CPUtime=50.96 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 16578 0 0 0 5002 94 0 0 20 0 1 0 140239520 4753264640 879071 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 1160465 879071 1600 343 0 1157529 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4641860 KiB
Current children cumulated memory: 3516284 KiB
[startup+102.3 s]
/proc/loadavg: 3.88 3.90 4.00 5/266 116362
/proc/meminfo: memFree=102130320/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=6833880 memory=5688564 CPUtime=101.95 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 45257 0 0 0 9559 636 0 0 20 0 1 0 140239520 6997893120 1422141 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 1708470 1422141 1600 343 0 1705534 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 6833880 KiB
Current children cumulated memory: 5688564 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 3.95 4.01 5/266 116364
/proc/meminfo: memFree=88488528/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=11216536 memory=9981828 CPUtime=161.73 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 92235 0 0 0 14480 1693 0 0 20 0 1 0 140239520 11485732864 2495457 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 2804134 2495457 1600 343 0 2801198 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 11216536 KiB
Current children cumulated memory: 9981828 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.98 4.01 5/265 116366
/proc/meminfo: memFree=85993492/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=11233000 memory=10096596 CPUtime=221.48 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 125348 0 0 0 19598 2550 0 0 20 0 1 0 140239520 11502592000 2524149 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 2808250 2524149 1600 343 0 2805314 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 11233000 KiB
Current children cumulated memory: 10096596 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.01 4.02 5/265 116368
/proc/meminfo: memFree=75271884/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=17093112 memory=10699232 CPUtime=281.28 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 135701 0 0 0 25373 2755 0 0 20 0 1 0 140239520 17503346688 2674808 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 4273278 2674808 1600 343 0 4270342 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 17093112 KiB
Current children cumulated memory: 10699232 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.02 4.02 5/264 116461
/proc/meminfo: memFree=79480408/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=24929944 memory=18519528 CPUtime=341.08 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 161460 0 0 0 30789 3319 0 0 20 0 1 0 140239520 25528262656 4629882 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 6232486 4629882 1600 343 0 6229550 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 24929944 KiB
Current children cumulated memory: 18519528 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.03 4.02 5/263 116507
/proc/meminfo: memFree=106302572/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=17136384 memory=10737552 CPUtime=400.92 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 207545 0 0 0 35512 4580 0 0 20 0 1 0 140239520 17547657216 2684388 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 4284096 2684388 1600 343 0 4281160 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 17136384 KiB
Current children cumulated memory: 10737552 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.07 4.03 5/263 116520
/proc/meminfo: memFree=107564708/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=17163104 memory=10766460 CPUtime=460.76 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 257755 0 0 0 40173 5903 0 0 20 0 1 0 140239520 17575018496 2691615 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 4290776 2691615 1600 343 0 4287840 0
Current children cumulated CPU time: 460.76 s
Current children cumulated vsize: 17163104 KiB
Current children cumulated memory: 10766460 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.08 4.03 5/263 116522
/proc/meminfo: memFree=103310972/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=17413420 memory=13940812 CPUtime=520.6 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 269111 0 0 0 46028 6032 0 0 20 0 1 0 140239520 17831342080 3484691 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 4353355 3484691 1632 343 0 4350419 0
Current children cumulated CPU time: 520.6 s
Current children cumulated vsize: 17413420 KiB
Current children cumulated memory: 13940812 KiB
[startup+582.3 s]
/proc/loadavg: 4.17 4.10 4.04 5/263 116524
/proc/meminfo: memFree=98294732/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=22429796 memory=18776808 CPUtime=580.43 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 444642 0 0 0 51598 6445 0 0 20 0 1 0 140239520 22968111104 4694202 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 5607449 4694202 1728 343 0 5604513 0
Current children cumulated CPU time: 580.43 s
Current children cumulated vsize: 22429796 KiB
Current children cumulated memory: 18776808 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/263 116527
/proc/meminfo: memFree=94779880/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=27345008 memory=22339640 CPUtime=640.26 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 587679 0 0 0 57160 6866 0 0 20 0 1 0 140239520 28001288192 5584910 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 6836252 5584910 1728 343 0 6833316 0
Current children cumulated CPU time: 640.26 s
Current children cumulated vsize: 27345008 KiB
Current children cumulated memory: 22339640 KiB
[startup+676.471 s]
# the end of solver process 116348 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=599.658 s, system=71.3823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.10 4.09 4.04 5/263 116527
/proc/meminfo: memFree=93936056/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=27345008 memory=23206144 CPUtime=650.72 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 625437 0 0 0 58143 6929 0 0 20 0 1 0 140239520 28001288192 5801536 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 6836252 5801536 1728 343 0 6833316 0
Current children cumulated CPU time: 650.72 s
Current children cumulated vsize: 27345008 KiB
Current children cumulated memory: 23206144 KiB
[startup+665.6 s]
/proc/loadavg: 4.09 4.09 4.04 5/263 116528
/proc/meminfo: memFree=92850860/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=27345008 memory=24266024 CPUtime=663.5 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 673259 0 0 0 59340 7010 0 0 20 0 1 0 140239520 28001288192 6066506 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 6836252 6066506 1728 343 0 6833316 0
Current children cumulated CPU time: 663.5 s
Current children cumulated vsize: 27345008 KiB
Current children cumulated memory: 24266024 KiB
[startup+672 s]*
/proc/loadavg: 4.15 4.10 4.04 5/263 116528
/proc/meminfo: memFree=91711048/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=31539312 memory=24791024 CPUtime=669.88 cores=0,2
/proc/116348/stat : 116348 (pb_picat) R 116340 116348 116281 0 -1 4194304 697920 0 0 0 59935 7053 0 0 20 0 1 0 140239520 32296255488 6197756 18446744073709551615 94613339049984 94613340451565 140733528906528 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 0
/proc/116348/statm: 7884828 6197756 1728 343 0 7881892 0
Current children cumulated CPU time: 669.88 s
Current children cumulated vsize: 31539312 KiB
Current children cumulated memory: 24791024 KiB
[startup+673.6 s]
/proc/loadavg: 4.15 4.10 4.04 5/266 116532
/proc/meminfo: memFree=90066452/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=31636764 memory=24818228 CPUtime=670.87 cores=0,2
/proc/116348/stat : 116348 (pb_picat) S 116340 116348 116281 0 -1 4195840 699479 0 0 0 59965 7122 0 0 20 0 1 0 140239520 32396046336 6204557 18446744073709551615 94613339049984 94613340451565 140733528906528 140733528904896 139872122223212 0 0 0 8389634 1 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 6
/proc/116348/statm: 7909191 6204557 1728 343 0 7906255 0
Current children cumulated CPU time: 670.87 s
Current children cumulated vsize: 31636764 KiB
Current children cumulated memory: 24818228 KiB
[startup+675.2 s]
/proc/loadavg: 4.15 4.10 4.04 5/266 116533
/proc/meminfo: memFree=90075416/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=31636764 memory=24818228 CPUtime=670.87 cores=0,2
/proc/116348/stat : 116348 (pb_picat) S 116340 116348 116281 0 -1 4195840 699479 0 0 0 59965 7122 0 0 20 0 1 0 140239520 32396046336 6204557 18446744073709551615 94613339049984 94613340451565 140733528906528 140733528904896 139872122223212 0 0 0 8389634 1 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 6
/proc/116348/statm: 7909191 6204557 1728 343 0 7906255 0
Current children cumulated CPU time: 670.87 s
Current children cumulated vsize: 31636764 KiB
Current children cumulated memory: 24818228 KiB
[startup+676 s]*
/proc/loadavg: 4.14 4.10 4.04 4/265 116533
/proc/meminfo: memFree=90065404/131249992 swapFree=33009392/33010684
[pid=116348] ppid=116340 vsize=31636764 memory=24818228 CPUtime=670.87 cores=0,2
/proc/116348/stat : 116348 (pb_picat) S 116340 116348 116281 0 -1 4195840 699479 0 0 0 59965 7122 0 0 20 0 1 0 140239520 32396046336 6204557 18446744073709551615 94613339049984 94613340451565 140733528906528 140733528904896 139872122223212 0 0 0 8389634 1 0 0 17 0 0 0 0 0 0 94613340722992 94613342597232 94613371908096 140733528910236 140733528910312 140733528910312 140733528915916 6
/proc/116348/statm: 7909191 6204557 1728 343 0 7906255 0
Current children cumulated CPU time: 670.87 s
Current children cumulated vsize: 31636764 KiB
Current children cumulated memory: 24818228 KiB
[startup+676.4 s]*
/proc/loadavg: 4.14 4.10 4.04 5/267 116540
/proc/meminfo: memFree=95703080/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 676.471
CPU time (s): 671.04
CPU user time (s): 599.658
CPU system time (s): 71.3823
CPU usage (%): 99.1972
Max. virtual memory (cumulated for all children) (KiB): 31636764
Max. memory (cumulated for all children) (KiB): 24818228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.658
system time used= 71.3823
maximum resident set size= 24913564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699479
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= 1860
involuntary context switches= 1612
# summary of solver processes directly reported to runsolver:
# pid: 116348
# total CPU time (s): 671.04
# total CPU user time (s): 599.658
# total CPU system time (s): 71.3823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21609 second user time and 3.0132 second system time
The end
Begin job on nodeC035 at 2025-07-11 16:54:10
IDJOB=4528063
IDBENCH=160491
IDSOLVER=3385
FILE ID=nodeC035/4528063-1752245648
RUNJOBID= nodeC035-1752245648-116291
SLURM_JOB_ID= 9682579
Free space on /tmp= 432296 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm100p-dec.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528063-1752245648/watcher-4528063-1752245648 -o /tmp/evaluation-result-4528063-1752245648/solver-4528063-1752245648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752245648-116291 --watchdog 3760 pb_picat HOME/instance-4528063-1752245648.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 87dcb6b5c21e845aafa503750cb7c14f
RANDOM SEED=1926363051
nodeC035 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 : 3599.832
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
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.51
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 : 3599.770
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
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.51
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 : 3595.194
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.740
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.51
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 : 3599.769
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.979
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126067268 kB
MemAvailable: 129362344 kB
Buffers: 664 kB
Cached: 4042616 kB
SwapCached: 332 kB
Active: 685108 kB
Inactive: 3728292 kB
Active(anon): 366532 kB
Inactive(anon): 21028 kB
Active(file): 318576 kB
Inactive(file): 3707264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 449500 kB
Writeback: 0 kB
AnonPages: 372648 kB
Mapped: 109388 kB
Shmem: 17700 kB
KReclaimable: 216948 kB
Slab: 310604 kB
SReclaimable: 216948 kB
SUnreclaim: 93656 kB
KernelStack: 4176 kB
PageTables: 3492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2398136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 311296 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432460 MiB
End job on nodeC035 at 2025-07-11 17:05:26