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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457964-1721877735/watcher-4457964-1721877735 -o /tmp/evaluation-result-4457964-1721877735/solver-4457964-1721877735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214044 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457964-1721877735.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=214107, runsolver pid=214095
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 2.87 3.07 3.15 6/252 214114
/proc/meminfo: memFree=124802856/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=28272 memory=13344 CPUtime=0.1 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 2747 0 0 0 10 0 0 0 20 0 1 0 23763276 28950528 3336 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 7068 3336 926 2594 0 3961 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28272 KiB
Current children cumulated memory: 13344 KiB

[startup+0.216021 s]*
/proc/loadavg: 2.87 3.07 3.15 7/252 214114
/proc/meminfo: memFree=124725852/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=53208 memory=43272 CPUtime=0.22 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 9226 0 0 0 19 3 0 0 20 0 1 0 23763276 54484992 10818 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 13302 10818 2302 2594 0 10195 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 43272 KiB

[startup+0.315205 s]*
/proc/loadavg: 2.87 3.07 3.15 6/252 214114
/proc/meminfo: memFree=124665976/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=83340 memory=73644 CPUtime=0.31 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 16682 0 0 0 26 5 0 0 20 0 1 0 23763276 85340160 18411 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 20835 18411 2446 2594 0 17728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83340 KiB
Current children cumulated memory: 73644 KiB

[startup+0.700384 s]
/proc/loadavg: 2.87 3.07 3.15 9/252 214116
/proc/meminfo: memFree=124588212/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=124456 memory=113016 CPUtime=0.68 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 26464 0 0 0 60 8 0 0 20 0 1 0 23763276 127442944 28254 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 31114 28254 2526 2594 0 28007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124456 KiB
Current children cumulated memory: 113016 KiB

[startup+1.50036 s]
/proc/loadavg: 2.87 3.07 3.15 6/252 214116
/proc/meminfo: memFree=124472308/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=201396 memory=185560 CPUtime=1.48 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 45551 0 0 0 135 13 0 0 20 0 1 0 23763276 206229504 46390 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 50349 46390 2590 2594 0 47242 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 201396 KiB
Current children cumulated memory: 185560 KiB

[startup+3.11456 s]
/proc/loadavg: 2.87 3.07 3.15 7/252 214116
/proc/meminfo: memFree=124127148/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=279276 memory=258660 CPUtime=3.09 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 63773 0 0 0 291 18 0 0 20 0 1 0 23763276 285978624 64665 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 69819 64665 2670 2594 0 66712 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 279276 KiB
Current children cumulated memory: 258660 KiB

[startup+6.30032 s]
/proc/loadavg: 2.96 3.08 3.16 7/252 214116
/proc/meminfo: memFree=124110248/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=273764 memory=254832 CPUtime=6.27 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 64300 0 0 0 609 18 0 0 20 0 1 0 23763276 280334336 63708 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 68441 63708 2670 2594 0 65334 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 273764 KiB
Current children cumulated memory: 254832 KiB

[startup+12.7003 s]
/proc/loadavg: 3.05 3.10 3.16 7/252 214117
/proc/meminfo: memFree=124092728/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=328212 memory=295948 CPUtime=12.66 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 74078 0 0 0 1245 21 0 0 20 0 1 0 23763276 336089088 73987 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 82053 73987 2670 2594 0 78946 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 328212 KiB
Current children cumulated memory: 295948 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 3.14 3.18 7/252 214119
/proc/meminfo: memFree=123758104/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=413584 memory=367552 CPUtime=25.42 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 98015 0 0 0 2516 26 0 0 20 0 1 0 23763276 423510016 91888 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 103396 91888 2670 2594 0 100289 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 413584 KiB
Current children cumulated memory: 367552 KiB

[startup+51.1146 s]
/proc/loadavg: 3.58 3.23 3.21 6/252 214124
/proc/meminfo: memFree=123760764/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=414580 memory=371460 CPUtime=50.95 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 99000 0 0 0 5069 26 0 0 20 0 1 0 23763276 424529920 92865 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 103645 92865 2670 2594 0 100538 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 414580 KiB
Current children cumulated memory: 371460 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.37 3.26 6/252 214133
/proc/meminfo: memFree=123635892/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=466576 memory=427724 CPUtime=101.97 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 115050 0 0 0 10168 29 0 0 20 0 1 0 23763276 477773824 106931 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 116644 106931 2938 2594 0 113537 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 466576 KiB
Current children cumulated memory: 427724 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.50 3.31 6/252 214144
/proc/meminfo: memFree=123525672/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=483824 memory=452540 CPUtime=161.77 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 124571 0 0 0 16146 31 0 0 20 0 1 0 23763276 495435776 113135 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 120956 113135 2938 2594 0 117849 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 483824 KiB
Current children cumulated memory: 452540 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.62 3.37 7/252 214538
/proc/meminfo: memFree=123411724/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=622984 memory=523812 CPUtime=221.59 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 144870 0 0 0 22124 35 0 0 20 0 1 0 23763276 637935616 130953 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 155746 130953 2938 2594 0 152639 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 622984 KiB
Current children cumulated memory: 523812 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 3.75 3.43 6/252 214548
/proc/meminfo: memFree=123238744/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=823936 memory=643092 CPUtime=281.4 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 173838 0 0 0 28100 40 0 0 20 0 1 0 23763276 843710464 160773 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 205984 160773 2938 2594 0 202877 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 823936 KiB
Current children cumulated memory: 643092 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.81 3.47 6/244 214560
/proc/meminfo: memFree=123110700/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=875004 memory=647200 CPUtime=341.2 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 174188 0 0 0 34080 40 0 0 20 0 1 0 23763276 896004096 161800 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 218751 161800 2938 2594 0 215644 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 875004 KiB
Current children cumulated memory: 647200 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.88 3.52 7/246 214740
/proc/meminfo: memFree=122961336/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=961416 memory=751996 CPUtime=401.01 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 194600 0 0 0 40057 44 0 0 20 0 1 0 23763276 984489984 187999 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 240354 187999 2938 2594 0 237247 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 961416 KiB
Current children cumulated memory: 751996 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.91 3.55 6/246 214750
/proc/meminfo: memFree=122728392/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1125948 memory=928896 CPUtime=460.83 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 230198 0 0 0 46032 51 0 0 20 0 1 0 23763276 1152970752 232224 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 281487 232224 2938 2594 0 278380 0

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

