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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459251-1721884225/watcher-4459251-1721884225 -o /tmp/evaluation-result-4459251-1721884225/solver-4459251-1721884225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211408 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4459251-1721884225.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=216478, runsolver pid=216475

[startup+0.10041 s]*
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108739880/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=49356 memory=39592 CPUtime=0.09 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 7615 0 0 0 8 1 0 0 20 0 1 0 24946645 50540544 9832 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 12339 9832 2526 2594 0 9232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49356 KiB
Current children cumulated memory: 39592 KiB

[startup+0.206295 s]*
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108728456/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=60052 memory=50268 CPUtime=0.2 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 10330 0 0 0 19 1 0 0 20 0 1 0 24946645 61493248 12567 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 15013 12567 2558 2594 0 11906 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60052 KiB
Current children cumulated memory: 50268 KiB

[startup+0.30644 s]*
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108727108/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=61748 memory=51588 CPUtime=0.29 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 10607 0 0 0 28 1 0 0 20 0 1 0 24946645 63229952 12897 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 15437 12897 2558 2594 0 12330 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61748 KiB
Current children cumulated memory: 51588 KiB

[startup+0.700254 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108712168/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=77596 memory=67124 CPUtime=0.68 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 15263 0 0 0 66 2 0 0 20 0 1 0 24946645 79458304 16781 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 19399 16781 2654 2594 0 16292 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77596 KiB
Current children cumulated memory: 67124 KiB

[startup+1.50026 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108710824/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=79056 memory=68444 CPUtime=1.48 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 15569 0 0 0 146 2 0 0 20 0 1 0 24946645 80953344 17111 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 19764 17111 2654 2594 0 16657 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 68444 KiB

[startup+3.1063 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 216479
/proc/meminfo: memFree=108710392/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=79552 memory=68708 CPUtime=3.08 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 15635 0 0 0 306 2 0 0 20 0 1 0 24946645 81461248 17177 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 19888 17177 2654 2594 0 16781 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79552 KiB
Current children cumulated memory: 68708 KiB

[startup+6.30024 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 216481
/proc/meminfo: memFree=108706516/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=85900 memory=72472 CPUtime=6.27 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 16956 0 0 0 624 3 0 0 20 0 1 0 24946645 87961600 18118 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 21475 18118 2670 2594 0 18368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85900 KiB
Current children cumulated memory: 72472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 216481
/proc/meminfo: memFree=108700912/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=98008 memory=79864 CPUtime=12.63 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 18787 0 0 0 1260 3 0 0 20 0 1 0 24946645 100360192 19966 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 24502 19966 2670 2594 0 21395 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 98008 KiB
Current children cumulated memory: 79864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 216483
/proc/meminfo: memFree=108676520/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=122984 memory=100768 CPUtime=25.39 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 24350 0 0 0 2535 4 0 0 20 0 1 0 24946645 125935616 25192 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 30746 25192 2670 2594 0 27639 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 122984 KiB
Current children cumulated memory: 100768 KiB

[startup+51.106 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 216487
/proc/meminfo: memFree=108469208/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=122984 memory=100768 CPUtime=50.92 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 24353 0 0 0 5088 4 0 0 20 0 1 0 24946645 125935616 25192 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 30746 25192 2670 2594 0 27639 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 122984 KiB
Current children cumulated memory: 100768 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 216498
/proc/meminfo: memFree=108663628/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=122984 memory=100768 CPUtime=101.97 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 24353 0 0 0 10193 4 0 0 20 0 1 0 24946645 125935616 25192 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 30746 25192 2670 2594 0 27639 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 122984 KiB
Current children cumulated memory: 100768 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 216509
/proc/meminfo: memFree=108648388/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=141940 memory=120960 CPUtime=161.73 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 30539 0 0 0 16168 5 0 0 20 0 1 0 24946645 145346560 30240 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 35485 30240 2938 2594 0 32378 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 141940 KiB
Current children cumulated memory: 120960 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 216520
/proc/meminfo: memFree=108497468/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=157616 memory=135516 CPUtime=221.57 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 34869 0 0 0 22151 6 0 0 20 0 1 0 24946645 161398784 33879 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 39404 33879 2938 2594 0 36297 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 157616 KiB
Current children cumulated memory: 135516 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 216530
/proc/meminfo: memFree=108613900/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=167648 memory=146868 CPUtime=281.4 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 37659 0 0 0 28127 13 0 0 20 0 1 0 24946645 171671552 36717 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 41912 36717 2938 2594 0 38805 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 167648 KiB
Current children cumulated memory: 146868 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/254 216541
/proc/meminfo: memFree=108610940/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=167704 memory=146920 CPUtime=341.17 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 37833 0 0 0 34100 17 0 0 20 0 1 0 24946645 171728896 36730 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 41926 36730 2938 2594 0 38819 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 167704 KiB
Current children cumulated memory: 146920 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 216553
/proc/meminfo: memFree=108409192/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=167704 memory=146920 CPUtime=400.93 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 37843 0 0 0 40075 18 0 0 20 0 1 0 24946645 171728896 36730 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 41926 36730 2938 2594 0 38819 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 167704 KiB
Current children cumulated memory: 146920 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/254 216563
/proc/meminfo: memFree=108571396/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=191424 memory=168976 CPUtime=460.74 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 43396 0 0 0 46055 19 0 0 20 0 1 0 24946645 196018176 42244 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 47856 42244 2938 2594 0 44749 0

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

Current children cumulated memory: 444684 KiB

[startup+2922.3 s]
/proc/loadavg: 2.35 2.59 3.07 3/243 218295
/proc/meminfo: memFree=110066624/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=2914.23 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 183972 0 0 0 291380 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+2982.3 s]
/proc/loadavg: 2.19 2.50 3.01 3/243 218305
/proc/meminfo: memFree=110066132/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=2974.08 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184043 0 0 0 297365 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3042.3 s]
/proc/loadavg: 2.07 2.41 2.94 3/242 218329
/proc/meminfo: memFree=110065176/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3033.92 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184153 0 0 0 303349 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.36 2.89 3/243 218343
/proc/meminfo: memFree=110064636/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3093.77 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184222 0 0 0 309334 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.31 2.84 3/243 218353
/proc/meminfo: memFree=110063728/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3153.62 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184299 0 0 0 315319 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3222.3 s]
/proc/loadavg: 2.07 2.26 2.79 3/242 218363
/proc/meminfo: memFree=110063092/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3213.46 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184408 0 0 0 321303 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.23 2.74 3/242 218374
/proc/meminfo: memFree=110062364/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3273.31 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184501 0 0 0 327288 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3342.3 s]
/proc/loadavg: 2.07 2.20 2.70 3/241 218385
/proc/meminfo: memFree=110061440/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3333.15 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184601 0 0 0 333272 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 2.19 2.66 3/240 218395
/proc/meminfo: memFree=110060948/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3393 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184713 0 0 0 339257 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.17 2.62 3/240 218405
/proc/meminfo: memFree=110060164/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3452.85 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184821 0 0 0 345242 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.17 2.60 3/240 218416
/proc/meminfo: memFree=110059492/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3512.69 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 184919 0 0 0 351226 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

[startup+3582.3 s]
/proc/loadavg: 2.17 2.17 2.57 3/241 218427
/proc/meminfo: memFree=110058632/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3572.54 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 185034 0 0 0 357211 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.11 2.15 2.55 3/243 218437
/proc/meminfo: memFree=110058040/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3600.06 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 185078 0 0 0 359963 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.64 s, system=0.436619 s

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

[startup+3609.9 s]
/proc/loadavg: 2.11 2.15 2.55 3/243 218437
/proc/meminfo: memFree=110058040/131524600 swapFree=131054736/131071996
[pid=216478] ppid=216475 vsize=450392 memory=444684 CPUtime=3600.06 cores=5,7
/proc/216478/stat : 216478 (CASHWMaxSAT-Dis) R 216475 216478 211395 0 -1 4194304 185078 0 0 0 359963 43 0 0 20 0 1 0 24946645 461201408 111171 134679101440 4194304 14817773 140726298963648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34820096 140726298969061 140726298969176 140726298969176 140726298976191 0
/proc/216478/statm: 112598 111171 2986 2594 0 109491 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 450392 KiB
Current children cumulated memory: 444684 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.08
CPU user time (s): 3599.64
CPU system time (s): 0.436619
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 557836
Max. memory (cumulated for all children) (KiB): 546032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.436619
maximum resident set size= 546032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185082
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= 41
involuntary context switches= 2122


# summary of solver processes directly reported to runsolver:
#   pid: 216478
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.64
#   total CPU system time (s): 0.436619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50187 second user time and 17.8262 second system time

The end