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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484967-1751285089/watcher-4484967-1751285089 -o /tmp/evaluation-result-4484967-1751285089/solver-4484967-1751285089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37958 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484967-1751285089.opb -mem-lim=31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100099 s]*
/proc/loadavg: 4.24 4.17 4.05 5/251 38475
/proc/meminfo: memFree=129359592/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=10564 memory=9600 CPUtime=0.1 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 2038 0 0 0 10 0 0 0 20 0 1 0 44188283 10817536 2400 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 2641 2400 448 484 0 2052 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10564 KiB
Current children cumulated memory: 9600 KiB

[startup+0.213064 s]*
/proc/loadavg: 4.24 4.17 4.05 5/251 38475
/proc/meminfo: memFree=129351528/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=17824 memory=16768 CPUtime=0.21 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 3857 0 0 0 20 1 0 0 20 0 1 0 44188283 18251776 4192 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 4456 4192 448 484 0 3867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 17824 KiB
Current children cumulated memory: 16768 KiB

[startup+0.313013 s]*
/proc/loadavg: 4.24 4.17 4.05 5/251 38475
/proc/meminfo: memFree=129343464/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=24292 memory=23296 CPUtime=0.31 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 5465 0 0 0 29 2 0 0 20 0 1 0 44188283 24875008 5824 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 6073 5824 448 484 0 5484 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24292 KiB
Current children cumulated memory: 23296 KiB

[startup+0.700241 s]
/proc/loadavg: 4.24 4.17 4.05 5/251 38475
/proc/meminfo: memFree=129327336/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=48788 memory=47616 CPUtime=0.69 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 11549 0 0 0 64 5 0 0 20 0 1 0 44188283 49958912 11904 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 12197 11904 448 484 0 11608 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48788 KiB
Current children cumulated memory: 47616 KiB

[startup+1.50025 s]
/proc/loadavg: 4.22 4.16 4.05 6/251 38475
/proc/meminfo: memFree=129303960/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=69792 memory=67656 CPUtime=1.48 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 19577 0 0 0 142 6 0 0 20 0 1 0 44188283 71467008 16914 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 17448 16914 544 484 0 16859 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69792 KiB
Current children cumulated memory: 67656 KiB

[startup+3.11268 s]
/proc/loadavg: 4.22 4.16 4.05 6/251 38475
/proc/meminfo: memFree=129296476/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=70832 memory=69524 CPUtime=3.09 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 21623 0 0 0 302 7 0 0 20 0 1 0 44188283 72531968 17381 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 17708 17381 544 484 0 17119 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70832 KiB
Current children cumulated memory: 69524 KiB

[startup+6.30029 s]
/proc/loadavg: 4.29 4.18 4.06 6/251 38475
/proc/meminfo: memFree=129285784/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=68268 memory=67164 CPUtime=6.27 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 27610 0 0 0 618 9 0 0 20 0 1 0 44188283 69906432 16791 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 17067 16791 544 484 0 16478 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 67164 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.18 4.06 6/251 38475
/proc/meminfo: memFree=129288020/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=77608 memory=76496 CPUtime=12.65 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 33601 0 0 0 1255 10 0 0 20 0 1 0 44188283 79470592 19124 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 19402 19124 544 484 0 18813 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77608 KiB
Current children cumulated memory: 76496 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.17 4.06 6/252 38477
/proc/meminfo: memFree=129273088/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=71276 memory=70368 CPUtime=25.42 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 41847 0 0 0 2529 13 0 0 20 0 1 0 44188283 72986624 17592 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 17819 17592 544 484 0 17230 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71276 KiB
Current children cumulated memory: 70368 KiB

