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 (61677 MiB free)
memory of node 1: 64510 MiB (59717 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437129-1722948202/watcher-4437129-1722948202 -o /tmp/evaluation-result-4437129-1722948202/solver-4437129-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722948202-336025 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437129-1722948202.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=336086, runsolver pid=336073
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.18 0.12 0.10 7/268 336101
/proc/meminfo: memFree=124253752/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=28896 memory=15616 CPUtime=0.08 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 3233 0 0 0 8 0 0 0 20 0 1 0 61417528 29589504 3904 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 7224 3904 1105 2753 0 3877 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47488 KiB
Current children cumulated memory: 19328 KiB
[startup+0.206857 s]*
/proc/loadavg: 0.18 0.12 0.10 8/268 336101
/proc/meminfo: memFree=124218520/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=28896 memory=15616 CPUtime=0.18 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 3233 0 0 0 18 0 0 0 20 0 1 0 61417528 29589504 3904 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 7224 3904 1105 2753 0 3877 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 47488 KiB
Current children cumulated memory: 19328 KiB
[startup+0.306729 s]*
/proc/loadavg: 0.18 0.12 0.10 7/268 336101
/proc/meminfo: memFree=124183236/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=52164 memory=42732 CPUtime=0.28 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 8873 0 0 0 27 1 0 0 20 0 1 0 61417528 53415936 10683 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 13041 10683 2625 2753 0 9694 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 46444 KiB
[startup+0.700307 s]
/proc/loadavg: 0.18 0.12 0.10 8/268 336101
/proc/meminfo: memFree=124104488/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=104052 memory=90632 CPUtime=0.66 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 21285 0 0 0 64 2 0 0 20 0 1 0 61417528 106549248 22658 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 26013 22658 2833 2753 0 22666 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 122644 KiB
Current children cumulated memory: 94344 KiB
[startup+1.50029 s]
/proc/loadavg: 0.18 0.12 0.10 8/268 336101
/proc/meminfo: memFree=123928088/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=114632 memory=95088 CPUtime=1.46 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 22440 0 0 0 144 2 0 0 20 0 1 0 61417528 117383168 23772 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 28658 23772 2833 2753 0 25311 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133224 KiB
Current children cumulated memory: 98800 KiB
[startup+3.10687 s]
/proc/loadavg: 0.49 0.19 0.12 8/268 336101
/proc/meminfo: memFree=123886348/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=123308 memory=97460 CPUtime=3.07 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 23044 0 0 0 304 3 0 0 20 0 1 0 61417528 126267392 24365 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 30827 24365 2833 2753 0 27480 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 141900 KiB
Current children cumulated memory: 101172 KiB
[startup+6.30029 s]
/proc/loadavg: 0.49 0.19 0.12 7/268 336103
/proc/meminfo: memFree=123852936/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=168376 memory=126228 CPUtime=6.26 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 30229 0 0 0 622 4 0 0 20 0 1 0 61417528 172417024 31557 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 42094 31557 2833 2753 0 38747 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 186968 KiB
Current children cumulated memory: 129940 KiB
[startup+12.7003 s]
/proc/loadavg: 0.77 0.25 0.14 8/268 336103
/proc/meminfo: memFree=123850280/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=168376 memory=126228 CPUtime=12.64 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 30252 0 0 0 1260 4 0 0 20 0 1 0 61417528 172417024 31557 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 42094 31557 2833 2753 0 38747 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 186968 KiB
Current children cumulated memory: 129940 KiB
[startup+25.5003 s]
/proc/loadavg: 1.56 0.45 0.21 7/268 336106
/proc/meminfo: memFree=123774900/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=187952 memory=142796 CPUtime=25.41 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 36991 0 0 0 2536 5 0 0 20 0 1 0 61417528 192462848 35699 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 46988 35699 2833 2753 0 43641 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 206544 KiB
Current children cumulated memory: 146508 KiB
[startup+51.1069 s]
/proc/loadavg: 2.39 0.74 0.31 8/268 336109
/proc/meminfo: memFree=123734432/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 688 610 264 0 134 0
[pid=336094] ppid=336086 vsize=8660 memory=960 CPUtime=0 cores=1,3
/proc/336094/stat : 336094 (timeout) S 336086 336094 336013 0 -1 4194304 108 0 1 0 0 0 0 0 20 0 1 0 61417527 8867840 240 134679101440 94836288299008 94836288334024 140722684700496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94836290431440 94836290433572 94836291543040 140722684703785 140722684703901 140722684703901 140722684710887 0
/proc/336094/statm: 2165 240 216 9 0 87 0
[pid=336100] ppid=336094 vsize=211704 memory=160976 CPUtime=50.94 cores=1,3
/proc/336100/stat : 336100 (LS-MabSP) R 336094 336094 336013 0 -1 4194304 41196 0 0 0 5089 5 0 0 20 0 1 0 61417528 216784896 40244 134679101440 4194304 15467897 140732307464192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43876352 140732307473468 140732307473571 140732307473571 140732307480557 0
/proc/336100/statm: 52926 40244 3179 2753 0 49579 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 230296 KiB
Current children cumulated memory: 164688 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.27 0.51 7/268 336117
/proc/meminfo: memFree=123649904/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 61417526 10170368 688 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
################
# More data... #
################
/proc/337000/statm: 20449 18489 748 737 0 19537 0
Current children cumulated CPU time: 3394.54 s
Current children cumulated vsize: 100388 KiB
Current children cumulated memory: 77732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 7/264 337974
/proc/meminfo: memFree=121429080/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82116 memory=74724 CPUtime=1659.71 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14235 0 0 0 165969 2 0 0 20 0 1 0 61597329 84086784 18681 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20529 18681 748 737 0 19617 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 100708 KiB
Current children cumulated memory: 78500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 7/264 337985
/proc/meminfo: memFree=121393752/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82276 memory=74872 CPUtime=1719.57 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14318 0 0 0 171955 2 0 0 20 0 1 0 61597329 84250624 18718 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20569 18718 748 737 0 19657 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 100868 KiB
Current children cumulated memory: 78648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 7/265 337996
/proc/meminfo: memFree=121371648/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1779.44 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14499 0 0 0 177941 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3596.06 s]
# the end of solver process 336086 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3549.45 s, system=38.4202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.15 4.10 7/265 337998
/proc/meminfo: memFree=121371276/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1781.14 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14501 0 0 0 178111 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3575.83 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.15 4.10 7/265 337998
/proc/meminfo: memFree=121370988/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1787.52 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14502 0 0 0 178749 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3582.21 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3593.6 s]
/proc/loadavg: 4.18 4.15 4.10 7/265 337998
/proc/meminfo: memFree=121370260/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1790.71 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14502 0 0 0 179068 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.14 4.10 7/265 337999
/proc/meminfo: memFree=121370140/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1792.31 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14502 0 0 0 179228 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3595.6 s]
/proc/loadavg: 4.16 4.14 4.10 7/265 337999
/proc/meminfo: memFree=121370140/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1792.71 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14502 0 0 0 179268 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.14 4.10 7/265 337999
/proc/meminfo: memFree=121370176/131524592 swapFree=131071996/131071996
[pid=336086] ppid=336073 vsize=9932 memory=2800 CPUtime=1794.69 cores=1,3
/proc/336086/stat : 336086 (Hybrid-LSMabSP+) S 336073 336086 336013 0 -1 4194304 274 70801 0 1 0 0 175632 3837 20 0 1 0 61417526 10170368 700 134679101440 94452440580096 94452441659416 140724230628864 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452443757872 94452443805060 94452457435136 140724230636520 140724230636666 140724230636666 140724230643681 0
/proc/336086/statm: 2483 700 610 264 0 134 0
[pid=336999] ppid=336086 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336999/stat : 336999 (timeout) S 336086 336999 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597329 8867840 244 134679101440 94642674425856 94642674460872 140722644418176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94642676558288 94642676560420 94642684383232 140722644419572 140722644419741 140722644419741 140722644426727 0
/proc/336999/statm: 2165 244 220 9 0 87 0
[pid=337000] ppid=336999 vsize=82844 memory=75540 CPUtime=1793.11 cores=1,3
/proc/337000/stat : 337000 (Exact) R 336999 336999 336013 0 -1 4194304 14502 0 0 0 179308 3 0 0 20 0 1 0 61597329 84832256 18885 134679101440 4194304 7210733 140726703954480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33304576 140726703961104 140726703961254 140726703961254 140726703968240 0
/proc/337000/statm: 20711 18885 748 737 0 19799 0
Current children cumulated CPU time: 3587.8 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 79316 KiB
Child status: 0
Real time (s): 3596.06
CPU time (s): 3587.87
CPU user time (s): 3549.45
CPU system time (s): 38.4202
CPU usage (%): 99.7723
Max. virtual memory (cumulated for all children) (KiB): 409120
Max. memory (cumulated for all children) (KiB): 338248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.45
system time used= 38.4202
maximum resident set size= 338232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88591
page faults= 3
swaps= 0
block input operations= 704
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116
involuntary context switches= 1788
# summary of solver processes directly reported to runsolver:
# pid: 336086
# total CPU time (s): 3587.87
# total CPU user time (s): 3549.45
# total CPU system time (s): 38.4202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77904 second user time and 21.6825 second system time
The end
Begin job on nodeC016 at 2024-08-06 14:43:23
IDJOB=4437129
IDBENCH=146688
IDSOLVER=3070
FILE ID=nodeC016/4437129-1722948202
RUNJOBID= nodeC016-1722948202-336025
SLURM_JOB_ID= 8258987
Free space on /tmp= 890080 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437129-1722948202/watcher-4437129-1722948202 -o /tmp/evaluation-result-4437129-1722948202/solver-4437129-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722948202-336025 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437129-1722948202.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039
RANDOM SEED=1395330820
nodeC016.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 : 1231.223
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.92
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 : 1279.157
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.47
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 : 1227.487
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.92
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 : 3632.105
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.47
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 : 3525.417
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.92
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 : 3626.774
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.47
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 : 1228.548
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.92
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 : 3790.870
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.47
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524592 kB
MemFree: 124309148 kB
MemAvailable: 129741172 kB
Buffers: 337876 kB
Cached: 5930692 kB
SwapCached: 0 kB
Active: 788068 kB
Inactive: 5885732 kB
Active(anon): 1456 kB
Inactive(anon): 441496 kB
Active(file): 786612 kB
Inactive(file): 5444236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85888 kB
Writeback: 16 kB
AnonPages: 405040 kB
Mapped: 98964 kB
Shmem: 37720 kB
KReclaimable: 81956 kB
Slab: 175816 kB
SReclaimable: 81956 kB
SUnreclaim: 93860 kB
KernelStack: 3888 kB
PageTables: 9540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 738652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 276480 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: 314068 kB
DirectMap2M: 9945088 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC016 at 2024-08-06 15:43:20