0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 3772 #constraints 5628
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 0 @ 0.050606
0.00/0.06 c stratification level: 0
58.79/59.03 c bounds - >= 3 @ 0.051318
58.79/59.03 c bounds - >= 4 @ 0.052665
58.79/59.03 c bounds - >= 5 @ 0.053963
58.79/59.03 c bounds - >= 6 @ 0.05488
58.79/59.03 c bounds - >= 7 @ 0.058193
58.79/59.03 c bounds - >= 8 @ 0.060135
58.79/59.03 c bounds - >= 9 @ 0.061146
58.79/59.03 c bounds - >= 10 @ 0.06219
58.79/59.03 c bounds - >= 12 @ 0.063213
58.79/59.03 c bounds - >= 13 @ 0.065834
58.79/59.03 c bounds - >= 14 @ 0.067893
58.79/59.03 c bounds - >= 15 @ 0.071225
58.79/59.03 c bounds - >= 16 @ 0.07472
58.79/59.03 c bounds - >= 17 @ 0.082446
58.79/59.03 c bounds - >= 18 @ 0.094997
58.79/59.03 c bounds - >= 19 @ 0.1181
58.79/59.03 c bounds - >= 20 @ 0.160744
58.79/59.03 c bounds - >= 21 @ 0.2407
58.79/59.03 c bounds - >= 22 @ 0.262372
58.79/59.03 c bounds - >= 23 @ 0.312864
58.79/59.03 c bounds - >= 24 @ 0.488012
58.79/59.03 c bounds - >= 25 @ 0.63684
58.79/59.03 c #Conflicts: 1000 | #Constraints: 6649
58.79/59.03 c bounds - >= 26 @ 0.783989
58.79/59.03 c bounds - >= 27 @ 1.13422
58.79/59.03 c bounds - >= 28 @ 1.37197
58.79/59.03 c bounds - >= 29 @ 1.62386
58.79/59.03 c bounds - >= 30 @ 1.67673
58.79/59.03 c bounds - >= 31 @ 1.76546
58.79/59.03 c #Conflicts: 2000 | #Constraints: 7655
58.79/59.03 c INPROCESSING
58.79/59.03 c GARBAGE COLLECT
58.79/59.03 c bounds - >= 32 @ 2.07102
58.79/59.03 c bounds - >= 33 @ 2.33427
58.79/59.03 c #Conflicts: 3000 | #Constraints: 7012
58.79/59.03 c bounds - >= 34 @ 3.14912
58.79/59.03 c #Conflicts: 4000 | #Constraints: 8013
58.79/59.03 c bounds - >= 35 @ 5.71291
58.79/59.03 c #Conflicts: 5000 | #Constraints: 9014
58.79/59.03 c bounds - >= 36 @ 11.8911
58.79/59.03 c #Conflicts: 6000 | #Constraints: 10015
58.79/59.03 c INPROCESSING
58.79/59.03 c GARBAGE COLLECT
58.79/59.03 c #Conflicts: 7000 | #Constraints: 8497
58.79/59.03 c bounds - >= 37 @ 18.1851
58.79/59.03 c #Conflicts: 8000 | #Constraints: 9498
58.79/59.03 c #Conflicts: 9000 | #Constraints: 10498
58.79/59.03 c INPROCESSING
58.79/59.03 c GARBAGE COLLECT
58.79/59.03 c #Conflicts: 10000 | #Constraints: 8698
58.79/59.03 c #Conflicts: 11000 | #Constraints: 9698
58.79/59.03 c bounds - >= 38 @ 33.0653
58.79/59.03 c #Conflicts: 12000 | #Constraints: 10699
58.79/59.03 c INPROCESSING
58.79/59.03 c GARBAGE COLLECT
58.79/59.03 c #Conflicts: 13000 | #Constraints: 8547
58.79/59.03 c bounds - >= 39 @ 46.1972
58.79/59.03 c #Conflicts: 14000 | #Constraints: 9547
58.79/59.03 c #Conflicts: 15000 | #Constraints: 10547
58.79/59.03 c #Conflicts: 16000 | #Constraints: 11547
58.79/59.03 c bounds - >= 39 @ 58.2306
58.79/59.03 d SOLVEDBY oll
58.79/59.03 c cpu time 58.2306 s
58.79/59.03 c deterministic time 7889356112 7.89e+09
58.79/59.03 c optimization time 0.014593 s
58.79/59.03 c total solve time 58.1654 s
58.79/59.03 c core-guided solve time 58.1654 s
58.79/59.03 c propagation time 42.4094 s
58.79/59.03 c conflict analysis time 14.6614 s
58.79/59.03 c propagations 7541874
58.79/59.03 c resolve steps 658670
58.79/59.03 c decisions 646088
58.79/59.03 c conflicts 16812
58.79/59.03 c restarts 62
58.79/59.03 c inprocessing phases 4
58.79/59.03 c input clauses 1859
58.79/59.03 c input cardinalities 429
58.79/59.03 c input general constraints 3375
58.79/59.03 c input average constraint length 21.65
58.79/59.03 c input average constraint degree 44.41
58.79/59.03 c learned clauses 8151
58.79/59.03 c learned cardinalities 329
58.79/59.03 c learned general constraints 8331
58.79/59.03 c learned average constraint length 848.05
58.79/59.03 c learned average constraint degree 65713119.84
58.79/59.03 c watched constraints 6989
58.79/59.03 c counting constraints 4717
58.79/59.03 c gcd simplifications 1215
58.79/59.03 c detected cardinalities 16
58.79/59.03 c weakened non-implied lits 1546656
58.79/59.03 c weakened non-implying lits 11841
58.79/59.03 c original variables 3772
58.79/59.03 c clausal propagations 1212997
58.79/59.03 c cardinality propagations 1666847
58.79/59.03 c watched propagations 570976
58.79/59.03 c counting propagations 4021527
58.79/59.03 c watch lookups 851996466
58.79/59.03 c watch backjump lookups 771745220
58.79/59.03 c watch checks 5084049268
58.79/59.03 c propagation checks 1088185906
58.79/59.03 c constraint additions 76988830
58.79/59.03 c trail pops 8202459
58.79/59.03 c formula constraints 5628
58.79/59.03 c learned constraints 16811
58.79/59.03 c bound constraints 35
58.79/59.03 c core-guided constraints 0
58.79/59.03 c encountered formula constraints 524988
58.79/59.03 c encountered learned constraints 150494
58.79/59.03 c encountered bound constraints 0
58.79/59.03 c encountered core-guided constraints 0
58.79/59.03 c LP total time 0 s
58.79/59.03 c LP solve time 0 s
58.79/59.03 c LP constraints added 0
58.79/59.03 c LP constraints removed 0
58.79/59.03 c LP pivots internal 0
58.79/59.03 c LP pivots root 0
58.79/59.03 c LP calls 0
58.79/59.03 c LP optimalities 0
58.79/59.03 c LP no pivot count 0
58.79/59.03 c LP infeasibilities 0
58.79/59.03 c LP valid Farkas constraints 0
58.79/59.03 c LP learned Farkas constraints 0
58.79/59.03 c LP basis resets 0
58.79/59.03 c LP cycling count 0
58.79/59.03 c LP singular count 0
58.79/59.03 c LP no primal count 0
58.79/59.03 c LP no farkas count 0
58.79/59.03 c LP other issue count 0
58.79/59.03 c LP Gomory cuts 0
58.79/59.03 c LP learned cuts 0
58.79/59.03 c LP deleted cuts 0
58.79/59.03 c LP encountered Gomory constraints 0
58.79/59.03 c LP encountered Farkas constraints 0
58.79/59.03 c LP encountered learned Farkas constraints 0
58.79/59.03 c CG auxiliary variables introduced 0
58.79/59.03 c CG solutions found 0
58.79/59.03 c CG cores constructed 36
58.79/59.03 c CG core cardinality constraints returned 0
58.79/59.03 c CG unit cores 1
58.79/59.03 c CG single cores 35
58.79/59.03 c CG blocks removed during cardinality reduction 0
58.79/59.03 c CG first core best 0
58.79/59.03 c CG decision core best 0
58.79/59.03 c CG core reduction tie 0
58.79/59.03 c CG core degree average 1.00
58.79/59.03 c CG core slack average 18.29
58.79/59.03 c CG exhausted 0
58.79/59.03 c CG exhaust time 0 s
58.79/59.03 c CG trimmed 1
58.79/59.03 c CG trim time 0.012424 s
58.79/59.03 c CG minimized 0
58.79/59.03 c CG minimize time 0 s
58.79/59.03 c CG am1 prop time 7.1e-05 s
58.79/59.03 c CG # am1s reformulated 0
58.79/59.03 c CG lower bound derived from am1s 0
58.79/59.03 c CG # clausal cores 35
58.79/59.03 c CG # cardinality cores 0
58.79/59.03 c CG # pb cores 0
58.79/59.03 c CG # pb reforms 0
58.79/59.03 c CG # cores discarded because of pb reform 0
58.79/59.03 d LOWERBOUND 39
58.79/59.03 d NCORES 36
58.79/59.03 d NPBCORES 0
58.79/59.03 d NPBREFORM 0
58.79/59.03 d NTRIMMED 1
58.79/59.03 d NEXHAUSTED 0
58.79/59.03 d NAM1S 0
58.79/59.03 d AM1LB 0
58.79/59.03 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56481 MiB free)
memory of node 1: 64465 MiB (62134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522316-1751592418/watcher-4522316-1751592418 -o /tmp/evaluation-result-4522316-1751592418/solver-4522316-1751592418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82260 --watchdog 3760 pb-oll-rs HOME/instance-4522316-1751592418.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82490, runsolver pid=82487
[startup+0.100066 s]*
/proc/loadavg: 4.60 4.25 4.07 5/267 82491
/proc/meminfo: memFree=121463856/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=22712 memory=10644 CPUtime=0.08 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 1052 0 0 0 8 0 0 0 20 0 1 0 74920451 23257088 2661 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 5678 2661 1312 243 0 1927 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22712 KiB
Current children cumulated memory: 10644 KiB
[startup+0.20594 s]*
/proc/loadavg: 4.60 4.25 4.07 5/267 82491
/proc/meminfo: memFree=121463856/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=23076 memory=11156 CPUtime=0.18 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 1149 0 0 0 18 0 0 0 20 0 1 0 74920451 23629824 2789 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 5769 2789 1344 243 0 2018 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 23076 KiB
Current children cumulated memory: 11156 KiB
[startup+0.30585 s]*
/proc/loadavg: 4.60 4.25 4.07 5/267 82491
/proc/meminfo: memFree=121463856/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=23452 memory=11540 CPUtime=0.28 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 1234 0 0 0 27 1 0 0 20 0 1 0 74920451 24014848 2885 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 5863 2885 1344 243 0 2112 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 23452 KiB
Current children cumulated memory: 11540 KiB
[startup+0.700171 s]
/proc/loadavg: 4.63 4.26 4.08 5/267 82491
/proc/meminfo: memFree=121467520/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=24692 memory=14724 CPUtime=0.67 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 1547 0 0 0 65 2 0 0 20 0 1 0 74920451 25284608 3681 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 6173 3681 1344 243 0 2422 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24692 KiB
Current children cumulated memory: 14724 KiB
[startup+1.50017 s]
/proc/loadavg: 4.63 4.26 4.08 5/266 82491
/proc/meminfo: memFree=121467520/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=29180 memory=18308 CPUtime=1.46 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 2432 0 0 0 142 4 0 0 20 0 1 0 74920451 29880320 4577 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 7295 4577 1344 243 0 3544 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 29180 KiB
Current children cumulated memory: 18308 KiB
[startup+3.10572 s]
/proc/loadavg: 4.63 4.26 4.08 5/266 82491
/proc/meminfo: memFree=121491560/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=36252 memory=22020 CPUtime=3.07 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 3383 0 0 0 299 8 0 0 20 0 1 0 74920451 37122048 5505 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 9063 5505 1344 243 0 5312 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 36252 KiB
Current children cumulated memory: 22020 KiB
[startup+6.30016 s]
/proc/loadavg: 4.66 4.27 4.08 5/266 82492
/proc/meminfo: memFree=121514476/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=48712 memory=37220 CPUtime=6.24 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 5653 0 0 0 610 14 0 0 20 0 1 0 74920451 49881088 9305 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 12178 9305 1344 243 0 8427 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 48712 KiB
Current children cumulated memory: 37220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.69 4.29 4.09 5/266 82492
/proc/meminfo: memFree=121564280/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=67976 memory=53140 CPUtime=12.63 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 8085 0 0 0 1240 23 0 0 20 0 1 0 74920451 69607424 13285 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 16994 13285 1344 243 0 13243 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 67976 KiB
Current children cumulated memory: 53140 KiB
[startup+25.5002 s]
/proc/loadavg: 4.66 4.29 4.09 5/266 82492
/proc/meminfo: memFree=121674712/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=73296 memory=62276 CPUtime=25.39 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 9348 0 0 0 2503 36 0 0 20 0 1 0 74920451 75055104 15569 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 18324 15569 1344 243 0 14573 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 73296 KiB
Current children cumulated memory: 62276 KiB
[startup+51.1058 s]
/proc/loadavg: 4.47 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121673956/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=98504 memory=76452 CPUtime=50.92 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11401 0 0 0 5035 57 0 0 20 0 1 0 74920451 100868096 19113 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24626 19113 1344 243 0 20875 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 98504 KiB
Current children cumulated memory: 76452 KiB
[startup+59.0424 s]
# the end of solver process 82490 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=58.233 s, system=0.608175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.47 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121673956/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=98504 memory=76452 CPUtime=51.02 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11404 0 0 0 5045 57 0 0 20 0 1 0 74920451 100868096 19113 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24626 19113 1344 243 0 20875 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 98504 KiB
Current children cumulated memory: 76452 KiB
[startup+54.4002 s]
/proc/loadavg: 4.47 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121674240/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=98648 memory=76708 CPUtime=54.21 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11445 0 0 0 5362 59 0 0 20 0 1 0 74920451 101015552 19177 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24662 19177 1344 243 0 20911 0
Current children cumulated CPU time: 54.21 s
Current children cumulated vsize: 98648 KiB
Current children cumulated memory: 76708 KiB
[startup+57.6002 s]
/proc/loadavg: 4.43 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121672728/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=99592 memory=77476 CPUtime=57.39 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11652 0 0 0 5679 60 0 0 20 0 1 0 74920451 101982208 19369 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24898 19369 1344 243 0 21147 0
Current children cumulated CPU time: 57.39 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 77476 KiB
[startup+58.4002 s]
/proc/loadavg: 4.43 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121672512/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=99724 memory=77604 CPUtime=58.19 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11685 0 0 0 5759 60 0 0 20 0 1 0 74920451 102117376 19401 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24931 19401 1344 243 0 21180 0
Current children cumulated CPU time: 58.19 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 77604 KiB
[startup+58.8001 s]
/proc/loadavg: 4.43 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121672512/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=99724 memory=77604 CPUtime=58.59 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11689 0 0 0 5799 60 0 0 20 0 1 0 74920451 102117376 19401 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24931 19401 1344 243 0 21180 0
Current children cumulated CPU time: 58.59 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 77604 KiB
[startup+59.0001 s]*
/proc/loadavg: 4.43 4.28 4.09 5/266 82492
/proc/meminfo: memFree=121672764/131250000 swapFree=33010672/33010684
[pid=82490] ppid=82487 vsize=99724 memory=77732 CPUtime=58.79 cores=5,7
/proc/82490/stat : 82490 (pb-oll-rs) R 82487 82490 82247 0 -1 4194304 11697 0 0 0 5819 60 0 0 20 0 1 0 74920451 102117376 19433 18446744073709551615 4218880 5211445 140727755753760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 31113216 140727755757980 140727755758057 140727755758057 140727755763659 0
/proc/82490/statm: 24931 19433 1344 243 0 21180 0
Current children cumulated CPU time: 58.79 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 77732 KiB
Child status: 0
Real time (s): 59.0425
CPU time (s): 58.8411
CPU user time (s): 58.233
CPU system time (s): 0.608175
CPU usage (%): 99.659
Max. virtual memory (cumulated for all children) (KiB): 99724
Max. memory (cumulated for all children) (KiB): 77732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.233
system time used= 0.608175
maximum resident set size= 77732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 103
# summary of solver processes directly reported to runsolver:
# pid: 82490
# total CPU time (s): 58.8411
# total CPU user time (s): 58.233
# total CPU system time (s): 0.608175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123478 second user time and 0.303591 second system time
The end
Begin job on nodeC026 at 2025-07-04 03:26:58
IDJOB=4522316
IDBENCH=178741
IDSOLVER=3345
FILE ID=nodeC026/4522316-1751592418
RUNJOBID= nodeC026-1751590160-82260
SLURM_JOB_ID= 9598846
Free space on /tmp= 430288 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522316-1751592418/watcher-4522316-1751592418 -o /tmp/evaluation-result-4522316-1751592418/solver-4522316-1751592418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82260 --watchdog 3760 pb-oll-rs HOME/instance-4522316-1751592418.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=1938695051
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.720
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.569
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3511.444
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.381
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3511.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.635
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121463616 kB
MemAvailable: 124043132 kB
Buffers: 2128 kB
Cached: 3207504 kB
SwapCached: 4 kB
Active: 5917116 kB
Inactive: 2537356 kB
Active(anon): 5253260 kB
Inactive(anon): 9688 kB
Active(file): 663856 kB
Inactive(file): 2527668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2604 kB
Writeback: 28 kB
AnonPages: 5246776 kB
Mapped: 108420 kB
Shmem: 18076 kB
KReclaimable: 448792 kB
Slab: 549008 kB
SReclaimable: 448792 kB
SUnreclaim: 100216 kB
KernelStack: 4336 kB
PageTables: 13620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5939164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3670016 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430288 MiB
End job on nodeC026 at 2025-07-04 03:27:57