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 (55927 MiB free)
memory of node 1: 64473 MiB (63282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443683-1721313287/watcher-4443683-1721313287 -o /tmp/evaluation-result-4443683-1721313287/solver-4443683-1721313287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443683-1721313287.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
Current StackSize limit: 8192 KiB
solver pid=959510, runsolver pid=959507
[startup+0.100098 s]*
/proc/loadavg: 4.75 4.27 4.17 5/252 959514
/proc/meminfo: memFree=122051244/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=40176 memory=21672 CPUtime=0.1 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 4791 0 0 0 10 0 0 0 20 0 1 0 183485903 41140224 5418 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 10044 5418 750 2417 0 7146 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58768 KiB
Current children cumulated memory: 25344 KiB
[startup+0.213539 s]*
/proc/loadavg: 4.75 4.27 4.17 5/252 959514
/proc/meminfo: memFree=122031916/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=59300 memory=40760 CPUtime=0.21 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 9532 0 0 0 20 1 0 0 20 0 1 0 183485903 60723200 10190 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 14825 10190 750 2417 0 11927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77892 KiB
Current children cumulated memory: 44432 KiB
[startup+0.31373 s]*
/proc/loadavg: 4.75 4.27 4.17 5/252 959514
/proc/meminfo: memFree=122014948/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=76180 memory=57392 CPUtime=0.31 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 13717 0 0 0 30 1 0 0 20 0 1 0 183485903 78008320 14348 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 19045 14348 750 2417 0 16147 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 61064 KiB
[startup+0.700502 s]
/proc/loadavg: 4.75 4.27 4.17 5/252 959514
/proc/meminfo: memFree=121981208/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=139428 memory=120616 CPUtime=0.68 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 29477 0 0 0 65 3 0 0 20 0 1 0 183485903 142774272 30154 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 34857 30154 750 2417 0 31959 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158020 KiB
Current children cumulated memory: 124288 KiB
[startup+1.50046 s]
/proc/loadavg: 4.75 4.27 4.17 5/252 959514
/proc/meminfo: memFree=121897040/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=279720 memory=260212 CPUtime=1.48 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 64385 0 0 0 139 9 0 0 20 0 1 0 183485903 286433280 65053 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 69930 65053 750 2417 0 67032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 298312 KiB
Current children cumulated memory: 263884 KiB
[startup+3.11309 s]
/proc/loadavg: 4.77 4.28 4.18 5/252 959514
/proc/meminfo: memFree=121548676/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=558116 memory=539416 CPUtime=3.09 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 134222 0 0 0 289 20 0 0 20 0 1 0 183485903 571510784 134854 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 139529 134854 750 2417 0 136631 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 576708 KiB
Current children cumulated memory: 543088 KiB
[startup+6.30047 s]
/proc/loadavg: 4.77 4.28 4.18 5/252 959514
/proc/meminfo: memFree=121063464/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1185312 memory=1137652 CPUtime=6.27 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 243063 0 0 0 583 44 0 0 20 0 1 0 183485903 1213759488 284413 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 296328 284413 798 2417 0 293430 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1203904 KiB
Current children cumulated memory: 1141324 KiB
[startup+12.7005 s]
/proc/loadavg: 4.79 4.29 4.18 5/252 959515
/proc/meminfo: memFree=120757612/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1339240 memory=1269832 CPUtime=12.65 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 257686 0 0 0 1212 53 0 0 20 0 1 0 183485903 1371381760 317458 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 334810 317458 798 2417 0 331912 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1357832 KiB
Current children cumulated memory: 1273504 KiB
[startup+25.5005 s]
/proc/loadavg: 4.97 4.36 4.21 5/251 959517
/proc/meminfo: memFree=120707472/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1395480 memory=1294692 CPUtime=25.43 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 258953 0 0 0 2488 55 0 0 20 0 1 0 183485903 1428971520 323673 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 348870 323673 798 2417 0 345972 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1414072 KiB
Current children cumulated memory: 1298364 KiB
[startup+31.8317 s]
# the end of solver process 959510 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.0956 s, system=0.643264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 4.97 4.36 4.21 5/251 959517
/proc/meminfo: memFree=120707472/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1395480 memory=1294692 CPUtime=25.53 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 258953 0 0 0 2498 55 0 0 20 0 1 0 183485903 1428971520 323673 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 348870 323673 798 2417 0 345972 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 1414072 KiB
Current children cumulated memory: 1298364 KiB
[startup+28.8004 s]
/proc/loadavg: 4.98 4.37 4.21 5/251 959518
/proc/meminfo: memFree=120697036/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1395480 memory=1294840 CPUtime=28.72 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 258988 0 0 0 2817 55 0 0 20 0 1 0 183485903 1428971520 323710 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 348870 323710 798 2417 0 345972 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 1414072 KiB
Current children cumulated memory: 1298512 KiB
[startup+30.4004 s]
/proc/loadavg: 4.98 4.37 4.21 5/251 959518
/proc/meminfo: memFree=120694960/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1395480 memory=1294840 CPUtime=30.31 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 258991 0 0 0 2976 55 0 0 20 0 1 0 183485903 1428971520 323710 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 348870 323710 798 2417 0 345972 0
Current children cumulated CPU time: 30.31 s
Current children cumulated vsize: 1414072 KiB
Current children cumulated memory: 1298512 KiB
[startup+31.2004 s]
/proc/loadavg: 4.98 4.37 4.21 5/251 959518
/proc/meminfo: memFree=120694960/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1475620 memory=1321512 CPUtime=31.11 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 259068 0 0 0 3055 56 0 0 20 0 1 0 183485903 1511034880 330378 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 368905 330378 798 2417 0 366007 0
Current children cumulated CPU time: 31.11 s
Current children cumulated vsize: 1494212 KiB
Current children cumulated memory: 1325184 KiB
[startup+31.6004 s]
/proc/loadavg: 4.98 4.37 4.21 5/251 959518
/proc/meminfo: memFree=120694960/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
[pid=959514] ppid=959513 vsize=1345392 memory=1260276 CPUtime=31.5 cores=5,7
/proc/959514/stat : 959514 (CASHWMaxSAT-Dis) R 959513 959513 954040 0 -1 4194304 259359 0 0 0 3091 59 0 0 20 0 1 0 183485903 1377681408 315069 134679101440 4194304 14093885 140729957406752 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52027392 140729957413918 140729957414037 140729957414037 140729957421024 0
/proc/959514/statm: 336348 315069 798 2417 0 333450 0
Current children cumulated CPU time: 31.5 s
Current children cumulated vsize: 1363984 KiB
Current children cumulated memory: 1263948 KiB
[startup+31.8004 s]
/proc/loadavg: 4.98 4.37 4.21 5/251 959518
/proc/meminfo: memFree=120694960/131655788 swapFree=131070704/131071996
[pid=959510] ppid=959507 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/959510/stat : 959510 (Hybrid-LSMabSP+) S 959507 959510 954040 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 183485902 10170368 689 134679101440 94162748854272 94162749933592 140731863534624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162752032048 94162752079236 94162769989632 140731863540685 140731863540844 140731863540844 140731863547860 0
/proc/959510/statm: 2483 689 610 264 0 134 0
[pid=959513] ppid=959510 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/959513/stat : 959513 (timeout) S 959510 959513 954040 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183485903 8867840 229 134679101440 94170288078848 94170288113864 140731940417648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94170290211280 94170290213412 94170301538304 140731940426776 140731940426908 140731940426908 140731940433895 0
/proc/959513/statm: 2165 229 204 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3672 KiB
Child status: 0
Real time (s): 31.8317
CPU time (s): 31.7388
CPU user time (s): 31.0956
CPU system time (s): 0.643264
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 1494212
Max. memory (cumulated for all children) (KiB): 1360000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0956
system time used= 0.643264
maximum resident set size= 1356464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 959510
# total CPU time (s): 31.7388
# total CPU user time (s): 31.0956
# total CPU system time (s): 0.643264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213077 second user time and 0.387616 second system time
The end
Begin job on nodeC011 at 2024-07-18 16:35:00
IDJOB=4443683
IDBENCH=147882
IDSOLVER=3069
FILE ID=nodeC011/4443683-1721313287
RUNJOBID= nodeC011-1721305832-954086
SLURM_JOB_ID= 7542636
Free space on /tmp= 723492 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.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-4443683-1721313287/watcher-4443683-1721313287 -o /tmp/evaluation-result-4443683-1721313287/solver-4443683-1721313287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443683-1721313287.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=658776505
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 : 3636.503
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 : 3662.708
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.295
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.156
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 : 3662.501
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 : 3492.160
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.173
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 : 1197.135
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: 122073284 kB
MemAvailable: 122777820 kB
Buffers: 505380 kB
Cached: 1038516 kB
SwapCached: 132 kB
Active: 1178080 kB
Inactive: 7901044 kB
Active(anon): 1484 kB
Inactive(anon): 7571152 kB
Active(file): 1176596 kB
Inactive(file): 329892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 63424 kB
Writeback: 0 kB
AnonPages: 7535108 kB
Mapped: 116248 kB
Shmem: 37400 kB
KReclaimable: 76496 kB
Slab: 158260 kB
SReclaimable: 76496 kB
SUnreclaim: 81764 kB
KernelStack: 4016 kB
PageTables: 24220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 8419028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1628160 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= 723464 MiB
End job on nodeC011 at 2024-07-18 16:35:32