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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518713-1751536883/watcher-4518713-1751536883 -o /tmp/evaluation-result-4518713-1751536883/solver-4518713-1751536883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74618 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518713-1751536883.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
Current StackSize limit: 8192 KiB

solver pid=76408, runsolver pid=76405

[startup+0.100061 s]*
/proc/loadavg: 4.10 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123913940/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=26192 memory=11300 CPUtime=0.08 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 2647 0 0 0 8 0 0 0 20 0 1 0 69362805 26820608 2825 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 6548 2825 800 2416 0 3650 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33176 KiB
Current children cumulated memory: 15780 KiB

[startup+0.205816 s]*
/proc/loadavg: 4.10 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123913940/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=28880 memory=13220 CPUtime=0.18 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 3120 0 0 0 18 0 0 0 20 0 1 0 69362805 29573120 3305 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 7220 3305 800 2416 0 4322 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35864 KiB
Current children cumulated memory: 17700 KiB

[startup+0.305569 s]*
/proc/loadavg: 4.10 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123913940/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=35956 memory=19764 CPUtime=0.28 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 3728 0 0 0 28 0 0 0 20 0 1 0 69362805 36818944 4941 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 8989 4941 800 2416 0 6091 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42940 KiB
Current children cumulated memory: 24244 KiB

[startup+0.700201 s]
/proc/loadavg: 4.10 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123913692/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=35592 memory=21220 CPUtime=0.67 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 4896 0 0 0 66 1 0 0 20 0 1 0 69362805 36446208 5305 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 8898 5305 800 2416 0 6000 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42576 KiB
Current children cumulated memory: 25700 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123909188/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=58688 memory=39096 CPUtime=1.46 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 6329 0 0 0 145 1 0 0 20 0 1 0 69362805 60096512 9774 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 14672 9774 800 2416 0 11774 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 43576 KiB

[startup+3.10555 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 76412
/proc/meminfo: memFree=123900456/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=58688 memory=43680 CPUtime=3.06 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 6432 0 0 0 305 1 0 0 20 0 1 0 69362805 60096512 10920 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 14672 10920 800 2416 0 11774 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 48160 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.12 4.09 5/274 76412
/proc/meminfo: memFree=123902016/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=58688 memory=44212 CPUtime=6.25 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 8476 0 0 0 622 3 0 0 20 0 1 0 69362805 60096512 11053 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 14672 11053 800 2416 0 11774 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 48692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.13 4.10 4/268 76428
/proc/meminfo: memFree=123933384/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=96260 memory=77236 CPUtime=12.64 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 9054 0 0 0 1260 4 0 0 20 0 1 0 69362805 98570240 19309 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 24065 19309 800 2416 0 21167 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 81716 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/274 76468
/proc/meminfo: memFree=123879880/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=96260 memory=81844 CPUtime=25.4 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 9225 0 0 0 2536 4 0 0 20 0 1 0 69362805 98570240 20461 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 24065 20461 800 2416 0 21167 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 86324 KiB

[startup+51.1056 s]
/proc/loadavg: 4.20 4.13 4.10 5/274 76468
/proc/meminfo: memFree=123830304/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76411/stat : 76411 (timeout) S 76408 76411 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69362804 2723840 352 18446744073709551615 94907822321664 94907822338177 140735039736976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94907822352944 94907822355032 94907831037952 140735039740310 140735039740450 140735039740450 140735039746023 0
/proc/76411/statm: 665 352 352 5 0 90 0
[pid=76412] ppid=76411 vsize=96260 memory=81888 CPUtime=50.93 cores=5,7
/proc/76412/stat : 76412 (CASHWMaxSAT-Dis) R 76411 76411 74605 0 -1 4194304 12163 0 0 0 5082 11 0 0 20 0 1 0 69362805 98570240 20472 18446744073709551615 4198400 14093885 140724005334384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53227520 140724005341596 140724005341723 140724005341723 140724005347296 0
/proc/76412/statm: 24065 20472 800 2416 0 21167 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 86368 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/274 76470
/proc/meminfo: memFree=123752076/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 253 103 0 0 0 0 0 0 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76411] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/76528/statm: 138625 130520 3392 2271 0 133263 0
Current children cumulated CPU time: 2195.1 s
Current children cumulated vsize: 561484 KiB
Current children cumulated memory: 526560 KiB

