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 (60710 MiB free)
memory of node 1: 64473 MiB (62822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444021-1721310193/watcher-4444021-1721310193 -o /tmp/evaluation-result-4444021-1721310193/solver-4444021-1721310193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721306137-959058 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4444021-1721310193.opb -total-t=3600 -no-par -v0
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 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=962473, runsolver pid=962470
[startup+0.100096 s]*
/proc/loadavg: 4.16 4.13 4.10 5/257 962474
/proc/meminfo: memFree=126476652/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=38016 memory=19692 CPUtime=0.09 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 4281 0 0 0 9 0 0 0 20 0 1 0 183188232 38928384 4923 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 9504 4923 750 2417 0 6606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38016 KiB
Current children cumulated memory: 19692 KiB
[startup+0.205482 s]*
/proc/loadavg: 4.16 4.13 4.10 5/257 962474
/proc/meminfo: memFree=126467336/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=54612 memory=36104 CPUtime=0.2 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 8396 0 0 0 19 1 0 0 20 0 1 0 183188232 55922688 9026 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 13653 9026 750 2417 0 10755 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54612 KiB
Current children cumulated memory: 36104 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.16 4.13 4.10 5/257 962474
/proc/meminfo: memFree=126447076/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=70116 memory=51560 CPUtime=0.3 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 12282 0 0 0 29 1 0 0 20 0 1 0 183188232 71798784 12890 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 17529 12890 750 2417 0 14631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70116 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700229 s]
/proc/loadavg: 4.16 4.13 4.10 4/255 962474
/proc/meminfo: memFree=126951816/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=109236 memory=94468 CPUtime=0.68 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 22904 0 0 0 66 2 0 0 20 0 1 0 183188232 111857664 23617 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 27309 23617 782 2417 0 24411 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109236 KiB
Current children cumulated memory: 94468 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.13 4.10 6/255 962488
/proc/meminfo: memFree=126931688/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=116100 memory=98108 CPUtime=1.49 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 24530 0 0 0 146 3 0 0 20 0 1 0 183188232 118886400 24527 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 29025 24527 814 2417 0 26127 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 116100 KiB
Current children cumulated memory: 98108 KiB
[startup+3.10572 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 962520
/proc/meminfo: memFree=126919456/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=134844 memory=112480 CPUtime=3.09 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 26607 0 0 0 305 4 0 0 20 0 1 0 183188232 138080256 28120 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 33711 28120 814 2417 0 30813 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 134844 KiB
Current children cumulated memory: 112480 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 962522
/proc/meminfo: memFree=126768676/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=134840 memory=120848 CPUtime=6.27 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 27545 0 0 0 622 5 0 0 20 0 1 0 183188232 138076160 30212 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 33710 30212 814 2417 0 30812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 134840 KiB
Current children cumulated memory: 120848 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 962522
/proc/meminfo: memFree=126743796/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=134840 memory=120996 CPUtime=12.65 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 27573 0 0 0 1260 5 0 0 20 0 1 0 183188232 138076160 30249 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 33710 30249 814 2417 0 30812 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134840 KiB
Current children cumulated memory: 120996 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 962525
/proc/meminfo: memFree=126736468/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=134840 memory=120996 CPUtime=25.42 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 27601 0 0 0 2537 5 0 0 20 0 1 0 183188232 138076160 30249 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 33710 30249 814 2417 0 30812 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 134840 KiB
Current children cumulated memory: 120996 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 962529
/proc/meminfo: memFree=126695100/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=153696 memory=139796 CPUtime=50.95 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 28804 0 0 0 5089 6 0 0 20 0 1 0 183188232 157384704 34949 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 38424 34949 814 2417 0 35526 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 153696 KiB
Current children cumulated memory: 139796 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/257 962675
/proc/meminfo: memFree=126873820/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=153696 memory=139908 CPUtime=101.99 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 28947 0 0 0 10193 6 0 0 20 0 1 0 183188232 157384704 34977 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 38424 34977 814 2417 0 35526 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 153696 KiB
Current children cumulated memory: 139908 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.18 4.11 5/255 964018
/proc/meminfo: memFree=126844964/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=153948 memory=140160 CPUtime=161.84 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 30675 0 0 0 16177 7 0 0 20 0 1 0 183188232 157642752 35040 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 38487 35040 814 2417 0 35589 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 153948 KiB
Current children cumulated memory: 140160 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/255 964029
/proc/meminfo: memFree=126818964/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=221.7 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31024 0 0 0 22163 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/255 964131
/proc/meminfo: memFree=126858112/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=281.53 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31088 0 0 0 28146 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 964141
/proc/meminfo: memFree=126819688/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=341.36 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31149 0 0 0 34129 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 964152
/proc/meminfo: memFree=126809812/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=401.19 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31210 0 0 0 40112 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 964167
/proc/meminfo: memFree=126808860/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=461.02 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31272 0 0 0 46095 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 964178
/proc/meminfo: memFree=126797220/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=520.85 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31336 0 0 0 52078 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 520.85 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/256 964189
/proc/meminfo: memFree=126772312/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=580.7 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31401 0 0 0 58063 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 580.7 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 964199
/proc/meminfo: memFree=126771384/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=640.55 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31465 0 0 0 64048 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+702.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 964211
/proc/meminfo: memFree=126763304/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=700.4 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31532 0 0 0 70033 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 700.4 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+762.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/258 964608
/proc/meminfo: memFree=126856972/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=760.26 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31600 0 0 0 76019 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 760.26 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+822.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 964618
/proc/meminfo: memFree=126856708/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=820.11 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31667 0 0 0 82004 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 820.11 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+882.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 964629
/proc/meminfo: memFree=126853852/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=879.96 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31731 0 0 0 87989 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 879.96 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+942.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 964807
/proc/meminfo: memFree=126852228/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=939.81 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31797 0 0 0 93974 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 939.81 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 964818
/proc/meminfo: memFree=126861988/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=999.66 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31865 0 0 0 99959 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 999.66 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+1006.48 s]
# the end of solver process 962473 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1003.77 s, system=0.080755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1004.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 964818
/proc/meminfo: memFree=126847800/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=1002.15 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31865 0 0 0 100208 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 1002.15 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+1005.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 964819
/proc/meminfo: memFree=126845080/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=1002.95 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31865 0 0 0 100288 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 1002.95 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+1006 s]*
/proc/loadavg: 4.08 4.12 4.09 5/256 964819
/proc/meminfo: memFree=126844520/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=1003.35 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31865 0 0 0 100328 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 1003.35 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
[startup+1006.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 964819
/proc/meminfo: memFree=126844520/131524600 swapFree=131071996/131071996
[pid=962473] ppid=962470 vsize=184380 memory=147532 CPUtime=1003.75 cores=5,7
/proc/962473/stat : 962473 (CASHWMaxSAT-Dis) R 962470 962473 959045 0 -1 4194304 31865 0 0 0 100368 7 0 0 20 0 1 0 183188232 188805120 36883 134679101440 4194304 14093885 140735943918272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31932416 140735943926756 140735943926871 140735943926871 140735943933887 0
/proc/962473/statm: 46095 36883 814 2417 0 43197 0
Current children cumulated CPU time: 1003.75 s
Current children cumulated vsize: 184380 KiB
Current children cumulated memory: 147532 KiB
Child status: 30
Real time (s): 1006.48
CPU time (s): 1003.85
CPU user time (s): 1003.77
CPU system time (s): 0.080755
CPU usage (%): 99.738
Max. virtual memory (cumulated for all children) (KiB): 184380
Max. memory (cumulated for all children) (KiB): 147532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1003.77
system time used= 0.080755
maximum resident set size= 147532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31865
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= 35
involuntary context switches= 375
# summary of solver processes directly reported to runsolver:
# pid: 962473
# total CPU time (s): 1003.85
# total CPU user time (s): 1003.77
# total CPU system time (s): 0.080755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92256 second user time and 4.4139 second system time
The end
Begin job on nodeC032 at 2024-07-18 15:43:25
IDJOB=4444021
IDBENCH=147893
IDSOLVER=3077
FILE ID=nodeC032/4444021-1721310193
RUNJOBID= nodeC032-1721306137-959058
SLURM_JOB_ID= 7542638
Free space on /tmp= 890020 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444021-1721310193/watcher-4444021-1721310193 -o /tmp/evaluation-result-4444021-1721310193/solver-4444021-1721310193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721306137-959058 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4444021-1721310193.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=411139370
nodeC032.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 : 3662.855
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.33
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 : 3667.777
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
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.33
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 : 3600.117
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.03
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 : 3662.899
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.33
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 : 3669.232
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.03
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 : 3600.023
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.33
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 : 3662.473
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126498932 kB
MemAvailable: 129037108 kB
Buffers: 498060 kB
Cached: 2855360 kB
SwapCached: 0 kB
Active: 964096 kB
Inactive: 3405940 kB
Active(anon): 1580 kB
Inactive(anon): 1052784 kB
Active(file): 962516 kB
Inactive(file): 2353156 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16044 kB
Writeback: 0 kB
AnonPages: 1014864 kB
Mapped: 115884 kB
Shmem: 37720 kB
KReclaimable: 124652 kB
Slab: 239984 kB
SReclaimable: 124652 kB
SUnreclaim: 115332 kB
KernelStack: 4108 kB
PageTables: 11316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1561200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC032 at 2024-07-18 16:00:12