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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486130-1751309916/watcher-4486130-1751309916 -o /tmp/evaluation-result-4486130-1751309916/solver-4486130-1751309916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751301654-42365 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4486130-1751309916.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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_64SLinux 5.14.0-503.14.1.el9_5.x86_64Starting watchdog threadi
Current StackSize limit: 8192 KiB
solver pid=43715, runsolver pid=43712


[startup+0.100102 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120373532/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=29652 memory=10624 CPUtime=0.08 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 1983 0 0 0 8 0 0 0 20 0 1 0 46671443 30363648 2656 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 7413 2656 768 2416 0 4515 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 36636 KiB
Current children cumulated memory: 15104 KiB

[startup+0.213466 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120373532/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=30744 memory=11520 CPUtime=0.19 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 2259 0 0 0 19 0 0 0 20 0 1 0 46671443 31481856 2880 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 7686 2880 768 2416 0 4788 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37728 KiB
Current children cumulated memory: 16000 KiB

[startup+0.312882 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120373532/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=33688 memory=13244 CPUtime=0.29 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 2750 0 0 0 29 0 0 0 20 0 1 0 46671443 34496512 3311 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 8422 3311 768 2416 0 5524 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 17724 KiB

[startup+0.700497 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120389372/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=64632 memory=46752 CPUtime=0.67 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 12369 0 0 0 65 2 0 0 20 0 1 0 46671443 66183168 11688 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 16158 11688 768 2416 0 13260 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71616 KiB
Current children cumulated memory: 51232 KiB

[startup+1.50043 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120389372/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=76672 memory=59228 CPUtime=1.46 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 13429 0 0 0 144 2 0 0 20 0 1 0 46671443 78512128 14807 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 19168 14807 800 2416 0 16270 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 83656 KiB
Current children cumulated memory: 63708 KiB

[startup+3.11312 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120421804/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=92588 memory=74932 CPUtime=3.08 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 14561 0 0 0 305 3 0 0 20 0 1 0 46671443 94810112 18733 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 23147 18733 800 2416 0 20249 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 79412 KiB

[startup+6.30045 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 43719
/proc/meminfo: memFree=120482388/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=81092 memory=63612 CPUtime=6.25 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 14866 0 0 0 622 3 0 0 20 0 1 0 46671443 83038208 15903 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 20273 15903 800 2416 0 17375 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88076 KiB
Current children cumulated memory: 68092 KiB

[startup+12.7005 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 43719
/proc/meminfo: memFree=120558592/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=99768 memory=82896 CPUtime=12.63 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 15604 0 0 0 1259 4 0 0 20 0 1 0 46671443 102162432 20724 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 24942 20724 800 2416 0 22044 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 106752 KiB
Current children cumulated memory: 87376 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.11 4.10 5/257 43720
/proc/meminfo: memFree=120748184/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=139024 memory=109880 CPUtime=25.4 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 17200 0 0 0 2534 6 0 0 20 0 1 0 46671443 142360576 27470 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 34756 27470 800 2416 0 31858 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 146008 KiB
Current children cumulated memory: 114360 KiB

[startup+51.1133 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 43720
/proc/meminfo: memFree=121102484/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0
/proc/43718/statm: 665 352 352 5 0 90 0
[pid=43719] ppid=43718 vsize=139024 memory=112308 CPUtime=50.94 cores=1,3
/proc/43719/stat : 43719 (CASHWMaxSAT-Dis) R 43718 43718 42353 0 -1 4194304 22759 0 0 0 5074 20 0 0 20 0 1 0 46671443 142360576 28077 18446744073709551615 4198400 14093885 140720503349600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36925440 140720503351709 140720503351835 140720503351835 140720503357408 0
/proc/43719/statm: 34756 28077 800 2416 0 31858 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 146008 KiB
Current children cumulated memory: 116788 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/258 43723
/proc/meminfo: memFree=121718592/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43718] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43718/stat : 43718 (timeout) S 43715 43718 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46671443 2723840 352 18446744073709551615 94163759206400 94163759222913 140726218200816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94163759237680 94163759239768 94163779964928 140726218205592 140726218205730 140726218205730 140726218211303 0

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

/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=726752 memory=627592 CPUtime=2556.01 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94428 0 0 0 251689 3912 0 0 20 0 1 0 46761344 744194048 156898 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181688 156898 1984 2271 0 176326 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 733736 KiB
Current children cumulated memory: 632072 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.20 2.13 2/234 44036
/proc/meminfo: memFree=122559804/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=726752 memory=627592 CPUtime=2615.83 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94507 0 0 0 257668 3915 0 0 20 0 1 0 46761344 744194048 156898 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181688 156898 1984 2271 0 176326 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 733736 KiB
Current children cumulated memory: 632072 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.18 2.06 2/233 44038
/proc/meminfo: memFree=122558800/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=726912 memory=627848 CPUtime=2675.65 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94567 0 0 0 263643 3922 0 0 20 0 1 0 46761344 744357888 156962 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181728 156962 1984 2271 0 176366 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 733896 KiB
Current children cumulated memory: 632328 KiB

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

# cumulated CPU time of all completed processes:  user=3544.62 s, system=41.2728 s

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

[startup+3584 s]*
/proc/loadavg: 1.12 1.18 2.06 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=726912 memory=627848 CPUtime=2677.35 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94567 0 0 0 263813 3922 0 0 20 0 1 0 46761344 744357888 156962 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181728 156962 1984 2271 0 176366 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 733896 KiB
Current children cumulated memory: 632328 KiB

[startup+3590.4 s]
/proc/loadavg: 1.10 1.18 2.05 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=727500 memory=628360 CPUtime=2683.73 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94714 0 0 0 264450 3923 0 0 20 0 1 0 46761344 744960000 157090 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181875 157090 1984 2271 0 176513 0
Current children cumulated CPU time: 3580.2 s
Current children cumulated vsize: 734484 KiB
Current children cumulated memory: 632840 KiB

[startup+3593.6 s]
/proc/loadavg: 1.10 1.18 2.05 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=727500 memory=628360 CPUtime=2686.92 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94714 0 0 0 264769 3923 0 0 20 0 1 0 46761344 744960000 157090 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181875 157090 1984 2271 0 176513 0
Current children cumulated CPU time: 3583.39 s
Current children cumulated vsize: 734484 KiB
Current children cumulated memory: 632840 KiB

[startup+3595.2 s]
/proc/loadavg: 1.09 1.17 2.04 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=727500 memory=628360 CPUtime=2688.51 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94714 0 0 0 264928 3923 0 0 20 0 1 0 46761344 744960000 157090 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181875 157090 1984 2271 0 176513 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 734484 KiB
Current children cumulated memory: 632840 KiB

[startup+3595.6 s]
/proc/loadavg: 1.09 1.17 2.04 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=727500 memory=628360 CPUtime=2688.91 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94714 0 0 0 264968 3923 0 0 20 0 1 0 46761344 744960000 157090 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181875 157090 1984 2271 0 176513 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 734484 KiB
Current children cumulated memory: 632840 KiB

[startup+3596 s]*
/proc/loadavg: 1.09 1.17 2.04 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3072 CPUtime=896.47 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 285 61990 0 0 0 0 89448 199 20 0 1 0 46671441 4427776 768 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 768 704 219 0 143 0
[pid=43779] ppid=43715 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43779/stat : 43779 (timeout) S 43715 43779 42353 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 46761344 2723840 352 18446744073709551615 94703032885248 94703032901761 140735057170704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94703032916528 94703032918616 94703058653184 140735057172869 140735057173026 140735057173026 140735057178599 0
/proc/43779/statm: 665 352 352 5 0 90 0
[pid=43780] ppid=43779 vsize=727500 memory=628360 CPUtime=2689.32 cores=1,3
/proc/43780/stat : 43780 (ExactPR-S9) R 43779 43779 42353 0 -1 4194304 94714 0 0 0 265009 3923 0 0 20 0 1 0 46761344 744960000 157090 18446744073709551615 94017095843840 94017105143941 140726747534048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94017106929984 94017106969064 94017122365440 140726747535772 140726747535910 140726747535910 140726747541483 0
/proc/43780/statm: 181875 157090 1984 2271 0 176513 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 734484 KiB
Current children cumulated memory: 632840 KiB

[startup+3596.11 s]
/proc/loadavg: 1.09 1.17 2.04 2/233 44038
/proc/meminfo: memFree=122559304/131382112 swapFree=33010684/33010684
[pid=43715] ppid=43712 vsize=4324 memory=3200 CPUtime=3585.87 cores=1,3
/proc/43715/stat : 43715 (Hybrid-CASHWMax) S 43712 43715 42353 0 -1 4194304 481 159409 0 0 0 0 354461 4126 20 0 1 0 46671441 4427776 800 18446744073709551615 94782808403968 94782809298501 140733239326832 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782809537552 94782809585296 94782815854592 140733239331157 140733239331312 140733239331312 140733239336914 0
/proc/43715/statm: 1081 800 704 219 0 143 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3200 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3585.89
CPU user time (s): 3544.62
CPU system time (s): 41.2728
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 734484
Max. memory (cumulated for all children) (KiB): 632840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.62
system time used= 41.2728
maximum resident set size= 628488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160244
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2068
involuntary context switches= 2807


# summary of solver processes directly reported to runsolver:
#   pid: 43715
#   total CPU time (s): 3585.89
#   total CPU user time (s): 3544.62
#   total CPU system time (s): 41.2728

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6174 second user time and 38.4108 second system time

The end