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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61692 MiB free)
  memory of node 1: 64465 MiB (63744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484841-1751287671/watcher-4484841-1751287671 -o /tmp/evaluation-result-4484841-1751287671/solver-4484841-1751287671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44985 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484841-1751287671.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46683, runsolver pid=46680
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128439764/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=38448 memory=20096 CPUtime=0.08 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 4356 0 0 0 7 1 0 0 20 0 1 0 44444627 39370752 5024 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 9612 5024 736 2416 0 6714 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45432 KiB
Current children cumulated memory: 24448 KiB

[startup+0.205931 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128415572/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=57928 memory=39552 CPUtime=0.19 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 9232 0 0 0 17 2 0 0 20 0 1 0 44444627 59318272 9888 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 14482 9888 736 2416 0 11584 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64912 KiB
Current children cumulated memory: 43904 KiB

[startup+0.305895 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128399444/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=76444 memory=57984 CPUtime=0.28 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 13852 0 0 0 25 3 0 0 20 0 1 0 44444627 78278656 14496 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 19111 14496 736 2416 0 16213 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 62336 KiB

[startup+0.70022 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128391380/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=84652 memory=70008 CPUtime=0.67 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 17186 0 0 0 64 3 0 0 20 0 1 0 44444627 86683648 17502 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 21163 17502 768 2416 0 18265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 74360 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128390984/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=87408 memory=71928 CPUtime=1.47 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 17668 0 0 0 143 4 0 0 20 0 1 0 44444627 89505792 17982 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 21852 17982 768 2416 0 18954 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94392 KiB
Current children cumulated memory: 76280 KiB

[startup+3.10569 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128387292/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=90128 memory=74616 CPUtime=3.07 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 18326 0 0 0 303 4 0 0 20 0 1 0 44444627 92291072 18654 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 22532 18654 768 2416 0 19634 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 97112 KiB
Current children cumulated memory: 78968 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 46687
/proc/meminfo: memFree=128387500/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=90408 memory=75972 CPUtime=6.25 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 19052 0 0 0 621 4 0 0 20 0 1 0 44444627 92577792 18993 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 22602 18993 768 2416 0 19704 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 97392 KiB
Current children cumulated memory: 80324 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 46687
/proc/meminfo: memFree=128379324/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=109188 memory=92576 CPUtime=12.64 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 19657 0 0 0 1259 5 0 0 20 0 1 0 44444627 111808512 23144 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 27297 23144 768 2416 0 24399 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 96928 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 46689
/proc/meminfo: memFree=128371384/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=109188 memory=94748 CPUtime=25.41 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 19671 0 0 0 2536 5 0 0 20 0 1 0 44444627 111808512 23687 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 27297 23687 768 2416 0 24399 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 99100 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 46689
/proc/meminfo: memFree=128367292/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46686] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46686/stat : 46686 (timeout) S 46683 46686 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44444626 2723840 352 18446744073709551615 94865635045376 94865635061889 140733463480528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94865635076656 94865635078744 94865668042752 140733463488918 140733463489058 140733463489058 140733463494631 0
/proc/46686/statm: 665 352 352 5 0 90 0
[pid=46687] ppid=46686 vsize=113608 memory=98740 CPUtime=50.94 cores=5,7
/proc/46687/stat : 46687 (CASHWMaxSAT-Dis) R 46686 46686 44972 0 -1 4194304 20187 0 0 0 5089 5 0 0 20 0 1 0 44444627 116334592 24685 18446744073709551615 4198400 14093885 140729417634048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44666880 140729417640348 140729417640475 140729417640475 140729417646048 0
/proc/46687/statm: 28402 24685 768 2416 0 25504 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 120592 KiB
Current children cumulated memory: 103092 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/274 46700
/proc/meminfo: memFree=128533856/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0

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

/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1114864 CPUtime=2257.82 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248674 0 0 0 225600 182 0 0 20 0 1 0 44564428 1418358784 278716 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 278716 3552 2271 0 340917 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1119216 KiB

[startup+3522.3 s]
/proc/loadavg: 1.43 2.04 2.84 2/250 47049
/proc/meminfo: memFree=127805672/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1133552 CPUtime=2317.69 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248799 0 0 0 231586 183 0 0 20 0 1 0 44564428 1418358784 283388 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 283388 3552 2271 0 340917 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1137904 KiB

[startup+3582.3 s]
/proc/loadavg: 1.16 1.85 2.73 2/250 47051
/proc/meminfo: memFree=127795576/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2377.56 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 237571 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

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

# cumulated CPU time of all completed processes:  user=3583.64 s, system=2.26345 s

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

[startup+3584 s]*
/proc/loadavg: 1.14 1.83 2.72 2/250 47051
/proc/meminfo: memFree=127795576/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2379.26 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 237741 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3590.4 s]
/proc/loadavg: 1.21 1.83 2.71 2/250 47051
/proc/meminfo: memFree=127797560/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2385.64 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 238379 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3593.6 s]
/proc/loadavg: 1.21 1.83 2.71 2/250 47051
/proc/meminfo: memFree=127797812/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2388.84 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 238699 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3595.2 s]
/proc/loadavg: 1.20 1.82 2.70 2/250 47051
/proc/meminfo: memFree=127797812/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2390.43 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 238858 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3595.6 s]
/proc/loadavg: 1.20 1.82 2.70 2/250 47051
/proc/meminfo: memFree=127797812/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2390.83 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 238898 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3596 s]*
/proc/loadavg: 1.20 1.82 2.70 2/250 47051
/proc/meminfo: memFree=127797812/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=2944 CPUtime=1194.57 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 282 41413 0 0 0 0 119421 36 20 0 1 0 44444625 4427776 736 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 736 672 219 0 143 0
[pid=46768] ppid=46683 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46768/stat : 46768 (timeout) S 46683 46768 44972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44564427 2723840 352 18446744073709551615 93994819215360 93994819231873 140736353793008 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93994819246640 93994819248728 93994846478336 140736353794438 140736353794594 140736353794594 140736353800167 0
/proc/46768/statm: 665 352 352 5 0 90 0
[pid=46769] ppid=46768 vsize=1385116 memory=1139720 CPUtime=2391.23 cores=5,7
/proc/46769/stat : 46769 (ExactPR-S) R 46768 46768 44972 0 -1 4194304 248846 0 0 0 238938 185 0 0 20 0 1 0 44564428 1418358784 284930 18446744073709551615 94798529540096 94798538840133 140723493574432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94798540626240 94798540665320 94798559244288 140723493583262 140723493583399 140723493583399 140723493588972 0
/proc/46769/statm: 346279 284930 3552 2271 0 340917 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 1392100 KiB
Current children cumulated memory: 1144072 KiB

[startup+3596.11 s]
/proc/loadavg: 1.20 1.82 2.70 2/250 47051
/proc/meminfo: memFree=127797812/131250000 swapFree=33010684/33010684
[pid=46683] ppid=46680 vsize=4324 memory=3072 CPUtime=3585.88 cores=5,7
/proc/46683/stat : 46683 (Hybrid-CASHWMax) S 46680 46683 44972 0 -1 4194304 433 292653 0 0 0 0 358363 225 20 0 1 0 44444625 4427776 768 18446744073709551615 94823795879936 94823796774469 140724590638384 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94823797013520 94823797061264 94823823200256 140724590647639 140724590647793 140724590647793 140724590653395 0
/proc/46683/statm: 1081 768 672 219 0 143 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3585.91
CPU user time (s): 3583.64
CPU system time (s): 2.26345
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 1742300
Max. memory (cumulated for all children) (KiB): 1198016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.64
system time used= 2.26345
maximum resident set size= 1193664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2046
involuntary context switches= 1812


# summary of solver processes directly reported to runsolver:
#   pid: 46683
#   total CPU time (s): 3585.91
#   total CPU user time (s): 3583.64
#   total CPU system time (s): 2.26345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35991 second user time and 17.1252 second system time

The end