runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63082 MiB free)
memory of node 1: 64507 MiB (63704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490407-1751373665/watcher-4490407-1751373665 -o /tmp/evaluation-result-4490407-1751373665/solver-4490407-1751373665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751373665-49670 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4490407-1751373665.opb 3600 HOME
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 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=49729, runsolver pid=49712
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129806072/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=27992 memory=9320 CPUtime=0.06 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 1950 0 0 0 6 0 0 0 20 0 1 0 53046259 28663808 2330 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 6998 2330 768 2416 0 4100 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 34976 KiB
Current children cumulated memory: 13800 KiB
[startup+0.213922 s]*
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129786416/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=39856 memory=22768 CPUtime=0.17 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 5149 0 0 0 16 1 0 0 20 0 1 0 53046259 40812544 5692 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 9964 5692 768 2416 0 7066 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 27248 KiB
[startup+0.313683 s]*
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129778820/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=49484 memory=31856 CPUtime=0.28 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 7398 0 0 0 25 3 0 0 20 0 1 0 53046259 50671616 7964 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 12371 7964 768 2416 0 9473 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 56468 KiB
Current children cumulated memory: 36336 KiB
[startup+0.700565 s]
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129778568/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=47848 memory=30592 CPUtime=0.65 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 8201 0 0 0 62 3 0 0 20 0 1 0 53046259 48996352 7648 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 11962 7648 768 2416 0 9064 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 54832 KiB
Current children cumulated memory: 35072 KiB
[startup+1.50041 s]
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129778568/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=47848 memory=31104 CPUtime=1.44 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 8337 0 0 0 141 3 0 0 20 0 1 0 53046259 48996352 7776 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 11962 7776 768 2416 0 9064 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 54832 KiB
Current children cumulated memory: 35584 KiB
[startup+3.11276 s]
/proc/loadavg: 2.38 3.66 3.94 5/261 49740
/proc/meminfo: memFree=129765804/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=54772 memory=34236 CPUtime=3.05 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 9300 0 0 0 302 3 0 0 20 0 1 0 53046259 56086528 8559 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 13693 8559 768 2416 0 10795 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 61756 KiB
Current children cumulated memory: 38716 KiB
[startup+6.30045 s]
/proc/loadavg: 2.51 3.67 3.95 5/261 49740
/proc/meminfo: memFree=129747184/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=50684 memory=33704 CPUtime=6.22 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 11500 0 0 0 618 4 0 0 20 0 1 0 53046259 51900416 8426 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 12671 8426 800 2416 0 9773 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 57668 KiB
Current children cumulated memory: 38184 KiB
[startup+12.7004 s]
/proc/loadavg: 2.63 3.67 3.95 5/261 49740
/proc/meminfo: memFree=129741120/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=69488 memory=51008 CPUtime=12.61 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 12762 0 0 0 1256 5 0 0 20 0 1 0 53046259 71155712 12752 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 17372 12752 800 2416 0 14474 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 76472 KiB
Current children cumulated memory: 55488 KiB
[startup+25.5005 s]
/proc/loadavg: 2.94 3.69 3.95 5/260 49740
/proc/meminfo: memFree=129736824/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=69488 memory=53068 CPUtime=25.38 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 12771 0 0 0 2533 5 0 0 20 0 1 0 53046259 71155712 13267 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 17372 13267 800 2416 0 14474 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 76472 KiB
Current children cumulated memory: 57548 KiB
[startup+51.1129 s]
/proc/loadavg: 3.37 3.73 3.95 5/260 49741
/proc/meminfo: memFree=129730128/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49739/stat : 49739 (timeout) S 49729 49739 49657 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53046258 2723840 352 18446744073709551615 94885056536576 94885056553089 140720378884368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94885056567856 94885056569944 94885081145344 140720378886550 140720378886690 140720378886690 140720378892263 0
/proc/49739/statm: 665 352 352 5 0 90 0
[pid=49740] ppid=49739 vsize=81000 memory=57668 CPUtime=50.92 cores=5,7
/proc/49740/stat : 49740 (CASHWMaxSAT-Dis) R 49739 49739 49657 0 -1 4194304 12910 0 0 0 5087 5 0 0 20 0 1 0 53046259 82944000 14417 18446744073709551615 4198400 14093885 140726511334256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33808384 140726511339932 140726511340059 140726511340059 140726511345632 0
/proc/49740/statm: 20250 14417 800 2416 0 17352 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 87984 KiB
Current children cumulated memory: 62148 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 3.79 3.97 5/261 49743
/proc/meminfo: memFree=129704596/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49739] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2257.07 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 223999 1708 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 50026
/proc/meminfo: memFree=127357600/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2316.87 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 229940 1747 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 50033
/proc/meminfo: memFree=127328620/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2376.68 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 235888 1780 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3596.17 s]
# the end of solver process 49729 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.28 s, system=18.0608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127328620/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2378.38 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 236057 1781 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127320824/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2384.76 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 236691 1785 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3579.62 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127321076/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2387.94 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 237008 1786 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3582.8 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127321076/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2389.54 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 237167 1787 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3595.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127321076/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2389.93 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 237206 1787 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127321580/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 284 21874 0 0 0 0 119474 12 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
[pid=49861] ppid=49729 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49861/stat : 49861 (timeout) S 49729 49861 49657 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 53166059 2723840 352 18446744073709551615 94799814762496 94799814779009 140721646154448 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94799814793776 94799814795864 94799835123712 140721646160262 140721646160418 140721646160418 140721646165991 0
/proc/49861/statm: 665 352 352 5 0 90 0
[pid=49862] ppid=49861 vsize=700068 memory=676440 CPUtime=2390.34 cores=5,7
/proc/49862/stat : 49862 (ExactPR-S) R 49861 49861 49657 0 -1 4194304 275740 0 0 0 237247 1787 0 0 20 0 1 0 53166061 716869632 169110 18446744073709551615 94128270913536 94128280213573 140725423820384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94128281999680 94128282038760 94128321691648 140725423827358 140725423827495 140725423827495 140725423833068 0
/proc/49862/statm: 175017 169110 3488 2271 0 169655 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 707052 KiB
Current children cumulated memory: 680920 KiB
[startup+3596.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 50034
/proc/meminfo: memFree=127321580/131382112 swapFree=33010684/33010684
[pid=49729] ppid=49712 vsize=4324 memory=3072 CPUtime=3585.29 cores=5,7
/proc/49729/stat : 49729 (Hybrid-CASHWMax) S 49712 49729 49657 0 -1 4194304 376 298897 0 0 0 0 356727 1802 20 0 1 0 53046255 4427776 768 18446744073709551615 94135697793024 94135698687557 140720415744784 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94135698926608 94135698974352 94135705702400 140720415746391 140720415746545 140720415746545 140720415752147 0
/proc/49729/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 3596.17
CPU time (s): 3585.34
CPU user time (s): 3567.28
CPU system time (s): 18.0608
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 1113984
Max. memory (cumulated for all children) (KiB): 1053872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.28
system time used= 18.0608
maximum resident set size= 1049392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2111
involuntary context switches= 2376
# summary of solver processes directly reported to runsolver:
# pid: 49729
# total CPU time (s): 3585.34
# total CPU user time (s): 3567.28
# total CPU system time (s): 18.0608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7872 second user time and 36.1181 second system time
The end
Begin job on nodeC012 at 2025-07-01 14:41:05
IDJOB=4490407
IDBENCH=147586
IDSOLVER=3329
FILE ID=nodeC012/4490407-1751373665
RUNJOBID= nodeC012-1751373665-49670
SLURM_JOB_ID= 9598207
Free space on /tmp= 433060 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490407-1751373665/watcher-4490407-1751373665 -o /tmp/evaluation-result-4490407-1751373665/solver-4490407-1751373665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751373665-49670 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4490407-1751373665.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=808139183
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.355
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129826268 kB
MemAvailable: 129955432 kB
Buffers: 3280 kB
Cached: 937144 kB
SwapCached: 0 kB
Active: 378316 kB
Inactive: 626760 kB
Active(anon): 82612 kB
Inactive(anon): 0 kB
Active(file): 295704 kB
Inactive(file): 626760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 99488 kB
Writeback: 0 kB
AnonPages: 67584 kB
Mapped: 102040 kB
Shmem: 17960 kB
KReclaimable: 92272 kB
Slab: 174616 kB
SReclaimable: 92272 kB
SUnreclaim: 82344 kB
KernelStack: 3832 kB
PageTables: 2688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 329216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC012 at 2025-07-01 15:41:02