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: 63665 MiB (62136 MiB free)
memory of node 1: 64507 MiB (63767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492811-1751144138/watcher-4492811-1751144138 -o /tmp/evaluation-result-4492811-1751144138/solver-4492811-1751144138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14448 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4492811-1751144138.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=16088, runsolver pid=16085
[startup+0.100067 s]*
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128924840/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=90064 memory=18936 CPUtime=0.08 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 2369 0 0 0 8 0 0 0 20 0 1 0 30091625 92225536 4734 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 22516 4734 2176 595 0 7183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90064 KiB
Current children cumulated memory: 18936 KiB
[startup+0.205652 s]*
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128924840/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=98424 memory=31204 CPUtime=0.19 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 4630 0 0 0 18 1 0 0 20 0 1 0 30091625 100786176 7801 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 24606 7801 2240 595 0 9273 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98424 KiB
Current children cumulated memory: 31204 KiB
[startup+0.305638 s]*
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128913184/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=112400 memory=49496 CPUtime=0.29 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 8175 0 0 0 28 1 0 0 20 0 1 0 30091625 115097600 12374 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 28100 12374 2240 595 0 12767 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112400 KiB
Current children cumulated memory: 49496 KiB
[startup+0.700204 s]
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128778356/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216068 CPUtime=0.68 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46404 0 0 0 60 8 0 0 20 0 1 0 30091625 296984576 54017 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54017 2464 595 0 57173 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216068 KiB
[startup+1.50018 s]
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128738332/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216196 CPUtime=1.47 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46433 0 0 0 139 8 0 0 20 0 1 0 30091625 296984576 54049 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54049 2464 595 0 57173 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216196 KiB
[startup+3.10543 s]
/proc/loadavg: 4.22 2.79 2.08 5/266 16089
/proc/meminfo: memFree=128738540/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216324 CPUtime=3.08 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46460 0 0 0 299 9 0 0 20 0 1 0 30091625 296984576 54081 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54081 2464 595 0 57173 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216324 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 2.81 2.09 5/266 16089
/proc/meminfo: memFree=128738540/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216324 CPUtime=6.27 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46462 0 0 0 616 11 0 0 20 0 1 0 30091625 296984576 54081 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54081 2464 595 0 57173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 2.83 2.10 5/266 16089
/proc/meminfo: memFree=128721908/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216324 CPUtime=12.65 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46462 0 0 0 1249 16 0 0 20 0 1 0 30091625 296984576 54081 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54081 2464 595 0 57173 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 2.89 2.13 5/266 16089
/proc/meminfo: memFree=128715488/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216324 CPUtime=25.42 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46462 0 0 0 2517 25 0 0 20 0 1 0 30091625 296984576 54081 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54081 2464 595 0 57173 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216324 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 2.99 2.19 5/266 16184
/proc/meminfo: memFree=128934356/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=290024 memory=216324 CPUtime=50.97 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 46462 0 0 0 5058 39 0 0 20 0 1 0 30091625 296984576 54081 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 72506 54081 2464 595 0 57173 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 216324 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 3.23 2.31 5/268 16277
/proc/meminfo: memFree=129657180/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=449752 memory=328604 CPUtime=102.04 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 52201 0 0 0 10150 54 0 0 20 0 1 0 30091625 460546048 82151 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 112438 82151 2496 595 0 97105 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 449752 KiB
Current children cumulated memory: 328604 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.37 2.42 5/268 16279
/proc/meminfo: memFree=129544828/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=466508 memory=351536 CPUtime=161.89 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 55436 0 0 0 16132 57 0 0 20 0 1 0 30091625 477704192 87884 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 116627 87884 2496 595 0 101294 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 466508 KiB
Current children cumulated memory: 351536 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.52 2.53 5/267 16281
/proc/meminfo: memFree=129442080/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=475164 memory=360520 CPUtime=221.74 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 57210 0 0 0 22116 58 0 0 20 0 1 0 30091625 486567936 90130 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 118791 90130 2496 595 0 103458 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 475164 KiB
Current children cumulated memory: 360520 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.63 2.63 5/267 16284
/proc/meminfo: memFree=129381388/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=483764 memory=391224 CPUtime=281.59 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 58296 0 0 0 28099 60 0 0 20 0 1 0 30091625 495374336 97806 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 120941 97806 2496 595 0 105608 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 483764 KiB
Current children cumulated memory: 391224 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.71 2.73 5/266 16297
/proc/meminfo: memFree=129363120/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=486028 memory=393784 CPUtime=341.44 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 58986 0 0 0 34083 61 0 0 20 0 1 0 30091625 497692672 98446 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 121507 98446 2496 595 0 106174 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 486028 KiB
Current children cumulated memory: 393784 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.78 2.82 5/263 16299
/proc/meminfo: memFree=129324924/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=490820 memory=398524 CPUtime=401.29 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 59684 0 0 0 40067 62 0 0 20 0 1 0 30091625 502599680 99631 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 122705 99631 2496 595 0 107372 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 490820 KiB
Current children cumulated memory: 398524 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.84 2.90 5/264 16346
/proc/meminfo: memFree=129349644/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=494192 memory=401980 CPUtime=461.14 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 60527 0 0 0 46051 63 0 0 20 0 1 0 30091625 506052608 100495 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 123548 100495 2496 595 0 108215 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 746600 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/264 16704
/proc/meminfo: memFree=127848888/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=812364 memory=750868 CPUtime=2854.84 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 100260 0 0 0 285289 195 0 0 20 0 1 0 30091625 831860736 187717 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 203091 187717 2496 595 0 187758 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 812364 KiB
Current children cumulated memory: 750868 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/264 16706
/proc/meminfo: memFree=127848736/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=812652 memory=751124 CPUtime=2914.69 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 100322 0 0 0 291274 195 0 0 20 0 1 0 30091625 832155648 187781 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 203163 187781 2496 595 0 187830 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 812652 KiB
Current children cumulated memory: 751124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/264 16708
/proc/meminfo: memFree=127847600/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=813036 memory=751508 CPUtime=2974.56 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 100418 0 0 0 297259 197 0 0 20 0 1 0 30091625 832548864 187877 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 203259 187877 2496 595 0 187926 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 813036 KiB
Current children cumulated memory: 751508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/264 16710
/proc/meminfo: memFree=127847712/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=817584 memory=755988 CPUtime=3034.41 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 101554 0 0 0 303243 198 0 0 20 0 1 0 30091625 837206016 188997 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 204396 188997 2496 595 0 189063 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 817584 KiB
Current children cumulated memory: 755988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 16714
/proc/meminfo: memFree=127838824/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=818736 memory=757140 CPUtime=3094.27 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 101926 0 0 0 309228 199 0 0 20 0 1 0 30091625 838385664 189285 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 204684 189285 2496 595 0 189351 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 818736 KiB
Current children cumulated memory: 757140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 16721
/proc/meminfo: memFree=127838704/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=818736 memory=757140 CPUtime=3154.14 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 101926 0 0 0 315203 211 0 0 20 0 1 0 30091625 838385664 189285 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 204684 189285 2496 595 0 189351 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 818736 KiB
Current children cumulated memory: 757140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/264 16725
/proc/meminfo: memFree=127812568/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=820368 memory=758804 CPUtime=3214 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 102341 0 0 0 321160 240 0 0 20 0 1 0 30091625 840056832 189701 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 205092 189701 2496 595 0 189759 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 820368 KiB
Current children cumulated memory: 758804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 16726
/proc/meminfo: memFree=127839868/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=822288 memory=760724 CPUtime=3273.86 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 102821 0 0 0 327145 241 0 0 20 0 1 0 30091625 842022912 190181 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 205572 190181 2496 595 0 190239 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 822288 KiB
Current children cumulated memory: 760724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/264 16728
/proc/meminfo: memFree=127823236/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=825392 memory=764040 CPUtime=3333.72 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 103138 0 0 0 333129 243 0 0 20 0 1 0 30091625 845201408 191010 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 206348 191010 2496 595 0 191015 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 825392 KiB
Current children cumulated memory: 764040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 16730
/proc/meminfo: memFree=127803388/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=825392 memory=764040 CPUtime=3393.57 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 103138 0 0 0 339110 247 0 0 20 0 1 0 30091625 845201408 191010 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 206348 191010 2496 595 0 191015 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 825392 KiB
Current children cumulated memory: 764040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/263 16732
/proc/meminfo: memFree=127823016/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=825952 memory=764040 CPUtime=3453.39 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 103149 0 0 0 345089 250 0 0 20 0 1 0 30091625 845774848 191010 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 206488 191010 2496 595 0 191155 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 825952 KiB
Current children cumulated memory: 764040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/263 16780
/proc/meminfo: memFree=127851868/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=831764 memory=770312 CPUtime=3513.21 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 104696 0 0 0 351069 252 0 0 20 0 1 0 30091625 851726336 192578 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 207941 192578 2496 595 0 192608 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 831764 KiB
Current children cumulated memory: 770312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/263 16826
/proc/meminfo: memFree=127913924/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=832468 memory=770952 CPUtime=3573.04 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 104854 0 0 0 357051 253 0 0 20 0 1 0 30091625 852447232 192738 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 208117 192738 2496 595 0 192784 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 832468 KiB
Current children cumulated memory: 770952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.08 4.08 4.03 5/263 16828
/proc/meminfo: memFree=127867020/131250000 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=835108 memory=772104 CPUtime=3600.07 cores=5,7
/proc/16088/stat : 16088 (SynLSCD-PS) R 16085 16088 14435 0 -1 4194304 105163 0 0 0 359753 254 0 0 20 0 1 0 30091625 855150592 193026 18446744073709551615 94652707139584 94652709574585 140731155527840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94652710055160 94652710088192 94652728983552 140731155532128 140731155532264 140731155532264 140731155537866 0
/proc/16088/statm: 208777 193026 2496 595 0 193444 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 835108 KiB
Current children cumulated memory: 772104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.43 s]
# the end of solver process 16088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.56 s, system=2.55187 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.43
CPU time (s): 3600.11
CPU user time (s): 3597.56
CPU system time (s): 2.55187
CPU usage (%): 99.7418
Max. virtual memory (cumulated for all children) (KiB): 835108
Max. memory (cumulated for all children) (KiB): 772104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.55187
maximum resident set size= 772360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 1618
# summary of solver processes directly reported to runsolver:
# pid: 16088
# total CPU time (s): 3600.11
# total CPU user time (s): 3597.56
# total CPU system time (s): 2.55187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83507 second user time and 15.5254 second system time
The end
Begin job on nodeC018 at 2025-06-28 22:55:38
IDJOB=4492811
IDBENCH=147823
IDSOLVER=3370
FILE ID=nodeC018/4492811-1751144138
RUNJOBID= nodeC018-1751143906-14448
SLURM_JOB_ID= 9587437
Free space on /tmp= 433032 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492811-1751144138/watcher-4492811-1751144138 -o /tmp/evaluation-result-4492811-1751144138/solver-4492811-1751144138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14448 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4492811-1751144138.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 34508937f6127f0a8669d934526c1066
RANDOM SEED=550166575
nodeC018 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 : 0xb00002a
cpu MHz : 3599.829
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.914
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3648.013
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.192
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3599.903
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.293
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3598.401
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.178
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128924696 kB
MemAvailable: 128538380 kB
Buffers: 3280 kB
Cached: 392324 kB
SwapCached: 0 kB
Active: 1542332 kB
Inactive: 170584 kB
Active(anon): 1335392 kB
Inactive(anon): 0 kB
Active(file): 206940 kB
Inactive(file): 170584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10312 kB
Writeback: 20 kB
AnonPages: 1320420 kB
Mapped: 113832 kB
Shmem: 18076 kB
KReclaimable: 84796 kB
Slab: 167164 kB
SReclaimable: 84796 kB
SUnreclaim: 82368 kB
KernelStack: 4320 kB
PageTables: 5660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1784788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 534528 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC018 at 2025-06-28 23:55:47