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: 63794 MiB (46221 MiB free)
memory of node 1: 64507 MiB (50108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544762-1753232895/watcher-4544762-1753232895 -o /tmp/evaluation-result-4544762-1753232895/solver-4544762-1753232895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753232411-185394 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 898614450 HOME/instance-4544762-1753232895.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=185583, runsolver pid=185580
[startup+0.100068 s]*
/proc/loadavg: 4.92 4.65 4.30 8/256 185585
/proc/meminfo: memFree=98634152/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=95148 memory=24032 CPUtime=0.17 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 5020 0 0 0 16 1 0 0 20 0 2 0 238969262 97431552 6008 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 23787 6008 576 633 0 7819 0
[pid=185583/tid=185585] ppid=185580 vsize=95148 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) R 185580 185583 185383 0 -1 4194368 1204 0 0 0 7 0 0 0 20 0 2 0 238969265 97431552 6008 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 95148 KiB
Current children cumulated memory: 24032 KiB
[startup+0.213293 s]*
/proc/loadavg: 4.92 4.65 4.30 7/256 185585
/proc/meminfo: memFree=98615000/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=101616 memory=37216 CPUtime=0.38 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 8305 0 0 0 35 3 0 0 20 0 2 0 238969262 104054784 9304 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 25404 9304 576 633 0 11095 0
[pid=185583/tid=185585] ppid=185580 vsize=101616 memory=4830726537859825948 CPUtime=0.18 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) R 185580 185583 185383 0 -1 4194368 2863 0 0 0 16 2 0 0 20 0 2 0 238969265 104054784 9304 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 101616 KiB
Current children cumulated memory: 37216 KiB
[startup+0.313177 s]*
/proc/loadavg: 4.92 4.66 4.30 5/256 185585
/proc/meminfo: memFree=98606936/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=101332 memory=40248 CPUtime=0.51 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 9899 0 0 0 47 4 0 0 20 0 2 0 238969262 103763968 10062 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 25333 10062 608 633 0 11604 0
[pid=185583/tid=185585] ppid=185580 vsize=101332 memory=-8825574896400623199 CPUtime=0.22 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 3441 0 0 0 20 2 0 0 20 0 2 0 238969265 103763968 10062 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 0 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 101332 KiB
Current children cumulated memory: 40248 KiB
[startup+0.70027 s]
/proc/loadavg: 4.92 4.66 4.30 7/256 185585
/proc/meminfo: memFree=98554324/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=175428 memory=124280 CPUtime=1.05 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 22167 0 0 0 96 9 0 0 20 0 2 0 238969262 179638272 31070 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 43857 31070 672 633 0 32546 0
[pid=185583/tid=185585] ppid=185580 vsize=175428 memory=27776 CPUtime=0.42 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 5861 0 0 0 38 4 0 0 20 0 2 0 238969265 179638272 31070 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 175428 KiB
Current children cumulated memory: 124280 KiB
[startup+1.50023 s]
/proc/loadavg: 4.92 4.66 4.30 7/256 185585
/proc/meminfo: memFree=98489812/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=298416 memory=247292 CPUtime=1.84 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 66070 0 0 0 166 18 0 0 20 0 2 0 238969262 305577984 61823 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 74604 61823 672 633 0 63293 0
[pid=185583/tid=185585] ppid=185580 vsize=298416 memory=27776 CPUtime=0.42 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 5861 0 0 0 38 4 0 0 20 0 2 0 238969265 305577984 61823 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 298416 KiB
Current children cumulated memory: 247292 KiB
[startup+3.11327 s]
/proc/loadavg: 4.92 4.66 4.30 6/256 185585
/proc/meminfo: memFree=98409440/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=302244 memory=251132 CPUtime=3.55 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 67049 0 0 0 337 18 0 0 20 0 2 0 238969262 309497856 62783 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 75561 62783 672 633 0 64250 0
[pid=185583/tid=185585] ppid=185580 vsize=302244 memory=248700 CPUtime=0.52 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 5861 0 0 0 48 4 0 0 20 0 2 0 238969265 309497856 62783 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 302244 KiB
Current children cumulated memory: 251132 KiB
[startup+6.30032 s]
/proc/loadavg: 4.93 4.67 4.30 7/256 185585
/proc/meminfo: memFree=98409692/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=303168 memory=252028 CPUtime=7.73 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 111024 0 0 0 752 21 0 0 20 0 2 0 238969262 310444032 63007 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 75792 63007 672 633 0 64481 0
[pid=185583/tid=185585] ppid=185580 vsize=303168 memory=252028 CPUtime=1.54 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 6577 0 0 0 150 4 0 0 20 0 2 0 238969265 310444032 63007 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 303168 KiB
Current children cumulated memory: 252028 KiB
[startup+12.7004 s]
/proc/loadavg: 5.02 4.69 4.31 6/256 185585
/proc/meminfo: memFree=98410436/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=303828 memory=252796 CPUtime=14.86 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 159757 0 0 0 1462 24 0 0 20 0 2 0 238969262 311119872 63199 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 75957 63199 672 633 0 64646 0
[pid=185583/tid=185585] ppid=185580 vsize=303828 memory=252796 CPUtime=2.31 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 7372 0 0 0 226 5 0 0 20 0 2 0 238969265 311119872 63199 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 14.86 s
Current children cumulated vsize: 303828 KiB
Current children cumulated memory: 252796 KiB
[startup+25.5003 s]
/proc/loadavg: 5.09 4.72 4.33 7/256 185585
/proc/meminfo: memFree=98406884/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=304752 memory=253692 CPUtime=30.14 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 217563 0 0 0 2985 29 0 0 20 0 2 0 238969262 312066048 63423 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 76188 63423 672 633 0 64877 0
[pid=185583/tid=185585] ppid=185580 vsize=304752 memory=253308 CPUtime=4.88 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) R 185580 185583 185383 0 -1 4194368 9414 0 0 0 482 6 0 0 20 0 2 0 238969265 312066048 63423 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 30.14 s
Current children cumulated vsize: 304752 KiB
Current children cumulated memory: 253692 KiB
[startup+51.1135 s]
/proc/loadavg: 5.13 4.76 4.35 6/256 185586
/proc/meminfo: memFree=98406804/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=306600 memory=255484 CPUtime=59.11 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 274268 0 0 0 5877 34 0 0 20 0 2 0 238969262 313958400 63871 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 76650 63871 672 633 0 65339 0
[pid=185583/tid=185585] ppid=185580 vsize=306600 memory=255484 CPUtime=8.41 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 10826 0 0 0 834 7 0 0 20 0 2 0 238969265 313958400 63871 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 59.11 s
Current children cumulated vsize: 306600 KiB
Current children cumulated memory: 255484 KiB
[startup+102.3 s]
/proc/loadavg: 5.13 4.82 4.39 5/256 185587
/proc/meminfo: memFree=98414460/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=308976 memory=257916 CPUtime=120.89 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 309348 0 0 0 12047 42 0 0 20 0 2 0 238969262 316391424 64479 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 77244 64479 672 633 0 65933 0
[pid=185583/tid=185585] ppid=185580 vsize=308976 memory=256764 CPUtime=19.38 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 11669 0 0 0 1927 11 0 0 20 0 2 0 238969265 316391424 64479 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 120.89 s
Current children cumulated vsize: 308976 KiB
Current children cumulated memory: 257916 KiB
[startup+162.3 s]
/proc/loadavg: 4.96 4.82 4.42 6/256 185591
/proc/meminfo: memFree=98411268/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=312224 memory=261132 CPUtime=193.52 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 371492 0 0 0 19300 52 0 0 20 0 2 0 238969262 319717376 65283 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78056 65283 672 633 0 66745 0
[pid=185583/tid=185585] ppid=185580 vsize=312224 memory=258956 CPUtime=32.49 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 13434 0 0 0 3233 16 0 0 20 0 2 0 238969265 319717376 65283 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 193.52 s
Current children cumulated vsize: 312224 KiB
Current children cumulated memory: 261132 KiB
[startup+222.3 s]
/proc/loadavg: 4.95 4.84 4.46 5/255 185597
/proc/meminfo: memFree=98400184/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=312224 memory=261132 CPUtime=260.66 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 400821 0 0 0 26007 59 0 0 20 0 2 0 238969262 319717376 65283 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78056 65283 672 633 0 66745 0
[pid=185583/tid=185585] ppid=185580 vsize=312224 memory=261132 CPUtime=39.96 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 13645 0 0 0 3978 18 0 0 20 0 2 0 238969265 319717376 65283 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 260.66 s
Current children cumulated vsize: 312224 KiB
Current children cumulated memory: 261132 KiB
[startup+282.3 s]
/proc/loadavg: 4.81 4.81 4.47 6/256 185600
/proc/meminfo: memFree=98407892/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=312620 memory=261388 CPUtime=320.67 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 405493 0 0 0 32007 60 0 0 20 0 2 0 238969262 320122880 65347 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78155 65347 672 633 0 66844 0
[pid=185583/tid=185585] ppid=185580 vsize=312620 memory=-8825574896400623199 CPUtime=40.22 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 13655 0 0 0 4004 18 0 0 20 0 2 0 238969265 320122880 65347 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 320.67 s
Current children cumulated vsize: 312620 KiB
################
# More data... #
################
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 320122880 65827 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2362.95 s
Current children cumulated vsize: 312620 KiB
Current children cumulated memory: 263308 KiB
[startup+2142.3 s]
/proc/loadavg: 4.73 4.73 4.82 7/255 185784
/proc/meminfo: memFree=98152336/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=313280 memory=263948 CPUtime=2422.74 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 474280 0 0 0 242100 174 0 0 20 0 2 0 238969262 320798720 65987 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78320 65987 672 633 0 67009 0
[pid=185583/tid=185585] ppid=185580 vsize=313280 memory=263308 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 320798720 65987 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2422.74 s
Current children cumulated vsize: 313280 KiB
Current children cumulated memory: 263948 KiB
[startup+2202.3 s]
/proc/loadavg: 4.64 4.71 4.81 6/255 185787
/proc/meminfo: memFree=98135268/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=313280 memory=263948 CPUtime=2482.54 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 476028 0 0 0 248079 175 0 0 20 0 2 0 238969262 320798720 65987 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78320 65987 672 633 0 67009 0
[pid=185583/tid=185585] ppid=185580 vsize=313280 memory=263308 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 320798720 65987 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2482.54 s
Current children cumulated vsize: 313280 KiB
Current children cumulated memory: 263948 KiB
[startup+2262.3 s]
/proc/loadavg: 4.60 4.69 4.80 5/255 185789
/proc/meminfo: memFree=98125884/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=313412 memory=264076 CPUtime=2542.35 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 477813 0 0 0 254059 176 0 0 20 0 2 0 238969262 320933888 66019 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78353 66019 672 633 0 67042 0
[pid=185583/tid=185585] ppid=185580 vsize=313412 memory=14336 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 320933888 66019 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2542.35 s
Current children cumulated vsize: 313412 KiB
Current children cumulated memory: 264076 KiB
[startup+2322.3 s]
/proc/loadavg: 4.79 4.73 4.81 5/255 185790
/proc/meminfo: memFree=98120236/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314204 memory=264844 CPUtime=2602.14 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 480097 0 0 0 260037 177 0 0 20 0 2 0 238969262 321744896 66211 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78551 66211 672 633 0 67240 0
[pid=185583/tid=185585] ppid=185580 vsize=314204 memory=27776 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 321744896 66211 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2602.14 s
Current children cumulated vsize: 314204 KiB
Current children cumulated memory: 264844 KiB
[startup+2378.49 s]
# the end of solver process 185583 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2656.36 s, system=1.80813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 4.73 4.72 4.80 5/255 185791
/proc/meminfo: memFree=98120504/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314204 memory=264844 CPUtime=2609.42 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 480099 0 0 0 260765 177 0 0 20 0 2 0 238969262 321744896 66211 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78551 66211 672 633 0 67240 0
[pid=185583/tid=185585] ppid=185580 vsize=314204 memory=264844 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 321744896 66211 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2609.42 s
Current children cumulated vsize: 314204 KiB
Current children cumulated memory: 264844 KiB
[startup+2355.2 s]
/proc/loadavg: 4.63 4.70 4.79 5/254 185792
/proc/meminfo: memFree=98122772/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2634.94 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482064 0 0 0 263316 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=263948 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2634.94 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2368 s]*
/proc/loadavg: 4.64 4.69 4.79 5/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2647.71 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482156 0 0 0 264593 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=-8681459682588386911 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2647.71 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2374.4 s]
/proc/loadavg: 4.59 4.68 4.79 7/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2654.08 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482161 0 0 0 265230 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=14336 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2654.08 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2376 s]*
/proc/loadavg: 4.62 4.69 4.79 5/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2655.68 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482161 0 0 0 265390 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=-8681459682588386911 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2655.68 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2377.6 s]
/proc/loadavg: 4.62 4.69 4.79 5/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2657.27 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482161 0 0 0 265549 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=265100 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2657.27 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2378 s]*
/proc/loadavg: 4.62 4.69 4.79 7/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=314468 memory=265100 CPUtime=2657.68 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 482161 0 0 0 265590 178 0 0 20 0 2 0 238969262 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 78617 66275 672 633 0 67306 0
[pid=185583/tid=185585] ppid=185580 vsize=314468 memory=-8681459682588386911 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 322015232 66275 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2657.68 s
Current children cumulated vsize: 314468 KiB
Current children cumulated memory: 265100 KiB
[startup+2378.4 s]
/proc/loadavg: 4.62 4.69 4.79 7/254 185792
/proc/meminfo: memFree=98123780/131382116 swapFree=33010684/33010684
[pid=185583] ppid=185580 vsize=324228 memory=274956 CPUtime=2658.07 cores=4,6
/proc/185583/stat : 185583 (pb_competition_) R 185580 185583 185383 0 -1 4194304 489532 0 0 0 265628 179 0 0 20 0 2 0 238969262 332009472 68739 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
/proc/185583/statm: 81057 68739 672 633 0 69746 0
[pid=185583/tid=185585] ppid=185580 vsize=324228 memory=265100 CPUtime=293.24 cores=4,6
/proc/185583/task/185585/stat : 185585 (pb_competition_) S 185580 185583 185383 0 -1 4194368 14755 0 0 0 29225 99 0 0 20 0 2 0 238969265 332009472 68739 18446744073709551615 4198400 6788177 140733161182112 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 17235968 140733161183576 140733161183702 140733161183702 140733161189306 0
Current children cumulated CPU time: 2658.07 s
Current children cumulated vsize: 324228 KiB
Current children cumulated memory: 274956 KiB
Child status: 0
Real time (s): 2378.49
CPU time (s): 2658.17
CPU user time (s): 2656.36
CPU system time (s): 1.80813
CPU usage (%): 111.758
Max. virtual memory (cumulated for all children) (KiB): 324228
Max. memory (cumulated for all children) (KiB): 274956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2656.36
system time used= 1.80813
maximum resident set size= 274956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501357
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= 60313
involuntary context switches= 13815
# summary of solver processes directly reported to runsolver:
# pid: 185583
# total CPU time (s): 2658.17
# total CPU user time (s): 2656.36
# total CPU system time (s): 1.80813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3063 second user time and 24.1263 second system time
The end
Begin job on nodeC011 at 2025-07-23 03:08:15
IDJOB=4544762
IDBENCH=180682
IDSOLVER=3347
FILE ID=nodeC011/4544762-1753232895
RUNJOBID= nodeC011-1753232411-185394
SLURM_JOB_ID= 9687844
Free space on /tmp= 432784 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_11_triangular.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544762-1753232895/watcher-4544762-1753232895 -o /tmp/evaluation-result-4544762-1753232895/solver-4544762-1753232895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753232411-185394 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 898614450 HOME/instance-4544762-1753232895.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 28b091a882cede139727ea458f619a7b
RANDOM SEED=898614450
nodeC011 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.900
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 : 6984.20
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 : 3492.323
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 : 6984.20
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 : 3492.511
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 : 6984.20
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 : 1197.583
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 : 6984.20
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 : 1596.656
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 : 6984.20
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 : 3492.069
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 : 6984.20
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.292
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 : 6984.20
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 : 1197.653
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 98641408 kB
MemAvailable: 128948292 kB
Buffers: 3276 kB
Cached: 31076400 kB
SwapCached: 0 kB
Active: 1487724 kB
Inactive: 30560708 kB
Active(anon): 992832 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30558632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7928 kB
Writeback: 0 kB
AnonPages: 971828 kB
Mapped: 117160 kB
Shmem: 26152 kB
KReclaimable: 185588 kB
Slab: 279412 kB
SReclaimable: 185588 kB
SUnreclaim: 93824 kB
KernelStack: 4112 kB
PageTables: 4880 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1336324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 292864 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: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432780 MiB
End job on nodeC011 at 2025-07-23 03:47:54