[startup+2262.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123585136/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=554500 memory=539264 CPUtime=1060.07 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251385 0 0 0 104099 1908 0 0 20 0 1 0 69482606 567808000 134816 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 138625 134816 3392 2271 0 133263 0
Current children cumulated CPU time: 2254.96 s
Current children cumulated vsize: 561484 KiB
Current children cumulated memory: 543744 KiB

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

# cumulated CPU time of all completed processes:  user=2246.48 s, system=24.4727 s

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

[startup+2265.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123568708/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=558468 CPUtime=1063.35 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251813 0 0 0 104423 1912 0 0 20 0 1 0 69482606 604250112 139617 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 139617 3392 2271 0 142160 0
Current children cumulated CPU time: 2258.24 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 562948 KiB

[startup+2272 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564628/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1069.75 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105056 1919 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2264.64 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2275.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564628/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1072.93 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105373 1920 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2267.82 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2276.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564644/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1074.52 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105531 1921 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2269.41 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2277.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564644/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1075.32 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105610 1922 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2270.21 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2278 s]*
/proc/loadavg: 4.08 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564644/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1075.72 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105650 1922 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2270.61 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2278.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564644/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1075.92 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105669 1923 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2270.81 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

[startup+2278.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564644/131249992 swapFree=33010160/33010684
[pid=76408] ppid=76405 vsize=4324 memory=3072 CPUtime=1194.89 cores=5,7
/proc/76408/stat : 76408 (Hybrid-CASHWMax) S 76405 76408 74605 0 -1 4194304 286 122180 0 0 0 0 118967 522 20 0 1 0 69362803 4427776 768 18446744073709551615 94851107868672 94851108763205 140736844965008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94851109002256 94851109050000 94851122356224 140736844974423 140736844974577 140736844974577 140736844980179 0
/proc/76408/statm: 1081 768 704 219 0 143 0
[pid=76527] ppid=76408 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76527/stat : 76527 (timeout) S 76408 76527 74605 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69482605 2723840 352 18446744073709551615 94779390148608 94779390165121 140720664295664 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94779390179888 94779390181976 94779394473984 140720664304006 140720664304162 140720664304162 140720664309735 0
/proc/76527/statm: 665 352 352 5 0 90 0
[pid=76528] ppid=76527 vsize=590088 memory=562564 CPUtime=1076.02 cores=5,7
/proc/76528/stat : 76528 (ExactPR-S) R 76527 76527 74605 0 -1 4194304 251815 0 0 0 105679 1923 0 0 20 0 1 0 69482606 604250112 140641 18446744073709551615 94721377329152 94721386629189 140726115318352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94721388415296 94721388454376 94721415766016 140726115326366 140726115326503 140726115326503 140726115332076 0
/proc/76528/statm: 147522 140641 3392 2271 0 142160 0
Current children cumulated CPU time: 2270.91 s
Current children cumulated vsize: 597072 KiB
Current children cumulated memory: 567044 KiB

Child status: 0

Real time (s): 2278.34
CPU time (s): 2270.95
CPU user time (s): 2246.48
CPU system time (s): 24.4727
CPU usage (%): 99.6757
Max. virtual memory (cumulated for all children) (KiB): 1040604
Max. memory (cumulated for all children) (KiB): 1000124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2246.48
system time used= 24.4727
maximum resident set size= 995644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375141
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= 967
involuntary context switches= 13370


# summary of solver processes directly reported to runsolver:
#   pid: 76408
#   total CPU time (s): 2270.95
#   total CPU user time (s): 2246.48
#   total CPU system time (s): 24.4727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60506 second user time and 10.4067 second system time

The end