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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486347-1751324575/watcher-4486347-1751324575 -o /tmp/evaluation-result-4486347-1751324575/solver-4486347-1751324575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56025 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486347-1751324575.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=56068, runsolver pid=56060

[startup+0.100068 s]*
/proc/loadavg: 2.05 3.71 5.10 6/248 56073
/proc/meminfo: memFree=129694508/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=8764 memory=7808 CPUtime=0.09 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 1591 0 0 0 9 0 0 0 20 0 1 0 48136639 8974336 1952 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 2191 1952 448 484 0 1602 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 8764 KiB
Current children cumulated memory: 7808 KiB

[startup+0.212923 s]*
/proc/loadavg: 2.05 3.71 5.10 6/248 56073
/proc/meminfo: memFree=129686444/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=13508 memory=12544 CPUtime=0.19 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 2785 0 0 0 18 1 0 0 20 0 1 0 48136639 13832192 3136 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 3377 3136 448 484 0 2788 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13508 KiB
Current children cumulated memory: 12544 KiB

[startup+0.312743 s]*
/proc/loadavg: 2.05 3.71 5.10 6/248 56073
/proc/meminfo: memFree=129686444/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=17088 memory=16128 CPUtime=0.27 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 3698 0 0 0 26 1 0 0 20 0 1 0 48136639 17498112 4032 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 4272 4032 448 484 0 3683 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 17088 KiB
Current children cumulated memory: 16128 KiB

[startup+0.700231 s]
/proc/loadavg: 2.05 3.71 5.10 6/246 56073
/proc/meminfo: memFree=129658852/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=41624 memory=38256 CPUtime=0.63 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 9392 0 0 0 59 4 0 0 20 0 1 0 48136639 42622976 9564 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 10406 9564 480 484 0 9817 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 38256 KiB

[startup+1.50022 s]
/proc/loadavg: 2.05 3.71 5.10 5/247 56091
/proc/meminfo: memFree=129561760/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=75680 memory=72116 CPUtime=1.41 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 15665 0 0 0 134 7 0 0 20 0 1 0 48136639 77496320 18029 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 6 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 18920 18029 544 484 0 18331 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 75680 KiB
Current children cumulated memory: 72116 KiB

[startup+3.11294 s]
/proc/loadavg: 2.05 3.71 5.10 6/251 56128
/proc/meminfo: memFree=129512100/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=75964 memory=72756 CPUtime=3.01 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 15811 0 0 0 294 7 0 0 20 0 1 0 48136639 77787136 18189 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 18991 18189 544 484 0 18402 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 72756 KiB

[startup+6.30029 s]
/proc/loadavg: 2.21 3.71 5.09 6/251 56128
/proc/meminfo: memFree=129224668/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=75964 memory=72756 CPUtime=6.19 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 15814 0 0 0 612 7 0 0 20 0 1 0 48136639 77787136 18189 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 18991 18189 544 484 0 18402 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 72756 KiB

[startup+12.7003 s]
/proc/loadavg: 2.35 3.72 5.09 6/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=75964 memory=72756 CPUtime=12.57 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 15818 0 0 0 1250 7 0 0 20 0 1 0 48136639 77787136 18189 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 18991 18189 544 484 0 18402 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 72756 KiB

[startup+25.5003 s]
/proc/loadavg: 2.79 3.75 5.08 6/251 56173
/proc/meminfo: memFree=129339892/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=84208 memory=80968 CPUtime=25.34 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 17368 0 0 0 2526 8 0 0 20 0 1 0 48136639 86228992 20242 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 21052 20242 544 484 0 20463 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 84208 KiB
Current children cumulated memory: 80968 KiB

