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: 63794 MiB (63010 MiB free)
  memory of node 1: 64507 MiB (63774 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486359-1751310414/watcher-4486359-1751310414 -o /tmp/evaluation-result-4486359-1751310414/solver-4486359-1751310414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751303214-40819 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4486359-1751310414.opb 3600 HOME 

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=41892, runsolver pid=41889

[startup+0.100068 s]*
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129827920/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=26148 memory=7680 CPUtime=0.06 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 1268 0 0 0 6 0 0 0 20 0 1 0 46720356 26775552 1920 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 6537 1920 736 2416 0 3639 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 12032 KiB

[startup+0.21342 s]*
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129827164/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=31644 memory=13184 CPUtime=0.16 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 2638 0 0 0 16 0 0 0 20 0 1 0 46720356 32403456 3296 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 7911 3296 736 2416 0 5013 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 17536 KiB

[startup+0.313288 s]*
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129826188/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=36620 memory=18176 CPUtime=0.25 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 3885 0 0 0 24 1 0 0 20 0 1 0 46720356 37498880 4544 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 9155 4544 736 2416 0 6257 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 22528 KiB

[startup+0.700281 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129816360/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=56300 memory=37760 CPUtime=0.6 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 8789 0 0 0 58 2 0 0 20 0 1 0 46720356 57651200 9440 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 14075 9440 736 2416 0 11177 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 42112 KiB

[startup+1.50024 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129780072/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=123680 memory=102492 CPUtime=1.39 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 23618 0 0 0 134 5 0 0 20 0 1 0 46720356 126648320 25623 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 30920 25623 768 2416 0 28022 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 130664 KiB
Current children cumulated memory: 106844 KiB

[startup+3.10535 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129500316/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=286160 memory=240252 CPUtime=2.98 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 38646 0 0 0 287 11 0 0 20 0 1 0 46720356 293027840 60063 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 71540 60063 800 2416 0 68642 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 293144 KiB
Current children cumulated memory: 244604 KiB

[startup+6.30045 s]
/proc/loadavg: 4.19 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129455908/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=297168 memory=251216 CPUtime=6.15 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 39370 0 0 0 603 12 0 0 20 0 1 0 46720356 304300032 62804 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 74292 62804 800 2416 0 71394 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 304152 KiB
Current children cumulated memory: 255568 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.15 4.17 5/257 41947
/proc/meminfo: memFree=129590960/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=316024 memory=269856 CPUtime=12.53 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 40069 0 0 0 1240 13 0 0 20 0 1 0 46720356 323608576 67464 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 79006 67464 800 2416 0 76108 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 323008 KiB
Current children cumulated memory: 274208 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.16 4.17 5/257 41947
/proc/meminfo: memFree=129570216/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=316024 memory=269856 CPUtime=25.29 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 40095 0 0 0 2516 13 0 0 20 0 1 0 46720356 323608576 67464 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 79006 67464 800 2416 0 76108 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 323008 KiB
Current children cumulated memory: 274208 KiB

[startup+51.1131 s]
/proc/loadavg: 4.14 4.15 4.17 5/257 41947
/proc/meminfo: memFree=129533864/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41895/stat : 41895 (timeout) S 41892 41895 40808 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46720355 2723840 352 18446744073709551615 94451247439872 94451247456385 140731302607024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94451247471152 94451247473240 94451271098368 140731302611350 140731302611490 140731302611490 140731302617063 0
/proc/41895/statm: 665 352 352 5 0 90 0
[pid=41896] ppid=41895 vsize=316024 memory=244312 CPUtime=50.83 cores=4,6
/proc/41896/stat : 41896 (CASHWMaxSAT-Dis) R 41895 41895 40808 0 -1 4194304 41528 0 0 0 5068 15 0 0 20 0 1 0 46720356 323608576 61078 18446744073709551615 4198400 14093885 140722344369760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33648640 140722344376732 140722344376859 140722344376859 140722344382432 0
/proc/41896/statm: 79006 61078 800 2416 0 76108 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 323008 KiB
Current children cumulated memory: 248664 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 41949
/proc/meminfo: memFree=129493688/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=41895] ppid=41892 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 42126
/proc/meminfo: memFree=128420672/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2257.96 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108931 0 0 0 225466 330 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 42128
/proc/meminfo: memFree=128422540/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2317.79 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108933 0 0 0 231449 330 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2377.63 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 237431 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

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

# cumulated CPU time of all completed processes:  user=3579.63 s, system=6.43696 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/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2379.33 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 237601 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2385.7 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 238238 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3580.38 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423352/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2388.89 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 238557 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.11 4.09 3/248 42182
/proc/meminfo: memFree=129146012/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2390.49 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 238717 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.11 4.09 3/248 42182
/proc/meminfo: memFree=129146012/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2390.88 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 238756 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.09 5/252 42202
/proc/meminfo: memFree=129137944/131382112 swapFree=33010160/33010684
[pid=41892] ppid=41889 vsize=4324 memory=2944 CPUtime=1194.68 cores=4,6
/proc/41892/stat : 41892 (Hybrid-CASHWMax) S 41889 41892 40808 0 -1 4194304 286 215108 0 0 0 0 119161 307 20 0 1 0 46720353 4427776 736 18446744073709551615 94239966797824 94239967692357 140726816513584 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94239967931408 94239967979152 94239993892864 140726816520535 140726816520689 140726816520689 140726816526291 0
/proc/41892/statm: 1081 736 672 219 0 143 0
[pid=42005] ppid=41892 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42005/stat : 42005 (timeout) S 41892 42005 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46840156 2723840 320 18446744073709551615 94669620428800 94669620445313 140728365158528 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669620460080 94669620462168 94669649870848 140728365160838 140728365160994 140728365160994 140728365166567 0
/proc/42005/statm: 665 320 320 5 0 90 0
[pid=42006] ppid=42005 vsize=592556 memory=521732 CPUtime=2391.3 cores=4,6
/proc/42006/stat : 42006 (ExactPR-S) R 42005 42005 40808 0 -1 4194304 108940 0 0 0 238798 332 0 0 20 0 1 0 46840157 606777344 130433 18446744073709551615 94264780083200 94264789383237 140735236767024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94264791169344 94264791208424 94264827240448 140735236770206 140735236770343 140735236770343 140735236775916 0
/proc/42006/statm: 148139 130433 3392 2271 0 142777 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 525956 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3586.07
CPU user time (s): 3579.63
CPU system time (s): 6.43696
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 690788
Max. memory (cumulated for all children) (KiB): 604376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.63
system time used= 6.43696
maximum resident set size= 600152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1316
involuntary context switches= 1849


# summary of solver processes directly reported to runsolver:
#   pid: 41892
#   total CPU time (s): 3586.07
#   total CPU user time (s): 3579.63
#   total CPU system time (s): 6.43696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0612 second user time and 37.2158 second system time

The end