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: 63968 MiB (62211 MiB free)
memory of node 1: 64473 MiB (63003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443775-1721308373/watcher-4443775-1721308373 -o /tmp/evaluation-result-4443775-1721308373/solver-4443775-1721308373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721304607-999196 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443775-1721308373.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
Current StackSize limit: 8192 KiB
solver pid=1001687, runsolver pid=1001684
[startup+0.100467 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1001691
/proc/meminfo: memFree=128093780/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=142452 memory=129896 CPUtime=0.09 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 2504 0 0 0 6 3 0 0 20 0 1 0 183005488 145870848 32474 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 35613 32474 1073 2753 0 32266 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161044 KiB
Current children cumulated memory: 133672 KiB
[startup+0.206464 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1001691
/proc/meminfo: memFree=128091056/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=146036 memory=132220 CPUtime=0.19 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 3440 0 0 0 16 3 0 0 20 0 1 0 183005488 149540864 33055 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 36509 33055 1073 2753 0 33162 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 135996 KiB
[startup+0.30551 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1001691
/proc/meminfo: memFree=128088908/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=150132 memory=136328 CPUtime=0.28 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 3947 0 0 0 25 3 0 0 20 0 1 0 183005488 153735168 34082 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 37533 34082 1073 2753 0 34186 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 168724 KiB
Current children cumulated memory: 140104 KiB
[startup+0.700264 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1001691
/proc/meminfo: memFree=128082752/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=158456 memory=144536 CPUtime=0.67 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 4473 0 0 0 64 3 0 0 20 0 1 0 183005488 162258944 36134 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 39614 36134 1073 2753 0 36267 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 177048 KiB
Current children cumulated memory: 148312 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1001691
/proc/meminfo: memFree=128072364/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=174840 memory=160940 CPUtime=1.47 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 5008 0 0 0 143 4 0 0 20 0 1 0 183005488 179036160 40235 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 43710 40235 1073 2753 0 40363 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 193432 KiB
Current children cumulated memory: 164716 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 1001691
/proc/meminfo: memFree=128030396/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=207608 memory=193736 CPUtime=3.08 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 5582 0 0 0 302 6 0 0 20 0 1 0 183005488 212590592 48434 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 51902 48434 1073 2753 0 48555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226200 KiB
Current children cumulated memory: 197512 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 1001691
/proc/meminfo: memFree=127961416/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=273144 memory=259328 CPUtime=6.26 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 6211 0 0 0 618 8 0 0 20 0 1 0 183005488 279699456 64832 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 68286 64832 1073 2753 0 64939 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 263104 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1001694
/proc/meminfo: memFree=127839632/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=733336 memory=711268 CPUtime=12.65 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 8978 0 0 0 1245 20 0 0 20 0 1 0 183005488 750936064 177817 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 183334 177817 1073 2753 0 179987 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 751928 KiB
Current children cumulated memory: 715044 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 1001696
/proc/meminfo: memFree=126817812/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1420100 memory=1392416 CPUtime=25.43 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 26187 0 0 0 2485 58 0 0 20 0 1 0 183005488 1454182400 348104 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 355025 348104 1105 2753 0 351678 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1396192 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 1001702
/proc/meminfo: memFree=126732960/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1500088 memory=1472780 CPUtime=50.99 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 27136 0 0 0 5039 60 0 0 20 0 1 0 183005488 1536090112 368195 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 375022 368195 1153 2753 0 371675 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476556 KiB
[startup+86.5475 s]
# the end of solver process 1001687 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=85.378 s, system=0.993587 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 1001702
/proc/meminfo: memFree=126732960/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1500088 memory=1472780 CPUtime=51.08 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 27136 0 0 0 5048 60 0 0 20 0 1 0 183005488 1536090112 368195 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 375022 368195 1153 2753 0 371675 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476556 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.08 4.09 4.09 5/267 1001704
/proc/meminfo: memFree=126730148/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1500088 memory=1472780 CPUtime=63.86 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 27368 0 0 0 6326 60 0 0 20 0 1 0 183005488 1536090112 368195 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 375022 368195 1153 2753 0 371675 0
Current children cumulated CPU time: 63.86 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476556 KiB
[startup+76.8003 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 1001707
/proc/meminfo: memFree=126806140/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1420100 memory=1392792 CPUtime=76.63 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 27499 0 0 0 7603 60 0 0 20 0 1 0 183005488 1454182400 348198 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 355025 348198 1153 2753 0 351678 0
Current children cumulated CPU time: 76.63 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1396568 KiB
[startup+83.2003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=127110632/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=1125900 memory=1088616 CPUtime=83.02 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 30158 0 0 0 8238 64 0 0 20 0 1 0 183005488 1152921600 272154 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 281475 272154 1153 2753 0 278128 0
Current children cumulated CPU time: 83.02 s
Current children cumulated vsize: 1144492 KiB
Current children cumulated memory: 1092392 KiB
[startup+84.8003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=126811036/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=2042068 memory=1670464 CPUtime=84.63 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 154195 0 0 0 8378 85 0 0 20 0 1 0 183005488 2091077632 417616 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 510517 417616 1153 2753 0 507170 0
Current children cumulated CPU time: 84.63 s
Current children cumulated vsize: 2060660 KiB
Current children cumulated memory: 1674240 KiB
[startup+85.6003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=126516836/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=2063796 memory=1892116 CPUtime=85.42 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 165150 0 0 0 8454 88 0 0 20 0 1 0 183005488 2113327104 473029 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 515949 473029 1153 2753 0 512602 0
Current children cumulated CPU time: 85.42 s
Current children cumulated vsize: 2082388 KiB
Current children cumulated memory: 1895892 KiB
[startup+86.0003 s]*
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=126036832/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=2325536 memory=2160752 CPUtime=85.82 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 169608 0 0 0 8489 93 0 0 20 0 1 0 183005488 2381348864 540188 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 581384 540188 1153 2753 0 578037 0
Current children cumulated CPU time: 85.82 s
Current children cumulated vsize: 2344128 KiB
Current children cumulated memory: 2164528 KiB
[startup+86.4003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=126036832/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=2455744 memory=2292236 CPUtime=86.22 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 171823 0 0 0 8526 96 0 0 20 0 1 0 183005488 2514681856 573059 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 613936 573059 1153 2753 0 610589 0
Current children cumulated CPU time: 86.22 s
Current children cumulated vsize: 2474336 KiB
Current children cumulated memory: 2296012 KiB
[startup+86.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 1001708
/proc/meminfo: memFree=126036832/131524600 swapFree=131071996/131071996
[pid=1001687] ppid=1001684 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/1001687/stat : 1001687 (Hybrid-LSMabP+E) S 1001684 1001687 999184 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 183005488 10170368 685 134679101440 94613278429184 94613279508504 140726799306528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94613281606960 94613281654148 94613288284160 140726799311849 140726799311994 140726799311994 140726799319010 0
/proc/1001687/statm: 2483 685 607 264 0 134 0
[pid=1001690] ppid=1001687 vsize=8660 memory=1036 CPUtime=0 cores=4,6
/proc/1001690/stat : 1001690 (timeout) S 1001687 1001690 999184 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183005488 8867840 259 134679101440 94180353474560 94180353509576 140720878018432 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94180355606992 94180355609124 94180376436736 140720878027810 140720878027932 140720878027932 140720878034919 0
/proc/1001690/statm: 2165 259 234 9 0 87 0
[pid=1001691] ppid=1001690 vsize=2094028 memory=1844100 CPUtime=86.32 cores=4,6
/proc/1001691/stat : 1001691 (LS-MabP) R 1001690 1001690 999184 0 -1 4194304 171823 0 0 0 8535 97 0 0 20 0 1 0 183005488 2144284672 461025 134679101440 4194304 15467897 140729744756960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26300416 140729744761910 140729744762019 140729744762019 140729744769006 0
/proc/1001691/statm: 523507 461025 1153 2753 0 520160 0
Current children cumulated CPU time: 86.32 s
Current children cumulated vsize: 2112620 KiB
Current children cumulated memory: 1847876 KiB
Child status: 0
Real time (s): 86.5475
CPU time (s): 86.3716
CPU user time (s): 85.378
CPU system time (s): 0.993587
CPU usage (%): 99.7967
Max. virtual memory (cumulated for all children) (KiB): 2474336
Max. memory (cumulated for all children) (KiB): 2296012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.378
system time used= 0.993587
maximum resident set size= 2292236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 1001687
# total CPU time (s): 86.3716
# total CPU user time (s): 85.378
# total CPU system time (s): 0.993587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169809 second user time and 0.477534 second system time
The end
Begin job on nodeC030 at 2024-07-18 15:13:07
IDJOB=4443775
IDBENCH=147885
IDSOLVER=3071
FILE ID=nodeC030/4443775-1721308373
RUNJOBID= nodeC030-1721304607-999196
SLURM_JOB_ID= 7542623
Free space on /tmp= 889932 MiB
SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443775-1721308373/watcher-4443775-1721308373 -o /tmp/evaluation-result-4443775-1721308373/solver-4443775-1721308373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721304607-999196 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443775-1721308373.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=384188363
nodeC030.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 : 3681.424
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.28
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 : 3688.872
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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.766
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.701
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 : 7005.11
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 : 3682.831
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.28
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 : 3688.868
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 : 7005.11
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 : 3655.222
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.941
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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128220964 kB
MemAvailable: 129453672 kB
Buffers: 467392 kB
Cached: 1594420 kB
SwapCached: 0 kB
Active: 1099780 kB
Inactive: 1578180 kB
Active(anon): 1588 kB
Inactive(anon): 652284 kB
Active(file): 1098192 kB
Inactive(file): 925896 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 109668 kB
Writeback: 0 kB
AnonPages: 615760 kB
Mapped: 118284 kB
Shmem: 37720 kB
KReclaimable: 96888 kB
Slab: 209156 kB
SReclaimable: 96888 kB
SUnreclaim: 112268 kB
KernelStack: 4256 kB
PageTables: 10768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1001128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC030 at 2024-07-18 15:14:34