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: 63665 MiB (62029 MiB free)
memory of node 1: 64507 MiB (63535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523606-1751597867/watcher-4523606-1751597867 -o /tmp/evaluation-result-4523606-1751597867/solver-4523606-1751597867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751589378-92772 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1848392127 HOME/instance-4523606-1751597867.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=93831, runsolver pid=93828
[startup+0.100061 s]*
/proc/loadavg: 7.22 7.06 6.85 8/268 93833
/proc/meminfo: memFree=128562424/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=108372 memory=33280 CPUtime=0.1 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 7868 0 0 0 9 1 0 0 20 0 2 0 75464549 110972928 8320 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 27093 8320 576 633 0 10044 0
[pid=93831/tid=93833] ppid=93828 vsize=108372 memory=4026531960 CPUtime=0 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 121 0 0 0 0 0 0 0 20 0 2 0 75464549 110972928 8320 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108372 KiB
Current children cumulated memory: 33280 KiB
[startup+0.205713 s]*
/proc/loadavg: 7.22 7.06 6.85 8/268 93833
/proc/meminfo: memFree=128546408/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=121212 memory=46720 CPUtime=0.2 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 11200 0 0 0 19 1 0 0 20 0 2 0 75464549 124121088 11680 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 30303 11680 608 633 0 13336 0
[pid=93831/tid=93833] ppid=93828 vsize=121212 memory=664958721904869660 CPUtime=0 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 205 0 0 0 0 0 0 0 20 0 2 0 75464549 124121088 11680 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121212 KiB
Current children cumulated memory: 46720 KiB
[startup+0.305638 s]*
/proc/loadavg: 7.22 7.06 6.85 8/268 93833
/proc/meminfo: memFree=128538596/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=134856 memory=60544 CPUtime=0.3 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 14614 0 0 0 29 1 0 0 20 0 2 0 75464549 138092544 15136 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 33714 15136 640 633 0 16747 0
[pid=93831/tid=93833] ppid=93828 vsize=134856 memory=7971796337080024178 CPUtime=0.01 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 205 0 0 0 1 0 0 0 20 0 2 0 75464549 138092544 15136 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134856 KiB
Current children cumulated memory: 60544 KiB
[startup+0.700207 s]
/proc/loadavg: 7.21 7.06 6.85 8/268 93833
/proc/meminfo: memFree=128490756/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=218412 memory=144000 CPUtime=0.69 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 35491 0 0 0 65 4 0 0 20 0 2 0 75464549 223653888 36000 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 54603 36000 640 633 0 37636 0
[pid=93831/tid=93833] ppid=93828 vsize=218412 memory=18560 CPUtime=0.01 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 205 0 0 0 1 0 0 0 20 0 2 0 75464549 223653888 36000 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 218412 KiB
Current children cumulated memory: 144000 KiB
[startup+1.50022 s]
/proc/loadavg: 7.21 7.06 6.85 9/268 93833
/proc/meminfo: memFree=128450436/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=220072 memory=145784 CPUtime=2.06 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 50098 0 0 0 200 6 0 0 20 0 2 0 75464549 225353728 36446 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55018 36446 640 633 0 38051 0
[pid=93831/tid=93833] ppid=93828 vsize=220072 memory=18560 CPUtime=0.57 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 1022 0 0 0 57 0 0 0 20 0 2 0 75464549 225353728 36446 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 145784 KiB
[startup+3.10567 s]
/proc/loadavg: 7.21 7.06 6.85 9/268 93833
/proc/meminfo: memFree=128450736/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=220480 memory=146168 CPUtime=5.14 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 56116 0 0 0 508 6 0 0 20 0 2 0 75464549 225771520 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55120 36542 640 633 0 38153 0
[pid=93831/tid=93833] ppid=93828 vsize=220480 memory=146168 CPUtime=2.07 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 1944 0 0 0 207 0 0 0 20 0 2 0 75464549 225771520 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 220480 KiB
Current children cumulated memory: 146168 KiB
[startup+6.3002 s]
/proc/loadavg: 7.27 7.07 6.85 9/268 93833
/proc/meminfo: memFree=128451492/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=220480 memory=146168 CPUtime=11.34 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 78131 0 0 0 1124 10 0 0 20 0 2 0 75464549 225771520 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55120 36542 640 633 0 38153 0
[pid=93831/tid=93833] ppid=93828 vsize=220480 memory=18560 CPUtime=5.09 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 2979 0 0 0 509 0 0 0 20 0 2 0 75464549 225771520 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 220480 KiB
Current children cumulated memory: 146168 KiB
[startup+12.7002 s]
/proc/loadavg: 7.33 7.09 6.86 9/268 93834
/proc/meminfo: memFree=128435392/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=220560 memory=146168 CPUtime=23.37 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 110000 0 0 0 2322 15 0 0 20 0 2 0 75464549 225853440 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55140 36542 640 633 0 38173 0
[pid=93831/tid=93833] ppid=93828 vsize=220560 memory=146168 CPUtime=10.76 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 5369 0 0 0 1075 1 0 0 20 0 2 0 75464549 225853440 36542 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 23.37 s
Current children cumulated vsize: 220560 KiB
Current children cumulated memory: 146168 KiB
[startup+25.5002 s]
/proc/loadavg: 7.51 7.14 6.88 9/268 93834
/proc/meminfo: memFree=128419512/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=220596 memory=146296 CPUtime=48.28 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 140955 0 0 0 4806 22 0 0 20 0 2 0 75464549 225890304 36574 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55149 36574 640 633 0 38182 0
[pid=93831/tid=93833] ppid=93828 vsize=220596 memory=146296 CPUtime=22.97 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 7478 0 0 0 2294 3 0 0 20 0 2 0 75464549 225890304 36574 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 48.28 s
Current children cumulated vsize: 220596 KiB
Current children cumulated memory: 146296 KiB
[startup+51.1056 s]
/proc/loadavg: 7.70 7.22 6.92 9/268 93835
/proc/meminfo: memFree=128397608/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221140 memory=146780 CPUtime=98.16 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 186058 0 0 0 9777 39 0 0 20 0 2 0 75464549 226447360 36695 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55285 36695 640 633 0 38318 0
[pid=93831/tid=93833] ppid=93828 vsize=221140 memory=18560 CPUtime=47.39 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 8986 0 0 0 4733 6 0 0 20 0 2 0 75464549 226447360 36695 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 98.16 s
Current children cumulated vsize: 221140 KiB
Current children cumulated memory: 146780 KiB
[startup+102.3 s]
/proc/loadavg: 7.91 7.36 6.98 9/268 93837
/proc/meminfo: memFree=128382292/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221324 memory=146908 CPUtime=197.6 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 219911 0 0 0 19707 53 0 0 20 0 2 0 75464549 226635776 36727 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55331 36727 640 633 0 38364 0
[pid=93831/tid=93833] ppid=93828 vsize=221324 memory=18560 CPUtime=96.06 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 11478 0 0 0 9595 11 0 0 20 0 2 0 75464549 226635776 36727 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 197.6 s
Current children cumulated vsize: 221324 KiB
Current children cumulated memory: 146908 KiB
[startup+162.3 s]
/proc/loadavg: 7.98 7.48 7.05 9/268 93839
/proc/meminfo: memFree=128383536/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221412 memory=146964 CPUtime=314.52 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 227425 0 0 0 31386 66 0 0 20 0 2 0 75464549 226725888 36741 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55353 36741 640 633 0 38386 0
[pid=93831/tid=93833] ppid=93828 vsize=221412 memory=5760 CPUtime=153.42 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 11681 0 0 0 15328 14 0 0 20 0 2 0 75464549 226725888 36741 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 314.52 s
Current children cumulated vsize: 221412 KiB
Current children cumulated memory: 146964 KiB
[startup+222.3 s]
/proc/loadavg: 7.97 7.57 7.11 8/268 93856
/proc/meminfo: memFree=128387136/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221428 memory=147100 CPUtime=431.64 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 234636 0 0 0 43088 76 0 0 20 0 2 0 75464549 226742272 36775 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55357 36775 640 633 0 38390 0
[pid=93831/tid=93833] ppid=93828 vsize=221428 memory=18560 CPUtime=210.94 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 11682 0 0 0 21076 18 0 0 20 0 2 0 75464549 226742272 36775 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 431.64 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 147100 KiB
[startup+282.3 s]
/proc/loadavg: 8.10 7.68 7.18 9/267 93858
/proc/meminfo: memFree=128408532/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221480 memory=147188 CPUtime=547.74 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 241088 0 0 0 54688 86 0 0 20 0 2 0 75464549 226795520 36797 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55370 36797 640 633 0 38403 0
[pid=93831/tid=93833] ppid=93828 vsize=221480 memory=147076 CPUtime=267.48 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 11787 0 0 0 26726 22 0 0 20 0 2 0 75464549 226795520 36797 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 547.74 s
Current children cumulated vsize: 221480 KiB
Current children cumulated memory: 147188 KiB
################
# More data... #
################
/proc/meminfo: memFree=128439908/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221436 memory=147144 CPUtime=2513.68 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 459909 0 0 0 251043 325 0 0 20 0 2 0 75464549 226750464 36786 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55359 36786 640 633 0 38392 0
[pid=93831/tid=93833] ppid=93828 vsize=221436 memory=147108 CPUtime=1220.73 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12445 0 0 0 121984 89 0 0 20 0 2 0 75464549 226750464 36786 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2513.68 s
Current children cumulated vsize: 221436 KiB
Current children cumulated memory: 147144 KiB
[startup+1362.3 s]
/proc/loadavg: 8.07 8.00 7.76 9/268 93911
/proc/meminfo: memFree=128440452/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221436 memory=147116 CPUtime=2629.57 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 476800 0 0 0 262617 340 0 0 20 0 2 0 75464549 226750464 36779 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55359 36779 640 633 0 38392 0
[pid=93831/tid=93833] ppid=93828 vsize=221436 memory=147108 CPUtime=1277.04 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) S 93828 93831 92759 0 -1 4194368 12445 0 0 0 127612 92 0 0 20 0 2 0 75464549 226750464 36779 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2629.57 s
Current children cumulated vsize: 221436 KiB
Current children cumulated memory: 147116 KiB
[startup+1422.3 s]
/proc/loadavg: 7.90 7.97 7.76 8/265 93931
/proc/meminfo: memFree=128587148/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221428 memory=147108 CPUtime=2745.53 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 487921 0 0 0 274200 353 0 0 20 0 2 0 75464549 226742272 36777 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55357 36777 640 633 0 38390 0
[pid=93831/tid=93833] ppid=93828 vsize=221428 memory=147108 CPUtime=1333.4 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12445 0 0 0 133243 97 0 0 20 0 2 0 75464549 226742272 36777 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2745.53 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 147108 KiB
[startup+1482.3 s]
/proc/loadavg: 6.74 7.62 7.65 6/260 93949
/proc/meminfo: memFree=128605276/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221532 memory=147176 CPUtime=2861.32 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 495136 0 0 0 285767 365 0 0 20 0 2 0 75464549 226848768 36794 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55383 36794 640 633 0 38416 0
[pid=93831/tid=93833] ppid=93828 vsize=221532 memory=16360 CPUtime=1389.69 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12445 0 0 0 138868 101 0 0 20 0 2 0 75464549 226848768 36794 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2861.32 s
Current children cumulated vsize: 221532 KiB
Current children cumulated memory: 147176 KiB
[startup+1542.3 s]
/proc/loadavg: 5.20 7.04 7.45 5/253 93982
/proc/meminfo: memFree=128749428/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221436 memory=147140 CPUtime=2977.7 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 517115 0 0 0 297391 379 0 0 20 0 2 0 75464549 226750464 36785 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55359 36785 640 633 0 38392 0
[pid=93831/tid=93833] ppid=93828 vsize=221436 memory=16360 CPUtime=1446.5 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12489 0 0 0 144545 105 0 0 20 0 2 0 75464549 226750464 36785 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 2977.7 s
Current children cumulated vsize: 221436 KiB
Current children cumulated memory: 147140 KiB
[startup+1602.3 s]
/proc/loadavg: 4.37 6.47 7.23 4/254 93985
/proc/meminfo: memFree=128750040/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221464 memory=147192 CPUtime=3094.86 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 529029 0 0 0 309093 393 0 0 20 0 2 0 75464549 226779136 36798 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55366 36798 640 633 0 38399 0
[pid=93831/tid=93833] ppid=93828 vsize=221464 memory=16360 CPUtime=1504.01 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12489 0 0 0 150292 109 0 0 20 0 2 0 75464549 226779136 36798 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3094.86 s
Current children cumulated vsize: 221464 KiB
Current children cumulated memory: 147192 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 6.02 7.02 5/254 93988
/proc/meminfo: memFree=128742740/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221528 memory=147160 CPUtime=3211.82 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 545570 0 0 0 320776 406 0 0 20 0 2 0 75464549 226844672 36790 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55382 36790 640 633 0 38415 0
[pid=93831/tid=93833] ppid=93828 vsize=221528 memory=16360 CPUtime=1561.35 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12601 0 0 0 156024 111 0 0 20 0 2 0 75464549 226844672 36790 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 221528 KiB
Current children cumulated memory: 147160 KiB
[startup+1722.3 s]
/proc/loadavg: 3.27 5.46 6.77 3/248 94024
/proc/meminfo: memFree=128885232/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221452 memory=147176 CPUtime=3328.76 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 562569 0 0 0 332455 421 0 0 20 0 2 0 75464549 226766848 36794 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55363 36794 640 633 0 38396 0
[pid=93831/tid=93833] ppid=93828 vsize=221452 memory=16360 CPUtime=1618.66 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12603 0 0 0 161752 114 0 0 20 0 2 0 75464549 226766848 36794 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3328.76 s
Current children cumulated vsize: 221452 KiB
Current children cumulated memory: 147176 KiB
[startup+1782.3 s]
/proc/loadavg: 2.58 4.86 6.48 3/248 94026
/proc/meminfo: memFree=128885612/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221412 memory=147152 CPUtime=3445.7 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 584954 0 0 0 344136 434 0 0 20 0 2 0 75464549 226725888 36788 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55353 36788 640 633 0 38386 0
[pid=93831/tid=93833] ppid=93828 vsize=221412 memory=147152 CPUtime=1676.02 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12605 0 0 0 167485 117 0 0 20 0 2 0 75464549 226725888 36788 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3445.7 s
Current children cumulated vsize: 221412 KiB
Current children cumulated memory: 147152 KiB
[startup+1842.3 s]
/proc/loadavg: 2.21 4.33 6.19 3/248 94028
/proc/meminfo: memFree=128885624/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221428 memory=147096 CPUtime=3562.63 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 620932 0 0 0 355811 452 0 0 20 0 2 0 75464549 226742272 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55357 36774 640 633 0 38390 0
[pid=93831/tid=93833] ppid=93828 vsize=221428 memory=147120 CPUtime=1733.35 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12605 0 0 0 173215 120 0 0 20 0 2 0 75464549 226742272 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3562.63 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 147096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1861.5 s]
/proc/loadavg: 2.23 4.20 6.11 3/248 94028
/proc/meminfo: memFree=128885624/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221436 memory=147096 CPUtime=3600.08 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 628293 0 0 0 359551 457 0 0 20 0 2 0 75464549 226750464 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55359 36774 640 633 0 38392 0
[pid=93831/tid=93833] ppid=93828 vsize=221436 memory=147096 CPUtime=1751.72 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12605 0 0 0 175051 121 0 0 20 0 2 0 75464549 226750464 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 221436 KiB
Current children cumulated memory: 147096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1861.57 s]
# the end of solver process 93831 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.58 s, system=4.5798 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1861.5 s]
/proc/loadavg: 2.23 4.20 6.11 3/248 94028
/proc/meminfo: memFree=128885624/131250000 swapFree=33010416/33010684
[pid=93831] ppid=93828 vsize=221436 memory=147096 CPUtime=3600.08 cores=5,7
/proc/93831/stat : 93831 (pb_competition_) R 93828 93831 92759 0 -1 4194304 628293 0 0 0 359551 457 0 0 20 0 2 0 75464549 226750464 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
/proc/93831/statm: 55359 36774 640 633 0 38392 0
[pid=93831/tid=93833] ppid=93828 vsize=221436 memory=147096 CPUtime=1751.72 cores=5,7
/proc/93831/task/93833/stat : 93833 (pb_competition_) R 93828 93831 92759 0 -1 4194368 12605 0 0 0 175051 121 0 0 20 0 2 0 75464549 226750464 36774 18446744073709551615 4198400 6788177 140733249378016 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 18370560 140733249382745 140733249382872 140733249382872 140733249388474 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 221436 KiB
Current children cumulated memory: 147096 KiB
Child status: 0
Real time (s): 1861.57
CPU time (s): 3600.16
CPU user time (s): 3595.58
CPU system time (s): 4.5798
CPU usage (%): 193.394
Max. virtual memory (cumulated for all children) (KiB): 221608
Max. memory (cumulated for all children) (KiB): 147308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.58
system time used= 4.5798
maximum resident set size= 147308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637399
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= 241293
involuntary context switches= 94156
# summary of solver processes directly reported to runsolver:
# pid: 93831
# total CPU time (s): 3600.16
# total CPU user time (s): 3595.58
# total CPU system time (s): 4.5798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81641 second user time and 8.57573 second system time
The end
Begin job on nodeC018 at 2025-07-04 04:57:47
IDJOB=4523606
IDBENCH=180367
IDSOLVER=3347
FILE ID=nodeC018/4523606-1751597867
RUNJOBID= nodeC018-1751589378-92772
SLURM_JOB_ID= 9598843
Free space on /tmp= 432548 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523606-1751597867/watcher-4523606-1751597867 -o /tmp/evaluation-result-4523606-1751597867/solver-4523606-1751597867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751589378-92772 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1848392127 HOME/instance-4523606-1751597867.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f6e958af03e3a467ac7f878ded31fa6
RANDOM SEED=1848392127
nodeC018 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.803
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.66
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.853
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.66
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.828
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.66
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.822
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.66
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.968
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.66
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.802
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.66
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.831
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.66
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 : 3591.698
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128578828 kB
MemAvailable: 129257748 kB
Buffers: 2128 kB
Cached: 1442672 kB
SwapCached: 32 kB
Active: 978740 kB
Inactive: 967712 kB
Active(anon): 519408 kB
Inactive(anon): 288 kB
Active(file): 459332 kB
Inactive(file): 967424 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8344 kB
Writeback: 8 kB
AnonPages: 504688 kB
Mapped: 112264 kB
Shmem: 18044 kB
KReclaimable: 182404 kB
Slab: 272900 kB
SReclaimable: 182404 kB
SUnreclaim: 90496 kB
KernelStack: 4336 kB
PageTables: 3968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 863104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 268288 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC018 at 2025-07-04 05:28:49