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 (61785 MiB free)
memory of node 1: 64473 MiB (63024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443533-1721313190/watcher-4443533-1721313190 -o /tmp/evaluation-result-4443533-1721313190/solver-4443533-1721313190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954083 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443533-1721313190.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=959205, runsolver pid=959202
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127798644/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=28104 memory=9660 CPUtime=0.09 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 1772 0 0 0 9 0 0 0 20 0 1 0 183476213 28778496 2415 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 7026 2415 750 2417 0 4128 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46696 KiB
Current children cumulated memory: 13376 KiB
[startup+0.209873 s]*
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127789812/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=34512 memory=15996 CPUtime=0.2 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 3375 0 0 0 20 0 0 0 20 0 1 0 183476213 35340288 3999 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 8628 3999 750 2417 0 5730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53104 KiB
Current children cumulated memory: 19712 KiB
[startup+0.309897 s]*
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127783268/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=40504 memory=21940 CPUtime=0.3 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 4838 0 0 0 29 1 0 0 20 0 1 0 183476213 41476096 5485 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 10126 5485 750 2417 0 7228 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59096 KiB
Current children cumulated memory: 25656 KiB
[startup+0.700513 s]
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127771368/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=67008 memory=48420 CPUtime=0.68 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 11484 0 0 0 66 2 0 0 20 0 1 0 183476213 68616192 12105 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 16752 12105 750 2417 0 13854 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85600 KiB
Current children cumulated memory: 52136 KiB
[startup+1.50049 s]
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127729320/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=150196 memory=131436 CPUtime=1.48 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 32189 0 0 0 141 7 0 0 20 0 1 0 183476213 153800704 32859 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 37549 32859 750 2417 0 34651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168788 KiB
Current children cumulated memory: 135152 KiB
[startup+3.11305 s]
/proc/loadavg: 4.12 4.11 4.12 5/253 959209
/proc/meminfo: memFree=127435212/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=405792 memory=385836 CPUtime=3.09 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 95782 0 0 0 292 17 0 0 20 0 1 0 183476213 415531008 96459 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 101448 96459 750 2417 0 98550 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 424384 KiB
Current children cumulated memory: 389552 KiB
[startup+6.30047 s]
/proc/loadavg: 4.11 4.11 4.12 5/253 959211
/proc/meminfo: memFree=126937924/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=937556 memory=913528 CPUtime=6.26 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 225622 0 0 0 590 36 0 0 20 0 1 0 183476213 960057344 228382 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 234389 228382 798 2417 0 231491 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 956148 KiB
Current children cumulated memory: 917244 KiB
[startup+12.7005 s]
/proc/loadavg: 4.10 4.10 4.12 5/253 959211
/proc/meminfo: memFree=126544044/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1321600 memory=1251628 CPUtime=12.65 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253139 0 0 0 1215 50 0 0 20 0 1 0 183476213 1353318400 312907 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 330400 312907 798 2417 0 327502 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1340192 KiB
Current children cumulated memory: 1255344 KiB
[startup+25.5005 s]
/proc/loadavg: 4.08 4.10 4.12 5/253 959271
/proc/meminfo: memFree=127527580/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1377840 memory=1270508 CPUtime=25.43 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253407 0 0 0 2491 52 0 0 20 0 1 0 183476213 1410908160 317627 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 344460 317627 798 2417 0 341562 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1396432 KiB
Current children cumulated memory: 1274224 KiB
[startup+33.5135 s]
# the end of solver process 959205 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=32.7909 s, system=0.585864 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6006 s]
/proc/loadavg: 4.08 4.10 4.12 5/253 959271
/proc/meminfo: memFree=127527580/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1377840 memory=1270508 CPUtime=25.53 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253407 0 0 0 2501 52 0 0 20 0 1 0 183476213 1410908160 317627 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 344460 317627 798 2417 0 341562 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 1396432 KiB
Current children cumulated memory: 1274224 KiB
[startup+28.8005 s]
/proc/loadavg: 4.08 4.10 4.12 5/253 959271
/proc/meminfo: memFree=127317156/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1377840 memory=1270616 CPUtime=28.72 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253482 0 0 0 2820 52 0 0 20 0 1 0 183476213 1410908160 317654 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 344460 317654 798 2417 0 341562 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 1396432 KiB
Current children cumulated memory: 1274332 KiB
[startup+32.0005 s]*
/proc/loadavg: 4.15 4.11 4.12 5/253 959271
/proc/meminfo: memFree=127319160/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1377840 memory=1270800 CPUtime=31.92 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253500 0 0 0 3140 52 0 0 20 0 1 0 183476213 1410908160 317700 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 344460 317700 798 2417 0 341562 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 1396432 KiB
Current children cumulated memory: 1274516 KiB
[startup+32.8004 s]
/proc/loadavg: 4.15 4.11 4.12 5/253 959271
/proc/meminfo: memFree=127319160/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1457980 memory=1317432 CPUtime=32.7 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 253907 0 0 0 3218 52 0 0 20 0 1 0 183476213 1492971520 329358 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 364495 329358 798 2417 0 361597 0
Current children cumulated CPU time: 32.7 s
Current children cumulated vsize: 1476572 KiB
Current children cumulated memory: 1321148 KiB
[startup+33.2004 s]
/proc/loadavg: 4.15 4.11 4.12 5/253 959271
/proc/meminfo: memFree=127305688/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1327752 memory=1239880 CPUtime=33.11 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 254057 0 0 0 3257 54 0 0 20 0 1 0 183476213 1359618048 309970 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 331938 309970 798 2417 0 329040 0
Current children cumulated CPU time: 33.11 s
Current children cumulated vsize: 1346344 KiB
Current children cumulated memory: 1243596 KiB
[startup+33.4004 s]
/proc/loadavg: 4.15 4.11 4.12 5/253 959271
/proc/meminfo: memFree=127305688/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 231 103 0 0 0 0 0 0 20 0 1 0 183476212 10170368 672 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 672 595 264 0 134 0
[pid=959208] ppid=959205 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/959208/stat : 959208 (timeout) S 959205 959208 954040 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183476213 8867840 257 134679101440 94376264355840 94376264390856 140732551367408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94376266488272 94376266490404 94376288636928 140732551373848 140732551373980 140732551373980 140732551380967 0
/proc/959208/statm: 2165 257 233 9 0 87 0
[pid=959209] ppid=959208 vsize=1327752 memory=1241928 CPUtime=33.31 cores=4,6
/proc/959209/stat : 959209 (CASHWMaxSAT-Dis) R 959208 959208 954040 0 -1 4194304 254058 0 0 0 3277 54 0 0 20 0 1 0 183476213 1359618048 310482 134679101440 4194304 14093885 140721924920240 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37027840 140721924928542 140721924928661 140721924928661 140721924935648 0
/proc/959209/statm: 331938 310482 798 2417 0 329040 0
Current children cumulated CPU time: 33.31 s
Current children cumulated vsize: 1346344 KiB
Current children cumulated memory: 1245644 KiB
[startup+33.5005 s]
/proc/loadavg: 4.15 4.11 4.12 5/253 959271
/proc/meminfo: memFree=127305688/131655788 swapFree=131070704/131071996
[pid=959205] ppid=959202 vsize=9932 memory=2736 CPUtime=33.35 cores=4,6
/proc/959205/stat : 959205 (Hybrid-LSMabSP+) S 959202 959205 954040 0 -1 4194304 248 254278 0 0 0 0 3278 57 20 0 1 0 183476212 10170368 684 134679101440 94676355813376 94676356892696 140727994006048 0 0 0 0 4 65536 0 0 0 17 4 0 0 0 0 0 94676358991152 94676359038340 94676376940544 140727994008525 140727994008684 140727994008684 140727994015700 0
/proc/959205/statm: 2483 684 595 264 0 134 0
Current children cumulated CPU time: 33.35 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2736 KiB
Child status: 0
Real time (s): 33.5135
CPU time (s): 33.3767
CPU user time (s): 32.7909
CPU system time (s): 0.585864
CPU usage (%): 99.5918
Max. virtual memory (cumulated for all children) (KiB): 1476572
Max. memory (cumulated for all children) (KiB): 1339520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.7909
system time used= 0.585864
maximum resident set size= 1335804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 959205
# total CPU time (s): 33.3767
# total CPU user time (s): 32.7909
# total CPU system time (s): 0.585864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.192926 second user time and 0.417012 second system time
The end
Begin job on nodeC011 at 2024-07-18 16:33:23
IDJOB=4443533
IDBENCH=147877
IDSOLVER=3069
FILE ID=nodeC011/4443533-1721313190
RUNJOBID= nodeC011-1721305832-954083
SLURM_JOB_ID= 7542636
Free space on /tmp= 723628 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_9.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-4443533-1721313190/watcher-4443533-1721313190 -o /tmp/evaluation-result-4443533-1721313190/solver-4443533-1721313190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954083 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443533-1721313190.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c304efff63a51bc9fe525a7646c6360
RANDOM SEED=627379255
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 : 3603.035
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 : 3673.681
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.197
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.173
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 : 1405.737
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 : 3674.893
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 : 1309.225
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.306
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: 127808372 kB
MemAvailable: 128366860 kB
Buffers: 505148 kB
Cached: 893860 kB
SwapCached: 132 kB
Active: 1040108 kB
Inactive: 2317016 kB
Active(anon): 1484 kB
Inactive(anon): 1994032 kB
Active(file): 1038624 kB
Inactive(file): 322984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 126580 kB
Writeback: 0 kB
AnonPages: 1957992 kB
Mapped: 122516 kB
Shmem: 37400 kB
KReclaimable: 74156 kB
Slab: 156208 kB
SReclaimable: 74156 kB
SUnreclaim: 82052 kB
KernelStack: 4032 kB
PageTables: 13244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2486776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 708608 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= 723624 MiB
End job on nodeC011 at 2024-07-18 16:33:57