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: 63837 MiB (63293 MiB free)
memory of node 1: 64465 MiB (63836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510793-1751196359/watcher-4510793-1751196359 -o /tmp/evaluation-result-4510793-1751196359/solver-4510793-1751196359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24170 --watchdog 3760 pb_picat HOME/instance-4510793-1751196359.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=24680, runsolver pid=24674
[startup+0.100068 s]*
/proc/loadavg: 4.03 4.19 4.19 5/253 24686
/proc/meminfo: memFree=130148304/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2027148 memory=25892 CPUtime=0.08 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 992 0 0 0 7 1 0 0 20 0 1 0 35315288 2075799552 6473 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 506787 6473 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 25892 KiB
[startup+0.213252 s]*
/proc/loadavg: 4.03 4.19 4.19 5/253 24686
/proc/meminfo: memFree=130127824/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2027148 memory=32040 CPUtime=0.19 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 1008 0 0 0 18 1 0 0 20 0 1 0 35315288 2075799552 8010 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 506787 8010 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32040 KiB
[startup+0.313078 s]*
/proc/loadavg: 4.03 4.19 4.19 5/253 24686
/proc/meminfo: memFree=130123728/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2027868 memory=35428 CPUtime=0.29 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 1271 0 0 0 28 1 0 0 20 0 1 0 35315288 2076536832 8857 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 506967 8857 1664 343 0 504031 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027868 KiB
Current children cumulated memory: 35428 KiB
[startup+0.700248 s]
/proc/loadavg: 4.03 4.19 4.19 5/253 24686
/proc/meminfo: memFree=130119696/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2029028 memory=36532 CPUtime=0.66 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 1699 0 0 0 65 1 0 0 20 0 1 0 35315288 2077724672 9133 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507257 9133 1664 343 0 504321 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2029028 KiB
Current children cumulated memory: 36532 KiB
[startup+1.50026 s]
/proc/loadavg: 4.03 4.19 4.19 5/249 24710
/proc/meminfo: memFree=130121964/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2029732 memory=37152 CPUtime=1.46 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 2603 0 0 0 144 2 0 0 20 0 1 0 35315288 2078445568 9288 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507433 9288 1664 343 0 504497 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2029732 KiB
Current children cumulated memory: 37152 KiB
[startup+3.11212 s]
/proc/loadavg: 4.03 4.19 4.18 6/253 24776
/proc/meminfo: memFree=130090388/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2029796 memory=37148 CPUtime=3.06 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 4466 0 0 0 304 2 0 0 20 0 1 0 35315288 2078511104 9287 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507449 9287 1664 343 0 504513 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2029796 KiB
Current children cumulated memory: 37148 KiB
[startup+6.30024 s]
/proc/loadavg: 4.03 4.19 4.18 6/248 24805
/proc/meminfo: memFree=130129208/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2030180 memory=37624 CPUtime=6.24 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 9792 0 0 0 621 3 0 0 20 0 1 0 35315288 2078904320 9406 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507545 9406 1664 343 0 504609 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2030180 KiB
Current children cumulated memory: 37624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.19 4.18 6/253 24821
/proc/meminfo: memFree=130115568/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2031716 memory=39252 CPUtime=12.63 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 20996 0 0 0 1258 5 0 0 20 0 1 0 35315288 2080477184 9813 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507929 9813 1664 343 0 504993 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39252 KiB
[startup+25.5003 s]
/proc/loadavg: 4.01 4.18 4.18 6/253 24866
/proc/meminfo: memFree=130104748/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2030500 memory=37720 CPUtime=25.39 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 48443 0 0 0 2531 8 0 0 20 0 1 0 35315288 2079232000 9430 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 507625 9430 1664 343 0 504689 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2030500 KiB
Current children cumulated memory: 37720 KiB
[startup+51.1128 s]
/proc/loadavg: 4.01 4.16 4.17 6/254 24868
/proc/meminfo: memFree=130094712/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2033492 memory=41020 CPUtime=50.93 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 99282 0 0 0 5075 18 0 0 20 0 1 0 35315288 2082295808 10255 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 508373 10255 1664 343 0 505437 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2033492 KiB
Current children cumulated memory: 41020 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.15 4.17 6/253 24870
/proc/meminfo: memFree=130082220/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2034724 memory=40660 CPUtime=101.97 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 188157 0 0 0 10163 34 0 0 20 0 1 0 35315288 2083557376 10165 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 508681 10165 1664 343 0 505745 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2034724 KiB
Current children cumulated memory: 40660 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.16 6/253 24877
/proc/meminfo: memFree=130063836/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2036260 memory=42568 CPUtime=161.79 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 265492 0 0 0 16127 52 0 0 20 0 1 0 35315288 2085130240 10642 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509065 10642 1664 343 0 506129 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2036260 KiB
Current children cumulated memory: 42568 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.16 6/253 24879
/proc/meminfo: memFree=130055908/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2038484 memory=43036 CPUtime=221.62 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 329724 0 0 0 22096 66 0 0 20 0 1 0 35315288 2087407616 10759 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509621 10759 1664 343 0 506685 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2038484 KiB
Current children cumulated memory: 43036 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.16 6/253 24881
/proc/meminfo: memFree=130050324/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2037084 memory=43928 CPUtime=281.45 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 397336 0 0 0 28063 82 0 0 20 0 1 0 35315288 2085974016 10982 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509271 10982 1664 343 0 506335 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2037084 KiB
Current children cumulated memory: 43928 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/251 24884
/proc/meminfo: memFree=130048136/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2039132 memory=44604 CPUtime=341.27 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 454335 0 0 0 34031 96 0 0 20 0 1 0 35315288 2088071168 11151 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509783 11151 1664 343 0 506847 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 2039132 KiB
Current children cumulated memory: 44604 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.15 6/251 24889
/proc/meminfo: memFree=130042256/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2043424 memory=47480 CPUtime=401.09 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 507951 0 0 0 40002 107 0 0 20 0 1 0 35315288 2092466176 11870 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 510856 11870 1664 343 0 507920 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 2043424 KiB
Current children cumulated memory: 47480 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/250 24936
/proc/meminfo: memFree=130056152/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2039808 memory=45284 CPUtime=460.92 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 559887 0 0 0 45971 121 0 0 20 0 1 0 35315288 2088763392 11321 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509952 11321 1664 343 0 507016 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 2039808 KiB
Current children cumulated memory: 45284 KiB
[startup+522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/251 24983
/proc/meminfo: memFree=130046852/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2043904 memory=47936 CPUtime=520.75 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 607954 0 0 0 51942 133 0 0 20 0 1 0 35315288 2092957696 11984 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 510976 11984 1664 343 0 508040 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 2043904 KiB
Current children cumulated memory: 47936 KiB
[startup+582.3 s]
/proc/loadavg: 4.23 4.15 4.15 5/251 25299
/proc/meminfo: memFree=129336796/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2044048 memory=51236 CPUtime=580.57 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 647067 0 0 0 57915 142 0 0 20 0 1 0 35315288 2093105152 12809 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 511012 12809 1664 343 0 508076 0
Current children cumulated CPU time: 580.57 s
Current children cumulated vsize: 2044048 KiB
Current children cumulated memory: 51236 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 25301
/proc/meminfo: memFree=129219536/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2043080 memory=50280 CPUtime=640.39 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 678448 0 0 0 63890 149 0 0 20 0 1 0 35315288 2092113920 12570 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 510770 12570 1664 343 0 507834 0
Current children cumulated CPU time: 640.39 s
Current children cumulated vsize: 2043080 KiB
Current children cumulated memory: 50280 KiB
[startup+652.572 s]
# the end of solver process 24680 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=649.139 s, system=1.50324 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 25301
/proc/meminfo: memFree=129264608/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2045128 memory=50792 CPUtime=644.48 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 679240 0 0 0 64299 149 0 0 20 0 1 0 35315288 2094211072 12698 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 511282 12698 1664 343 0 508346 0
Current children cumulated CPU time: 644.48 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 50792 KiB
[startup+649.6 s]
/proc/loadavg: 4.12 4.13 4.14 5/251 25301
/proc/meminfo: memFree=129211360/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2036936 memory=43876 CPUtime=647.67 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 679722 0 0 0 64618 149 0 0 20 0 1 0 35315288 2085822464 10969 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509234 10969 1664 343 0 506298 0
Current children cumulated CPU time: 647.67 s
Current children cumulated vsize: 2036936 KiB
Current children cumulated memory: 43876 KiB
[startup+651.2 s]
/proc/loadavg: 4.12 4.13 4.14 5/251 25301
/proc/meminfo: memFree=129207264/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2038984 memory=45688 CPUtime=649.27 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 681115 0 0 0 64777 150 0 0 20 0 1 0 35315288 2087919616 11422 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 509746 11422 1664 343 0 506810 0
Current children cumulated CPU time: 649.27 s
Current children cumulated vsize: 2038984 KiB
Current children cumulated memory: 45688 KiB
[startup+652 s]*
/proc/loadavg: 4.12 4.13 4.14 5/251 25301
/proc/meminfo: memFree=129207264/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2045128 memory=47608 CPUtime=650.08 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 681635 0 0 0 64858 150 0 0 20 0 1 0 35315288 2094211072 11902 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 511282 11902 1664 343 0 508346 0
Current children cumulated CPU time: 650.08 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 47608 KiB
[startup+652.4 s]
/proc/loadavg: 4.12 4.13 4.14 5/251 25301
/proc/meminfo: memFree=129207264/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2045128 memory=48248 CPUtime=650.46 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 681786 0 0 0 64896 150 0 0 20 0 1 0 35315288 2094211072 12062 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 511282 12062 1664 343 0 508346 0
Current children cumulated CPU time: 650.46 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 48248 KiB
[startup+652.5 s]
/proc/loadavg: 4.12 4.13 4.14 5/251 25301
/proc/meminfo: memFree=129207264/131382116 swapFree=33010684/33010684
[pid=24680] ppid=24674 vsize=2045128 memory=48376 CPUtime=650.56 cores=4,6
/proc/24680/stat : 24680 (pb_picat) R 24674 24680 24159 0 -1 4194304 681818 0 0 0 64906 150 0 0 20 0 1 0 35315288 2094211072 12094 18446744073709551615 94791068676096 94791070077677 140732887892832 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94791070349104 94791072223408 94791081644032 140732887894430 140732887894506 140732887894506 140732887900108 0
/proc/24680/statm: 511282 12094 1664 343 0 508346 0
Current children cumulated CPU time: 650.56 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 48376 KiB
Child status: 0
Real time (s): 652.572
CPU time (s): 650.642
CPU user time (s): 649.139
CPU system time (s): 1.50324
CPU usage (%): 99.7044
Max. virtual memory (cumulated for all children) (KiB): 2049224
Max. memory (cumulated for all children) (KiB): 55372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 649.139
system time used= 1.50324
maximum resident set size= 56464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681846
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= 70
involuntary context switches= 1056
# summary of solver processes directly reported to runsolver:
# pid: 24680
# total CPU time (s): 650.642
# total CPU user time (s): 649.139
# total CPU system time (s): 1.50324
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04084 second user time and 6.05274 second system time
The end
Begin job on nodeC010 at 2025-06-29 13:25:59
IDJOB=4510793
IDBENCH=160386
IDSOLVER=3346
FILE ID=nodeC010/4510793-1751196359
RUNJOBID= nodeC010-1751192746-24170
SLURM_JOB_ID= 9587585
Free space on /tmp= 433052 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510793-1751196359/watcher-4510793-1751196359 -o /tmp/evaluation-result-4510793-1751196359/solver-4510793-1751196359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24170 --watchdog 3760 pb_picat HOME/instance-4510793-1751196359.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dcac64736f2fac2889802971ff74db2d
RANDOM SEED=1133888424
nodeC010 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 : 0xb00001f
cpu MHz : 2394.235
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 pti 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 : 6983.36
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 : 1596.198
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 pti 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 : 6983.36
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.305
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 pti 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 : 6983.36
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 : 1196.737
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 pti 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 : 6983.36
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 : 1296.914
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 pti 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 : 6983.36
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 : 1995.251
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 pti 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 : 6983.36
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.629
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 pti 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 : 6983.36
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.184
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 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130162468 kB
MemAvailable: 129932956 kB
Buffers: 3280 kB
Cached: 581364 kB
SwapCached: 0 kB
Active: 398764 kB
Inactive: 289992 kB
Active(anon): 122080 kB
Inactive(anon): 0 kB
Active(file): 276684 kB
Inactive(file): 289992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11748 kB
Writeback: 0 kB
AnonPages: 107172 kB
Mapped: 109304 kB
Shmem: 17960 kB
KReclaimable: 86876 kB
Slab: 166168 kB
SReclaimable: 86876 kB
SUnreclaim: 79292 kB
KernelStack: 4096 kB
PageTables: 3192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4425232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC010 at 2025-06-29 13:36:52