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 (58010 MiB free)
memory of node 1: 64465 MiB (56645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547742-1753272570/watcher-4547742-1753272570 -o /tmp/evaluation-result-4547742-1753272570/solver-4547742-1753272570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753272569-181400 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4547742-1753272570.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=181465, runsolver pid=181451
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 0.40 0.16 0.74 2/265 181470
/proc/meminfo: memFree=117391564/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+0.205273 s]*
/proc/loadavg: 0.40 0.16 0.74 4/269 181478
/proc/meminfo: memFree=117352096/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=37448 memory=19072 CPUtime=0.08 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 4102 0 0 0 8 0 0 0 20 0 1 0 242935665 38346752 4768 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 9362 4768 736 2416 0 6464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 23296 KiB
[startup+0.30586 s]*
/proc/loadavg: 0.40 0.16 0.74 4/270 181482
/proc/meminfo: memFree=117295652/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=56092 memory=37856 CPUtime=0.18 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 9187 0 0 0 17 1 0 0 20 0 1 0 242935665 57438208 9464 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 14023 9464 768 2416 0 11125 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63076 KiB
Current children cumulated memory: 42080 KiB
[startup+0.700224 s]
/proc/loadavg: 0.40 0.16 0.74 4/267 181482
/proc/meminfo: memFree=117259012/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=55824 memory=40596 CPUtime=0.56 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 10827 0 0 0 54 2 0 0 20 0 1 0 242935665 57163776 10149 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 13956 10149 800 2416 0 11058 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 62808 KiB
Current children cumulated memory: 44820 KiB
[startup+1.50022 s]
/proc/loadavg: 0.40 0.16 0.74 4/267 181482
/proc/meminfo: memFree=117163216/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=70040 memory=55320 CPUtime=1.36 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 11952 0 0 0 133 3 0 0 20 0 1 0 242935665 71720960 13830 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 17510 13830 800 2416 0 14612 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 77024 KiB
Current children cumulated memory: 59544 KiB
[startup+3.10542 s]
/proc/loadavg: 0.40 0.16 0.74 4/267 181482
/proc/meminfo: memFree=116992992/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=70040 memory=55320 CPUtime=2.96 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 11957 0 0 0 293 3 0 0 20 0 1 0 242935665 71720960 13830 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 17510 13830 800 2416 0 14612 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 77024 KiB
Current children cumulated memory: 59544 KiB
[startup+6.30023 s]
/proc/loadavg: 0.69 0.23 0.75 4/267 181482
/proc/meminfo: memFree=116820684/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=70040 memory=55320 CPUtime=6.15 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 11964 0 0 0 611 4 0 0 20 0 1 0 242935665 71720960 13830 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 17510 13830 800 2416 0 14612 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 77024 KiB
Current children cumulated memory: 59544 KiB
[startup+12.7002 s]
/proc/loadavg: 1.03 0.31 0.78 4/270 181488
/proc/meminfo: memFree=116694196/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=81532 memory=64496 CPUtime=12.52 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 13514 0 0 0 1247 5 0 0 20 0 1 0 242935665 83488768 16124 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 20383 16124 800 2416 0 17485 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 88516 KiB
Current children cumulated memory: 68720 KiB
[startup+25.5002 s]
/proc/loadavg: 1.76 0.50 0.84 4/269 181535
/proc/meminfo: memFree=117264740/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=96268 memory=81648 CPUtime=25.28 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 16624 0 0 0 2522 6 0 0 20 0 1 0 242935665 98578432 20412 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 24067 20412 800 2416 0 21169 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 103252 KiB
Current children cumulated memory: 85872 KiB
[startup+51.1055 s]
/proc/loadavg: 2.52 0.79 0.92 5/274 181624
/proc/meminfo: memFree=117141752/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=115812 memory=101356 CPUtime=50.83 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 17461 0 0 0 5075 8 0 0 20 0 1 0 242935665 118591488 25339 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 28953 25339 800 2416 0 26055 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 105580 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.32 1.10 5/275 181677
/proc/meminfo: memFree=113867420/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=153776 memory=139072 CPUtime=101.89 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 19160 0 0 0 10180 9 0 0 20 0 1 0 242935665 157466624 34768 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 38444 34768 800 2416 0 35546 0
Current children cumulated CPU time: 101.89 s
################
# More data... #
################
[pid=181473] ppid=181471 vsize=251916 memory=234480 CPUtime=999.7 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24160 0 0 0 99955 15 0 0 20 0 1 0 242935665 257961984 58620 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 62979 58620 800 2416 0 60081 0
Current children cumulated CPU time: 999.7 s
Current children cumulated vsize: 258900 KiB
Current children cumulated memory: 238704 KiB
[startup+1062.3 s]
/proc/loadavg: 4.11 4.01 3.07 5/272 181778
/proc/meminfo: memFree=116801948/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=251916 memory=234480 CPUtime=1059.54 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24160 0 0 0 105939 15 0 0 20 0 1 0 242935665 257961984 58620 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 62979 58620 800 2416 0 60081 0
Current children cumulated CPU time: 1059.54 s
Current children cumulated vsize: 258900 KiB
Current children cumulated memory: 238704 KiB
[startup+1122.3 s]
/proc/loadavg: 4.08 4.03 3.14 5/272 181780
/proc/meminfo: memFree=116765224/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=270844 memory=250864 CPUtime=1119.38 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24681 0 0 0 111923 15 0 0 20 0 1 0 242935665 277344256 62716 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 67711 62716 800 2416 0 64813 0
Current children cumulated CPU time: 1119.38 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 255088 KiB
[startup+1182.3 s]
/proc/loadavg: 4.13 4.05 3.20 5/273 181783
/proc/meminfo: memFree=116755792/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=270844 memory=252912 CPUtime=1179.24 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24682 0 0 0 117909 15 0 0 20 0 1 0 242935665 277344256 63228 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 67711 63228 800 2416 0 64813 0
Current children cumulated CPU time: 1179.24 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 257136 KiB
[startup+1199.58 s]
# the end of solver process 181465 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1195.99 s, system=0.257157 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.11 4.05 3.21 5/273 181783
/proc/meminfo: memFree=116756044/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=270844 memory=252912 CPUtime=1187.32 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24682 0 0 0 118717 15 0 0 20 0 1 0 242935665 277344256 63228 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 67711 63228 800 2416 0 64813 0
Current children cumulated CPU time: 1187.32 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 257136 KiB
[startup+1193.6 s]
/proc/loadavg: 4.11 4.05 3.21 5/273 181783
/proc/meminfo: memFree=116751948/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=270844 memory=252912 CPUtime=1190.51 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24682 0 0 0 119036 15 0 0 20 0 1 0 242935665 277344256 63228 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 67711 63228 800 2416 0 64813 0
Current children cumulated CPU time: 1190.51 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 257136 KiB
[startup+1196.8 s]
/proc/loadavg: 4.10 4.05 3.22 5/273 181783
/proc/meminfo: memFree=116752200/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181471] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181471/stat : 181471 (timeout) S 181465 181471 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242935664 2723840 320 18446744073709551615 94424121798656 94424121815169 140730996103536 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94424121829936 94424121832024 94424138588160 140730996111774 140730996111904 140730996111904 140730996117479 0
/proc/181471/statm: 665 320 320 5 0 90 0
[pid=181473] ppid=181471 vsize=270844 memory=252912 CPUtime=1193.71 cores=0,2
/proc/181473/stat : 181473 (CASHWMaxSAT-Dis) R 181471 181471 181383 0 -1 4194304 24682 0 0 0 119356 15 0 0 20 0 1 0 242935665 277344256 63228 18446744073709551615 4198400 14093885 140729276508688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40812544 140729276512676 140729276512793 140729276512793 140729276518368 0
/proc/181473/statm: 67711 63228 800 2416 0 64813 0
Current children cumulated CPU time: 1193.71 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 257136 KiB
[startup+1198.4 s]
/proc/loadavg: 4.10 4.05 3.22 5/273 181783
/proc/meminfo: memFree=116752200/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=1195.03 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 280 24905 0 0 0 0 119487 16 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1195.03 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1199.2 s]
/proc/loadavg: 4.10 4.05 3.22 5/273 181787
/proc/meminfo: memFree=117154856/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=1195.03 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 280 24905 0 0 0 0 119487 16 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
[pid=181786] ppid=181465 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/181786/stat : 181786 (timeout) S 181465 181786 181383 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243055466 2723840 320 18446744073709551615 94625443729408 94625443745921 140725956026800 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94625443760688 94625443762776 94625475096576 140725956028806 140725956028960 140725956028960 140725956034535 0
/proc/181786/statm: 665 320 320 5 0 90 0
[pid=181787] ppid=181786 vsize=132316 memory=59400 CPUtime=1.05 cores=0,2
/proc/181787/stat : 181787 (SynLSCD) R 181786 181786 181383 0 -1 4194304 13076 0 0 0 99 6 0 0 20 0 1 0 243055466 135491584 14850 18446744073709551615 93976140341248 93976142775849 140725565072992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93976143256824 93976143289856 93976160948224 140725565082016 140725565082151 140725565082151 140725565087726 0
/proc/181787/statm: 33079 14850 2464 595 0 17746 0
Current children cumulated CPU time: 1196.08 s
Current children cumulated vsize: 139300 KiB
Current children cumulated memory: 63624 KiB
[startup+1199.4 s]
/proc/loadavg: 4.10 4.05 3.22 5/273 181787
/proc/meminfo: memFree=117154856/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=1196.22 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 297 38133 0 0 0 0 119598 24 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1196.22 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1199.5 s]
/proc/loadavg: 4.10 4.05 3.22 5/273 181787
/proc/meminfo: memFree=117154856/131249996 swapFree=33010160/33010684
[pid=181465] ppid=181451 vsize=4324 memory=2944 CPUtime=1196.23 cores=0,2
/proc/181465/stat : 181465 (Hybrid-CASHWMax) S 181451 181465 181383 0 -1 4194304 372 38573 0 0 0 0 119598 25 20 0 1 0 242935654 4427776 736 18446744073709551615 94207794765824 94207795660357 140732293167712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94207795899408 94207795947152 94207824777216 140732293171541 140732293171695 140732293171695 140732293177299 0
/proc/181465/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1196.23 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 1199.58
CPU time (s): 1196.25
CPU user time (s): 1195.99
CPU system time (s): 0.257157
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 277828
Max. memory (cumulated for all children) (KiB): 257136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.99
system time used= 0.257157
maximum resident set size= 252912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 877
involuntary context switches= 2623
# summary of solver processes directly reported to runsolver:
# pid: 181465
# total CPU time (s): 1196.25
# total CPU user time (s): 1195.99
# total CPU system time (s): 0.257157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46819 second user time and 5.44845 second system time
The end
Begin job on nodeC032 at 2025-07-23 14:09:30
IDJOB=4547742
IDBENCH=147759
IDSOLVER=3425
FILE ID=nodeC032/4547742-1753272570
RUNJOBID= nodeC032-1753272569-181400
SLURM_JOB_ID= 9689999
Free space on /tmp= 432556 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547742-1753272570/watcher-4547742-1753272570 -o /tmp/evaluation-result-4547742-1753272570/solver-4547742-1753272570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753272569-181400 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4547742-1753272570.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=1947358602
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 1908.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.474
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 2182.663
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.511
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 1198.768
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.913
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 2003.428
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117432612 kB
MemAvailable: 129607812 kB
Buffers: 2728 kB
Cached: 12853896 kB
SwapCached: 20 kB
Active: 1202312 kB
Inactive: 11723244 kB
Active(anon): 92048 kB
Inactive(anon): 3124 kB
Active(file): 1110264 kB
Inactive(file): 11720120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 79068 kB
Writeback: 0 kB
AnonPages: 72048 kB
Mapped: 108244 kB
Shmem: 26240 kB
KReclaimable: 368108 kB
Slab: 466716 kB
SReclaimable: 368108 kB
SUnreclaim: 98608 kB
KernelStack: 4024 kB
PageTables: 2700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 375760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432516 MiB
End job on nodeC032 at 2025-07-23 14:29:30