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: 63837 MiB (61358 MiB free)
memory of node 1: 64465 MiB (59563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509503-1751505820/watcher-4509503-1751505820 -o /tmp/evaluation-result-4509503-1751505820/solver-4509503-1751505820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69281 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4509503-1751505820.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71286, runsolver pid=71283
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 7.60 7.94 7.97 8/256 71287
/proc/meminfo: memFree=123819792/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=0.1 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 10 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+0.213719 s]*
/proc/loadavg: 7.60 7.94 7.97 8/255 71287
/proc/meminfo: memFree=123820880/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=0.21 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 21 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+0.313591 s]*
/proc/loadavg: 7.60 7.94 7.97 8/255 71287
/proc/meminfo: memFree=123820880/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=0.31 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 31 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+0.700342 s]
/proc/loadavg: 7.60 7.94 7.97 8/255 71287
/proc/meminfo: memFree=123820880/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=0.68 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 68 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+1.50034 s]
/proc/loadavg: 7.55 7.93 7.97 8/255 71287
/proc/meminfo: memFree=123819116/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=1.48 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 148 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+3.11326 s]
/proc/loadavg: 7.55 7.93 7.97 8/255 71287
/proc/meminfo: memFree=123829260/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=3.09 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 309 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+6.30032 s]
/proc/loadavg: 7.50 7.91 7.96 8/255 71287
/proc/meminfo: memFree=123831420/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=44420 memory=9856 CPUtime=6.27 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 1455 0 0 0 627 0 0 0 20 0 1 0 66260670 45486080 2464 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 11105 2464 1184 6655 0 1340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 9856 KiB
[startup+12.7002 s]
/proc/loadavg: 7.62 7.93 7.97 9/256 71288
/proc/meminfo: memFree=123766140/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=174008 memory=85432 CPUtime=15.19 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 16180 0 0 0 1516 3 0 0 20 0 2 0 66260670 178184192 21358 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 43502 21358 3520 6655 0 21364 0
[pid=71286/tid=71288] ppid=71283 vsize=174008 memory=6516 CPUtime=2.55 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 3836 0 0 0 254 1 0 0 20 0 2 0 66261671 178184192 21358 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 174008 KiB
Current children cumulated memory: 85432 KiB
[startup+25.5003 s]
/proc/loadavg: 7.68 7.93 7.97 9/256 71288
/proc/meminfo: memFree=123698544/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=219732 memory=156396 CPUtime=40.19 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 63520 0 0 0 4009 10 0 0 20 0 2 0 66260670 225005568 39099 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 54933 39099 3520 6655 0 40993 0
[pid=71286/tid=71288] ppid=71283 vsize=219732 memory=144384 CPUtime=14.99 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 23270 0 0 0 1496 3 0 0 20 0 2 0 66261671 225005568 39099 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 40.19 s
Current children cumulated vsize: 219732 KiB
Current children cumulated memory: 156396 KiB
[startup+51.1058 s]
/proc/loadavg: 7.81 7.94 7.97 9/256 71289
/proc/meminfo: memFree=123504724/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=406524 memory=285372 CPUtime=90.95 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 93977 0 0 0 9078 17 0 0 20 0 2 0 66260670 416280576 71343 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 101631 71343 3520 6655 0 76833 0
[pid=71286/tid=71288] ppid=71283 vsize=406524 memory=261720 CPUtime=40.27 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 39128 0 0 0 4021 6 0 0 20 0 2 0 66261671 416280576 71343 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 90.95 s
Current children cumulated vsize: 406524 KiB
Current children cumulated memory: 285372 KiB
[startup+102.3 s]
/proc/loadavg: 8.04 7.99 7.99 9/255 71294
/proc/meminfo: memFree=123203660/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=549576 memory=475432 CPUtime=192.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 156685 0 0 0 19206 28 0 0 20 0 2 0 66260670 562765824 118858 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 137394 118858 3520 6655 0 121392 0
[pid=71286/tid=71288] ppid=71283 vsize=549576 memory=465696 CPUtime=90.77 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 66418 0 0 0 9065 12 0 0 20 0 2 0 66261671 562765824 118858 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 192.34 s
Current children cumulated vsize: 549576 KiB
Current children cumulated memory: 475432 KiB
[startup+162.3 s]
/proc/loadavg: 7.59 7.88 7.95 8/254 71435
/proc/meminfo: memFree=124873904/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=732176 memory=687536 CPUtime=311.17 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 196434 0 0 0 31075 42 0 0 20 0 2 0 66260670 749748224 171884 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 183044 171884 3520 6655 0 172978 0
[pid=71286/tid=71288] ppid=71283 vsize=732176 memory=517764 CPUtime=149.96 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 80399 0 0 0 14977 19 0 0 20 0 2 0 66261671 749748224 171884 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 311.17 s
Current children cumulated vsize: 732176 KiB
Current children cumulated memory: 687536 KiB
[startup+222.3 s]
/proc/loadavg: 7.64 7.85 7.94 8/255 71484
/proc/meminfo: memFree=126000608/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=920624 memory=832340 CPUtime=430.02 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 242644 0 0 0 42948 54 0 0 20 0 2 0 66260670 942718976 208085 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 230156 208085 3520 6655 0 207503 0
[pid=71286/tid=71288] ppid=71283 vsize=920624 memory=16624 CPUtime=209.15 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 107577 0 0 0 20889 26 0 0 20 0 2 0 66261671 942718976 208085 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 430.02 s
Current children cumulated vsize: 920624 KiB
Current children cumulated memory: 832340 KiB
[startup+282.3 s]
/proc/loadavg: 7.11 7.68 7.87 7/255 71538
/proc/meminfo: memFree=127687524/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=1132424 memory=1064576 CPUtime=549.13 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 266306 0 0 0 54847 66 0 0 20 0 2 0 66260670 1159602176 266144 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 283106 266144 3520 6655 0 267278 0
[pid=71286/tid=71288] ppid=71283 vsize=1132424 memory=1059712 CPUtime=268.5 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 120748 0 0 0 26817 33 0 0 20 0 2 0 66261671 1159602176 266144 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 549.13 s
Current children cumulated vsize: 1132424 KiB
Current children cumulated memory: 1064576 KiB
[startup+342.3 s]
/proc/loadavg: 7.09 7.57 7.82 8/255 71541
/proc/meminfo: memFree=127438472/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=1307036 memory=1263476 CPUtime=668.22 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 301020 0 0 0 66744 78 0 0 20 0 2 0 66260670 1338404864 315869 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 326759 315869 3520 6655 0 316467 0
[pid=71286/tid=71288] ppid=71283 vsize=1307036 memory=16624 CPUtime=327.85 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 136393 0 0 0 32745 40 0 0 20 0 2 0 66261671 1338404864 315869 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 668.22 s
Current children cumulated vsize: 1307036 KiB
Current children cumulated memory: 1263476 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=71286/tid=71288] ppid=71283 vsize=4455996 memory=4259996 CPUtime=1463.23 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 357814 0 0 0 146200 123 0 0 20 0 2 0 66261671 4562939904 1092480 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 2931.66 s
Current children cumulated vsize: 4455996 KiB
Current children cumulated memory: 4369920 KiB
[startup+1542.3 s]
/proc/loadavg: 7.09 7.12 7.30 8/253 71601
/proc/meminfo: memFree=123630484/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=4607892 memory=4526448 CPUtime=3050.79 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 683217 0 0 0 304844 235 0 0 20 0 2 0 66260670 4718481408 1131612 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1151973 1131612 3520 6655 0 1134781 0
[pid=71286/tid=71288] ppid=71283 vsize=4607892 memory=4509152 CPUtime=1522.98 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 367602 0 0 0 152171 127 0 0 20 0 2 0 66261671 4718481408 1131612 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3050.79 s
Current children cumulated vsize: 4607892 KiB
Current children cumulated memory: 4526448 KiB
[startup+1602.3 s]
/proc/loadavg: 7.07 7.11 7.29 8/253 71603
/proc/meminfo: memFree=123469172/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=4733668 memory=4685636 CPUtime=3169.93 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 714008 0 0 0 316746 247 0 0 20 0 2 0 66260670 4847276032 1171409 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1183417 1171409 3520 6655 0 1173122 0
[pid=71286/tid=71288] ppid=71283 vsize=4733668 memory=4677556 CPUtime=1582.76 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 384182 0 0 0 158143 133 0 0 20 0 2 0 66261671 4847276032 1171409 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3169.93 s
Current children cumulated vsize: 4733668 KiB
Current children cumulated memory: 4685636 KiB
[startup+1662.3 s]
/proc/loadavg: 7.12 7.12 7.28 8/253 71606
/proc/meminfo: memFree=123331976/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=4917572 memory=4826372 CPUtime=3289.09 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 742690 0 0 0 328652 257 0 0 20 0 2 0 66260670 5035593728 1206593 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1229393 1206593 3520 6655 0 1208579 0
[pid=71286/tid=71288] ppid=71283 vsize=4917572 memory=16624 CPUtime=1642.55 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 398831 0 0 0 164116 139 0 0 20 0 2 0 66261671 5035593728 1206593 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3289.09 s
Current children cumulated vsize: 4917572 KiB
Current children cumulated memory: 4826372 KiB
[startup+1722.3 s]
/proc/loadavg: 6.89 7.06 7.25 8/253 71653
/proc/meminfo: memFree=123738716/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=5027440 memory=4951792 CPUtime=3408.24 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 774177 0 0 0 340558 266 0 0 20 0 2 0 66260670 5148098560 1237948 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1256860 1237948 3520 6655 0 1238696 0
[pid=71286/tid=71288] ppid=71283 vsize=5027440 memory=4884588 CPUtime=1702.34 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 414339 0 0 0 170090 144 0 0 20 0 2 0 66261671 5148098560 1237948 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3408.24 s
Current children cumulated vsize: 5027440 KiB
Current children cumulated memory: 4951792 KiB
[startup+1782.3 s]
/proc/loadavg: 6.47 6.91 7.18 7/252 71843
/proc/meminfo: memFree=123649872/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=5141952 memory=5078508 CPUtime=3527.41 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 794387 0 0 0 352466 275 0 0 20 0 2 0 66260670 5265358848 1269627 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1285488 1269627 3520 6655 0 1271009 0
[pid=71286/tid=71288] ppid=71283 vsize=5141952 memory=5064900 CPUtime=1762.14 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 424599 0 0 0 176065 149 0 0 20 0 2 0 66261671 5265358848 1269627 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3527.41 s
Current children cumulated vsize: 5141952 KiB
Current children cumulated memory: 5078508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.9 s]
/proc/loadavg: 6.39 6.84 7.15 8/253 71844
/proc/meminfo: memFree=123358116/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=5222288 memory=5169004 CPUtime=3600.09 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) R 71283 71286 69270 0 -1 4194304 822420 0 0 0 359726 283 0 0 20 0 2 0 66260670 5347622912 1292251 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 1305572 1292251 3520 6655 0 1295156 0
[pid=71286/tid=71288] ppid=71283 vsize=5222288 memory=5090216 CPUtime=1798.61 cores=4,6
/proc/71286/task/71288/stat : 71288 (LSIPExact) R 71283 71286 69270 0 -1 4194368 437536 0 0 0 179707 154 0 0 20 0 2 0 66261671 5347622912 1292251 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5222288 KiB
Current children cumulated memory: 5169004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1820.95 s]
# the end of solver process 71286 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.07 s, system=2.99903 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 6.39 6.84 7.15 7/252 71844
/proc/meminfo: memFree=123354820/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=684956 memory=593692 CPUtime=3600.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) S 71283 71286 69270 0 -1 4194304 904515 227 0 0 359742 292 0 0 20 0 1 0 66260670 701394944 148423 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 171239 148423 3552 6655 0 161451 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 684956 KiB
Current children cumulated memory: 593692 KiB
[startup+1820 s]*
/proc/loadavg: 6.39 6.84 7.15 7/253 71846
/proc/meminfo: memFree=127870840/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=684956 memory=593692 CPUtime=3600.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) S 71283 71286 69270 0 -1 4194304 904515 227 0 0 359742 292 0 0 20 0 1 0 66260670 701394944 148423 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 171239 148423 3552 6655 0 161451 0
[pid=71846] ppid=71286 vsize=60588 memory=48976 CPUtime=0.78 cores=4,6
/proc/71846/stat : 71846 (Exact) R 71286 71846 71846 0 -1 4194304 9591 0 0 0 75 3 0 0 20 0 1 0 66442589 62042112 12244 18446744073709551615 4198400 8335837 140727062963568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35741696 140727062968500 140727062968861 140727062968861 140727062974415 0
/proc/71846/statm: 15147 12244 1120 1011 0 13914 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 745544 KiB
Current children cumulated memory: 642668 KiB
[startup+1820.4 s]
/proc/loadavg: 6.39 6.84 7.15 7/253 71846
/proc/meminfo: memFree=127870840/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=684956 memory=593692 CPUtime=3600.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) S 71283 71286 69270 0 -1 4194304 904515 227 0 0 359742 292 0 0 20 0 1 0 66260670 701394944 148423 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 171239 148423 3552 6655 0 161451 0
[pid=71846] ppid=71286 vsize=61784 memory=52164 CPUtime=1.17 cores=4,6
/proc/71846/stat : 71846 (Exact) R 71286 71846 71846 0 -1 4194304 9879 0 0 0 114 3 0 0 20 0 1 0 66442589 63266816 13041 18446744073709551615 4198400 8335837 140727062963568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35741696 140727062968500 140727062968861 140727062968861 140727062974415 0
/proc/71846/statm: 15446 13041 1120 1011 0 14213 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 746740 KiB
Current children cumulated memory: 645856 KiB
[startup+1820.8 s]
/proc/loadavg: 6.39 6.84 7.15 7/253 71846
/proc/meminfo: memFree=127870840/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=684956 memory=593692 CPUtime=3600.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) S 71283 71286 69270 0 -1 4194304 904515 227 0 0 359742 292 0 0 20 0 1 0 66260670 701394944 148423 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 171239 148423 3552 6655 0 161451 0
[pid=71846] ppid=71286 vsize=63712 memory=56232 CPUtime=1.56 cores=4,6
/proc/71846/stat : 71846 (Exact) R 71286 71846 71846 0 -1 4194304 10392 0 0 0 153 3 0 0 20 0 1 0 66442589 65241088 14058 18446744073709551615 4198400 8335837 140727062963568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35741696 140727062968500 140727062968861 140727062968861 140727062974415 0
/proc/71846/statm: 15928 14058 1120 1011 0 14695 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 748668 KiB
Current children cumulated memory: 649924 KiB
[startup+1820.9 s]
/proc/loadavg: 6.39 6.84 7.15 7/253 71846
/proc/meminfo: memFree=127870840/131382120 swapFree=33010416/33010684
[pid=71286] ppid=71283 vsize=684956 memory=593692 CPUtime=3600.34 cores=4,6
/proc/71286/stat : 71286 (LSIPExact) S 71283 71286 69270 0 -1 4194304 904515 227 0 0 359742 292 0 0 20 0 1 0 66260670 701394944 148423 18446744073709551615 94889248460800 94889275717201 140728664624672 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94889284220040 94889284651648 94889294491648 140728664627546 140728664627722 140728664627722 140728664633324 0
/proc/71286/statm: 171239 148423 3552 6655 0 161451 0
[pid=71846] ppid=71286 vsize=64244 memory=56744 CPUtime=1.66 cores=4,6
/proc/71846/stat : 71846 (Exact) R 71286 71846 71846 0 -1 4194304 10520 0 0 0 163 3 0 0 20 0 1 0 66442589 65785856 14186 18446744073709551615 4198400 8335837 140727062963568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35741696 140727062968500 140727062968861 140727062968861 140727062974415 0
/proc/71846/statm: 16061 14186 1120 1011 0 14828 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 749200 KiB
Current children cumulated memory: 650436 KiB
Child status: 0
Real time (s): 1820.95
CPU time (s): 3602.07
CPU user time (s): 3599.07
CPU system time (s): 2.99903
CPU usage (%): 197.813
Max. virtual memory (cumulated for all children) (KiB): 5222288
Max. memory (cumulated for all children) (KiB): 5169004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 2.99904
maximum resident set size= 5169004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915811
page faults= 0
swaps= 0
block input operations= 440
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 778
involuntary context switches= 34265
# summary of solver processes directly reported to runsolver:
# pid: 71286
# total CPU time (s): 3602.07
# total CPU user time (s): 3599.07
# total CPU system time (s): 2.99903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69331 second user time and 8.95792 second system time
The end
Begin job on nodeC003 at 2025-07-03 03:23:40
IDJOB=4509503
IDBENCH=158621
IDSOLVER=3336
FILE ID=nodeC003/4509503-1751505820
RUNJOBID= nodeC003-1751500320-69281
SLURM_JOB_ID= 9598582
Free space on /tmp= 431872 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509503-1751505820/watcher-4509503-1751505820 -o /tmp/evaluation-result-4509503-1751505820/solver-4509503-1751505820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69281 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4509503-1751505820.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1395516951
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.489
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.488
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.793
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.463
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1695.977
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.484
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.538
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.499
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 123820708 kB
MemAvailable: 123964976 kB
Buffers: 2736 kB
Cached: 941772 kB
SwapCached: 36 kB
Active: 6466512 kB
Inactive: 449736 kB
Active(anon): 5982056 kB
Inactive(anon): 7608 kB
Active(file): 484456 kB
Inactive(file): 442128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44856 kB
Writeback: 64 kB
AnonPages: 5969416 kB
Mapped: 139880 kB
Shmem: 17924 kB
KReclaimable: 114624 kB
Slab: 200352 kB
SReclaimable: 114624 kB
SUnreclaim: 85728 kB
KernelStack: 4128 kB
PageTables: 14904 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6423844 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3061760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431832 MiB
End job on nodeC003 at 2025-07-03 03:54:01