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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518620-1751540946/watcher-4518620-1751540946 -o /tmp/evaluation-result-4518620-1751540946/solver-4518620-1751540946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751540946-75770 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518620-1751540946.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=75824, runsolver pid=75812

[startup+0.100059 s]*
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127279016/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=26504 memory=11984 CPUtime=0.04 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 2367 0 0 0 4 0 0 0 20 0 1 0 69773281 27140096 2996 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 6626 2996 960 2593 0 3519 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 33488 KiB
Current children cumulated memory: 16336 KiB

[startup+0.205729 s]*
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127276748/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=26632 memory=12128 CPUtime=0.15 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 2602 0 0 0 15 0 0 0 20 0 1 0 69773281 27271168 3032 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 6658 3032 960 2593 0 3551 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 33616 KiB
Current children cumulated memory: 16480 KiB

[startup+0.305567 s]*
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127275992/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=27152 memory=12660 CPUtime=0.25 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 2964 0 0 0 25 0 0 0 20 0 1 0 69773281 27803648 3165 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 6788 3165 960 2593 0 3681 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 34136 KiB
Current children cumulated memory: 17012 KiB

[startup+0.70016 s]
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127274984/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=29672 memory=15028 CPUtime=0.63 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 4390 0 0 0 63 0 0 0 20 0 1 0 69773281 30384128 3757 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 7418 3757 960 2593 0 4311 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 36656 KiB
Current children cumulated memory: 19380 KiB

[startup+1.50017 s]
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127267172/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=28212 memory=13744 CPUtime=1.44 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 6016 0 0 0 143 1 0 0 20 0 1 0 69773281 28889088 3436 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 7053 3436 960 2593 0 3946 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 35196 KiB
Current children cumulated memory: 18096 KiB

[startup+3.10557 s]
/proc/loadavg: 0.92 1.61 2.76 7/280 75841
/proc/meminfo: memFree=127244144/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=35796 memory=21328 CPUtime=3.03 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 8192 0 0 0 302 1 0 0 20 0 1 0 69773281 36655104 5332 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 8949 5332 960 2593 0 5842 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 42780 KiB
Current children cumulated memory: 25680 KiB

[startup+6.30017 s]
/proc/loadavg: 0.92 1.61 2.76 7/280 75841
/proc/meminfo: memFree=127242524/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=40488 memory=26084 CPUtime=6.22 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 10203 0 0 0 621 1 0 0 20 0 1 0 69773281 41459712 6521 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 10122 6521 960 2593 0 7015 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 47472 KiB
Current children cumulated memory: 30436 KiB

[startup+12.7002 s]
/proc/loadavg: 1.47 1.71 2.78 7/280 75841
/proc/meminfo: memFree=127154704/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=63796 memory=49296 CPUtime=12.61 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 12609 0 0 0 1258 3 0 0 20 0 1 0 69773281 65327104 12324 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 15949 12324 960 2593 0 12842 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 70780 KiB
Current children cumulated memory: 53648 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.79 2.80 7/280 75841
/proc/meminfo: memFree=127153236/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=52808 memory=38288 CPUtime=25.37 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 14397 0 0 0 2534 3 0 0 20 0 1 0 69773281 54075392 9572 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 13202 9572 960 2593 0 10095 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 59792 KiB
Current children cumulated memory: 42640 KiB

[startup+51.1056 s]
/proc/loadavg: 2.59 1.97 2.83 7/280 75842
/proc/meminfo: memFree=126975416/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75835/stat : 75835 (timeout) S 75824 75835 75760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 94087018258432 94087018274945 140725538043408 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94087018289712 94087018291800 94087028236288 140725538052502 140725538052642 140725538052642 140725538058215 0
/proc/75835/statm: 665 320 320 5 0 90 0
[pid=75839] ppid=75835 vsize=92204 memory=77712 CPUtime=50.91 cores=0,2
/proc/75839/stat : 75839 (CASHWMaxSAT-Dis) R 75835 75835 75760 0 -1 4194304 22116 0 0 0 5084 7 0 0 20 0 1 0 69773281 94416896 19428 18446744073709551615 4198400 14817773 140730774442672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53850112 140730774448540 140730774448667 140730774448667 140730774454240 0
/proc/75839/statm: 23051 19428 960 2593 0 19944 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 82064 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.33 2.90 7/281 75848
/proc/meminfo: memFree=126988404/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75835] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/75902/statm: 247157 238031 3424 2271 0 241795 0
Current children cumulated CPU time: 2135.35 s
Current children cumulated vsize: 995612 KiB
Current children cumulated memory: 956476 KiB