[startup+51.1129 s]
/proc/loadavg: 4.58 4.27 4.09 6/252 38477
/proc/meminfo: memFree=129253680/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=87740 memory=86968 CPUtime=50.95 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 44818 0 0 0 5081 14 0 0 20 0 1 0 44188283 89845760 21742 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 21935 21742 544 484 0 21346 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 87740 KiB
Current children cumulated memory: 86968 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 4.31 4.12 6/252 38479
/proc/meminfo: memFree=129264100/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=82232 memory=81212 CPUtime=101.99 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 56632 0 0 0 10180 19 0 0 20 0 1 0 44188283 84205568 20303 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 20558 20303 544 484 0 19969 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 82232 KiB
Current children cumulated memory: 81212 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.29 4.12 6/252 38481
/proc/meminfo: memFree=129212496/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=106368 memory=105788 CPUtime=161.81 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 61775 0 0 0 16158 23 0 0 20 0 1 0 44188283 108920832 26447 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 26592 26447 544 484 0 26003 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 106368 KiB
Current children cumulated memory: 105788 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.25 4.11 6/251 38483
/proc/meminfo: memFree=129194152/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=99796 memory=99048 CPUtime=221.64 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 67005 0 0 0 22138 26 0 0 20 0 1 0 44188283 102191104 24762 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 24949 24762 544 484 0 24360 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 99796 KiB
Current children cumulated memory: 99048 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.21 4.11 6/251 38485
/proc/meminfo: memFree=129180672/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=99160 memory=98368 CPUtime=281.46 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 70585 0 0 0 28119 27 0 0 20 0 1 0 44188283 101539840 24592 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 24790 24592 544 484 0 24201 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 99160 KiB
Current children cumulated memory: 98368 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.19 4.10 6/251 38494
/proc/meminfo: memFree=129142876/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=111708 memory=110912 CPUtime=341.27 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 72266 0 0 0 34099 28 0 0 20 0 1 0 44188283 114388992 27728 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 27927 27728 544 484 0 27338 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 111708 KiB
Current children cumulated memory: 110912 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.17 4.09 6/251 38497
/proc/meminfo: memFree=129149544/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=85024 memory=84348 CPUtime=401.1 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 76345 0 0 0 40081 29 0 0 20 0 1 0 44188283 87064576 21087 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 21256 21087 544 484 0 20667 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 85024 KiB
Current children cumulated memory: 84348 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.18 4.10 6/251 38499
/proc/meminfo: memFree=129169032/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=117244 memory=116544 CPUtime=460.94 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 78948 0 0 0 46063 31 0 0 20 0 1 0 44188283 120057856 29136 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 29311 29136 544 484 0 28722 0
Current children cumulated CPU time: 460.94 s

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

/proc/loadavg: 4.06 4.09 4.12 6/250 38618
/proc/meminfo: memFree=128932420/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=209836 memory=209088 CPUtime=2973.41 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 125566 0 0 0 297241 100 0 0 20 0 1 0 44188283 214872064 52272 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 52459 52272 544 484 0 51870 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 209836 KiB
Current children cumulated memory: 209088 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.13 6/250 38620
/proc/meminfo: memFree=128907024/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=210900 memory=210112 CPUtime=3033.22 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 125915 0 0 0 303222 100 0 0 20 0 1 0 44188283 215961600 52528 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 52725 52528 544 484 0 52136 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 210900 KiB
Current children cumulated memory: 210112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/250 38622
/proc/meminfo: memFree=128901696/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=212256 memory=211520 CPUtime=3093.04 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 126254 0 0 0 309203 101 0 0 20 0 1 0 44188283 217350144 52880 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 53064 52880 544 484 0 52475 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 212256 KiB
Current children cumulated memory: 211520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.11 6/250 38624
/proc/meminfo: memFree=128872020/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=213864 memory=213184 CPUtime=3152.86 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 126657 0 0 0 315185 101 0 0 20 0 1 0 44188283 218996736 53296 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 53466 53296 544 484 0 52877 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 213184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.11 6/249 38626
/proc/meminfo: memFree=128918212/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=166264 memory=165716 CPUtime=3212.68 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 127512 0 0 0 321166 102 0 0 20 0 1 0 44188283 170254336 41429 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 41566 41429 544 484 0 40977 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 166264 KiB
Current children cumulated memory: 165716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/249 38628
/proc/meminfo: memFree=128920492/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=167832 memory=167288 CPUtime=3272.5 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 129134 0 0 0 327146 104 0 0 20 0 1 0 44188283 171859968 41822 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 41958 41822 544 484 0 41369 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 167832 KiB
Current children cumulated memory: 167288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.10 6/250 38637
/proc/meminfo: memFree=128858812/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=187396 memory=186688 CPUtime=3332.33 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 130995 0 0 0 333126 107 0 0 20 0 1 0 44188283 191893504 46672 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 46849 46672 544 484 0 46260 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 187396 KiB
Current children cumulated memory: 186688 KiB

