runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62748 MiB free)
memory of node 1: 64465 MiB (63118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499094-1751394673/watcher-4499094-1751394673 -o /tmp/evaluation-result-4499094-1751394673/solver-4499094-1751394673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751394261-53046 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1677539056 --competition_mode --input HOME/instance-4499094-1751394673.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=53653, runsolver pid=53650
[startup+0.100097 s]*
/proc/loadavg: 7.09 6.07 4.99 8/256 53654
/proc/meminfo: memFree=128886896/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=19612 memory=16456 CPUtime=0.1 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) R 53650 53653 53034 0 -1 4194304 2905 0 0 0 10 0 0 0 20 0 1 0 55146662 20082688 4114 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 4903 4114 1856 2102 0 2443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19612 KiB
Current children cumulated memory: 16456 KiB
[startup+0.212933 s]*
/proc/loadavg: 7.09 6.07 4.99 8/256 53654
/proc/meminfo: memFree=128884096/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=19612 memory=16584 CPUtime=0.21 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) R 53650 53653 53034 0 -1 4194304 2909 0 0 0 21 0 0 0 20 0 1 0 55146662 20082688 4146 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 4903 4146 1888 2102 0 2443 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19612 KiB
Current children cumulated memory: 16584 KiB
[startup+0.312701 s]*
/proc/loadavg: 7.09 6.07 4.99 8/256 53654
/proc/meminfo: memFree=128882584/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=19612 memory=16968 CPUtime=0.31 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) R 53650 53653 53034 0 -1 4194304 2978 0 0 0 31 0 0 0 20 0 1 0 55146662 20082688 4242 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 4903 4242 1920 2102 0 2443 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19612 KiB
Current children cumulated memory: 16968 KiB
[startup+0.700309 s]
/proc/loadavg: 7.09 6.07 4.99 9/258 53656
/proc/meminfo: memFree=128874772/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=28104 CPUtime=0.92 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 5567 0 0 0 91 1 0 0 20 0 3 0 55146662 171151360 7026 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 7026 2144 2102 0 9400 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=11008 CPUtime=0.25 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 1235 0 0 0 25 0 0 0 20 0 3 0 55146702 171151360 7026 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=95061595 CPUtime=0.26 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 1345 0 0 0 26 0 0 0 20 0 3 0 55146702 171151360 7026 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 28104 KiB
[startup+1.50025 s]
/proc/loadavg: 7.09 6.07 4.99 9/258 53656
/proc/meminfo: memFree=128862676/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=37828 CPUtime=2.5 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 9951 0 0 0 248 2 0 0 20 0 3 0 55146662 171151360 9457 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 9457 2144 2102 0 12015 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=95061595 CPUtime=1.04 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 2867 0 0 0 103 1 0 0 20 0 3 0 55146702 171151360 9457 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=0 CPUtime=1.06 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 4080 0 0 0 106 0 0 0 20 0 3 0 55146702 171151360 9457 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 37828 KiB
[startup+3.10526 s]
/proc/loadavg: 7.09 6.07 4.99 9/258 53656
/proc/meminfo: memFree=128850836/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=45892 CPUtime=5.68 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 14291 0 0 0 565 3 0 0 20 0 3 0 55146662 171151360 11473 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 11473 2144 2102 0 14027 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=0 CPUtime=2.62 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 3608 0 0 0 261 1 0 0 20 0 3 0 55146702 171151360 11473 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=14352 CPUtime=2.66 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 7677 0 0 0 265 1 0 0 20 0 3 0 55146702 171151360 11473 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 45892 KiB
[startup+6.30021 s]
/proc/loadavg: 7.24 6.12 5.01 9/258 53656
/proc/meminfo: memFree=128841604/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=54212 CPUtime=12.04 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 31005 0 0 0 1199 5 0 0 20 0 3 0 55146662 171151360 13553 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 13553 2144 2102 0 16142 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=0 CPUtime=5.79 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 9155 0 0 0 577 2 0 0 20 0 3 0 55146702 171151360 13553 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=18176 CPUtime=5.84 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 18733 0 0 0 582 2 0 0 20 0 3 0 55146702 171151360 13553 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 12.04 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 54212 KiB
[startup+12.7002 s]
/proc/loadavg: 7.31 6.15 5.03 9/258 53656
/proc/meminfo: memFree=128791332/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=84036 CPUtime=24.75 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 52181 0 0 0 2467 8 0 0 20 0 3 0 55146662 171151360 21009 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 21009 2144 2102 0 23671 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=79556 CPUtime=12.12 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 19534 0 0 0 1208 4 0 0 20 0 3 0 55146702 171151360 21009 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=74564 CPUtime=12.22 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 29484 0 0 0 1219 3 0 0 20 0 3 0 55146702 171151360 21009 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 84036 KiB
[startup+25.5002 s]
/proc/loadavg: 7.46 6.24 5.08 9/258 53656
/proc/meminfo: memFree=128741936/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=111556 CPUtime=50.19 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 60723 0 0 0 5009 10 0 0 20 0 3 0 55146662 171151360 27889 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 27889 2144 2102 0 30628 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=-8183434674123741122 CPUtime=24.8 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 25481 0 0 0 2474 6 0 0 20 0 3 0 55146702 171151360 27889 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=47300 CPUtime=24.97 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 32076 0 0 0 2494 3 0 0 20 0 3 0 55146702 171151360 27889 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 50.19 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 111556 KiB
[startup+51.1052 s]
/proc/loadavg: 7.72 6.40 5.16 9/258 53657
/proc/meminfo: memFree=128733468/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=116932 CPUtime=101.07 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 100655 0 0 0 10092 15 0 0 20 0 3 0 55146662 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 29233 2144 2102 0 31945 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=14352 CPUtime=50.15 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 43518 0 0 0 5007 8 0 0 20 0 3 0 55146702 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=18176 CPUtime=50.49 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 53852 0 0 0 5043 6 0 0 20 0 3 0 55146702 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 101.07 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 116932 KiB
[startup+89.883 s]
# the end of solver process 53653 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=177.917 s, system=0.196242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 7.72 6.40 5.16 9/258 53657
/proc/meminfo: memFree=128733468/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=116932 CPUtime=101.26 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 100697 0 0 0 10111 15 0 0 20 0 3 0 55146662 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 29233 2144 2102 0 31945 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=11008 CPUtime=50.24 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 43556 0 0 0 5016 8 0 0 20 0 3 0 55146702 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=84292 CPUtime=50.59 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 53856 0 0 0 5053 6 0 0 20 0 3 0 55146702 171151360 29233 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 101.26 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 116932 KiB
[startup+76.8002 s]
/proc/loadavg: 7.82 6.53 5.24 9/258 53658
/proc/meminfo: memFree=128720104/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=120516 CPUtime=152.12 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 111808 0 0 0 15195 17 0 0 20 0 3 0 55146662 171151360 30129 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30129 2144 2102 0 32661 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=11008 CPUtime=75.59 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 46265 0 0 0 7551 8 0 0 20 0 3 0 55146702 171151360 30129 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=115140 CPUtime=76.1 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 62245 0 0 0 7602 8 0 0 20 0 3 0 55146702 171151360 30129 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 152.12 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 120516 KiB
[startup+83.2002 s]
/proc/loadavg: 7.83 6.55 5.25 9/258 53658
/proc/meminfo: memFree=128708468/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122180 CPUtime=164.83 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 122143 0 0 0 16465 18 0 0 20 0 3 0 55146662 171151360 30545 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30545 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=118852 CPUtime=81.93 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55300 0 0 0 8184 9 0 0 20 0 3 0 55146702 171151360 30545 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=120516 CPUtime=82.47 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63519 0 0 0 8239 8 0 0 20 0 3 0 55146702 171151360 30545 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 164.83 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122180 KiB
[startup+86.4002 s]
/proc/loadavg: 7.85 6.58 5.27 9/258 53658
/proc/meminfo: memFree=128708544/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122308 CPUtime=171.19 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 122908 0 0 0 17101 18 0 0 20 0 3 0 55146662 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30577 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=122052 CPUtime=85.1 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55686 0 0 0 8501 9 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=11008 CPUtime=85.66 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63898 0 0 0 8558 8 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 171.19 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122308 KiB
[startup+88.0002 s]*
/proc/loadavg: 7.85 6.58 5.27 9/258 53658
/proc/meminfo: memFree=128707796/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122308 CPUtime=174.38 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 123049 0 0 0 17420 18 0 0 20 0 3 0 55146662 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30577 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=-8183434674123741122 CPUtime=86.68 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55786 0 0 0 8659 9 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=7972 CPUtime=87.26 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63939 0 0 0 8718 8 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 174.38 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122308 KiB
[startup+88.8002 s]
/proc/loadavg: 7.85 6.58 5.27 9/258 53658
/proc/meminfo: memFree=128707796/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122308 CPUtime=175.96 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 123070 0 0 0 17578 18 0 0 20 0 3 0 55146662 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30577 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=3104 CPUtime=87.47 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55807 0 0 0 8738 9 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=3328 CPUtime=88.05 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63939 0 0 0 8797 8 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 175.96 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122308 KiB
[startup+89.6002 s]
/proc/loadavg: 7.86 6.60 5.28 9/258 53658
/proc/meminfo: memFree=128707796/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122308 CPUtime=177.56 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 123120 0 0 0 17737 19 0 0 20 0 3 0 55146662 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30577 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=116932 CPUtime=88.26 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55851 0 0 0 8817 9 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=122180 CPUtime=88.85 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63945 0 0 0 8877 8 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 177.56 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122308 KiB
[startup+89.8002 s]
/proc/loadavg: 7.86 6.60 5.28 9/258 53658
/proc/meminfo: memFree=128707796/131382116 swapFree=33010684/33010684
[pid=53653] ppid=53650 vsize=167140 memory=122308 CPUtime=177.96 cores=1,3
/proc/53653/stat : 53653 (cp-sat-runner) S 53650 53653 53034 0 -1 4194304 123122 0 0 0 17777 19 0 0 20 0 3 0 55146662 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
/proc/53653/statm: 41785 30577 2144 2102 0 33036 0
[pid=53653/tid=53655] ppid=53650 vsize=167140 memory=11008 CPUtime=88.46 cores=1,3
/proc/53653/task/53655/stat : 53655 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 55853 0 0 0 8837 9 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
[pid=53653/tid=53656] ppid=53650 vsize=167140 memory=5632 CPUtime=89.05 cores=1,3
/proc/53653/task/53656/stat : 53656 (cp-sat-runner) R 53650 53653 53034 0 -1 4194368 63945 0 0 0 8897 8 0 0 20 0 3 0 55146702 171151360 30577 18446744073709551615 4198400 12805993 140733233669472 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40062976 140733233678616 140733233678821 140733233678821 140733233684423 0
Current children cumulated CPU time: 177.96 s
Current children cumulated vsize: 167140 KiB
Current children cumulated memory: 122308 KiB
Child status: 10
Real time (s): 89.883
CPU time (s): 178.113
CPU user time (s): 177.917
CPU system time (s): 0.196242
CPU usage (%): 198.161
Max. virtual memory (cumulated for all children) (KiB): 167140
Max. memory (cumulated for all children) (KiB): 122308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.917
system time used= 0.196242
maximum resident set size= 122308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123391
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= 1254
involuntary context switches= 7557
# summary of solver processes directly reported to runsolver:
# pid: 53653
# total CPU time (s): 178.113
# total CPU user time (s): 177.917
# total CPU system time (s): 0.196242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.201732 second user time and 0.456801 second system time
The end
Begin job on nodeC010 at 2025-07-01 20:31:13
IDJOB=4499094
IDBENCH=148771
IDSOLVER=3320
FILE ID=nodeC010/4499094-1751394673
RUNJOBID= nodeC010-1751394261-53046
SLURM_JOB_ID= 9598262
Free space on /tmp= 432552 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499094-1751394673/watcher-4499094-1751394673 -o /tmp/evaluation-result-4499094-1751394673/solver-4499094-1751394673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751394261-53046 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1677539056 --competition_mode --input HOME/instance-4499094-1751394673.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1677539056
nodeC010 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.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.805
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.447
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 3591.441
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.439
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 3591.426
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.432
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128887652 kB
MemAvailable: 129553648 kB
Buffers: 3280 kB
Cached: 1472400 kB
SwapCached: 0 kB
Active: 777888 kB
Inactive: 1166092 kB
Active(anon): 486260 kB
Inactive(anon): 0 kB
Active(file): 291628 kB
Inactive(file): 1166092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12904 kB
Writeback: 12 kB
AnonPages: 471348 kB
Mapped: 130276 kB
Shmem: 17960 kB
KReclaimable: 95808 kB
Slab: 179460 kB
SReclaimable: 95808 kB
SUnreclaim: 83652 kB
KernelStack: 4112 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 879860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432540 MiB
End job on nodeC010 at 2025-07-01 20:32:43