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: 64096 MiB (61451 MiB free)
memory of node 1: 64473 MiB (63216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443773-1721313379/watcher-4443773-1721313379 -o /tmp/evaluation-result-4443773-1721313379/solver-4443773-1721313379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443773-1721313379.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=959718, runsolver pid=959715
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.53 4.35 4.22 5/245 959722
/proc/meminfo: memFree=127635948/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=28316 memory=9792 CPUtime=0.09 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 1819 0 0 0 9 0 0 0 20 0 1 0 183495196 28995584 2448 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 7079 2448 750 2417 0 4181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46908 KiB
Current children cumulated memory: 13324 KiB
[startup+0.207862 s]*
/proc/loadavg: 4.53 4.35 4.22 5/245 959722
/proc/meminfo: memFree=127610908/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=34676 memory=16392 CPUtime=0.2 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 3416 0 0 0 19 1 0 0 20 0 1 0 183495196 35508224 4098 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 8669 4098 750 2417 0 5771 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53268 KiB
Current children cumulated memory: 19924 KiB
[startup+0.307833 s]*
/proc/loadavg: 4.53 4.35 4.22 5/245 959722
/proc/meminfo: memFree=127585884/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=43028 memory=24460 CPUtime=0.3 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 5470 0 0 0 29 1 0 0 20 0 1 0 183495196 44060672 6115 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 10757 6115 750 2417 0 7859 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61620 KiB
Current children cumulated memory: 27992 KiB
[startup+0.700504 s]
/proc/loadavg: 4.53 4.35 4.22 5/245 959722
/proc/meminfo: memFree=127531700/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=72904 memory=54336 CPUtime=0.68 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 12919 0 0 0 65 3 0 0 20 0 1 0 183495196 74653696 13584 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 18226 13584 750 2417 0 15328 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91496 KiB
Current children cumulated memory: 57868 KiB
[startup+1.50054 s]
/proc/loadavg: 4.53 4.35 4.22 5/245 959722
/proc/meminfo: memFree=127401084/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=166020 memory=147400 CPUtime=1.48 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 36182 0 0 0 140 8 0 0 20 0 1 0 183495196 170004480 36850 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 41505 36850 750 2417 0 38607 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184612 KiB
Current children cumulated memory: 150932 KiB
[startup+3.11454 s]
/proc/loadavg: 4.53 4.35 4.22 5/249 959757
/proc/meminfo: memFree=126635792/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=427960 memory=408124 CPUtime=3.09 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 101379 0 0 0 290 19 0 0 20 0 1 0 183495196 438231040 102031 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 106990 102031 750 2417 0 104092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 446552 KiB
Current children cumulated memory: 411656 KiB
[startup+6.30049 s]
/proc/loadavg: 4.49 4.35 4.21 5/249 959759
/proc/meminfo: memFree=125306884/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=984244 memory=964488 CPUtime=6.27 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 239930 0 0 0 589 38 0 0 20 0 1 0 183495196 1007865856 241122 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 246061 241122 750 2417 0 243163 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1002836 KiB
Current children cumulated memory: 968020 KiB
[startup+12.7005 s]
/proc/loadavg: 4.53 4.36 4.22 5/249 959759
/proc/meminfo: memFree=123316308/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=2080344 memory=2053584 CPUtime=12.66 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 511242 0 0 0 1188 78 0 0 20 0 1 0 183495196 2130272256 513396 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 520086 513396 750 2417 0 517188 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2098936 KiB
Current children cumulated memory: 2057116 KiB
[startup+25.5005 s]
/proc/loadavg: 4.41 4.34 4.21 5/249 959819
/proc/meminfo: memFree=122195652/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3647464 memory=3506940 CPUtime=25.43 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 661796 0 0 0 2404 139 0 0 20 0 1 0 183495196 3735003136 876735 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 911866 876735 1038 2417 0 908968 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3666056 KiB
Current children cumulated memory: 3510472 KiB
[startup+51.1141 s]
/proc/loadavg: 4.27 4.31 4.21 5/249 959879
/proc/meminfo: memFree=121768168/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3787928 memory=3570824 CPUtime=50.97 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 662719 0 0 0 4955 142 0 0 20 0 1 0 183495196 3878838272 892706 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 946982 892706 1038 2417 0 944084 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3806520 KiB
Current children cumulated memory: 3574356 KiB
[startup+102.301 s]
/proc/loadavg: 4.36 4.33 4.21 5/249 959886
/proc/meminfo: memFree=118504360/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3787928 memory=3575948 CPUtime=102.03 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 663368 0 0 0 10058 145 0 0 20 0 1 0 183495196 3878838272 893987 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 946982 893987 1038 2417 0 944084 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 3806520 KiB
Current children cumulated memory: 3579480 KiB
[startup+112.66 s]
# the end of solver process 959718 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=110.716 s, system=1.64907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 4.36 4.33 4.21 5/249 959886
/proc/meminfo: memFree=118504360/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3787928 memory=3575948 CPUtime=102.13 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 663368 0 0 0 10068 145 0 0 20 0 1 0 183495196 3878838272 893987 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 946982 893987 1038 2417 0 944084 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 3806520 KiB
Current children cumulated memory: 3579480 KiB
[startup+108.8 s]
/proc/loadavg: 4.33 4.32 4.21 5/245 959910
/proc/meminfo: memFree=121937604/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3787928 memory=3578024 CPUtime=108.51 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 663395 0 0 0 10705 146 0 0 20 0 1 0 183495196 3878838272 894506 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 946982 894506 1038 2417 0 944084 0
Current children cumulated CPU time: 108.51 s
Current children cumulated vsize: 3806520 KiB
Current children cumulated memory: 3581556 KiB
[startup+110.4 s]
/proc/loadavg: 4.31 4.31 4.21 5/245 959911
/proc/meminfo: memFree=121937356/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3787928 memory=3578024 CPUtime=110.11 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 663395 0 0 0 10865 146 0 0 20 0 1 0 183495196 3878838272 894506 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 946982 894506 1038 2417 0 944084 0
Current children cumulated CPU time: 110.11 s
Current children cumulated vsize: 3806520 KiB
Current children cumulated memory: 3581556 KiB
[startup+112 s]*
/proc/loadavg: 4.31 4.31 4.21 5/245 959911
/proc/meminfo: memFree=121880484/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3820568 memory=3634816 CPUtime=111.71 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 664154 0 0 0 11018 153 0 0 20 0 1 0 183495196 3912261632 908704 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 955142 908704 1038 2417 0 952244 0
Current children cumulated CPU time: 111.71 s
Current children cumulated vsize: 3839160 KiB
Current children cumulated memory: 3638348 KiB
[startup+112.4 s]
/proc/loadavg: 4.31 4.31 4.21 5/245 959911
/proc/meminfo: memFree=121880484/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
[pid=959722] ppid=959721 vsize=3608952 memory=3443580 CPUtime=112.1 cores=5,7
/proc/959722/stat : 959722 (CASHWMaxSAT-Dis) R 959721 959721 954040 0 -1 4194304 664181 0 0 0 11057 153 0 0 20 0 1 0 183495196 3695566848 860895 134679101440 4194304 14093885 140724539272784 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53870592 140724539278366 140724539278485 140724539278485 140724539285472 0
/proc/959722/statm: 902238 860895 1038 2417 0 899340 0
Current children cumulated CPU time: 112.1 s
Current children cumulated vsize: 3627544 KiB
Current children cumulated memory: 3447112 KiB
[startup+112.6 s]
/proc/loadavg: 4.31 4.31 4.21 5/245 959911
/proc/meminfo: memFree=121880484/131655788 swapFree=131070704/131071996
[pid=959718] ppid=959715 vsize=9932 memory=2616 CPUtime=0 cores=5,7
/proc/959718/stat : 959718 (Hybrid-LSMabSP+) S 959715 959718 954040 0 -1 4194304 230 101 0 0 0 0 0 0 20 0 1 0 183495195 10170368 654 134679101440 94446889594880 94446890674200 140734194351744 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94446892772656 94446892819844 94446900903936 140734194357197 140734194357356 140734194357356 140734194364372 0
/proc/959718/statm: 2483 654 575 264 0 134 0
[pid=959721] ppid=959718 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959721/stat : 959721 (timeout) S 959718 959721 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183495196 8867840 229 134679101440 94346352160768 94346352195784 140725966222192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94346354293200 94346354295332 94346369810432 140725966230552 140725966230684 140725966230684 140725966237671 0
/proc/959721/statm: 2165 229 205 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3532 KiB
Child status: 0
Real time (s): 112.66
CPU time (s): 112.365
CPU user time (s): 110.716
CPU system time (s): 1.64907
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 4034652
Max. memory (cumulated for all children) (KiB): 3853472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.716
system time used= 1.64907
maximum resident set size= 3864716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 101
# summary of solver processes directly reported to runsolver:
# pid: 959718
# total CPU time (s): 112.365
# total CPU user time (s): 110.716
# total CPU system time (s): 1.64907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.738104 second user time and 1.24511 second system time
The end
Begin job on nodeC011 at 2024-07-18 16:36:33
IDJOB=4443773
IDBENCH=147885
IDSOLVER=3069
FILE ID=nodeC011/4443773-1721313379
RUNJOBID= nodeC011-1721305832-954086
SLURM_JOB_ID= 7542636
Free space on /tmp= 723436 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443773-1721313379/watcher-4443773-1721313379 -o /tmp/evaluation-result-4443773-1721313379/solver-4443773-1721313379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443773-1721313379.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=866915530
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3653.876
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
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 : 3681.293
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.242
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
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.467
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3652.981
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
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.246
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.372
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
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 : 2394.542
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127666096 kB
MemAvailable: 128428708 kB
Buffers: 505512 kB
Cached: 1095664 kB
SwapCached: 132 kB
Active: 1156788 kB
Inactive: 2339148 kB
Active(anon): 1460 kB
Inactive(anon): 1930700 kB
Active(file): 1155328 kB
Inactive(file): 408448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 235764 kB
Writeback: 4 kB
AnonPages: 1893548 kB
Mapped: 111244 kB
Shmem: 37400 kB
KReclaimable: 78068 kB
Slab: 160060 kB
SReclaimable: 78068 kB
SUnreclaim: 81992 kB
KernelStack: 3904 kB
PageTables: 13076 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2325288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723476 MiB
End job on nodeC011 at 2024-07-18 16:38:26