[startup+51.1126 s]
/proc/loadavg: 3.20 3.77 5.05 6/251 56174
/proc/meminfo: memFree=129319556/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=87188 memory=83912 CPUtime=50.87 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 18123 0 0 0 5079 8 0 0 20 0 1 0 48136639 89280512 20978 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 21797 20978 544 484 0 21208 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 87188 KiB
Current children cumulated memory: 83912 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.82 4.99 6/251 56179
/proc/meminfo: memFree=129273388/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=93880 memory=90568 CPUtime=101.91 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 23852 0 0 0 10180 11 0 0 20 0 1 0 48136639 96133120 22642 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 23470 22642 544 484 0 22881 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 93880 KiB
Current children cumulated memory: 90568 KiB

[startup+162.3 s]
/proc/loadavg: 4.63 4.07 5.00 6/251 56181
/proc/meminfo: memFree=129188212/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=114644 memory=111692 CPUtime=161.73 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 26301 0 0 0 16161 12 0 0 20 0 1 0 48136639 117395456 27923 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 28661 27923 544 484 0 28072 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 111692 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.07 4.94 6/251 56183
/proc/meminfo: memFree=129184324/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=115368 memory=112584 CPUtime=221.57 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 30107 0 0 0 22142 15 0 0 20 0 1 0 48136639 118136832 28146 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 28842 28146 544 484 0 28253 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 115368 KiB
Current children cumulated memory: 112584 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.09 4.89 6/250 56185
/proc/meminfo: memFree=129201384/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=126236 memory=123464 CPUtime=281.42 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 31814 0 0 0 28126 16 0 0 20 0 1 0 48136639 129265664 30866 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 31559 30866 544 484 0 30970 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 126236 KiB
Current children cumulated memory: 123464 KiB

[startup+342.3 s]
/proc/loadavg: 4.82 4.26 4.90 6/250 56187
/proc/meminfo: memFree=129126028/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=161712 memory=158988 CPUtime=341.25 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 36410 0 0 0 34106 19 0 0 20 0 1 0 48136639 165593088 39747 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 40428 39747 544 484 0 39839 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 158988 KiB

[startup+402.3 s]
/proc/loadavg: 5.05 4.45 4.93 6/250 56189
/proc/meminfo: memFree=129012124/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=176548 memory=173824 CPUtime=401.09 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 37616 0 0 0 40089 20 0 0 20 0 1 0 48136639 180785152 43456 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 44137 43456 544 484 0 43548 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 176548 KiB
Current children cumulated memory: 173824 KiB