[startup+3371.36 s]
# the end of solver process 38474 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=3360.23 s, system=1.09219 s

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

[startup+3353.6 s]
/proc/loadavg: 4.06 4.08 4.09 6/250 38637
/proc/meminfo: memFree=128893528/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=130260 memory=129712 CPUtime=3343.6 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 131469 0 0 0 334252 108 0 0 20 0 1 0 44188283 133386240 32428 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 32565 32428 544 484 0 31976 0
Current children cumulated CPU time: 3343.6 s
Current children cumulated vsize: 130260 KiB
Current children cumulated memory: 129712 KiB

[startup+3360 s]*
/proc/loadavg: 4.05 4.08 4.09 6/250 38637
/proc/meminfo: memFree=128916984/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=138452 memory=134464 CPUtime=3350 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 131635 0 0 0 334892 108 0 0 20 0 1 0 44188283 141774848 33616 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 34613 33616 544 484 0 34024 0
Current children cumulated CPU time: 3350 s
Current children cumulated vsize: 138452 KiB
Current children cumulated memory: 134464 KiB

[startup+3366.4 s]
/proc/loadavg: 4.05 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128915368/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=138452 memory=134464 CPUtime=3356.37 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 131635 0 0 0 335529 108 0 0 20 0 1 0 44188283 141774848 33616 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 34613 33616 544 484 0 34024 0
Current children cumulated CPU time: 3356.37 s
Current children cumulated vsize: 138452 KiB
Current children cumulated memory: 134464 KiB

[startup+3369.6 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128906936/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=160740 memory=160064 CPUtime=3359.56 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 132414 0 0 0 335847 109 0 0 20 0 1 0 44188283 164597760 40016 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 40185 40016 544 484 0 39596 0
Current children cumulated CPU time: 3359.56 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 160064 KiB

[startup+3370.4 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128906968/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=160740 memory=160064 CPUtime=3360.36 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 132414 0 0 0 335927 109 0 0 20 0 1 0 44188283 164597760 40016 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 40185 40016 544 484 0 39596 0
Current children cumulated CPU time: 3360.36 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 160064 KiB

[startup+3370.8 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128906968/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=160740 memory=160064 CPUtime=3360.76 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 132414 0 0 0 335967 109 0 0 20 0 1 0 44188283 164597760 40016 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 40185 40016 544 484 0 39596 0
Current children cumulated CPU time: 3360.76 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 160064 KiB

[startup+3371.2 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128906968/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=160740 memory=160064 CPUtime=3361.16 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 132414 0 0 0 336007 109 0 0 20 0 1 0 44188283 164597760 40016 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 40185 40016 544 484 0 39596 0
Current children cumulated CPU time: 3361.16 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 160064 KiB

[startup+3371.3 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 38638
/proc/meminfo: memFree=128906968/131382116 swapFree=33010684/33010684
[pid=38474] ppid=38471 vsize=160740 memory=160064 CPUtime=3361.26 cores=0,2
/proc/38474/stat : 38474 (uwrmaxsat) R 38471 38474 37948 0 -1 4194304 132414 0 0 0 336017 109 0 0 20 0 1 0 44188283 164597760 40016 18446744073709551615 4198400 6176925 140722478804800 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14036992 140722478807402 140722478807529 140722478807529 140722478813131 0
/proc/38474/statm: 40185 40016 544 484 0 39596 0
Current children cumulated CPU time: 3361.26 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 160064 KiB

Child status: 30

Real time (s): 3371.36
CPU time (s): 3361.33
CPU user time (s): 3360.23
CPU system time (s): 1.09219
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 263028
Max. memory (cumulated for all children) (KiB): 261768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3360.23
system time used= 1.09219
maximum resident set size= 262280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132414
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= 42
involuntary context switches= 7672


# summary of solver processes directly reported to runsolver:
#   pid: 38474
#   total CPU time (s): 3361.33
#   total CPU user time (s): 3360.23
#   total CPU system time (s): 1.09219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3362 second user time and 32.6031 second system time

The end