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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438689-1721210923/watcher-4438689-1721210923 -o /tmp/evaluation-result-4438689-1721210923/solver-4438689-1721210923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721207325-923713 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438689-1721210923.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=925780, runsolver pid=925777
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.13 4.15 4.09 5/256 925781
/proc/meminfo: memFree=122302948/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=43476 memory=34756 CPUtime=0.09 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 6533 0 0 0 9 0 0 0 20 0 1 0 173257690 44519424 8689 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 10869 8689 2746 2726 0 7617 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43476 KiB
Current children cumulated memory: 34756 KiB

[startup+0.205769 s]*
/proc/loadavg: 4.13 4.15 4.09 6/256 925781
/proc/meminfo: memFree=122300092/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=45280 memory=36336 CPUtime=0.2 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 6961 0 0 0 20 0 0 0 20 0 1 0 173257690 46366720 9084 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 11320 9084 2746 2726 0 8068 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 36336 KiB

[startup+0.305639 s]*
/proc/loadavg: 4.13 4.15 4.09 6/256 925781
/proc/meminfo: memFree=122299616/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=45660 memory=36924 CPUtime=0.3 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 7071 0 0 0 30 0 0 0 20 0 1 0 173257690 46755840 9231 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 11415 9231 2762 2726 0 8163 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45660 KiB
Current children cumulated memory: 36924 KiB

[startup+0.700236 s]
/proc/loadavg: 4.13 4.15 4.09 6/256 925781
/proc/meminfo: memFree=122294788/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=50068 memory=40836 CPUtime=0.69 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 8048 0 0 0 68 1 0 0 20 0 1 0 173257690 51269632 10209 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 12517 10209 2762 2726 0 9265 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50068 KiB
Current children cumulated memory: 40836 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.15 4.09 5/254 925797
/proc/meminfo: memFree=123414700/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=52540 memory=42684 CPUtime=1.49 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 8566 0 0 0 148 1 0 0 20 0 1 0 173257690 53800960 10671 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 13135 10671 2762 2726 0 9883 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52540 KiB
Current children cumulated memory: 42684 KiB

