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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439470-1721198243/watcher-4439470-1721198243 -o /tmp/evaluation-result-4439470-1721198243/solver-4439470-1721198243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721194640-879380 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439470-1721198243.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=881453, runsolver pid=881450

[startup+0.100098 s]*
/proc/loadavg: 4.07 4.13 4.09 5/243 881454
/proc/meminfo: memFree=116089344/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=40412 memory=21668 CPUtime=0.1 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 5075 0 0 0 10 0 0 0 20 0 1 0 171983908 41381888 5417 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 10103 5417 938 2550 0 7058 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40412 KiB
Current children cumulated memory: 21668 KiB

[startup+0.212593 s]*
/proc/loadavg: 4.07 4.13 4.09 5/243 881454
/proc/meminfo: memFree=116077752/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=53320 memory=34340 CPUtime=0.22 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 8294 0 0 0 21 1 0 0 20 0 1 0 171983908 54599680 8585 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 13330 8585 938 2550 0 10285 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53320 KiB
Current children cumulated memory: 34340 KiB

[startup+0.312674 s]*
/proc/loadavg: 4.07 4.13 4.09 5/243 881454
/proc/meminfo: memFree=116063968/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=66232 memory=47288 CPUtime=0.31 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 10469 0 0 0 30 1 0 0 20 0 1 0 171983908 67821568 11822 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 16558 11822 970 2550 0 13513 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66232 KiB
Current children cumulated memory: 47288 KiB

[startup+0.700337 s]
/proc/loadavg: 4.07 4.13 4.09 5/243 881454
/proc/meminfo: memFree=116027960/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=137116 memory=124968 CPUtime=0.69 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 28243 0 0 0 65 4 0 0 20 0 1 0 171983908 140406784 31242 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 34279 31242 2490 2550 0 31234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 137116 KiB
Current children cumulated memory: 124968 KiB

[startup+1.50034 s]
/proc/loadavg: 4.07 4.13 4.09 5/243 881454
/proc/meminfo: memFree=115971228/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=189692 memory=178216 CPUtime=1.48 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 40977 0 0 0 142 6 0 0 20 0 1 0 171983908 194244608 44554 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 47423 44554 2586 2550 0 44378 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189692 KiB
Current children cumulated memory: 178216 KiB

[startup+3.11262 s]
/proc/loadavg: 4.07 4.13 4.09 5/243 881456
/proc/meminfo: memFree=115937616/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=190508 memory=179152 CPUtime=3.09 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 41187 0 0 0 303 6 0 0 20 0 1 0 171983908 195080192 44788 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 47627 44788 2634 2550 0 44582 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 190508 KiB
Current children cumulated memory: 179152 KiB

[startup+6.30034 s]
/proc/loadavg: 4.06 4.13 4.09 5/243 881456
/proc/meminfo: memFree=115935592/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=191904 memory=179676 CPUtime=6.26 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 41353 0 0 0 620 6 0 0 20 0 1 0 171983908 196509696 44919 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 47976 44919 2634 2550 0 44931 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191904 KiB
Current children cumulated memory: 179676 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.13 4.09 5/243 881456
/proc/meminfo: memFree=115772796/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=248112 memory=219640 CPUtime=12.65 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 51263 0 0 0 1257 8 0 0 20 0 1 0 171983908 254066688 54910 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 62028 54910 2666 2550 0 58983 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 248112 KiB
Current children cumulated memory: 219640 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.12 4.09 5/243 881459
/proc/meminfo: memFree=115207860/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=269036 memory=230904 CPUtime=25.4 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 53590 0 0 0 2532 8 0 0 20 0 1 0 171983908 275492864 57726 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 67259 57726 2666 2550 0 64214 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 269036 KiB
Current children cumulated memory: 230904 KiB

[startup+51.1126 s]
/proc/loadavg: 4.10 4.13 4.09 5/243 881462
/proc/meminfo: memFree=114832984/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=304376 memory=236344 CPUtime=50.93 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 54465 0 0 0 5084 9 0 0 20 0 1 0 171983908 311681024 59086 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 76094 59086 2666 2550 0 73049 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 304376 KiB
Current children cumulated memory: 236344 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/243 881471
/proc/meminfo: memFree=113232288/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=355184 memory=287136 CPUtime=101.94 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 67166 0 0 0 10182 12 0 0 20 0 1 0 171983908 363708416 71784 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 88796 71784 2666 2550 0 85751 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 355184 KiB
Current children cumulated memory: 287136 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/243 881481
/proc/meminfo: memFree=111682820/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=355184 memory=287136 CPUtime=161.73 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 67172 0 0 0 16161 12 0 0 20 0 1 0 171983908 363708416 71784 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 88796 71784 2666 2550 0 85751 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 355184 KiB
Current children cumulated memory: 287136 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 881496
/proc/meminfo: memFree=109983656/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=355184 memory=287136 CPUtime=221.52 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 67180 0 0 0 22140 12 0 0 20 0 1 0 171983908 363708416 71784 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 88796 71784 2666 2550 0 85751 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 355184 KiB
Current children cumulated memory: 287136 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 881506
/proc/meminfo: memFree=108379512/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=361192 memory=292628 CPUtime=281.3 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 68555 0 0 0 28118 12 0 0 20 0 1 0 171983908 369860608 73157 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 90298 73157 2666 2550 0 87253 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 361192 KiB
Current children cumulated memory: 292628 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/243 881517
/proc/meminfo: memFree=106297740/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=361192 memory=292628 CPUtime=341.09 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 68567 0 0 0 34097 12 0 0 20 0 1 0 171983908 369860608 73157 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 90298 73157 2666 2550 0 87253 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 361192 KiB
Current children cumulated memory: 292628 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/243 881528
/proc/meminfo: memFree=104677816/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=361192 memory=292628 CPUtime=400.88 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 68580 0 0 0 40076 12 0 0 20 0 1 0 171983908 369860608 73157 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 90298 73157 2666 2550 0 87253 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 361192 KiB
Current children cumulated memory: 292628 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/243 881538
/proc/meminfo: memFree=103120784/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=380416 memory=294904 CPUtime=460.66 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 68626 0 0 0 46054 12 0 0 20 0 1 0 171983908 389545984 73726 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 95104 73726 2666 2550 0 92059 0

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

