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: 63837 MiB (62912 MiB free)
  memory of node 1: 64465 MiB (60179 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488693-1751328843/watcher-4488693-1751328843 -o /tmp/evaluation-result-4488693-1751328843/solver-4488693-1751328843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56025 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4488693-1751328843.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=57910, runsolver pid=57907

[startup+0.100072 s]*
/proc/loadavg: 4.34 4.25 4.15 6/250 57911
/proc/meminfo: memFree=126041980/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=6728 memory=5888 CPUtime=0.1 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 1088 0 0 0 10 0 0 0 20 0 1 0 48563414 6889472 1472 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 1682 1472 480 484 0 1093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6728 KiB
Current children cumulated memory: 5888 KiB

[startup+0.2128 s]*
/proc/loadavg: 4.34 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126041980/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=6728 memory=5888 CPUtime=0.21 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 1088 0 0 0 21 0 0 0 20 0 1 0 48563414 6889472 1472 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 1682 1472 480 484 0 1093 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 6728 KiB
Current children cumulated memory: 5888 KiB

[startup+0.312799 s]*
/proc/loadavg: 4.34 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126041980/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=6728 memory=6016 CPUtime=0.31 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 1090 0 0 0 31 0 0 0 20 0 1 0 48563414 6889472 1504 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 1682 1504 512 484 0 1093 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 6728 KiB
Current children cumulated memory: 6016 KiB

[startup+0.700327 s]
/proc/loadavg: 4.34 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126041980/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=8304 memory=7584 CPUtime=0.68 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 1689 0 0 0 68 0 0 0 20 0 1 0 48563414 8503296 1896 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 2076 1896 512 484 0 1487 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 8304 KiB
Current children cumulated memory: 7584 KiB

[startup+1.50031 s]
/proc/loadavg: 4.34 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126042232/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=10732 memory=9992 CPUtime=1.49 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 3466 0 0 0 148 1 0 0 20 0 1 0 48563414 10989568 2498 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 2683 2498 512 484 0 2094 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10732 KiB
Current children cumulated memory: 9992 KiB

[startup+3.11256 s]
/proc/loadavg: 4.34 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126042232/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=14032 memory=13412 CPUtime=3.09 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 6304 0 0 0 308 1 0 0 20 0 1 0 48563414 14368768 3353 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 3508 3353 512 484 0 2919 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 14032 KiB
Current children cumulated memory: 13412 KiB

[startup+6.30031 s]
/proc/loadavg: 4.31 4.25 4.15 5/250 57911
/proc/meminfo: memFree=126044280/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=15324 memory=14724 CPUtime=6.27 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 8959 0 0 0 625 2 0 0 20 0 1 0 48563414 15691776 3681 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 3831 3681 512 484 0 3242 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 15324 KiB
Current children cumulated memory: 14724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.29 4.24 4.15 5/250 57911
/proc/meminfo: memFree=126025596/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=21044 memory=20192 CPUtime=12.65 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 12160 0 0 0 1263 2 0 0 20 0 1 0 48563414 21549056 5048 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 5261 5048 512 484 0 4672 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 21044 KiB
Current children cumulated memory: 20192 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.25 4.16 5/250 57912
/proc/meminfo: memFree=126023408/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=22544 memory=21816 CPUtime=25.41 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 14478 0 0 0 2539 2 0 0 20 0 1 0 48563414 23085056 5454 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 5636 5454 512 484 0 5047 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 22544 KiB
Current children cumulated memory: 21816 KiB

[startup+51.1126 s]
/proc/loadavg: 4.19 4.22 4.15 5/250 57912
/proc/meminfo: memFree=126003172/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=28544 memory=27412 CPUtime=50.95 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 19985 0 0 0 5091 4 0 0 20 0 1 0 48563414 29229056 6853 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 7136 6853 512 484 0 6547 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 28544 KiB
Current children cumulated memory: 27412 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/250 57918
/proc/meminfo: memFree=126001024/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=37724 memory=36764 CPUtime=101.98 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 28373 0 0 0 10192 6 0 0 20 0 1 0 48563414 38629376 9191 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 9431 9191 512 484 0 8842 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 37724 KiB
Current children cumulated memory: 36764 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/250 57920
/proc/meminfo: memFree=125989116/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=58524 memory=57780 CPUtime=161.79 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 30319 0 0 0 16172 7 0 0 20 0 1 0 48563414 59928576 14445 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 14631 14445 512 484 0 14042 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 58524 KiB
Current children cumulated memory: 57780 KiB

[startup+222.3 s]
/proc/loadavg: 4.54 4.27 4.18 5/250 57922
/proc/meminfo: memFree=126009292/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=41336 memory=39056 CPUtime=221.6 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 35609 0 0 0 22151 9 0 0 20 0 1 0 48563414 42328064 9764 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 10334 9764 512 484 0 9745 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 41336 KiB
Current children cumulated memory: 39056 KiB

[startup+282.3 s]
/proc/loadavg: 5.00 4.45 4.25 5/250 57924
/proc/meminfo: memFree=126013592/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=53440 memory=52120 CPUtime=281.42 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 41326 0 0 0 28130 12 0 0 20 0 1 0 48563414 54722560 13030 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 13360 13030 512 484 0 12771 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 53440 KiB
Current children cumulated memory: 52120 KiB

[startup+342.3 s]
/proc/loadavg: 4.66 4.47 4.27 5/250 57926
/proc/meminfo: memFree=125963980/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=54964 memory=53784 CPUtime=341.23 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 44802 0 0 0 34109 14 0 0 20 0 1 0 48563414 56283136 13446 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 13741 13446 512 484 0 13152 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 54964 KiB
Current children cumulated memory: 53784 KiB

[startup+402.3 s]
/proc/loadavg: 4.28 4.40 4.26 5/250 57928
/proc/meminfo: memFree=125950896/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=65940 memory=64932 CPUtime=401.05 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 48309 0 0 0 40089 16 0 0 20 0 1 0 48563414 67522560 16233 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 16485 16233 512 484 0 15896 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 65940 KiB
Current children cumulated memory: 64932 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.35 4.25 5/250 57930
/proc/meminfo: memFree=125746296/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=77560 memory=76628 CPUtime=460.85 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 49181 0 0 0 46069 16 0 0 20 0 1 0 48563414 79421440 19157 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 19390 19157 512 484 0 18801 0
Current children cumulated CPU time: 460.85 s

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

Current children cumulated memory: 134544 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58060
/proc/meminfo: memFree=125449908/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=136168 memory=135568 CPUtime=2913.29 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 105947 0 0 0 291262 67 0 0 20 0 1 0 48563414 139436032 33892 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 34042 33892 512 484 0 33453 0
Current children cumulated CPU time: 2913.29 s
Current children cumulated vsize: 136168 KiB
Current children cumulated memory: 135568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 58168
/proc/meminfo: memFree=129538368/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=134124 memory=133524 CPUtime=2973.11 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 106655 0 0 0 297243 68 0 0 20 0 1 0 48563414 137342976 33381 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 33531 33381 512 484 0 32942 0
Current children cumulated CPU time: 2973.11 s
Current children cumulated vsize: 134124 KiB
Current children cumulated memory: 133524 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 58200
/proc/meminfo: memFree=129528324/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=139800 memory=139168 CPUtime=3032.91 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 107782 0 0 0 303222 69 0 0 20 0 1 0 48563414 143155200 34792 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 34950 34792 512 484 0 34361 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 139800 KiB
Current children cumulated memory: 139168 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/252 58203
/proc/meminfo: memFree=129502568/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=138340 memory=137712 CPUtime=3092.73 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 108226 0 0 0 309203 70 0 0 20 0 1 0 48563414 141660160 34428 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 34585 34428 512 484 0 33996 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 138340 KiB
Current children cumulated memory: 137712 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/252 58209
/proc/meminfo: memFree=129441476/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=131620 memory=130892 CPUtime=3152.54 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 110839 0 0 0 315182 72 0 0 20 0 1 0 48563414 134778880 32723 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 32905 32723 512 484 0 32316 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 131620 KiB
Current children cumulated memory: 130892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 58211
/proc/meminfo: memFree=129410304/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=165540 memory=164752 CPUtime=3212.35 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 112165 0 0 0 321162 73 0 0 20 0 1 0 48563414 169512960 41188 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 41385 41188 512 484 0 40796 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 164752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 58213
/proc/meminfo: memFree=129360020/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=201172 memory=200428 CPUtime=3272.16 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 112897 0 0 0 327143 73 0 0 20 0 1 0 48563414 206000128 50107 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 50293 50107 512 484 0 49704 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 201172 KiB
Current children cumulated memory: 200428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58215
/proc/meminfo: memFree=129380152/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=165540 memory=164812 CPUtime=3331.96 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 112897 0 0 0 333123 73 0 0 20 0 1 0 48563414 169512960 41203 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 41385 41203 512 484 0 40796 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 164812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 58217
/proc/meminfo: memFree=129355636/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=165540 memory=164812 CPUtime=3391.77 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 113693 0 0 0 339103 74 0 0 20 0 1 0 48563414 169512960 41203 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 41385 41203 512 484 0 40796 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 164812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.14 4.11 5/250 58219
/proc/meminfo: memFree=129369880/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=165540 memory=164812 CPUtime=3451.62 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 113984 0 0 0 345087 75 0 0 20 0 1 0 48563414 169512960 41203 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 41385 41203 512 484 0 40796 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 164812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.68 4.28 4.16 5/250 58221
/proc/meminfo: memFree=129314308/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=200756 memory=200012 CPUtime=3511.47 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 114612 0 0 0 351071 76 0 0 20 0 1 0 48563414 205574144 50003 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 50189 50003 512 484 0 49600 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 200756 KiB
Current children cumulated memory: 200012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.24 4.15 5/250 58223
/proc/meminfo: memFree=129326388/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=165540 memory=164812 CPUtime=3571.31 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 114680 0 0 0 357055 76 0 0 20 0 1 0 48563414 169512960 41203 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 41385 41203 512 484 0 40796 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 164812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.23 4.24 4.15 5/251 58227
/proc/meminfo: memFree=129305972/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=204256 memory=203512 CPUtime=3600.05 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 115162 0 0 0 359928 77 0 0 20 0 1 0 48563414 209158144 50878 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 51064 50878 512 484 0 50475 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 203512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.29 s, system=0.776227 s

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

[startup+3611.11 s]
/proc/loadavg: 4.23 4.24 4.15 5/251 58227
/proc/meminfo: memFree=129305972/131382112 swapFree=33010684/33010684
[pid=57910] ppid=57907 vsize=204256 memory=203512 CPUtime=3600.05 cores=4,6
/proc/57910/stat : 57910 (uwrmaxsat) R 57907 57910 56014 0 -1 4194304 115162 0 0 0 359928 77 0 0 20 0 1 0 48563414 209158144 50878 18446744073709551615 4198400 6176925 140728558725920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39505920 140728558729578 140728558729705 140728558729705 140728558735307 0
/proc/57910/statm: 51064 50878 512 484 0 50475 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 203512 KiB

Child status: 10

Real time (s): 3611.11
CPU time (s): 3600.06
CPU user time (s): 3599.29
CPU system time (s): 0.776227
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 229548
Max. memory (cumulated for all children) (KiB): 228804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.29
system time used= 0.776227
maximum resident set size= 228804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115165
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= 35
involuntary context switches= 2266


# summary of solver processes directly reported to runsolver:
#   pid: 57910
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.29
#   total CPU system time (s): 0.776227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4601 second user time and 35.3822 second system time

The end