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: 63931 MiB (60054 MiB free)
  memory of node 1: 64510 MiB (60675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438687-1721210929/watcher-4438687-1721210929 -o /tmp/evaluation-result-4438687-1721210929/solver-4438687-1721210929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721207325-923712 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438687-1721210929.opb -total-t=3600 -no-par -v0 

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=925874, runsolver pid=925871

[startup+0.100957 s]*
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123598156/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=43168 memory=34276 CPUtime=0.09 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 6431 0 0 0 9 0 0 0 20 0 1 0 173258216 44204032 8569 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 10792 8569 2746 2726 0 7540 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 34276 KiB

[startup+0.205461 s]*
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123595808/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=44000 memory=35064 CPUtime=0.19 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 6625 0 0 0 19 0 0 0 20 0 1 0 173258216 45056000 8766 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 11000 8766 2746 2726 0 7748 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44000 KiB
Current children cumulated memory: 35064 KiB

[startup+0.305287 s]*
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123584720/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=47960 memory=38804 CPUtime=0.29 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 7570 0 0 0 29 0 0 0 20 0 1 0 173258216 49111040 9701 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 11990 9701 2762 2726 0 8738 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47960 KiB
Current children cumulated memory: 38804 KiB

[startup+0.700138 s]
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123574640/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=48764 memory=39328 CPUtime=0.68 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 7708 0 0 0 68 0 0 0 20 0 1 0 173258216 49934336 9832 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 12191 9832 2762 2726 0 8939 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48764 KiB
Current children cumulated memory: 39328 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123568172/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=53656 memory=43552 CPUtime=1.48 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 8721 0 0 0 147 1 0 0 20 0 1 0 173258216 54943744 10888 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 13414 10888 2762 2726 0 10162 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53656 KiB
Current children cumulated memory: 43552 KiB

[startup+3.10531 s]
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123496512/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=84508 memory=73120 CPUtime=3.08 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 16140 0 0 0 306 2 0 0 20 0 1 0 173258216 86536192 18280 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 21127 18280 2762 2726 0 17875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84508 KiB
Current children cumulated memory: 73120 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.14 4.09 5/256 925876
/proc/meminfo: memFree=123437972/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=141864 memory=128032 CPUtime=6.26 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 29870 0 0 0 623 3 0 0 20 0 1 0 173258216 145268736 32008 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 35466 32008 2762 2726 0 32214 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141864 KiB
Current children cumulated memory: 128032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 6/256 925876
/proc/meminfo: memFree=123431600/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=146620 memory=132476 CPUtime=12.65 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 32099 0 0 0 1261 4 0 0 20 0 1 0 173258216 150138880 33119 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 36655 33119 2762 2726 0 33403 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 146620 KiB
Current children cumulated memory: 132476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.09 5/256 925878
/proc/meminfo: memFree=123351620/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=158016 memory=142772 CPUtime=25.41 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 34696 0 0 0 2537 4 0 0 20 0 1 0 173258216 161808384 35693 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 39504 35693 2762 2726 0 36252 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158016 KiB
Current children cumulated memory: 142772 KiB

[startup+51.1052 s]
/proc/loadavg: 4.18 4.16 4.10 5/256 925883
/proc/meminfo: memFree=123142480/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=232916 memory=213536 CPUtime=50.92 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 54116 0 0 0 5085 7 0 0 20 0 1 0 173258216 238505984 53384 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 58229 53384 2762 2726 0 54977 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 232916 KiB
Current children cumulated memory: 213536 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 925897
/proc/meminfo: memFree=123021348/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=260312 memory=240248 CPUtime=101.96 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 65194 0 0 0 10186 10 0 0 20 0 1 0 173258216 266559488 60062 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 65078 60062 2762 2726 0 61826 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 260312 KiB
Current children cumulated memory: 240248 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/258 925908
/proc/meminfo: memFree=122654172/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=352352 memory=318648 CPUtime=161.76 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 84778 0 0 0 16161 15 0 0 20 0 1 0 173258216 360808448 79662 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 88088 79662 2762 2726 0 84836 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 352352 KiB
Current children cumulated memory: 318648 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 925918
/proc/meminfo: memFree=122538780/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=391608 memory=353208 CPUtime=221.56 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 93630 0 0 0 22139 17 0 0 20 0 1 0 173258216 401006592 88302 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 97902 88302 2762 2726 0 94650 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 391608 KiB
Current children cumulated memory: 353208 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 925930
/proc/meminfo: memFree=122489004/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=415164 memory=376104 CPUtime=281.38 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 100348 0 0 0 28119 19 0 0 20 0 1 0 173258216 425127936 94026 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 103791 94026 2762 2726 0 100539 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 415164 KiB
Current children cumulated memory: 376104 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/258 925941
/proc/meminfo: memFree=122458456/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=421744 memory=381788 CPUtime=341.19 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 102072 0 0 0 34099 20 0 0 20 0 1 0 173258216 431865856 95447 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 105436 95447 2762 2726 0 102184 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 421744 KiB
Current children cumulated memory: 381788 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 925951
/proc/meminfo: memFree=122452052/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=423212 memory=382488 CPUtime=400.99 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 102463 0 0 0 40079 20 0 0 20 0 1 0 173258216 433369088 95622 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 105803 95622 2762 2726 0 102551 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 423212 KiB
Current children cumulated memory: 382488 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/256 925962
/proc/meminfo: memFree=122443172/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=423212 memory=383000 CPUtime=460.81 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 103070 0 0 0 46060 21 0 0 20 0 1 0 173258216 433369088 95750 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 105803 95750 2762 2726 0 102551 0

################
# More data... #
################

Current children cumulated memory: 441348 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 927412
/proc/meminfo: memFree=122398360/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=2852.96 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 165773 0 0 0 285259 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 2852.96 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 927423
/proc/meminfo: memFree=122397900/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=2912.74 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 165839 0 0 0 291237 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 927602
/proc/meminfo: memFree=122397148/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=2972.51 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 165906 0 0 0 297214 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 2972.51 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 927612
/proc/meminfo: memFree=122396236/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3032.29 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 165975 0 0 0 303192 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3032.29 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 927626
/proc/meminfo: memFree=122395784/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3092.07 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166043 0 0 0 309170 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3092.07 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 927648
/proc/meminfo: memFree=122394984/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3151.84 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166108 0 0 0 315147 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 927658
/proc/meminfo: memFree=122394632/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3211.61 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166175 0 0 0 321124 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 927669
/proc/meminfo: memFree=122393792/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3271.39 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166241 0 0 0 327102 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/256 927680
/proc/meminfo: memFree=122393132/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3331.17 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166311 0 0 0 333080 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 927691
/proc/meminfo: memFree=122392216/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3390.94 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166379 0 0 0 339057 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3390.94 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 927701
/proc/meminfo: memFree=122391612/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3450.72 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166448 0 0 0 345035 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/255 927713
/proc/meminfo: memFree=122390896/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3510.5 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166520 0 0 0 351013 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3510.5 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/255 927723
/proc/meminfo: memFree=122390168/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3570.28 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166593 0 0 0 356991 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3570.28 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.45 4.21 4.12 5/255 927867
/proc/meminfo: memFree=122774128/131524600 swapFree=131071996/131071996
[pid=925874] ppid=925871 vsize=448344 memory=441348 CPUtime=3600.06 cores=0,2
/proc/925874/stat : 925874 (CASHWMaxSAT-Dis) R 925871 925874 923702 0 -1 4194304 166648 0 0 0 359969 37 0 0 20 0 1 0 173258216 459104256 110337 134679101440 4194304 15356333 140723562411216 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49135616 140723562419170 140723562419286 140723562419286 140723562426302 0
/proc/925874/statm: 112086 110337 2810 2726 0 108834 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 441348 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.2 s]
# the end of solver process 925874 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.7 s, system=0.377235 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3612.2
CPU time (s): 3600.08
CPU user time (s): 3599.7
CPU system time (s): 0.377235
CPU usage (%): 99.6643
Max. virtual memory (cumulated for all children) (KiB): 637320
Max. memory (cumulated for all children) (KiB): 620752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.377235
maximum resident set size= 620752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166650
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= 76
involuntary context switches= 24667


# summary of solver processes directly reported to runsolver:
#   pid: 925874
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.7
#   total CPU system time (s): 0.377235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56186 second user time and 15.8467 second system time

The end