[startup+462.3 s]
/proc/loadavg: 4.45 4.39 4.88 6/250 56191
/proc/meminfo: memFree=129027808/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=149156 memory=146372 CPUtime=460.92 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 38922 0 0 0 46071 21 0 0 20 0 1 0 48136639 152735744 36593 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 37289 36593 544 484 0 36700 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 186084 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.15 6/250 56301
/proc/meminfo: memFree=128815432/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=192100 memory=187768 CPUtime=2853.87 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 94017 0 0 0 285262 125 0 0 20 0 1 0 48136639 196710400 46942 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 48025 46942 544 484 0 47436 0
Current children cumulated CPU time: 2853.87 s
Current children cumulated vsize: 192100 KiB
Current children cumulated memory: 187768 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.15 6/250 56303
/proc/meminfo: memFree=128802044/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=196036 memory=193160 CPUtime=2913.7 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 96145 0 0 0 291242 128 0 0 20 0 1 0 48136639 200740864 48290 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 49009 48290 544 484 0 48420 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 196036 KiB
Current children cumulated memory: 193160 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.14 6/250 56307
/proc/meminfo: memFree=128797328/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=195540 memory=192720 CPUtime=2973.54 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 96816 0 0 0 297224 130 0 0 20 0 1 0 48136639 200232960 48180 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 48885 48180 544 484 0 48296 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 195540 KiB
Current children cumulated memory: 192720 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.14 6/249 56309
/proc/meminfo: memFree=128769484/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=221924 memory=217800 CPUtime=3033.37 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 102217 0 0 0 303203 134 0 0 20 0 1 0 48136639 227250176 54450 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 55481 54450 544 484 0 54892 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 221924 KiB
Current children cumulated memory: 217800 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.13 6/250 56316
/proc/meminfo: memFree=128787052/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=215248 memory=211156 CPUtime=3093.19 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 102720 0 0 0 309184 135 0 0 20 0 1 0 48136639 220413952 52789 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 53812 52789 544 484 0 53223 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 215248 KiB
Current children cumulated memory: 211156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.12 6/250 56318
/proc/meminfo: memFree=128777000/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=250404 memory=247616 CPUtime=3153.02 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 106985 0 0 0 315163 139 0 0 20 0 1 0 48136639 256413696 61904 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 62601 61904 544 484 0 62012 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 250404 KiB
Current children cumulated memory: 247616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.12 6/250 56320
/proc/meminfo: memFree=128749888/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=255000 memory=252240 CPUtime=3212.85 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 107245 0 0 0 321145 140 0 0 20 0 1 0 48136639 261120000 63060 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 63750 63060 544 484 0 63161 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 255000 KiB
Current children cumulated memory: 252240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.11 6/250 56322
/proc/meminfo: memFree=128740644/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=261028 memory=258268 CPUtime=3272.68 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 108073 0 0 0 327127 141 0 0 20 0 1 0 48136639 267292672 64567 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 65257 64567 544 484 0 64668 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 261028 KiB
Current children cumulated memory: 258268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.10 4.12 6/250 56324
/proc/meminfo: memFree=128746996/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=260892 memory=258132 CPUtime=3332.52 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 108715 0 0 0 333110 142 0 0 20 0 1 0 48136639 267153408 64533 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 65223 64533 544 484 0 64634 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 260892 KiB
Current children cumulated memory: 258132 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 6/250 56326
/proc/meminfo: memFree=128737216/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=266944 memory=264184 CPUtime=3392.35 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 109337 0 0 0 339092 143 0 0 20 0 1 0 48136639 273350656 66046 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 66736 66046 544 484 0 66147 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 266944 KiB
Current children cumulated memory: 264184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.11 6/249 56328
/proc/meminfo: memFree=128747952/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=245068 memory=242308 CPUtime=3452.19 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 110656 0 0 0 345073 146 0 0 20 0 1 0 48136639 250949632 60577 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 61267 60577 544 484 0 60678 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 245068 KiB
Current children cumulated memory: 242308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/249 56345
/proc/meminfo: memFree=128784620/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=209268 memory=206508 CPUtime=3512.03 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 112052 0 0 0 351054 149 0 0 20 0 1 0 48136639 214290432 51627 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 52317 51627 544 484 0 51728 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 209268 KiB
Current children cumulated memory: 206508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 56350
/proc/meminfo: memFree=128776348/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=210280 memory=207520 CPUtime=3571.87 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 112859 0 0 0 357037 150 0 0 20 0 1 0 48136639 215326720 51880 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 52570 51880 544 484 0 51981 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 210280 KiB
Current children cumulated memory: 207520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.12 4.09 4.10 6/250 56351
/proc/meminfo: memFree=128774044/131382112 swapFree=33010684/33010684
[pid=56068] ppid=56060 vsize=210280 memory=207520 CPUtime=3600.09 cores=4,6
/proc/56068/stat : 56068 (uwrmaxsat) R 56060 56068 56014 0 -1 4194304 113964 0 0 0 359858 151 0 0 20 0 1 0 48136639 215326720 51880 18446744073709551615 4198400 6176925 140724106695296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 23453696 140724106697066 140724106697193 140724106697193 140724106702795 0
/proc/56068/statm: 52570 51880 544 484 0 51981 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 210280 KiB
Current children cumulated memory: 207520 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.59 s, system=1.51196 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.1
CPU user time (s): 3598.59
CPU system time (s): 1.51196
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 318736
Max. memory (cumulated for all children) (KiB): 315948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.51196
maximum resident set size= 315948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113966
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= 33
involuntary context switches= 2248


# summary of solver processes directly reported to runsolver:
#   pid: 56068
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.59
#   total CPU system time (s): 1.51196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1775 second user time and 34.4202 second system time

The end