[startup+2202.3 s]
/proc/loadavg: 3.08 3.13 3.36 5/264 76003
/proc/meminfo: memFree=125623472/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=645228 memory=613504 CPUtime=1000.33 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256320 0 0 0 99886 147 0 0 20 0 1 0 69893083 660713472 153376 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 161307 153376 3424 2271 0 155945 0
Current children cumulated CPU time: 2195.16 s
Current children cumulated vsize: 652212 KiB
Current children cumulated memory: 617856 KiB

[startup+2262.3 s]
/proc/loadavg: 3.06 3.12 3.35 5/263 76004
/proc/meminfo: memFree=125608100/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=645228 memory=627968 CPUtime=1060.21 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256328 0 0 0 104063 1958 0 0 20 0 1 0 69893083 660713472 156992 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 161307 156992 3456 2271 0 155945 0
Current children cumulated CPU time: 2255.04 s
Current children cumulated vsize: 652212 KiB
Current children cumulated memory: 632320 KiB

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

# cumulated CPU time of all completed processes:  user=2258.56 s, system=21.3931 s

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

[startup+2265.6 s]
/proc/loadavg: 3.06 3.12 3.34 5/263 76005
/proc/meminfo: memFree=125546244/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1063.5 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256349 0 0 0 104388 1962 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2258.33 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2278.4 s]
/proc/loadavg: 2.89 3.08 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1076.26 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256349 0 0 0 105651 1975 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2271.09 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2281.6 s]
/proc/loadavg: 2.89 3.08 3.33 2/248 76099
/proc/meminfo: memFree=126691880/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1079.45 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256349 0 0 0 105967 1978 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2274.28 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2284.8 s]
/proc/loadavg: 2.74 3.04 3.31 2/248 76099
/proc/meminfo: memFree=126691976/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1082.65 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256349 0 0 0 106284 1981 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2277.48 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2286.4 s]
/proc/loadavg: 2.74 3.04 3.31 2/248 76099
/proc/meminfo: memFree=126688468/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1084.24 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256354 0 0 0 106442 1982 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2279.07 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2286.8 s]
/proc/loadavg: 2.74 3.04 3.31 2/248 76099
/proc/meminfo: memFree=126688468/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1084.64 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256354 0 0 0 106482 1982 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2279.47 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

[startup+2287.2 s]
/proc/loadavg: 2.74 3.04 3.31 2/248 76099
/proc/meminfo: memFree=126688468/131250000 swapFree=33010672/33010684
[pid=75824] ppid=75812 vsize=4324 memory=3072 CPUtime=1194.83 cores=0,2
/proc/75824/stat : 75824 (Hybrid-CASHWMax) S 75812 75824 75760 0 -1 4194304 284 98295 0 0 0 0 119330 153 20 0 1 0 69773276 4427776 768 18446744073709551615 94528512704512 94528513599045 140726591156208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94528513838096 94528513885840 94528529477632 140726591158615 140726591158769 140726591158769 140726591164371 0
/proc/75824/statm: 1081 768 704 219 0 143 0
[pid=75899] ppid=75824 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/75899/stat : 75899 (timeout) S 75824 75899 75760 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 320 18446744073709551615 94194355249152 94194355265665 140726832492848 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94194355280432 94194355282520 94194371375104 140726832494982 140726832495138 140726832495138 140726832500711 0
/proc/75899/statm: 665 320 320 5 0 90 0
[pid=75902] ppid=75899 vsize=627972 memory=612760 CPUtime=1085.03 cores=0,2
/proc/75902/stat : 75902 (ExactPR-S) R 75899 75899 75760 0 -1 4194304 256354 0 0 0 106520 1983 0 0 20 0 1 0 69893083 643043328 153190 18446744073709551615 93994107043840 93994116343877 140736546754624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994118129984 93994118169064 93994147123200 140736546761118 140736546761255 140736546761255 140736546766828 0
/proc/75902/statm: 156993 153190 3456 2271 0 151631 0
Current children cumulated CPU time: 2279.86 s
Current children cumulated vsize: 634956 KiB
Current children cumulated memory: 617112 KiB

Child status: 0

Real time (s): 2287.28
CPU time (s): 2279.96
CPU user time (s): 2258.56
CPU system time (s): 21.3931
CPU usage (%): 99.6799
Max. virtual memory (cumulated for all children) (KiB): 1043632
Max. memory (cumulated for all children) (KiB): 1004220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2258.56
system time used= 21.3931
maximum resident set size= 999868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355810
page faults= 2
swaps= 0
block input operations= 32
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1108
involuntary context switches= 5070


# summary of solver processes directly reported to runsolver:
#   pid: 75824
#   total CPU time (s): 2279.96
#   total CPU user time (s): 2258.56
#   total CPU system time (s): 21.3931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.9044 second user time and 9.73889 second system time

The end