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: 63931 MiB (60492 MiB free)
memory of node 1: 64510 MiB (62963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441913-1721294265/watcher-4441913-1721294265 -o /tmp/evaluation-result-4441913-1721294265/solver-4441913-1721294265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721294258-965702 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4441913-1721294265.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=966587, runsolver pid=966584
[startup+0.10017 s]*
/proc/loadavg: 4.00 4.09 4.08 5/268 966604
/proc/meminfo: memFree=126392064/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=39232 memory=20684 CPUtime=0.09 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 4536 0 0 0 9 0 0 0 20 0 1 0 181590632 40173568 5171 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 9808 5171 750 2417 0 6910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 24492 KiB
[startup+0.205943 s]*
/proc/loadavg: 4.00 4.09 4.08 5/268 966604
/proc/meminfo: memFree=126350268/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=56288 memory=40704 CPUtime=0.2 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 9524 0 0 0 19 1 0 0 20 0 1 0 181590632 57638912 10176 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 14072 10176 782 2417 0 11174 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74880 KiB
Current children cumulated memory: 44512 KiB
[startup+0.306018 s]*
/proc/loadavg: 4.00 4.09 4.08 5/268 966604
/proc/meminfo: memFree=126339824/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=54612 memory=39380 CPUtime=0.29 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 10090 0 0 0 28 1 0 0 20 0 1 0 181590632 55922688 9845 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 13653 9845 814 2417 0 10755 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73204 KiB
Current children cumulated memory: 43188 KiB
[startup+0.700267 s]
/proc/loadavg: 4.00 4.09 4.08 4/263 966626
/proc/meminfo: memFree=126376112/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=63288 memory=46048 CPUtime=0.68 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 11391 0 0 0 67 1 0 0 20 0 1 0 181590632 64806912 11512 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 15822 11512 814 2417 0 12924 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81880 KiB
Current children cumulated memory: 49856 KiB
[startup+1.5003 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966661
/proc/meminfo: memFree=126321444/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=70428 memory=53300 CPUtime=1.48 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 12188 0 0 0 146 2 0 0 20 0 1 0 181590632 72118272 13325 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 17607 13325 814 2417 0 14709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89020 KiB
Current children cumulated memory: 57108 KiB
[startup+3.1059 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966718
/proc/meminfo: memFree=126290776/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=70428 memory=55676 CPUtime=3.08 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 12749 0 0 0 306 2 0 0 20 0 1 0 181590632 72118272 13919 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 17607 13919 814 2417 0 14709 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89020 KiB
Current children cumulated memory: 59484 KiB
[startup+6.30028 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966720
/proc/meminfo: memFree=126286640/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=70428 memory=55676 CPUtime=6.27 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 12754 0 0 0 625 2 0 0 20 0 1 0 181590632 72118272 13919 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 17607 13919 814 2417 0 14709 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89020 KiB
Current children cumulated memory: 59484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.00 4.08 4.08 5/268 966720
/proc/meminfo: memFree=126281720/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=74988 memory=58500 CPUtime=12.64 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 13035 0 0 0 1262 2 0 0 20 0 1 0 181590632 76787712 14625 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 18747 14625 814 2417 0 15849 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 93580 KiB
Current children cumulated memory: 62308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 966723
/proc/meminfo: memFree=126208880/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=94148 memory=74864 CPUtime=25.4 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 16180 0 0 0 2536 4 0 0 20 0 1 0 181590632 96407552 18716 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 23537 18716 814 2417 0 20639 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112740 KiB
Current children cumulated memory: 78672 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 967241
/proc/meminfo: memFree=126760192/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
[pid=966590] ppid=966587 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/966590/stat : 966590 (timeout) S 966587 966590 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590632 8867840 260 134679101440 93841245597696 93841245632712 140721905830208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93841247730128 93841247732260 93841257922560 140721905832984 140721905833116 140721905833116 140721905840103 0
/proc/966590/statm: 2165 260 236 9 0 87 0
[pid=966591] ppid=966590 vsize=124536 memory=99612 CPUtime=50.91 cores=0,2
/proc/966591/stat : 966591 (CASHWMaxSAT-Dis) R 966590 966590 965692 0 -1 4194304 16812 0 0 0 5087 4 0 0 20 0 1 0 181590632 127524864 24903 134679101440 4194304 14093885 140726441629600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27938816 140726441632798 140726441632917 140726441632917 140726441639904 0
/proc/966591/statm: 31134 24903 814 2417 0 28236 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 143128 KiB
Current children cumulated memory: 103420 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 967420
/proc/meminfo: memFree=126684128/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 181590632 10170368 692 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 692 615 264 0 134 0
################
# More data... #
################
/proc/968342/statm: 68440 64250 2849 2753 0 65093 0
Current children cumulated CPU time: 2553.8 s
Current children cumulated vsize: 292352 KiB
Current children cumulated memory: 260800 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 969063
/proc/meminfo: memFree=126575892/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=276680 memory=257008 CPUtime=821.59 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57399 0 0 0 82149 10 0 0 20 0 1 0 181770433 283320320 64252 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69170 64252 2849 2753 0 65823 0
Current children cumulated CPU time: 2613.64 s
Current children cumulated vsize: 295272 KiB
Current children cumulated memory: 260808 KiB
[startup+2682.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 969074
/proc/meminfo: memFree=126572864/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=881.42 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 88132 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2673.47 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2697.96 s]
# the end of solver process 966587 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2688.83 s, system=0.288165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2688 s]*
/proc/loadavg: 4.15 4.12 4.09 5/264 969075
/proc/meminfo: memFree=126572864/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=887.11 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 88701 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2679.16 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2694.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572864/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=893.49 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 89339 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2685.54 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2696 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572836/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=895.09 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 89499 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2687.14 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2696.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572836/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=895.88 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 89578 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2687.93 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2697.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572836/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=279604 memory=259628 CPUtime=896.68 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57496 0 0 0 89658 10 0 0 20 0 1 0 181770433 286314496 64907 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 69901 64907 2849 2753 0 66554 0
Current children cumulated CPU time: 2688.73 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 263428 KiB
[startup+2697.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572836/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=270840 memory=256912 CPUtime=896.88 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57515 0 0 0 89678 10 0 0 20 0 1 0 181770433 277340160 64228 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 67710 64228 2849 2753 0 64363 0
Current children cumulated CPU time: 2688.93 s
Current children cumulated vsize: 289432 KiB
Current children cumulated memory: 260712 KiB
[startup+2697.9 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 969077
/proc/meminfo: memFree=126572836/131524600 swapFree=131071996/131071996
[pid=966587] ppid=966584 vsize=9932 memory=2820 CPUtime=1792.05 cores=0,2
/proc/966587/stat : 966587 (Hybrid-LSMabSP+) S 966584 966587 965692 0 -1 4194304 264 35030 0 0 0 0 179188 17 20 0 1 0 181590632 10170368 705 134679101440 94505899823104 94505900902424 140725895365632 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94505903000880 94505903048068 94505927344128 140725895369677 140725895369836 140725895369836 140725895376852 0
/proc/966587/statm: 2483 705 615 264 0 134 0
[pid=968341] ppid=966587 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/968341/stat : 968341 (timeout) S 966587 968341 965692 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 181770433 8867840 245 134679101440 94502460755968 94502460790984 140727926433696 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94502462888400 94502462890532 94502486290432 140727926436904 140727926437020 140727926437020 140727926444007 0
/proc/968341/statm: 2165 245 221 9 0 87 0
[pid=968342] ppid=968341 vsize=270840 memory=256912 CPUtime=896.98 cores=0,2
/proc/968342/stat : 968342 (LS-MabSP) R 968341 968341 965692 0 -1 4194304 57515 0 0 0 89688 10 0 0 20 0 1 0 181770433 277340160 64228 134679101440 4194304 15467897 140730910779984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29470720 140730910786619 140730910786722 140730910786722 140730910793709 0
/proc/968342/statm: 67710 64228 2849 2753 0 64363 0
Current children cumulated CPU time: 2689.03 s
Current children cumulated vsize: 289432 KiB
Current children cumulated memory: 260712 KiB
Child status: 0
Real time (s): 2697.96
CPU time (s): 2689.11
CPU user time (s): 2688.83
CPU system time (s): 0.288165
CPU usage (%): 99.6721
Max. virtual memory (cumulated for all children) (KiB): 392580
Max. memory (cumulated for all children) (KiB): 345756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2688.83
system time used= 0.288165
maximum resident set size= 341948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69
involuntary context switches= 18984
# summary of solver processes directly reported to runsolver:
# pid: 966587
# total CPU time (s): 2689.11
# total CPU user time (s): 2688.83
# total CPU system time (s): 0.288165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58206 second user time and 12.4298 second system time
The end
Begin job on nodeC022 at 2024-07-18 11:17:57
IDJOB=4441913
IDBENCH=147756
IDSOLVER=3069
FILE ID=nodeC022/4441913-1721294265
RUNJOBID= nodeC022-1721294258-965702
SLURM_JOB_ID= 7542615
Free space on /tmp= 889976 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441913-1721294265/watcher-4441913-1721294265 -o /tmp/evaluation-result-4441913-1721294265/solver-4441913-1721294265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721294258-965702 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4441913-1721294265.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=793180746
nodeC022.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 : 0xb00002a
cpu MHz : 3664.253
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.553
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.385
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3643.607
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.190
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.511
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3647.007
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126429276 kB
MemAvailable: 128966864 kB
Buffers: 465108 kB
Cached: 2890496 kB
SwapCached: 0 kB
Active: 1149996 kB
Inactive: 3297532 kB
Active(anon): 1564 kB
Inactive(anon): 1127752 kB
Active(file): 1148432 kB
Inactive(file): 2169780 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 80172 kB
Writeback: 0 kB
AnonPages: 1091036 kB
Mapped: 112592 kB
Shmem: 37720 kB
KReclaimable: 118044 kB
Slab: 233428 kB
SReclaimable: 118044 kB
SUnreclaim: 115384 kB
KernelStack: 4092 kB
PageTables: 11312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1530952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66592 kB
HardwareCorrupted: 0 kB
AnonHugePages: 389120 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC022 at 2024-07-18 12:02:55