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: 63794 MiB (63223 MiB free)
memory of node 1: 64507 MiB (64072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507681-1751186580/watcher-4507681-1751186580 -o /tmp/evaluation-result-4507681-1751186580/solver-4507681-1751186580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21628 --watchdog 3760 HOME/solve.sh HOME/instance-4507681-1751186580.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=22053, runsolver pid=22041
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.07 4.09 4.11 4/249 22061
/proc/meminfo: memFree=130334680/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=9884 memory=5632 CPUtime=0.05 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 973 0 0 0 5 0 0 0 20 0 1 0 34337363 10121216 1408 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 2471 1408 544 108 0 988 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14076 KiB
Current children cumulated memory: 8576 KiB
[startup+0.215269 s]*
/proc/loadavg: 4.06 4.08 4.11 5/249 22066
/proc/meminfo: memFree=130331828/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=10812 memory=6528 CPUtime=0.17 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 1202 0 0 0 17 0 0 0 20 0 1 0 34337363 11071488 1632 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 2703 1632 544 108 0 1220 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 15004 KiB
Current children cumulated memory: 9472 KiB
[startup+0.314941 s]*
/proc/loadavg: 4.06 4.08 4.11 5/254 22075
/proc/meminfo: memFree=130330976/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=11472 memory=7296 CPUtime=0.27 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 1383 0 0 0 27 0 0 0 20 0 1 0 34337363 11747328 1824 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 2868 1824 544 108 0 1385 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15664 KiB
Current children cumulated memory: 10240 KiB
[startup+0.700352 s]
/proc/loadavg: 4.06 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130321932/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=14260 memory=9984 CPUtime=0.63 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 2047 0 0 0 63 0 0 0 20 0 1 0 34337363 14602240 2496 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 3565 2496 544 108 0 2082 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 18452 KiB
Current children cumulated memory: 12928 KiB
[startup+1.50047 s]
/proc/loadavg: 4.06 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130303788/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=22236 memory=17792 CPUtime=1.44 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 3983 0 0 0 143 1 0 0 20 0 1 0 34337363 22769664 4448 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 5559 4448 576 108 0 4076 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 26428 KiB
Current children cumulated memory: 20736 KiB
[startup+3.11367 s]
/proc/loadavg: 4.06 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130238316/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=42432 memory=37120 CPUtime=3.04 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 8814 0 0 0 302 2 0 0 20 0 1 0 34337363 43450368 9280 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 10608 9280 576 108 0 9125 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 46624 KiB
Current children cumulated memory: 40064 KiB
[startup+6.30044 s]
/proc/loadavg: 4.06 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130191308/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=57432 memory=51840 CPUtime=6.22 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 12481 0 0 0 619 3 0 0 20 0 1 0 34337363 58810368 12960 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 14358 12960 576 108 0 12875 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 54784 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130111800/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=75500 memory=68992 CPUtime=12.6 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 16777 0 0 0 1256 4 0 0 20 0 1 0 34337363 77312000 17248 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 18875 17248 576 108 0 17392 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 79692 KiB
Current children cumulated memory: 71936 KiB
[startup+25.5005 s]
/proc/loadavg: 4.04 4.08 4.11 5/255 22078
/proc/meminfo: memFree=130035500/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=103912 memory=94848 CPUtime=25.35 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 23241 0 0 0 2529 6 0 0 20 0 1 0 34337363 106405888 23712 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 25978 23712 576 108 0 24495 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 108104 KiB
Current children cumulated memory: 97792 KiB
[startup+51.1135 s]
/proc/loadavg: 4.15 4.10 4.11 5/255 22175
/proc/meminfo: memFree=130013864/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=141808 memory=129408 CPUtime=50.86 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 31900 0 0 0 5075 11 0 0 20 0 1 0 34337363 145211392 32352 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 35452 32352 576 108 0 33969 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 146000 KiB
Current children cumulated memory: 132352 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/255 22175
/proc/meminfo: memFree=129864428/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=193632 memory=176256 CPUtime=101.88 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 43626 0 0 0 10172 16 0 0 20 0 1 0 34337363 198279168 44064 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 48408 44064 576 108 0 46925 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 197824 KiB
Current children cumulated memory: 179200 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/255 22180
/proc/meminfo: memFree=129738180/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=237356 memory=215296 CPUtime=161.67 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 53390 0 0 0 16147 20 0 0 20 0 1 0 34337363 243052544 53824 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 59339 53824 576 108 0 57856 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 241548 KiB
Current children cumulated memory: 218240 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/256 22185
/proc/meminfo: memFree=129634368/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=275404 memory=248320 CPUtime=221.45 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 61513 0 0 0 22121 24 0 0 20 0 1 0 34337363 282013696 62080 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 68851 62080 576 108 0 67368 0
Current children cumulated CPU time: 221.45 s
################
# More data... #
################
/proc/22059/statm: 219177 217390 576 108 0 217694 0
Current children cumulated CPU time: 3029.73 s
Current children cumulated vsize: 880900 KiB
Current children cumulated memory: 872504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 22345
/proc/meminfo: memFree=127905456/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=877732 memory=870328 CPUtime=3089.46 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 180890 0 0 0 308866 80 0 0 20 0 1 0 34337363 898797568 217582 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 219433 217582 576 108 0 217950 0
Current children cumulated CPU time: 3089.46 s
Current children cumulated vsize: 881924 KiB
Current children cumulated memory: 873272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/253 22349
/proc/meminfo: memFree=127910772/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=879780 memory=871480 CPUtime=3149.19 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 181174 0 0 0 314839 80 0 0 20 0 1 0 34337363 900894720 217870 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 219945 217870 576 108 0 218462 0
Current children cumulated CPU time: 3149.19 s
Current children cumulated vsize: 883972 KiB
Current children cumulated memory: 874424 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/254 22354
/proc/meminfo: memFree=127911524/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=881444 memory=872504 CPUtime=3208.93 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 181433 0 0 0 320812 81 0 0 20 0 1 0 34337363 902598656 218126 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 220361 218126 576 108 0 218878 0
Current children cumulated CPU time: 3208.93 s
Current children cumulated vsize: 885636 KiB
Current children cumulated memory: 875448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 22359
/proc/meminfo: memFree=127912780/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=883364 memory=873656 CPUtime=3268.66 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 181995 0 0 0 326785 81 0 0 20 0 1 0 34337363 904564736 218414 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 220841 218414 576 108 0 219358 0
Current children cumulated CPU time: 3268.66 s
Current children cumulated vsize: 887556 KiB
Current children cumulated memory: 876600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 22361
/proc/meminfo: memFree=127877556/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=885668 memory=875064 CPUtime=3328.41 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 182489 0 0 0 332759 82 0 0 20 0 1 0 34337363 906924032 218766 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 221417 218766 576 108 0 219934 0
Current children cumulated CPU time: 3328.41 s
Current children cumulated vsize: 889860 KiB
Current children cumulated memory: 878008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 22365
/proc/meminfo: memFree=127845404/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=889508 memory=877368 CPUtime=3388.14 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 183077 0 0 0 338732 82 0 0 20 0 1 0 34337363 910856192 219342 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 222377 219342 576 108 0 220894 0
Current children cumulated CPU time: 3388.14 s
Current children cumulated vsize: 893700 KiB
Current children cumulated memory: 880312 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 22367
/proc/meminfo: memFree=127832300/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=902504 memory=886456 CPUtime=3447.88 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 185334 0 0 0 344705 83 0 0 20 0 1 0 34337363 924164096 221614 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 225626 221614 576 108 0 224143 0
Current children cumulated CPU time: 3447.88 s
Current children cumulated vsize: 906696 KiB
Current children cumulated memory: 889400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 22369
/proc/meminfo: memFree=127810508/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=934764 memory=901176 CPUtime=3507.59 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 189273 0 0 0 350674 85 0 0 20 0 1 0 34337363 957198336 225294 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 233691 225294 576 108 0 232208 0
Current children cumulated CPU time: 3507.59 s
Current children cumulated vsize: 938956 KiB
Current children cumulated memory: 904120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 22372
/proc/meminfo: memFree=127804720/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=955204 memory=914616 CPUtime=3567.28 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 192813 0 0 0 356642 86 0 0 20 0 1 0 34337363 978128896 228654 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 238801 228654 576 108 0 237318 0
Current children cumulated CPU time: 3567.28 s
Current children cumulated vsize: 959396 KiB
Current children cumulated memory: 917560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.2 s]
/proc/loadavg: 4.13 4.10 4.09 3/244 22390
/proc/meminfo: memFree=128905552/131382120 swapFree=33010684/33010684
[pid=22053] ppid=22041 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22053/stat : 22053 (bash) S 22041 22053 21616 0 -1 4194304 305 255 0 0 0 0 0 0 20 0 1 0 34337360 4292608 736 18446744073709551615 94099117023232 94099117917765 140725106873072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94099118156816 94099118204560 94099148034048 140725106874772 140725106874888 140725106874888 140725106880490 0
/proc/22053/statm: 1048 736 672 219 0 110 0
[pid=22059] ppid=22053 vsize=969112 memory=923064 CPUtime=3600.01 cores=1,3
/proc/22059/stat : 22059 (solve_pb) R 22053 22053 21616 0 -1 4194304 194916 0 0 0 359913 88 0 0 20 0 1 0 34337363 992370688 230766 18446744073709551615 94683916719104 94683917157248 140728393679440 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94683917185968 94683917188384 94683943424000 140728393685380 140728393685444 140728393685444 140728393691064 0
/proc/22059/statm: 242278 230766 576 108 0 240795 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 973304 KiB
Current children cumulated memory: 926008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.21 s]
# the end of solver process 22053 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000955 s, system=0.018488 s
[startup+3615.21 s]
# the end of solver process 22059 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.14 s, system=0.905678 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3615.21
CPU time (s): 3600.04
CPU user time (s): 3599.14
CPU system time (s): 0.905678
CPU usage (%): 99.5805
Max. virtual memory (cumulated for all children) (KiB): 973304
Max. memory (cumulated for all children) (KiB): 926008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.905678
maximum resident set size= 923064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195476
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= 604
involuntary context switches= 4576
# summary of solver processes directly reported to runsolver:
# pid: 22053,22059
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.14
# total CPU system time (s): 0.905678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.482 second user time and 38.8771 second system time
The end
Begin job on nodeC006 at 2025-06-29 10:43:00
IDJOB=4507681
IDBENCH=158377
IDSOLVER=3321
FILE ID=nodeC006/4507681-1751186580
RUNJOBID= nodeC006-1751182966-21628
SLURM_JOB_ID= 9587566
Free space on /tmp= 433056 MiB
SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507681-1751186580/watcher-4507681-1751186580 -o /tmp/evaluation-result-4507681-1751186580/solver-4507681-1751186580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21628 --watchdog 3760 HOME/solve.sh HOME/instance-4507681-1751186580.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b
RANDOM SEED=953616251
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.079
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.143
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.408
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130358688 kB
MemAvailable: 129992400 kB
Buffers: 3280 kB
Cached: 432208 kB
SwapCached: 0 kB
Active: 318788 kB
Inactive: 184412 kB
Active(anon): 85672 kB
Inactive(anon): 0 kB
Active(file): 233116 kB
Inactive(file): 184412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2372 kB
Writeback: 28 kB
AnonPages: 70808 kB
Mapped: 102344 kB
Shmem: 17960 kB
KReclaimable: 85380 kB
Slab: 164572 kB
SReclaimable: 85380 kB
SUnreclaim: 79192 kB
KernelStack: 3904 kB
PageTables: 2968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 341352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC006 at 2025-06-29 11:43:15