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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486360-1751310472/watcher-4486360-1751310472 -o /tmp/evaluation-result-4486360-1751310472/solver-4486360-1751310472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751303274-41991 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4486360-1751310472.opb 3600 HOME 

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
Current StackSize limit: 8192 KiB

solver pid=43071, runsolver pid=43068

[startup+0.100057 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129382936/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=36944 memory=18432 CPUtime=0.07 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 3960 0 0 0 7 0 0 0 20 0 1 0 46725750 37830656 4608 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 9236 4608 736 2416 0 6338 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 22656 KiB

[startup+0.205731 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129367060/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=50240 memory=31872 CPUtime=0.18 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 7298 0 0 0 17 1 0 0 20 0 1 0 46725750 51445760 7968 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 12560 7968 736 2416 0 9662 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 36096 KiB

[startup+0.304857 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129358996/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=62232 memory=43648 CPUtime=0.29 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 10264 0 0 0 27 2 0 0 20 0 1 0 46725750 63725568 10912 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 15558 10912 736 2416 0 12660 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69216 KiB
Current children cumulated memory: 47872 KiB

[startup+0.700185 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129333796/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=110004 memory=91064 CPUtime=0.67 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 21991 0 0 0 63 4 0 0 20 0 1 0 46725750 112644096 22766 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 27501 22766 768 2416 0 24603 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 116988 KiB
Current children cumulated memory: 95288 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129246532/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=319844 memory=286048 CPUtime=1.47 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 38581 0 0 0 137 10 0 0 20 0 1 0 46725750 327520256 71512 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 79961 71512 768 2416 0 77063 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 326828 KiB
Current children cumulated memory: 290272 KiB

[startup+3.10555 s]
/proc/loadavg: 4.13 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129058232/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=286160 memory=238244 CPUtime=3.07 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 39166 0 0 0 297 10 0 0 20 0 1 0 46725750 293027840 59561 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 71540 59561 800 2416 0 68642 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 293144 KiB
Current children cumulated memory: 242468 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129015784/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=327520 memory=270120 CPUtime=6.25 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 40000 0 0 0 614 11 0 0 20 0 1 0 46725750 335380480 67530 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 81880 67530 800 2416 0 78982 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 334504 KiB
Current children cumulated memory: 274344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.13 5/272 43125
/proc/meminfo: memFree=129112520/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=316024 memory=267836 CPUtime=12.64 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 40598 0 0 0 1252 12 0 0 20 0 1 0 46725750 323608576 66959 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 79006 66959 800 2416 0 76108 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 323008 KiB
Current children cumulated memory: 272060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.12 5/272 43126
/proc/meminfo: memFree=129111256/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=316024 memory=267836 CPUtime=25.4 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 40628 0 0 0 2528 12 0 0 20 0 1 0 46725750 323608576 66959 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 79006 66959 800 2416 0 76108 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 323008 KiB
Current children cumulated memory: 272060 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.19 4.14 5/272 43126
/proc/meminfo: memFree=129066420/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43074/stat : 43074 (timeout) S 43071 43074 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46725749 2723840 320 18446744073709551615 94165332901888 94165332918401 140731146470176 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94165332933168 94165332935256 94165338292224 140731146471832 140731146471970 140731146471970 140731146477543 0
/proc/43074/statm: 665 320 320 5 0 90 0
[pid=43075] ppid=43074 vsize=327696 memory=278516 CPUtime=50.94 cores=0,2
/proc/43075/stat : 43075 (CASHWMaxSAT-Dis) R 43074 43074 41981 0 -1 4194304 42941 0 0 0 5080 14 0 0 20 0 1 0 46725750 335560704 69629 18446744073709551615 4198400 14093885 140731670367888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46899200 140731670374813 140731670374939 140731670374939 140731670380512 0
/proc/43075/statm: 81924 69629 800 2416 0 79026 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 334680 KiB
Current children cumulated memory: 282740 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/271 43128
/proc/meminfo: memFree=129052984/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43074] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/43169/statm: 136041 125696 3392 2271 0 130679 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 507008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43305
/proc/meminfo: memFree=128148000/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=502784 CPUtime=2556.61 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104872 0 0 0 252097 3564 0 0 20 0 1 0 46815650 557223936 125696 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 125696 3392 2271 0 130679 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 507008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 43307
/proc/meminfo: memFree=128147912/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2616.46 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104876 0 0 0 258082 3564 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148056/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2676.3 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 264060 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3596.29 s]
# the end of solver process 43071 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3548.83 s, system=38.0195 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148072/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2678 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 264230 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3574.61 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148072/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2684.38 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 264868 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3580.99 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2687.57 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 265187 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 4/264 43339
/proc/meminfo: memFree=128408312/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2689.17 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 265347 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 3/258 43388
/proc/meminfo: memFree=128758308/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2689.97 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 265427 3570 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

[startup+3596.2 s]
/proc/loadavg: 4.09 4.11 4.09 3/258 43388
/proc/meminfo: memFree=128758308/131249988 swapFree=33010684/33010684
[pid=43071] ppid=43068 vsize=4324 memory=2944 CPUtime=896.61 cores=0,2
/proc/43071/stat : 43071 (Hybrid-CASHWMax) S 43068 43071 41981 0 -1 4194304 283 183281 0 0 0 0 89432 229 20 0 1 0 46725748 4427776 736 18446744073709551615 94009836732416 94009837626949 140725031172992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009837866000 94009837913744 94009850224640 140725031176533 140725031176688 140725031176688 140725031182290 0
/proc/43071/statm: 1081 736 672 219 0 143 0
[pid=43168] ppid=43071 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/43168/stat : 43168 (timeout) S 43071 43168 41981 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 46815650 2723840 320 18446744073709551615 93991798882304 93991798898817 140733516920256 0 0 0 0 3293184 73735 1 0 0 17 2 0 0 0 0 0 93991798913584 93991798915672 93991824089088 140733516929413 140733516929570 140733516929570 140733516935143 0
/proc/43168/statm: 665 320 320 5 0 90 0
[pid=43169] ppid=43168 vsize=544164 memory=504832 CPUtime=2690.16 cores=0,2
/proc/43169/stat : 43169 (ExactPR-S9) R 43168 43168 41981 0 -1 4194304 104880 0 0 0 265445 3571 0 0 20 0 1 0 46815650 557223936 126208 18446744073709551615 94552240943104 94552250243205 140730623120768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94552252029248 94552252068328 94552294641664 140730623125916 140730623126054 140730623126054 140730623131627 0
/proc/43169/statm: 136041 126208 3392 2271 0 130679 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 551148 KiB
Current children cumulated memory: 509056 KiB

Child status: 0

Real time (s): 3596.29
CPU time (s): 3586.85
CPU user time (s): 3548.83
CPU system time (s): 38.0195
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 682024
Max. memory (cumulated for all children) (KiB): 598996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.83
system time used= 38.0195
maximum resident set size= 594772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1275
involuntary context switches= 7852


# summary of solver processes directly reported to runsolver:
#   pid: 43071
#   total CPU time (s): 3586.85
#   total CPU user time (s): 3548.83
#   total CPU system time (s): 38.0195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75543 second user time and 16.7977 second system time

The end