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 (62644 MiB free)
memory of node 1: 64507 MiB (63600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545503-1753239822/watcher-4545503-1753239822 -o /tmp/evaluation-result-4545503-1753239822/solver-4545503-1753239822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753239822-167847 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 396771658 HOME/instance-4545503-1753239822.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
Starting watchdog thread
solver pid=167881, runsolver pid=167877
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 2.02 3.40 3.89 4/262 167894
/proc/meminfo: memFree=129211644/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=101720 memory=33936 CPUtime=0.13 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 7585 0 0 0 12 1 0 0 20 0 2 0 239660001 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 25430 8484 672 633 0 9944 0
[pid=167881/tid=167883] ppid=167877 vsize=101720 memory=4026532379 CPUtime=0.03 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 1686 0 0 0 3 0 0 0 20 0 2 0 239660002 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 33936 KiB
[startup+0.205558 s]*
/proc/loadavg: 2.02 3.40 3.89 5/262 167894
/proc/meminfo: memFree=129175668/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=101720 memory=33936 CPUtime=0.24 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 7585 0 0 0 23 1 0 0 20 0 2 0 239660001 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 25430 8484 672 633 0 9944 0
[pid=167881/tid=167883] ppid=167877 vsize=101720 memory=7948963745568010779 CPUtime=0.03 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 1686 0 0 0 3 0 0 0 20 0 2 0 239660002 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 33936 KiB
[startup+0.305449 s]*
/proc/loadavg: 2.02 3.40 3.89 5/262 167894
/proc/meminfo: memFree=129143412/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=101720 memory=33936 CPUtime=0.34 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 7585 0 0 0 33 1 0 0 20 0 2 0 239660001 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 25430 8484 672 633 0 9944 0
[pid=167881/tid=167883] ppid=167877 vsize=101720 memory=-8608841367634666593 CPUtime=0.03 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 1686 0 0 0 3 0 0 0 20 0 2 0 239660002 104161280 8484 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 33936 KiB
[startup+0.700177 s]
/proc/loadavg: 2.02 3.40 3.89 4/262 167894
/proc/meminfo: memFree=129119220/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=122052 memory=54236 CPUtime=0.8 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 20952 0 0 0 78 2 0 0 20 0 2 0 239660001 124981248 13559 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 30513 13559 672 633 0 15027 0
[pid=167881/tid=167883] ppid=167877 vsize=122052 memory=27648 CPUtime=0.12 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 1686 0 0 0 12 0 0 0 20 0 2 0 239660002 124981248 13463 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 54236 KiB
[startup+1.50018 s]
/proc/loadavg: 2.02 3.40 3.89 6/262 167894
/proc/meminfo: memFree=129071044/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=122180 memory=54364 CPUtime=2.2 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 43669 0 0 0 215 5 0 0 20 0 2 0 239660001 125112320 13591 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 30545 13591 672 633 0 15059 0
[pid=167881/tid=167883] ppid=167877 vsize=122180 memory=27648 CPUtime=0.72 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 1876 0 0 0 72 0 0 0 20 0 2 0 239660002 125112320 13591 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 122180 KiB
Current children cumulated memory: 54364 KiB
[startup+3.10548 s]
/proc/loadavg: 2.02 3.40 3.89 6/262 167894
/proc/meminfo: memFree=129062956/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=122728 memory=54852 CPUtime=4.46 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 78623 0 0 0 435 11 0 0 20 0 2 0 239660001 125673472 13713 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 30682 13713 672 633 0 15196 0
[pid=167881/tid=167883] ppid=167877 vsize=122728 memory=-8608841371946411105 CPUtime=1.38 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 2263 0 0 0 138 0 0 0 20 0 2 0 239660002 125673472 13713 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 122728 KiB
Current children cumulated memory: 54852 KiB
[startup+6.30018 s]
/proc/loadavg: 2.26 3.43 3.90 5/262 167894
/proc/meminfo: memFree=129063028/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=123088 memory=55384 CPUtime=9.23 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 210883 0 0 0 892 31 0 0 20 0 2 0 239660001 126042112 13846 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 30772 13846 672 633 0 15286 0
[pid=167881/tid=167883] ppid=167877 vsize=123088 memory=55456 CPUtime=2.99 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 2906 0 0 0 298 1 0 0 20 0 2 0 239660002 126042112 13846 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 123088 KiB
Current children cumulated memory: 55384 KiB
[startup+12.7002 s]
/proc/loadavg: 2.48 3.46 3.90 7/262 167894
/proc/meminfo: memFree=129063092/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=124992 memory=57200 CPUtime=18.8 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 484672 0 0 0 1801 79 0 0 20 0 2 0 239660001 127991808 14300 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 31248 14300 672 633 0 15762 0
[pid=167881/tid=167883] ppid=167877 vsize=124992 memory=56664 CPUtime=6.18 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 3310 0 0 0 616 2 0 0 20 0 2 0 239660002 127991808 14300 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 18.8 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 57200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.89 3.50 3.91 6/262 167894
/proc/meminfo: memFree=129038320/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=126084 memory=58172 CPUtime=38.61 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 859074 0 0 0 3716 145 0 0 20 0 2 0 239660001 129110016 14511 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 31521 14543 672 633 0 16035 0
[pid=167881/tid=167883] ppid=167877 vsize=126084 memory=14824 CPUtime=13.3 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 3316 0 0 0 1326 4 0 0 20 0 2 0 239660002 129110016 14543 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 38.61 s
Current children cumulated vsize: 126084 KiB
Current children cumulated memory: 58172 KiB
[startup+51.1054 s]
/proc/loadavg: 3.67 3.64 3.95 6/262 167894
/proc/meminfo: memFree=129038740/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=127972 memory=60188 CPUtime=79.05 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 2234760 0 0 0 7541 364 0 0 20 0 2 0 239660001 131043328 15047 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 31993 15047 672 633 0 16507 0
[pid=167881/tid=167883] ppid=167877 vsize=127972 memory=59936 CPUtime=28.32 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 3404 0 0 0 2824 8 0 0 20 0 2 0 239660002 131043328 15047 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 79.05 s
Current children cumulated vsize: 127972 KiB
Current children cumulated memory: 60188 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.77 3.98 6/263 167901
/proc/meminfo: memFree=129037668/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=128684 memory=61032 CPUtime=159.46 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 5728726 0 0 0 15051 895 0 0 20 0 2 0 239660001 131772416 15258 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 32171 15258 672 633 0 16685 0
[pid=167881/tid=167883] ppid=167877 vsize=128684 memory=60876 CPUtime=57.9 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 3853 0 0 0 5772 18 0 0 20 0 2 0 239660002 131772416 15258 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 159.46 s
Current children cumulated vsize: 128684 KiB
Current children cumulated memory: 61032 KiB
[startup+162.3 s]
/proc/loadavg: 4.64 3.98 4.04 5/264 167904
/proc/meminfo: memFree=129025792/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=131252 memory=63468 CPUtime=255.46 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 9546147 0 0 0 24067 1479 0 0 20 0 2 0 239660001 134402048 15867 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 32813 15867 672 633 0 17327 0
[pid=167881/tid=167883] ppid=167877 vsize=131252 memory=62500 CPUtime=94.33 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 4297 0 0 0 9405 28 0 0 20 0 2 0 239660002 134402048 15867 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 255.46 s
Current children cumulated vsize: 131252 KiB
Current children cumulated memory: 63468 KiB
[startup+222.3 s]
/proc/loadavg: 4.85 4.16 4.10 6/264 167906
/proc/meminfo: memFree=129027600/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=133464 memory=65576 CPUtime=351.24 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 13409232 0 0 0 33056 2068 0 0 20 0 2 0 239660001 136667136 16394 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 33366 16394 672 633 0 17880 0
[pid=167881/tid=167883] ppid=167877 vsize=133464 memory=64604 CPUtime=130.53 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 4297 0 0 0 13013 40 0 0 20 0 2 0 239660002 136667136 16394 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 351.24 s
Current children cumulated vsize: 133464 KiB
Current children cumulated memory: 65576 KiB
[startup+282.3 s]
/proc/loadavg: 4.96 4.31 4.15 6/265 167909
/proc/meminfo: memFree=129004420/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=135020 memory=67208 CPUtime=452.41 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 14780147 0 0 0 42936 2305 0 0 20 0 2 0 239660001 138260480 16802 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 33755 16802 672 633 0 18269 0
[pid=167881/tid=167883] ppid=167877 vsize=135020 memory=66372 CPUtime=172.12 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 4341 0 0 0 17162 50 0 0 20 0 2 0 239660002 138260480 16802 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 452.41 s
Current children cumulated vsize: 135020 KiB
Current children cumulated memory: 67208 KiB
################
# More data... #
################
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 4662 0 0 0 42492 128 0 0 20 0 2 0 239660002 150372352 19749 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1123.65 s
Current children cumulated vsize: 146848 KiB
Current children cumulated memory: 78996 KiB
[startup+762.3 s]
/proc/loadavg: 4.75 4.68 4.41 6/262 167933
/proc/meminfo: memFree=128985872/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147660 memory=79504 CPUtime=1221.5 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 38760334 0 0 0 116186 5964 0 0 20 0 2 0 239660001 151203840 19876 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36915 19876 672 633 0 21429 0
[pid=167881/tid=167883] ppid=167877 vsize=147660 memory=79504 CPUtime=464.43 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 4933 0 0 0 46303 140 0 0 20 0 2 0 239660002 151203840 19876 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1221.5 s
Current children cumulated vsize: 147660 KiB
Current children cumulated memory: 79504 KiB
[startup+822.3 s]
/proc/loadavg: 4.83 4.73 4.45 6/262 167935
/proc/meminfo: memFree=128986736/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147792 memory=79712 CPUtime=1321.35 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 38761369 0 0 0 126129 6006 0 0 20 0 2 0 239660001 151339008 19928 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36948 19928 672 633 0 21462 0
[pid=167881/tid=167883] ppid=167877 vsize=147792 memory=79632 CPUtime=504.65 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 4933 0 0 0 50312 153 0 0 20 0 2 0 239660002 151339008 19928 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1321.35 s
Current children cumulated vsize: 147792 KiB
Current children cumulated memory: 79712 KiB
[startup+882.3 s]
/proc/loadavg: 4.65 4.70 4.46 5/262 167937
/proc/meminfo: memFree=128978260/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147924 memory=79840 CPUtime=1420.38 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 38762169 0 0 0 135994 6044 0 0 20 0 2 0 239660001 151474176 19960 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36981 19960 672 633 0 21495 0
[pid=167881/tid=167883] ppid=167877 vsize=147924 memory=79632 CPUtime=544.07 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 4995 0 0 0 54238 169 0 0 20 0 2 0 239660002 151474176 19960 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1420.38 s
Current children cumulated vsize: 147924 KiB
Current children cumulated memory: 79840 KiB
[startup+942.3 s]
/proc/loadavg: 4.75 4.71 4.47 7/260 167939
/proc/meminfo: memFree=128974112/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147252 memory=79368 CPUtime=1516.85 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 40325528 0 0 0 145366 6319 0 0 20 0 2 0 239660001 150786048 19842 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36813 19842 672 633 0 21327 0
[pid=167881/tid=167883] ppid=167877 vsize=147252 memory=79368 CPUtime=580.94 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5073 0 0 0 57914 180 0 0 20 0 2 0 239660002 150786048 19842 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1516.85 s
Current children cumulated vsize: 147252 KiB
Current children cumulated memory: 79368 KiB
[startup+997.874 s]
# the end of solver process 167881 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1538.75 s, system=66.3849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.69 4.70 4.47 6/260 167939
/proc/meminfo: memFree=128974144/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147292 memory=79408 CPUtime=1524.69 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 40516512 0 0 0 146120 6349 0 0 20 0 2 0 239660001 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36823 19852 672 633 0 21337 0
[pid=167881/tid=167883] ppid=167877 vsize=147292 memory=5760 CPUtime=583.9 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5073 0 0 0 58209 181 0 0 20 0 2 0 239660002 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1524.69 s
Current children cumulated vsize: 147292 KiB
Current children cumulated memory: 79408 KiB
[startup+972.8 s]
/proc/loadavg: 4.71 4.71 4.48 5/260 167940
/proc/meminfo: memFree=128974308/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147812 memory=79792 CPUtime=1566.03 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 41462791 0 0 0 150103 6500 0 0 20 0 2 0 239660001 151359488 19948 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36953 19948 672 633 0 21467 0
[pid=167881/tid=167883] ppid=167877 vsize=147812 memory=5760 CPUtime=599.81 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5073 0 0 0 59795 186 0 0 20 0 2 0 239660002 151359488 19948 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1566.03 s
Current children cumulated vsize: 147812 KiB
Current children cumulated memory: 79792 KiB
[startup+985.6 s]
/proc/loadavg: 4.78 4.72 4.49 6/260 167941
/proc/meminfo: memFree=128974868/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147292 memory=79408 CPUtime=1585.4 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 41942869 0 0 0 151970 6570 0 0 20 0 2 0 239660001 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36823 19852 672 633 0 21337 0
[pid=167881/tid=167883] ppid=167877 vsize=147292 memory=79920 CPUtime=606.45 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) S 167877 167881 166535 0 -1 4194368 5128 0 0 0 60457 188 0 0 20 0 2 0 239660002 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1585.4 s
Current children cumulated vsize: 147292 KiB
Current children cumulated memory: 79408 KiB
[startup+992 s]*
/proc/loadavg: 4.80 4.73 4.49 6/260 167941
/proc/meminfo: memFree=128974640/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147292 memory=79408 CPUtime=1595.72 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) S 167877 167881 166535 0 -1 4194304 42168745 0 0 0 152964 6608 0 0 20 0 2 0 239660001 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36823 19852 672 633 0 21337 0
[pid=167881/tid=167883] ppid=167877 vsize=147292 memory=-8608841367634666593 CPUtime=610.41 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5128 0 0 0 60852 189 0 0 20 0 2 0 239660002 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1595.72 s
Current children cumulated vsize: 147292 KiB
Current children cumulated memory: 79408 KiB
[startup+995.2 s]
/proc/loadavg: 4.89 4.75 4.50 7/260 167941
/proc/meminfo: memFree=128974640/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147524 memory=79640 CPUtime=1600.87 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 42252261 0 0 0 153463 6624 0 0 20 0 2 0 239660001 151064576 19910 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36881 19910 672 633 0 21395 0
[pid=167881/tid=167883] ppid=167877 vsize=147524 memory=79408 CPUtime=612.39 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5128 0 0 0 61049 190 0 0 20 0 2 0 239660002 151064576 19910 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1600.87 s
Current children cumulated vsize: 147524 KiB
Current children cumulated memory: 79640 KiB
[startup+996.8 s]
/proc/loadavg: 4.89 4.75 4.50 6/260 167941
/proc/meminfo: memFree=128974640/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147524 memory=79408 CPUtime=1603.44 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 42313872 0 0 0 153710 6634 0 0 20 0 2 0 239660001 151064576 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36881 19852 672 633 0 21395 0
[pid=167881/tid=167883] ppid=167877 vsize=147524 memory=27648 CPUtime=613.36 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5128 0 0 0 61146 190 0 0 20 0 2 0 239660002 151064576 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1603.44 s
Current children cumulated vsize: 147524 KiB
Current children cumulated memory: 79408 KiB
[startup+997.6 s]
/proc/loadavg: 4.89 4.75 4.50 6/260 167941
/proc/meminfo: memFree=128973884/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147464 memory=79408 CPUtime=1604.72 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 42328341 0 0 0 153836 6636 0 0 20 0 2 0 239660001 151003136 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36866 19852 672 633 0 21380 0
[pid=167881/tid=167883] ppid=167877 vsize=147464 memory=5760 CPUtime=613.84 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5128 0 0 0 61194 190 0 0 20 0 2 0 239660002 151003136 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1604.72 s
Current children cumulated vsize: 147464 KiB
Current children cumulated memory: 79408 KiB
[startup+997.8 s]
/proc/loadavg: 4.89 4.75 4.50 6/260 167941
/proc/meminfo: memFree=128973884/131249996 swapFree=33010416/33010684
[pid=167881] ppid=167877 vsize=147292 memory=79408 CPUtime=1605.04 cores=4,6
/proc/167881/stat : 167881 (pb_competition_) R 167877 167881 166535 0 -1 4194304 42332494 0 0 0 153866 6638 0 0 20 0 2 0 239660001 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
/proc/167881/statm: 36823 19852 672 633 0 21337 0
[pid=167881/tid=167883] ppid=167877 vsize=147292 memory=1792 CPUtime=613.96 cores=4,6
/proc/167881/task/167883/stat : 167883 (pb_competition_) R 167877 167881 166535 0 -1 4194368 5128 0 0 0 61206 190 0 0 20 0 2 0 239660002 150827008 19852 18446744073709551615 4198400 6788177 140723944776320 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16261120 140723944782168 140723944782294 140723944782294 140723944787898 0
Current children cumulated CPU time: 1605.04 s
Current children cumulated vsize: 147292 KiB
Current children cumulated memory: 79408 KiB
Child status: 0
Real time (s): 997.874
CPU time (s): 1605.14
CPU user time (s): 1538.75
CPU system time (s): 66.3849
CPU usage (%): 160.856
Max. virtual memory (cumulated for all children) (KiB): 148076
Max. memory (cumulated for all children) (KiB): 80048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1538.75
system time used= 66.3849
maximum resident set size= 81304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42334150
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= 322958
involuntary context switches= 10296
# summary of solver processes directly reported to runsolver:
# pid: 167881
# total CPU time (s): 1605.14
# total CPU user time (s): 1538.75
# total CPU system time (s): 66.3849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35836 second user time and 2.99054 second system time
The end
Begin job on nodeC017 at 2025-07-23 05:03:42
IDJOB=4545503
IDBENCH=180906
IDSOLVER=3347
FILE ID=nodeC017/4545503-1753239822
RUNJOBID= nodeC017-1753239822-167847
SLURM_JOB_ID= 9687845
Free space on /tmp= 433048 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-Soccer-22-18-20-1_c24.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-4545503-1753239822/watcher-4545503-1753239822 -o /tmp/evaluation-result-4545503-1753239822/solver-4545503-1753239822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753239822-167847 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 396771658 HOME/instance-4545503-1753239822.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 00e748e1facf3af7122a1c82ef1f7099
RANDOM SEED=396771658
nodeC017 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 : 3616.773
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 : 7000.12
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 : 3602.009
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 : 7000.12
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 : 3600.087
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 : 7000.12
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 : 2065.241
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 : 7000.12
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 : 3600.129
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 : 7000.12
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 : 2979.592
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 : 7000.12
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 : 3600.277
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 : 7000.12
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 : 3700.000
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129285140 kB
MemAvailable: 129720420 kB
Buffers: 1688 kB
Cached: 1202204 kB
SwapCached: 32 kB
Active: 1046996 kB
Inactive: 228492 kB
Active(anon): 73728 kB
Inactive(anon): 24108 kB
Active(file): 973268 kB
Inactive(file): 204384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8512 kB
Writeback: 4 kB
AnonPages: 73636 kB
Mapped: 108632 kB
Shmem: 26240 kB
KReclaimable: 193336 kB
Slab: 289396 kB
SReclaimable: 193336 kB
SUnreclaim: 96060 kB
KernelStack: 4096 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC017 at 2025-07-23 05:20:20