0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.20/0.22 c #variables 2504 #constraints 2084
0.40/0.44 c bounds - >= 0 @ 0.209346
0.40/0.44 c rational objective 45
7.46/7.50 c #Conflicts: 1000 | #Constraints: 3090
7.46/7.50 c #Conflicts: 2000 | #Constraints: 4106
7.46/7.50 c INPROCESSING
7.46/7.50 c GARBAGE COLLECT
7.46/7.50 c #Conflicts: 3000 | #Constraints: 3922
7.46/7.50 c #Conflicts: 4000 | #Constraints: 4960
7.46/7.50 c INPROCESSING
7.46/7.50 c GARBAGE COLLECT
7.46/7.50 c #Conflicts: 5000 | #Constraints: 4352
7.46/7.50 c #Conflicts: 6000 | #Constraints: 5352
7.46/7.50 c INPROCESSING
7.46/7.50 c GARBAGE COLLECT
7.46/7.50 c rational objective 45
11.06/11.17 c #Conflicts: 7000 | #Constraints: 4346
11.06/11.17 c #Conflicts: 8000 | #Constraints: 5347
11.06/11.17 c bounds - >= 8 @ 9.93656
11.06/11.17 c #Conflicts: 9000 | #Constraints: 6350
11.06/11.17 c INPROCESSING
11.06/11.17 c GARBAGE COLLECT
11.06/11.17 c rational objective 45
15.24/15.38 c #Conflicts: 10000 | #Constraints: 5030
15.24/15.38 c #Conflicts: 11000 | #Constraints: 6030
15.24/15.38 c #Conflicts: 12000 | #Constraints: 7030
15.24/15.38 c INPROCESSING
15.24/15.38 c GARBAGE COLLECT
15.24/15.38 c rational objective 45
20.03/20.17 c #Conflicts: 13000 | #Constraints: 5494
20.03/20.17 c #Conflicts: 14000 | #Constraints: 6495
20.03/20.17 c #Conflicts: 15000 | #Constraints: 7496
20.03/20.17 c INPROCESSING
20.03/20.17 c GARBAGE COLLECT
20.03/20.17 c rational objective 45
25.81/25.92 c #Conflicts: 16000 | #Constraints: 5710
25.81/25.92 c #Conflicts: 17000 | #Constraints: 6710
25.81/25.92 c #Conflicts: 18000 | #Constraints: 7710
25.81/25.92 c INPROCESSING
25.81/25.92 c GARBAGE COLLECT
25.81/25.92 c rational objective 45
30.89/31.09 c #Conflicts: 19000 | #Constraints: 5734
30.89/31.09 c #Conflicts: 20000 | #Constraints: 6734
30.89/31.09 c #Conflicts: 21000 | #Constraints: 7734
30.89/31.09 c INPROCESSING
30.89/31.09 c GARBAGE COLLECT
30.89/31.09 c rational objective 45
38.67/38.88 c #Conflicts: 22000 | #Constraints: 5547
38.67/38.88 c #Conflicts: 23000 | #Constraints: 6548
38.67/38.88 c #Conflicts: 24000 | #Constraints: 7549
38.67/38.88 c #Conflicts: 25000 | #Constraints: 8550
38.67/38.88 c INPROCESSING
38.67/38.88 c GARBAGE COLLECT
38.67/38.88 c rational objective 45
44.74/44.93 c #Conflicts: 26000 | #Constraints: 6172
44.74/44.93 c #Conflicts: 27000 | #Constraints: 7172
44.74/44.93 c #Conflicts: 28000 | #Constraints: 8172
44.74/44.93 c #Conflicts: 29000 | #Constraints: 9172
44.74/44.93 c INPROCESSING
44.74/44.93 c GARBAGE COLLECT
44.74/44.93 c rational objective 45
59.29/59.51 c #Conflicts: 30000 | #Constraints: 6566
59.29/59.51 c #Conflicts: 31000 | #Constraints: 7567
59.29/59.51 c #Conflicts: 32000 | #Constraints: 8568
59.29/59.51 c #Conflicts: 33000 | #Constraints: 9568
59.29/59.51 c INPROCESSING
59.29/59.51 c GARBAGE COLLECT
59.29/59.51 c rational objective 45
69.46/69.76 c #Conflicts: 34000 | #Constraints: 6804
69.46/69.76 c #Conflicts: 35000 | #Constraints: 7804
69.46/69.76 c #Conflicts: 36000 | #Constraints: 8804
69.46/69.76 c #Conflicts: 37000 | #Constraints: 9804
69.46/69.76 c INPROCESSING
69.46/69.76 c GARBAGE COLLECT
69.46/69.76 c rational objective 45
79.32/79.69 c #Conflicts: 38000 | #Constraints: 6846
79.32/79.69 c #Conflicts: 39000 | #Constraints: 7846
79.32/79.69 c #Conflicts: 40000 | #Constraints: 8846
79.32/79.69 c #Conflicts: 41000 | #Constraints: 9846
79.32/79.69 c INPROCESSING
79.32/79.69 c GARBAGE COLLECT
79.32/79.69 c rational objective 45
84.21/84.59 c #Conflicts: 42000 | #Constraints: 6606
84.21/84.59 c bounds - >= 16 @ 79.0458
84.21/84.59 c #Conflicts: 43000 | #Constraints: 7609
84.21/84.59 c bounds - >= 24 @ 81.7746
84.21/84.59 c bounds - >= 24 @ 82.2008
84.21/84.59 c cpu time 82.2008 s
84.21/84.59 c deterministic time 11013282806 1.10e+10
84.21/84.59 c optimization time 0.001561 s
84.21/84.59 c total solve time 81.99 s
84.21/84.59 c core-guided solve time 39.8762 s
84.21/84.59 c propagation time 49.149 s
84.21/84.59 c conflict analysis time 21.6404 s
84.21/84.59 c propagations 12810937
84.21/84.59 c resolve steps 1200015
84.21/84.59 c decisions 1530641
84.21/84.59 c conflicts 43794
84.21/84.59 c restarts 126
84.21/84.59 c inprocessing phases 13
84.21/84.59 c input clauses 1557
84.21/84.59 c input cardinalities 530
84.21/84.59 c input general constraints 8
84.21/84.59 c input average constraint length 427.39
84.21/84.59 c input average constraint degree 4.28
84.21/84.59 c learned clauses 17398
84.21/84.59 c learned cardinalities 2874
84.21/84.59 c learned general constraints 23598
84.21/84.59 c learned average constraint length 1092.41
84.21/84.59 c learned average constraint degree 81957617.52
84.21/84.59 c watched constraints 19710
84.21/84.59 c counting constraints 3896
84.21/84.59 c gcd simplifications 154
84.21/84.59 c detected cardinalities 5
84.21/84.59 c weakened non-implied lits 13077097
84.21/84.59 c weakened non-implying lits 9429
84.21/84.59 c original variables 2504
84.21/84.59 c clausal propagations 2692978
84.21/84.59 c cardinality propagations 6466459
84.21/84.59 c watched propagations 1604455
84.21/84.59 c counting propagations 1440734
84.21/84.59 c watch lookups 1061690061
84.21/84.59 c watch backjump lookups 977843985
84.21/84.59 c watch checks 6637767211
84.21/84.59 c propagation checks 1984139442
84.21/84.59 c constraint additions 323068375
84.21/84.59 c trail pops 14383543
84.21/84.59 c formula constraints 2084
84.21/84.59 c learned constraints 43780
84.21/84.59 c bound constraints 3
84.21/84.59 c core-guided constraints 8
84.21/84.59 c encountered formula constraints 933036
84.21/84.59 c encountered learned constraints 308078
84.21/84.59 c encountered bound constraints 0
84.21/84.59 c encountered core-guided constraints 2645
84.21/84.59 c LP total time 14.7526 s
84.21/84.59 c LP solve time 7.31 s
84.21/84.59 c LP constraints added 2176
84.21/84.59 c LP constraints removed 80
84.21/84.59 c LP pivots internal 43963
84.21/84.59 c LP pivots root 4647
84.21/84.59 c LP calls 157
84.21/84.59 c LP optimalities 78
84.21/84.59 c LP no pivot count 5
84.21/84.59 c LP infeasibilities 76
84.21/84.59 c LP valid Farkas constraints 75
84.21/84.59 c LP learned Farkas constraints 12
84.21/84.59 c LP basis resets 2
84.21/84.59 c LP cycling count 1
84.21/84.59 c LP singular count 0
84.21/84.59 c LP no primal count 0
84.21/84.59 c LP no farkas count 1
84.21/84.59 c LP other issue count 0
84.21/84.59 c LP Gomory cuts 3
84.21/84.59 c LP learned cuts 89
84.21/84.59 c LP deleted cuts 80
84.21/84.59 c LP encountered Gomory constraints 0
84.21/84.59 c LP encountered Farkas constraints 13
84.21/84.59 c LP encountered learned Farkas constraints 25
84.21/84.59 c CG auxiliary variables introduced 3
84.21/84.59 c CG solutions found 0
84.21/84.59 c CG cores constructed 3
84.21/84.59 c CG core cardinality constraints returned 0
84.21/84.59 c CG unit cores 0
84.21/84.59 c CG single cores 3
84.21/84.59 c CG blocks removed during cardinality reduction 0
84.21/84.59 c CG first core best 0
84.21/84.59 c CG decision core best 0
84.21/84.59 c CG core reduction tie 0
84.21/84.59 c CG core degree average 1.00
84.21/84.59 c CG core slack average 148.67
84.21/84.59 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: 63968 MiB (61284 MiB free)
memory of node 1: 64473 MiB (56251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459454-1721900000/watcher-4459454-1721900000 -o /tmp/evaluation-result-4459454-1721900000/solver-4459454-1721900000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721898306-234122 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459454-1721900000.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=235197, runsolver pid=235194
[startup+0.100093 s]*
/proc/loadavg: 4.13 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120353412/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=38236 memory=7940 CPUtime=0.09 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 1009 0 0 0 9 0 0 0 20 0 1 0 26529082 39153664 1985 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 9559 1985 1251 922 0 1511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38236 KiB
Current children cumulated memory: 7940 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.13 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120351000/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=39624 memory=12664 CPUtime=0.2 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 1478 0 0 0 20 0 0 0 20 0 1 0 26529082 40574976 3166 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 9906 3166 1565 922 0 1858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39624 KiB
Current children cumulated memory: 12664 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.13 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120286276/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=102444 memory=76000 CPUtime=0.3 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 15109 0 0 0 26 4 0 0 20 0 1 0 26529082 104902656 19000 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 25611 19000 1644 922 0 17563 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 76000 KiB
[startup+0.700228 s]
/proc/loadavg: 4.13 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120300512/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=88064 memory=61620 CPUtime=0.68 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 15115 0 0 0 64 4 0 0 20 0 1 0 26529082 90177536 15405 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 22016 15405 1644 922 0 13968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88064 KiB
Current children cumulated memory: 61620 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120297808/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=101076 memory=72128 CPUtime=1.48 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 16743 0 0 0 139 9 0 0 20 0 1 0 26529082 103501824 18032 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 25269 18032 1835 922 0 17221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101076 KiB
Current children cumulated memory: 72128 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.11 3.91 5/257 235198
/proc/meminfo: memFree=120274272/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=116692 memory=88688 CPUtime=3.08 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 19374 0 0 0 293 15 0 0 20 0 1 0 26529082 119492608 22172 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 29173 22172 1835 922 0 21125 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116692 KiB
Current children cumulated memory: 88688 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.11 3.91 5/257 235200
/proc/meminfo: memFree=120241556/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=153332 memory=119964 CPUtime=6.26 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 21706 0 0 0 599 27 0 0 20 0 1 0 26529082 157011968 29991 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 38333 29991 1851 922 0 30285 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 153332 KiB
Current children cumulated memory: 119964 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 3.91 5/257 235200
/proc/meminfo: memFree=120232440/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=158316 memory=129044 CPUtime=12.65 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 22585 0 0 0 1219 46 0 0 20 0 1 0 26529082 162115584 32261 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 39579 32261 1851 922 0 31531 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158316 KiB
Current children cumulated memory: 129044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 3.92 5/256 235203
/proc/meminfo: memFree=120196584/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=177284 memory=137592 CPUtime=25.41 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 23258 0 0 0 2461 80 0 0 20 0 1 0 26529082 181538816 34398 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 44321 34398 1851 922 0 36273 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 177284 KiB
Current children cumulated memory: 137592 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 3.92 5/256 235206
/proc/meminfo: memFree=120173128/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=187284 memory=154920 CPUtime=50.92 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 25727 0 0 0 4939 153 0 0 20 0 1 0 26529082 191778816 38730 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 46821 38730 1851 922 0 38773 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187284 KiB
Current children cumulated memory: 154920 KiB
[startup+84.6057 s]
# the end of solver process 235197 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=82.2028 s, system=2.12001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2015 s]
/proc/loadavg: 4.11 4.11 3.92 5/256 235206
/proc/meminfo: memFree=120173128/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=187284 memory=154920 CPUtime=51.02 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 25728 0 0 0 4948 154 0 0 20 0 1 0 26529082 191778816 38730 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 46821 38730 1851 922 0 38773 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 187284 KiB
Current children cumulated memory: 154920 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.08 4.10 3.93 5/256 235210
/proc/meminfo: memFree=120159176/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=197720 memory=167992 CPUtime=63.78 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 28084 0 0 0 6192 186 0 0 20 0 1 0 26529082 202465280 41998 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 49430 41998 1851 922 0 41382 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 197720 KiB
Current children cumulated memory: 167992 KiB
[startup+76.8002 s]
/proc/loadavg: 4.14 4.11 3.93 5/256 235211
/proc/meminfo: memFree=120156292/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=200964 memory=170912 CPUtime=76.54 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 28925 0 0 0 7456 198 0 0 20 0 1 0 26529082 205787136 42728 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 50241 42728 1851 922 0 42193 0
Current children cumulated CPU time: 76.54 s
Current children cumulated vsize: 200964 KiB
Current children cumulated memory: 170912 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.13 4.11 3.93 5/256 235211
/proc/meminfo: memFree=120144412/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=231784 memory=178412 CPUtime=79.73 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 29813 0 0 0 7773 200 0 0 20 0 1 0 26529082 237346816 44603 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 57946 44603 1851 922 0 49898 0
Current children cumulated CPU time: 79.73 s
Current children cumulated vsize: 231784 KiB
Current children cumulated memory: 178412 KiB
[startup+83.2002 s]
/proc/loadavg: 4.12 4.11 3.93 5/256 235211
/proc/meminfo: memFree=120140132/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=231784 memory=178668 CPUtime=82.92 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 29897 0 0 0 8083 209 0 0 20 0 1 0 26529082 237346816 44667 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 57946 44667 1851 922 0 49898 0
Current children cumulated CPU time: 82.92 s
Current children cumulated vsize: 231784 KiB
Current children cumulated memory: 178668 KiB
[startup+84.0002 s]*
/proc/loadavg: 4.12 4.11 3.93 5/256 235213
/proc/meminfo: memFree=120140076/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=231784 memory=178668 CPUtime=83.72 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 29897 0 0 0 8162 210 0 0 20 0 1 0 26529082 237346816 44667 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 57946 44667 1851 922 0 49898 0
Current children cumulated CPU time: 83.72 s
Current children cumulated vsize: 231784 KiB
Current children cumulated memory: 178668 KiB
[startup+84.4002 s]
/proc/loadavg: 4.12 4.11 3.93 5/256 235213
/proc/meminfo: memFree=120140076/131524600 swapFree=131057124/131071996
[pid=235197] ppid=235194 vsize=231784 memory=178668 CPUtime=84.11 cores=0,2
/proc/235197/stat : 235197 (roundingsat) R 235194 235197 234112 0 -1 4194304 29897 0 0 0 8200 211 0 0 20 0 1 0 26529082 237346816 44667 134679101440 4194304 7968373 140732717525632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35553280 140732717532094 140732717532258 140732717532258 140732717539273 0
/proc/235197/statm: 57946 44667 1851 922 0 49898 0
Current children cumulated CPU time: 84.11 s
Current children cumulated vsize: 231784 KiB
Current children cumulated memory: 178668 KiB
[startup+84.6002 s]*
/proc/loadavg: 4.12 4.11 3.93 5/256 235213
/proc/meminfo: memFree=120216004/131524600 swapFree=131057124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 84.6057
CPU time (s): 84.3228
CPU user time (s): 82.2028
CPU system time (s): 2.12001
CPU usage (%): 99.6656
Max. virtual memory (cumulated for all children) (KiB): 231784
Max. memory (cumulated for all children) (KiB): 178668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.2028
system time used= 2.12001
maximum resident set size= 178668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29905
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= 5
involuntary context switches= 657
# summary of solver processes directly reported to runsolver:
# pid: 235197
# total CPU time (s): 84.3228
# total CPU user time (s): 82.2028
# total CPU system time (s): 2.12001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179185 second user time and 0.40811 second system time
The end
Begin job on nodeC025 at 2024-07-25 11:33:20
IDJOB=4459454
IDBENCH=178796
IDSOLVER=3084
FILE ID=nodeC025/4459454-1721900000
RUNJOBID= nodeC025-1721898306-234122
SLURM_JOB_ID= 8089358
Free space on /tmp= 889996 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-859770.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459454-1721900000/watcher-4459454-1721900000 -o /tmp/evaluation-result-4459454-1721900000/solver-4459454-1721900000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721898306-234122 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4459454-1721900000.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=783041239
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3661.444
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
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 : 3675.748
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3650.803
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
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 : 3599.763
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3668.352
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
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 : 3675.794
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3605.702
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120357316 kB
MemAvailable: 123250988 kB
Buffers: 316664 kB
Cached: 3376024 kB
SwapCached: 268 kB
Active: 2519160 kB
Inactive: 7974096 kB
Active(anon): 4560 kB
Inactive(anon): 6848876 kB
Active(file): 2514600 kB
Inactive(file): 1125220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057124 kB
Dirty: 12872 kB
Writeback: 0 kB
AnonPages: 6797188 kB
Mapped: 120800 kB
Shmem: 52872 kB
KReclaimable: 187352 kB
Slab: 312248 kB
SReclaimable: 187352 kB
SUnreclaim: 124896 kB
KernelStack: 4128 kB
PageTables: 23168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9182052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3635200 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 379604 kB
DirectMap2M: 40288256 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC025 at 2024-07-25 11:34:45