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: 63708 MiB (53912 MiB free)
memory of node 1: 64465 MiB (58623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515427-1751234138/watcher-4515427-1751234138 -o /tmp/evaluation-result-4515427-1751234138/solver-4515427-1751234138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515427-1751234138 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515427-1751234138.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=35150, runsolver pid=35147
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.73 4.27 4.10 5/341 35168
/proc/meminfo: memFree=115219136/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=18930384 memory=58008 CPUtime=0.13 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 6602 0 0 0 11 2 0 0 20 0 18 0 39093187 19384713216 14502 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4732596 14502 5368 1 0 547641 0
[pid=35150/tid=35152] ppid=35147 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 5098 0 0 0 7 1 0 0 20 0 18 0 39093188 19384713216 14502 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 14502 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=18930384 memory=60684515952020 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 14502 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58008 KiB
[startup+0.205672 s]*
/proc/loadavg: 4.73 4.27 4.10 6/341 35168
/proc/meminfo: memFree=115206848/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=18930384 memory=74220 CPUtime=0.33 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 7831 0 0 0 30 3 0 0 20 0 18 0 39093187 19384713216 18555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4732596 18555 5432 1 0 548508 0
[pid=35150/tid=35152] ppid=35147 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 5280 0 0 0 15 2 0 0 20 0 18 0 39093188 19384713216 18555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 18555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 18555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74220 KiB
[startup+0.305698 s]*
/proc/loadavg: 4.73 4.27 4.10 6/341 35168
/proc/meminfo: memFree=115170048/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=18930384 memory=109588 CPUtime=0.52 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 8764 0 0 0 48 4 0 0 20 0 18 0 39093187 19384713216 27397 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4732596 27397 5432 1 0 548999 0
[pid=35150/tid=35152] ppid=35147 vsize=18930384 memory=-6000919477018519404 CPUtime=0.24 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 5298 0 0 0 22 2 0 0 20 0 18 0 39093188 19384713216 27397 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 27397 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39093190 19384713216 27397 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109588 KiB
[startup+0.701825 s]
/proc/loadavg: 4.73 4.27 4.10 6/342 35169
/proc/meminfo: memFree=115112836/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=18996948 memory=162356 CPUtime=1.28 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 11948 0 0 0 122 6 0 0 20 0 19 0 39093187 19452874752 40589 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4749237 40589 5432 1 0 551490 0
[pid=35150/tid=35152] ppid=35147 vsize=18996948 memory=18048 CPUtime=0.54 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 5397 0 0 0 51 3 0 0 20 0 19 0 39093188 19452874752 40589 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39093190 19452874752 40589 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39093190 19452874752 40589 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39093227 19452874752 40589 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162356 KiB
[startup+1.50024 s]
/proc/loadavg: 4.73 4.27 4.10 6/343 35170
/proc/meminfo: memFree=114916484/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=199148 CPUtime=2.86 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 20508 0 0 0 278 8 0 0 20 0 20 0 39093187 19521036288 49787 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 49787 5464 1 0 553616 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=0 CPUtime=1.28 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 5819 0 0 0 124 4 0 0 20 0 20 0 39093188 19521036288 49787 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 49787 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 49787 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 49787 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199148 KiB
[startup+3.10574 s]
/proc/loadavg: 4.76 4.28 4.10 5/346 35173
/proc/meminfo: memFree=114748184/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=202220 CPUtime=5.13 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 22614 0 0 0 502 11 0 0 20 0 20 0 39093187 19521036288 50555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 50555 5496 1 0 554115 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=10752 CPUtime=2.8 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 6193 0 0 0 274 6 0 0 20 0 20 0 39093188 19521036288 50555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 50555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 50555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 50555 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202220 KiB
[startup+6.30022 s]
/proc/loadavg: 4.76 4.28 4.10 5/346 35173
/proc/meminfo: memFree=113685352/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=643384 CPUtime=8.34 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 23211 0 0 0 811 23 0 0 20 0 20 0 39093187 19521036288 160846 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 160846 5496 1 0 660655 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=0 CPUtime=5.93 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 6452 0 0 0 576 17 0 0 20 0 20 0 39093188 19521036288 160846 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 160846 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 160846 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=201580 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 160846 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 643384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.64 4.27 4.10 5/346 35173
/proc/meminfo: memFree=111286860/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=823724 CPUtime=14.77 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 24626 0 0 0 1444 33 0 0 20 0 20 0 39093187 19521036288 205931 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 205931 5496 1 0 660657 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=201580 CPUtime=12.27 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 7570 0 0 0 1201 26 0 0 20 0 20 0 39093188 19521036288 205931 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=749916 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 205931 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 205931 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 205931 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 14.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 823724 KiB
[startup+16.5836 s]
# the end of solver process 35150 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=18.4004 s, system=0.39854 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.64 4.27 4.10 5/346 35173
/proc/meminfo: memFree=111286860/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864704 CPUtime=14.89 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 25553 0 0 0 1456 33 0 0 20 0 20 0 39093187 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216176 5496 1 0 660659 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=12.34 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 7571 0 0 0 1208 26 0 0 20 0 20 0 39093188 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=6912 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=214584 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864704 KiB
[startup+14.4002 s]
/proc/loadavg: 4.64 4.27 4.10 5/346 35173
/proc/meminfo: memFree=111084964/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864704 CPUtime=16.51 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 27293 0 0 0 1616 35 0 0 20 0 20 0 39093187 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216176 5496 1 0 660659 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=0 CPUtime=13.92 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 7606 0 0 0 1365 27 0 0 20 0 20 0 39093188 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=7092 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=5744 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864704 KiB
[startup+15.2002 s]
/proc/loadavg: 4.64 4.27 4.10 5/346 35173
/proc/meminfo: memFree=110877088/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864704 CPUtime=17.31 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 27294 0 0 0 1694 37 0 0 20 0 20 0 39093187 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216176 5496 1 0 660659 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=14.72 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 7606 0 0 0 1443 29 0 0 20 0 20 0 39093188 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 17.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864704 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.64 4.27 4.10 7/346 35173
/proc/meminfo: memFree=110304416/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864704 CPUtime=18.11 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 27383 0 0 0 1774 37 0 0 20 0 20 0 39093187 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216176 5496 1 0 660659 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=15.52 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 7695 0 0 0 1523 29 0 0 20 0 20 0 39093188 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=-6623557824597615527 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=-7879749704144776324 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216176 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 18.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864704 KiB
[startup+16.4002 s]
/proc/loadavg: 4.64 4.27 4.10 7/346 35173
/proc/meminfo: memFree=110304416/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864832 CPUtime=18.55 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 29242 0 0 0 1817 38 0 0 20 0 20 0 39093187 19521036288 216208 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216208 5496 1 0 660711 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=15.91 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) R 35147 35150 34474 0 -1 4194368 8739 0 0 0 1561 30 0 0 20 0 20 0 39093188 19521036288 216208 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216208 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216208 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216208 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 18.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864832 KiB
[startup+16.5002 s]
/proc/loadavg: 4.64 4.27 4.10 7/346 35173
/proc/meminfo: memFree=110304416/131250000 swapFree=33010684/33010684
[pid=35150] ppid=35147 vsize=19063512 memory=864960 CPUtime=18.66 cores=5,7
/proc/35150/stat : 35150 (java) S 35147 35150 34474 0 -1 4194304 31241 0 0 0 1827 39 0 0 20 0 20 0 39093187 19521036288 216240 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
/proc/35150/statm: 4765878 216240 5496 1 0 660711 0
[pid=35150/tid=35152] ppid=35147 vsize=19063512 memory=201580 CPUtime=15.92 cores=5,7
/proc/35150/task/35152/stat : 35152 (java) D 35147 35150 34474 0 -1 4194368 8739 0 0 0 1561 31 0 0 20 0 20 0 39093188 19521036288 216240 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35161] ppid=35147 vsize=19063512 memory=177324 CPUtime=0 cores=5,7
/proc/35150/task/35161/stat : 35161 (Finalizer) S 35147 35150 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216240 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35168] ppid=35147 vsize=19063512 memory=-6000919477018519404 CPUtime=0 cores=5,7
/proc/35150/task/35168/stat : 35168 (Common-Cleaner) S 35147 35150 34474 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39093190 19521036288 216240 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
[pid=35150/tid=35169] ppid=35147 vsize=19063512 memory=864704 CPUtime=0 cores=5,7
/proc/35150/task/35169/stat : 35169 (Timer-0) S 35147 35150 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39093227 19521036288 216240 18446744073709551615 94737234296832 94737234300528 140729949029040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737234308344 94737234309136 94737258041344 140729949034800 140729949034982 140729949034982 140729949040584 0
Current children cumulated CPU time: 18.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 864960 KiB
Child status: 20
Real time (s): 16.5836
CPU time (s): 18.7989
CPU user time (s): 18.4004
CPU system time (s): 0.39854
CPU usage (%): 113.358
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 864960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4004
system time used= 0.39854
maximum resident set size= 865728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 174504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5289
involuntary context switches= 1967
# summary of solver processes directly reported to runsolver:
# pid: 35150
# total CPU time (s): 18.7989
# total CPU user time (s): 18.4004
# total CPU system time (s): 0.39854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059271 second user time and 0.099519 second system time
The end
Begin job on nodeC033 at 2025-06-29 23:55:38
IDJOB=4515427
IDBENCH=165256
IDSOLVER=3364
FILE ID=nodeC033/4515427-1751234138
RUNJOBID= nodeC033-1751234104-34968
SLURM_JOB_ID= 9587701
Free space on /tmp= 432764 MiB
SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515427-1751234138/watcher-4515427-1751234138 -o /tmp/evaluation-result-4515427-1751234138/solver-4515427-1751234138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515427-1751234138 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515427-1751234138.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 220c3fd455f868773072e11b99a8330e
RANDOM SEED=669274995
nodeC033 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 : 3600.068
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.13
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 : 3600.078
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.13
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 : 3622.506
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.13
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 : 3576.371
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.13
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.087
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.13
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 : 3601.154
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.13
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.618
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 115235840 kB
MemAvailable: 118615032 kB
Buffers: 3280 kB
Cached: 4180920 kB
SwapCached: 0 kB
Active: 11374564 kB
Inactive: 3921392 kB
Active(anon): 11130008 kB
Inactive(anon): 0 kB
Active(file): 244556 kB
Inactive(file): 3921392 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 862392 kB
Writeback: 0 kB
AnonPages: 11114988 kB
Mapped: 123736 kB
Shmem: 18120 kB
KReclaimable: 104968 kB
Slab: 219888 kB
SReclaimable: 104968 kB
SUnreclaim: 114920 kB
KernelStack: 5232 kB
PageTables: 25448 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 24974996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 151432 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10887168 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432764 MiB
End job on nodeC033 at 2025-06-29 23:55:54