[startup+3.10552 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123331452/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=66820 memory=55620 CPUtime=3.08 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 11774 0 0 0 307 1 0 0 20 0 1 0 173257690 68423680 13905 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 16705 13905 2762 2726 0 13453 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66820 KiB
Current children cumulated memory: 55620 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123573212/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=105120 memory=92316 CPUtime=6.26 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 20975 0 0 0 624 2 0 0 20 0 1 0 173257690 107642880 23079 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 26280 23079 2762 2726 0 23028 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105120 KiB
Current children cumulated memory: 92316 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.14 4.09 5/256 925876
/proc/meminfo: memFree=123436076/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=124600 memory=108844 CPUtime=12.65 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 26209 0 0 0 1261 4 0 0 20 0 1 0 173257690 127590400 27211 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 31150 27211 2762 2726 0 27898 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124600 KiB
Current children cumulated memory: 108844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.09 5/256 925878
/proc/meminfo: memFree=123411556/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=127660 memory=112008 CPUtime=25.41 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 27034 0 0 0 2537 4 0 0 20 0 1 0 173257690 130723840 28002 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 31915 28002 2762 2726 0 28663 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127660 KiB
Current children cumulated memory: 112008 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.09 5/256 925883
/proc/meminfo: memFree=123159988/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=159316 memory=141612 CPUtime=50.94 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 34574 0 0 0 5088 6 0 0 20 0 1 0 173257690 163139584 35403 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 39829 35403 2762 2726 0 36577 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 141612 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/257 925896
/proc/meminfo: memFree=123035732/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=196852 memory=175016 CPUtime=101.99 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 44340 0 0 0 10187 12 0 0 20 0 1 0 173257690 201576448 43754 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 49213 43754 2762 2726 0 45961 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 196852 KiB
Current children cumulated memory: 175016 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/258 925908
/proc/meminfo: memFree=122659064/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=270988 memory=254436 CPUtime=161.83 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 61911 0 0 0 16165 18 0 0 20 0 1 0 173257690 277491712 63609 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 67747 63609 2762 2726 0 64495 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 270988 KiB
Current children cumulated memory: 254436 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 925918
/proc/meminfo: memFree=122555744/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=284072 memory=271716 CPUtime=221.69 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 64018 0 0 0 22151 18 0 0 20 0 1 0 173257690 290889728 67929 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 71018 67929 2762 2726 0 67766 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 284072 KiB
Current children cumulated memory: 271716 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 925930
/proc/meminfo: memFree=122488012/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=294000 memory=284648 CPUtime=281.55 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 66043 0 0 0 28136 19 0 0 20 0 1 0 173257690 301056000 71162 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 73500 71162 2762 2726 0 70248 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 294000 KiB
Current children cumulated memory: 284648 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 925941
/proc/meminfo: memFree=122460164/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=312028 memory=296992 CPUtime=341.41 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 69258 0 0 0 34122 19 0 0 20 0 1 0 173257690 319516672 74248 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 78007 74248 2762 2726 0 74755 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 312028 KiB
Current children cumulated memory: 296992 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 925951
/proc/meminfo: memFree=122452108/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=315952 memory=299824 CPUtime=401.27 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 70378 0 0 0 40108 19 0 0 20 0 1 0 173257690 323534848 74956 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 78988 74956 2762 2726 0 75736 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 315952 KiB
Current children cumulated memory: 299824 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 925962
/proc/meminfo: memFree=122444208/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=319316 memory=302496 CPUtime=461.13 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 71142 0 0 0 46094 19 0 0 20 0 1 0 173257690 326979584 75624 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 79829 75624 2762 2726 0 76577 0

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

Current children cumulated memory: 275728 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 927412
/proc/meminfo: memFree=122398360/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=2855.22 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89651 0 0 0 285497 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 2855.22 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 927423
/proc/meminfo: memFree=122397840/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=2915.07 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89716 0 0 0 291482 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 927602
/proc/meminfo: memFree=122397020/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=2974.91 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89790 0 0 0 297466 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 927612
/proc/meminfo: memFree=122396220/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3034.76 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89846 0 0 0 303451 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/257 927626
/proc/meminfo: memFree=122395708/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3094.61 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89902 0 0 0 309436 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3094.61 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 927648
/proc/meminfo: memFree=122395008/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3154.45 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 89957 0 0 0 315420 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/257 927658
/proc/meminfo: memFree=122394656/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3214.3 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90011 0 0 0 321405 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 927669
/proc/meminfo: memFree=122393784/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3274.15 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90063 0 0 0 327390 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 927680
/proc/meminfo: memFree=122393108/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3333.99 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90118 0 0 0 333374 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 927691
/proc/meminfo: memFree=122392144/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3393.84 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90180 0 0 0 339359 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 927701
/proc/meminfo: memFree=122391540/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3453.69 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90244 0 0 0 345344 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/255 927713
/proc/meminfo: memFree=122390864/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3513.54 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90317 0 0 0 351329 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 927723
/proc/meminfo: memFree=122390128/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3573.39 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90389 0 0 0 357314 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.45 4.20 4.12 5/255 927727
/proc/meminfo: memFree=122389904/131524600 swapFree=131071996/131071996
[pid=925780] ppid=925777 vsize=282724 memory=275728 CPUtime=3600.03 cores=4,6
/proc/925780/stat : 925780 (CASHWMaxSAT-Dis) R 925777 925780 923702 0 -1 4194304 90451 0 0 0 359978 25 0 0 20 0 1 0 173257690 289509376 68932 134679101440 4194304 15356333 140722495273232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23355392 140722495280098 140722495280214 140722495280214 140722495287230 0
/proc/925780/statm: 70681 68932 2810 2726 0 67429 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 282724 KiB
Current children cumulated memory: 275728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.79 s, system=0.256174 s

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.04
CPU user time (s): 3599.79
CPU system time (s): 0.256174
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 382364
Max. memory (cumulated for all children) (KiB): 373560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 0.256174
maximum resident set size= 373560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90453
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= 30
involuntary context switches= 1493


# summary of solver processes directly reported to runsolver:
#   pid: 925780
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.79
#   total CPU system time (s): 0.256174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62673 second user time and 15.4753 second system time

The end