Current children cumulated memory: 1530736 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.13 6/244 215805
/proc/meminfo: memFree=121382068/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1530736 CPUtime=2853.32 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 400127 0 0 0 285228 104 0 0 20 0 1 0 23763276 1745543168 382684 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 382684 2986 2594 0 423051 0
Current children cumulated CPU time: 2853.32 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1530736 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.13 6/245 215818
/proc/meminfo: memFree=121337784/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1551744 CPUtime=2913.19 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 400275 0 0 0 291214 105 0 0 20 0 1 0 23763276 1745543168 387936 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 387936 2986 2594 0 423051 0
Current children cumulated CPU time: 2913.19 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1551744 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.13 6/245 215830
/proc/meminfo: memFree=121320864/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1557220 CPUtime=2973.04 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 400437 0 0 0 297199 105 0 0 20 0 1 0 23763276 1745543168 389305 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 389305 2986 2594 0 423051 0
Current children cumulated CPU time: 2973.04 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1557220 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 7/245 215840
/proc/meminfo: memFree=121329524/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1557220 CPUtime=3032.89 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 400633 0 0 0 303184 105 0 0 20 0 1 0 23763276 1745543168 389305 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 389305 2986 2594 0 423051 0
Current children cumulated CPU time: 3032.89 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1557220 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.13 6/245 215850
/proc/meminfo: memFree=121345448/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1557220 CPUtime=3092.71 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 400866 0 0 0 309166 105 0 0 20 0 1 0 23763276 1745543168 389305 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 389305 2986 2594 0 423051 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1557220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 6/243 215861
/proc/meminfo: memFree=121449740/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1557220 CPUtime=3152.57 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 401088 0 0 0 315152 105 0 0 20 0 1 0 23763276 1745543168 389305 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 389305 2986 2594 0 423051 0
Current children cumulated CPU time: 3152.57 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1557220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.12 6/242 215871
/proc/meminfo: memFree=121458832/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1557220 CPUtime=3212.43 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 401357 0 0 0 321138 105 0 0 20 0 1 0 23763276 1745543168 389305 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 389305 2986 2594 0 423051 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1557220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.12 7/243 215882
/proc/meminfo: memFree=121432984/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1579748 CPUtime=3272.29 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 401625 0 0 0 327124 105 0 0 20 0 1 0 23763276 1745543168 394937 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 394937 2986 2594 0 423051 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1579748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.17 4.13 6/243 215892
/proc/meminfo: memFree=121482560/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1598180 CPUtime=3332.15 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 401892 0 0 0 333109 106 0 0 20 0 1 0 23763276 1745543168 399545 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 399545 2986 2594 0 423051 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1598180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.26 4.17 6/243 215903
/proc/meminfo: memFree=121480176/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1600228 CPUtime=3392.01 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 402344 0 0 0 339095 106 0 0 20 0 1 0 23763276 1745543168 400057 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 400057 2986 2594 0 423051 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1600228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.33 4.20 7/243 215913
/proc/meminfo: memFree=121343840/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1600228 CPUtime=3451.86 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 402705 0 0 0 345080 106 0 0 20 0 1 0 23763276 1745543168 400057 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 400057 2986 2594 0 423051 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1600228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.27 4.18 6/246 215928
/proc/meminfo: memFree=121479408/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1600228 CPUtime=3511.71 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 403022 0 0 0 351065 106 0 0 20 0 1 0 23763276 1745543168 400057 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 400057 2986 2594 0 423051 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1600228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.18 6/245 215940
/proc/meminfo: memFree=121479200/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1600228 CPUtime=3571.57 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 403199 0 0 0 357051 106 0 0 20 0 1 0 23763276 1745543168 400057 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 400057 2986 2594 0 423051 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1600228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.12 4.23 4.17 5/243 215944
/proc/meminfo: memFree=122289784/131655788 swapFree=131057052/131071996
[pid=214107] ppid=214095 vsize=1704632 memory=1600228 CPUtime=3600 cores=4,6
/proc/214107/stat : 214107 (CASHWMaxSAT-Dis) R 214095 214107 214033 0 -1 4194304 403235 0 0 0 359894 106 0 0 20 0 1 0 23763276 1745543168 400057 134679101440 4194304 14817773 140727944997184 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140727945004005 140727945004120 140727945004120 140727945011135 0
/proc/214107/statm: 426158 400057 2986 2594 0 423051 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1704632 KiB
Current children cumulated memory: 1600228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.06903 s

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

Child status: 10

Real time (s): 3610.81
CPU time (s): 3600.01
CPU user time (s): 3598.94
CPU system time (s): 1.06903
CPU usage (%): 99.7011
Max. virtual memory (cumulated for all children) (KiB): 1898492
Max. memory (cumulated for all children) (KiB): 1600228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.06903
maximum resident set size= 1600248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403240
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= 105
involuntary context switches= 2433


# summary of solver processes directly reported to runsolver:
#   pid: 214107
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.06903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5738 second user time and 38.2401 second system time

The end