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 (61168 MiB free)
memory of node 1: 64465 MiB (62435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503440-1751140609/watcher-4503440-1751140609 -o /tmp/evaluation-result-4503440-1751140609/solver-4503440-1751140609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11337 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2031552160 --competition_mode --input HOME/instance-4503440-1751140609.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19022, runsolver pid=19019
[startup+0.100067 s]*
/proc/loadavg: 8.09 8.12 8.10 8/270 19023
/proc/meminfo: memFree=126586988/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=42284 memory=37328 CPUtime=0.1 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) R 19019 19022 11319 0 -1 4194304 8750 0 0 0 9 1 0 0 20 0 1 0 29739688 43298816 9332 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 10571 9332 1504 2102 0 8111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 37328 KiB
[startup+0.206023 s]*
/proc/loadavg: 8.09 8.12 8.10 8/270 19023
/proc/meminfo: memFree=126554220/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=49124 memory=43600 CPUtime=0.2 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) R 19019 19022 11319 0 -1 4194304 10296 0 0 0 19 1 0 0 20 0 1 0 29739688 50302976 10900 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 12281 10900 1536 2102 0 9821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49124 KiB
Current children cumulated memory: 43600 KiB
[startup+0.305766 s]*
/proc/loadavg: 8.09 8.12 8.10 8/270 19023
/proc/meminfo: memFree=126550124/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=59088 memory=53652 CPUtime=0.3 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) R 19019 19022 11319 0 -1 4194304 16869 0 0 0 28 2 0 0 20 0 1 0 29739688 60506112 13413 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 14772 13413 1760 2102 0 12312 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59088 KiB
Current children cumulated memory: 53652 KiB
[startup+0.700208 s]
/proc/loadavg: 8.09 8.12 8.10 8/270 19023
/proc/meminfo: memFree=126501352/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=84336 memory=77992 CPUtime=0.69 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) R 19019 19022 11319 0 -1 4194304 23087 0 0 0 66 3 0 0 20 0 1 0 29739688 86360064 19498 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 21084 19498 1888 2102 0 18624 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84336 KiB
Current children cumulated memory: 77992 KiB
[startup+1.50024 s]
/proc/loadavg: 8.09 8.12 8.10 9/272 19025
/proc/meminfo: memFree=126341284/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=303500 memory=166488 CPUtime=2.13 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 45577 0 0 0 205 8 0 0 20 0 3 0 29739688 310784000 41622 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 75875 41622 2144 2102 0 47131 0
[pid=19022/tid=19024] ppid=19019 vsize=303500 memory=0 CPUtime=0.65 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 14759 0 0 0 63 2 0 0 20 0 3 0 29739771 310784000 41622 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=303500 memory=14692 CPUtime=0.63 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 6232 0 0 0 62 1 0 0 20 0 3 0 29739771 310784000 41622 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 166488 KiB
[startup+3.10592 s]
/proc/loadavg: 8.08 8.12 8.10 9/272 19025
/proc/meminfo: memFree=126522272/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=303500 memory=196120 CPUtime=5.31 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 71291 0 0 0 521 10 0 0 20 0 3 0 29739688 310784000 49030 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 75875 49030 2144 2102 0 54793 0
[pid=19022/tid=19024] ppid=19019 vsize=303500 memory=14692 CPUtime=2.25 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 28810 0 0 0 222 3 0 0 20 0 3 0 29739771 310784000 49030 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=303500 memory=189864 CPUtime=2.23 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 17858 0 0 0 220 3 0 0 20 0 3 0 29739771 310784000 49030 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 196120 KiB
[startup+6.30022 s]
/proc/loadavg: 8.08 8.12 8.10 9/272 19025
/proc/meminfo: memFree=126410708/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=303500 memory=211016 CPUtime=11.65 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 83713 0 0 0 1154 11 0 0 20 0 3 0 29739688 310784000 52754 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 75875 52754 2144 2102 0 58630 0
[pid=19022/tid=19024] ppid=19019 vsize=303500 memory=198552 CPUtime=5.43 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 30163 0 0 0 540 3 0 0 20 0 3 0 29739771 310784000 52754 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=303500 memory=17408 CPUtime=5.38 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 28895 0 0 0 535 3 0 0 20 0 3 0 29739771 310784000 52754 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 11.65 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 211016 KiB
[startup+12.7002 s]
/proc/loadavg: 8.07 8.12 8.10 9/272 19025
/proc/meminfo: memFree=126239664/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=303500 memory=214088 CPUtime=24.36 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 100160 0 0 0 2423 13 0 0 20 0 3 0 29739688 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 75875 53522 2144 2102 0 59271 0
[pid=19022/tid=19024] ppid=19019 vsize=303500 memory=198552 CPUtime=11.81 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 34997 0 0 0 1177 4 0 0 20 0 3 0 29739771 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=303500 memory=211016 CPUtime=11.71 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 40468 0 0 0 1167 4 0 0 20 0 3 0 29739771 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 24.36 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 214088 KiB
[startup+25.5002 s]
/proc/loadavg: 8.12 8.13 8.10 9/272 19025
/proc/meminfo: memFree=126490728/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=303500 memory=214088 CPUtime=49.77 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 116786 0 0 0 4963 14 0 0 20 0 3 0 29739688 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 75875 53522 2144 2102 0 59458 0
[pid=19022/tid=19024] ppid=19019 vsize=303500 memory=-8183424795799231685 CPUtime=24.56 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 39865 0 0 0 2452 4 0 0 20 0 3 0 29739771 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=303500 memory=10752 CPUtime=24.36 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 52192 0 0 0 2431 5 0 0 20 0 3 0 29739771 310784000 53522 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 214088 KiB
[startup+51.1057 s]
/proc/loadavg: 8.08 8.12 8.09 9/272 19026
/proc/meminfo: memFree=126366272/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=308376 memory=219824 CPUtime=100.6 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 149628 0 0 0 10043 17 0 0 20 0 3 0 29739688 315777024 54956 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 77094 54956 2144 2102 0 60677 0
[pid=19022/tid=19024] ppid=19019 vsize=308376 memory=219824 CPUtime=50.08 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 45528 0 0 0 5004 4 0 0 20 0 3 0 29739771 315777024 54956 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=308376 memory=219824 CPUtime=49.66 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 75833 0 0 0 4958 8 0 0 20 0 3 0 29739771 315777024 54956 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 100.6 s
Current children cumulated vsize: 308376 KiB
Current children cumulated memory: 219824 KiB
[startup+102.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/272 19027
/proc/meminfo: memFree=126245116/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=242596 CPUtime=202.23 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 190581 0 0 0 20201 22 0 0 20 0 3 0 29739688 338550784 60649 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 60649 2144 2102 0 66237 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=242592 CPUtime=101.09 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 61015 0 0 0 10103 6 0 0 20 0 3 0 29739771 338550784 60649 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=-8183424795799231685 CPUtime=100.26 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 101212 0 0 0 10015 11 0 0 20 0 3 0 29739771 338550784 60649 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 202.23 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 242596 KiB
[startup+162.3 s]
/proc/loadavg: 8.16 8.14 8.10 9/273 19031
/proc/meminfo: memFree=126441312/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=243116 CPUtime=321.33 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 215107 0 0 0 32107 26 0 0 20 0 3 0 29739688 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 60779 2144 2102 0 66265 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=242988 CPUtime=160.86 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 62866 0 0 0 16080 6 0 0 20 0 3 0 29739771 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=14692 CPUtime=159.56 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 123832 0 0 0 15943 13 0 0 20 0 3 0 29739771 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 321.33 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 243116 KiB
[startup+222.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/272 19033
/proc/meminfo: memFree=126325880/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=243116 CPUtime=440.43 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 235026 0 0 0 44014 29 0 0 20 0 3 0 29739688 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 60779 2144 2102 0 66265 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=243116 CPUtime=220.65 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 69434 0 0 0 22058 7 0 0 20 0 3 0 29739771 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=243116 CPUtime=218.85 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 135327 0 0 0 21870 15 0 0 20 0 3 0 29739771 338550784 60779 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 440.43 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 243116 KiB
################
# More data... #
################
/proc/19022/statm: 82654 60843 2144 2102 0 66388 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=17408 CPUtime=698.96 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 90943 0 0 0 69887 9 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=17408 CPUtime=693.23 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 141752 0 0 0 69302 21 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1393.3 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 243372 KiB
[startup+762.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/272 19071
/proc/meminfo: memFree=126151616/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=243372 CPUtime=1512.4 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 279449 0 0 0 151195 45 0 0 20 0 3 0 29739688 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 60843 2144 2102 0 66388 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=243372 CPUtime=758.75 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 96355 0 0 0 75866 9 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=14692 CPUtime=752.53 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 152650 0 0 0 75231 22 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1512.4 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 243372 KiB
[startup+822.3 s]
/proc/loadavg: 7.93 8.05 8.07 9/271 19119
/proc/meminfo: memFree=125733744/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=243372 CPUtime=1631.53 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 281428 0 0 0 163107 46 0 0 20 0 3 0 29739688 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 60843 2144 2102 0 66388 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=243372 CPUtime=818.53 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 97975 0 0 0 81844 9 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=243372 CPUtime=811.86 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153009 0 0 0 81163 23 0 0 20 0 3 0 29739771 338550784 60843 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1631.53 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 243372 KiB
[startup+882.3 s]
/proc/loadavg: 7.83 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125409104/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1750.69 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 175021 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=243372 CPUtime=878.33 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 87824 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=243372 CPUtime=871.2 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87096 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1750.69 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+891.145 s]
# the end of solver process 19022 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=1767.74 s, system=0.492242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 7.85 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125166816/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1752.48 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 175200 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=244012 CPUtime=879.23 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 87914 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=14692 CPUtime=872.09 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87185 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1752.48 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+886.4 s]
/proc/loadavg: 7.85 7.99 8.05 9/271 19215
/proc/meminfo: memFree=124891988/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1758.83 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 175835 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=10752 CPUtime=882.42 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88233 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=17408 CPUtime=875.26 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87502 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1758.83 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+889.6 s]
/proc/loadavg: 7.86 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125461444/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1765.18 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 176470 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=17408 CPUtime=885.61 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88552 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=10752 CPUtime=878.42 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87818 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1765.18 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+890.4 s]
/proc/loadavg: 7.86 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125414552/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1766.77 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 176629 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=4252 CPUtime=886.4 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88631 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=3200 CPUtime=879.21 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87897 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1766.77 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+890.8 s]
/proc/loadavg: 7.86 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125414552/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1767.57 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 176709 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=5192 CPUtime=886.8 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88671 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=5152 CPUtime=879.61 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87937 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1767.57 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+891 s]*
/proc/loadavg: 7.86 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125480340/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1767.97 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 176749 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=-8183425899572272582 CPUtime=887.01 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88692 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=6052894211374842612 CPUtime=879.8 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87956 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1767.97 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
[startup+891.106 s]
/proc/loadavg: 7.86 7.99 8.05 9/271 19215
/proc/meminfo: memFree=125480340/131249992 swapFree=33010684/33010684
[pid=19022] ppid=19019 vsize=330616 memory=244012 CPUtime=1768.17 cores=5,7
/proc/19022/stat : 19022 (cp-sat-runner) S 19019 19022 11319 0 -1 4194304 282021 0 0 0 176769 48 0 0 20 0 3 0 29739688 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
/proc/19022/statm: 82654 61003 2144 2102 0 66596 0
[pid=19022/tid=19024] ppid=19019 vsize=330616 memory=243372 CPUtime=887.11 cores=5,7
/proc/19022/task/19024/stat : 19024 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 98296 0 0 0 88702 9 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
[pid=19022/tid=19025] ppid=19019 vsize=330616 memory=244012 CPUtime=879.9 cores=5,7
/proc/19022/task/19025/stat : 19025 (cp-sat-runner) R 19019 19022 11319 0 -1 4194368 153281 0 0 0 87966 24 0 0 20 0 3 0 29739771 338550784 61003 18446744073709551615 4198400 12805993 140734836047392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40177664 140734836050200 140734836050405 140734836050405 140734836056007 0
Current children cumulated CPU time: 1768.17 s
Current children cumulated vsize: 330616 KiB
Current children cumulated memory: 244012 KiB
Child status: 10
Real time (s): 891.145
CPU time (s): 1768.23
CPU user time (s): 1767.74
CPU system time (s): 0.492242
CPU usage (%): 198.423
Max. virtual memory (cumulated for all children) (KiB): 330616
Max. memory (cumulated for all children) (KiB): 244012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.74
system time used= 0.492242
maximum resident set size= 244652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287304
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= 18347
involuntary context switches= 64409
# summary of solver processes directly reported to runsolver:
# pid: 19022
# total CPU time (s): 1768.23
# total CPU user time (s): 1767.74
# total CPU system time (s): 0.492242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81445 second user time and 4.45751 second system time
The end
Begin job on nodeC025 at 2025-06-28 21:56:49
IDJOB=4503440
IDBENCH=155472
IDSOLVER=3320
FILE ID=nodeC025/4503440-1751140609
RUNJOBID= nodeC025-1751133631-11337
SLURM_JOB_ID= 9587425
Free space on /tmp= 432992 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503440-1751140609/watcher-4503440-1751140609 -o /tmp/evaluation-result-4503440-1751140609/solver-4503440-1751140609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11337 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2031552160 --competition_mode --input HOME/instance-4503440-1751140609.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=2031552160
nodeC025 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.645
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.67
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.822
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.67
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.826
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.67
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 : 3599.404
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.67
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 : 3599.847
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.67
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 : 3599.815
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.67
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.936
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.67
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 : 3711.375
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126571144 kB
MemAvailable: 126204024 kB
Buffers: 3280 kB
Cached: 430312 kB
SwapCached: 0 kB
Active: 3848404 kB
Inactive: 223272 kB
Active(anon): 3656168 kB
Inactive(anon): 0 kB
Active(file): 192236 kB
Inactive(file): 223272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14260 kB
Writeback: 36 kB
AnonPages: 3633760 kB
Mapped: 129104 kB
Shmem: 18084 kB
KReclaimable: 85608 kB
Slab: 168372 kB
SReclaimable: 85608 kB
SUnreclaim: 82764 kB
KernelStack: 4348 kB
PageTables: 10208 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4422756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1536000 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432952 MiB
End job on nodeC025 at 2025-06-28 22:11:41