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 (57425 MiB free)
memory of node 1: 64510 MiB (60968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449874-1722992484/watcher-4449874-1722992484 -o /tmp/evaluation-result-4449874-1722992484/solver-4449874-1722992484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722985288-359052 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449874-1722992484.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=363464, runsolver pid=363461
[startup+0.100279 s]*
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121224992/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=26128 memory=12004 CPUtime=0.09 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 2002 0 0 0 9 0 0 0 20 0 1 0 65846343 26755072 3001 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 6532 3001 1073 2753 0 3185 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44720 KiB
Current children cumulated memory: 15724 KiB
[startup+0.206037 s]*
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121217424/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=30224 memory=16104 CPUtime=0.19 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 2506 0 0 0 19 0 0 0 20 0 1 0 65846343 30949376 4026 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 7556 4026 1073 2753 0 4209 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48816 KiB
Current children cumulated memory: 19824 KiB
[startup+0.305324 s]*
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121185884/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=58700 memory=44500 CPUtime=0.29 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 8433 0 0 0 28 1 0 0 20 0 1 0 65846343 60108800 11125 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 14675 11125 1105 2753 0 11328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77292 KiB
Current children cumulated memory: 48220 KiB
[startup+0.70024 s]
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121180004/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=58700 memory=44500 CPUtime=0.68 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 8436 0 0 0 67 1 0 0 20 0 1 0 65846343 60108800 11125 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 14675 11125 1105 2753 0 11328 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77292 KiB
Current children cumulated memory: 48220 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121057284/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=278848 memory=241748 CPUtime=1.48 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 44754 0 0 0 141 7 0 0 20 0 1 0 65846343 285540352 60437 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 69712 60437 2737 2753 0 66365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 297440 KiB
Current children cumulated memory: 245468 KiB
[startup+3.10642 s]
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=120868772/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=343876 memory=314772 CPUtime=3.08 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 60317 0 0 0 299 9 0 0 20 0 1 0 65846343 352129024 78693 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 85969 78693 2817 2753 0 82622 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 362468 KiB
Current children cumulated memory: 318492 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.19 4.17 5/268 363468
/proc/meminfo: memFree=120852100/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=375116 memory=328372 CPUtime=6.26 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 62699 0 0 0 616 10 0 0 20 0 1 0 65846343 384118784 82093 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 93779 82093 2833 2753 0 90432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 393708 KiB
Current children cumulated memory: 332092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.18 4.17 5/268 363531
/proc/meminfo: memFree=120758092/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=452424 memory=360736 CPUtime=12.63 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 70300 0 0 0 1252 11 0 0 20 0 1 0 65846343 463282176 90184 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 113106 90184 2833 2753 0 109759 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 471016 KiB
Current children cumulated memory: 364456 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.19 4.17 5/268 363532
/proc/meminfo: memFree=120640544/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=527076 memory=429512 CPUtime=25.38 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 86987 0 0 0 2524 14 0 0 20 0 1 0 65846343 539725824 107378 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 131769 107378 2833 2753 0 128422 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 545668 KiB
Current children cumulated memory: 433232 KiB
[startup+51.1065 s]
/proc/loadavg: 4.10 4.17 4.17 5/268 363537
/proc/meminfo: memFree=120579160/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 677 599 264 0 134 0
[pid=363467] ppid=363464 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/363467/stat : 363467 (timeout) S 363464 363467 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65846343 8867840 253 134679101440 94638094864384 94638094899400 140725266459104 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94638096996816 94638096998948 94638119432192 140725266461737 140725266461853 140725266461853 140725266468839 0
/proc/363467/statm: 2165 253 229 9 0 87 0
[pid=363468] ppid=363467 vsize=562640 memory=431632 CPUtime=50.87 cores=0,2
/proc/363468/stat : 363468 (LS-MabSP) R 363467 363467 359042 0 -1 4194304 87733 0 0 0 5073 14 0 0 20 0 1 0 65846343 576143360 107908 134679101440 4194304 15467897 140728450600736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44224512 140728450606140 140728450606243 140728450606243 140728450613229 0
/proc/363468/statm: 140660 107908 2833 2753 0 137313 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 581232 KiB
Current children cumulated memory: 435352 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/268 363547
/proc/meminfo: memFree=120387748/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65846342 10170368 677 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
################
# More data... #
################
/proc/364483/statm: 16031 13834 748 737 0 15119 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 82716 KiB
Current children cumulated memory: 59076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/265 365420
/proc/meminfo: memFree=121314340/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64124 memory=55336 CPUtime=1659.64 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 961809 0 0 0 165800 164 0 0 20 0 1 0 66026144 65662976 13834 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16031 13834 748 737 0 15119 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 82716 KiB
Current children cumulated memory: 59076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/265 365430
/proc/meminfo: memFree=121311940/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64412 memory=55624 CPUtime=1719.48 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 986575 0 0 0 171780 168 0 0 20 0 1 0 66026144 65957888 13906 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16103 13906 748 737 0 15191 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 83004 KiB
Current children cumulated memory: 59364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/265 365454
/proc/meminfo: memFree=121311008/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64700 memory=55872 CPUtime=1779.32 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1014906 0 0 0 177759 173 0 0 20 0 1 0 66026144 66252800 13968 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16175 13968 748 737 0 15263 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 83292 KiB
Current children cumulated memory: 59612 KiB
[startup+3596.04 s]
# the end of solver process 363464 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.26 s, system=17.3217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.17 4.13 5/265 365455
/proc/meminfo: memFree=121311352/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64700 memory=55872 CPUtime=1781.02 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1015964 0 0 0 177929 173 0 0 20 0 1 0 66026144 66252800 13968 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16175 13968 748 737 0 15263 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 83292 KiB
Current children cumulated memory: 59612 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311416/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64700 memory=55872 CPUtime=1787.4 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1018082 0 0 0 178567 173 0 0 20 0 1 0 66026144 66252800 13968 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16175 13968 748 737 0 15263 0
Current children cumulated CPU time: 3579.93 s
Current children cumulated vsize: 83292 KiB
Current children cumulated memory: 59612 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311400/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64700 memory=55872 CPUtime=1790.58 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1019149 0 0 0 178885 173 0 0 20 0 1 0 66026144 66252800 13968 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16175 13968 748 737 0 15263 0
Current children cumulated CPU time: 3583.11 s
Current children cumulated vsize: 83292 KiB
Current children cumulated memory: 59612 KiB
[startup+3595.2 s]
/proc/loadavg: 3.92 4.13 4.12 3/247 365563
/proc/meminfo: memFree=121441044/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64828 memory=56000 CPUtime=1792.19 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1019710 0 0 0 179045 174 0 0 20 0 1 0 66026144 66383872 14000 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16207 14000 748 737 0 15295 0
Current children cumulated CPU time: 3584.72 s
Current children cumulated vsize: 83420 KiB
Current children cumulated memory: 59740 KiB
[startup+3595.6 s]
/proc/loadavg: 3.92 4.13 4.12 3/247 365563
/proc/meminfo: memFree=121441044/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64828 memory=56000 CPUtime=1792.58 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1019710 0 0 0 179084 174 0 0 20 0 1 0 66026144 66383872 14000 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16207 14000 748 737 0 15295 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 83420 KiB
Current children cumulated memory: 59740 KiB
[startup+3596 s]*
/proc/loadavg: 3.92 4.13 4.12 3/247 365563
/proc/meminfo: memFree=121440988/131524600 swapFree=131071472/131071996
[pid=363464] ppid=363461 vsize=9932 memory=2752 CPUtime=1792.53 cores=0,2
/proc/363464/stat : 363464 (Hybrid-LSMabSP+) S 363461 363464 359042 0 -1 4194304 268 174105 0 0 0 0 177697 1556 20 0 1 0 65846342 10170368 688 134679101440 94058614689792 94058615769112 140735081979056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94058617867568 94058617914756 94058635051008 140735081980904 140735081981050 140735081981050 140735081988065 0
/proc/363464/statm: 2483 688 599 264 0 134 0
[pid=364482] ppid=363464 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/364482/stat : 364482 (timeout) S 363464 364482 359042 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66026144 8867840 247 134679101440 94317966352384 94317966387400 140727222147712 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94317968484816 94317968486948 94317999529984 140727222154228 140727222154397 140727222154397 140727222161383 0
/proc/364482/statm: 2165 247 223 9 0 87 0
[pid=364483] ppid=364482 vsize=64828 memory=56000 CPUtime=1792.99 cores=0,2
/proc/364483/stat : 364483 (Exact) R 364482 364482 359042 0 -1 4194304 1020239 0 0 0 179125 174 0 0 20 0 1 0 66026144 66383872 14000 134679101440 4194304 7210733 140730027537088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28721152 140730027545616 140730027545766 140730027545766 140730027552752 0
/proc/364483/statm: 16207 14000 748 737 0 15295 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 83420 KiB
Current children cumulated memory: 59740 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3585.58
CPU user time (s): 3568.26
CPU system time (s): 17.3217
CPU usage (%): 99.7093
Max. virtual memory (cumulated for all children) (KiB): 924588
Max. memory (cumulated for all children) (KiB): 800168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.26
system time used= 17.3217
maximum resident set size= 796448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1197633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 24555
# summary of solver processes directly reported to runsolver:
# pid: 363464
# total CPU time (s): 3585.58
# total CPU user time (s): 3568.26
# total CPU system time (s): 17.3217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.67092 second user time and 14.2678 second system time
The end
Begin job on nodeC020 at 2024-08-07 03:01:24
IDJOB=4449874
IDBENCH=176150
IDSOLVER=3070
FILE ID=nodeC020/4449874-1722992484
RUNJOBID= nodeC020-1722985288-359052
SLURM_JOB_ID= 8259112
Free space on /tmp= 890020 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449874-1722992484/watcher-4449874-1722992484 -o /tmp/evaluation-result-4449874-1722992484/solver-4449874-1722992484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722985288-359052 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449874-1722992484.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb
RANDOM SEED=495698155
nodeC020.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 : 3674.368
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 : 7000.38
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 : 3686.376
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 : 7007.00
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 : 3662.440
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 : 7000.38
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 : 3600.547
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 : 7007.00
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 : 3679.696
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 : 7000.38
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 : 3686.402
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 : 7007.00
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 : 3623.294
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 : 7000.38
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 : 3600.217
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121235152 kB
MemAvailable: 129492452 kB
Buffers: 366844 kB
Cached: 8714180 kB
SwapCached: 28 kB
Active: 669296 kB
Inactive: 9054540 kB
Active(anon): 1932 kB
Inactive(anon): 678260 kB
Active(file): 667364 kB
Inactive(file): 8376280 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 64584 kB
Writeback: 20 kB
AnonPages: 640528 kB
Mapped: 134180 kB
Shmem: 37668 kB
KReclaimable: 106604 kB
Slab: 200656 kB
SReclaimable: 106604 kB
SUnreclaim: 94052 kB
KernelStack: 4304 kB
PageTables: 10668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1011508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 28192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 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: 287444 kB
DirectMap2M: 27797504 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC020 at 2024-08-07 04:01:21