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 (54708 MiB free)
memory of node 1: 64507 MiB (62966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504881-1751442153/watcher-4504881-1751442153 -o /tmp/evaluation-result-4504881-1751442153/solver-4504881-1751442153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68008 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4504881-1751442153.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68303, runsolver pid=68300
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 6.60 7.59 7.13 7/266 68304
/proc/meminfo: memFree=120450704/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=136140 memory=99264 CPUtime=0.09 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 19049 0 0 0 6 3 0 0 20 0 1 0 59895563 139407360 24816 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 34035 24816 1184 6655 0 24270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 99264 KiB
[startup+0.20555 s]*
/proc/loadavg: 6.60 7.59 7.13 7/266 68304
/proc/meminfo: memFree=120387200/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=194776 memory=159808 CPUtime=0.19 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 31654 0 0 0 15 4 0 0 20 0 1 0 59895563 199450624 39952 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 48694 39952 1184 6655 0 38929 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 194776 KiB
Current children cumulated memory: 159808 KiB
[startup+0.305422 s]*
/proc/loadavg: 6.60 7.59 7.13 8/266 68304
/proc/meminfo: memFree=120354944/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=222400 memory=187456 CPUtime=0.29 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 38543 0 0 0 24 5 0 0 20 0 1 0 59895563 227737600 46864 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 55600 46864 1184 6655 0 45835 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 222400 KiB
Current children cumulated memory: 187456 KiB
[startup+0.700162 s]
/proc/loadavg: 6.60 7.59 7.13 7/266 68304
/proc/meminfo: memFree=120306560/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=269480 memory=234560 CPUtime=0.69 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 50326 0 0 0 62 7 0 0 20 0 1 0 59895563 275947520 58640 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 67370 58640 1184 6655 0 57605 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234560 KiB
[startup+1.50016 s]
/proc/loadavg: 6.60 7.59 7.13 7/266 68304
/proc/meminfo: memFree=120306560/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=269480 memory=234560 CPUtime=1.48 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 50327 0 0 0 141 7 0 0 20 0 1 0 59895563 275947520 58640 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 67370 58640 1184 6655 0 57605 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234560 KiB
[startup+3.10538 s]
/proc/loadavg: 6.60 7.59 7.13 6/262 68339
/proc/meminfo: memFree=120321912/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=269480 memory=234560 CPUtime=3.08 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 50342 0 0 0 301 7 0 0 20 0 1 0 59895563 275947520 58640 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 67370 58640 1184 6655 0 57605 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234560 KiB
[startup+6.30016 s]
/proc/loadavg: 6.47 7.55 7.12 6/265 68349
/proc/meminfo: memFree=119615708/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=269480 memory=234560 CPUtime=6.27 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 50357 0 0 0 620 7 0 0 20 0 1 0 59895563 275947520 58640 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 67370 58640 1184 6655 0 57605 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234560 KiB
[startup+12.7002 s]
/proc/loadavg: 6.35 7.50 7.11 6/266 68350
/proc/meminfo: memFree=119367164/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=673308 memory=545844 CPUtime=12.65 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 102593 0 0 0 1247 18 0 0 20 0 2 0 59895563 689467392 136461 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 168327 136461 2880 6655 0 142210 0
[pid=68303/tid=68350] ppid=68300 vsize=673308 memory=545844 CPUtime=0 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) S 68300 68303 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 59896608 689467392 136461 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 673308 KiB
Current children cumulated memory: 545844 KiB
[startup+25.5002 s]
/proc/loadavg: 6.20 7.41 7.08 7/267 68351
/proc/meminfo: memFree=117571520/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1315384 memory=1197224 CPUtime=27.7 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 233519 0 1 0 2723 47 0 0 20 0 2 0 59895563 1346953216 299306 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 328846 299306 3424 6655 0 312858 0
[pid=68303/tid=68350] ppid=68300 vsize=1315384 memory=1168828 CPUtime=2.38 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 27387 0 0 0 234 4 0 0 20 0 2 0 59896608 1346953216 299306 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 1315384 KiB
Current children cumulated memory: 1197224 KiB
[startup+51.1058 s]
/proc/loadavg: 6.40 7.36 7.08 8/267 68352
/proc/meminfo: memFree=116259720/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1902052 memory=1785520 CPUtime=78.29 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 405679 0 1 0 7747 82 0 0 20 0 2 0 59895563 1947701248 446380 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 475513 446380 3520 6655 0 463495 0
[pid=68303/tid=68350] ppid=68300 vsize=1902052 memory=1785264 CPUtime=27.47 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 63569 0 0 0 2735 12 0 0 20 0 2 0 59896608 1947701248 446380 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 78.29 s
Current children cumulated vsize: 1902052 KiB
Current children cumulated memory: 1785520 KiB
[startup+102.3 s]
/proc/loadavg: 7.14 7.43 7.11 8/267 68402
/proc/meminfo: memFree=121758284/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1902052 memory=1801964 CPUtime=179.87 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 565911 0 1 0 17890 97 0 0 20 0 2 0 59895563 1947701248 450491 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 475513 450491 3520 6655 0 463495 0
[pid=68303/tid=68350] ppid=68300 vsize=1902052 memory=1801964 CPUtime=78.06 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 132455 0 0 0 7788 18 0 0 20 0 2 0 59896608 1947701248 450491 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 179.87 s
Current children cumulated vsize: 1902052 KiB
Current children cumulated memory: 1801964 KiB
[startup+162.3 s]
/proc/loadavg: 7.26 7.40 7.12 9/267 68500
/proc/meminfo: memFree=120674520/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2066036 memory=1932204 CPUtime=298.99 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 665927 0 1 0 29788 111 0 0 20 0 2 0 59895563 2115620864 483051 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 516509 483051 3520 6655 0 495989 0
[pid=68303/tid=68350] ppid=68300 vsize=2066036 memory=1932076 CPUtime=137.39 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 183756 0 0 0 13714 25 0 0 20 0 2 0 59896608 2115620864 483051 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 298.99 s
Current children cumulated vsize: 2066036 KiB
Current children cumulated memory: 1932204 KiB
[startup+222.3 s]
/proc/loadavg: 7.79 7.52 7.18 9/267 68502
/proc/meminfo: memFree=120236036/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2066036 memory=1943596 CPUtime=417.94 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 692304 0 1 0 41680 114 0 0 20 0 2 0 59895563 2115620864 485899 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 516509 485899 3520 6655 0 497646 0
[pid=68303/tid=68350] ppid=68300 vsize=2066036 memory=1943596 CPUtime=196.61 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 195329 0 0 0 19634 27 0 0 20 0 2 0 59896608 2115620864 485899 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 417.94 s
Current children cumulated vsize: 2066036 KiB
Current children cumulated memory: 1943596 KiB
[startup+282.3 s]
/proc/loadavg: 7.91 7.61 7.24 9/267 68504
/proc/meminfo: memFree=120217644/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1997104 memory=1925468 CPUtime=533.29 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 825292 0 1 0 53201 128 0 0 20 0 2 0 59895563 2045034496 481367 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 499276 481367 3520 6655 0 486679 0
[pid=68303/tid=68350] ppid=68300 vsize=1997104 memory=1925468 CPUtime=252.26 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 251268 0 0 0 25191 35 0 0 20 0 2 0 59896608 2045034496 481367 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 533.29 s
Current children cumulated vsize: 1997104 KiB
Current children cumulated memory: 1925468 KiB
[startup+342.3 s]
/proc/loadavg: 8.07 7.72 7.30 9/267 68506
/proc/meminfo: memFree=120018000/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1997104 memory=1932380 CPUtime=652.26 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 892371 0 1 0 65092 134 0 0 20 0 2 0 59895563 2045034496 483095 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 499276 483095 3520 6655 0 487029 0
[pid=68303/tid=68350] ppid=68300 vsize=1997104 memory=14720 CPUtime=311.52 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 270887 0 0 0 31116 36 0 0 20 0 2 0 59896608 2045034496 483095 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 652.26 s
Current children cumulated vsize: 1997104 KiB
Current children cumulated memory: 1932380 KiB
[startup+402.3 s]
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 7.15 7.22 7.40 8/266 68577
/proc/meminfo: memFree=118464792/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2026492 memory=1973012 CPUtime=3092.62 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1661209 0 1 0 308973 289 0 0 20 0 2 0 59895563 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 506623 493253 3520 6655 0 494446 0
[pid=68303/tid=68350] ppid=68300 vsize=2026492 memory=1973012 CPUtime=1500.89 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 614797 0 0 0 149939 150 0 0 20 0 2 0 59896608 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3092.62 s
Current children cumulated vsize: 2026492 KiB
Current children cumulated memory: 1973012 KiB
[startup+1662.3 s]
/proc/loadavg: 7.17 7.21 7.38 8/267 68582
/proc/meminfo: memFree=118599180/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2026492 memory=1973012 CPUtime=3211.73 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1677053 0 1 0 320882 291 0 0 20 0 2 0 59895563 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 506623 493253 3520 6655 0 494446 0
[pid=68303/tid=68350] ppid=68300 vsize=2026492 memory=1973012 CPUtime=1560.23 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 618748 0 0 0 155873 150 0 0 20 0 2 0 59896608 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3211.73 s
Current children cumulated vsize: 2026492 KiB
Current children cumulated memory: 1973012 KiB
[startup+1722.3 s]
/proc/loadavg: 6.97 7.15 7.35 7/267 68584
/proc/meminfo: memFree=118551832/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2026492 memory=1973012 CPUtime=3318.2 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1684468 0 1 0 331528 292 0 0 20 0 2 0 59895563 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 506623 493253 3520 6655 0 494446 0
[pid=68303/tid=68350] ppid=68300 vsize=2026492 memory=1973012 CPUtime=1607.06 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) S 68300 68303 67998 0 -1 4194368 620263 0 0 0 160555 151 0 0 20 0 2 0 59896608 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3318.2 s
Current children cumulated vsize: 2026492 KiB
Current children cumulated memory: 1973012 KiB
[startup+1782.3 s]
/proc/loadavg: 6.40 6.95 7.27 7/267 68586
/proc/meminfo: memFree=118444560/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2026492 memory=1973012 CPUtime=3377.99 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1687816 0 1 0 337507 292 0 0 20 0 2 0 59895563 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 506623 493253 3520 6655 0 494446 0
[pid=68303/tid=68350] ppid=68300 vsize=2026492 memory=1973012 CPUtime=1607.06 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) S 68300 68303 67998 0 -1 4194368 620263 0 0 0 160555 151 0 0 20 0 2 0 59896608 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3377.99 s
Current children cumulated vsize: 2026492 KiB
Current children cumulated memory: 1973012 KiB
[startup+1842.3 s]
/proc/loadavg: 6.27 6.81 7.19 7/267 68588
/proc/meminfo: memFree=118382156/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2026492 memory=1973012 CPUtime=3437.79 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1695199 0 1 0 343486 293 0 0 20 0 2 0 59895563 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 506623 493253 3520 6655 0 494446 0
[pid=68303/tid=68350] ppid=68300 vsize=2026492 memory=1973012 CPUtime=1607.06 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) S 68300 68303 67998 0 -1 4194368 620263 0 0 0 160555 151 0 0 20 0 2 0 59896608 2075127808 493253 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3437.79 s
Current children cumulated vsize: 2026492 KiB
Current children cumulated memory: 1973012 KiB
[startup+1902.3 s]
/proc/loadavg: 5.72 6.54 7.08 7/266 68682
/proc/meminfo: memFree=122120256/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2060568 memory=2007088 CPUtime=3514.57 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1706651 0 1 0 351158 299 0 0 20 0 2 0 59895563 2110021632 501772 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 515142 501772 3520 6655 0 502965 0
[pid=68303/tid=68350] ppid=68300 vsize=2060568 memory=14720 CPUtime=1624.13 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 623607 0 0 0 162261 152 0 0 20 0 2 0 59896608 2110021632 501772 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3514.57 s
Current children cumulated vsize: 2060568 KiB
Current children cumulated memory: 2007088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1945.4 s]
/proc/loadavg: 5.99 6.49 7.03 7/267 68683
/proc/meminfo: memFree=117316396/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=2060568 memory=2007088 CPUtime=3600.08 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) R 68300 68303 67998 0 -1 4194304 1713591 0 1 0 359707 301 0 0 20 0 2 0 59895563 2110021632 501772 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 515142 501772 3520 6655 0 502965 0
[pid=68303/tid=68350] ppid=68300 vsize=2060568 memory=245635481903 CPUtime=1666.73 cores=0,2
/proc/68303/task/68350/stat : 68350 (LSIPExact) R 68300 68303 67998 0 -1 4194368 624403 0 0 0 166519 154 0 0 20 0 2 0 59896608 2110021632 501772 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2060568 KiB
Current children cumulated memory: 2007088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1947.43 s]
# the end of solver process 68303 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.29 s, system=3.06429 s
[startup+1947.43 s]
# the end of solver process 68685 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.91 s, system=3.22534 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1945.6 s]
/proc/loadavg: 5.99 6.49 7.03 7/267 68683
/proc/meminfo: memFree=117316396/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1918848 memory=1865032 CPUtime=3600.31 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) S 68300 68303 67998 0 -1 4194304 1754126 230 1 0 359728 303 0 0 20 0 1 0 59895563 1964900352 466258 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 479712 466258 3552 6655 0 467583 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1918848 KiB
Current children cumulated memory: 1865032 KiB
[startup+1946.4 s]
/proc/loadavg: 5.99 6.49 7.03 6/267 68685
/proc/meminfo: memFree=117312304/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1918848 memory=1865032 CPUtime=3600.31 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) S 68300 68303 67998 0 -1 4194304 1754126 230 1 0 359728 303 0 0 20 0 1 0 59895563 1964900352 466258 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 479712 466258 3552 6655 0 467583 0
[pid=68685] ppid=68303 vsize=190488 memory=182460 CPUtime=0.76 cores=0,2
/proc/68685/stat : 68685 (Exact) R 68303 68685 68685 0 -1 4194304 33032 0 0 0 68 8 0 0 20 0 1 0 60090123 195059712 45615 18446744073709551615 4198400 8335837 140730095281040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9148648 9230840 35831808 140730095286452 140730095286813 140730095286813 140730095292367 0
/proc/68685/statm: 47622 45615 960 1011 0 46389 0
Current children cumulated CPU time: 3601.07 s
Current children cumulated vsize: 2109336 KiB
Current children cumulated memory: 2047492 KiB
[startup+1947.2 s]
/proc/loadavg: 5.99 6.49 7.03 6/267 68685
/proc/meminfo: memFree=116979808/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1918848 memory=1865032 CPUtime=3600.31 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) S 68300 68303 67998 0 -1 4194304 1754126 230 1 0 359728 303 0 0 20 0 1 0 59895563 1964900352 466258 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 479712 466258 3552 6655 0 467583 0
[pid=68685] ppid=68303 vsize=326100 memory=313220 CPUtime=1.56 cores=0,2
/proc/68685/stat : 68685 (Exact) R 68303 68685 68685 0 -1 4194304 55649 0 0 0 142 14 0 0 20 0 1 0 60090123 333926400 78305 18446744073709551615 4198400 8335837 140730095281040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 35831808 140730095286452 140730095286813 140730095286813 140730095292367 0
/proc/68685/statm: 81525 78305 960 1011 0 80292 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 2244948 KiB
Current children cumulated memory: 2178252 KiB
[startup+1947.4 s]
/proc/loadavg: 5.99 6.49 7.03 6/267 68685
/proc/meminfo: memFree=116979808/131250000 swapFree=33010684/33010684
[pid=68303] ppid=68300 vsize=1918848 memory=1865032 CPUtime=3600.31 cores=0,2
/proc/68303/stat : 68303 (LSIPExact) S 68300 68303 67998 0 -1 4194304 1754126 230 1 0 359728 303 0 0 20 0 1 0 59895563 1964900352 466258 18446744073709551615 94820894199808 94820921456209 140734734063680 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94820929959048 94820930390656 94820940374016 140734734068058 140734734068234 140734734068234 140734734073836 0
/proc/68303/statm: 479712 466258 3552 6655 0 467583 0
[pid=68685] ppid=68303 vsize=362784 memory=356224 CPUtime=1.76 cores=0,2
/proc/68685/stat : 68685 (Exact) R 68303 68685 68685 0 -1 4194304 59757 0 0 0 161 15 0 0 20 0 1 0 60090123 371490816 89056 18446744073709551615 4198400 8335837 140730095281040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 35831808 140730095286452 140730095286813 140730095286813 140730095292367 0
/proc/68685/statm: 90696 89056 960 1011 0 89463 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 2281632 KiB
Current children cumulated memory: 2221256 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1947.43
CPU time (s): 3602.13
CPU user time (s): 3598.91
CPU system time (s): 3.22534
CPU usage (%): 184.968
Max. virtual memory (cumulated for all children) (KiB): 2281632
Max. memory (cumulated for all children) (KiB): 2221256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 3.22534
maximum resident set size= 2025444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1814113
page faults= 1
swaps= 0
block input operations= 24736
block output operations= 1320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 576
involuntary context switches= 59099
# summary of solver processes directly reported to runsolver:
# pid: 68303,68685
# total CPU time (s): 3602.13
# total CPU user time (s): 3598.91
# total CPU system time (s): 3.22534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64339 second user time and 9.12699 second system time
The end
Begin job on nodeC013 at 2025-07-02 09:42:33
IDJOB=4504881
IDBENCH=155700
IDSOLVER=3336
FILE ID=nodeC013/4504881-1751442153
RUNJOBID= nodeC013-1751440305-68008
SLURM_JOB_ID= 9598399
Free space on /tmp= 432524 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_mh_ic.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504881-1751442153/watcher-4504881-1751442153 -o /tmp/evaluation-result-4504881-1751442153/solver-4504881-1751442153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68008 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4504881-1751442153.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=928931899
nodeC013 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 : 3600.585
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.838
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.844
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.830
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.830
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.817
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 : 3700.000
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 : 3599.960
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: 131250000 kB
MemFree: 120499272 kB
MemAvailable: 121462932 kB
Buffers: 3280 kB
Cached: 1762636 kB
SwapCached: 0 kB
Active: 8374088 kB
Inactive: 1517716 kB
Active(anon): 8139172 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 1517716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57016 kB
Writeback: 4 kB
AnonPages: 8123684 kB
Mapped: 135420 kB
Shmem: 13284 kB
KReclaimable: 100136 kB
Slab: 188972 kB
SReclaimable: 100136 kB
SUnreclaim: 88836 kB
KernelStack: 4288 kB
PageTables: 19176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8575780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5181440 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432396 MiB
End job on nodeC013 at 2025-07-02 10:15:01