runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62414 MiB free)
  memory of node 1: 64465 MiB (63102 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502397-1751468047/watcher-4502397-1751468047 -o /tmp/evaluation-result-4502397-1751468047/solver-4502397-1751468047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751464373-61842 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4502397-1751468047.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64080, runsolver pid=64077
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.21 4.16 4.11 5/259 64084
/proc/meminfo: memFree=128524872/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=25712 memory=7296 CPUtime=0.08 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 1176 0 0 0 8 0 0 0 20 0 1 0 62483832 26329088 1824 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 6428 1824 736 2416 0 3530 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 11520 KiB

[startup+0.213977 s]*
/proc/loadavg: 4.21 4.16 4.11 5/259 64084
/proc/meminfo: memFree=128524872/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=34028 memory=15032 CPUtime=0.18 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 3391 0 0 0 18 0 0 0 20 0 1 0 62483832 34844672 3758 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 8507 3758 768 2416 0 5609 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41012 KiB
Current children cumulated memory: 19256 KiB

[startup+0.313921 s]*
/proc/loadavg: 4.21 4.16 4.11 5/259 64084
/proc/meminfo: memFree=128512964/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=37676 memory=21196 CPUtime=0.29 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 4702 0 0 0 28 1 0 0 20 0 1 0 62483832 38580224 5299 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 9419 5299 768 2416 0 6521 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44660 KiB
Current children cumulated memory: 25420 KiB

[startup+0.700532 s]
/proc/loadavg: 4.21 4.16 4.11 5/259 64084
/proc/meminfo: memFree=128512712/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=38332 memory=20632 CPUtime=0.66 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 5741 0 0 0 65 1 0 0 20 0 1 0 62483832 39251968 5158 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 9583 5158 800 2416 0 6685 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45316 KiB
Current children cumulated memory: 24856 KiB

[startup+1.50052 s]
/proc/loadavg: 4.21 4.16 4.11 5/259 64084
/proc/meminfo: memFree=128520048/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=38332 memory=22808 CPUtime=1.45 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 6296 0 0 0 144 1 0 0 20 0 1 0 62483832 39251968 5702 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 9583 5702 800 2416 0 6685 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 45316 KiB
Current children cumulated memory: 27032 KiB

[startup+3.11344 s]
/proc/loadavg: 4.28 4.18 4.12 5/259 64084
/proc/meminfo: memFree=128524948/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=56928 memory=35872 CPUtime=3.06 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 6479 0 0 0 304 2 0 0 20 0 1 0 62483832 58294272 8968 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 14232 8968 800 2416 0 11334 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 63912 KiB
Current children cumulated memory: 40096 KiB

[startup+6.3005 s]
/proc/loadavg: 4.28 4.18 4.12 5/259 64084
/proc/meminfo: memFree=128517444/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=59844 memory=37596 CPUtime=6.23 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 7510 0 0 0 621 2 0 0 20 0 1 0 62483832 61280256 9399 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 14961 9399 800 2416 0 12063 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 41820 KiB

[startup+12.7005 s]
/proc/loadavg: 4.23 4.17 4.12 5/259 64084
/proc/meminfo: memFree=128486476/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=59844 memory=44512 CPUtime=12.62 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 7727 0 0 0 1259 3 0 0 20 0 1 0 62483832 61280256 11128 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 14961 11128 800 2416 0 12063 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 48736 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.16 4.12 5/259 64084
/proc/meminfo: memFree=128454100/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=64264 memory=48736 CPUtime=25.37 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 8270 0 0 0 2534 3 0 0 20 0 1 0 62483832 65806336 12184 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 16066 12184 800 2416 0 13168 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 71248 KiB
Current children cumulated memory: 52960 KiB

[startup+51.1135 s]
/proc/loadavg: 4.21 4.17 4.12 5/259 64085
/proc/meminfo: memFree=128422144/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64083/stat : 64083 (timeout) S 64080 64083 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62483831 2723840 320 18446744073709551615 94030820663296 94030820679809 140736806058656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94030820694576 94030820696664 94030824574976 140736806066582 140736806066722 140736806066722 140736806072295 0
/proc/64083/statm: 665 320 320 5 0 90 0
[pid=64084] ppid=64083 vsize=71448 memory=56168 CPUtime=50.89 cores=5,7
/proc/64084/stat : 64084 (CASHWMaxSAT-Dis) R 64083 64083 61829 0 -1 4194304 8616 0 0 0 5086 3 0 0 20 0 1 0 62483832 73162752 14042 18446744073709551615 4198400 14093885 140726195884416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24145920 140726195890588 140726195890715 140726195890715 140726195896288 0
/proc/64084/statm: 17862 14042 800 2416 0 14964 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 78432 KiB
Current children cumulated memory: 60392 KiB

[startup+102.301 s]
/proc/loadavg: 4.20 4.17 4.12 5/259 64087
/proc/meminfo: memFree=128398628/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64083] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2256 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69804 0 0 0 225080 520 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3450.21 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.19 5/257 64319
/proc/meminfo: memFree=121958644/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2315.81 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69806 0 0 0 231052 529 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3510.02 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.20 4.19 5/257 64390
/proc/meminfo: memFree=122735276/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2375.57 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 237017 540 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3569.78 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

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