Current children cumulated memory: 503576 KiB

[startup+2922.3 s]
/proc/loadavg: 4.42 4.29 4.22 5/244 883207
/proc/meminfo: memFree=108363104/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=503576 CPUtime=2912.12 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113035 0 0 0 291187 25 0 0 20 0 1 0 171983908 676384768 125894 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 125894 2666 2550 0 162088 0
Current children cumulated CPU time: 2912.12 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 503576 KiB

[startup+2982.3 s]
/proc/loadavg: 4.26 4.27 4.22 5/244 883217
/proc/meminfo: memFree=108099904/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=503576 CPUtime=2971.92 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113041 0 0 0 297167 25 0 0 20 0 1 0 171983908 676384768 125894 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 125894 2666 2550 0 162088 0
Current children cumulated CPU time: 2971.92 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 503576 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/243 883227
/proc/meminfo: memFree=108733096/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=504016 CPUtime=3031.73 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113178 0 0 0 303147 26 0 0 20 0 1 0 171983908 676384768 126004 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126004 2666 2550 0 162088 0
Current children cumulated CPU time: 3031.73 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 504016 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.22 4.20 5/243 883407
/proc/meminfo: memFree=108547296/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=504232 CPUtime=3091.53 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113187 0 0 0 309127 26 0 0 20 0 1 0 171983908 676384768 126058 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126058 2666 2550 0 162088 0
Current children cumulated CPU time: 3091.53 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 504232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.18 4.18 5/243 883417
/proc/meminfo: memFree=108301852/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=504488 CPUtime=3151.33 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113303 0 0 0 315107 26 0 0 20 0 1 0 171983908 676384768 126122 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126122 2666 2550 0 162088 0
Current children cumulated CPU time: 3151.33 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 504488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/244 883485
/proc/meminfo: memFree=108725180/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=505508 CPUtime=3211.13 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113565 0 0 0 321087 26 0 0 20 0 1 0 171983908 676384768 126377 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126377 2666 2550 0 162088 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 505508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/244 883495
/proc/meminfo: memFree=108519736/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=505508 CPUtime=3270.93 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113574 0 0 0 327067 26 0 0 20 0 1 0 171983908 676384768 126377 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126377 2666 2550 0 162088 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 505508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/244 883506
/proc/meminfo: memFree=108260920/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507052 CPUtime=3330.73 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113933 0 0 0 333047 26 0 0 20 0 1 0 171983908 676384768 126763 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126763 2666 2550 0 162088 0
Current children cumulated CPU time: 3330.73 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/245 883518
/proc/meminfo: memFree=108006860/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507052 CPUtime=3390.53 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113937 0 0 0 339027 26 0 0 20 0 1 0 171983908 676384768 126763 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126763 2666 2550 0 162088 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/245 883528
/proc/meminfo: memFree=108553456/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507052 CPUtime=3450.34 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113948 0 0 0 345007 27 0 0 20 0 1 0 171983908 676384768 126763 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126763 2666 2550 0 162088 0
Current children cumulated CPU time: 3450.34 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/242 883539
/proc/meminfo: memFree=108244800/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507052 CPUtime=3510.14 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 113953 0 0 0 350987 27 0 0 20 0 1 0 171983908 676384768 126763 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126763 2666 2550 0 162088 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/242 883549
/proc/meminfo: memFree=108054012/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507480 CPUtime=3569.94 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 114105 0 0 0 356967 27 0 0 20 0 1 0 171983908 676384768 126870 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126870 2666 2550 0 162088 0
Current children cumulated CPU time: 3569.94 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.11 4.12 4.15 5/242 883601
/proc/meminfo: memFree=126286384/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507708 CPUtime=3600.04 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 114110 0 0 0 359977 27 0 0 20 0 1 0 171983908 676384768 126927 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126927 2666 2550 0 162088 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.78 s, system=0.290972 s

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

[startup+3612.5 s]
/proc/loadavg: 4.11 4.12 4.15 5/242 883601
/proc/meminfo: memFree=126286384/131655788 swapFree=131071996/131071996
[pid=881453] ppid=881450 vsize=660532 memory=507708 CPUtime=3600.04 cores=0,2
/proc/881453/stat : 881453 (CASHWMaxSAT-Dis) R 881450 881453 879370 0 -1 4194304 114110 0 0 0 359977 27 0 0 20 0 1 0 171983908 676384768 126927 134679101440 4194304 14636349 140733577130336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39424000 140733577135074 140733577135190 140733577135190 140733577142206 0
/proc/881453/statm: 165133 126927 2666 2550 0 162088 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 660532 KiB
Current children cumulated memory: 507708 KiB

Child status: 10

Real time (s): 3612.52
CPU time (s): 3600.07
CPU user time (s): 3599.78
CPU system time (s): 0.290972
CPU usage (%): 99.6553
Max. virtual memory (cumulated for all children) (KiB): 703748
Max. memory (cumulated for all children) (KiB): 507708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.290972
maximum resident set size= 507716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114112
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= 2
involuntary context switches= 24657


# summary of solver processes directly reported to runsolver:
#   pid: 881453
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.78
#   total CPU system time (s): 0.290972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6551 second user time and 37.8921 second system time

The end