0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
16.44/16.51 c #variables 2000400 #constraints 4940611
16.44/16.52 c objective is ce32
23.52/23.60 c initial watched CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
23.52/23.60 c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
23.52/23.60 c GLOBAL bounds - >= -100 @ 17.8107
26.21/26.34 c GLOBAL bounds - >= -100 @ 19.273
29.20/29.31 c GLOBAL bounds - >= -100 @ 21.5431
31.80/31.97 c GLOBAL bounds - >= -100 @ 23.5398
34.49/34.65 c GLOBAL bounds - >= -100 @ 25.5538
37.18/37.33 c GLOBAL bounds - >= -100 @ 27.5542
39.89/40.03 c GLOBAL bounds - >= -100 @ 29.611
42.67/42.80 c GLOBAL bounds - >= -100 @ 31.7057
45.36/45.56 c GLOBAL bounds - >= -100 @ 33.7859
48.15/48.32 c GLOBAL bounds - >= -100 @ 35.901
50.86/51.09 c GLOBAL bounds - >= -100 @ 38.0089
53.63/53.88 c GLOBAL bounds - >= -100 @ 40.1468
56.43/56.69 c GLOBAL bounds - >= -100 @ 42.3088
60.01/60.22 c GLOBAL bounds - >= -100 @ 45.2002
62.71/63.01 c GLOBAL bounds - >= -100 @ 47.3393
68.10/68.40 c GLOBAL bounds - >= -100 @ 51.9992
71.08/71.33 c GLOBAL bounds - >= -100 @ 54.2427
73.80/74.01 c GLOBAL bounds - >= -100 @ 56.2404
76.79/77.11 c GLOBAL bounds - >= -100 @ 58.6495
79.78/80.06 c GLOBAL bounds - >= -100 @ 60.9048
82.55/82.85 c GLOBAL bounds - >= -100 @ 62.967
85.25/85.53 c GLOBAL bounds - >= -100 @ 64.9485
87.94/88.23 c GLOBAL bounds - >= -100 @ 66.9766
93.43/93.74 c GLOBAL bounds - >= -100 @ 71.7388
96.42/96.72 c GLOBAL bounds - >= -100 @ 74.0303
99.41/99.78 c GLOBAL bounds - >= -100 @ 76.3992
109.57/109.95 c GLOBAL bounds - >= -100 @ 85.7419
122.04/122.40 c GLOBAL bounds - >= -100 @ 97.2546
126.03/126.46 c GLOBAL bounds - >= -100 @ 100.595
141.09/141.57 c GLOBAL bounds - >= -100 @ 114.84
184.47/185.07 c GLOBAL bounds - >= -100 @ 157.296
188.34/188.92 c GLOBAL bounds - >= -100 @ 160.411
192.13/192.76 c GLOBAL bounds - >= -100 @ 163.558
203.20/203.82 c GLOBAL bounds - >= -100 @ 173.788
206.10/206.71 c GLOBAL bounds - >= -100 @ 175.991
211.78/212.44 c GLOBAL bounds - >= -100 @ 180.974
214.66/215.35 c GLOBAL bounds - >= -100 @ 183.192
217.56/218.26 c GLOBAL bounds - >= -100 @ 185.437
222.75/223.44 c GLOBAL bounds - >= -100 @ 189.898
225.45/226.18 c GLOBAL bounds - >= -100 @ 191.969
228.23/228.93 c GLOBAL bounds - >= -100 @ 194.052
231.12/231.86 c GLOBAL bounds - >= -100 @ 196.325
235.01/235.73 c GLOBAL bounds - >= -100 @ 199.505
237.91/238.68 c GLOBAL bounds - >= -100 @ 201.69
241.59/242.32 c GLOBAL bounds - >= -100 @ 204.613
245.29/246.04 c GLOBAL bounds - >= -100 @ 207.617
248.17/248.91 c GLOBAL bounds - >= -100 @ 209.848
253.46/254.20 c GLOBAL bounds - >= -100 @ 214.41
257.94/258.73 c GLOBAL bounds - >= -100 @ 218.244
269.31/270.19 c GLOBAL bounds - >= -100 @ 228.947
273.21/274.02 c GLOBAL bounds - >= -100 @ 232.138
281.36/282.25 c GLOBAL bounds - >= -100 @ 239.627
309.10/310.06 c GLOBAL bounds - >= -100 @ 266.474
314.27/315.22 c GLOBAL bounds - >= -100 @ 270.577
1895.24/1901.65 c #Conflicts: 1000 | #Constraints: 2006159
1895.24/1901.65 c GLOBAL bounds - >= -100 @ 1830.87
1909.00/1915.47 terminate called after throwing an instance of 'std::bad_alloc'
1909.00/1915.47 what(): std::bad_alloc
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 (31079 MiB free)
memory of node 1: 64507 MiB (45731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505447-1751480980/watcher-4505447-1751480980 -o /tmp/evaluation-result-4505447-1751480980/solver-4505447-1751480980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505447-1751480980.opb PROOFDIR/proof-4505447-1751480980
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64079, runsolver pid=64076
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.40 4.20 4.21 5/264 64081
/proc/meminfo: memFree=78544360/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=169976 memory=122664 CPUtime=0.09 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 1396 0 0 0 6 3 0 0 20 0 1 0 63777853 174055424 30666 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 42494 30666 1888 1147 0 29921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 174168 KiB
Current children cumulated memory: 125736 KiB
[startup+0.206048 s]*
/proc/loadavg: 4.40 4.20 4.21 5/264 64081
/proc/meminfo: memFree=78420976/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=303836 memory=256504 CPUtime=0.18 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 4712 0 0 0 12 6 0 0 20 0 1 0 63777853 311128064 64126 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 75959 64126 1888 1147 0 63386 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 308028 KiB
Current children cumulated memory: 259576 KiB
[startup+0.306026 s]*
/proc/loadavg: 4.40 4.20 4.21 5/264 64081
/proc/meminfo: memFree=78342588/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=382548 memory=331780 CPUtime=0.28 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 8009 0 0 0 19 9 0 0 20 0 1 0 63777853 391729152 82945 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 95637 82945 1920 1147 0 83064 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 386740 KiB
Current children cumulated memory: 334852 KiB
[startup+0.700441 s]
/proc/loadavg: 4.40 4.20 4.21 5/264 64081
/proc/meminfo: memFree=78240068/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=479312 memory=431080 CPUtime=0.67 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 12180 0 0 0 52 15 0 0 20 0 1 0 63777853 490815488 107770 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 119828 107770 1920 1147 0 107255 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 483504 KiB
Current children cumulated memory: 434152 KiB
[startup+1.50041 s]
/proc/loadavg: 4.40 4.20 4.21 5/264 64081
/proc/meminfo: memFree=78238276/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=436344 memory=393428 CPUtime=1.47 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 19641 0 0 0 127 20 0 0 20 0 1 0 63777853 446816256 98357 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 109086 98357 1952 1147 0 96513 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 440536 KiB
Current children cumulated memory: 396500 KiB
[startup+3.11385 s]
/proc/loadavg: 4.40 4.20 4.21 5/264 64082
/proc/meminfo: memFree=78135128/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=525484 memory=476020 CPUtime=3.08 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 33710 0 0 0 245 63 0 0 20 0 1 0 63777853 538095616 119005 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 131371 119005 1952 1147 0 118798 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 529676 KiB
Current children cumulated memory: 479092 KiB
[startup+6.30033 s]
/proc/loadavg: 4.36 4.20 4.20 5/264 64082
/proc/meminfo: memFree=77925376/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=686164 memory=635300 CPUtime=6.26 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 56196 0 0 0 481 145 0 0 20 0 1 0 63777853 702631936 158825 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 171541 158825 1952 1147 0 158968 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 690356 KiB
Current children cumulated memory: 638372 KiB
[startup+12.7004 s]
/proc/loadavg: 4.50 4.23 4.21 5/264 64082
/proc/meminfo: memFree=77560776/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=1048704 memory=964256 CPUtime=12.64 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 102507 0 0 0 972 292 0 0 20 0 1 0 63777853 1073872896 241064 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 262176 241064 1952 1147 0 249603 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1052896 KiB
Current children cumulated memory: 967328 KiB
[startup+25.5004 s]
/proc/loadavg: 4.38 4.22 4.21 5/264 64082
/proc/meminfo: memFree=75487476/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=2995924 memory=2797500 CPUtime=25.41 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 435393 0 0 0 1850 691 0 0 20 0 1 0 63777853 3067826176 699375 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 748981 699375 2048 1147 0 736408 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3000116 KiB
Current children cumulated memory: 2800572 KiB
[startup+51.1141 s]
/proc/loadavg: 4.31 4.22 4.21 5/264 64082
/proc/meminfo: memFree=74654404/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=3110356 memory=2858008 CPUtime=50.96 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 437409 0 0 0 3803 1293 0 0 20 0 1 0 63777853 3185004544 714502 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 777589 714502 2080 1147 0 765016 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3114548 KiB
Current children cumulated memory: 2861080 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.21 4.20 5/264 64084
/proc/meminfo: memFree=72065484/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=4101324 memory=3792432 CPUtime=102 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 588326 0 0 0 7886 2314 0 0 20 0 1 0 63777853 4199755776 948108 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 1025331 948108 2080 1147 0 1012758 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4105516 KiB
Current children cumulated memory: 3795504 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.19 5/261 64086
/proc/meminfo: memFree=69672412/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=4180692 memory=3875900 CPUtime=161.82 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 593018 0 0 0 13528 2654 0 0 20 0 1 0 63777853 4281028608 968975 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 1045173 968975 2080 1147 0 1032600 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 4184884 KiB
Current children cumulated memory: 3878972 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.21 4.20 5/261 64088
/proc/meminfo: memFree=67580424/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=4339424 memory=4040768 CPUtime=221.65 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 601211 0 0 0 18900 3265 0 0 20 0 1 0 63777853 4443570176 1010192 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 1084856 1010192 2080 1147 0 1072283 0
################
# More data... #
################
/proc/meminfo: memFree=34746788/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30140000 memory=26246292 CPUtime=1597.01 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 6999867 0 0 0 153625 6076 0 0 20 0 1 0 63777853 30863360000 6561573 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7535000 6561573 2080 1147 0 7522427 0
Current children cumulated CPU time: 1597.01 s
Current children cumulated vsize: 30144192 KiB
Current children cumulated memory: 26249364 KiB
[startup+1662.3 s]
/proc/loadavg: 2.63 3.51 3.91 3/250 64227
/proc/meminfo: memFree=56831220/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30156376 memory=26468820 CPUtime=1656.82 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 7476523 0 0 0 159459 6223 0 0 20 0 1 0 63777853 30880129024 6617205 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7539094 6617205 2080 1147 0 7526521 0
Current children cumulated CPU time: 1656.82 s
Current children cumulated vsize: 30160568 KiB
Current children cumulated memory: 26471892 KiB
[startup+1722.3 s]
/proc/loadavg: 2.35 3.26 3.80 3/251 64229
/proc/meminfo: memFree=55655516/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30370272 memory=26839664 CPUtime=1716.59 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 7510225 0 0 0 165392 6267 0 0 20 0 1 0 63777853 31099158528 6709916 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7592568 6709916 2080 1147 0 7579995 0
Current children cumulated CPU time: 1716.59 s
Current children cumulated vsize: 30374464 KiB
Current children cumulated memory: 26842736 KiB
[startup+1782.3 s]
/proc/loadavg: 2.24 3.06 3.70 3/250 64231
/proc/meminfo: memFree=54493628/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30489564 memory=27154604 CPUtime=1776.37 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 7530097 0 0 0 171333 6304 0 0 20 0 1 0 63777853 31221313536 6788651 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7622391 6788651 2080 1147 0 7609818 0
Current children cumulated CPU time: 1776.37 s
Current children cumulated vsize: 30493756 KiB
Current children cumulated memory: 27157676 KiB
[startup+1842.3 s]
/proc/loadavg: 2.09 2.87 3.59 3/250 64237
/proc/meminfo: memFree=53460668/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30506244 memory=27386844 CPUtime=1836.15 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 7535866 0 0 0 177273 6342 0 0 20 0 1 0 63777853 31238393856 6846711 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7626561 6846711 2080 1147 0 7613988 0
Current children cumulated CPU time: 1836.15 s
Current children cumulated vsize: 30510436 KiB
Current children cumulated memory: 27389916 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.74 3.49 3/248 64250
/proc/meminfo: memFree=52421868/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=30560064 memory=27622352 CPUtime=1895.94 cores=5,7
/proc/64081/stat : 64081 (roundingsat) R 64079 64079 62677 0 -1 4194304 7545268 0 0 0 183150 6444 0 0 20 0 1 0 63777853 31293505536 6905588 18446744073709551615 4227072 8923433 140735360856928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 0
/proc/64081/statm: 7640016 6905588 2080 1147 0 7627443 0
Current children cumulated CPU time: 1895.94 s
Current children cumulated vsize: 30564256 KiB
Current children cumulated memory: 27625424 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1915.5 s]
/proc/loadavg: 2.11 2.70 3.47 3/248 64251
/proc/meminfo: memFree=51500048/131382112 swapFree=33010416/33010684
[pid=64079] ppid=64076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/64079/stat : 64079 (run-opt-log.sh) S 64076 64079 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63777852 4292608 768 18446744073709551615 94915941441536 94915942336069 140721796465008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94915942575120 94915942622864 94915967275008 140721796466977 140721796467172 140721796467172 140721796472774 0
/proc/64079/statm: 1048 768 704 219 0 110 0
[pid=64081] ppid=64079 vsize=31795192 memory=28544392 CPUtime=1909.07 cores=5,7
/proc/64081/stat : 64081 (roundingsat) S 64079 64079 62677 0 -1 4195840 7737197 0 0 0 184421 6486 0 0 20 0 1 0 63777853 32558276608 7136098 18446744073709551615 4227072 8923433 140735360856928 140735360852656 140500284258924 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 6
/proc/64081/statm: 7948798 7136098 2208 1147 0 7936225 0
Current children cumulated CPU time: 1909.07 s
Current children cumulated vsize: 31799384 KiB
Current children cumulated memory: 28547464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1915.51 s]
# the end of solver process 64079 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004629 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1926.29 s]
# the end of solver process 64081 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1844.29 s, system=68.8757 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1916.8 s]
/proc/loadavg: 2.11 2.70 3.47 4/249 64254
/proc/meminfo: memFree=50840976/131382112 swapFree=33010416/33010684
[pid=64081] ppid=64076 vsize=31795192 memory=28544392 CPUtime=1910.17 cores=5,7
/proc/64081/stat : 64081 (roundingsat) S 64076 64079 62677 0 -1 4195840 7737197 0 0 0 184422 6595 0 0 20 0 1 0 63777853 32558276608 7136098 18446744073709551615 4227072 8923433 140735360856928 140735360852656 140500284258924 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 6
/proc/64081/statm: 7948798 7136098 2208 1147 0 7936225 0
Current cumulated CPU time of completed processes: 0.004629 s
Current children cumulated CPU time: 1910.17 s
Current children cumulated vsize: 31795192 KiB
Current children cumulated memory: 28544392 KiB
[startup+1917.2 s]
/proc/loadavg: 2.11 2.70 3.47 3/249 64254
/proc/meminfo: memFree=50080428/131382112 swapFree=33010416/33010684
[pid=64081] ppid=64076 vsize=31795192 memory=28544392 CPUtime=1910.17 cores=5,7
/proc/64081/stat : 64081 (roundingsat) S 64076 64079 62677 0 -1 4195840 7737197 0 0 0 184422 6595 0 0 20 0 1 0 63777853 32558276608 7136098 18446744073709551615 4227072 8923433 140735360856928 140735360852656 140500284258924 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 6
/proc/64081/statm: 7948798 7136098 2208 1147 0 7936225 0
Current cumulated CPU time of completed processes: 0.004629 s
Current children cumulated CPU time: 1910.17 s
Current children cumulated vsize: 31795192 KiB
Current children cumulated memory: 28544392 KiB
[startup+1917.4 s]
/proc/loadavg: 2.11 2.70 3.47 3/249 64254
/proc/meminfo: memFree=50080428/131382112 swapFree=33010416/33010684
[pid=64081] ppid=64076 vsize=31795192 memory=28544392 CPUtime=1910.17 cores=5,7
/proc/64081/stat : 64081 (roundingsat) S 64076 64079 62677 0 -1 4195840 7737197 0 0 0 184422 6595 0 0 20 0 1 0 63777853 32558276608 7136098 18446744073709551615 4227072 8923433 140735360856928 140735360852656 140500284258924 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 6
/proc/64081/statm: 7948798 7136098 2208 1147 0 7936225 0
Current cumulated CPU time of completed processes: 0.004629 s
Current children cumulated CPU time: 1910.17 s
Current children cumulated vsize: 31795192 KiB
Current children cumulated memory: 28544392 KiB
[startup+1917.5 s]
/proc/loadavg: 2.11 2.70 3.47 3/249 64254
/proc/meminfo: memFree=50080428/131382112 swapFree=33010416/33010684
[pid=64081] ppid=64076 vsize=31795192 memory=28544392 CPUtime=1910.17 cores=5,7
/proc/64081/stat : 64081 (roundingsat) S 64076 64079 62677 0 -1 4195840 7737197 0 0 0 184422 6595 0 0 20 0 1 0 63777853 32558276608 7136098 18446744073709551615 4227072 8923433 140735360856928 140735360852656 140500284258924 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39481344 140735360862546 140735360862760 140735360862760 140735360868330 6
/proc/64081/statm: 7948798 7136098 2208 1147 0 7936225 0
Current cumulated CPU time of completed processes: 0.004629 s
Current children cumulated CPU time: 1910.17 s
Current children cumulated vsize: 31795192 KiB
Current children cumulated memory: 28544392 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1926.29
CPU time (s): 1913.16
CPU user time (s): 1844.29
CPU system time (s): 68.8757
CPU usage (%): 99.3183
Max. virtual memory (cumulated for all children) (KiB): 31799384
Max. memory (cumulated for all children) (KiB): 28547464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1844.29
system time used= 68.8757
maximum resident set size= 28544392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7737405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48521440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170446
involuntary context switches= 3655
# summary of solver processes directly reported to runsolver:
# pid: 64079,64081
# total CPU time (s): 1913.16
# total CPU user time (s): 1844.29
# total CPU system time (s): 68.8757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80187 second user time and 20.9902 second system time
The end
Begin job on nodeC012 at 2025-07-02 20:29:41
IDJOB=4505447
IDBENCH=155757
IDSOLVER=3351
FILE ID=nodeC012/4505447-1751480980
RUNJOBID= nodeC012-1751471575-62690
SLURM_JOB_ID= 9598495
Free space on /tmp= 431496 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505447-1751480980/watcher-4505447-1751480980 -o /tmp/evaluation-result-4505447-1751480980/solver-4505447-1751480980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505447-1751480980.opb PROOFDIR/proof-4505447-1751480980
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=222185755
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 : 3660.429
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 : 3655.333
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.348
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.409
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 : 3660.364
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 : 1197.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 1197.712
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 : 3592.624
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: 78655456 kB
MemAvailable: 112998828 kB
Buffers: 2136 kB
Cached: 35110020 kB
SwapCached: 16 kB
Active: 17539064 kB
Inactive: 34500528 kB
Active(anon): 16938436 kB
Inactive(anon): 7016 kB
Active(file): 600628 kB
Inactive(file): 34493512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 559200 kB
Writeback: 4 kB
AnonPages: 16930552 kB
Mapped: 113716 kB
Shmem: 17944 kB
KReclaimable: 177332 kB
Slab: 273664 kB
SReclaimable: 177332 kB
SUnreclaim: 96332 kB
KernelStack: 4240 kB
PageTables: 38384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 19608884 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4849664 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= 431556 MiB
End job on nodeC012 at 2025-07-02 21:01:48