# cumulated CPU time of all completed processes:  user=3577.88 s, system=5.688 s

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.20 4.19 5/257 64390
/proc/meminfo: memFree=122676428/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2377.27 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 237187 540 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.20 4.19 5/257 64390
/proc/meminfo: memFree=122718036/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2383.63 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 237821 542 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3577.84 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.19 4.18 5/257 64390
/proc/meminfo: memFree=122696636/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2386.81 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 238138 543 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3595.2 s]
/proc/loadavg: 4.18 4.19 4.18 5/257 64391
/proc/meminfo: memFree=122714348/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2388.41 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 238298 543 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3582.62 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3595.6 s]
/proc/loadavg: 4.18 4.19 4.18 5/257 64391
/proc/meminfo: memFree=122714348/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2388.81 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 238338 543 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3583.02 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3596 s]*
/proc/loadavg: 4.18 4.19 4.18 5/251 64422
/proc/meminfo: memFree=123988428/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=1194.21 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 281 17895 0 0 0 0 119403 18 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
[pid=64154] ppid=64080 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/64154/stat : 64154 (timeout) S 64080 64154 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62603632 2723840 320 18446744073709551615 93936386039808 93936386056321 140731511749904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93936386071088 93936386073176 93936413696000 140731511753094 140731511753250 140731511753250 140731511758823 0
/proc/64154/statm: 665 320 320 5 0 90 0
[pid=64155] ppid=64154 vsize=249692 memory=234440 CPUtime=2389.22 cores=5,7
/proc/64155/stat : 64155 (ExactPR-S) R 64154 64154 61829 0 -1 4194304 69808 0 0 0 238379 543 0 0 20 0 1 0 62603633 255684608 58610 18446744073709551615 94723705700352 94723715000389 140725149148624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94723716786496 94723716825576 94723741335552 140725149157790 140725149157927 140725149157927 140725149163500 0
/proc/64155/statm: 62423 58610 3392 2271 0 57061 0
Current children cumulated CPU time: 3583.43 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238664 KiB

[startup+3596.11 s]
/proc/loadavg: 4.18 4.19 4.18 5/251 64422
/proc/meminfo: memFree=123988428/131382120 swapFree=33010160/33010684
[pid=64080] ppid=64077 vsize=4324 memory=2944 CPUtime=3583.52 cores=5,7
/proc/64080/stat : 64080 (Hybrid-CASHWMax) S 64077 64080 61829 0 -1 4194304 374 88986 0 0 0 0 357787 565 20 0 1 0 62483829 4427776 736 18446744073709551615 94498118676480 94498119571013 140720701620672 0 0 0 2 4 65536 1 0 0 17 7 0 0 0 0 0 94498119810064 94498119857808 94498138808320 140720701622615 140720701622769 140720701622769 140720701628371 0
/proc/64080/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3583.52 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3583.57
CPU user time (s): 3577.88
CPU system time (s): 5.688
CPU usage (%): 99.6493
Max. virtual memory (cumulated for all children) (KiB): 298808
Max. memory (cumulated for all children) (KiB): 254244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.88
system time used= 5.688
maximum resident set size= 250020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1961
involuntary context switches= 19617


# summary of solver processes directly reported to runsolver:
#   pid: 64080
#   total CPU time (s): 3583.57
#   total CPU user time (s): 3577.88
#   total CPU system time (s): 5.688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7199 second user time and 36.9021 second system time

The end